الصفحة 21
الصفحة 21
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.
Auralization : Fundamentals of acoustics, modelling, simulation, algorithms and acoustic virtual reality
"Auralization" is the technique of creation and reproduction of sound on the basis of computer data. With this tool is it possible to predict the character of sound signals which are generated at the source and modified by reinforcement, propagation and transmission in systems such as rooms, buildings, vehicles or other technical devices. This book is organized as a comprehensive collection of the basics of sound and vibration, acoustic modelling, simulation, signal processing and audio reproduction. Implementations of the auralization technique are described using examples drawn from various fields in acoustic’s research and engineering, architecture, sound design and virtual reality.
Assembly language for x86 processors ; 8th ed.
Focuses on its primary goal, to teach students how to write and debug programs at the machine level. It will never replace a complete book on computer architecture, but it does give students the first-hand experience of writing software in an environment that teaches them how a computer works. Our premise is that students retain knowledge better when theory is combined with experience. In an engineering course, students construct prototypes; in a computer architecture course, students should write machine-level programs.
Assembly Language for x86 Processors ; 7th ed.
Focuses on its primary goal, to teach students how to write and debug programs at the machine level. It will never replace a complete book on computer architecture, but it does give students the first-hand experience of writing software in an environment that teaches them how a computer works. Our premise is that students retain knowledge better when theory is combined with experience. In an engineering course, students construct prototypes; in a computer architecture course, students should write machine-level programs.
ASP.NET MVC Framework Preview
The ASP.NET MVC framework is the latest evolution of Microsoft's ASP.NET web platform. It introduces a radical high–productivity programming model, promotes cleaner code architecture, supports test–driven development, and provides powerful extensibility, combined with all the benefits of ASP.NET 3.5. ASP.NET MVC Framework Preview is a first look at this technology's main features, designed to give you a head start getting to grips with this powerful new technology.
Asian Digital Libraries. Looking Back 10 Years and Forging New Frontiers ; 10th International Conference on Asian Digital Libraries, ICADL 2007, Hanoi, Vietnam, December 10-13, 2007. Proceedings
The theme reflects upon the growth of the digital libraries community and explores new areas that the community could delve into in the coming years.
Artificial neural networks with Java : Tools for Building Neural Network Applications
Covers the internals of front and back propagation and helps you understand the main principles of neural network processing. You also will learn how to prepare the data to be used in neural network development and you will be able to suggest various techniques of data preparation for many unconventional tasks. You will learn: Use Java for the development of neural network applications / Prepare data for many different tasks / Carry out some unusual neural network processing / Use a neural network to process non-continuous functions / Develop a program that recognizes handwritten digits
Artificial neural networks in Pattern Recognition ; 9th IAPR TC3 Workshop, ANNPR 2020, Winterthur, Switzerland, September 2–4, 2020, Proceedings
This book constitutes the refereed proceedings of the 9th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2020, held in Winterthur, Switzerland, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 22 revised full papers presented were carefully reviewed and selected from 34 submissions. The papers present and discuss the latest research in all areas of neural network-and machine learning-based pattern recognition. They are organized in two sections: learning algorithms and architectures, and applications.
Artificial neural networks – ICANN 2007 ; 17th International Conference, Porto, Portugal, September 9-13, 2007, Proceedings, Part I
This book contains learning theory, advances in neural network learning methods, ensemble learning, spiking neural networks, advances in neural network architectures neural network technologies, neural dynamics and complex systems, data analysis, estimation, spatial and spatio-temporal learning, evolutionary computing, meta learning, agents learning, complex-valued neural networks, as well as temporal synchronization and nonlinear dynamics in neural networks.
Artificial neural networks - ICANN 2006 ; Vol.4132 : 16th International Conference, Athens, Greece, September 10-14, 2006, Proceedings, Part II
This book includes the proceedings of the International Conference on Artificial Neural Networks (ICANN 2006) held on September 10-14, 2006 in Athens, Greece, with tutorials being presented on September 10, the main conference taking place during September 11-13 and accompanying workshops on perception, cognition and interaction held on September 14, 2006. The ICANN conference is organized annually by the European Neural Network Society in cooperation with the International Neural Network Society, the Japanese Neural Network Society and the IEEE Computational Intelligence Society. It is the premier European event covering all topics concerned with neural networks and related areas.
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 hardware design : Challenges and solutions
Learn foundational and advanced topics in Neural Processing Unit design with real-world examples from leading voices in the field. A thorough introduction to neural networks and neural network development history, as well as Convolutional Neural Network (CNN) models Explorations of various parallel architectures, including the Intel CPU, Nvidia GPU, Google TPU, and Microsoft NPU, emphasizing hardware and software integration for performance improvement Discussions of streaming graph for massive parallel computation with the Blaize GSP and Graphcore IPU An examination of how to optimize convolution with UCLA Deep Convolutional Neural Network accelerator filter decomposition
Artificial intelligence for multisource geospatial information
Collects 10 original research contributions published in the Special Issue entitled “Artificial Intelligence for Multisource Geospatial Information” of the ISPRS International Journal of Geo-Information. The focus is on different methods of Geospatial Artificial Intelligence (GeoAI) based on deep learning using different network architectures, clustering, soft computing, and semantic approaches. They are proposed to deal with a variety of Geospatial Big Data (GBD), such as georeferenced texts and photos in social networks, remote sensing images, cartographic maps, multidimensional geo databases, metadata in spatial data infrastructures, and for different tasks, such as for multisource georeferenced text integration and geodata flexible querying, for social sensing by applying sentiment analysis, clustering and geo analysis, for segmentation of roads, clouds and snow, and for detection of small targets and people on the streets.
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 Cybersecurity : Advances and Innovations
Provides advanced system implementation for Smart Cities using artificial intelligence. It addresses the complete functional framework workflow and explores basic and high-level concepts. The book is based on the latest technologies covering major challenges, issues and advances, and discusses intelligent data management and automated systems.
Artificial Intelligence : Applications and innovations
It's about the science of artificial intelligence (AI). AI is the study of the design of intelligent computational agents. This book provides a valuable resource for researchers, scientists, professionals, academicians and students dealing with the new challenges and advances in the areas of AI and innovations. This book also covers a wide range of applications of machine learning such as fire detection, structural health and pollution monitoring and control. Provides insight into prospective research and application areas related to industry and technology / Discusses industry- based inputs on success stories of technology adoption / Discusses technology applications from a research perspective in the field of AI / Provides a hands- on approach and case studies for readers of the book to practice and assimilate learning
Arithmetic of finite fields ; 1st International Workshop, WAIFI 2007, Madrid, Spain, June 21-22, 2007, Proceedings
This book presented structures in finite fields, efficient implementation and architectures, efficient finite field arithmetic, classification and construction of mappings over finite fields, curve algebra, cryptography, codes, and discrete structures.
Architecture of computing systems ; 34th International Conference, ARCS 2021, Virtual Event, June 7–8, 2021, Proceedings
This book constitutes the proceedings of the 34th International Conference on Architecture of Computing Systems, ARCS 2021, held virtually in July 2021. The 12 full papers in this volume were carefully reviewed and selected from 24 submissions. 2 workshop papers (VEFRE) are also included. ARCS has always been a conference attracting leading-edge research outcomes in Computer Architecture and Operating Systems, including a wide spectrum of topics ranging from fully integrated, self-powered embedded systems up to high-performance computing systems. It also provides a platform covering newly emerging and cross-cutting topics, such as autonomous and ubiquitous systems, reconfigurable computing and acceleration, neural networks and artificial intelligence. The selected papers cover a variety of topics from the ARCS core domains, including heterogeneous computing, memory optimizations, and organic computing.
Architecture of computing systems - ARCS 2008 ; 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings
This book constitutes the refereed proceedings of the 21st International Conference on Architecture of Computing Systems, ARCS 2008, held in Dresden, Germany, in February 2008.
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).
