This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, ...
详细信息
ISBN:
(数字)9783540696964
ISBN:
(纸本)9783540641629
This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997.;The 25 revised full papers presented were selected from a total of 76 submissions. The book is divided into sections on methodologies, architectures and infrastructures, coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its predecessors published in the Intelligent Agents series, this volume specifically focuses on the relationships between the theory and the applications of agents.
This book constitutes the thoroughly refereed proceedings of the Second IEEE Colombian Conference, ColCACI 2019, held in Barranquilla, Colombia, in June 2019.;The 21 full papers presented were carefully reviewed and s...
详细信息
ISBN:
(数字)9783030362119
ISBN:
(纸本)9783030362102
This book constitutes the thoroughly refereed proceedings of the Second IEEE Colombian Conference, ColCACI 2019, held in Barranquilla, Colombia, in June 2019.;The 21 full papers presented were carefully reviewed and selected from 59 submissions. The papers cover such topics as video processing; biomedical systems; image processing, etc.
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid systems, held at Rutgers University in New Brunswick, NJ, in October 1995.;A hybrid system consis...
详细信息
ISBN:
(数字)9783540683346
ISBN:
(纸本)9783540611554
This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid systems, held at Rutgers University in New Brunswick, NJ, in October 1995.;A hybrid system consists of digital devices that interact with analog environments. computer science contributes expertise on the analog aspects of this emerging field of interdisciplinary research and design. The 48 revised full papers included were strictly refereed; they present the state of the art in this dynamic field with contributions by leading experts. Also available are the predecessor volumes published in the same series as LNCS 999 and LNCS 736.
It was the aim of the conference to present issues in parallel computing to a community of potential engineering/scientific users. An overview of the state-of-the-art in several important research areas is given by le...
详细信息
ISBN:
(数字)9783540388487
ISBN:
(纸本)9783540189237
It was the aim of the conference to present issues in parallel computing to a community of potential engineering/scientific users. An overview of the state-of-the-art in several important research areas is given by leading scientists in their field. The classification question is taken up at various points, ranging from parametric characterizations, communication structure, and memory distribution to control and execution schemes. Central issues in multiprocessing hardware and operation, such as scalability, techniques of overcoming memory latency and synchronization overhead, as well as fault tolerance of communication networks are discussed. The problem of designing and debugging parallel programs in a user-friendly environment is addressed and a number of program transformations for enhancing vectorization and parallelization in a variety of program situations are described. Two different algorithmic techniques for the solution of certain classes of partial differential equations are discussed. The properties of domain-decomposition algorithms and their mapping onto a CRAY-XMP-type architecture are investigated and an overview is given of the merit of various approaches to exploiting the acceleration potential of multigrid methods. Finally, an abstract performance modeling technique for the behavior of applications on parallel and vector architectures is described.
covers the associate level certification with Oracle. Although not dedicated to exam 1Z0-599, the guide is also a valuable foundational resource for those preparing for WebLogic Server 12c implementation specialist le...
详细信息
ISBN:
(数字)9781484225622
ISBN:
(纸本)9781484225615
covers the associate level certification with Oracle. Although not dedicated to exam 1Z0-599, the guide is also a valuable foundational resource for those preparing for WebLogic Server 12c implementation specialist level certification. This book:
This book includes extended and revised selected papers from the 10th International Conference on Smart Cities and Green ICT systems, SMARTGREENS 2021, and 7th International Conference on Vehicle Technology and Intel...
详细信息
ISBN:
(数字)9783031170980
ISBN:
(纸本)9783031170973
This book includes extended and revised selected papers from the 10th International Conference on Smart Cities and Green ICT systems, SMARTGREENS 2021, and 7th International Conference on Vehicle Technology and Intelligent Transport systems, VEHITS 2021, held as virtual event, in April 28–30, 2021. The conference was held virtually due to the COVID-19 crisis.;The 22 full papers included in this book were carefully reviewed and selected from 140 submissions. The papers present research on advances and applications in the fields of smart cities, electric vehicles, sustainable computing and communications, energy aware systems and technologies, intelligent vehicle technologies, intelligent transport systems and infrastructure, connected vehicles.
暂无评论