Search Results for - Narrowed by: Algorithm Analysis and Problem Complexity. - Simulation and Modeling.

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings

2024-05-27T06:09:57Z

by Jansen, David N. editor. (orcid)0000-0002-6636-3301
https://doi.org/10.1007/978-3-030-00151-3
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II

2024-05-27T06:09:57Z

by Moreno-Díaz, Roberto. editor.
https://doi.org/10.1007/978-3-319-74727-9
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

2024-05-27T06:09:57Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96145-3
Format: Electronic Resources

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

2024-05-27T06:09:57Z

by Chockler, Hana. editor. (orcid)0000-0003-1219-0713
https://doi.org/10.1007/978-3-319-96142-2
Format: Electronic Resources

Model Checking Software 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings

2024-05-27T06:09:57Z

by Gallardo, María del Mar. editor.
https://doi.org/10.1007/978-3-319-94111-0
Format: Electronic Resources

Artificial Life and Intelligent Agents Second International Symposium, ALIA 2016, Birmingham, UK, June 14-15, 2016, Revised Selected Papers

2024-05-27T06:09:57Z

by Lewis, Peter R. editor.
https://doi.org/10.1007/978-3-319-90418-4
Format: Electronic Resources

Computer Aided Systems Theory – EUROCAST 2017 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I

2024-05-27T06:09:57Z

by Moreno-Díaz, Roberto. editor.
https://doi.org/10.1007/978-3-319-74718-7
Format: Electronic Resources

Highlights of Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection International Workshops of PAAMS 2018, Toledo, Spain, June 20–22, 2018, Proceedings

2024-05-27T06:09:57Z

by Bajo, Javier. editor.
https://doi.org/10.1007/978-3-319-94779-2
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-05-27T06:09:57Z

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

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

2024-05-27T06:09:57Z

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

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part V

2024-05-27T06:09:57Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42092-9
Format: Electronic Resources

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part II

2024-05-27T06:09:57Z

by Tan, Ying. editor.
https://doi.org/10.1007/978-3-319-41009-8
Format: Electronic Resources

Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers

2024-05-27T06:09:57Z

by Rovatsos, Michael. editor.
https://doi.org/10.1007/978-3-319-33509-4
Format: Electronic Resources

Bio-inspired Computing – Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part I

2024-05-27T06:09:57Z

by Gong, Maoguo. editor.
https://doi.org/10.1007/978-981-10-3611-8
Format: Electronic Resources

Supercomputing Second Russian Supercomputing Days, RuSCDays 2016, Moscow, Russia, September 26–27, 2016, Revised Selected Papers

2024-05-27T06:09:57Z

by Voevodin, Vladimir. editor.
https://doi.org/10.1007/978-3-319-55669-7
Format: Electronic Resources

Advances in Swarm Intelligence 7th International Conference, ICSI 2016, Bali, Indonesia, June 25-30, 2016, Proceedings, Part I

2024-05-27T06:09:57Z

by Tan, Ying. editor.
https://doi.org/10.1007/978-3-319-41000-5
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part III

2024-05-27T06:09:57Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42111-7
Format: Electronic Resources

Computational Science and Its Applications -- ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part IV

2024-05-27T06:09:57Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42089-9
Format: Electronic Resources

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

2024-05-27T06:09:57Z

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

Multiagent System Technologies 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings

2024-05-27T06:09:57Z

by Klusch, Matthias. editor.
https://doi.org/10.1007/978-3-319-45889-2
Format: Electronic Resources

Computational Topology in Image Context 6th International Workshop, CTIC 2016, Marseille, France, June 15-17, 2016, Proceedings

2024-05-27T06:09:57Z

by Bac, Alexandra. editor.
https://doi.org/10.1007/978-3-319-39441-1
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part II

2024-05-27T06:09:57Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42108-7
Format: Electronic Resources

Interactive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings

2024-05-27T06:09:57Z

by Blanchette, Jasmin Christian. editor.
https://doi.org/10.1007/978-3-319-43144-4
Format: Electronic Resources

