الصفحة 57
الصفحة 57
Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
Algebra and Coalgebra in Computer Science; First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
CALCO, the Conference on Algebra and Coal-gebra in Computer Science, was created to bring together researchers and practitio-ners to exchange new results related to foundational aspects, and both traditional and emerging uses of algebras and coalgebras in computer science. CALCO 2005 was the first instance of this new conference. The interest that it generated in the scientific community suggests that it will not be the last. Indeed, it attracted as many as 62 submissions covering a wide range of topics roughly divided into two areas: Algebras and Coalgebras as Mathematical Objects: Automata and languages; categorical semantics; hybrid, probabilistic, and timed systems; inductive and coin-ductive methods; modal logics; relational systems and term rewriting.
Algebra and Coalgebra in Computer Science ; 2nd International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context of their application in computer science - the papers cover topics such as abstract models and logics, specialised models and calculi, algebraic and coalgebraic semantics, and system specification and verification.
AI in drug discovery
Constitutes the refereed proceedings of the First international workshop on ai in Drug Discovery, AIDD 2024, held as a part of the 33rd International Conference on Artificial Neural Networks, ICANN 2024, in Lugano, Switzerland, on September 19, 2024. These papers focus on various aspects of the rapidly evolving field of Artificial Intelligence (AI)-driven drug discovery in chemistry, including Big Data and advanced Machine Learning, eXplainable AI (XAI), Chemoinformatics, Use of deep learning to predict molecular properties, Modeling and prediction of chemical reaction data and Generative models.
AI home decorator
Presents the development of “DesignMate”, an innovative AI home decorator application designed to revolutionize interior design. With three main features powered by artificial intelligence, DesignMate simplifies and enhances the process of home decoration. The first feature leverages an Autoregressive transformer model trained on the extensive 3Dfront dataset to suggest room decor based on room layouts. The second feature employs Generative Adversarial Networks (GANs) to enhance the colors of specific room layouts. The third feature introduces an expert system that tailors decor options to user-entered conditions. DesignMate also introduces an integrated e-commerce platform dedicated to furniture, offering users a wide selection of high-quality items that perfectly complement their preferred room designs.
AI For Emerging Verticals : Human-robot computing, sensing and networking
Artificial intelligence (AI) and machine learning (ML) will play a major role. By adopting AI software and services, businesses can create predictive strategies, enhance their capabilities, better interact with customers, and streamline their business processes. Explores novel concepts and cutting-edge research and developments towards designing these fully automated advanced digital systems. Fostered by technological advances in artificial intelligence and machine learning, such systems potentially have a wide range of applications in robotics, human computing, sensing and networking. The chapters focus on models and theoretical approaches to guarantee automation in large multi-scale implementations of AI and ML systems; protocol designs to ensure AI systems meet key requirements for future services such as latency; and optimisation algorithms to leverage the trusted distributed and efficient complex architectures.
Agile software construction
Agile software is a means of putting the software first while at the same time reacting to these user requirements in a flexible and agile way.Agile Software Construction covers the emerging methods and approaches (including extreme programming, feature-driven development and adaptive software development), that are loosely described as "Agile" and shows how to apply them effectively to software development projects. It shows how to plan, organise and develop systems using agile techniques, and highlights some of the problems that may be encountered.
Agile Development with the ICONIX Process : People, Process, and Pragmatism
Describes how to apply ICONIX Process (a minimal, use case-driven modeling process) in an agile software project. It's full of practical advice for avoiding common agile pitfalls. Further, the book defines a core agile subset so those of you who want to get agile need not spend years learning to do it. Instead, you can simply read this book and apply the core subset of techniques. The book follows a real-life .NET/C# project from inception and UML modeling, to working code through several iterations. You can then go on-line to compare the finished product with the initial set of use cases. The book also introduces several extensions to the core ICONIX Process, including combining test-driven development (TDD) with up-front design to maximize both approaches (with examples using Java and JUnit). And the book incorporates persona analysis to drive the projects goals and reduce requirements churn.
Agent-oriented software engineering VIII ; 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers
This volume constitutes the thoroughly refereed proceedings of the 8th International Workshop on Agent-Oriented Software Engineering, AOSE 2007, held in Honolulu, Hawaii in May 2007 as part of AAMAS 2007.
Agent-oriented software engineering VII ; 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers
Software architectures that contain many dynamically interacting components, each with their own thread of control, and engaging in complex coordination protocols, are difficult to correctly and efficiently engineer. Agent-oriented modelling techniques are important for supporting the design and development of such applications.The book is organized in topical sections on modelling and design of agent systems, modelling open agent systems, formal reasoning about designs, as well as testing, debugging and evolvability.
Agent-oriented software engineering VI ; 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers
This book represents the thoroughly refereed post-proceedings of the 6th International Workshop on Agent-Oriented Software Engineering, AOSE 2005, held in Utrecht, The Netherlands, in July 2005 as part of AAMAS 2005. The 18 revised full papers were carefully selected from 35 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on modeling tools, analysis and validation tools, multiagent systems design, implementation tools, and experiences and comparative evaluations.
Agent-oriented software engineering V ; 5th International workshop, AOSE 2004, New York, NY, USA, July 2004, revised selected papers
The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems. Nowadays, software is to be based on open architectures that continuously change and evolve to accommodate new components and meet new requirements. Software must also operate on di?- ent platforms, without recompilation, and with minimal assumptions about its operating environment and its users. Furthermore, software must be robust and ¨ autonomous, capable of serving a naive user with a minimum of overhead and interference. Agent concepts hold great promise for responding to the new realities of software systems. They o?er higher-level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, p- ception, commitments, goals, beliefs, and intentions, all of which need conceptual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities.
Agent-oriented information systems IV ; 8th International bi-conference workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers
In AOIS, we focus on the application of agent technology in information systems development and explore the potential for facilitating the increased usage of agent technology in the creation of information systems in the widest sense.
Agent-oriented information systems III ; 7th International bi-conference workshop, AOIS 2005, Utrecht, The Netherlands, July 26, 2005, and Klagenfurt, Austria, October 27, 2005, Revised Selected Papers
In 2005, two AOIS workshops were held internationally. The first was affiliated with the AAMAS 2005 meeting in July in Utrecht in The Netherlands and chaired by Henderson-Sellers and Winikoff and the second with ER 2005 in November in Klagenfurt in Austria and chaired by Kolp and Bresciani. The best papers from these meetings were identified and authors invited to revise and possibly extend their papers in the light of reviewers’ comments and feedback at the workshop. We have grouped these papers loosely under four headings: Agent behavior, communications and reasoning; Methodologies and ontologies; Agent-oriented software engineering; and Applications.
Agent-oriented information systems II ; 6th International bi-conference workshop, AOIS 2004, Riga, Latvia, June 8, 2004 and New York, NY, USA, July 20, 2004, revised selected papers
Information systems have become the backbone of all kinds of organizations - day. In almost every sector – manufacturing, education, health care, government and businesses large and small – information systems are relied upon for - eryday work, communication, information gathering and decision-making. Yet, the in?exibilities in current technologies and methods have also resulted in poor performance, incompatibilities and obstacles to change. As many organizations are reinventing themselves to meet the challenges of global competition and e-commerce, there is increasing pressure to develop and deploy new technologies that are ?exible, robust and responsive to rapid and unexpected change. Agent concepts hold great promise for responding to the new realities of - formation systems. They o?er higher-level abstractions and mechanisms which address issues such as knowledge representation and reasoning, communication, coordination, cooperation among heterogeneous and autonomous parties, p- ception, commitments, goals, beliefs, intentions, etc., all of which need conc- tual modelling. On the one hand, the concrete implementation of these concepts can lead to advanced functionalities.
Agent-mediated electronic commerce VI ; Theories for and engineering of distributed mechanisms and systems, AAMAS 2004 Workshop, Amec 2004, New York, NY, USA, July 19, 2004, revised selected papers
The design of intelligent trading agents, mechanisms, and systems has receivedgrowing atttention in the agents and multiagent systems communities in aneffort to address the increasing costs of search, transaction, and coordinationwhich follows from the increasing number of Internet-enabled distibuted elec-tronic markets. Furthermore, new technologies and supporting business modelsare resulting in a growing volume of open and horizontally integrated markets fortrading of an increasingly diverse set of goods and services. However, growth oftechnologies for such markets requires innovative solutions to a diverse set of ex-isting and novel technical problems which we are only beginning to understand.Specifically, distributed markets present not only traditional
Agent-Based Simulation : From Modeling Methodologies to Real-World Applications; Post Proceedings of the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004
Agent-based modeling/simulation is an emerging field that uses bottom-up and experimental analysis in the social sciences. Selected research from that presented at the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems 2004, held in May 2004 in Kyoto, Japan, is included in this book. The aim of the workshop was to employ the bottom-up approach to social and economic problems by modeling, simulation, and analysis using a software agent. This research area is an emerging interdisciplinary field among the social sciences and computer science, attracting broad attention because it introduces a simulation-based experimental approach to problems that are becoming increasingly complex in an era of globalization and innovation in information technology. The state-of-the-art research and findings presented in this book will be indispensable tools for anyone involved in this rapidly growing discipline.
Agent-Based Approaches in Economic and Social Complex Systems IV ; Post Proceedings of The AESCS International Workshop 2005
Agent-Based Modeling/Simulation (ABM/ABS) is an emerging field that enables bottom-up and experimental analysis in social sciences such as economics, management, sociology and politics. The chapters of this book are the selected papers from those presented the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo, Japan in 2005. Articles in this book covers methodological issues, computational model/software, combination with gaming simulation, and real-world applications to economic, management/organizational and social issues.
Agent Computing and Multi-Agent Systems ; 9th Pacific Rim International Workshop on Multi-Agents, PRIMA 2006, Guilin, China, August 7-8, 2006, Proceedings
PRIMA is a series of workshops on agent computing and multi-agent systems, integrating the activities in Asia and Pacific Rim countries. Agent computing and multi-agent systems are computational systems in which several autonomous or se- autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals. These systems may involve computational agents that are homogeneous or heterogeneous, they may involve activities on the part of agents having common or distinct goals, and they may involve participation on the part of humans and intelligent agents. The aim of PRIMA 2006 was to bring together Asian and Pacific Rim researchers and developers from academia and industry to report on the latest technical advances or domain applications and to discuss and explore scientific and practical problems as raised by the participants. PRIMA 2006 received 203 submitted papers.
Agent communication ; International workshop on agent communication, AC 2004, New York, NY, July 19, 2004
In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents has been one of the major topics of research in multiagent systems. The current work can therefore build on a number of previous Workshops of which the proceedings have been published in earlier volumes in this series. The basis of this collection is formed by the accepted submissions of the Workshop on Agent Communication held in c- junction with the AAMAS Conference in July 2004 in New York. the current collection comprises a very good and quite complete overview of the state of the art in this area of research and gives a good indication of the topics that are of major interest at the moment. The papers can roughly be divided over the following ?ve themes: – social commitments – multiparty communication – content languages – dialogues and conversations – speech acts Although these themes are of course not mutually exclusive they indicate some main directions of research. We therefore have arranged the papers in the book according to the topics indicated above.
