Search Results for - Narrowed by: Computation by Abstract Devices. - Computer simulation.

Multi-Agent Based Simulation XVIII International Workshop, MABS 2017, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers

2024-09-22T12:50:17Z

by Dimuro, Graçaliz Pereira. editor. (orcid)0000-0001-6986-9888
https://doi.org/10.1007/978-3-319-91587-6
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers

2024-09-22T12:50:17Z

by Lamprecht, Anna-Lena. editor.
https://doi.org/10.1007/978-3-319-51641-7
Format: Electronic Resources

Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers

2024-09-22T12:50:17Z

by Gaudou, Benoit. editor.
https://doi.org/10.1007/978-3-319-31447-1
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXII

2024-09-22T12:50:17Z

by Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-662-49619-0
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXIV

2024-09-22T12:50:17Z

by Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-662-53525-7
Format: Electronic Resources

Behavioural Models From Modelling Finite Automata to Analysing Business Processes

2024-09-22T12:50:17Z

by Kunze, Matthias. author.
https://doi.org/10.1007/978-3-319-44960-9
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXI Special Issue on Keyword Search and Big Data

2024-09-22T12:50:17Z

by Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-662-49521-6
Format: Electronic Resources

Modelling and Simulation for Autonomous Systems Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers

2024-09-22T12:50:17Z

by Hodicky, Jan. editor.
https://doi.org/10.1007/978-3-319-47605-6
Format: Electronic Resources

Quantitative Evaluation of Systems 13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings

2024-09-22T12:50:17Z

by Agha, Gul. editor.
https://doi.org/10.1007/978-3-319-43425-4
Format: Electronic Resources

Learning and Intelligent Optimization 10th International Conference, LION 10, Ischia, Italy, May 29 -- June 1, 2016, Revised Selected Papers

2024-09-22T12:50:17Z

by Festa, Paola. editor.
https://doi.org/10.1007/978-3-319-50349-3
Format: Electronic Resources

Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers

2024-09-22T12:50:17Z

by Artho, Cyrille. editor.
https://doi.org/10.1007/978-3-319-29510-7
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2024-09-22T12:50:17Z

by Cook, Matthew. editor.
https://doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources

Transactions on Computational Collective Intelligence XXIII

2024-09-22T12:50:17Z

by Nguyen, Ngoc Thanh. editor.
https://doi.org/10.1007/978-3-662-52886-0
Format: Electronic Resources

Cellular Automata 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

2024-09-22T12:50:17Z

by El Yacoubi, Samira. editor.
https://doi.org/10.1007/978-3-319-44365-2
Format: Electronic Resources

Computational Methods in Systems Biology 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

2024-09-22T12:50:17Z

by Bartocci, Ezio. editor.
https://doi.org/10.1007/978-3-319-45177-0
Format: Electronic Resources

Computational Methods in Systems Biology 6th International Conference CMSB 2008, Rostock, Germany, October 12-15, 2008. Proceedings

2024-09-22T12:50:17Z

by Heiner, Monika. editor.
http://dx.doi.org/10.1007/978-3-540-88562-7
Format: Electronic Resources

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

2024-09-22T12:50:17Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/978-3-540-70930-5
Format: Electronic Resources

Simulation, Modeling, and Programming for Autonomous Robots First International Conference, SIMPAR 2008 Venice, Italy, November 3-6, 2008. Proceedings

2024-09-22T12:50:17Z

by Carpin, Stefano. editor.
http://dx.doi.org/10.1007/978-3-540-89076-8
Format: Electronic Resources

Simulated Evolution and Learning 7th International Conference, SEAL 2008, Melbourne, Australia, December 7-10, 2008. Proceedings

2024-09-22T12:50:17Z

by Li, Xiaodong. editor.
http://dx.doi.org/10.1007/978-3-540-89694-4
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 5th International Conference, MDAI 2008 Sabadell, Spain, October 30-31, 2008. Proceedings

2024-09-22T12:50:17Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/978-3-540-88269-5
Format: Electronic Resources

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

2024-09-22T12:50:17Z

by Egerstedt, Magnus. editor.
http://dx.doi.org/10.1007/978-3-540-78929-1
Format: Electronic Resources

Cellular Automata 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings

2024-09-22T12:50:17Z

