Search

This volume constitutes the revised selected papers of the 15th International Conference on Bio-inspired Computing: Theories and Applications, BIC-TA 2020, held in Qingdao, China, in October 2020.The 43 full papers presented in both volumes were selected from 109 submissions. The papers are organized according to the topical headings: evolutionary computation and swarm intelligence; neural networks and machine learning; DNA computing and membrane computing.

This book constitutes refereed proceedings of the 22nd International Conference on Mathematical Optimization Theory and Operations Research: Recent Trends, MOTOR 2023, held in Ekaterinburg, Russia, during July 2–8, 2023. The 28 full papers and one invited paper presented in this volume were carefully reviewed and selected from a total of 61 submissions. The papers in the volume are organized according to the following topical headings: mathematical programming; stochastic optimization; discrete and combinatorial optimization; operations research; optimal control and mathematical economics; and optimization in machine learning.

This volume constitutes the proceedings of the 9th International Conference on Variable Neighborhood Search, ICVNS 2023, held in Abu Dhabi, United Arab Emirates, in October 2022.The 11 full papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers describe recent advances in methods and applications of variable neighborhood search.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on the Arithmetic of Finite Field, WAIFI 2022, held in Chengdu, China, in August – September 2022.The 19 revised full papers and 3 invited talks presented were carefully reviewed and selected from 25 submissions. The papers are organized in topical sections: structures in finite fields; efficient finite field arithmetic; coding theory; cryptography; sequences.

This book constitutes the refereed proceedings of the 19th International Symposium on Algorithmics of Wireless Networks, ALGOWIN 2023, held in Amsterdam, The Netherlands, during September 7–8, 2023.The 10 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: design and analysis of algorithms, models of computation and experimental analysis.

This book constitutes the thoroughly refereed proceedings of the 11th International Symposium on Intelligence Computation and Applications, ISICA 2019, held in Guangzhou, China, in November 2019.The 65 papers presented were carefully reviewed and selected from the total of 112 submissions. This volume features the most up-to-date research in evolutionary algorithms, parallel computing and quantum computing, evolutionary multi-objective and dynamic optimization, intelligent multimedia systems, virtualization and AI applications, smart scheduling, intelligent control, big data and cloud computing, deep learning, and hybrid machine learning systems.The papers are organized according to the following topical sections: new frontier in evolutionary algorithms; evolutionary multi-objective and dynamic optimization; intelligent multimedia systems; virtualization and AI applications; smart scheduling; intelligent control; big data and cloud computing; statistical learning.

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2019, and 5th International Conference on Fuzzy and Neural Computing, FANCCO 2019, held in Maribor, Slovenia, in July 2019. The 18 full papers presented in this volume were carefully reviewed and selected from a total of 31 submissions for inclusion in the proceedings. The papers cover a wide range of topics in swarm, evolutionary, memetic and other intelligent computing algorithms and their real world applications in problems selected from diverse domains of science and engineering.

This book constitutes revised selected papers from the 16th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2020, held in Pisa, Italy•, in September 2020.The 12 full papers presented in this volume were carefully reviewed and selected from 27 submissions. ALGOSENSORS is an international symposium dedicated to the algorithmic aspects of wireless networks.•The conference was held virtually due to the COVID-19 pandemic.

This book constitutes refereed proceedings of the 21st International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2022, held in Petrozavodsk, Russia, in July 2022. The 21 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 88 submissions. The papers in the volume are organised according to the following topical headings: ​invited talks; integer programming and combinatorial optimization; mathematical programming; game theory and optimal control; operational research applications.

This book constitutes thoroughly refereed and revised selected papers from the 7th International Symposium on Combinatorial Optimization, ISCO 2022, which was held online during May 18–20, 2022.The 24 full papers included in this book were carefully reviewed and selected from 50 submissions. They were organized in topical sections as follows: Polyhedra and algorithms; polyhedra and combinatorics; non-linear optimization; game theory; graphs and trees; cutting and packing; applications; and approximation algorithms.

This book constitutes refereed proceedings of the 20th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2021, held in Irkutsk, Russia, in July 2021. Due to the COVID-19 pandemic the conference was held online. The 31 full papers and 3 short papers presented in this volume were carefully reviewed and selected from a total of 102 submissions. The papers in the volume are organised according to the following topical headings: continuous optimization; integer programming and combinatorial optimization; operational research applications; optimal control.

