Search

This book constitutes revised selected papers from the 41st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2015, held in Garching, Germany, in June 2015. The 32 papers presented in this volume were carefully reviewed and selected from 79 submissions. They were organized in topical sections named: invited talks; computational complexity; design and analysis; computational geometry; structural graph theory; graph drawing; and fixed parameter tractability.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Symposium on Foundations and Practice of Security, FPS 2016, held in Québec City, QC, Canada, in October 2016. The 18 revised regular papers presented together with 5 short papers and 3 invited talks were carefully reviewed and selected from 34 submissions.The accepted papers cover diverse research themes, ranging from classic topics, such as malware, anomaly detection, and privacy, to emerging issues, such as security and privacy in mobile computing and cloud.

This book constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Computers and Games, CG 2016, held in Leiden, The Netherlands,in conjunction with the 19th Computer Olympiad and the 22nd World Computer-Chess Championship.The 20 papers presented were carefully reviewed and selected of 30 submitted papers. The 20 papers cover a wide range of computer games and many different research topics in four main classes which determined the order of publication: Monte Carlo Tree Search (MCTS) and its enhancements (seven papers), concrete games (seven papers), theoretical aspects and complexity (five papers) and cognition model (one paper). The paper Using Partial Tablebases in Breakthrough by Andrew Isaac and Richard Lorentz received the Best Paper Award.

This book constitutes revised selected papers from the 24th International Symposium on Graph Drawing and Network Visualization, GD 2016, held in Athens, Greece, in September 2016. The 45 papers presented in this volume were carefully reviewed and selected from 99 submissions. They were organized in topical sections named: large graphs and clutter avoidance; clustered graphs; planar graphs, layered and tree drawings; visibility representations; beyond planarity; crossing minimization and crossing numbers; topological graph theory; special graph embeddings; dynamic graphs, contest report.

This book constitutes the refereed proceedings of the 12th International Conference on Economics of Grids, Clouds, Systems, and Services, GECON 2015, held in Cluj-Napoca, Romania, in September 2015. The 11 revised full papers and 10 paper-in-progress presented were carefully reviewed and selected from 38 submissions. The presentation sessions that have been set up are: resource allocation, service selection in clouds, energy conservation and smart grids, applications: tools and protocols, community networks and legal and socio-economic aspects.

This book constitutes revised selected papers from the 7th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2016, held in Graz, Austria, in April 2016. The 12 papers presented in this volume were carefully reviewed and selected from 32 submissions. They were organized in topical sections named: security and physical attacks; side-channel analysis (case studies); fault analysis; and side-channel analysis (tools).

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 thoroughly refereed post-conference proceedings of the Second International Workshop on Adaptive Resource Management and Scheduling for Cloud Computing, ARMS-CC 2015, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2015, in Donostia-San Sebastián, Spain, in July 2015. The 12 revised full papers, including 1 invited paper, were carefully reviewed and selected from 24 submissions. The papers have identified several important aspects of the problem addressed by ARMS-CC: self-• and autonomous cloud systems, cloud quality management and service level agreement (SLA), scalable computing, mobile cloud computing, cloud computing techniques for big data, high performance cloud computing, resource management in big data platforms, scheduling algorithms for big data processing, cloud composition, federation, bridging, and bursting, cloud resource virtualization and composition, load-balancing and co-allocation, fault tolerance, reliability, and availability of cloud systems.

This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Security for Information Technology and Communications, SECITC 2015, held in Bucharest, Romania, in June 2015.The 17 revised full papers were carefully reviewed and selected from 36 submissions. In addition with 5 invited talks the papers cover topics such as Cryptographic Algorithms and Protocols, Security Technologies for IT&C, Information Security Management, Cyber Defense, and Digital Forensics.

This book constitutes the refereed proceedings of the 23rd International Colloquium on Structural Information and Communication Complexity, SIROCCO 2016, held in Helsinki, Finland in July 2016. The 25 full papers presented were carefully reviewed and selected from 50 submissions. The papers are organized around the following topics: message passing; shared memory; mobile agent; data dissemination and routing.

This book constitutes the thoroughly refereed post-workshop proceedings for the 26 International Workshop on combinatorial Algorithms, IWOCA 2015, held in Verona, Italy, in October 2015.The 29 revised full papers presented were carefully reviewed and selected from a total of 90 submissions. The topics of the papers include algorithms and data structures (including sequential, parallel, distributed, approximation, probabilistic, randomised, and on-line algorithms), algorithms on strings and graphs; applications (bioinformatics, music analysis, networking, and others); combinatorics on words; combinatorial enumeration; combinatorial optimization; complexity theory; computational biology; compression and information retrieval; cryptography and information security; decompositions and combinatorial designs; discrete and computational geometry; graph drawing and labeling; graph theory.

