تحسين النتائح
ترتيب حسب
من
الى
الصفحة 8
الصفحة 8
Algorithmic methods for railway optimization ; International Dagstuhl workshop, railway optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers
This state-of-the-art survey features papers that were selected after an open call following the International Dagstuhl Seminar on Algorithmic Methods for Railway Optimization. The second part of the volume constitutes the refereed proceedings of the 4th International Workshop on Algorithmic Methods and Models for Optimization of Railways.
Algebraic Methodology and Software Technology ; 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.
Algebra, Meaning, and Computation ; Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday
This Festschrift volume - published to honor Joseph Goguen on his 65th Birthday on June 28, 2006 - includes 32 refereed papers by leading researchers in the different areas spanned by Joseph Goguen's work. The papers address a broad variety of topics from meaning, meta-logic, specification and composition, behavior and formal languages, as well as models, deduction, and computation.The papers were presented at a Symposium in San Diego, California, USA in June 2006.
AI-Enabled Threat Detection and Security Analysis for Industrial IoT
Provides the state-of-the-art development on security and privacy for cyber-physical systems (CPS) and industrial Internet of Things (IIoT). More specifically, this book discusses the security challenges in CPS and IIoT systems as well as how Artificial Intelligence (AI) and Machine Learning (ML) can be used to address these challenges. Furthermore, this book proposes various defence strategies, including intelligent cyber-attack and anomaly detection algorithms for different IIoT applications.
AI in drug discovery
Constitutes the refereed proceedings of the First international workshop on ai in Drug Discovery, AIDD 2024, held as a part of the 33rd International Conference on Artificial Neural Networks, ICANN 2024, in Lugano, Switzerland, on September 19, 2024. These papers focus on various aspects of the rapidly evolving field of Artificial Intelligence (AI)-driven drug discovery in chemistry, including Big Data and advanced Machine Learning, eXplainable AI (XAI), Chemoinformatics, Use of deep learning to predict molecular properties, Modeling and prediction of chemical reaction data and Generative models.
Advancing Computational Intelligence Techniques for Security Systems Design
Security systems have become an integral part of the building and large complex setups, and intervention of the computational intelligence (CI) paradigm plays an important role in security system architecture. This book covers both theoretical contributions and practical applications in security system design by applying the Internet of Things (IoT) and CI. It further explains the application of IoT in the design of modern security systems and how IoT blended with computational intel- ligence can make any security system improved and realizable. Focuses on the computational intelligence techniques of security system design / Covers applications and algorithms of discussed computational intelligence techniques / Includes convergence-based and enterprise integrated security systems with their applications / Explains emerging laws, policies, and tools affecting the landscape of cyber security / Discusses application of sensors toward the design of security systems
Advances in web mining and web usage analysis ; 6th International workshop on knowledge discovery on the web, WEBKDD 2004, Seattle, WA, USA, August 22-25, 2004, Revised Selected Papers
The Webisaliveenvironmentthatmanagesanddrivesawidespectrumofapp- cations in which a user may interact with a company, a governmental authority, a non-governmental organization or other non-pro?t institution or other users. User preferences and expectations, together with usage patterns, form the basis for personalized, user-friendly and business-optimal services. Key Web business metrics enabled by proper data capture and processing are essential to run an e?ective business or service. Enabling technologies include data mining, sc- able warehousing and preprocessing, sequence discovery, real time processing, document classi?cation, user modeling and quality evaluation models for them. Recipient technologies required for user pro?ling and usage patterns include recommendation systems, Web analytics applications, and application servers, coupled with content management systems and fraud detectors.
Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.
Advances and applications of DSmT for information fusion: Collected works ; Vol.3
One of the most comprehensive and flexible fusion theory based on belief functions. It can work in all fusion spaces: power set, hyper-power set, and super-power set, and has various fusion and conditioning rules that can be applied depending on each application. Some new generalized rules are introduced in this volume with codes for implementing some of them. For the qualitative fusion, the DSm Field and Linear Algebra of Refined Labels (FLARL) is proposed which can convert any numerical fusion rule to a qualitative fusion rule. When one needs to work on a refined frame of discernment, the refinement is done using Smarandache s algebraic codification. New interpretations and implementations of the fusion rules based on sampling techniques and referee functions are proposed, including the probabilistic proportional conflict redistribution rule.
Advances and applications of DSmT for information fusion ; Vol. 4
One of the most comprehensive and flexible fusion theory based on belief functions. It can work in all fusion spaces: power set, hyper-power set, and super-power set, and has various fusion and conditioning rules that can be applied depending on each application. Some new generalized rules are introduced in this volume with codes for implementing some of them. For the qualitative fusion, the DSm Field and Linear Algebra of Refined Labels (FLARL) is proposed which can convert any numerical fusion rule to a qualitative fusion rule. When one needs to work on a refined frame of discernment, the refinement is done using Smarandache s algebraic codification. New interpretations and implementations of the fusion rules based on sampling techniques and referee functions are proposed, including the probabilistic proportional conflict redistribution rule.
Advancement of Deep Learning and its Applications in Object Detection and Recognition
In just the past five years, deep learning has taken the world by surprise, driving rapid progress in fields as diverse as computer vision, natural language processing, automatic speech recognition, etc. This book presents an introduction to deep learning and various applications of deep learning such as recommendation systems, text recognition, diabetic retinopathy prediction of breast cancer, prediction of epilepsy, sentiment, fake news detection, software defect prediction and protein function prediction.
Advanced Data Warehouse Design : From Conventional to Spatial and Temporal Applications
This book serves as an introduction to the state of the art on data warehouse design, with many references to more detailed sources. Providing a clear and a concise presentation of the major concepts and results of data warehouse design, it can also be used as the basis of a graduate or advanced undergraduate course.
Advanced Autonomic Networking and Communication
This book presents a comprehensive reference of state-of-the-art efforts and early results in the area of autonomic networking and communication.
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 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.
A Computational Model of Natural Language Communication : Interpretation, Inference, and Production in Database Semantics
Part I of this book presents a high-level description of an artificial agent which humans can freely communicate with in their accustomed language. Part II analyzes the major constructions of natural language, i.e., intra- and extrapropositional functor - argument structure, coordination, and coreference, in the speaker and the hearer mode. Part III defines declarative specifications for fragments of English, which are used for an implementation in Java.
50 Years of Artificial Intelligence : Essays Dedicated to the 50th Anniversary of Artificial Intelligence
This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leading researchers in the field of Artificial Intelligence. The papers were carefully selected from the invited lectures given at the 50th Anniversary Summit of AI, held at the Centro Stefano Franscini, Monte Verità, Ascona, Switzerland, July 9-14, 2006. The summit provided a venue for discussions on a broad range of topics.
3D Imaging, Analysis and Applications
This textbook is designed for postgraduate studies in the field of 3D Computer Vision. It also provides a useful reference for industrial practitioners; for example, in the areas of 3D data capture, computer-aided geometric modelling and industrial quality assurance. This second edition is a significant upgrade of existing topics with novel findings. Additionally, it has new material covering consumer-grade RGB-D cameras, 3D morphable models, deep learning on 3D datasets, as well as new applications in the 3D digitization of cultural heritage and the 3D phenotyping of crops.
3D Imaging for Safety and Security
This book is so far the first that covers the current state of the art in 3D imaging for safety and security. Special attention was given to advanced 3D imaging technologies in the context of safety and security applications. Comparative evaluation studies showing advantages of 3D imaging over traditional 2D imaging for a given computer vision or pattern recognition task were emphasized. Moreover, additional experts in the field of 3D imaging for safety and security were invited by the editors for a contribution to this book.
Comprehensive applied basic sciences : For MDS students
All the questions are answered as per the type of question (long | short) and with “to the point” answers to make it more interesting. Answers are selected authentically from standard textbooks commonly referred to by the students to avoid confusion during examinations. Each answer is explained in heading and subheadings to break the continuous text. Written in a simple, well structured and point-wise format with a comprehensive examination-oriented description along with the diagrammatic representation. An indispensable book for the ‘last minute’ revision while preparing for the examinations and for quick reference throughout the course duration.
