Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications, Wolfgang Bibel; P.H. Schmitt
Автор: Wolfgang Bibel; P.H. Schmitt Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications ISBN: 0792351304 ISBN-13(EAN): 9780792351306 Издательство: Springer Рейтинг: Цена: 234790.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
Автор: Wolfgang Bibel; P.H. Schmitt Название: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications ISBN: 0792351290 ISBN-13(EAN): 9780792351290 Издательство: Springer Рейтинг: Цена: 266470.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Covers development in the field of automated deduction. This book focuses on the investigation of problems derived from realistic applications. It focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building.
Автор: Fuchun Sun; Tianrui Li; Hongbo Li Название: Foundations and Applications of Intelligent Systems ISBN: 3642378285 ISBN-13(EAN): 9783642378287 Издательство: Springer Рейтинг: Цена: 232910.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Furthermore they include papers on new intelligent computing paradigms, which combine new computing methodologies, e.g., cloud computing, service computing and pervasive computing with traditional intelligent methods.
Автор: Margaria Название: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 3319471651 ISBN-13(EAN): 9783319471655 Издательство: Springer Рейтинг: Цена: 98760.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Statistical Model Checking: Past, Present and Future.- Hypothesis testing for rare-event simulation: limitations and possibilities.- Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances.- Feedback Control for Statistical Model Checking of Cyber-Physical Systems.- Probabilistic Model Checking of Incomplete Models.- Plasma Lab: A Modular Statistical Model Checking Platform.- Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO.- Statistical Model Checking for Product Lines.- Towards Adaptive Scheduling of Maintenance for Cyber-Physical Systems.- Better railway engineering through statistical model checking.- On Creation and Analysis of Reliability Models by Means of Stochastic Timed Automata and Statistical Model Checking: Principle.- Automatic Synthesis of Code using Genetic Programming.- Evaluation and Reproducibility of Program Analysis and Verification (Track Introduction).- Symbolic Execution with CEGAR.- Multi-Core Model Checking of Large-Scale Reactive Systems Using Different State Representations.- Sparse Analysis of Variable Path Predicates Based Upon SSA-Form.- A Model Interpreter for Timed Automata.- ModSyn-PP: Modular Synthesis of Programs and Processes: Track Introduction.- Combinatory Process Synthesis.- Synthesis from a Practical Perspective.- A Long and Winding Road Towards Modular Synthesis.- Semantic heterogeneity in the formal development of complex systems: an introduction.- On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications.- Strengthening MDE and Formal Design Models by references to Domain Ontologies. A Model Annotation Based Approach.- Towards Functional Requirements Analytics.- Heterogeneous Semantics and Unifying Theories.- Static and Runtime Verification: Competitors or Friends?.- StaRVOOrS - Episode II, Strengthen and Distribute the Force.- A Model-Based Approach to Combining Static and Dynamic Verification Techniques.- Information flow analysis for Go.- Challenges in High-Assurance Runtime Verification .- Static versus Dynamic Verification in Why3, Frama-C and SPARK 2014.- Considering Type-State Verification for Quantified Event Automata.- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.- On Combinations of Static and Dynamic Analysis.- Safer Refactorings.- Rigorous Engineering of Collective Adaptive Systems.- Programming of CAS systems by relying on attribute-based communication.- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems.- A Calculus for Open Ensembles and Their Composition.- Logic Fragments: coordinating entities with logic programs.- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference.- A Library and Scripting Language for Tool Independent Simulation Descriptions.- Adaptation to the unforeseen: Do we master our autonomous systems?'-- Questions to the Panel.- Smart coordination of autonomic component ensembles in the context of ad-hoc communication.- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems.- Rigorous graphical modelling of movement in Collective Adaptive Systems.- Integration and Promotion of Autonomy with the ARE Framework.- Safe Artificial Intelligence and Formal Methods.- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues.- Correctness-by-Construction and Post-hoc Verification: Friends or Foes?.- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?.- Deductive Verification of Legacy Code.- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families.- Conditions for Compatibility of Components - The case of masters and slaves.- A Logic for Statistical Model Checking of Dynamic Software Architectures.- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithms
Автор: Tiziana Margaria; Bernhard Steffen Название: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications ISBN: 3662452308 ISBN-13(EAN): 9783662452301 Издательство: Springer Рейтинг: Цена: 74530.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, held in Imperial, Corfu, Greece, in October 2014.
Автор: Mark d`Inverno; Michael Luck; Michael Fisher; Chri Название: Foundations and Applications of Multi-Agent Systems ISBN: 3540439625 ISBN-13(EAN): 9783540439622 Издательство: Springer Рейтинг: Цена: 65210.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This text presents revised full versions of papers contributed to UK Workshops on Multi-Agent Systems, UKMAS, during 1996 and 2000. The 15 papers deal with various aspects of agent technology, with a certain emphasis on foundational issues in multi-agent systems.
Автор: Fuchun Sun; Dewen Hu; Huaping Liu Название: Foundations and Practical Applications of Cognitive Systems and Information Processing ISBN: 364237834X ISBN-13(EAN): 9783642378348 Издательство: Springer Рейтинг: Цена: 232910.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Foundations of Cognitive Systems.- Information Processing.- Practical Applications.
Автор: Jan L. Talmon; John Fox Название: Knowledge Based Systems in Medicine: Methods, Applications and Evaluation ISBN: 3540550119 ISBN-13(EAN): 9783540550112 Издательство: Springer Рейтинг: Цена: 81050.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This proceedings volume contains a series of essays that describe the use of artificial intelligence in medical research in Europe. Methodological issues regarding the construction and evaluation of medical decision aids are discussed as well as applications for critical and chronic care.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