by Umeo, Hiroshi. editor.
http://dx.doi.org/10.1007/978-3-540-79992-4
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 8th International Conference, ICES 2008, Prague, Czech Republic, September 21-24, 2008. Proceedings

2024-09-22T12:50:17Z

by Hornby, Gregory S. editor.
http://dx.doi.org/10.1007/978-3-540-85857-7
Format: Electronic Resources

Transactions on Computational Systems Biology IX

2024-09-22T12:50:17Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/978-3-540-88765-2
Format: Electronic Resources

The Challenge of Anticipation A Unifying Framework for the Analysis and Design of Artificial Cognitive Systems

2024-09-22T12:50:17Z

by Pezzulo, Giovanni. editor.
http://dx.doi.org/10.1007/978-3-540-87702-8
Format: Electronic Resources

Advances in Neural Networks - ISNN 2008 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part I

2024-09-22T12:50:17Z

by Sun, Fuchun. editor.
http://dx.doi.org/10.1007/978-3-540-87732-5
Format: Electronic Resources

Advances in Neural Networks - ISNN 2008 5th International Symposium on Neural Networks, ISNN 2008, Beijing, China, September 24-28, 2008, Proceedings, Part II

2024-09-22T12:50:17Z

by Sun, Fuchun. editor.
http://dx.doi.org/10.1007/978-3-540-87734-9
Format: Electronic Resources

From Animals to Animats 10 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings

2024-09-22T12:50:17Z

by Asada, Minoru. editor.
http://dx.doi.org/10.1007/978-3-540-69134-1
Format: Electronic Resources

Formal Methods in Systems Biology First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings

2024-09-22T12:50:17Z

by Fisher, Jasmin. editor.
http://dx.doi.org/10.1007/978-3-540-68413-8
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 8th International Conference, ICA3PP 2008, Cyprus, June 9-11, 2008 Proceedings

2024-09-22T12:50:17Z

by Bourgeois, Anu G. editor.
http://dx.doi.org/10.1007/978-3-540-69501-1
Format: Electronic Resources

Swarm Intelligence Introduction and Applications

2024-09-22T12:50:17Z

by Blum, Christian. editor.
http://dx.doi.org/10.1007/978-3-540-74089-6
Format: Electronic Resources

Hybrid Learning and Education First International Conference, ICHL 2008 Hong Kong, China, August 13-15, 2008 Proceedings

2024-09-22T12:50:17Z

by Fong, Joseph. editor.
http://dx.doi.org/10.1007/978-3-540-85170-7
Format: Electronic Resources

Transactions on Computational Systems Biology X

2024-09-22T12:50:17Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/978-3-540-92273-5
Format: Electronic Resources

Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

2024-09-22T12:50:17Z

by Bemporad, Alberto. editor.
http://dx.doi.org/10.1007/978-3-540-71493-4
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 7th International Conference, ICES 2007, Wuhan, China, September 21-23, 2007 Proceedings

2024-09-22T12:50:17Z

by Kang, Lishan. editor.
http://dx.doi.org/10.1007/978-3-540-74626-3
Format: Electronic Resources

50 Years of Artificial Intelligence Essays Dedicated to the 50th Anniversary of Artificial Intelligence

2024-09-22T12:50:17Z

by Lungarella, Max. editor.
http://dx.doi.org/10.1007/978-3-540-77296-5
Format: Electronic Resources

Membrane Computing 8th International Workshop, WMC 2007 Thessaloniki, Greece, June 25-28, 2007 Revised Selected and Invited Papers

2024-09-22T12:50:17Z

by Eleftherakis, George. editor.
http://dx.doi.org/10.1007/978-3-540-77312-2
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence 4th International Conference, MDAI 2007, Kitakyushu, Japan, August 16-18, 2007. Proceedings

2024-09-22T12:50:17Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/978-3-540-73729-2
Format: Electronic Resources

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007. Proceedings

2024-09-22T12:50:17Z

by Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/978-3-540-73940-1
Format: Electronic Resources

Computational Methods in Systems Biology International Conference CMSB 2007, Edinburgh, Scotland, September 20-21, 2007. Proceedings

2024-09-22T12:50:17Z

by Calder, Muffy. editor.
http://dx.doi.org/10.1007/978-3-540-75140-3
Format: Electronic Resources

