Search

This book constitutes revised selected papers from the refereed proceedings of the 7th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2022, which took place in Potsdam, Germany, on September 6, 2022.The 6 full papers included in this book were carefully reviewed and selected from 16 submissions. They were organized in topical sections as follows: Cloud-Based Urban Mobility Services; New Results in Priority-Based Bin Packing; More Sparking Soundex-based Privacy-Preserving Record Linkage and Privacy Preserving Queries of Shortest Path Distances.

This book constitutes revised selected papers from the 8th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2023, held in Amsterdam, The Netherlands, on September 5, 2023. The 13 full papers included in this book were carefully reviewed and selected from 24 submissions. They focus on algorithmic aspects of computing and data management in modern cloud-based systems interpreted broadly so as to include edge- and fog-based systems, cloudlets, cloud micro-services, virtualization environments, decentralized systems, as well as dynamic networks.

This book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were carefully reviewed and selected from 145 submissions, and 14 of them were selected for the volume. The papers present recent research in the areas of information hiding, data detection and recognition, system scheduling, time series prediction, and formal analysis.

This book constitutes the refereed post-conference proceedings of the 6th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2021, held in Lisbon, Portugal, in September 2021. Due to the COVID-19 pandemic the conference was held online. The 4 revised full papers and 1 short paper were carefully reviewed and selected from 11 submissions. The aim of the symposium is to present research activities and results on topics related to algorithmic, design, and development aspects of modern cloud-based systems.

This book constitutes the refereed post-conference proceedings on Learning and Intelligent Optimization, LION 14, held in Athens, Greece, in May 2020. The 37 full papers presented together with one invited paper have been carefully reviewed and selected from 75 submissions. LION deals with designing and engineering ways of'learning'about the performance of different techniques, and ways of using past experience about the algorithm behavior to improve performance in the future. Intelligent learning schemes for mining the knowledge obtained online or offline can improve the algorithm design process and simplify the applications of high-performance optimization methods. Combinations of different algorithms can further improve the robustness and performance of the individual components. Due to the COVID-19 pandemic, LION 14 was not held as a physical meeting.

This book constitutes the revised selected papers of the 14th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2019, held in Rende, Italy, in September 2019.The 13 full papers and 4 short paper presented were thoroughly reviewed and selected from 31 submissions. They are focused on the topics of information systems, design and analysis of algorithms, artificial intelligence, machine learning, cognitive science, modeling and simulation, collaborative and social computing, parallel computing, distributed computing.Chapters 14, 15, 16, and 17 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 4th China Conference on Knowledge Graph and Semantic Computing, CCKS 2019, held in Hangzhou, China, in August 2019. The 18 revised full papers presented were carefully reviewed and selected from 140 submissions. The papers cover wide research fields including the knowledge graph, the semantic Web, linked data, NLP, information extraction, knowledge representation and reasoning.

This book constitutes the refereed proceedings of the 29th National Conference on Computer Science Technology and Education, NCCSTE 2019, held in Kaifeng, China, in October 2019.The 12 full papers presented were thoroughly reviewed and selected from 50 submissions. The papers focus on the diverse environments of smart learning, including massive open online courses with AI assistants, intelligent tutoring systems, interactive learning courseware, learning games, collaborative programming communities, community tutorial systems, personalized exercise programs, tutoring robotics, etc. The papers are organized in the following topical sections: ​smart learning; information technologies.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2016, held in San Francisco, CA, USA, in July 2016. The 21 papers presented in this book were carefully reviewed and selected from 39 submissions. The papers address topics such as: Fundamentals; Quantum Cognition; Language and Applications; Contextuality and Foundations of Probability; and Quantum-Like Measurements.

