Computer science

This book takes a formal approach to teaching software engineering, using not only UML, but also Object Constraint Language (OCL) for specification and analysis of designed models.

This book constitutes the refereed post-conference proceedings of the Special Event on the Analysis of Experimental Algorithms, SEA2 2019, held in Kalamata, Greece, in June 2019.

The production control of flexible manufacturing systems is a relevant component that must go along with the requirements of being flexible in terms of new product variants, new machine skills and reaction to unforeseen events during runtime.

Your company has committed to AI.

This book constitutes the refereed proceedings of the 20th IFIP WG 5.

Since computer scientists make decisions every day that have societal context and influence, an understanding of society and computing together should be integrated into computer science education.

The International conference series on Computer Science, Engineering & Applications (ICCSEA) aims to bring together researchers and practitioners from academia and industry to focus on understanding computer science, engineering and applications and to establish new collaborations in these areas.

The nine-volume set constitutes the refereed proceedings of the 30th International Conference on Neural Information Processing, ICONIP 2023, held in Changsha, China, in November 2023.

This book gathers high-quality research papers presented at the Second International Conference on Innovative Computing and Communication (ICICC 2019), which was held at the VSB - Technical University of Ostrava, Czech Republic, on 21-22 March 2019.

Data science is expanding across industries at a rapid pace, and the companies first to adopt best practices will gain a significant advantage.

It is with great pleasure that I present this fourth vol- ume in the series "e;Advanced Applications in Pattern Recognition.

This book constitutes the refereed proceedings of the 13th International Symposium on Practical Aspects of Declarative Languages, PADL 2011, held in Austin, TX, USA, in January 2011, co-located with POPL 2011, the Symposium on Principles of Programming Languages.

This book constitutes the post-conference proceedings of the First MICCAI Workshop on Medical Applications with Disentanglements, MAD 2022, held in conjunction with MICCAI 2022, in Singapore, on September22, 2022.

This book constitutes selected papers presented at the First International Conference on ICT for Health, Accessibility and Wellbeing, IHAW 2021, held in Larnaca, Cyprus, in November 2021.

This book discusses the application of data systems and data-driven infrastructure in existing industrial systems in order to optimize workflow, utilize hidden potential, and make existing systems free from vulnerabilities.

This volume offers a gradual exposition to matrix theory as a subject of linear algebra.

This book provides practical advice for everyone on how to effectively secure yourself, your devices, and your privacy in an era where all of those things seem doomed.

This succinct book focuses on computer aided design (CAD), 3-D modeling, and engineering analysis and the ways they can be applied effectively in research and industrial sectors including aerospace, defense, automotive, and consumer products.

This eleven-volume set LNCS 14815 - 14825 constitutes the refereed workshop proceedings of the 24th International Conference on Computational Science and Its Applications, ICCSA 2024, held at Hanoi, Vietnam, during July 1-4, 2024.

This volume LNCS 14282 constitutes the refereed proceedings of the 20th European Conference EUMAS 2023, held in Naples, Italy, during September 2023.

This volume features original contributions and invited review articles on mathematical statistics, statistical simulation and experimental design.

This two-volume set constitutes the refereed proceedings of the 16th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2024, held in Ras Al Khaimah, UAE, during April 15-18, 2024.

This book highlights the potential of silk in a vast array of applications, mainly in the field of medicine, electronics, and cosmetics.

This volume is a collection of the contributions presented at the 42nd Erice Crystallographic Course whose main objective was to train the younger generation on advanced methods and techniques for examining structural and dynamic aspects of biological macromolecules.

Transactions on HiPEAC aims at the timely dissemination of research contributions in computer architecture and compilation methods for high-performance embedded computer systems.

Organization of data warehouses are vital but often ignored aspects of growing enterprises.

This volume presents the proceedings of the 6th International ICST Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness and of the Third International ICST Workshop on Advanced Architectures and Algorithms for Internet DElivery and Applications.

Optimize, develop, and design PyTorch and TensorFlow models for a specific problem using the Microsoft Neural Network Intelligence (NNI) toolkit.

Programmable logic controllers (PLCs) have been used extensively and are offered in terms of functions, program memories, and the number of inputs/outputs (I/Os), ranging from a few to thousands.

This book gathers papers addressing state-of-the-art research in all areas of information and communication technologies and their applications in intelligent computing, cloud storage, data mining and software analysis.

The three-volume set CCIS 850, CCIS 851, and CCIS 852 contains the extended abstracts of the posters presented during the 20th International Conference on Human-Computer Interaction, HCI 2018, which took place in Las Vegas, Nevada, in July 2018.

Leading tech companies such as Netflix, Amazon and Uber use data science and machine learning at scale in their core business processes, whereas most traditional companies struggle to expand their machine learning projects beyond a small pilot scope.

Service orientation is emerging nowadays at multiple organizational levels in enterprise business, and it leverages technology in response to the growing need for greater business integration, flexibility and agility of manufacturing enterprises.

Many small and medium scale businesses cannot afford to procure expensive cybersecurity tools.

Reconfigurable computing techniques and adaptive systems are some of the most promising architectures for microprocessors.

This edited book is a collection of quality research articles reporting research advances in the area of deep learning, IoT and urban computing.

Survival analysis generally deals with analysis of data arising from clinical trials.

Erstmals mit der neuen Auflage erscheint das vorliegende Werk in geteilter Form.

The book includes original unpublished contributions presented in First International Conference on Recent Advances in Artificial Intelligence and Smart Applications (RAAISA 2023), organized by Department of CSE, University of Engineering and Management, Kolkata, India during 14 - 15 December 2023.

This book forms an excellent basis for the development of intelligent manufacturing system for Industry 4.

This two-volume set of LNAI 12274 and LNAI 12275 constitutes the refereed proceedings of the 13th International Conference on Knowledge Science, Engineering and Management, KSEM 2020, held in Hangzhou, China, in August 2020.

Computer Graphics: Theory and Practice provides a complete and integrated introduction to this area.

Finite model theory has its origin in classical model theory, but owes its systematic development to research from complexity theory.

This book examines policy responses to food waste and loss, an issue of significant, global concern, with one-third of food produced for human consumption lost or wasted.

This book is based on the "e;Summer Simulation Multi-Conference"e; (SCSC), which has been a prominent platform for the dissemination of scholarly research in the M&S community for the last 50 years.

This book aims to guide using 3D modeling techniques, texturing, and assigning material by using healthcare as the core application for demonstration.