Algorithms and Architectures for Parallel Processing 7th International Conference, ICA3PP 2007, Hangzhou, China, June 11-14, 2007. Proceedings

2024-09-22T12:50:17Z

by Jin, Hai. editor.
http://dx.doi.org/10.1007/978-3-540-72905-1
Format: Electronic Resources

Modeling Decisions Information Fusion and Aggregation Operators

2024-09-22T12:50:17Z

by Torra, Vicenç. author.
http://dx.doi.org/10.1007/978-3-540-68791-7
Format: Electronic Resources

Artificial General Intelligence

2024-09-22T12:50:17Z

by Goertzel, Ben. editor.
http://dx.doi.org/10.1007/978-3-540-68677-4
Format: Electronic Resources

Symbol Grounding and Beyond Third International Workshop on the Emergence and Evolution of Linguistic Communication, EELC 2006, Rome, Italy, September 30 – October 1, 2006. Proceedings

2024-09-22T12:50:17Z

by Vogt, Paul. editor.
http://dx.doi.org/10.1007/11880172
Format: Electronic Resources

Membrane Computing 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers

2024-09-22T12:50:17Z

by Hoogeboom, Hendrik Jan. editor.
http://dx.doi.org/10.1007/11963516
Format: Electronic Resources

Computational Methods in Systems Biology International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006. Proceedings

2024-09-22T12:50:17Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/11885191
Format: Electronic Resources

Simulated Evolution and Learning 6th International Conference, SEAL 2006, Hefei, China, October 15-18, 2006. Proceedings

2024-09-22T12:50:17Z

by Wang, Tzai-Der. editor.
http://dx.doi.org/10.1007/11903697
Format: Electronic Resources

Membrane Computing 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers

2024-09-22T12:50:17Z

by Freund, Rudolf. editor.
http://dx.doi.org/10.1007/11603047
Format: Electronic Resources

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

2024-09-22T12:50:17Z

by Hespanha, João P. editor.
http://dx.doi.org/10.1007/11730637
Format: Electronic Resources

Cellular Automata 7th International Conference on Cellular Automata, for Research and Industry, ACRI 2006, Perpignan, France, September 20-23, 2006. Proceedings

2024-09-22T12:50:17Z

by Yacoubi, Samira. editor.
http://dx.doi.org/10.1007/11861201
Format: Electronic Resources

From Animals to Animats 9 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings

2024-09-22T12:50:17Z

by Nolfi, Stefano. editor.
http://dx.doi.org/10.1007/11840541
Format: Electronic Resources

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

2024-09-22T12:50:17Z

by Broy, Manfred. editor.
http://dx.doi.org/10.1007/11823063
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence Third International Conference, MDAI 2006, Tarragona, Spain, April 3-5, 2006. Proceedings

2024-09-22T12:50:17Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/11681960
Format: Electronic Resources

Membrane Computing 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

2024-09-22T12:50:17Z

by Mauri, Giancarlo. editor.
http://dx.doi.org/10.1007/b106721
Format: Electronic Resources

Computational Methods in Systems Biology International Conference CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers

2024-09-22T12:50:17Z

by Danos, Vincent. editor.
http://dx.doi.org/10.1007/b107287
Format: Electronic Resources

Modeling Decisions for Artificial Intelligence Second International Conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005. Proceedings

2024-09-22T12:50:17Z

by Torra, Vicenç. editor.
http://dx.doi.org/10.1007/978-3-540-31883-5
Format: Electronic Resources

Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers

2024-09-22T12:50:17Z

by Murray-Smith, Roderick. editor.
http://dx.doi.org/10.1007/b105497
Format: Electronic Resources

Evolvable Systems: From Biology to Hardware 6th International Conference, ICES 2005, Sitges, Spain, September 12-14, 2005. Proceedings

2024-09-22T12:50:17Z

by Moreno, J. Manuel. editor.
http://dx.doi.org/10.1007/11549703
Format: Electronic Resources

Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings

2024-09-22T12:50:17Z

by Morari, Manfred. editor.
http://dx.doi.org/10.1007/b106766
Format: Electronic Resources

Distributed and Parallel Computing 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005. Proceedings

2024-09-22T12:50:17Z

by Hobbs, Michael. editor.
http://dx.doi.org/10.1007/11564621
Format: Electronic Resources