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
Описание: 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.
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.
Описание: 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.
Описание: This book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020.
Описание: This book summarizes the research findings presented at the 13th International Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2020), which took place on August 24-26, 2020.
Описание: 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.
Описание: 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.
Описание: 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.
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
Design and Evaluation Methods and Tools.- User Characteristics, Requirements and Preferences.- Multimodal and Natural Interaction.- Recognizing Human Psychological States.- User Experience Studies.- Human Perception and Cognition.- AI in HCI.- Virtual, Augmented and Mixed Reality.- Virtual Humans and Motion Modelling and Tracking.- Learning Technology.- Universal Access, Accessibility and Design for the Elderly.- Smartphones, Social Media and Human Behaviour.- Interacting with Cultural Heritage.- Human-Vehicle Interaction.- Transport, Safety and Crisis Management.- Security, Privacy and Trust.- Product and Service Design.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
