Bøger i Lecture Notes in Computer Scie serien

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21¿24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

This book constitutes the proceedings of the International Conference on Web-Based Learning, ICWL 2023, in Sydney, NSW, Australia, in November 2023.The 9 full papers together with 7 short papers included in this volume were carefully reviewed and selected from 23 submissions. The conference focuses on subjects such as Semantic Web for E-Learning, through Learning Analytics, Computer-Supported Collaborative Learning, Assessment, Pedagogical Issues, E-learning Platforms, and Tools, to Mobile Learning.

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 26¿29, 2023.The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation.

This book constitutes the refereed proceedings of the 22nd IFIP TC 14 International Conference on Entertainment Computing, ICEC 2023, which was held in Bologna, Italy, during November 15¿17, 2023.The 13 full papers, 5 short papers, 8 work-in-progress papers, 7 interactive entertainment demonstrations, 2 student competition papers, 5 workshop papers and tutorials, and 10 papers from a special section on aesthetics and empowerment were carefully reviewed and selected from 85 submissions. They cover a large range of topics in the following thematic areas: Game Experience; Player Engagement and Analysis; Serious Gameplay; Entertainment Methods and Tools; Extended Reality; Game Design; Interactive Entertainment; Student Game Competition; Workshops and Tutorials; and Aesthetics and Empowerment. .

This book constitutes the revised selected papers from the 24th International Conference on Information Security Applications, WISA 2023, held in Jeju Island, South Korea, during August 23¿25, 2023.The 25 papers included in this book were carefully reviewed and selected from 76 submissions. They were organized in topical sections as follows: Cryptography; network and application security; privacy and management; attacks and defenses; post-quantum cryptography and quantum cryptanalysis.

This book constitutes the refereed proceedings of the 15th International Symposium on Advanced Parallel Processing Technologies, APPT 2023, held in Nanchang, China, during August 4¿6, 2023.The 23 full papers and 1 short papers included in this book were carefully reviewed and selected from 49 submissions. They were organized in topical sections as follows: High Performance Computing and Parallelized Computing, Storage Systems and File Management, Networking and Cloud Computing, Computer Architecture and Hardware Acceleration, Machine Learning and Data Analysis, Distinguished Work from Student Competition.

Ladd Hamilton's vivid storytelling brings to life the infamous murder of Lewiston merchant Lloyd Magruder in the Bitterroot Mountains during the 1860s Idaho-Montana gold rush.

This book constitutes the refereed proceedings of the 22nd International Conference on Cryptology and Network Security, CANS 2023, which was held in October/November 2023 in Augusta, GA, USA.The 25 papers presented were thoroughly revised and selected from the 54 submissions. They are organized in the following topical sections: Schemes I; Basic Primitives; Security; MPC with Cards; Blockchain; MPC and Secret Sharing; Schemes II.

This volume LNCS 14252 constitutes the refereed proceedings of 25th International Conference on Information and Communications Security, ICICS 2023, held in Tianjin, China, during November 18¿20, 2023. The 38 full papers presented together with 6 short papers were carefully reviewed and selected from 181 submissions. The conference focuses on: Symmetric-Key Cryptography; Public-Key Cryptography; Applied Cryptography; Authentication and Authorization; Privacy and Anonymity; Security and Privacy of AI; Blockchain and Cryptocurrencies; and System and Network Security.

This book constitutes the refereed proceedings of the 8th International Conference on Advances in Visual Informatics, IVIC 2023, held in Selangor, Malaysia in November 2023.The 51 full papers presented were carefully reviewed and selected from 101 submissions. The conference focused on 6 tracks: Modeling and Simulation, Mixed Reality and HCI, Systems Integration and IoT, Cybersecurity, Energy Informatics and Intelligent Data Analytics.

