Bøger i Lecture Notes in Computer Science serien

This book constitutes the refereed proceedings of the 12th International Conference, BigData 2023, Held as Part of the Services Conference Federation, SCF 2023, Honolulu, HI, USA, during September 23¿26, 2023. The 14 full papers presented together with 2 short papers were carefully reviewed and selected from 27 submissions. The conference focuses on ¿research track and application track.

This book constitutes the proceedings of the 24th International Symposium on Fundamentals of Computation Theory, FCT 2023, held in Trier, Germany, in September 2023. The __ full papers included in this volume were carefully reviewed and selected from __ submissions. In addition, the book contains ____ invited talks. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

This book constitutes the proceedings of the 30th International Conference on Web Services, ICWS 2023, held as Part of the Services Conference Federation, SCF 2023, held in Honolulu, HI, USA, in September 2023. The 7 full papers and one short paper presented in this volume were carefully reviewed and selected from 14 submissions. The papers cover topics in the field of: research track; application and industry track and short paper track.The International Conference on Web Services (ICWS) has been a prime international forum for both researchers and industry practitioners to exchange the latest fundamental advances in the state of the art and practice of Web-based services, identify emerging research topics, and define the future of Web-based services. All topics regarding Internet/Web services lifecycle study and management align with the theme of ICWS.

This book constitutes the refereed proceedings of the 35th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2023, held in Bergamo, Italy, during September 18-20, 2023.The 13 full papers presented together with 6 short papers and one journal paper were carefully reviewed and selected from 56 submissions. The conference focuses on Test Case Generation; Test Automation and Design; Model Based Testing; and AI and Smart Contracts Testing.

This book constitutes the proceedings of the 28th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2023, held in Antwerp, Belgium, during September 20¿22, 2023.The 14 full papers included in this book were carefully reviewed and selected from 24 submissions. The papers focus on development and application of formal methods in industry. FMICS is a platform for scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. FMICS also strives to promote research and development for the improvement of formal methods and tools for industrial applications.

This book constitutes the proceedings of the 20th International Conference on Cooperative Design, Visualization, and Engineering, CDVE 2023, held in Palma de Mallorca, Spain, in October 2023. The 20 full papers and 6 short papers presented were carefully reviewed and selected from 62 submissions. The papers cover a wide application spectrum including architecture, engineering and construction (AEC), apace craft building, heavy industry, robotics, tourism, education, community building, medical supply industry, commerce.

This book constitutes the refereed proceedings of the 12th International Conference on Health Information Science, HIS 2023, held in Melbourne, VIC, Australia, during October 23¿24, 2023.The 20 full papers and 9 short papers included in this book were carefully reviewed and selected from 54 submissions. They were organized in topical sections as follows: Depression & Mental Health, Data Security, Privacy & Healthcare Systems, Neurological & Cognitive Disease Studies, COVID-19 Impact Studies, Advanced Medical Data & AI Techniques, Predictive Analysis & Disease Recognition, Medical Imaging & Dataset Exploration, Elderly Care and Knowledge Systems.

This book constitutes the refereed proceedings of the 18th International Conference on Information Security Practice and Experience, ISPEC 2023, held in Copenhagen, Denmark, in August 2023.The 27 full papers and 8 short papers included in this volume were carefully reviewed and selected from 80 submissions. The main goal of the conference is to promote research on new information security technologies, including their applications and their integration with IT systems in various vertical sectors.

This book presents a collection of 36 pieces of scientific work in the areas of complexity theory and foundations of cryptography: 20 research contributions, 13 survey articles, and 3 programmatic and reflective viewpoint statements. These so far formally unpublished pieces were written by Oded Goldreich, some in collaboration with other scientists. The articles included in this book essentially reflect the topical scope of the scientific career of Oded Goldreich now spanning three decades. In particular the topics dealt with include average-case complexity, complexity of approximation, derandomization, expander graphs, hashing functions, locally testable codes, machines that take advice, NP-completeness, one-way functions, probabilistically checkable proofs, proofs of knowledge, property testing, pseudorandomness, randomness extractors, sampling, trapdoor permutations, zero-knowledge, and non-iterative zero-knowledge.All in all, this potpourri of studies in complexity and cryptography constitutes a most valuable contribution to the field of theoretical computer science centered around the personal achievements and views of one of its outstanding representatives.

This book constitutes the proceedings of the 22nd International Conference on Computer Information Systems and Industrial Management, CISIM 2023, held in Tokio, Japan, during September 22-24, 2023.The 36 papers presented in this book were carefully reviewed and selected from 77 submissions. They were organized in topical sections as follows: biometrics and pattern recognition applications; computer information systems and security; industrial management and other applications; machine learning and artificial neural networks; modelling and optimization; wellbeing and affective engineering; and machine learning using biometric data and kansei data.

This book constitutes the proceedings of the 16th International Conference on Social, Cultural, and Behavioral Modeling, SBP-BRiMS 2023, which was held in Pittsburgh, PA, USA in September 2023.The 31 full papers presented in this volume were carefully reviewed and selected from 73 submissions. The papers were organized in topical sections as follows: Detecting malign influence; human behavior modeling; and social-cyber behavior modeling.

