Theoretical Aspects of Software Engineering: 16th International Symposium, TA…

This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the late…

Supercomputing Frontiers: 7th Asian Conference, SCFA 2022, Singapore, March 1…

This open access book constitutes the refereed proceedings of the 7th Asian Conference Supercomputing Conference, SCFA 2022, which took place in Singapore in March 2022. The 8 full papers presented in this book were carefully reviewed and selected from 21 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workfl…

Deployment and Operation of Complex Software in Heterogeneous Execution Envir…

This open access book provides an overview of the work developed within the SODALITE project, which aims at facilitating the deployment and operation of distributed software on top of heterogeneous infrastructures, including cloud, HPC and edge resources. The experts participating in the project describe how SODALITE works and how it can be exploited by end users. While multiple languages and t…

Spatial Modeling in Forest Resources Management

This book demonstrates the measurement, monitoring, mapping, and modeling of forest resources. It explores state-of-the-art techniques based on open-source software & R statistical programming and modeling specifically, with a focus on the recent trends in data mining/machine learning techniques and robust modeling in forest resources. Discusses major topics such as forest health assessment, e…

Participative Urban Health and Healthy Aging in the Age of AI: 19th Internati…

This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2022, held in Paris, France, in June 2022. The 15 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 33 submissions. They cover topics such as design, development, deployment, and evaluation of AI f…

Agile Processes in Software Engineering and Extreme Programming: 23rd Interna…

This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present a…

Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations

This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality softwa…

Computer Aided Verification: 34th International Conference, CAV 2022, Haifa, …

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following …

Fundamental Approaches to Software Engineering: 25th International Conference…

This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 subm…

Sustainability and Automation in Smart Constructions

This book gathers outstanding papers presented at the Conference on Automation Innovation in Construction (CIAC-2019). In recent years, there have been significant transformations in the construction sector regarding production and the use of computers and automation to create smart and autonomous systems. At the same time, innovative construction materials and alternative technologies are cruc…

Adaptive Analysis of Damage and Fracture in Rock with Multiphysical Fields Co…

This book mainly focuses on the adaptive analysis of damage and fracture in rock, taking into account multiphysical fields coupling (thermal, hydro, mechanical, and chemical fields). This type of coupling is a crucial aspect in practical engineering for e.g. coal mining, oil and gas exploration, and civil engineering. However, understanding the influencing mechanisms and preventing the disaster…

Probability in Electrical Engineering and Computer Science: An Application-Dr…

This revised textbook motivates and illustrates the techniques of applied probability by applications in electrical engineering and computer science (EECS). The author presents information processing and communication systems that use algorithms based on probabilistic models and techniques, including web searches, digital links, speech recognition, GPS, route planning, recommendation systems, c…

Foundations of Software Science and Computation Structures: 24th Internationa…

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…

Fundamental Approaches to Software Engineering: 24th International Conference…

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-…

Building Better Interfaces for Remote Autonomous Systems: An Introduction for…

This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of th…

The 11th IFToMM International Symposium on Science of Mechanisms and Machines

The general topic of the symposium follows mechanisms development through all stages of conception, modeling, analysis, synthesis and control to advanced product design. This volume brings together the latest results in the field and celebrates a series of conferences that has been running for 40 years. The contributors and the editor are world leaders in their field.

Proceedings of the 2nd International Conference on Intelligent Technologies a…

This book includes the original, peer reviewed research papers from the conference, Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013), which took place on December 12-14, 2013 at Cheng Shiu University in Kaohsiung, Taiwan. Topics covered include: laser technology, wireless and mobile networking, lean and agile manufacturing, speech …

Drying Technology & Spray Drying: Unit Operations of Chemical Engineering

Edition

-

ISBN/ISSN

979-854-988-473-1

Collation

152 p. ; 23 cm

Series Title

-

Call Number

660 Alm d

Innovations in Intelligent Machines-4: Recent Advances in Knowledge Engineering

This research volume is a continuation of our previous volumes on intelligent machine. It is divided into three parts. Part I deals with big data and ontologies. It includes examples related to the text mining, rule mining and ontology. Part II is on knowledge-based systems. It includes context-centered systems, knowledge discovery, interoperability, consistency and systems of systems. The fina…

