الصفحة 13
الصفحة 13
Battery management systems : Accurate state-of-charge indication for battery-powered applications
Builds further on the contents of the first volume in the Philips Research Book Series, Battery Management Systems - Design by Modelling. Since the subject of battery SoC indication requires a number of disciplines, this book covers all important disciplines starting from (electro)chemistry to understand battery behaviour, via mathematics to enable modelling of the observed battery behaviour and measurement science to enable accurate measurement of battery variables and assessment of the overall accuracy, to electrical engineering to enable an efficient implementation of the developed SoC indication system. It will therefore serve as an important source of information for any person working in engineering and involved in battery management.
Balanced Website Design : Optimising Aesthetics, Usability and Purpose
Balanced Website Design (BWD) is a new methodology that fuses the strengths of traditional structured, stepped, and iterative approaches with a sharp focus on defining and achieving the desired characteristics of purpose, usability and aesthetics – absolutely essential requirements for any website. The book includes discussions of new perspectives on usability and aesthetics in the special context of website design. BWD is suitable for all types of websites, for individual and/or team projects, and should prove to be of significant value for even the most experienced of website designers. BWD provides guidance, structure and detailed documentation/process support for the activity of designing and implementing your next website – helping you to maximise its effectiveness and relevance.
Autonomous intelligent systems : Multi-agents and data mining ; 2nd International workshop, AIS-ADM 2007, St. Petersburg, Russia, June 3-5, 2007, Proceedings
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically focused on the design and implementation of lar- scale open distributed intelligent systems. KDD also provides intelligent inf- mation technology with powerful ideas, algorithms, and software means to help cope with the main problem of artificial intelligence, formulated in the we- known question “Where does the knowledge come from?”, thus actually making modern applications intelligent and adaptive. The evident recent trend in both science and industry is to integrate and take advantage of both technologies. The existing experience with combined application of multi-agent technology to design architectures of distributed (- erarchical and peer-to-peer) data mining and KDD systems, as well as the u- lization of data mining and KDD achievements to provide enhanced intelligence of MAS, confirms the fact that both technologies are capable of mutual enri- ment and their integrateduse may result in intelligent information systems with new emergent properties.
Automatic Differentiation : Applications, Theory, and Implementations
This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students will learn about advances in automatic differentiation techniques and strategies for the implementation of robust and powerful tools. Computational scientists and engineers will benefit from the discussion of applications, which provide insight into effective strategies for using automatic differentiation for design optimization, sensitivity analysis, and uncertainty quantification.
Automated technology for verification and analysis ; 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main topics of the symposium include th- ries useful for providing designers with automated support for obtaining correct software or hardware systems, as well as the implementation of such theories in tools or their application. In the end, 35 papers were selected for inclusion in the program. ATVA 2006 had three keynote speeches given respectively by Thomas Ball, Jin Yang, and Mihalis Yannakakis. The main symposium was preceded by a tutorial day, consisting of three two-hourlectures given by the keynotespeakers.
Automated nanohandling by microrobots
Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. Different aspects of this research field regarding the hardware and software implementation of the system components, including the sensory feedback for automated nanohandling, are discussed in detail. Extensive applications of the microrobot station for nanohandling, nano-characterization and nanostructuring are provided, together with the experimental results.
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.
ASP.NET 1.1 Solutions Toolkit
This collection of reusable ASP.NET components serves two purposes. First, the components are ready to use, so you may add exciting features to your own ASP.NET websites. Second, each component's design and implementation is discussed, and you'll discover tips and tricks applicable for developing your own controls. Controls can be cut and pasted or used as templates for you to build your own controls. And the 15 included controls (programs) cover a broad range of situations, providing you both working coded solutions to your problem and the rationalization behind those solutions. Overall, this highly anticipated book provides immediate solutions to range of common problems.
Artificial neural networks : Formal Models and Their Applications – ICANN 2005 ; 15th International Conference, Warsaw, Poland, September 11-15, 2005, Proceedings, Part II
The second volume contains 162 contributions related to Formal Models and their Applications and deals with new neural network models, supervised learning algorithms, ensemble-based learning, unsupervised learning, recurent neural networks, reinforcement learning, bayesian approaches to learning, learning theory, artificial neural networks for system modeling, decision making, optimalization and control, knowledge extraction from neural networks, temporal data analysis, prediction and forecasting, support vector machines and kernel-based methods, soft computing methods for data representation, analysis and processing, data fusion for industrial, medical and environmental applications, non-linear predictive models for speech processing, intelligent multimedia and semantics, applications to natural language processing, various applications, computational intelligence in games, and issues in hardware implementation.
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 with Python
Introduces readers to various topics and examples of programming in Python, as well as key concepts in artificial intelligence. Python programming skills will be imparted as we go along. Concepts and code snippets will be covered in a step-by-step manner, to guide and instill confidence in beginners. Complex subjects in deep learning and machine learning will be broken down into easy-to-digest content and examples. Artificial intelligence implementations will also be shared, allowing beginners to generate their own artificial intelligence algorithms for reinforcement learning, style transfer, chatbots, speech, and natural language processing.
Artificial Intelligence for Cloud and Edge Computing
Discusses the future possibilities of AI with cloud computing and edge computing. Aims to conduct analyses, implementation and discussion of many tools (of artificial intelligence, machine learning and deep learning and cloud computing, fog computing, and edge computing including concepts of cyber security) for understanding integration of these technologies. Readers can quickly get an overview of these emerging topics and get many ideas of the future of AI with cloud, edge, and in many other areas. Topics include machine and deep learning techniques for Internet of Things based cloud systems; security, privacy and trust issues in AI based cloud and IoT based cloud systems; AI for smart data storage in cloud-based IoT; blockchain based solutions for AI based cloud and IoT based cloud systems.This book is relevent to researchers, academics, students, and professionals. Presents fusion of cloud computing services and AI technology for bringing a significant change in the technology industry; Includes self-assessment problems for increasing knowledge of real world problems, i.e., how AI and cloud/edge computing can change business for the better; Provides innovative results of integrations of AI in other applications such as healthcare, finance, manufacturing, transportation, agriculture, etc.
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 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 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 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.
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.
Argumentation in multi-agent systems ; Third International Workshop, ArgMAS 2006, Hakodate, Japan, May 8, 2006, revised selected and invited papers
Argumentation provides tools for designing, implementing and analyzing sophisticated forms of interaction among rational agents. It has made a solid contribution to the practice of multiagent dialogues. Application domains include: legal disputes, business negotiation, labor disputes, team formation, scientific inquiry, deliberative democracy, ontology reconciliation, risk analysis, scheduling, and logistics.
Argumentation in multi-agent systems ; 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, revised selected and invited papers
This volume presents the latest developments in the growing area of research at the interface of argumentation theory and multiagent systems. Argumentation provides tools for designing, implementing and analyzing sophisticated forms of interaction among rational agents.