This book constitutes the thoroughly revised selected papers of the 6th workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware, BPOE 2015, held in Kohala Coast, HI, USA, in August/September 2015 as satellite event of VLDB 2015, the 41st International Conference on Very Large Data Bases. The 8 papers presented were carefully reviewed and selected from 10 submissions. The workshop focuses on architecture and system support for big data systems, aiming at bringing researchers and practitioners from data management, architecture, and systems research communities together to discuss the research issues at the intersection of these areas. This book also invites three papers from several industrial partners, including two papers describing tools used in system benchmarking and monitoring and one paper discussing principles and methodologies in existing big data benchmarks.

This book constitutes the refereed post-conference proceedings of the 4th International Workshop on Lightweight Cryptography for Security and Privacy, LightSec 2015, held in Bochum, Germany, in September 2015. The 9 full papers presented were carefully reviewed and selected from 17 submissions. The papers are organized in the following topical sections: cryptanalysis, lightweight constructions, implementation challenges.

This book constitutes the thoroughly refereed post-conference proceedings of the First IFIP WG 1.8 International Conference on Topics in Theoretical Computer Science, held in Tehran, Iran, in August 2015. The 10 full papers presented together with 3 invited talks were carefully reviewed and selected from 48 submissions. The papers feature novel and high-quality research in all areas of theoretical computer science.

This book constitutes the thoroughly refereed post-conference proceedings of the First International Workshop on Future and Emergent Trends in Language Technology, FETLT 2015, held in Seville, Spain, in November 2015. The 10 full papers presented together with 3 position papers and 7 invited keynote abstracts were selected from numerous submissions. The structure of the Workshop will feature a significant number of experts in language technologies and convergent areas. One objective will be the organization of forum sessions in order to review some of the current-trend research projects that are already addressing new methodological approaches and proposing solutions and innovative applications. A second major objective will be brainstorming sessions where representatives of the most innovative industrial sector in this area can present and describe the challenges and socio-economic needs of the present and immediate future. All researchers are invited to submit proposals that incorporate solid research and innovation ideas in the field of language technology and in connection with other convergent areas.

This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Learning and Optimization, LION 10, which was held on Ischia, Italy, in May/June 2016. The 14 full papers presented together with 9 short papers and 2 GENOPT papers were carefully reviewed and selected from 47 submissions. The papers address all fields between machine learning, artificial intelligence, mathematical programming and algorithms for hard optimization problems. Special focus is given to new ideas and methods; challenges and opportunities in various application areas; general trends, and specific developments.

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 book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Information Security and Cryptology, Inscrypt 2015, held in Beijing, China in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on hash function; signature schemes; symmetric ciphers; elliptic curve and cryptographic fundamentals; Web and applications security; cloud security; key management and public key encryption; zero knowledge and secure computations; software and mobile security.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, held in Berlin, Germany, in November 2015. The 48 revised papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are grouped in topical sections on curves and surfaces, applied algebraic geometry, cryptography, verified numerical computation, polynomial system solving, managing massive data, computational theory of differential and difference equations, data and knowledge exploration, algorithm engineering in geometric computing, real complexity: theory and practice, global optimization, and general session.

This book constitutes revised selected papers from the 14th International Workshop on Digital-Forensics and Watermarking, IWDW 2015, held in Tokyo, Japan, in October 2015. The 35 papers presented in this volume were carefully reviewed and selected from 54 submissions. The contributions are organized in topical sections named: digital forensics; steganography and steganalysis; digital watermarking; reversible data hiding; and visual cryptography.

This book constitutes revised selected papers from the thoroughly refereed proceedings of the Second International Human Centered Computing Conference, HCC 2016, that consolidated and further develops the successful ICPCA/SWS conferences on Pervasive Computing and the Networked World, and which was held in Colombo, Sri Lanka, in January 2016. The 58 full papers and 30 short papers presented in this volume together with one keynote talk were carefully reviewed and selected from 211 submissions. These proceedings present research papers investigating into a variety of aspects towards human centric intelligent societies. They cover the categories: infrastructure and devices; service and solution; data and knowledge; and community.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th Japanese Conference on Discrete and Computational Geometry and Graphs, JDCDGG 2015, held in Kyoto, Japan, in September 2015. The total of 25 papers included in this volume was carefully reviewed and selected from 64 submissions. The papers feature advances made in the field of computational geometry and focus on emerging technologies, new methodology and applications, graph theory and dynamics. This proceedings are dedicated to Naoki Katoh on the occasion of his retirement from Kyoto University.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Trusted Systems, INTRUST 2015, held in Beijing, China, in December 2015. The revised 12 full papers presented have been carefully reviewed and selected from 29 submissions. They are devoted to all aspects of trusted computing systems, including trusted modules, platforms; networks, services and applications. The papers are organized in the following sections: encryptions and signatures; security model; trusted technologies; software and system security.