This book constitutes the refereed proceedings of the 11th International Conference on Optimization and Applications, OPTIMA 2020, held in September – October 2020. Due to the COVID-19 pandemic the conference was held online. The 18 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on ​global optimization; combinatorial and discrete optimization; optimal control; optimization in economy, finance and social sciences; applications.

This book constitutes the thoroughly refereed conference proceedings of the First International Workshop on the Foundation of Trustworthy AI - Integrating Learning, Optimization and Reasoning, TAILOR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 11 revised full papers presented together with 6 short papers and 6 position papers were reviewed and selected from 52 submissions. The contributions address various issues for Trustworthiness, Learning, reasoning, and optimization, Deciding and Learning How to Act, AutoAI, and Reasoning and Learning in Social Contexts.

This book constitutes selected and revised papers from the 7th International Conference Logistics and Supply Chain Management, held in December 2020 in Tehran, Iran. Due to the COVID-19 pandemic the conference was held online. The 17 full papers and 2 short papers pressented were thoroughly reviewed and selected out of 70 submissions. The papers are organized in the topical sections on ​information technology in supply chain management; production/scheduling and transportation in supply chain management; sustainable and resilient supply chain management; humanitarian supply chain management.

This book constitutes revised selected papers from the 9th International Conference on Analysis of Images, Social Networks and Texts, AIST 2020, held during October 15-16, 2020. The conference was planned to take place in Moscow, Russia, but changed to an online format due to the COVID-19 pandemic.The 27 full papers and 4 short papers presented in this volume were carefully reviewed and selected from a total of 108 qualified submissions. The papers are organized in topical sections as follows: invited papers; natural language processing; computer vision; social network analysis; data analysis and machine learning; theoretical machine learning and optimization; and process mining.

This book contains the thoroughly refereed technical papers presented in eight workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2018, held in Toulouse, France, in June 2018. The 65 full papers presented were carefully reviewed and selected from 120 submissions. The events whose papers are included in this volume are: CoSim-CPS 2018: 2nd International Workshop on Formal Co-Simulation of Cyber-Physical SystemsDataMod 2018: 7th International Symposium From Data to Models and BackFMIS 2018: 7th International Workshop on Formal Methods for Interactive SystemsFOCLASA 2018: 16th International Workshop on Foundations of Coordination Languages and Self-adaptative SystemsGCM 2018: 9th International Workshop on Graph Computation ModelsMDE@DeRun 2018: 1st International Workshop on Model-Driven Engineering for Design-RuntimeInteraction in Complex SystemsMSE 2018: 3rd International Workshop on Microservices: Science and EngineeringSecureMDE 2018: 1st International Workshop on Security for and by Model-Driven Engineering

This book constitutes the refereed proceedings of the 8th International Symposium on Combinatorial Optimization, ISCO 2024, held in La Laguna, Tenerife, Spain, during May 22–24, 2024. The 30 full papers included in this book were carefully reviewed and selected from 46 submissions. They were organized in topical sections as follows: integer programming; graph theory; parameterized algorithms; approximation algorithms; integer programming for machine learning; and applications.

This book constitutes the refereed proceedings of the 12th International Workshop on Multi-Agent-Based Simulation, MABS 2011, held in Taipei, Taiwan, in May 2011. The 10 revised selected and extended papers presented were carefully reviewed and selected from 21 submissions. The topics covered are MABS in scientometrics; MABS in politics, transit and policy; pedestrian, crowds and large scale MABS; and MABS modeling.

This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2020, held in Leeds, UK, in June 2020. The workshop was held virtually due to the COVID-19 pandemic. The 32 full papers presented in this volume were carefully reviewed and selected from 94 submissions. They cover a wide range of areas, aiming to present emerging research results and to identify and explore directions of future research of concepts on graph theory and how they can be applied to various areas in computer science.

The two-volume set LNCS 11973 and 11974 constitute revised selected papers from the Third International Conference on Numerical Computations: Theory and Algorithms, NUMTA 2019, held in Crotone, Italy, in June 2019. This volume, LNCS 11973, consists of 34 full and 18 short papers chosen among papers presented at special streams and sessions of the Conference. The papers in part I were organized following the topics of these special sessions: approximation: methods, algorithms, and applications; computational methods for data analysis; first order methods in optimization: theory and applications; high performance computing in modelling and simulation; numbers, algorithms, and applications; optimization and management of water supply.

