الصفحة 29
الصفحة 29
Argumentation in multi-agent systems ; Vol. 4049 ; 2nd International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, revised selected and invited papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Argumentation in Multi-Agent Systems held in Utrecht, 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 an invited paper were carefully reviewed and selected from 17 submissions. The papers are organized in topical sections on foundations, negotiation, protocols, deliberation and coalition formation, and consensus formation.
Architecting Systems with Trustworthy Components ; International Seminar, Dagstuhl Castle, Germany, December 12-17, 2004. Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the International Dagstuhl-Seminar on Architecting Systems with Trustworthy Components, held in Dagstuhl Castle, Germany, in December 2004. The 10 revised full papers presented together with 5 invited papers contributed by outstanding researchers were carefully selected and included in the book reflecting ongoing impovement from the seminar. Core problems addressed by the seminar are measurement and normalization of non-functional properties, modular reasoning over non-functional properties, capture of component requirements in interfaces and protocols, interference and synergy of top-down and bottom-up aspects, duality of componentization and architecture, system properties, and opportunities for correctness by construction/static checking.
Architecting dependable systems IV
As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to these issues must be considered from the very beginning of the design process, it is reasonable that dependability is addressed at the architectural level. It also contains sections on architectural description languages, architectural components and patterns, architecting distributed systems, and architectural assurances for dependability.
Arabic and Chinese Handwriting Recognition ; SACH 2006 Summit College Park, MD, USA, September 27-28, 2006 Selected Papers
Cheriet provides an overview of the problems of Arabic recognition and how systems can use natural language processing techniques to correct errors in lexicon-based systems.
Approximation and Online Algorithms ; 4th International Workshop, WAOA 2006, Zurich, Switzerland, September 14-15, 2006, Revised Papers
It focuses on the design and analysis of algorithms for online and computationally hard problems. Both kinds of problems have a large number of applications
Applied Informatics; Third International Conference, ICAI 2020, Ota, Nigeria, October 29–31, 2020, Proceedings
This book constitutes the thoroughly refereed papers of the Second International Conference on Applied Informatics, ICAI 2020, held in Ota, Nigeria, in October 2020. The 35 full papers were carefully reviewed and selected from 101 submissions. The papers are organized in topical sections on artificial intelligence; business process management; cloud computing; data analysis; decision systems; health care information systems; human-computer interaction; image processing; learning management systems; software design engineering.
Applied cryptography and network security ; 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Conference on Applied Cryptography and Network Security, ACNS 2008, held in New York, NY, USA, in June 2008.
Applied cryptography and network security ; 5th International Conference, ACNS 2007, Zhuhai, China, June 5-8, 2007, Proceedings
The book is organized in topical sections on signature schemes, computer and network security, cryptanalysis, group-oriented security, cryptographic protocols, anonymous authentication, identity-based cryptography, security in wireless, ad-hoc, and peer-to-peer networks, as well as efficient implementation.
Applied cryptography and network security ; 19th International Conference, ACNS 2021, Kamakura, Japan, June 21–24, 2021, Proceedings, Part I
The two-volume set LNCS 12726 + 12727 constitutes the proceedings of the 19th International Conference on Applied Cryptography and Network Security, ACNS 2021, which took place virtually during June 21-24, 2021. The 37 full papers presented in the proceedings were carefully reviewed and selected from a total of 186 submissions. They were organized in topical sections as follows: Part I: Cryptographic protocols; secure and fair protocols; cryptocurrency and smart contracts; digital signatures; embedded system security; lattice cryptography; Part II: Analysis of applied systems; secure computations; cryptanalysis; system security; and cryptography and its applications.
Applied and computational mathematics for digital environments
Contains the 11 papers that were accepted and published in the Special Issue “Applied and Computational Mathematics for Digital Environments” of the MDPI Mathematics journal. The topics of interest include, among others, scientific research, applied tasks, and problems in the following areas: The construction of mathematical and information models of intelligent computer systems for monitoring and controlling the parameters of digital environments; The development of intelligent optimization algorithms that search for optimal parameter values of mathematical and information models in digital environments; Software and mathematical technologies in the implementation of intelligent monitoring and computer control of the parameters of digital environments; The development and application of mathematical and information models, machine learning methods, and artificial intelligence for the analysis and processing of big data in digital environments.
Applications of declarative programming and knowledge management ; 15th international conference on applications of declarative programming and knowledge management, INAP 2004, and 18th workshop on logic programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
This volume contains a selection of papers presented at the 15th International Conference on Applications of Declarative Programming and Knowledge M- agement, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, Declarative programming is an advanced paradigm for the modeling and solving of complex problems. This speci?cation method has become more and more attractive in recent years, Thetopicsoftheselectedpapersofthisyear’sjointconferenceconcentrateon three currently important ?elds: knowledge management and decision support, constraint programming and constraint solving, and declarative programming and Web-based systems.
Applications of artificial intelligence, big data and internet of things in sustainable development
Focuses on different algorithms and models related to AI, big data and IoT used for various domains. It enables the reader to have a broader and deeper understanding of several perspectives regarding the dynamics, challenges, and opportunities for sustainable development using artificial intelligence, big data and IoT. Applications of Artificial Intelligence, Big Data and Internet of Things (IoT) in Sustainable Development focuses on IT-based advancements in multidisciplinary fields such as healthcare, finance, bioinformatics, industrial automation, and environmental science.
Application and Theory of Petri Nets 2002 ; 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ICATPN 2002, held in Adelaide, Australia, in June 2002. The 18 regular papers and one tool presentation presented together with six invited paper were carefully reviewed and selected from 45 submissions. All current issues on research and development of Petri nets are addressed, in particular concurrent systems analysis, model validation, business process management, reactive systems, workflow processes, wireless transaction protocols.
Annals of scientific society for assembly, handling and industrial robotics 2021
This proceedings presents a good overview of the current research landscape of assembly, handling and industrial robotics. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors in person and in conclusion, to strengthen the research field as well as the MHI community. In addition, there is the possibility to become acquatined with the organizing institute. Primary audience is formed by members of the scientific society for assembly, handling and industrial robotics (WGMHI).
Annals of scientific society for assembly, handling and industrial robotics
This proceedings presents a good overview of the current research landscape of industrial robots. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors in person and in conclusion, to strengthen the research field as well as the MHI community. In addition, there is the possibility to become acquatined with the organizing institute. Primary audience is formed by members of the scientific society for assembly, handling and industrial robotics (WGMHI).
Anatomy ontologies for bioinformatics : Principles and practice
This book provides a timely and first-of-its-kind collection of contributed chapters on anatomy ontologies. It is interdisciplinary in its approach, bringing together relevant expertise from computing and biomedical studies, and covering both theoretical and applied aspects, with an emphasis on newer work relevant to the emerging Semantic Web.
An Integrated Approach to Software Engineering
An Integrated Approach to Software Engineering introduces software engineering to advanced-level undergraduate and graduate students of computer science. It emphasizes a case-study approach whereby a project is developed through the course of the book, illustrating the different activities of software development. The sequence of chapters is essentially the same as the sequence of activities performed during a typical software project. All activities, including quality assurance and control activities, are described in each chapter as integral activities for that phase of development. Similarly, the author carefully introduces appropriate metrics for controlling and assessing the software process. Chapters in this revised edition, updated for today’s standards, include these new features: Software Process, Requirements Analysis and Specification, Software Architecture, Project Planning, Object Oriented Design, Coding,Testing,
AmIware : Hardware Technology Drivers of Ambient Intelligence
Ambient Intelligence is one of the new paradigms in the development of information and communication technology, which has attracted much attention over the past years. The aim is the to integrate technology into people environment in such a way that it improves their daily lives in terms of well-being, creativity, and productivity. Ambient Intelligence is a multidisciplinary concept, which heavily builds on a number of fundamental breakthroughs that have been achieved in the development of new hardware concepts over the past years. New insights in nano and micro electronics, packaging and interconnection technology, large-area electronics, energy scavenging devices, wireless sensors, low power electronics and computing platforms enable the realization of the heaven of ambient intelligence by overcoming the hell of physics.
Ambient Networks ; 16th IFIP/IEEE international workshop on distributed systems : Operations and management, DSOM 2005, Barcelona, Spain, October 24-26, 2005, Proceedings
This volume of the Lecture Notes in Computer Science series contains all the papersacceptedforpresentationatthe16thIFIP/IEEEInternationalWorkshop on Distributed Systems: Operations and Management (DSOM 2005), which was held at the University Polit` ecnica de Catalunya, Barcelona 2005. The goal of the DSOM workshop is to bring togetherresearchersintheareasofnetworks,systems,andservicesmanagement, from both industry and academia, to discuss recent advances and foster future growth in this ?eld.
Algorithmic Aspects in Information and Management ; Second International Conference, AAIM 2006, Hong Kong, China, June 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the Second International Conference on Algorithmic Aspects in Information and Management, AAIM 2006, held in Hong Kong, June 2006. The book presents 34 revised full papers together with abstracts of 2 invited talks. The papers cover topics from areas such as online scheduling, game and finance, data structures and algorithms, computational geometry, optimization, graph, and string, and more.