This book constitutes the thoroughly refereed post-conference proceedings of the Third Annual Privacy Forum, APF 2015, held in Luxembourg, Luxembourg, in October 2015. The 11 revised full papers presented in this volume were carefully reviewed and selected from 24 submissions. The topics focus on privacy by design (PbD), i.e. the attempt to combine technical and organizational measures to ensure the basic rights of the individual. The papers are organized in three sessions: measuring privacy; rules and principles; legal and economic perspectives on privacy.

This book contains revised selected papers from the 22nd International Conference on Selected Areas in Cryptography, SAC 2015, held in Sackville, NB, Canada in August 2015. The 26 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 91 submissions. They are organized in topical sections named: privacy enhancing technologies; cryptanalysis of symmetric-key primitives; implementation of cryptographic schemes; short papers; privacy preserving data processing; side channel attacks and defenses; new cryptographic constructions; authenticated encryption; on the hardness of mathematical problems; and cryptanalysis of authenticated encryption schemes.

This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Information Security and Cryptology, ICISC 2015, held in Seoul, South Korea, in November 2015. The 23 revised full papers presented were carefully selected from 84 submissions during two rounds of reviewing and improvement. The papers provide the latest results in research, development and applications in the field of information security and cryptology. They are grouped around the following topics: digital signatures; public-key cryptography; block cipher cryptanalysis; elliptic curve cryptography; protocols; security; side-channel attacks.

This book constitutes the thoroughly refereed post-conference proceedings of the 17th International Conference on Information and Communications Security, ICISC 2015, held in Beijing, China, in December 2015.The 24 revised full papers and 19 short papers presented were carefully selected from 148 submissions. The papers provide the latest results in research and development in the field of information security and applied cryptology.

This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2015, held in Raleigh, NC, USA, in September 2015.The 19 revised full papers were carefully reviewed and selected from 44 submissions. The papers are organized in topical sections on programming models, optimizing framework, parallelizing compiler, communication and locality, parallel applications and data structures, and correctness and reliability.

This volume contains the post-conference proceedings of the 10th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2015, held in Telč, Czech Republic, in October 2015.The 10 thoroughly revised full papers were carefully selected out of 25 submissions and are presented together with 3 invited papers. The topics covered include: security and safety, bioinformatics, recommender systems, high-performance and cloud computing, and non-traditional computational models (quantum computing, etc.).

This two volume set LNCS 10039 and 10040 constitutes the refereed post-conference proceedings of the Second International Conference on Cloud Computing and Security, ICCCS 2016, held in Nanjing, China, during July 29-31, 2016. The 97 papers of these volumes were carefully reviewed and selected from 272 submissions. The papers are organized in topical sections such as: Information Hiding, Cloud Computing, Cloud Security, IOT Applications, Multimedia Applications, Multimedia Security and Forensics.

This two volume set LNCS 10039 and LNCS 10040 constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Cloud Computing and Security, ICCCS 2016, held in Nanjing, China, during July 29-31, 2016.The 97 papers of these volumes were carefully reviewed and selected from 272 submissions. The papers are organized in topical sections such as: Information Hiding, Cloud Computing, Cloud Security, IOT Applications, Multimedia Applications, Multimedia Security and Forensics.

This book constitutes revised selected papers from the First International Workshop on Machine Learning, Optimization, and Big Data, MOD 2015, held in Taormina, Sicily, Italy, in July 2015.The 32 papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with the algorithms, methods and theories relevant in data science, optimization and machine learning.

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 revised selected papers from the 13 European Conference on Multi-Agent Systems, EUMAS 2015, and the Third International Conference on Agreement Technologies, AT 2015, held in Athens, Greece, in December 2015.The 36 papers presented in this volume were carefully reviewed and selected from 65 submissions. They are organized in topical sections named: coordination and planning; learning and optimization, argumentation and negotiation; norms, trust, and reputation; agent-based simulation and agent programming.

The book is a comprehensive collection of extended contributions from the Workshops on Computational Optimization 2022. Our everyday life is unthinkable without optimization. We try to minimize our effort and to maximize the achieved profit. Many real world and industrial problems arising in engineering, economics, medicine, and other domains can be formulated as optimization tasks. This book presents recent advances in computational optimization. The book includes important real problems like modeling of physical processes, parameter settings for controlling different processes, agricultural modeling transportation problems, energy management, machine scheduling, air pollution modeling, optimization of fast-food restaurant chain, and solving engineering and financial problems. It shows how to develop algorithms for them based on new intelligent methods like evolutionary computations, ant colony optimization, constrain programming Monte Carlo method, and others. This book demonstrates how some real-world problems arising in engineering, economics, and other domains can be formulated as optimization problems.