This book constitutes revised selected papers from the 12th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2016, held in Aarhus, Denmark, in August 2016. The 9 full papers presented in this volume were carefully reviewed and selected from 19 submissions. This year papers were solicited into three tracks: Distributed and Mobile, Experiments and Applications, and Wireless and Geometry.

This book constitutes the proceedings of the International Joint Conference on Theoretical Computer Science-Frontier of Algorithmic Wisdom (IJTCS-FAW 2022), for the 16th International Conference on Frontier of Algorithmic Wisdom (FAW) and the third International Joint Conference on Theoretical Computer Science (IJTCS), held in Hong Kong, China, in August 15-19 2022.FAW started as the Frontiers of Algorithmic Workshop in 2007 at Lanzhou, China, and was held annually from 2007 to 2021 and published archival proceedings. IJTCS, the International joint theoretical Computer Science Conference, started in 2020, aimed to bring in presentations covering active topics in selected tracks in theoretical computer science.To accommodate the diversified new research directions in theoretical computer science, FAW and IJTCS joined their forces together to organize an event for information exchange of new findings and work of enduring value in the field. In addition to four keynote speakers, 26 invited speakers and 19 contributed speakers, IJTCS-FAW2022 organized Forums for undergraduate research, young PhD graduates, young TCS faculty members, female researchers, as well as a forum in Conscious AI and a CSIAM Forum in blockchain.The 19 full papers presented in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: Algorithmic Game Theory; Game Theory in Block Chain; Frontiers of Algorithmic Wisdom; Computational and Network Economics.

This volume constitutes the thoroughly refereed proceedings of the 49th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2023. The 33 full papers presented in this volume were carefully reviewed and selected from a total of 116 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from graph theory can be applied to various areas in computer science, or by extracting new graph theoretic problems from applications.

This book constitutes the refereed proceedings of the International Conference on Computers and Games, CG 2022, held virtually, during November 22–24, 2022.The 15 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: ​classic games, multi-player and multi-action games, solving games, measuring games, decision making in games and puzzles.

​This book constitutes the refereed proceedings of the 6th IEEE Colombian Conference on Applications of Computational Intelligence, ColCACI 2023, held in Bogota, Colombia during July 2023.A total of 11 full papers were carefully reviewed and selected from 42 submissions. They were organized in topical sections as follows: ​Biomedical Applications, Biological Applications, Engineering Applications.

​This book constitutes the refereed proceedings of the 5th IEEE Colombian Conference on Applications of Computational Intelligence, ColCACI 2022, held in Cali, Colombia during July 27–29, 2022.The 7 extended papers included in this book were carefully reviewed and selected from 38 submissions. They were organized in topical sections as follows: ​Design of a segmentation and classification system for seed detection based on pixel intensity thresholds and convolutional neural networks.

This book constitutes revised and selected papers from the 8th International Conference on Operations Research and Enterprise Systems, ICORES 2019, held in Prague, Czech Republic, in February 2019. The 9 extended and revised papers presented in this volume were carefully reviewed and selected from a total of 80 submissions. They were organized in topical sections named methodologies and technologies and applications.

This book constitutes the refereed conference proceedings of the 7th International Conference on Finite Difference Methods, FDM 2018, held in Lozenetz, Bulgaria, in June 2018.The 69 revised full papers presented together with 11 invited papers were carefully reviewed and selected from 94 submissions. They deal with many modern and new numerical techniques like splitting techniques, Green's function method, multigrid methods, and immersed interface method.

This book constitutes revised and selected papers from the 18th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2019, held in Ekaterinburg, Russia, in July 2019. The 40 full papers and 4 short papers presented in this volume were carefully reviewed and selected from a total of 170 submissions. The papers in the volume are organised according to the following topical headings: ​combinatorial optimization; game theory and mathematical economics; data mining and computational geometry; integer programming; mathematical programming; operations research; optimal control and applications.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2018, held in Nice, France, in September 2018.The 12 papers presented in this book were carefully reviewed and selected from 15 submissions. The papers address topics such as: psychology, economics, semantic and memory, natural language processing, cognition, information retrieval, biology, and political science.

