Result 1 to 20 of 792 total
More reverse mathematics of the heine-Borel theorem. (English)
J. Log. Anal. 4, Article 6, 10 p., electronic only (2012).
1
io-port 06103581 Stepney, Susan;
Diaconescu, Ada;
Doursat, René;
Giavitto, Jean-Louis;
Kowaliw, Taras;
Leyser, Ottoline;
MacLennan, Bruce;
Michel, Olivier;
Miller, Julian F.;
Nikolic, Igor;
Spicher, Antoine;
Teuscher, Christof;
Tufte, Gunnar;
Vico, Francisco J.;
Yamamoto, Lidia
Gardening cyber-physical systems. (English)
Durand-Lose, Jérôme (ed.) et al., Unconventional computation and natural computation. 11th international conference, UCNC 2012, Orléan, France, September 3‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32893-0/pbk). Lecture Notes in Computer Science 7445, 237-238 (2012).
2
An ecological approach to measuring locality in linear genotype to phenotype maps. (English)
Moraglio, Alberto (ed.) et al., Genetic programming. 15th European conference, EuroGP 2012, Málaga, Spain, April 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29138-8/pbk). Lecture Notes in Computer Science 7244, 170-181 (2012).
3
The Denjoy alternative for computable functions. (English)
Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th ‒ March 3rd, 2012. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPICS ‒ Leibniz International Proceedings in Informatics 14, 543-554, electronic only (2012).
4
A tribute from the band. (English)
Constable, Robert L. (ed.) et al., Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29484-6/pbk). Lecture Notes in Computer Science 7230, 323 (2012).
5
Lowness notions, measure and domination. (English)
J. Lond. Math. Soc., II. Ser. 85, No. 3, 869-888 (2012).
6
Two notes on subshifts. (English)
Proc. Am. Math. Soc. 140, No. 5, 1617-1622 (2012).
7
Application of agent based modelling to aircraft maintenance manning and sortie generation. (English)
Simul. Model. Pract. Theory 20, 89-98 (2012).
8
Randomness and lowness notions via open covers. (English)
Ann. Pure Appl. Logic 163, No. 5, 506-518 (2012).
9
Application of agent based modelling to aircraft maintenance Manning and sortie generation (English)
Simulation Modelling Practice and Theory 20, No. 1, 89-98 (2012).
10
DeMO: an ontology for Discrete-event Modeling and Simulation. (English)
Simulation 87, No. 9, 747-773 (2011).
11
Randomness, computability and information. (English)
Zenil, Hector (ed.), Randomness through computation. Some answers, more questions. Hackensack, NJ: World Scientific (ISBN 978-981-4327-74-9/hbk; 978-981-4327-75-6/ebook). 197-206 (2011).
12
A note on a paper by Erik Volz: SIR dynamics in random networks. (English)
J. Math. Biol. 62, No. 3, 349-358 (2011).
13
RBN-world. A sub-symbolic artificial chemistry. (English)
Kampis, George (ed.) et al., Advances in artificial life. Darwin meets von Neumann. 10th European conference, ECAL 2009, Budapest, Hungary, September 13‒16, 2009. Revised selected papers, Part I. Berlin: Springer (ISBN 978-3-642-21282-6/pbk). Lecture Notes in Computer Science 5777. Lecture Notes in Artificial Intelligence, 377-384 (2011).
14
Finding homoglyphs ‒ a step towards detecting unicode-based visual spoofing attacks. (English)
Bouguettaya, Athman (ed.) et al., Web information system engineering ‒ WISE 2011. 12th international conference, Sydney, Australia, October 13‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24433-9/pbk). Lecture Notes in Computer Science 6997, 1-14 (2011).
15
Sheet-like white matter fiber tracts: representation, clustering, and quantitative analysis. (English)
Fichtinger, Gabor (ed.) et al., Medical image computing and computer-assisted intervention ‒ MICCAI 2011. 14th international conference, Toronto, Canada, September 18‒22, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-23628-0/pbk). Lecture Notes in Computer Science 6892, 191-199 (2011).
16
Refactoring actionscript for improving application execution time. (English)
Chiu, Dickson K. W. (ed.) et al., Web information systems engineering ‒ WISE 2010 workshops. WISE 2010 international symposium WISS, and international workshops CISE, MBC, Hong Kong, China, December 12‒14, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-24395-0/pbk). Lecture Notes in Computer Science 6724, 268-281 (2011).
17
io-port 05942845 Miller, Jeremiah;
Raymond, Miles;
Archer, Josh;
Adem, Seid;
Hansel, Leo;
Konda, Sushma;
Luti, Malik;
Zhao, Yao;
Teredesai, Ankur;
Ali, Mohamed
An extensibility approach for spatio-temporal stream processing using microsoft streaminsight. (English)
Pfoser, Dieter (ed.) et al., Advances in spatial and temporal databases. 12th international symposium, SSTD 2011, Minneapolis, MN, USA, August 24‒26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22921-3/pbk). Lecture Notes in Computer Science 6849, 496-501 (2011).
18
Diagonally non-recursive functions and effective Hausdorff dimension. (English)
Bull. Lond. Math. Soc. 43, No. 4, 636-654 (2011).
19
Exact enumeration and sampling of matrices with specified margins. (English)
Comput. Res. Repos. 2011, Article No. 1104.0323 (2011).
20
Result 1 to 20 of 792 total
Start
Contact
Print
General Help