This book constitutes the refereed proceedings of the 6th International Conference on Geo-informatics in Sustainable Ecosystem and Society, GSES 2018, held in Handan, China, in September 2018. The 46 papers presented in this volume were carefully reviewed and selected from 153 submissions and focus on spatial data acquisition, processing and management, modeling and analysis, and recent applications in the context of building healthier ecology and resource management using advanced remote sensing technology and spatial data modeling and analysis.

This book collects the revised selected proceedings of the First International Symposium in Molecular Logic and Computational Synthetic Biology ( MLCSB), held in Chile, Santiago, in December 2018. The volume contains 7 full revised papers along with 2 surveys from 19 submissions presented at the symposium. One of the goals of the MLCSB 2018 was to explore the potential of molecular logic frameworks to study the emerging behavioural patterns in biological networks, combining discrete, continuous and stochastic features, and resorting both to specific or general-purpose analysis and verification techniques.

This book constitutes the refereed post-conference proceedings of the 6th International Conference on Variable Neighborhood Search, ICVNS 2018, held in Sithonia, Greece, in October 2018. ICVNS 2018 received 49 submissions of which 23 full papers were carefully reviewed and selected. VNS is a metaheuristic based on systematic changes in the neighborhood structure within a search for solving optimization problems and related tasks. The main goal of ICVNS 2018 was to provide a stimulating environment in which researchers coming from various scientific fields could share and discuss their knowledge, expertise, and ideas related to the VNS metaheuristic and its applications.

This book constitutes the refereed post-conference proceedings of the 4th International Symposium on Algorithmic Aspects of Cloud Computing, ALGOCLOUD 2018, held in Helsinki, Finland, in August 2018. The 11 revised full papers were carefully reviewed and selected from 29 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 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 thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2019, held in Lanzhou, China, in August 2019. The 11 full papers presented were carefully reviewed and selected from 28 submissions. They present relevant trends of current research in the area of algorithms and complexity, data science and machine learning theory, and computational model.

This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one short position papers presented in this book were carefully reviewed and selected from 17 submissions. The topics of the workshop included extensions to the OpenSHMEM API, implementation of the API for current and emerging architectures, tools to debug and profile OpenSHMEM programs, experience porting applications to the OpenSHMEM programming model, and changes to the OpenSHMEM specification to address the needs of programming exascale systems.

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Finite Difference Methods, FDM 2014, held in Lozenetz, Bulgaria, in June 2014.The 36 revised full papers were carefully reviewed and selected from 62 submissions. These papers together with 12 invited papers cover topics such as finite difference and combined finite difference methods as well as finite element methods and their various applications in physics, chemistry, biology and finance.

This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014. The 10 regular papers included in this volume were carefully reviewed and selected from a total of 25 submissions. It also contains one invited talk in full paper length.

This volume contains the thoroughly refereed post-conference proceedings of the Second International Conference on Exascale Applications and Software, EASC 2014, held in Stockholm, Sweden, in April 2014. The 6 full papers presented together with 6 short papers were carefully reviewed and selected from 17 submissions. They are organized in two topical sections named: toward exascale scientific applications and development environment for exascale applications.

This book constitutes revised selected papers from the refereed proceedings of the First Human Centered Computing Conference, HCC 2014, that consolidated and further develops the successful ICPCA/SWS conferences on Pervasive Computing and the Networked World. The 54 full papers and 30 short papers presented in this volume were carefully reviewed and selected from 152 submissions. These proceedings present research papers investigating into a variety of aspects towards human centric intelligent societies. They cover the categories: infrastructure and devices; service and solution; data and knowledge; and community.

This book constitutes the refereed proceedings of the workshops held at the 17th Asia-Pacific Web Conference, APWeb 2015, in Guangzhou, China, in September 2015. The 15 full papers were carefully reviewed and selected from various submissions. The volume presents the papers that have been accepted for the following workshops: Big Data Applications in Telecoms, BDAT 2015, Big Social Data, BSD 2015, and Web Data Mining and Applications, WDMA 2015. The papers cover various issues in the area of the World Wide Web with the underlying technologies and applications.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Advances in Computer Games, ACG 2015, held in Leiden, The Netherlands, in July 2015.The 22 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers cover a wide range of topics such as Monte-Carlo Tree Search and its enhancements; theoretical aspects and complexity; analysis of game characteristics; search algorithms; and machine learning.

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Information and Communications Security, ICISC 2014, held in Hong Kong, China, in December 2014. The 22 revised full papers including two invited talks presented were carefully selected from 90 submissions. The papers provide the latest results in research, development and applications in the field of information security and cryptology.

This book constitutes the refereed post-conference proceedings of the First International Conference on Intelligent Cloud Computing, held in Muscat, Oman, in February 2014. The 10 revised full papers presented were carefully reviewed and selected from 18 submissions. The papers cover topics in the areas of resource management and energy efficiency and security. They include 5 invited talks from leading organizations working in cloud computing in Oman and in the region.