Stormy development of electronic computation techniques (computer systems and software), observed during the last decades, has made possible automation of data processing in many important human activity areas, such as science, technology, economics and labor organization.
At the intersection of astronautics, computer science, and social science, this book introduces the challenges and insights associated with computer simulation of human society in outer space, and of the dynamics of terrestrial enthusiasm for space exploration.
This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019.
This book constitutes the proceedings of the 12th European Conference on Multi-Agent Systems, EUMAS 2014, held in Prague, Czech Republic, in December 2014.
Seit einigen Jahren entwickelt sich Computersimulation zu einem unentbehrlichen Werkzeug in der Planung von Produktionssystemen, Unternehmenslogistik und Produktionsplanung und -steuerung.
This book constitutes the refereed proceedings of the 15th International Conference on Simulation of Adaptive Behavior, SAB 2018, held in Frankfurt/Main, Germany, in August 2018.
The book covers intimately all the topics necessary for the development of a robust magnetohydrodynamic (MHD) code within the framework of the cell-centered finite volume method (FVM) and its applications in space weather study.
This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.
This book introduces recently developed mixed finite element methods for large-scale geophysical flows that preserve essential numerical properties for accurate simulations.
Thesetransactions publish research in computer-based methods of computationalcollective intelligence (CCI) and their applications in a wide range of fieldssuch as the semantic Web, social networks, and multi-agent systems.
This book constitutes the proceedings of the 11th International Conference on Parallel Computing Technologies, PaCT 2011, held in Kazan, Russia on September 19-23, 2011.
This book constitutes the refereed proceedings of the Third International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries, ISCRAM-med 2016, held in Madrid, Spain, in October 2016.
Advanced Modeling and Optimization of Manufacturing Processes presents a comprehensive review of the latest international research and development trends in the modeling and optimization of manufacturing processes, with a focus on machining.
Written from a practice-based perspective, this book focuses on the political character of 'cyberformance': the genre of digital performance that uses the Internet as a performance space.
This tutorial provides the application of the coupling interface OGS#IPhreeqc (open-source scientific software) to model reactive mass transport processes in environmental subsurface systems.
The 13th International Conference on Human-Computer Interaction, HCI Inter- tional 2009, was held in San Diego, California, USA, July 19-24, 2009, jointly with the Symposium on Human Interface (Japan) 2009, the 8th International Conference on Engineering Psychology and Cognitive Ergonomics, the 5th International Conference on Universal Access in Human-Computer Interaction, the Third International Conf- ence on Virtual and Mixed Reality, the Third International Conference on Internati- alization, Design and Global Development, the Third International Conference on Online Communities and Social Computing, the 5th International Conference on Augmented Cognition, the Second International Conference on Digital Human Mod- ing, and the First International Conference on Human Centered Design.
This edited volume collects a series of studies concerning the most recent developments in the industrial applications of augmented and virtual reality.
The second Workshop on "e;Quality and Reliability of Large-Eddy Simulations"e;,QLES2009, was held at the University of Pisa from September 9 to September 11,2009.
This book constitutes the refereed proceedings of the 11th German Conference on Multiagent System Technologies, MATES 2013, held in Koblenz, Germany, in September 2013.
The five-volume set LNCS 7971-7975 constitutes the refereed proceedings of the 13th International Conference on Computational Science and Its Applications, ICCSA 2013, held in Ho Chi Minh City, Vietnam in June 2013.
The Fifth International Conference on Computational Science (ICCS 2005) held in Atlanta, Georgia, USA, May 22-25, 2005, continued in the tradition of p- vious conferences in the series: ICCS 2004 in Krakow, Poland; ICCS 2003 held simultaneously at two locations, in Melbourne, Australia and St.
This book discusses the latest advances in manufacturing and process control, with a special emphasis on digital manufacturing and intelligent technologies for manufacturing and industrial processes control.
This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011.
The research and its outcomes presented in this collection focus on various aspects of high-performance computing (HPC) software and its development which is confronted with various challenges as today's supercomputer technology heads towards exascale computing.
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Big Data Benchmarking, WBDB 2015, held in Toronto, ON, Canada, in June 2015 and the 7th International Workshop, WBDB 2015, held in New Delhi, India, in December 2015.
This book constitutes the refereed proceedings of the 10th International Conference on Pervasive Computing, Pervasive 2012, held in Newcastle, UK, in June 2012.
Introduces biological concepts and biotechnologies producing the data, graph and network theory, cluster analysis and machine learning, using real-world biological and medical examples.
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic web, social networks, and multi-agent systems.
This volume constitutes the refereed post-conference proceedings of the Fourth International Conference on Machine Learning and Intelligent Communications, MLICOM 2019, held in Nanjing, China, in August 2019.
The five volume set LNCS 7663, LNCS 7664, LNCS 7665, LNCS 7666 and LNCS 7667 constitutes the proceedings of the 19th International Conference on Neural Information Processing, ICONIP 2012, held in Doha, Qatar, in November 2012.
This book is written by a group of researchers based on the recent research progress in the fiber/matrix interface degradation under various environmental exposures via molecular dynamics simulation.
This book constitutes the refereed proceedings of the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019, held in Oslo, Norway, in September 2019.
This book covers some important topics in the construction of computable general equilibrium (CGE) models and examines use of these models for the analysis of economic policies, their properties, and their implications.
This book constitutes the proceedings of the 12th International Conference on Computational Methods in Systems Biology, CMSB 2014, held in Manchester, UK, in November 2014.
These transactions publish research in computer-based methods of computational collective intelligence (CCI) and their applications in a wide range of fields such as the semantic Web, social networks, and multi-agent systems.
This book presents the most recent scientific and technological advances in the fields of engineering mathematics and computational science, to strengthen the links in the scientific community.
This book constitutes the refereed proceedings of the 15th International Scientific Conference on Information Technologies and Mathematical Modeling, named after A.