This book constitutes the revised selected papers of the 13th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2018, held in Parma, Italy, in September 2018. The 12 full papers presented were thoroughly reviewed and selected from 30 submissions. They cover the following topics: Boolean networks and complex systems; economic, societal and technological applications; chemical, biological and medical applications. The chapter “Unveiling Latent Relations in the Photonics Techno-Economic Complex System” is open access under a CC BY 4.0 license at link.springer.com.

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018.The 10 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on analysis and verification of Safety-Critical Systems; analysis of timed systems; semantics and analysis methods, and model transformation.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Meeting on Computational. Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2017, held in Cagliari, Italy, in September 2017.The 19 revised full papers presented were carefully reviewed and selected from 44 submissions. The papers deal with the application of computational intelligence to open problems in bioinformatics, biostatistics, systems and synthetic biology, medical informatics, computational approaches to life sciences in general.

This book constitutes revised selected papers from the 14th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2018, held in Helsinki, Finland, in August 2018.The 15 full papers presented in this volume were carefully reviewed and selected from 39 submissions. ALGOSENSORS is an international symposium dedicated to the algorithmic aspects of wireless networks. Originally focused on sensor networks, it now covers algorithmic issues arising in wireless networks of all types of computational entities, static or mobile, including sensor networks, sensor-actuator networks, autonomous robots. The focus is on the design and analysis of algorithms, models of computation, and experimental analysis.

This book constitutes revised selected papers from the 7th International Conference on Operations Research and Enterprise Systems, ICORES 2018, held in Funchal, Madeira, Portugal, in January 2018.The 12 papers presented in this volume were carefully reviewed and selected from a total of 59 submissions. They are organized in topical sections named: methodologies and technologies; and applications.

This book constitutes the refereed proceedings of five workshops symposia, held at the 38th International Conference on Conceptual Modeling, ER 2019, in Salvador, Brazil, in November 2019. The 34 papers promote and disseminate research on theories of concepts underlying conceptual modeling, methods and tools for developing and communicating conceptual models, techniques for transforming conceptual models into effective implementations, and the impact of conceptual modeling techniques on databases, business strategies and information systems. The following workshops are included in this volume: Workshop on Conceptual Modeling, Ontologies and Metadata Management for FAIR Data (FAIR), 6th Workshop on Conceptual Modeling in Requirements Engineering and Business Analysis (MREBA), 2nd International Workshop on Empirical Methods in Conceptual Modeling (EmpER), 8th International Workshop on Modeling and Management of Big Data (MoBiD19), and 7th International Workshop on Ontologies andConceptual Modelling (OntoCom).

This book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA² 2019, held in Kalamata, Greece, in June 2019.The 35 revised full papers presented were carefully reviewed and selected from 45 submissions. The papers cover a wide range of topics in both computer science and operations research/mathematical programming. They focus on the role of experimentation and engineering techniques in the design and evaluation of algorithms, data structures, and computational optimization methods.

This book constitutes the revised papers of the 45th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2019, held in Vall de Núria, Spain, in June 2019. The 29 full papers presented in this volume were carefully reviewed and selected from 87 submissions. They cover a wide range of areas, aiming at connecting theory and applications by demonstrating how graph-theoretic concepts can be applied in various areas of computer science. Another focus is on presenting recent results and on identifying and exploring promising directions of future research.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Numerical Methods and Applications, NMA 2018, held in Borovets, Bulgaria, in August 2018. The 56 revised regular papers presented were carefully reviewed and selected from 61 submissions for inclusion in this book. The papers are organized in the following topicalsections: numerical search and optimization; problem-driven numerical method: motivation and application, numerical methods for fractional diffusion problems; orthogonal polynomials and numerical quadratures; and Monte Carlo and Quasi-Monte Carlo methods.

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Swarm, Evolutionary, and Memetic Computing, SEMCCO 2015, held in Hyderabad, India, in December 2015.The 23 full papers presented in this volume were carefully reviewed and selected from 40 submissions for inclusion in the proceedings. The papers cover a wide range of topics in swarm, evolutionary, memetic and other intelligent computing algorithms and their real world applications in problems selected from diverse domains of science and engineering.

This volume constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Graphical Models for Security, GraMSec 2015, held in Verona, Italy, in July 2015.The 5 revised full papers presented together with one short tool paper and one invited lecture were carefully reviewed and selected from 13 submissions. The workshop contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage, thus providing an intuitive but systematic methodology to analyze security weaknesses of systems and to evaluate potential protection measures.

This LNCS 13453 constitutes the thoroughly refereed proceedings of the 48th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2022.The 32 full papers presented in this volume were carefully reviewed and selected from a total of 96 submissions. The WG 2022 workshop aims to merge theory and practice by demonstrating how concepts from Graph Theory can be applied to various areas in Computer Science, or by extracting new graph theoretic problems from applications.