This book constitutes thoroughly revised selected papers of the Second International Workshop on Conflict and Resolution in Decision Makrung, COREDEMA 2016, held in The Hague, The Netherlands, in August 2016. The 9 revised papers presented were carefully reviewed and selected from 13 submissions.The 2nd International Workshop on Conflict Resolution in Decision Making (COREDEMA 2016) focuses on theoretical and practical computational approaches for solving and understanding conflict resolution.

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 book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016. The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 submissions.They report on best practices and novel algorithms, results and techniques on networked systems and cover topics such as multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, cloud systems, networks, security, and formal verification.

This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2015. The workshops were co-located with AAMAS 2015, held in Istanbul, Turkey, in May 2015, and with IJCAI 2015, held in Buenos Aires, Argentina, in July 2015. The 23 full papers were carefully reviewed and selected from 46 initial submissions for inclusion in this volume. The papers cover a wide range of topics from work on formal aspects of normative and team based systems, to software engineering with organizational concepts, to applications of COIN based systems, and to philosophical issues surrounding socio-technical systems. They highlight not only the richness of existing work in the field, but also point out the challenges and exciting research that remains to be done in the area.

This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2016, held in Vienna, Austria, in July 2016. The six workshops whose papers are included in this volume are: DataMod, GCM, HOFM, MELO, SEMS, and VeryComp. The 33 full and 3 short papers presented were carefully reviewed and selected from 53 submissions. They focus on practical and foundational advances in software technology covering a wide range of aspects including formal foundations of software technology, testing and formal analysis, graph transformations and model transformations, model driven engineering, and tools.

This book constitutes revised selected papers from the 11th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2015, held in Patras, Greece, in September 2015.The 16 full papers presented in this volume were carefully reviewed and selected from 30 submissions. The deal with algorithms analysis and problem complexity; computer communication networks; computation by abstract devices; and mathematics of computing.

This book constitutes the thoroughly refereed post-conference proceedings of the First JARA High-Performance Computing Symposium, JARA-HPC 2016, held in Aachen, Germany, in October 2016.The 21 full papers presented were carefully reviewed and selected from 26 submissions. They cover many diverse topics, such as coupling methods and strategies in Computational Fluid Dynamics (CFD), performance portability and applications in HPC, as well as provenance tracking for large-scale simulations.

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.

This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011. The 18 revised and extended full papers presented together with 10 revised short papers were carefully reviewed and selected from 75 initial submissions. The papers cover a wide range of topics, such as software quality and testing, requirements engineering, programming, software processes and methods, software tools and environments, business process and services modeling, software components, software effort and processes, and socio-technical aspects of software development.

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015. The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015. The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Quantum Interaction, QI 2015, held in Filzbach, Switzerland, in July 2015. The 20 papers together with 2 invited keynotes presented in this book were carefully selected from 27 submissions. Quantum Interaction has developed into an emerging interdisciplinary area of science combining research topics in mathematics, physics, psychology, economics, cognitive science, and computer science.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International ICST Conference on Wireless Internet (WICON 2011) held in Xi'an, Shaanxi, China in October 2011. The 55 revised full papers were carefully selected from numerous submissions and focus on research in telecommunication and networking and development in information and communication technologies. The papers are presented in 10 technical sessions and cover topics as video streaming over OFDMA downlink systems, cognitive radio networks, distributed antenna systems, joint source channel coding, multiuser MIMO systems, signal detection, frequency synchronization in 3GPP LTE systems, visual cognitive radio, wireless relay networks, and network flow identifying methods.

This book constitutes the refereed proceedings of the Second International Conference, ICT Innovations 2010, held in Ohrid, Macedonia, in September 2010. The 33 revised papers presented together with 5 invited papers were carefully reviewed and selected. The papers address the following topics: internet applications and services, artificial intelligence, bioinformatics, internet, mobile and wireless technologies, multimedia information systems, computer networks, computer security, e-business, cryptography, high-performance-computing, social networks, e-government, as well as GPU computing.

This book constitutes the throughly refereed post-proceedings of the 6th International Workshop on Systems Analysis and Modeling, SAM 2010, held in collocation with MODELS 2010 in Oslo, Norway in October 2010. The 15 revised full papers presented went through two rounds of reviewing and improvement. The papers are organized in topical sections on modularity, composition, choreography, application of SDL and UML; SDL language profiles; code generation and model transformations; verification and analysis; and user requirements notification.

