الصفحة 16
الصفحة 16
Automated deduction – CADE-20 ; 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005. The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.
Automated deduction – CADE 28 ; 28th International Conference on automated deduction, Virtual Event, July 12–15, 2021, Proceedings
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Attention and Performance in Computational Vision ; 2nd International Workshop, WAPCV 2004, Prague, Czech Republic, May 15, 2004, Revised Selected Papers
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Attention and Performance in Computational Vision, WAPCV 2004, held in Prague, Czech Republic in May 2004. The goal of this workshop was to provide an interdisciplinary forum tocommunicatecomputationalmodelsofvisualattentionfromvariousviewpoints,such as from computer vision, psychology, robotics and neuroscience. The motivation for - terdisciplinarity was communication and inspiration beyond the individual community, to focus discussion on computational modelling, to outline relevant objectives for p- formance comparison, to explore promising application domains, and to discuss these with reference to all related aspects of cognitive vision.
Artificial Intelligent Techniques for Wireless Communication and Networking
Wireless communication and networking based on AI concepts and techniques are explored in this book, specifically focusing on the current research in the field by highlighting empirical results along with theoretical concepts. The possibility of applying AI mechanisms towards security aspects in the communication domain is elaborated; also explored is the application side of integrated technologies that enhance AI-based innovations, insights, intelligent predictions, cost optimization, inventory management, identification processes, classification mechanisms, cooperative spectrum sensing techniques, ad-hoc network architecture, and protocol and simulation-based environments.
Artificial intelligence-based Internet of things systems
Discusses the evolution of future generation technologies through Internet of Things (IoT) in the scope of Artificial Intelligence (AI). The main focus of this volume is to bring all the related technologies in a single platform, so that undergraduate and postgraduate students, researchers, academicians, and industry people can easily understand the AI algorithms, machine learning algorithms, and learning analytics in IoT-enabled technologies. This book uses data and network engineering and intelligent decision support system-by-design principles to design a reliable AI-enabled IoT ecosystem and to implement cyber-physical pervasive infrastructure solutions. This book brings together some of the top IoT-enabled AI experts throughout the world who contribute their knowledge regarding different IoT-based technology aspects. Addresses the complete functional framework workflow in AI-enabled IoT ecosystem; Presents intelligent object identification and object discovery through the IoT ecosystem and its implications to the real world ;Explores security and privacy issues and trustworthy machine learning related to data-intensive technologies in AI-based IoT ecosystems.
Artificial intelligence in theory and practice II : IFIP 20th World Computer Congress, TC 12 : IFIP AI 2008 Stream, September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Artificial intelligence applications and innovations ; 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5–7, 2020, Proceedings, Part I
This 2 volume-set of IFIP AICT 583 and 584 constitutes the refereed proceedings of the 16th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2020, held in Neos Marmaras, Greece, in June 2020.* The 70 full papers and 5 short papers presented were carefully reviewed and selected from 149 submissions. They cover a broad range of topics related to technical, legal, and ethical aspects of artificial intelligence systems and their applications
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 data mining approaches in security frameworks
Offers solutions to the problems of security, outlining the concepts behind allowing computers to learn from experience and understand the world in terms of a hierarchy of concepts, with each concept defined through its relation to simpler concepts. provides state of the art approaches of artificial intelligence and data mining in these areas. It includes areas of detection, prediction, as well as future framework identification, development, building service systems and analytical aspects. In all these topics, applications of AI and data mining, such as artificial neural networks, fuzzy logic, genetic algorithm and hybrid mechanisms, are explained and explored. This book is aimed at the modeling and performance prediction of efficient security framework systems, bringing to light a new dimension in the theory and practice. This groundbreaking new volume presents these topics and trends, bridging the research gap on AI and data mining to enable wide-scale implementation. Whether for the veteran engineer or the student, this is a must-have for any library. This groundbreaking new volume: Clarifies the understanding of certain key mechanisms of technology helpful in the use of artificial intelligence and data mining in security frameworks ; Covers practical approaches to the problems engineers face in working in this field, focusing on the applications used every day ; Contains numerous examples, offering critical solutions to engineers and scientists ; Presents these new applications of AI and data mining that are of prime importance to human civilization as a whole
Artificial evolution ; 7th International Conference, Evolution artificielle, EA 2005, revised selected papers
This book constitutes the thoroughly refereed post-proceedings of the 7th International Conference on Artificial Evolution, EA 2005, held in Lille, France, in October 2005. They cover all aspects of artificial evolution: genetic programming, machinelearning, combinatorial optimization, co-evolution, self-assembling, artificial lifeand bioinformatics.In addition, the program included an invited talk by David Corne on “Evolu-tionary Computation in Bioinformatics: How to Save Lives and Make ScientificBreakthrough.
Architecture of computing systems - ARCS 2007 ; 20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings
The ARCS is reporting hi- quality results in computer architecture and operating systems research.It is also represent a - namic, evolving community that closely follows new research trends and topics. ARCS has evolved towards a strong focus on s- tem aspects of pervasive computing and self-organization techniques (organic and autonomic computing).
Architecture description languages ; IFIP TC-2 workshop on architecture description languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France
These proceedings record the papers presented at the Workshop onArchitecture Description Languages held in the city of Toulouse in thesouth of France.The aim of an ADL (Architecture Description Language) is to formallydescribe software and hardware architectures. Usually, an ADL describescomponents, their interfaces, their structures, their interactions (structureof data flow and control flow) and the mappings to hardware systems. Amajor goal of such descriptions is to allow analysis with respect to severalaspects like timing, safety, reliability, ...
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.
Approximation, randomization and combinatorial optimization. algorithms and techniques ; 10th International Workshop, APPROX 2007, and 11th International Workshop, RANDOM 2007, Princeton, NJ, USA, August 20-22, 2007, Proceedings
It aims, in particular, at fostering cooperation among - gorithmic and complexity researchers in the field. It focuses on algorithmic and complexity aspects ar- ing in the development of eficient approximate solutions to computationally dificult problems.
Applied Deep Learning with TensorFlow 2 : Learn to Implement Advanced Deep Learning Techniques with Python
Focuses on the fundamental concepts and at the same time on practical aspects of implementing neural networks and deep learning for your research projects. This book is designed so that you can focus on the parts you are interested in. You will explore topics as regularization, optimizers, optimization, metric analysis, and hyper-parameter tuning. In addition, you will learn the fundamentals ideas behind autoencoders and generative adversarial networks. All the code presented in the book will be available in the form of Jupyter notebooks which would allow you to try out all examples and extend them in interesting ways. A companion online book is available with the complete code for all examples discussed in the book and additional material more related to TensorFlow and Keras. All the code will be available in Jupyter notebook format and can be opened directly in Google Colab (no need to install anything locally) or downloaded on your own machine and tested locally. You will: Understand the fundamental concepts of how neural networks work / Learn the fundamental ideas behind autoencoders and generative adversarial networks / Be able to try all the examples with complete code examples that you can expand for your own projects / Have available a complete online companion book with examples and tutorials.
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.
Applications and theory of Petri Nets 2005 ; 26th international conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new - vancesintheapplicationandtheoryofPetrinets. Several tutorials and workshops were organized within the conf- ence, covering introductory and advanced aspects related to Petri nets.Detailed
Applications and Techniques in Information Security ; 11th International Conference, ATIS 2020, Brisbane, QLD, Australia, November 12–13, 2020, Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Applications and Techniques in Information Security, ATIS 2020, held in Brisbane, QLD, Australia, in November 2020. Due to the COVID-19 pandemic the conference was be held online. The 8 full papers presented in the volume were carefully reviewed and selected from 24 submissions. The papers are focused on all aspects on techniques and applications in information security research.
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.
Analysis and Design of Information Systems : Third ed.
This third edition of the successful Analysis and Design of Information Systems provides a comprehensive introduction and user-friendly survey to all aspects of business transformation and analysis, and aims to provide the complex set of tools covering all types of systems, including legacy, transactional, database, and web/e-commerce topics.