This book constitutes the proceedings of the 19th International Symposium on Applied Reconfigurable Computing, ARC 2023, which was held in Cottbus, Germany, in September 2023.The 18 full papers presented in this volume were reviewed and selected from numerous submissions. The proceedings also contain 4 short PhD papers. The contributions were organized in topical sections as follows: Design methods and tools; applications; architectures; special session: near and in-memory computing; and PhD forum papers.

This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023. The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data-driven and machine-learning systems, case studies, and tool papers. The book also contains the extended abstract of the invited talk from David Parker.

This book constitutes the proceedings of the Workshops held in conjunction with SAFECOMP 2023, held in Toulouse, France, during September 19, 2023.The 35 full papers included in this volume were carefully reviewed and selected from 49 submissions. - 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023)- 18th International Workshop on Dependable Smart Embedded and Cyber-Physical Systems and Systems-of-Systems (DECSoS 2023)- 10th International Workshop on Next Generation of System Assurance Approaches for Critical Systems (SASSUR 2023)- Second International Workshop on Security and Safety Interactions (SENSEI 2023)- First International Workshop on Safety/ Reliability/ Trustworthiness of Intelligent Transportation Systems (SRToITS 2023)- 6th International Workshop on Artificial Intelligence Safety Engineering (WAISE 2023)

This open access book constitutes the proceedings of the 8th International Joint Conference on Electronic Voting held in Luxemburg in October 2023. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and usability through to practical experiences and applications of voting systems, also including legal, social, or political aspects, amongst others. The 9 full papers presented were carefully reviewed and selected from 38 submissions. The selected papers cover a wide range of topics connected with electronic voting, including experiences and revisions of the actual uses of E-voting systems and corresponding processes in elections.

This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10¿12, 2023.The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.

This book constitutes the refereed proceedings of the 13th International Conference on Computational Logistics, ICCL 2023, held in Berlin, Germany, during September 6-8, 2023.The 32 full papers presented in this volume were carefully reviewed and selected from 71 submissions. They are grouped into the following topics: ¿computational logistics; maritime shipping; vehicle routing; traffic and transport; and combinatorial optimization.

This book constitutes the proceedings of the 16th International Symposium on Algorithmic Game Theory, SAGT 2023, which took place in Egham, UK, in September 2023. The 26 full papers included in this book were carefully reviewed and selected from 59 submissions. They were organized in topical sections as follows: ¿computational aspects and efficiency in games; computational social choice; fair division; matching and mechanism design.

This book constitutes the thoroughly refereed conference proceedings of the 10th International Conference on Web and Internet Economics, WINE 2014, held in Beijing, China, in December 2014. The 32 regular and 13 short papers were carefully reviewed and selected from 107 submissions and cover results on incentives and computation in theoretical computer science, artificial intelligence, and microeconomics.

This book constitutes the refereed post-conference proceedings of the 15th International Conference, Évolution Artificielle, EA 2022, held in Exeter, UK, during October 31¿November 2, 2022.The 15 full papers were carefully reviewed and selected from 18 submissions. The papers cover a wide range of topics in the field of artificial evolution, including, but not limited to: evolutionary computation, evolutionary optimization, coevolution, artificial life, population dynamics, theory, algorithmic and modeling, implementations.

This book constitutes the proceedings of the 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, held in Aveiro, Portugal, in September 2023.The 34 full papers included in this volume were carefully reviewed and selected from 126 submissions. Additionally, 24 posters and 16 demonstration papers were included in the proceedings. The papers focus on sustainable teaching and learning practices in the post-pandemic educational ecosystem.

T¿his book constitutes the proceedings of the 36th International Conference on Architecture of Computing Systems, ARCS 2023, which took place in Athens, Greece, in June 2023.The 18 full papers in this volume were carefully reviewed and selected from 35 submissions.ARCS provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including energy efficiency, applied machine learning, hardware and software system security, reliable and fault-tolerant systems and organic computing.Back to top

The four-volume set LNCS 14442 -14445 constitutes the proceedings of the 19th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2023, held in York, UK, in August/September 2023. The 71 full papers and 58 short papers included in this book were carefully reviewed and selected from 406 submissions. They were organized in topical sections as follows: 3D Interaction; Accessibility; Accessibility and Aging; Accessibility for Auditory/Hearing Disabilities; Co-Design; Cybersecurity and Trust; Data Physicalisation and Cross-device; Eye-Free, Gesture Interaction and Sign Language; Haptic interaction and Healthcare applications; Self-Monitoring; Human-Robot Interaction; Information Visualization; Information Visualization and 3D Interaction; Interacting with Children; Interaction with Conversational Agents; Methodologies for HCI; Model-Based UI Design and Testing; Montion Sickness, Stress and Risk perception in 3D Environments and Multisensory interaction; VR experiences; Natural Language Processing and AI Explainability; Online Collaboration and Cooperative work; Recommendation Systems and AI Explainability; Social AI; Social and Ubiquitous Computing; Social Media and Digital Learning; Understanding Users and Privacy Issues; User movement and 3D Environments; User Self-Report; User Studies; User Studies, Eye-Tracking, and Physiological Data; Virtual Reality; Virtual Reality and Training; Courses; Industrial Experiences; Interactive Demonstrations; Keynotes; Panels; Posters; and Workshops.