Page 9
Page 9
Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2020
Presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains selected papers from the fifth international Conference ML4CPS – Machine Learning for Cyber Physical Systems, which was held in Berlin, March 12-13, 2020.
Machine Learning for Cyber Physical Systems : Selected papers from the International Conference ML4CPS 2018
Presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. Cyber Physical Systems are characterized by their ability to adapt and to learn: They analyze their environment and, based on observations, they learn patterns, correlations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnosis. Machine Learning is the key technology for these developments.
Machine learning and data mining for sports analytics ; 7th international workshop, MLSA 2020, Co-located with ECML/PKDD 2020, Ghent, Belgium, September 14–18, 2020, Proceedings
Constitutes the refereed post-conference proceedings of the 7th International Workshop on Machine Learning and Data Mining for Sports Analytics, MLSA 2020, colocated with ECML/PKDD 2020, in Ghent, Belgium, in September 2020. The 11 papers presented were carefully reviewed and selected from 22 submissions. The papers present a variety of topics within the area of sports analytics, including tactical analysis, outcome predictions, data acquisition, performance optimization, and player evaluation.
Leveraging applications of formal methods, verification and validation : Verification Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I
Constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume : Part I, Verification Principles : Modularity and (De-)Composition in Verification ; X-by-Construction: Correctness meets Probability ; 30 Years of Statistical Model Checking ; Verification and Validation of Concurrent and Distributed Systems.
Leveraging applications of formal methods, verification and validation : Engineering Principles ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part II
Constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part II, Engineering Principles : Automating Software Re-Engineering ; Rigorous Engineering of Collective Adaptive Systems.
Leveraging applications of formal methods, verification and validation : Applications ; 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic. The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume: Part III, Applications: Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions; Automated Verification of Embedded Control Software; Formal methods for DIStributed COmputing in future RAILway systems.
Learning to Live in the Knowledge Society ; IFIP 20th World Computer Congress, IFIP TC 3 ED-L2L Conference September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Lean Business Systems and Beyond ; 1st IFIP TC 5 Advanced Production Management Systems Conference (APMS’2006), Wroclaw, Poland, September 18-20, 2006
Includes : foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
Knowledge Sharing in the Integrated Enterprise : Interoperability Strategies for the Enterprise Architect
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Knowledge Management In Action ; IFIP 20th World Computer Congress, Conference on Knowledge Management in Action, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured.
Knowledge discovery, knowledge engineering and knowledge management ; 10th International Joint Conference, IC3K 2018, Seville, Spain, September 18-20, 2018, Revised Selected Papers
Constitutes the thoroughly refereed proceedings of the 10th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2018, held in Seville, Spain, in September 2018. The 12 full papers presented were carefully reviewed and selected from 167 submissions. The papers are organized in topical sections on knowledge discovery and information retrieval; knowledge engineering and ontology development; and knowledge management and information sharing.
Just-in-Time Scheduling : Models and Algorithms for Computer and Manufacturing Systems
As the field of Supply Chain Management has matured, maintaining the precise flow of goods to maintain schedules (hence, minimizing inventories) on a just-in-time basis still remains as a major challenge. This problem or challenge has resulted in a fair amount of quantitative research in the area, producing an array of models and algorithms to help ensure the precise flow of components and final products into inventories to meet just-in-time requirements.The scheduling models and algorithms presented and illustrated in the book will be done so in the context of extensive use of computer systems in a "real time context.
Justifying the Dependability of Computer-based Systems : With Applications in Nuclear Engineering
The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty. Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety.
Job Scheduling Strategies for Parallel Processing ; 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers
Constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2007, held in Seattle, WA, USA, in June 2007, in conjunction with the 21st ACM International Conference on Supercomputing, ICS 2007.The 10 revised full research papers presented went through the process of strict reviewing and subsequent improvement. The papers cover all current issues of job scheduling strategies for parallel processing from the supercomputer-centric viewpoint but also address many nontraditional high-performance computing and parallel environments that cannot or need not access a traditional supercomputer.
Job Scheduling Strategies for Parallel Processing ; 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers
Constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2006, held in Saint-Malo, France in June 2006 in conjunction with the Joint International Conference on Measurement and Modeling of Computer Systems SIGMETRICS/Performance 2006.
Issues in Multi-Agent Systems : The AgentCities.ES Experience
The purpose of this book is to present current status of this technology by looking at its application in different domains, such as electronic markets, e-tourism, ambience intelligence, and complex system analysis.It starts by discussing software engineering issues for the development of multi-agent systems, how much it costs to build a multi-agent system, and which methods and tools are currently available. Next chapters present some of the most relevant aspects that are considered for the development of multi-agent systems.
Communicating, Networking : Interacting : The International Year of Global Understanding - IYGU
illustrates the benefits to be gained from digitally networked communication for health, education and transitioning economies in developing nations (Sierra Leone and Papua New Guinea) and developed nations. Growing powers of e-citizenship can help build sustainable futures. This small volume provides a collection of examples and ideas from which the authors hope will help build a wider resource. Understanding how to link everyday lives with global networks in the digital world in ways that add benefit for the world’s people, and the health of the planet, is an ongoing project. IYGU recognises the integral roles of networking and communication systems, as well as interactions between people, near and far, as fundamental for building better futures. The global penetration of digital devices means everyday life, present and future, is inextricably linked with information technologies
Classification and Modeling with Linguistic Information Granules : Advanced Approaches to Linguistic Data Mining
Many approaches have already been proposed for classification and modeling in the literature. These approaches are usually based on mathematical mod els. Computer systems can easily handle mathematical models even when they are complicated and nonlinear (e.g., neural networks). On the other hand, it is not always easy for human users to intuitively understand mathe matical models even when they are simple and linear. This is because human information processing is based mainly on linguistic knowledge while com puter systems are designed to handle symbolic and numerical information. A large part of our daily communication is based on words. We learn from various media such as books, newspapers, magazines, TV, and the Inter net through words. We also communicate with others through words. While words play a central role in human information processing, linguistic models are not often used in the fields of classification and modeling. If there is no goal other than the maximization of accuracy in classification and modeling, mathematical models may always be preferred to linguistic models. On the other hand, linguistic models may be chosen if emphasis is placed on interpretability.
Challenges in Ad Hoc Networking ; 4th Annual Mediterranean Ad Hoc Networking Workshop, June 21-24, 2005, Île de Porquerolles, France
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
Challenges for next generation network operations and service management : 11th Asia-Pacific network operations and management symposium, APNOMS 2008, Beijing, China, October 22-24, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th Asia-Pacific Network Operations and Management Symposium, APNOMS 2008, held in Beijing, China, in October 2008.
