Preface

Autor: Davenport, J., Farmer, W., Rabe, F., Urban, J.

Publikováno v: Rabe, F.; Urban, J. (ed.), Intelligent Computer Mathematics : 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011Bertinoro, Italy, July 18-23, 2011 Proceedings, pp. V-VI

Contains fulltext : 92216.pdf ( ) (Closed access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1236::26130ca19eacd9d2b302f5f332a53af7
https://hdl.handle.net/2066/92216

Computer Certified Efficient Exact Reals in Coq

Autor: Krebbers, R.J., Spitters, B.A.W., Davenport, J., Farmer, W., Urban, J., Rabe, F.

Publikováno v: Davenport, J.; Farmer, W.; Urban, J. (ed.), Intelligent Computer Mathematics :18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings, pp. 90-106
Lecture Notes in Artificial Intelligence ; 6824, 90-106. Berlin : Springer
STARTPAGE=90;ENDPAGE=106;TITLE=Lecture Notes in Artificial Intelligence ; 6824
Lecture Notes in Computer Science ISBN: 9783642226724

Floating point operations are fast, but require continuous effort on the part of the user in order to ensure that the results are correct. This burden can be shifted away from the user by providing a library of exact analysis in which the computer ha

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cdb70d9ff94d32c6cf7ae5249c0b12de
https://hdl.handle.net/2066/91656

Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings

Autor: Josef Urban, Florian Rabe, James H. Davenport, William M. Farmer

Publikováno v: Lecture Notes in Computer Science ISBN: 9783642226724
Lecture Notes in Artificial Intelligence ; 6824. Berlin : Springer
Lecture Notes in Artificial Intelligence ; 6824

Item does not contain fulltext 309 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d052bff5ae281580e4ccdb7629535f0
https://doi.org/10.1007/978-3-642-22673-1

Variable selection in Logistic Regression: The British English dative alternation

Autor: Theijssen, D.L., Icard, Th., Muskens, R.

Publikováno v: Icard, Th.; Muskens, R. (ed.), Interfaces: Explorations in Logic, Language and Computation, 87-101. Berlin, Heidelberg, New York : Springer
STARTPAGE=87;ENDPAGE=101;ISSN=0302-9743;TITLE=Icard, Th.; Muskens, R. (ed.), Interfaces: Explorations in Logic, Language and Computation
Icard, Th.; Muskens, R. (ed.), Interfaces: Explorations in Logic, Language and Computation, pp. 87-101
Icard, T. (ed.), Proceedings of the 14th Student Session at the 21st European Summer School in Logic, Language and Information (ESSLLI09), pp. 85-95
Icard, T. (ed.), Proceedings of the 14th Student Session at the 21st European Summer School in Logic, Language and Information (ESSLLI09), 85-95. Bordeaux, France : [S.n.]
STARTPAGE=85;ENDPAGE=95;TITLE=Icard, T. (ed.), Proceedings of the 14th Student Session at the 21st European Summer School in Logic, Language and Information (ESSLLI09)

Item does not contain fulltext

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::01ca079057d61ef8c87f7a655b61b5c5
http://hdl.handle.net/2066/86201

The probabilistic interpretation of model-based diagnosis

Autor: Flesch, I., Lucas, P.J.F., Jaeger, M., Nielsen, T.

Publikováno v: Bierle, A.; Pixley, C. (ed.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings, pp. 204-215
Bierle, A.; Pixley, C. (ed.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings, 204-215. Berlin : Springer
STARTPAGE=204;ENDPAGE=215;ISSN=0302-9743;TITLE=Bierle, A.; Pixley, C. (ed.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009, Proceedings
Jaeger, M.; Nielsen, T. (ed.), Proceedings of the Fourth European Workshop on Probabilistic Graphical Models, Hirtshals, Denmark, September 17-19, 2008, pp. 113-120
Jaeger, M.; Nielsen, T. (ed.), Proceedings of the Fourth European Workshop on Probabilistic Graphical Models, Hirtshals, Denmark, September 17-19, 2008, 113-120. [S.l.] : [S.n.]
STARTPAGE=113;ENDPAGE=120;TITLE=Jaeger, M.; Nielsen, T. (ed.), Proceedings of the Fourth European Workshop on Probabilistic Graphical Models, Hirtshals, Denmark, September 17-19, 2008

Contains fulltext : 72524.pdf (Author’s version preprint ) (Open Access) PGM 2008 : Fourth European Workshop on Probabilistic Graphical Models, 17 september 2008

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::013f7a0dd7d2ade4cfa74a7ae0fb0408
https://hdl.handle.net/2066/75675