الصفحة 24
الصفحة 24
Developing Ambient Intelligence ; Proceedings of the International Conference on Ambient Intelligence Developments (AmI.d’07)
The research papers included in the AmI.d proceedings are devoted to both theoretical and applied research, cover the most leading-edge research and contain contributions that have been formally reviewed and chosen by a selected International Program Committee. The contributions cover a wide range of AmI topics.
Detection of intrusions and malware, and vulnerability assessment ; 17th International Conference, DIMVA 2020, Lisbon, Portugal, June 24–26, 2020, Proceedings
This book constitutes the proceedings of the 17th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2020, held in Lisbon, Portugal, in June 2020.* The 13 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The contributions were organized in topical sections named: vulnerability discovery and analysis; attacks; web security; and detection and containment.
Designing and Evaluating Value Added Services in Manufacturing E-Market Places
Presents the results of a research developed under a two years program titled “ “Distributed process and production planning in manufacturing enterprise networks” and funded by the Italian Ministry of Education, University and Research (MIUR) under the program PRIN2001.
Designing a programming education system for children to program and simulate robots
JuniorCoders is an innovative educational platform designed to introduce programming and robotics concepts to kids and beginners. It provides an easy-to-use visual programming interface that allows users to create Arduino programs by dragging and dropping blocks of code. The system aims to make programming accessible and shareable, allowing them to create complex programs without having to learn a traditional programming language. Enables users to program and simulate robots using Arduino boards.
Design Patterns in Modern C++20 : Reusable Approaches for Object-Oriented Software Design
As well as covering traditional design patterns, this book fleshes out new design patterns and approaches that will be useful to modern C++ developers. Author Dmitri Nesteruk presents concepts as a fun investigation of how problems can be solved in different ways, along the way using varying degrees of technical sophistication and explaining different sorts of trade-offs. You will: Use creational patterns such as builder, factories, prototype and singleton / Implement structural patterns such as adapter, bridge, decorator, facade and more / Work with the behavioral patterns such as chain of responsibility, command, iterator, mediator and more / Apply functional design patterns such as the Maybe Monad
Design of Embedded Control Systems : Models for Capacity Planning in Advanced Manufacturing Systems
A set of original results in the ?eld of high-level design of logical control devices and systems is presented in this book
Design of advanced manufacturing systems : Models for capacity planning in advanced manufacturing systems
The aim of this book is to provide a framework and speci?c methods and tools for the selection and con?guration of capacity of Advanced Manufacturing Systems (AMS). In particular this book de?nes an - chitecture where the multidisciplinary aspects of the designofAMSare properly organized and addressed. The tool will support the decisi- maker in the de?nition of the con?guration of the system which is best suited for the particular competitive context where the ?rm operates or wants tooperate. Thisbookisofinterest for academic researchers in the ?eldofind- trial engineering and particularly indicated in the areas of operations and manufacturing strategy.
Design by Evolution : Advances in Evolutionary Design
This book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in the following fields: evolutionary design and "intelligent design" in biology, art, computational embryogeny, and engineering.
Deployment and operation of complex software in heterogeneous execution environments : The SODALITE approach
This 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 tools are available in the literature to support DevOps teams in the automation of deployment and operation steps, still these activities require specific know-how and skills that cannot be found in average teams. The SODALITE framework tackles this problem by offering modelling and smart editing features to allow those we call Application Ops Experts to work without knowing low level details about the adopted, potentially heterogeneous, infrastructures. The framework offers also mechanisms to verify the quality of the defined models, generate the corresponding executable infrastructural code, automatically wrap application components within proper execution containers, orchestrate all activities concerned with deployment and operation of all system components, and support on-the-fly self-adaptation and refactoring.
Dependable Systems : Software, Computing, Networks : Research Results of the DICS Program
The present volume documents the results of a research program on Dependable Information and Communication Systems (DICS). The members of the project met in two workshops organized by the Hasler Foundation. This state-of-the-art survey contains 3 overview articles identifying major issues of dependability and presenting the latest solutions, as well as 10 carefully selected and revised papers depicting the research results originating from those workshops. The first workshop took place in Münchenwiler, Switzerland, in March 2004, and the second workshop, which marked the conclusion of the projects, in Löwenberg, Switzerland, in October 2005. The papers are organized in topical sections on surveys, dependable software, dependable computing, and dependable networks.
Dependable software engineering : Theories, tools, and applications ; 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Dependability Metrics : Advanced Lectures
This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.
Defence Applications of Multi-Agent Systems; International Workshop, DAMAS 2005, Utrecht, The Netherlands, July 25, 2005, Revised and Invited Papers
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Defence Applications of Multi-Agent Systems, DAMAS 2005, held in Utrecht, The Netherlands in July 2005 as an associated event of AAMAS 2005, the main international conference on autonomous agents and multi-agent systems. The 10 revised full papers presented together with 1 invited article are organized in topical sections on decision support and simulation, unmanned aerial vehicles, as well as on systems and security.
Deep Learning with PyTorch Lightning : Build and train high-performance artificial intelligence and self-supervised models using Python
You’ll learn how to configure PyTorch Lightning on a cloud platform, understand the architectural components, and explore how they are configured to build various industry solutions. You’ll build a neural network architecture, deploy an application from scratch, and see how you can expand it based on your specific needs, beyond what the framework can provide. In the later chapters, you’ll also learn how to implement capabilities to build and train various models like Convolutional Neural Nets (CNN), Natural Language Processing (NLP), Time Series, Self-Supervised Learning, Semi-Supervised Learning, Generative Adversarial Network (GAN) using PyTorch Lightning.
Deep learning pipeline : Building a deep learning model with TensorFlow
Build your own pipeline based on modern TensorFlow approaches rather than outdated engineering concepts. This book shows you how to build a deep learning pipeline for real-life TensorFlow projects. You'll learn what a pipeline is and how it works so you can build a full application easily and rapidly. Then troubleshoot and overcome basic Tensorflow obstacles to easily create functional apps and deploy well-trained models. Step-by-step and example-oriented instructions help you understand each step of the deep learning pipeline while you apply the most straightforward and effective tools to demonstrative problems and datasets.
Declarative programming for knowledge management ; 16th International conference on applications of declarative programming and knowledge management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers
Presents a selection of papers presented at the 16th Inter- tional Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005,held in October 2005 at Waseda University, Fukuoka, Japan. These papers re?ect a snapshot of ongoing research and current app- cations in knowledge management and declarative programming.
Declarative agent languages and technologiesV ; 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Declarative Agent Languages and Technologies, DALT 2007, held in Honolulu, USA, in 2007.
Declarative agent languages and technologies IV ; 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers
Constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006. This was an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems. The 12 revised full papers presented together with one invited talk and three invited papers were carefully selected for inclusion in the book.
Declarative agent languages and technologies III ; 3rd International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers
The workshop on Declarative Agent Languages and Technologies is a we- established venue for researchers interested in sharing their experiences in the areas of declarative and formal aspects of agents and multi-agent systems, and in engineering and technology. Today it is still a challenge to develop techno- gies that can satisfy the requirements of complex agent systems. The design and development of multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow for the veri?cation of properties, and guarantee ?exibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent system developers and for specifying multi-agent systems.
Declarative agent languages and technologies II ; 2nd international workshop, DALT 2004, New York, NY, USA, July 19, 2004, revised selected papers
Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT’s (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation.
