الصفحة 36
الصفحة 36
Artificial intelligence and symbolic computation ; 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
This book constitutes the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006, held in Beijing, China in September 2006. The 18 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 39 submissions. Based on heuristics and mathematical algorithmics, artificial intelligence and symbolic computation are two views and approaches for automating (mathematical) problem solving. The papers address all current aspects in the area of symbolic computing and AI: mathematical foundations, implementations, and applications in industry and academia. The papers are organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part III
The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II
This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS. The total of 142 full papers presented in this two-volume proceedings was carefully reviewed and selected from 1064 submissions. The papers were organized in topical sections as follows: Part I: Artificial intelligence and internet of things. Part II: Internet of things, information security, big data and cloud computing, and information processing.
Artificial Intelligence and Security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part II
The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part I
This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS. The total of 142 full papers presented in this two-volume proceedings was carefully reviewed and selected from 1064 submissions. The papers were organized in topical sections as follows: Part I: Artificial intelligence and internet of things. Part II: Internet of things, information security, big data and cloud computing, and information processing.
Artificial intelligence and security ; 6th International Conference, ICAIS 2020, Hohhot, China, July 17–20, 2020, Proceedings, Part I
The 3-volume set CCIS 1252 until CCIS 1254 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020. The conference was formerly called “International Conference on Cloud Computing and Security” with the acronym ICCCS.
Artificial intelligence and machine learning in health care and medical sciences : Best practices and pitfalls
Provides a detailed review of the latest methods and applications of artificial intelligence (AI) and machine learning (ML) in medicine. With chapters focusing on enabling the reader to develop a thorough understanding of the key concepts in these subject areas along with a range of methods and resulting models that can be utilized to solve healthcare problems, the use of causal and predictive models are comprehensively discussed. Care is taken to systematically describe the concepts to facilitate the reader in developing a thorough conceptual understanding of how different methods and resulting models function and how these relate to their applicability to various issues in health care and medical sciences. Guidance is also given on how to avoid pitfalls that can be encountered on a day-to-day basis and stratify potential clinical risks.
Artificial intelligence and knowledge engineering applications : A bioinspired approach ; 1st international work-Conference on the interplay between natural and artificial computation, IWINAC 2005, Las Palmas, Canary Islands, Spain, June 15-18, 2005, Proceedings, Part II
The computational paradigm considered here is a conceptual, theoretical andformal framework situated above machines and living creatures (two instantia-tions), sufficiently solid, and still non-exclusive, that allows us:1. to help neuroscientists to formulate intentions, questions, experiments, meth-ods and explanation mechanisms assuming that neural circuits are the psy-chological support of calculus;2. to help scientists and engineers from the fields of artificial intelligence (AI)and knowledge engineering (KE) to model, formalize and program the com-putable part of human knowledge;3. to establish an interaction framework between natural system computation(NSC) and artificial system computation (ASC) in both directions, fromASC to NSC (in computational neuroscience), and from NSC to ASC (inbioinspired computation).
Artificial intelligence and innovations 2007 : from theory to applications ; Proceedings of the 4th IFIP International Conference on Artificial Intelligence Applications and Innovations (AIAI2007)
This book brings together leading research from engineers and practitioners interested in the technical advances, business and industrial applications of intelligent systems.It is focused on providing insights on how AI can be implemented in real world applications. Intelligent Internet Systems: Emerging Technologies and Applications
Artificial intelligence : Theories, models and applications ; 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings
This book constitutes the refereed proceedings of the 5th Hellenic Conference on Artificial Intelligence, SETN 2008, held at Syros, Greece in October 2008.
Artificial intelligence : Methodology, systems, and applications ; 13th International Conference, AIMSA 2008, Varna, Bulgaria, September 4-6, 2008. Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2008, held in Varna, Bulgaria in September 2008.
Artificial intelligence : Methodology, systems, and applications ; 10th International Conference, AIMSA 2002, Varna, Bulgaria, September 4-6, 2002. Proceedings
The AIMSA conference series was frst conceived in 1984 as a gathering of AI researchers and students from Eastern and Central Europe.Sincethenthecon- rence has followed a biennial schedule of meetings in Bulgaria, attracting parti- pantsfrom awidergeographicalarea.The AIMSA organizers are delighted to present you with another exciting program, coveringmostareasof Artifcial Intelligence.Inkeepingwithitsm- sion to inform the research community and excite the commercial sector, AIMSA presents this year two invited contributions from world-leading European rese- chersworkingoncutting-edgeAIresearch: Prof.CaroleGoble, ontheSemantic Web.
Artificial immune systems ; 7th International Conference, ICARIS 2008, Phuket, Thailand, August 10-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Artificial Immune Systems, ICARIS 2008, held in Phuket, Thailand, in August 2008.
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.
Argumentation in multi-agent systems ; Vol. 3366 ; 1st International Workshop, ArgMAS 2004, New York, NY, USA, July 19, 2004, revised selected and invited papers
The theory of argumentation is a rich, interdisciplinary area of research lying across philosophy, communication studies, linguistics, and psychology (at least). Its techniques and results have found a wide range of applications in both t- oretical and practical branches of arti'cial intelligence and computer science. Several theories of argumentation with various semantics have been proposed in the literature. Multi-agent systems theory has picked up argument-inspired approaches and speci'cally argumentation-theoretic results from many di'erent areas. The community of researchers in argumentation and multi-agent systems is currently presented with a unique opportunity to integrate the various und- standings of argument into a coherent and core part of the functioning of - tonomouscompu...
Architecture of advanced numerical analysis systems: designing a scientific computing system using ocaml
Applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library. You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language.
Applied mathematics and machine learning
The simultaneous availability of large datasets and high-performance computing capability in recent years has enabled the rapid development of powerful machine learning algorithms. On the one hand, state-of-the-art machine learning techniques have transformed many areas of science and engineering; on the other hand, theoretical discoveries in mathematical algorithms, differential equations, and statistical inferences, to name a few, have provided the foundation for the exploration of new multidisciplinary models for solving practical problems. This Special Issue endeavors to continue the journey that started in our previous Special Issue (Applied Mathematics and Computational Physics) by providing a platform for researchers from both academia and industry, as well as government, to present their new computational methods that have engineering and physics applications.
Applications of Membrane Computing
Membrane computing is a branch of natural computing which investigates computing models abstracted from the structure and functioning of living cells and from their interactions in tissues or higher-order biological structures. The models considered, called membrane systems (P systems), are parallel, distributed computing models, processing multisets of symbols in cell-like compartmental architectures. In many applications membrane systems have considerable advantages – among these are their inherently discrete nature, parallelism, transparency, scalability and nondeterminism.
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 Agent Technology in Traffic and Transportation
Building effective and user-friendly transportation systems is one of the big challenges for engineers in the 21st century. There is an increasing need to understand, model, and govern such systems at both the individual (micro) and the society (macro) level. Still, this raises significant technical problems, as transportation systems may contain thousands of autonomous, "intelligent" entities that need to be simulated and/or controlled. Therefore, traffic and transportation scenarios are extraordinarily appealing for Distributed Artificial Intelligence, and (multi-) agent technology in particular. This book gives an overview of recent advances in agent-based transportation systems. It includes both a state-of-the-art survey and reports on cutting-edge research in the field.
