Page 2
Page 2
Foundations of software science and computation structures ; 25th International conference, FOSSACS 2022, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022, proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
Foundations of software science and computation structures ; 24th International conference, FOSSACS 2021, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, proceedings
This 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 due to the COVID-19 pandemic.
Foundations of software science and computation structures ; 23rd International conference, FOSSACS 2020, Held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.
Entertainment Computing - ICEC 2005 ; 4th International Conference, Sanda, Japan, September 19-21, 2005, Proceedings
First of all, we appreciate the hard work of all the authors who contributed to ICEC 2005 by submitting their papers. ICEC 2005 attracted 95 technical paper submissions, 8 poster submissions and 7 demo submissions, in total 110. This number is nearly equal to ICEC 2004. Based on a thorough review and selection process carried out by 76 international experts from academia and industry as members of the senior and international program committees, a high-quality program was compiled. The program committee consisted of experts from all over the world: 1 from Austria, 3 from Bulgaria, 2 from Canada, 4 from China, 1 from Finland, 4 from France, 10 from Germany, 1 from Greece, 1 from Ireland, 1 from Israel, 1 from Italy, 26 from Japan, 1 from Korea, 4 from The Netherlands, 1 from New Zealand, 1 from Norway, 1 from Singapore, 1 from Thailand, 4 from the UK, and 8 from the USA. In this number, reviewers are included. The final decision was made at the senior program committee meeting based on three reviewers' feedback, available online via the conference management tool. Through earnest and fair discussion at the meeting, 25 technical papers were accepted as long papers and 32 technical papers were accepted as short papers from 95 submitted technical papers. Moreover, 3 poster papers and 5 demo papers were accepted.
Embedded systems design : The ARTIST roadmap for research and development
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, space, automotive, trains), electrical and electronic appliances (cameras, toys, televisions, home appliances, audio systems, and cellular phones), process control (energy production and distribution, factory automation and optimization), telecommunications (satellites, mobile phones and telecom networks), and security (e-commerce, smart cards), etc. The extensive and increasing use of embedded systems and their integration in everyday products marks a significant evolution in information science and technology. We expect that within a short timeframe embedded systems will be a part of nearly all equipment designed or manufactured in Europe, the USA, and Asia. There is now a strategic shift in emphasis for embedded systems designers: from simply achieving feasibility, to achieving optimality. Optimal design of embedded systems means targeting a given market segment at the lowest cost and delivery time possible. Optimality implies seamless integration with the physical and electronic environment while respecting real-world constraints such as hard deadlines, reliability, availability, robustness, power consumption, and cost. In our view, optimality can only be achieved through the emergence of embedded systems as a discipline in its own right.
Electronic Irradiation of Foods : An Introduction to the Technology
Electronic Irradiation of Foods describes all the key aspects of electron accelerator technology in detail. It emphasizes the physical science and technology aspects of food irradiation using machine sources of ionizing radiation. The book provides significant technical depth for interested workers and present descriptive, introductory material that should help demystify technology for businessmen to make informed choices regarding important investments decisions.Introductory chapters summarize the effects of ionizing radiation on biological organisms and the organic compounds comprising foods, and give an overview of the food irradiation process. Subsequent chapters cover the details of the electron beam and x-ray energy deposition, electron accelerator technologies, beam scanning systems, material handling systems, shielding design, and process control considerations. Important appendices cover radiation dosimetry, induced radioactivity, and ozone generation.
Dynamic Modeling, Predictive Control and Performance Monitoring : A Data-driven Subspace Approach
A typical design procedure for model predictive control or control performance monitoring consists of: identification of a parametric or nonparametric model, derivation of the output predictor from the model and design of the control law or calculation of performance indices according to the predictor.
Developing BIM talent : A guide to the BIM body of knowledge with Metrics, KSAs, and learning outcomes
A systematic Building Information Modeling (BIM) framework features cutting-edge use cases and competencies for students and professionals pursuing BIM careers. Offers: A solid foundation and guidelines for educators and practitioners for starting or enhancing a BIM curriculum or training program Templates, expert interviews, and case studies that provide in-depth knowledge and lessons learned that can facilitate process changes and strategic action plans Strategies for standardizing emerging BIM job tasks, descriptions, and methods for benchmarking performance
Designing with video : Focusing the user-centred design process
Digital video for user-centred co-design is an emerging field of design, gaining increasing interest in both industry and academia. It merges the traditions of design ethnography, participatory design, interaction analysis, scenario-based design, and usability studies into an integrated approach, which values the designer’s capacity to study and change the world creatively. Designing with Video: Focusing the User-centred Design Process covers the whole user-centred design project. The book illustrates in detail how digital video can be utilised throughout a design process, from the early user studies, through making sense of the video content and envisioning the future with video scenarios, to provoking change with video artefacts.
Decision Making under Deep Uncertainty : From Theory to Practice
Focuses on both the theory and practice associated with the tools and approaches for decisionmaking in the face of deep uncertainty. It explores approaches and tools supporting the design of strategic plans under deep uncertainty, and their testing in the real world, including barriers and enablers for their use in practice. The book broadens traditional approaches and tools to include the analysis of actors and networks related to the problem at hand. It also shows how lessons learned in the application process can be used to improve the approaches and tools used in the design process. The book offers guidance in identifying and applying appropriate approaches and tools to design plans, as well as advice on implementing these plans in the real world. For decisionmakers and practitioners, the book includes realistic examples and practical guidelines that should help them understand what decisionmaking under deep uncertainty is and how it may be of assistance to them.
Coordination models and languages ; Vol.3454 : 7th international conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, COORDINATION 2005, held in Namur, Belgium in April 2005. The 19 revised full papers presented were carefully reviewed and selected from 88 submissions. Among the topics addressed are Web services, safe ambients, process calculus, abstract verification, role-based software, delegation modeling, distributed information flow, adaptive Web content provision, global computing, mobile agents, mobile computing, multithreaded code generation, shared data space coordination languages, automata specifications, time aware coordination, and service discovery.
Coordination models and languages ; 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 10th International Conference on Coordination Models and Languages, COORDINATION 2008, held in Oslo, Norway, in June 2008, as one of the federated conferences on Distributed Computing Techniques, DisCoTec 2008.
Condition Monitoring and Control for Intelligent Manufacturing
Manufacturing systems and processes are becoming increasingly complex, making more rational decision-making in process control a necessity. The book presents a wide and comprehensive review of the key areas of research in machine condition monitoring and control, before focusing on an in-depth treatment of each important technique, from multi-domain signal processing for defect diagnosis to web-based information delivery for real-time control.
Concurrency Theory : Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.
CONCUR 2007 – Concurrency Theory ; 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings
This book includes model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
Computer algebra in scientific computing ; 23rd International Workshop, CASC 2021, Sochi, Russia, September 13–17, 2021, Proceedings
This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.
Manufacturing Execution Systems - MES
The production plants of today develop into modern service centers. Economic efficiency of modern added value is not a property of products alone but of the process. Decisive potential in business now is a question of process capability, rather than production capability. Process capability in business requires real-time systems for optimization. Business-IT needs to be developed from telecommunications and ERP to real time services, which are not offered by the prevailing ERP systems. Today, only modern Manufacturing Execution Systems (MES) offer real-time applications. They generate current as well as historic mappings of production facilities and thus they can be used as basis for optimizations. It is important to map the supply chain in real time. Increasing complexity in production requires an integrated view of the production and service facilities: detailed scheduling, status collection, quality, performance analysis, tracing of material and so on have to be recorded and displayed in an integrated way.
Machine-learning-assisted intelligent processing and optimization of complex systems
Focuses on the most recent developments in intelligent optimization methods and their applications in various test cases. The reprint covers various topics, including distributed multiagent modeling, metaheuristic algorithms, multisource data fusion, mobile computing and mobile sensing, machine learning-based intelligent processing for modeling complex manufacturing systems, and data-driven intelligent modeling
Lasers in the Conservation of Artworks ; LACONA V Proceedings, Osnabrück, Germany, Sept. 15-18, 2003
Since 1995, when Costas Fotakis first brought together restorers and scientists to discuss the potential of lasers in art conservation, the field has grown enormously in importance, and today restorers and laser scientists work together to develop new applications. This book presents the more than six dozen research papers prepared for LACONA V (Lasers in Art Conservation), held in Osnabrueck/Germany in September 2003. The fifth congress once again gathers restorers, art historians, museum staff, laser scientists and laser manufacturers. The topics include, among others: laser cleaning of artworks (case studies and side effects), removal of former conservation layers, fundamentals of laser-artwork interaction, online monitoring and process control, laser diagnostics, spectroscopy for monitoring and identification, networks and co-operation projects.
Comparative risk assessment and environmental decision making
Decision making in environmental projects is typically a complex and confusing process characterized by trade-offs between socio-political, environmental, and economic impacts. Comparative Risk Assessment (CRA) is a methodology applied to facilitate decision making when various activities compete for limited resources. CRA has become an increasingly accepted research tool and has helped to characterize environmental profiles and priorities on the regional and national level. CRA may be considered as part of the more general but as yet quite academic field of multi-criteria decision analysis (MCDA). Considerable research in the area of MCDA has made available methods for applying scientific decision theoretical approaches to multi-criteria problems, but its applications, especially in environmental areas, are still limited. The papers show that the use of comparative risk assessment can provide the scientific basis for environmentally sound and cost-efficient policies, strategies, and solutions to our environmental challenges.
