-
Notifications
You must be signed in to change notification settings - Fork 0
/
nocell.bib
143 lines (127 loc) · 7.16 KB
/
nocell.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/
%% Created for James Geddes at 2016-04-15 11:13:23 +0100
%% Saved with string encoding Unicode (UTF-8)
@techreport{gordon:ppsq:2014,
Author = {Andrew D Gordon and Claudio Russo and Marcin Szymczak and Johannes Borgstr{\"o}m and Nicolas Rolland and Thore Graepel and Daniel Tarlow},
Date-Added = {2016-04-15 10:06:15 +0000},
Date-Modified = {2016-04-15 10:13:16 +0000},
Institution = {Microsoft Research},
Number = {MSR-TR-2014-135},
Title = {Probabilistic Programs as Spreadsheet Queries},
Url = {http://research.microsoft.com/pubs/231027/Tabular-spec.pdf},
Year = {2014}}
@book{lunn:bugs,
Author = {Lunn, David and Spiegelhalter, David and Jackson, Chris and Thomas, Andrew and Best, Nicky},
Date-Added = {2016-04-12 17:03:48 +0000},
Date-Modified = {2016-04-12 17:14:02 +0000},
Publisher = {CRC press},
Title = {The {BUGS} book: A practical introduction to Bayesian analysis},
Year = {2012}}
@techreport{globalcalc,
Date-Added = {2016-04-11 17:28:35 +0000},
Date-Modified = {2016-04-12 15:22:21 +0000},
Institution = {The Department of Energy & Climate Change},
Lastchecked = {2016-04-11},
Title = {The Global Calculator},
Url = {https://www.gov.uk/government/publications/the-global-calculator},
Year = {2015},
Bdsk-Url-1 = {https://www.gov.uk/government/publications/the-global-calculator}}
@techreport{2050,
Date-Added = {2016-04-11 17:21:24 +0000},
Date-Modified = {2016-04-12 15:16:29 +0000},
Institution = {The Department of Energy & Climate Change},
Keywords = {climate change, excel, energy, government},
Lastchecked = {2016-04-11},
Title = {2050 Pathways},
Url = {https://www.gov.uk/guidance/2050-pathways-analysis},
Year = {2010},
Bdsk-Url-1 = {https://www.gov.uk/guidance/2050-pathways-analysis}}
@book{gelman:bda,
Author = {Gelman, A. and Carlin, J.B. and Stern, H.S. and Rubin, D.B.},
Date-Added = {2016-04-11 14:54:04 +0000},
Date-Modified = {2016-04-11 14:54:32 +0000},
Isbn = {9781584883883},
Lccn = {2003051474},
Publisher = {Chapman \& Hall/CRC},
Series = {Chapman \& Hall/CRC Texts in Statistical Science},
Title = {Bayesian Data Analysis},
Url = {http://www.stat.columbia.edu/~gelman/book/},
Year = {2003},
Bdsk-Url-1 = {https://books.google.co.uk/books?id=BkGCmAEACAAJ}}
@book{kruschke:dbda,
Author = {Kruschke, John},
Date-Added = {2016-04-11 14:46:21 +0000},
Date-Modified = {2016-04-11 14:56:26 +0000},
Isbn = {9780124059160},
Publisher = {Elsevier Science},
Title = {Doing Bayesian Data Analysis: A Tutorial with R, JAGS, and Stan},
Url = {https://sites.google.com/site/doingbayesiandataanalysis/},
Year = {2014},
Bdsk-Url-1 = {https://sites.google.com/site/doingbayesiandataanalysis/}}
@book{mackay:itila,
Author = {MacKay, David},
Date-Added = {2016-04-11 14:30:27 +0000},
Date-Modified = {2016-04-11 14:40:41 +0000},
Isbn = {9780521642989},
Lccn = {2003055133},
Publisher = {Cambridge University Press},
Title = {Information Theory, Inference and Learning Algorithms},
Url = {http://www.inference.eng.cam.ac.uk/mackay/itila/},
Year = {2003},
Bdsk-Url-1 = {http://www.inference.eng.cam.ac.uk/mackay/itila/}}
@techreport{macpherson:models:2003,
Author = {Macpherson, Nicholas},
Date-Added = {2016-04-07 16:36:35 +0000},
Date-Modified = {2016-04-11 14:40:41 +0000},
Institution = {HM Treasury},
Month = {March},
Title = {Review of quality assurance of Government analytical models: final report},
Url = {https://www.gov.uk/government/publications/review-of-quality-assurance-of-government-models},
Year = {2003},
Bdsk-Url-1 = {https://www.gov.uk/government/publications/review-of-quality-assurance-of-government-models}}
@article{erwig:gencel:2006,
Abstract = {A huge discrepancy between theory and practice exists in one popular application area of functional programming -- spreadsheets. Although spreadsheets are the most frequently used (functional) programs, they fall short of the quality level that is expected of functional programs, which is evidenced by the fact that existing spreadsheets contain many errors, some of which have serious impacts. We have developed a template specification language that allows the definition of spreadsheet templates that describe possible spreadsheet evolutions. This language is based on a table calculus that formally captures the process of creating and modifying spreadsheets. We have developed a type system for this calculus that can prevent type, reference, and omission errors from occurring in spreadsheets. On the basis of the table calculus we have developed Gencel, a system for generating reliable spreadsheets. We have implemented a prototype version of Gencel as an extension of Excel. },
Author = {Erwig, Martin and Abraham, Robin and Kollmansberger, Steve and Cooperstein, Irene},
Date-Added = {2016-04-07 16:14:51 +0000},
Date-Modified = {2016-04-11 14:40:41 +0000},
Issn = {1469-7653},
Issue = {03},
Journal = {Journal of Functional Programming},
Month = {5},
Numpages = {33},
Pages = {293--325},
Title = {Gencel: a program generator for correct spreadsheets},
Url = {http://journals.cambridge.org/article_S0956796805005794},
Volume = {16},
Year = {2006},
Bdsk-Url-1 = {http://dx.doi.org/10.1017/S0956796805005794}}
@inproceedings{SPJ:ucf:2003,
Acmid = {944721},
Address = {New York, NY, USA},
Author = {Peyton Jones, Simon and Blackwell, Alan and Burnett, Margaret},
Booktitle = {Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming},
Date-Added = {2016-04-07 16:04:43 +0000},
Date-Modified = {2016-04-11 14:40:41 +0000},
Isbn = {1-58113-756-7},
Location = {Uppsala, Sweden},
Numpages = {12},
Pages = {165--176},
Publisher = {ACM},
Series = {ICFP '03},
Title = {A User-centred Approach to Functions in Excel},
Url = {http://research.microsoft.com/en-us/um/people/simonpj/papers/excel/excel.htm},
Year = {2003},
Bdsk-Url-1 = {http://dx.doi.org/10.1145/944705.944721}}
@inbook{ss-programming:2007,
Abstract = {Spreadsheets are among the most widely used programming systems in the world. Individuals and businesses use spreadsheets for a wide variety of applications, ranging from performing simple calculations to building complex financial models. In this article, we first discuss how spreadsheet programs are actually functional programs. We then describe concepts in spreadsheet programming, followed by a brief history of spreadsheet systems. Widespread use of spreadsheets, coupled with their high error-proneness and the impact of spreadsheet errors, has motivated research into techniques aimed at the prevention, detection, and correction of errors in spreadsheets. We present an overview of research effort that seeks to rectify this problem.},
Author = {Abraham, Robin and Burnett, Margaret and Erwig, Martin},
Booktitle = {Wiley Encyclopedia of Computer Science and Engineering},
Date-Added = {2016-04-07 13:39:33 +0000},
Date-Modified = {2016-04-11 14:40:41 +0000},
Isbn = {9780470050118},
Keywords = {spreadsheets, end-user software engineering, end-user programming, functional programming, spreadsheet research},
Publisher = {John Wiley & Sons, Inc.},
Title = {Spreadsheet Programming},
Year = {2007},
Bdsk-Url-1 = {http://dx.doi.org/10.1002/9780470050118.ecse415}}