This book constitutes the thoroughly refereed post-conference proceedings of the International Conference on the Applications of Evolutionary Computation, EvoApplications 2014, held in Granada, Spain, in April 2014, colocated with the Evo• 2014 events EuroGP, EvoCOP, and EvoMUSART.The 79 revised full papers presented were carefully reviewed and selected from 128 submissions. EvoApplications 2014 consisted of the following 13 tracks: EvoCOMNET (nature-inspired techniques for telecommunication networks and other parallel and distributed systems), EvoCOMPLEX (evolutionary algorithms and complex systems), EvoENERGY (evolutionary computation in energy applications), EvoFIN (evolutionary and natural computation in finance and economics), EvoGAMES (bio-inspired algorithms in games), EvoIASP (evolutionary computation in image analysis, signal processing, and pattern recognition), EvoINDUSTRY (nature-inspired techniques in industrial settings), EvoNUM (bio-inspired algorithms for continuous parameter optimization), EvoPAR (parallel implementation of evolutionary algorithms), EvoRISK (computational intelligence for risk management, security and defence applications), EvoROBOT (evolutionary computation in robotics), EvoSTOC (evolutionary algorithms in stochastic and dynamic environments), and EvoBio (EC and related techniques in bioinformatics and computational biology).

th This book contains the best papers of the 5 International Conference on e-Business and Telecommunications (ICETE), which was held in July 2008, in Porto, Portugal. This conference reflects a continuing effort to increase the dissemination of recent research results among professionals who work in the areas of e-business and te- communications. ICETE is a joint international conference integrating four major areas of knowledge that are divided into four corresponding conferences: ICE-B (- ternational Conf. on e-Business), SECRYPT (International Conf. on Security and Cryptography), SIGMAP (Int'l Conf. on Signal Processing and Multimedia) and WINSYS (International Conf. on Wireless Information Systems). The program of this joint conference included several outstanding keynote lectures presented by internationally renowned distinguished researchers who are experts in the various ICETE areas. Their keynote speeches have contributed to heightening the overall quality of the program and significance of the theme of the conference. The conference topic areas define a broad spectrum in the key areas of e-business and telecommunications. This wide-view reporting made ICETE appealing to a global au- ence of engineers, scientists, business practitioners and policy experts. The papers - cepted and presented at the conference demonstrated a number of new and innovative solutions for e-business and telecommunication networks and systems, showing that the technical problems in these closely related fields are challenging and worthwhile - proaching an interdisciplinary perspective such as that promoted by ICETE.

This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

This book constitutes the thoroughly refereed post-conference proceedings of the First International ICST Conference on Wireless Communications and Applications, ICWCA 2011, held in Sanya, China, in August 2011. The 43 revised full papers presented were carefully reviewed and selected from around 90 submissions and cover a wide range of topics as mobile ad hoc networks, sensor networks, network architectural design, network protocol design, local area networks, MAC, routing, and transport protocols, quality of service provisioning, reliability and fault tolerance issues, resource allocation and management, signal processing, medical imaging, data aggregation techniques, security and privacy issues, wireless computing and applications for wireless network as smart grid, agriculture, health care, smart home, conditional monitoring, etc.

As information technologies (IT) become specialized and fragmented, it is easy to lose sight that many topics in IT have common threads and because of this, advances in one sub-discipline may transmit to another. The presentation of results between di?erent sub-disciplines of IT encourages this interchange for the advancement of IT as a whole. Of particular interest is the hybrid approach or combining ideas from one discipline with those of another to achieve a result that is more signi?cant than the sum of the individual parts. Through this hybrid philosophy, a new or common principle can be discovered which has the propensity to propagate throughout this multifaceted discipline. This volume comprises the selection of extended versions of papers that were presentedintheirshortenedformatthe2006InternationalConferenceonHybrid InformationTechnology(http://www.sersc.org/ICHIT2006/).Sixty-four papers out of the 235 that were published in ICHIT 2006 electronic proceedings were deemed suitable for inclusion in this volume, in a selection that was guided by technical quality and relevance to the balance of topics in hybrid information technology. The conference re?ected a change in the thinking of scientists and practitioners,whonowtendtojointheire?ortswithinmultidisciplinaryprojects. As a consequence, the readers may observe that many papers might conceivably be classi?ed into more than one chapter, given their interdisciplinary scope. The contributions in this monograph are clustered into six chapters: Data Analysis, Modeling, and Learning (11 papers); Imaging, Speech, and Complex Data (11 papers); Applications of Arti?cial Intelligence (11 papers); Hybrid, Smart, and UbiquitousSystems(11papers);HardwareandSoftwareEngineering(9papers); as well as Networking andTelecommunications (11 papers).

This Festschrift volume is published in honor of Professor Paul G. Spirakis on the occasion of his 60th birthday. It celebrates his significant contributions to computer science as an eminent, talented, and influential researcher and most visionary thought leader, with a great talent in inspiring and guiding young researchers. The book is a reflection of his main research activities in the fields of algorithms, probability, networks, and games, and contains a biographical sketch as well as essays and research contributions from close collaborators and former PhD students.

This book constitutes the refereed proceedings of the 20th Irish Conference on Artificial Intelligence and Cognitive Science, AICS 2009, held in Dublin, Ireland in August 2009. The 32 papers presented were carefully reviewed and selected for inclusion in the book. The topics covered are classification techniques, biologically-inspired computation, natural language processing, and applications of AI techniques for the social Web and financial markets.

The 18 revised full papers presented in this book together with an introductory survey were carefully reviewed and constitute the documentation of the Second International Workshop on Self-adaptive Software, IWSAS 2001, held in Balatonfüred, Hungary in May 2001. Self-adaptive software evaluates its own behavior and changes it when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well known dynamic features familiar to Lisp or Java programmes and aims at improving the robustness of software systems by gradually adding new features of self-adaption or autonomy.

Self-adaptive software evaluates its own behavior and changes its behavior when the evaluation indicates that the software does not accomplish what it is intended to do or when better functionality or better performance is possible. The self-adaptive approach in software engineering builds on well-known features like the use of errors and the handling of exceptions in languages like Lisp or Java and aims at improving the robustness of software systems by gradually adding new features of self-adaption and autonomity.This book originates from the First International Workshop on Self-Adaptive Software, IWSAS 2000, held in Oxford, UK in April 2000. The revised full papers presented in the volume together with an introductory survey by the volume editors assess the state of the art in this emerging new field and set the scene for future research and development work.

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have generated a boon or another bug. The reasons for this fear originated in the awareness that the design of interactive systems is a fast moving area. The type of research work presented at this unique event has received limited support from funding agencies and industries making it more difficult to keep up with the rapid technological changes occurring in interaction technology. However, despite our fear, the workshop was successful because of the high-quality level of participation and discussion. Before discussing such results, let us step back and look at the evolution of DSV-IS (Design, Specification and Verification of Interactive Systems), an international wo- shop that has been organised every year since 1994. The first books that addressed this issue in a complete and thorough manner were the collection of contributions edited by Harrison and Thimbleby and the book written by Alan Dix, which focused on abstractions useful to highlight important concepts in the design of interactive systems. Since then, this area has attracted the interest of a wider number of research groups, and some workshops on related topics started to be organised. DSV-IS had its origins in this spreading and growing interest. The first workshop was held in a monastery located in the hills above Bocca di Magra (Italy).

This book constitutes the proceedings of the Second International Libyan Conference on Information and Communication Technologies, ILCICT 2023, which took place in Tripoli, Libya, in September 4–6, 2023. The 26 full papers were carefully reviewed and selected from 55 submissions. The papers are organized in subject areas as follows: communication systems; computer and information systems; image processing, computer vision and internet of things.

This book constitutes the refereed proceedings of the 17th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2020, held in Sant Cugat, Spain, in September 2020.• The 24 papers presented in this volume were carefully reviewed and selected from 46 submissions. They discuss different facets of decision processes in a broad sense and present research in data science, data privacy, aggregation functions, human decision making, graphs and social networks, and recommendation and search. The papers are organized in the following topical sections: aggregation operators and decision making, and data science and data mining. • The conference was canceled due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020•.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. • The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the proceedings of the 24th Annual Conference on Research in Computational Molecular Biology, RECOMB 2020, held in Padua, Italy, in May 2020. The 13 regular and 24 short papers presented were carefully reviewed and selected from 206 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.

This book constitutes the refereed proceedings of the 20th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2020, held as part of Evo•2020, in Seville, Spain, in April 2020, co-located with the Evo•2020 events EuroGP, EvoMUSART and EvoApplications.The 14 full papers presented in this book were carefully reviewed and selected from 37 submissions. The papers cover a wide spectrum of topics, ranging from the foundations of evolutionary computation algorithms and other search heuristics, to their accurate design and application to combinatorial optimization problems.

This book constitutes the proceedings of the 32nd Australasian Joint Conference on Artificial Intelligence, AI 2019, held in Adelaide, SA, Australia, in December 2019. The 48 full papers presented in this volume were carefully reviewed and selected from 115 submissions. The paper were organized in topical sections named: game and multiagent systems; knowledge acquisition, representation, reasoning; machine learning and applications; natural language processing and text analytics; optimization and evolutionary computing; and image processing.

This book constitutes the thoroughly refereed proceedings of the First Iberoamerican Conference, KGSWC 2019, held in Villa Clara, Cuba, in June 2019. The 14 full papers and 1 short paper presented were carefully reviewed and selected from 33 submissions. The papers cover wide research fields including artificial intelligence; knowledge representation and reasoning; ontology engineering; natural language processing; description logics; information systems; query languages; world wide web; semantic web description languages; and information retrieval.

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods.This, the 33rd issue of the Transactions on Computational Science, focusses on computational geometry and computability, with applications in IoT (Internet of Things), Bioinformatics, and WBAN (Wireless Body Area Networks). Three of the seven papers constitute extended versions of papers presented at the 18th International Workshop on Computational Geometry and Security Applications, CGSA 2017, held in Trieste, Italy, in June 2017.

This book constitutes the thoroughly refereed proceedings of the 13th International Conference on Web and Internet Economics, WINE 2017, held in Bangalore, India, in December 2017. The 28 full and 6 short papers presented were carefully reviewed and selected from 89 submissions. The papers reflect the work of researchers in theoretical computer science, artificial intelligence, and microeconomics who have joined forces to tackle problems at the intersection of computation, game theory and economics.

This book constitutes the refereed proceedings of the 6th International Conference,on Theory and Practice of Natural Computing, TPNC 2017, held in Prague, Czech Republic, December 2017.The 22 full papers presented in this book, together with one invited talk, werecarefully reviewed and selected from 39 submissions. The papers are organized around the following topical sections: applications of natural computing; evolutionary computation; fuzzy logic; Molecular computation; neural networks; quantum computing.

This book constitutes the refereed proceedings of the 16th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2016, held in Granada, Spain, in December 2016. The 30 full papers and 22 short papers presented were carefully reviewed and selected from 117 submissions. They cover many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems trying to push beyond the limits of existing technologies, including experimental efforts, innovative systems, and investigations that identify weaknesses in existing parallel processing technology.

This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016, held in Heraklion, Crete, Greece, in June2016, as part of the 11th International Federated Conference onDistributed Computing Techniques, DisCoTec 2016.The 18 revised full papers presented were carefully reviewed andselected from 44 submissions. The papers present a wide range of topicson distributed computing models and formal specification, testing, andverification methods.