This two-volume set, LNCS 13163-13164, constitutes the refereed proceedings of the 7th International Conference on Machine Learning, Optimization, and Data Science, LOD 2021, together with the first edition of the Symposium on Artificial Intelligence and Neuroscience, ACAIN 2021. The total of 86 full papers presented in this two-volume post-conference proceedings set was carefully reviewed and selected from 215 submissions. These research articles were written by leading scientists in the fields of machine learning, artificial intelligence, reinforcement learning, computational optimization, neuroscience, and data science presenting a substantial array of ideas, technologies, algorithms, methods, and applications.​

This book constitutes the revised selected papers of the 12th Italian Workshop on Advances in Artificial Life, Evolutionary Computation, WIVACE 2017, held in Venice, Italy, in September 2017.The 23 full papers presented were thoroughly reviewed and selected from 33 submissions. They cover the following topics: physical-chemical phenomena; biological systems; economy and society; complexity; optimization.

The two-volume set LNCS 10777 and 10778 constitutes revised selected papers from the 12th International Conference on Parallel Processing and Applied Mathematics, PPAM 2017, held in Lublin, Poland, in September 2017.The 49 regular papers presented in this volume were selected from 98 submissions. For the workshops and special sessions, that were held as integral parts of the PPAM 2017 conference, a total of 51 papers was accepted from 75 submissions. The papers were organized in topical sections named as follows:Part I: numerical algorithms and parallel scientific computing; particle methods in simulations; task-based paradigm of parallel computing; GPU computing; parallel non-numerical algorithms; performance evaluation of parallel algorithms and applications; environments and frameworks for parallel/distributed/cloud computing; applications of parallel computing; soft computing with applications; and special session on parallel matrix factorizations.Part II: workshop on models, algorithms and methodologies for hybrid parallelism in new HPC systems; workshop power and energy aspects of computations (PEAC 2017); workshop on scheduling for parallel computing (SPC 2017); workshop on language-based parallel programming models (WLPP 2017); workshop on PGAS programming; minisymposium on HPC applications in physical sciences; minisymposium on high performance computing interval methods; workshop on complex collective systems.

This book constitutes the thoroughly refereed workshop post-proceedings of the 16th International Workshop on Approximation and Online Algorithms, WAOA 2018, held in Helsinki, Finland, in August 2018 as part of ALGO 2018. The 19 revised full papers presented together with one invited paper in this book were carefully reviewed and selected from 44 submissions. Topics of interest for WAOA 2016 were: graph algorithms; inapproximability results; network design; packing and covering; paradigms for the design and analysis of approximation and online algorithms; parameterized complexity; scheduling problems; algorithmic game theory; algorithmic trading; coloring and partitioning; competitive analysis; computational advertising; computational finance; cuts and connectivity; geometric problems; mechanism design; resource augmentation; and real-world applications.

This book constitutes the refereed post-conference proceedings of the First International Conference on Number-Theoretic Methods in Cryptology, NuTMiC 2017, held in Warsaw, Poland, in September 2017.The 15 revised full papers presented in this book together with 3 invited talks were carefully reviewed and selected from 32 initial submissions. The papers are organized in topical sections on elliptic curves in cryptography; public-key cryptography; lattices in cryptography; number theory; pseudorandomness; and algebraic structures and analysis.

The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran Canaria, Spain, in February 2017. The 117 full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on: pioneers and landmarks in the development of information and communication technologies; systems theory, socio-economic systems and applications; theory and applications of metaheuristic algorithms; stochastic models and applications to natural, social and technical systems; model-based system design, verification and simulation; applications of signal processing technology; algebraic and combinatorial methods in signal and pattern analysis; computer vision, deep learning and applications; computer and systems based methods and electronics technologies in medicine; intelligent transportation systems and smart mobility.

This book constitutes revised selected papers from the 25th International Symposium on Graph Drawing and Network Visualization, GD 2017, held in Boston, MA, USA, in September 2017.The 34 full and 9 short papers presented in this volume were carefully reviewed and selected from 87 submissions. Also included in this book are 2 abstracts of keynote presentations, 16 poster abstracts, and 1 contest report. The papers are organized in topical sections named: straight-line representations; obstacles and visibility; topological graph theory; orthogonal representations and book embeddings; evaluations; tree drawings; graph layout designs; point-set embeddings; special representations; and beyond planarity.

This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017. The 18 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They deal with membrane computing (P systems theory), an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. The volume also contains 2 invited talks.