This book constitutes the proceedings of the 24th International Conference on Web Information Systems Engineering, WISE 2023, held in Melbourne, Victoria, Australia, in October 2023.The 33 full and 40 short papers were carefully reviewed and selected from 137 submissions. They were organized in topical sections as follows: text and sentiment analysis; question answering and information retrieval; social media and news analysis; security and privacy; web technologies; graph embeddings and link predictions; predictive analysis and machine learning; recommendation systems; natural language processing (NLP) and databases; data analysis and optimization; anomaly and threat detection; streaming data; miscellaneous; explainability and scalability in AI.

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 constitutes the proceedings of the 20th International Conference on Web Information Systems and Applications, WISA 2023, held in Chengdu, China, in September 2023.The 43 full papers and 9 short papers presented in this book were carefully reviewed and selected from 213 submissions. The papers are grouped in topical sections on Data Mining and Knowledge Discovery, Recommender Systems, Natural Language Processing, Security, Privacy and Trust, Blockchain, Parallel and Distributed Systems and Database for Artificial Intelligence..

This book constitutes the proceedings of the 9th International Symposium on Security and Privacy in Social Networks and Big Data, SocialSec 2023, which took place in Canterbury, UK, in August 2023.The 10 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: information abuse and political discourse; attacks; social structure and community; and security and privacy matters.Papers "Data Reconstruction Attack Against Principal Component Analysis" and "Edge local Differential Privacy for Dynamic Graphs" are published Open Access under the CC BY 4.0 License.

This book constitutes the proceedings of the International Conference on Big Data Intelligence and Computing, DataCom 2022, which took place in Denarau Island, Fiji, in December 2022. The 30 full papers included in this volume were carefully reviewed and selected from 88 submissions. The papers detail big data analytics solutions, distributed computation paradigms, on-demand services, autonomic systems, and pervasive applications.

The present book collects a broad overview of chemical and physical char- acteristics of silicon oxynitrides. Special emphasis is put on the way in which these properties influence the electrical characteristics and behaviour of this important material. The results presented here were obtained in an ex- tended European research cooperation in the framework of ESPRIT Project 369 'Physical-chemical characterization of silicon oxynitrides in relation to their electrical properties', which ran from 1984 to 1988. In this project two industrial laboratories (Philips Research Laborato- ries in Eindhoven, the Netherlands, and Matra Harris Semiconductors from Nantes, France) cooperated with various academic and government research laboratories (Harwell Laboratory in Great Britain, the Interuniversity Micro- electronics Center (IMEC) in Leuven, Belgium, and the Faculty of Physics at the University of Utrecht in the Netherlands). The latter partner acted as prime contractor for the project. General interest in silicon oxynitrides for applications in integrated circuit technology stems from the fact that proper choice of deposition conditions enables one to produce materials with properties which can be either oxide- like or nitride-like. Of, course, in I.C. technology one would like to combine the good properties ofthe two materials, i.e. superior electrical properties of silicon oxide and good diffusion barrier behaviour of silicon nitride, to men- tion only a few, without paying for such an operation by obtaining all the less desirable properties in such a mixed material.

Medicine is changing at a speed never witnessed before in history. With each passing year, medical technology achieves the capacity to provide cures and improve treatments that even a short time before were difficult to con­ ceptualize and impossible to provide. Reproductive technology personifies this concept perhaps better than any other field of medicine. The 1990s have seen an explosion in endoscopic and ambulatory procedures, the application of molecular biology to clinical conditions, and the refinement of assisted reproduction to allow third parties (donors and surrogates) into the process of family building. More than ever before, comprehensive medical care requires a team approach. However, the team comprises not only medical and scientific personnel, but also mental health professionals, lawyers, and ethicists. This integrated and multidisciplinary approach to medical care will become even more necessary as medical capabilities continue to develop faster than society can respond. This book reflects such an approach. It is based on a Harvard Postgraduate Course in June 1990 entitled Infertility in the 1990s: Technological Advances and Their Psychosocial Implications that was sponsored by the Faulkner Centre for Reproductive Medicine. The first half of the course was directed by Drs. M. Seibel, A. Kiessling, and C. Richards. The second half of the course was directed by Dr. M. Seibel, J. Bernstein, R. N. and S. Levin, LICSW.