Result 1 to 20 of 1426 total
Maximizing maximal angles for plane straight-line graphs. (English)
Comput. Geom. 46, No. 1, 17-28 (2013).
1
A randomized version of Ramsey’s theorem. (English)
Random Struct. Algorithms 41, No. 4, 488-505 (2012).
2
From meander designs to a routing application using a shape grammar to cellular automata methodology. (English)
Complex Syst. 20, No. 4, 375-407 (2012).
3
Duality and interval analysis over idempotent semirings. (English)
Linear Algebra Appl. 437, No. 10, 2436-2454 (2012).
4
A concurrency-preserving translation from time Petri nets to networks of timed automata. (English)
Form. Methods Syst. Des. 40, No. 3, 330-355 (2012).
5
Using colored Petri nets to construct coalescent hidden Markov models: automatic translation from demographic specifications to efficient inference methods. (English)
Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 32-50 (2012).
6
From biological to urban cells: lessons from three multilevel agent-based models. (English)
Desai, Nirmit (ed.) et al., Principles and practice of multi-agent systems. 13th international conference, PRIMA 2010, Kolkata, India, November 12‒15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25919-7/pbk). Lecture Notes in Computer Science 7057. Lecture Notes in Artificial Intelligence, 620-635 (2012).
7
Ideal abstractions for well-structured transition systems. (English)
Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 445-460 (2012).
8
Embedding a pair of graphs in a surface, and the width of 4-dimensional prismatoids. (English)
Discrete Comput. Geom. 47, No. 3, 569-576 (2012).
9
Einsatz der Fernerkundungssysteme TerraSAR-X und RapidEye im Katastrophenmanagement von Windwurfereignissen. (German)
Clasen, Michael (ed.) et al., Informationstechnologie für eine nachhaltige Landbewirtschaftung. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-288-8). Lect. Notes Inform. 194, 235-238 (2012).
10
Model-based analysis of design artefacts applying an annotation concept. (English)
Jähnichen, Stefan (ed.) et al., Software Engineering 2012. Bonn: Gesellschaft für Informatik e.V. (GI) (ISBN 978-3-88579-292-5). Lect. Notes Inform. 198, 169-180 (2012).
11
Handbook of natural computing. 4 Volumes. (English)
Berlin: Springer (ISBN 978-3-540-92909-3/hbk; 978-3-540-92911-6/ebook). li, 2051~p. EUR~640.93/hbk; EUR~712.81/ebook (2012).
12
io-port 50134259 Mahmoudi, F.;
Heinemeyer, Sven;
Arbey, A.;
Bharucha, A.;
Goto, T.;
Hahn, Thomas;
Haisch, U.;
Kraml, S.;
Mühlleitner, M.;
Reuter, J.;
Skands, P.;
Slavich, P.
Flavour les houches accord: interfacing flavour related codes (English)
Computer Physics Communications 183, No. 2, 285-298 (2012).
13
Oriented interval greedoids (English)
Discrete & Computational Geometry 47, No. 1, 64-105 (2012).
14
A peak-capture algorithm used on an autonomous underwater vehicle in the 2010 gulf of Mexico oil spill response scientific survey. (English)
J. Field Robot. 28, No. 4, 484-496 (2011).
15
Switching between different ways to think. Multiple approaches to affective common sense reasoning. (English)
Esposito, Anna (ed.) et al., Analysis of verbal and nonverbal communication and enactment. The processing issues. COST 2102 international conference, Budapest, Hungary, September 7‒10, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25774-2/pbk). Lecture Notes in Computer Science 6800, 56-69 (2011).
16
The Aalen additive gamma frailty hazards model. (English)
Biometrika 98, No. 4, 831-843 (2011).
17
Temporal information processing and mental ability: A new perspective. (English)
Vatakis, Argiro (ed.) et al., Multidisciplinary aspects of time and time perception. COST TD0904 international workshop, Athens, Greece, October 7‒8, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-21477-6/pbk). Lecture Notes in Computer Science 6789. Lecture Notes in Artificial Intelligence, 186-195 (2011).
18
Advanced packet segmentation and buffering algorithms in network processors. (English)
Stenström, Per (ed.), Transactions on High-Performance Embedded Architectures and Compilers IV. Berlin: Springer (ISBN 978-3-642-24567-1/pbk). Lecture Notes in Computer Science 6760. Journal Subline, 334-353 (2011).
19
Embodiment of honeybee’s thermotaxis in a mobile robot swarm. (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 II. Berlin: Springer (ISBN 978-3-642-21313-7/pbk). Lecture Notes in Computer Science 5778. Lecture Notes in Artificial Intelligence, 69-76 (2011).
20
Result 1 to 20 of 1426 total
Start
Contact
Print
General Help