Computational Science and Its Applications – ICCSA 2016 16th International Conference, Beijing, China, July 4-7, 2016, Proceedings, Part I

2024-05-27T06:09:57Z

by Gervasi, Osvaldo. editor.
https://doi.org/10.1007/978-3-319-42085-1
Format: Electronic Resources

Computer Algebra in Scientific Computing 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings

2024-05-27T06:09:57Z

by Gerdt, Vladimir P. editor.
https://doi.org/10.1007/978-3-319-45641-6
Format: Electronic Resources

Data Mining and Constraint Programming Foundations of a Cross-Disciplinary Approach

2024-05-27T06:09:57Z

by Bessiere, Christian. editor.
https://doi.org/10.1007/978-3-319-50137-6
Format: Electronic Resources

Patch-Based Techniques in Medical Imaging Second International Workshop, Patch-MI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Proceedings

2024-05-27T06:09:57Z

by Wu, Guorong. editor.
https://doi.org/10.1007/978-3-319-47118-1
Format: Electronic Resources

Computational Methods and Clinical Applications for Spine Imaging 4th International Workshop and Challenge, CSI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 17, 2016, Revised Selected Papers

2024-05-27T06:09:57Z

by Yao, Jianhua. editor.
https://doi.org/10.1007/978-3-319-55050-3
Format: Electronic Resources

Computational Methods and Clinical Applications for Spine Imaging Third International Workshop and Challenge, CSI 2015, Held in Conjunction with MICCAI 2015, Munich, Germany, October 5, 2015, Proceedings

2024-05-27T06:09:57Z

by Vrtovec, Tomaž. editor.
https://doi.org/10.1007/978-3-319-41827-8
Format: Electronic Resources

Medical Imaging and Augmented Reality 7th International Conference, MIAR 2016, Bern, Switzerland, August 24-26, 2016, Proceedings

2024-05-27T06:09:57Z

by Zheng, Guoyan. editor.
https://doi.org/10.1007/978-3-319-43775-0
Format: Electronic Resources

Bio-inspired Computing – Theories and Applications 11th International Conference, BIC-TA 2016, Xi'an, China, October 28-30, 2016, Revised Selected Papers, Part II

2024-05-27T06:09:57Z

by Gong, Maoguo. editor.
https://doi.org/10.1007/978-981-10-3614-9
Format: Electronic Resources

Computer Information Systems and Industrial Management 15th IFIP TC8 International Conference, CISIM 2016, Vilnius, Lithuania, September 14-16, 2016, Proceedings

2024-05-27T06:09:57Z

by Saeed, Khalid. editor.
https://doi.org/10.1007/978-3-319-45378-1
Format: Electronic Resources

Autonomous Agents and Multiagent Systems AAMAS 2016 Workshops, Best Papers, Singapore, Singapore, May 9-10, 2016, Revised Selected Papers

2024-05-27T06:09:57Z

by Osman, Nardine. editor.
https://doi.org/10.1007/978-3-319-46882-2
Format: Electronic Resources

Simulation and Synthesis in Medical Imaging First International Workshop, SASHIMI 2016, Held in Conjunction with MICCAI 2016, Athens, Greece, October 21, 2016, Proceedings

2024-05-27T06:09:57Z

by Tsaftaris, Sotirios A. editor.
https://doi.org/10.1007/978-3-319-46630-9
Format: Electronic Resources

Computational Logistics 7th International Conference, ICCL 2016, Lisbon, Portugal, September 7-9, 2016, Proceedings

2024-05-27T06:09:57Z

by Paias, Ana. editor.
https://doi.org/10.1007/978-3-319-44896-1
Format: Electronic Resources

Big Data Benchmarking 6th International Workshop, WBDB 2015, Toronto, ON, Canada, June 16-17, 2015 and 7th International Workshop, WBDB 2015, New Delhi, India, December 14-15, 2015, Revised Selected Papers

2024-05-27T06:09:57Z

by Rabl, Tilmann. editor.
https://doi.org/10.1007/978-3-319-49748-8
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-05-27T06:09:57Z

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