Sensors and Microsystems: Proceedings of the 17th National Conference, Bresci…

This book contains a selection of papers presented at the 17th AISEM (“Associazione Italiana Sensori e Microsistemi”) National Conference on Sensors and Microsystems, held in Brescia, 5-7 February, 2013. The conference highlighted state-of-the-art results from both theoretical and applied research in the field of sensors and related technologies. This book presents material in an interdisci…

Structural Motion Engineering

This innovative volume provides a systematic treatment of the basic concepts and computational procedures for structural motion design and engineering for civil installations. The authors illustrate the application of motion control to a wide spectrum of buildings through many examples. Topics covered include optimal stiffness distributions for building-type structures, the role of damping in c…

Launching IFMBE into the 21st Century: 50 Years and Counting

This book has been created for the 50th anniversary of the International Federation for Medical and Biological Enineering and Computing IFMBE. The IFMBE is primarily a professional organization of national and transnational societies representing interests in medical and biological engineering. In six parts, this book presents an overview on the federation, its activities and the characters wh…

New Advances in Mechanisms, Transmissions and Applications: Proceedings of th…

The Second Conference on Mechanisms, Transmissions and Applications - MeTrApp 2013 was organised by the Mechanical Engineering Department of the University of the Basque Country (Spain) under the patronage of the IFToMM Technical Committees Linkages and Mechanical Controls and Micromachines and the Spanish Association of Mechanical Engineering. The aim of the workshop was to bring together re…

Nonlinear Mechanics of Thin-Walled Structures: Asymptotics, Direct Approach a…

This book presents a hybrid approach to the mechanics of thin bodies. Classical theories of rods, plates and shells with constrained shear are based on asymptotic splitting of the equations and boundary conditions of three-dimensional elasticity. The asymptotic solutions become accurate as the thickness decreases, and the three-dimensional fields of stresses and displacements can be determined.…

PGD-Based Modeling of Materials, Structures and Processes

This book focuses on the development of a new simulation paradigm allowing for the solution of models that up to now have never been resolved and which result in spectacular CPU time savings (in the order of millions) that, combined with supercomputing, could revolutionize future ICT (information and communication technologies) at the heart of science and technology. The authors have recently p…

Design-for-Test and Test Optimization Techniques for TSV-based 3D Stacked ICs

This book describes innovative techniques to address the testing needs of 3D stacked integrated circuits (ICs) that utilize through-silicon-vias (TSVs) as vertical interconnects. The authors identify the key challenges facing 3D IC testing and present results that have emerged from cutting-edge research in this domain. Coverage includes topics ranging from die-level wrappers, self-test circuits…

Unifying Electrical Engineering and Electronics Engineering: Proceedings of t…

Unifying Electrical Engineering and Electronics Engineering is based on the Proceedings of the 2012 International Conference on Electrical and Electronics Engineering (ICEE 2012). This book collects the peer reviewed papers presented at the conference. The aim of the conference is to unify the two areas of Electrical and Electronics Engineering. The book examines trends and techniques in the fi…

Methods and Experimental Techniques in Computer Engineering

Computing and science reveal a synergic relationship. On the one hand, it is widely evident that computing plays an important role in the scientific endeavor. On the other hand, the role of scientific method in computing is getting increasingly important, especially in providing ways to experimentally evaluate the properties of complex computing systems. This book critically presents these issu…

Numerical Simulations of Coupled Problems in Engineering

This book presents and discusses mathematical models, numerical methods and computational techniques used for solving coupled problems in science and engineering. It takes a step forward in the formulation and solution of real-life problems with a multidisciplinary vision, accounting for all of the complex couplings involved in the physical description. Simulation of multifaceted physics proble…

Stem Cell Engineering: A WTEC Global Assessment

This book describes a global assessment of stem cell engineering research, achieved through site visits by a panel of experts to leading institutes, followed by dedicated workshops. The assessment made clear that engineers and the engineering approach with its quantitative, system-based thinking can contribute much to the progress of stem cell research and development. The increased need for co…