Refine Results
Sort By
From
To
Page 33
Page 33
Advanced artificial intelligence models and its applications
The field of artificial intelligence (AI) has undergone enormous expansion since its inception in the mid-20th century, as demonstrated by its application across an array of engineering and scientific challenges. Particularly in the last decade, AI has witnessed a significant breakthrough with the advent of deep learning, which has facilitated the employment of various AI models across a multitude of domains. This reprint features ten papers accepted for publication in the Special Issue titled "Advanced Artificial Intelligence Models and Their Applications," published in the MDPI Mathematics journal. These papers explore numerous facets of advanced artificial intelligence models and their applications, covering areas such as cybersecurity, image classification, logistics optimization, automatic music generation, human capital investment, writer recognition, remote sensing image indexing, target tracking, and more.
Advanced Algorithms and Data Structures
introduces a collection of algorithms for complex programming challenges in data analysis, machine learning, and graph computing. You’ll discover cutting-edge approaches to a variety of tricky scenarios. You’ll even learn to design your own data structures for projects that require a custom solution. What's inside Build on basic data structures you already know Profile your algorithms to speed up application Store and query strings efficiently Distribute clustering algorithms with MapReduce Solve logistics problems using graphs and optimization algorithms
Advance Concepts of Image Processing and Pattern Recognition : Effective Solution for Global Challenges
Explains the important concepts and principles of image processing to implement the algorithms and techniques to discover new problems and applications. It contains numerous fundamental and advanced image processing algorithms and pattern recognition techniques to illustrate the framework. It presents essential background theory, shape methods, texture about new methods, and techniques for image processing and pattern recognition. It maintains a good balance between a mathematical background and practical implementation. This book also contains the comparison table and images that are used to show the results of enhanced techniques. This book consists of novel concepts and hybrid methods for providing effective solutions for society. It also includes a detailed explanation of algorithms in various programming languages like MATLAB, Python, etc.
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction
Adobe® Acrobat® and PDF for Architecture, Engineering, and Construction is designed to appeal to the engineering mind. The book is a practical guide focusing on the applications of PDF in the solution of "engineering" problems which may arise in a number of disciplines from architecture to construction. Using real-world examples, the authors follow a project from design through build and long-term maintenance. As the sample project evolves, suitable Acrobat® tools and techniques are identified and brought into play at each stage, showing readers how to personalize the context and processes to meet their own project development and management needs.
Adaptive-robust control with limited knowledge on systems dynamics : An artificial input delay approach and beyond
investigates the role of artificial input delay in approximating unknown system dynamics, referred to as time-delayed control (TDC), and provides novel solutions to current design issues in TDC. Its central focus is on designing adaptive-switching gain-based robust control (ARC) for a class of Euler–Lagrange (EL) systems with minimal or no knowledge of the system dynamics parameters. The newly proposed TDC-based ARC tackles the commonly observed over- and under-estimation issues in switching gain. The consideration of EL systems lends a practical perspective on the proposed methods, and each chapter is supplemented by relevant experimental data
Adaptive Motion of Animals and Machines
Apparently, the ability of animals and robots to adapt in a real world cannot be explained or realized by one single function in a control system and mechanism. That is, adaptation in motion is induced at every level from the central nervous system to the musculoskeletal system.Thus,weorganized the International Symposium on Adaptive Motion in Animals and Machines (AMAM) forscientist sandengineersconcerned with adaptation on various level stobebrought together todiscussprinciplesateachleveland to investigate principles governing total systems.
Adaptive Learning of Polynomial Networks : Genetic Programming, Backpropagation and Bayesian Methods
This book provides theoretical and practical knowledge for develop ment of algorithms that infer linear and nonlinear models. It offers a methodology for inductive learning of polynomial neural network mod els from data. The design of such tools contributes to better statistical data modelling when addressing tasks from various areas like system identification, chaotic time-series prediction, financial forecasting and data mining. The main claim is that the model identification process involves several equally important steps: finding the model structure, estimating the model weight parameters, and tuning these weights with respect to the adopted assumptions about the underlying data distrib ution. When the learning process is organized according to these steps, performed together one after the other or separately, one may expect to discover models that generalize well.
Adaptive Business Intelligence
In the modern information era, managers must recognize the competitive opportunities represented by decision-support tools. Adaptive business intelligence systems combine prediction and optimization techniques to assist decision makers in complex, rapidly changing environments. These systems address the fundamental questions: What is likely to happen in the future? And what is the best decision right now? Adaptive Business Intelligence includes elements of data mining, predictive modeling, forecasting, optimization, and adaptability.
Adaptive Autonomous Secure Cyber Systems
Establishes scientific foundations for adaptive autonomous cyber systems and ultimately brings about a more secure and reliable Internet. The recent advances in adaptive cyber defense (ACD) have developed a range of new ACD techniques and methodologies for reasoning in an adaptive environment.
Adaptive agents and multi-agent systems II : Adaptation and multi-agent learning
Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental biology, as well as cognitive and social science. This book presents 17 revised and carefully reviewed papers taken from two workshops on the topic as well as 2 invited papers by leading researchers in the area. The papers deal with various aspects of machine learning, adaptation, and evolution in the context of agent systems and autonomous agents.
Adapting Proofs-as-Programs : The Curry--Howard Protocol
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing programs from proofs in constructive logic. there is increasingly active research in applying constructive techniques to industrial-scale, complex software engineering problems. Thismonographdetailsseveralimportantadvancesinthisdirectionofpr- tical proofs-as-programs. One of the central themes of the book is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. Framework-oriented approaches that facilitate analogous - proaches to building systems for solving particular problems have been popular and successful. Thesemethodsarehelpful asthey providea formal toolbox that enablesa“roll-your-own”approachtodevelopingsolutions.Itishopedthatour framework will have a similar impact. The framework is demonstrated by example. We will give two novel - plications of proofs-as-programs to large-scale, coarse-grain software engine- ing problems: contractual imperative program synthesis and structured p- gram synthesis.
Active Knowledge Modeling of Enterprises
An AKM solution is about exploiting the Web as a knowledge engineering medium, and developing knowledge-model-based families of platforms, model-configured workplaces and services.
Access Control Systems : Security, Identity Management and Trust Models
Access Control Systems: Security, Identity Management and Trust Models provides a thorough introduction to the foundations of programming systems security, delving into identity management, trust models, and the theory behind access control models. The book details access control mechanisms that are emerging with the latest Internet programming technologies, and explores all models employed and how they work. The latest role-based access control (RBAC) standard is also highlighted.
Access Control Models and Architectures For IoT and Cyber Physical Systems
Presents cybersecurity aspects of ubiquitous and growing IoT and Cyber Physical Systems. It also introduces a range of conceptual, theoretical, and foundational access control solutions. This was developed by the authors to provide an overall broader perspective and grounded approach to solve access control problems in IoT and CPS.
Accelerated VB 2008
Visual Basic 2008 offers powerful new features, and Accelerated VB 2008 is the fastest path to mastering them, and the rest of Visual Basic, for both experienced Visual Basic programmers moving to VB 2008 and programmers moving to Visual Basic from another object–oriented language. Many books introduce VB, but very few also explain how to use it optimally with the .NET common language runtime (CLR). This book teaches both core Visual Basic language concepts and how to wisely employ VB idioms and object–oriented design patterns to exploit the power of VB and the CLR.
Accelerated SQL Server 2008
The expert tuition and approach to rapid learning in Accelerated SQL Server 2008, one of the first SQL Server 2008 books available, will enable SQL Server and other database professionals to make the leap to the 2008 release of Microsoft's flagship database management system quickly. Take full advantage of the features of SQL Server 2008, know what tools are available, and quickly realize the power and ease of use that SQL Server 2008 has to offer.
Accelerated GWT : Building Enterprise Google Web Toolkit Applications
Ajax is a web development technique that takes advantage of JavaScript to display and interact dynamically with information embedded into a web page. Its emergence has made it possible to create web applications that closely resemble their desktop–based brethren. With this exciting new ability came several challenges; not only did developers have to learn JavaScript, but they were also forced to use inefficient development processes, not to mention deal with cross–platform and browser difficulties. But with the release of Google Web Toolkit (GWT), Java developers are able to continue using their favorite language to write powerful Ajax applications while using not only the Java language, but also the very same development tools they're already using on a daily basis!
Abstraction, refinement and proof for probabilistic systems
Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency in sequential algorithms, enable otherwise nonfunctional distribution applications, and allow quantification of risk and safety in general. This makes operational models of how they work, and logics for reasoning about them, extremely important. Abstraction, Refinement and Proof for Probabilistic Systems presents a rigorous approach to modeling and reasoning about computer systems that incorporate probability. Its foundations lie in traditional Boolean sequential-program logic—but its extension to numeric rather than merely true-or-false judgments takes it much further, into areas such as randomized algorithms, fault tolerance, and, in distributed systems, almost-certain symmetry breaking. The presentation begins with the familiar "assertional" style of program development and continues with increasing specialization: Part I treats probabilistic program logic, including many examples and case studies; Part II sets out the detailed semantics; and Part III applies the approach to advanced material on temporal calculi and two-player games.
Abstract Computing Machines : A Lambda Calculus Perspective
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. The emphasis is on fully normalizing machines based on full-fledged beta-reductions as essential prerequisites for symbolic computations that treat functions and variables truly as first-class objects. Their weakly normalizing counterparts are shown to be functional abstract machines that sacrifice the flavors of full beta-reductions for decidedly simpler runtime structures and improved runtime efficiency. Further downgrading of the lambda calculus leads to classical imperative machines that permit side-effecting operations on the runtime environment.
A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components
Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interacting through method calls. So far, no general formalism has been proposed for the foundation of such systems. Caromel and Henrio are the first to define a calculus for distributed objects interacting using asynchronous method calls with generalized futures, i.e., wait-by-necessity -- a must in large-scale systems, providing both high structuring and low coupling, and thus scalability. The authors provide very generic results on expressiveness and determinism, and the potential of their approach is further demonstrated by its capacity to cope with advanced issues such as mobility, groups, and components.