Discrete Geometry for Computer Imagery 14th IAPR International Conference, DGCI 2008, Lyon, France, April 16-18, 2008. Proceedings

2024-05-27T06:09:57Z

by Coeurjolly, David. editor.
http://dx.doi.org/10.1007/978-3-540-79126-3
Format: Electronic Resources

A Practical Programming Model for the Multi-Core Era 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

2024-05-27T06:09:57Z

by Chapman, Barbara. editor.
http://dx.doi.org/10.1007/978-3-540-69303-1
Format: Electronic Resources

Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers

2024-05-27T06:09:57Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: Electronic Resources

OpenMP in a New Era of Parallelism 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings

2024-05-27T06:09:57Z

by Eigenmann, Rudolf. editor.
http://dx.doi.org/10.1007/978-3-540-79561-2
Format: Electronic Resources

Bio-Inspired Computing and Communication First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers

2024-05-27T06:09:57Z

by Liò, Pietro. editor.
http://dx.doi.org/10.1007/978-3-540-92191-2
Format: Electronic Resources

Transactions on Computational Systems Biology IX

2024-05-27T06:09:57Z

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

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

2024-05-27T06:09:57Z

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

High-Performance Computing 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers

2024-05-27T06:09:57Z

by Labarta, Jesús. editor.
http://dx.doi.org/10.1007/978-3-540-77704-5
Format: Electronic Resources

Battery Management Systems Accurate State-of-Charge Indication for Battery-Powered Applications

2024-05-27T06:09:57Z

by Pop, Valer. author.
http://dx.doi.org/10.1007/978-1-4020-6945-1
Format: Electronic Resources

OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

2024-05-27T06:09:57Z

by Mueller, Matthias S. editor.
http://dx.doi.org/10.1007/978-3-540-68555-5
Format: Electronic Resources

Transactions on Computational Systems Biology X

2024-05-27T06:09:57Z

by Priami, Corrado. editor.
http://dx.doi.org/10.1007/978-3-540-92273-5
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-05-27T06:09:57Z

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

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

2024-05-27T06:09:57Z

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

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

2024-05-27T06:09:57Z

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

Combinatorics, Algorithms, Probabilistic and Experimental Methodologies First International Symposium, ESCAPE 2007, Hangzhou, China, April 7-9, 2007, Revised Selected Papers

2024-05-27T06:09:57Z

by Chen, Bo. editor.
http://dx.doi.org/10.1007/978-3-540-74450-4
Format: Electronic Resources

Large-Scale Scientific Computing 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

2024-05-27T06:09:57Z

by Lirkov, Ivan. editor.
http://dx.doi.org/10.1007/11666806
Format: Electronic Resources

Discrete Geometry for Computer Imagery 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006. Proceedings

2024-05-27T06:09:57Z

by Kuba, Attila. editor.
http://dx.doi.org/10.1007/11907350
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-05-27T06:09:57Z

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

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005. Proceedings

2024-05-27T06:09:57Z

by Malyshkin, Victor. editor.
http://dx.doi.org/10.1007/11535294
Format: Electronic Resources

Numerical Analysis and Its Applications Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers

2024-05-27T06:09:57Z

by Li, Zhilin. editor.
http://dx.doi.org/10.1007/b106395
Format: Electronic Resources

Cognitive Engineering A Distributed Approach to Machine Intelligence

2024-05-27T06:09:57Z

by Konar, Amit. author.
http://dx.doi.org/10.1007/1-84628-234-9
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-05-27T06:09:57Z

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

Discrete Geometry for Computer Imagery 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings

2024-05-27T06:09:57Z

by Andres, Eric. editor.
http://dx.doi.org/10.1007/b135490
Format: Electronic Resources

High Performance Computational Science and Engineering IFIP TC5 Workshop on High Performance Computational Science and Engineering (HPCSE), World Computer Congress, August 22–27, 2004, Toulouse, France

2024-05-27T06:09:57Z

by Ng, Michael K. editor.
http://dx.doi.org/10.1007/b104300
Format: Electronic Resources