Rules and Reasoning: 4th International Joint Conference, Ruleml+rr 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings, Gutiйrrez-Basulto Vнctor, Kliegr Tomбs, Soylu Ahmet
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part V ISBN: 3030588130 ISBN-13(EAN): 9783030588137 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Interactive Theorem Proving/ HOL.- Competing inheritance paths in dependent type theory: a case study in functional analysis.- A Lean tactic for normalising ring expressions with exponents (short paper).- Practical proof search for Coq by type inhabitation.- Quotients of Bounded Natural Functors.- Trakhtenbrot's Theorem in Coq.- Deep Generation of Coq Lemma Names Using Elaborated Terms.- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs.- Validating Mathematical Structures.- Teaching Automated Theorem Proving by Example: PyRes 1.2 (system description).- Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages.- Formalizations.- Formalizing the Face Lattice of Polyhedra.- Algebraically Closed Fields in Isabelle/HOL.- Formalization of Forcing in Isabelle/ZF.- Reasoning about Algebraic Structures with Implicit Carriers in Isabelle/HOL.- Formal Proof of the Group Law for Edwards Elliptic Curves.- Verifying Farad_zev-Read type Isomorph-Free Exhaustive Generation.- Verification.- Verified Approximation Algorithms.- Efficient Verified Implementation of Introsort and Pdqsort.- A Fast Verified Liveness Analysis in SSA form.- Verification of Closest Pair of Points Algorithms.- Reasoning Systems and Tools.- A Polymorphic Vampire (short paper).- N-PAT: A Nested Model-Checker (system description).- HYPNO: Theorem Proving with Hypersequent Calculi for Non-Normal Modal Logics (system description).- Implementing superposition in iProver (system description).- Moin: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (system description).- Make E Smart Again.- Automatically Proving and Disproving Feasibility Conditions.- -term: Verify Termination Properties Automatically (system description).- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (system description).- The Imandra Automated Reasoning System (system description).- A Programmer's Text Editor for a Logical Theory: The SUMOjEdit Editor (system description).- Sequoia: a playground for logicians (system description).- Prolog Technology Reinforcement Learning Prover (system description).
Invited Paper.- Efficient Automated Reasoning about Sets and Multisets with Cardinality Constraints.- SAT; SMT and QBF.- An SMT Theory of Fixed-Point Arithmetic.- Covered Clauses Are Not Propagation Redundant.- The Resolution of Keller's Conjecture.- How QBF Expansion Makes Strategy Extraction Hard.- Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates.- Solving bit-vectors with MCSAT: explanations from bits and pieces.- Monadic Decomposition in Integer Linear Arithmetic.- Scalable Algorithms for Abduction via Enumerative Syntax-Guided Synthesis.- Decision Procedures and Combination of Theories.- Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols.- Combined Covers and Beth Definability.- Deciding Simple Infinity Axiom Sets with one Binary Relation by Means of Superpostulates.- A Decision Procedure for String to Code Point Conversion.- Politeness for The Theory of Algebraic Datatypes.- Superposition.- A Knuth-Bendix-Like Ordering for Orienting Combinator Equations.- A Combinator-Based Superposition Calculus for Higher-Order Logic.- Subsumption Demodulation in First-Order Theorem Proving.- A Comprehensive Framework for Saturation Theorem Proving.- Proof Procedures.- Possible Models Computation and Revision - A Practical Approach.- SGGS Decision Procedures.- Integrating Induction and Coinduction via Closure Operators and Proof Cycles.- Logic-Independent Proof Search in Logical Frameworks (short paper).- Layered Clause Selection for Theory Reasoning (short paper).- Non Classical Logics.- Description Logics with Concrete Domains and General Concept Inclusions Revisited.- A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic.- Constructive Hybrid Games.- Formalizing a Seligman-Style Tableau System for Hybrid Logic (short paper).- NP Reasoning in the Monotone -Calculus.- Soft subexponentials and multiplexing.- Mechanised Modal Model Theory.
Автор: Ahrendt Wolfgang, Wehrheim Heike Название: Tests and Proofs: 14th International Conference, Tap 2020, Held as Part of Staf 2020, Bergen, Norway, June 22-23, 2020, Proceedings ISBN: 303050994X ISBN-13(EAN): 9783030509941 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Benchmarking Combinations of Learning and Testing Algorithms for Active Automata Learning.- Mutation Testing of Smart Contracts at Scale.- Deductive Binary Code Verification Against Source-Code-Level Specifications.- Spatial-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries.- SAT Modulo Differential Equation Simulations.- Verified Runtime Assertion Checking for Memory Properties.- Testing for Race Conditions in Distributed Systems via SMT Solving.- SASA: a SimulAtor of Self-stabilizing Algorithms.- A Graphical Toolkit for the Validation of Requirements for Detect and Avoid Systems.- ScAmPER: Generating Test Suites to Maximise Code Coverage in Interactive Fiction Games.
Автор: Singhal Anoop, Vaidya Jaideep Название: Data and Applications Security and Privacy XXXIV: 34th Annual Ifip Wg 11.3 Conference, Dbsec 2020, Regensburg, Germany, June 25-26, 2020, Proceedings ISBN: 3030496686 ISBN-13(EAN): 9783030496685 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the refereed proceedings of the 34th Annual IFIP WG 11.3 Conference on Data and Applications Security and Privacy, DBSec 2020, held in Regensburg, Germany, in June 2020.*The 14 full papers and 8 short papers presented were carefully reviewed and selected from 39 submissions.
Автор: Sun Xingming, Wang Jinwei, Bertino Elisa Название: Artificial Intelligence and Security: 6th International Conference, Icais 2020, Hohhot, China, July 17-20, 2020, Proceedings, Part I ISBN: 3030578836 ISBN-13(EAN): 9783030578831 Издательство: Springer Рейтинг: Цена: 130430.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This two-volume set LNCS 12239-12240 constitutes the refereed proceedings of the 6th International Conference on Artificial Intelligence and Security, ICAIS 2020, which was held in Hohhot, China, in July 2020.
Автор: Gervasi Osvaldo, Murgante Beniamino, Misra Sanjay Название: Computational Science and Its Applications - Iccsa 2020: 20th International Conference, Cagliari, Italy, July 1-4, 2020, Proceedings, Part VII ISBN: 303058819X ISBN-13(EAN): 9783030588199 Издательство: Springer Рейтинг: Цена: 93160.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The seven volumes LNCS 12249-12255 constitute the refereed proceedings of the 20th International Conference on Computational Science and Its Applications, ICCSA 2020, held in Cagliari, Italy, in July 2020.
Автор: Spohrer Jim, Leitner Christine Название: Advances in the Human Side of Service Engineering: Proceedings of the Ahfe 2020 Virtual Conference on the Human Side of Service Engineering, July 16-2 ISBN: 3030510565 ISBN-13(EAN): 9783030510565 Издательство: Springer Рейтинг: Цена: 139750.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Identifying trendsetters in online social networks - a machine learning approach.- Consume less, create more - Digital services in the context of sustainability.- Influence of survey link locational placement on the user rating.- Toward a computable scholarly record.- Research approaches to service innovation: Organizational perspectives.- Innovation-as-a-service: Emergent lessons from an AI innovation management project.- Barriers to Service Innovation using Data Science.- Service design approaches to drive employee engagement.
Clock Synchronization for Mobile Molecular Communication in Nanonetworks.- A Cooperative Molecular Communication for targeted drug Delivery.- Performance of Diffusion-based MIMO Molecular Communications and Dual Threshold Algorithm.- Binary Concentration Shift Keying with Multiple Measurements of Molecule Concentration in Mobile Molecular Communication.- Real-Time Seven Segment Display Detection and Recognition Online System using CNN.- A novel method for extracting high-quality RR intervals from noisy single-lead ECG signals.- Leak-resistant design of DNA strand displacement systems.- Chessboard EEG Images Classification for BCI Systems Using Deep Neural Network.- Causal Network Analysis and Fault Root Point Detection Based on Symbolic Transfer Entropy.- Personalized EEG feature extraction method based on filter bank and elastic network.- Release rate optimization based on M/M/c/c queue in local nanomachine-based targeted drug delivery.- Research on Course Control of Unmanned Surface Vehicle.- Design and Experiment of a Double-layer Vertical Axis Wind Turbine.- Real-Time Obstacle Detection Based on Monocular Vision for Unmanned Surface Vehicles.- A Method of Data Integrity Check and Repair in Big Data Storage Platform.- A Study of Image Recognition for Standard Convolution and Depthwise Separable Convolution.- A Novel Genetic Algorithm-based DES Key Generation Scheme.- Developing an Intelligent Agricultural System based on Long Short-Term Memory.- Detection of atherosclerotic lesions based on molecular Communication.- Design for Detecting Red Blood Cell Deformation at Different Flow Velocities in Blood Vessel.- Intelligent Power Controller of Wireless Body Area Networks based on Deep Reinforcement Learning.- Target Tracking Based on DDPG in Wireless Sensor Network.- A fuzzy tree system based on cuckoo search algorithm for target tracking in Wireless Sensor Network.- Sensor scheme for target tracking in Mobile Sensor Networks.- Molecular MIMO Communications Platform with BTSK for In-Vessel Network Systems.- Preliminary Studies on Flow Assisted Propagation of Fluorescent Microbeads in Microfluidic Channels for Molecular Communication Systems.- Comparative Evaluation of a New Sensor for Superparamagnetic Iron-Oxide Nanoparticles in a Molecular Communication Setting.- Localization of a Passive Molecular Transmitter with a Sensor Network.
Advances in High-Performance Computational Earth Sciences: Applications and Frameworks.- Data-Driven Approach to Inversion Analysis of Three-dimensional Inner Soil Structure via Wave Propagation Analysis.- Data assimilation in volcano deformation using fast finite element analysis with high fidelity model.- Optimization and Local Time Stepping of an ADER-DG Scheme for Fully Anisotropic Wave Propagation in Complex Geometries.- The challenge of onboard SAR processing: a GPU opportunity.- High-resolution Source Estimation of Volcanic Sulfur Dioxide Emissions Using Large Scale Transport Simulations.- Granulation-based reverse image retrieval for microscopic rock images.- Hybrid SWAN for fast and efficient practical wave modelling - part 2.- Agent-Based Simulations, Adaptive Algorithms and Solvers.- An agent-based simulation of the spread of Dengue fever.- Hypergraph grammar-based model of adaptive bitmap compression.- Simulation of Neurotransmitter Flow in Three Dimensional Model of Presynaptic Bouton.- Scalable Signal-based Simulation of Autonomous Beings in Complex Environments.- Design of Loss Functions for Solving Inverse Problems using Deep Learning.- Asynchronous Actor-based Approach to Multiobjective Hierarchical Strategy.- MeshingNet: A New Mesh Generation Method based on Deep Learning.- A block preconditioner for scalable large scale finite element incompressible flow simulations.- Integrating Agent-Based Modelling with Copula Theory: Preliminary Insights and Open Problems.- Computational complexity of hierarchically adapted meshes.- A Novel Bio-inspired Hybrid Metaheuristic for Unsolicited Bulk Email Detection.- Applications of Computational Methods in Artificial Intelligence and Machine Learning.- Link Prediction by Analyzing Temporal Behavior of Vertices.- Detecting Most Insightful Parts of Documents using an Attention-Based Model.- Challenge Collapsar(CC) Attack Traffic Detection based on Packet Field Differentiated Preprocessing and Deep Neural Network.- Deep Low-Density Separation for Semi-Supervised Classification.- Learning functions using data-dependent regularization: Representer theorem revisited.- Reduction of Numerical Errors in Zernike Invariants Computed via Complex-Valued Integral Images.- Effect of Dataset Size on Efficiency of Collaborative Filtering Recommender Systems with Multi-Clustering as a Neighbourhood Identification Strategy.- GCN-IA: User Profile Based on Graph Convolutional Network with Implicit Association Labels.- Interval Adjoint Significance Analysis for Neural Networks.- Ringer: Systematic Mining of Malicious Domains by Dynamic Graph Convolutional Network.- An Empirical Evaluation Of Attention And Pointer Networks For Paraphrase Generation.- Interval methods for seeking fixed points of recurrent neural networks.- Fusion Learning: A One Shot Federated Learning.- The concept of system for automated scientific literature reviews generation.- A Proposed Machine Learning Model for Forecasting Impact of Traffic-Induced Vibrations on Buildings.- Retrain or not retrain ? - efficient pruning methods of deep CNN networks.- Hidden Markov Models and their Application for Predicting Failure Events.- Biomedical and Bioinformatics Challenges for Computer Science.- Reference-based Haplotype Phasing with FPGAs.- Tree Based Advanced Relative Expression Analysis.- Testing the significance of interactions in genetic studies using interaction information and resampling technique.- Analysis of ensemble feature selection for correlated high-dimensional RNA-Seq cancer data.- Biological Network Visualization for Targeted Proteomics based on Mean First-Passage Time in Semi-Lazy Random Walks.- Bootstrap Bias Corrected Cross Validation applied to Super Learning.- MMRF-CoMMpass data integration and analysis for identifying prognostic markers.- Using machine learning in accuracy assessment of knowledge-based energy and frequency base likelihood in pro
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
