yusuke1997/dblp-id-title huggingface dataset:
Generating Monotone Boolean Functions Using Hasse Diagram
eTPL: An enhanced version of the TLS presentation language suitable for automated parser generation
Network structure in CA models of contacts between employees
Higher Reconstruction Performance with Dual Deep Neural Networks for Wireless Sensor Networks Compressed Temporal Signals
Low Cost Outdoors WSN Parking System for Metropolitan Areas Based on RSS
The Formal Grounds for Construction for Intellimedia Automated System
System Architecture for Digital Twin Based Collision Avoidance Through Private 5G Networks
Developing effective risk assessment criteria in regulated environments
Architectonics of the European Currency Integration: Cluster and Gravity Modeling
Fuzzy evaluation of biometric authentication systems
Comparative analysis of 3D face recognition algorithms using range image and curvature-based representations
Performance evaluation of IEEE 802.15.4-compliant smart water meters for automating large-scale waterways
Bayesian network and Hidden Markov Model for estimating occupancy from measurements and knowledge
Artificial immune system for Android OS
Improvment of Measurement Systems for Relative Quality Indicator by Immitance Parameters
IEEE 8th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, IDAACS 2015, Warsaw, Poland, September 24-26, 2015
Classification of smart metering systems for zero-energy buildings
Multidimentional analysis and visualization of changes in characteristic seasonal patterns of local temperature dynamics
Wireless smart biosensor for sensor networks in ecological monitoring
Assessment of the source code static analysis effectiveness for security requirements implementation into software developing process
Special areas detection on agricultural fields images using evaluations of local brightness variability
AMALTHEA - Tailoring tools to projects in automotive software development
Rademacher-Krestenson's method of between-bases transformations in designing processors
Control flow models using Petri nets for model based testing
Network Protocols Determination Based on Raw Data Analysis for Security Assesment under Uncertainty
Gas Discrimination & Quantification using Sensor Array with 3D Convolution Regression Dual Network
Solving the Two-Criteria Maximum Coverage Location Problem of Continuous Area Monitored by Sensor Network
"Learning through practice" in IT management projects master program implementation approach
Using prior measurements to improve probabilistic-based indoor localization methods
Methods and tools for reducing the risk of damage the reverse laryngeal nerve during the surgical operation on a thyroid
Melanoma Detection Using Two Neural Networks. A Comparison Study
7-GHz Measurement System for in-situ Space/Material Channel Characterisation
Time-domain analysis of ARM7TDMI core instructions
Information portal of E-learning system in Semantic Web environment
Approaches of voltage divider development for metrology verification of ADC
A Machine-Learning Based Approach for Data-Driven Identification of Heating Dynamics of Buildings' Living-Spaces
Modeling the Multi-Dimensional Indicators of Regional Integration Processes
Body- and Pose-tracking for Augmented Reality Applications in the Field of Sports
Maturity and customer centricity of "Knowledge Management Maturity Models" (KMMM)
Meta-Learning with Evolutionary Strategy for Resilience Optimization of Image Recognition System
Simulation of Gas Flow for Welding Process Control in the Arctic Environment
6LoWPAN Protocol in Fixed Environment: A Performance Assessment Analysis
Adaptive control method of network data flow for QoS providing
Incremental Auto-Tuning for Hybrid Parallelization Using OpenCL
Automation of control processes in specialized pyrolysis complexes based on web SCADA systems
Study of multiple-stage continuous-discrete port overload systems
Using semantic technologies to improve grid resource management
Automatic sleep quality assessment based on EEG and EOG analysis and contextual classification
Constrained mixed-critical parallelization for distributed heterogeneous systems
ENISA Documents in Cybersecurity Assurance for Industry 4.0: IIoT Threats and Attacks Scenarios
Automatic signal strength map construction in indoor positioning system based on round trip time of flight measurements and inertial navigation
Cluster-based implementation of resource brokering strategy for parallel training of neural networks
WSN for Food Product Quality Control
Optimization model lifetime wireless sensor network
A Discrete Missing Data Imputation Method Based on Improved Multi-layer Perceptron
Large scale heterogeneous monitoring system with decentralized sensor fusion
Adaptive model of fermentation processes under uncertainty conditions
New mechanisms for privacy in human-in-the-loop cyber-physical systems
Accuracy Improvement of Neural Networks Under Semi-Supervised Learning
Blockchain Design Elicitation for Healthcare: A VFT Based Approach
Integrating Open Source Geospatial Technologies for Environmental Monitoring and Conservation: A Case Study of SaveGreen Project and CCIBIS Geoportal
Simulation of large neuronal networks in cloud and grid with graphics processing units
On construction of high order elements in general finite fields
Implementation of accurate frame interleaved sampling in a low cost FPGA-based data acquisition system
Hardware-oriented turbo-product codes decoder architecture
Artificial curiosity driven autonomous knowledge discovery based on learning by interaction
NILM Application for Real Time Monitoring of Appliances Energy Consumption Used
Virtual Reality Implementation for Design of Warehouse Lighting
Speaker diarization using PLDA-based speaker clustering
Intelligent Information System for Investment in Uncertainty
An Image Segmentation Method Based on Improved Krill Herd Algorithm and Fuzzy C-Means Clustering Algorithm
Robust hand detection using arm segmentation from depth data and static palm gesture recognition
ADC non-linearity correction based on INL(n) approximation - Experimental verification
Modeling and data processing for thin-film optical sensors
Cross-University-Business Platform as a Part of the Digital Education Ecosystem
Lattice-Based Technique to Visualize and Compare Regional Terrorism Using the Global Terrorism Database
Self-reconfigurable cryptographical coprocessor for data streaming encryption in tasks of telemetry and the Internet of Things
Investigation of the Broken Authentication Vulnerability in Web Applications
Malware Detection By Distributed Systems with Partial Centralization
Resource Tradeoff Analysis of Plant Physiological Status Sensor with Cloud Connectivity
Advanced control strategies for irrigation systems
Managing large HW/SW Codesign projects
Monitoring pH with HART communication
Cloud computing platform within Grid Infrastructure
Efficient encoding and transmission of monitoring data in information-efficient wireless networks
2D-Deep Neural Network and Its Online Rapid Learning
Solutions for the implementation of redundancy in analogic systems
A Containerized Template Approach for Vendor-Friendly Smart Home Integration
Development of the Dynamic Bayesian Network to Evaluate the National Law Enforcement Agencies' Work
Synthesis of intelligent decision support systems for transport logistics
Chaotic Map Synchronization by Common-Mode Truncation Pulses for Secure Communications
Measurement of relattive quality ratios using the immitance parameters
An Aircraft Identification System Using Convolution Neural Networks
Data Mining Tools and deep brain stimulation target evaluation
Study of operation regimes in thermal power supply systems for objects of far north municipal power engineering
Analysis on variable electricity pricing models and the influence on load curves of household customers
A Cost-Efficient and Continuous Ethernet Cable Diagnosis Technique based on Undersampling
Segmentation of cytological and histological images of breast cancer cells
A versatile robotic platform for educational interaction
Acquisition and preprocessing of data from infrared depth sensors to be applied for patients monitoring
Recursive estimation of mixtures of exponential and normal distributions
Experimental stress assessment in biomedical measurement class
Changes in electromagnetic field distribution for future use in biosensor applications
Design lifecycle for secure cyber-physical systems based on embedded devices
Anti-lock braking system based on FlexRay protocol
Modeling of Cognitive Evolution
PER-COVID (PEople pRoximity based on Certified and coOperative VIDeo-intelligence): A Software Tool for Physical Distancing and PPE Monitoring
Device for time scale generation and event timestamping
Wireless sensor network based on multilevel femtocells for home monitoring
Hybrid indoor tracking with Bayesian sensor fusion of RF localization and inertial navigation
A multi-agent reinforcement learning approach for the efficient control of mobile robot
Investigation of Hardware-Software Solutions for an Energy-Efficient Wireless Sensor Network
Maturity Model Taxonomy for Digital Transformation
Peculiarities of Human Machine Interaction for Synthesis of the Intelligent Dialogue Chatbot
Multiple Regression Method for Analyzing the Tourist Demand Considering the Influence Factors
Modeling the wireless sensor networks using the error control scheme
A River Flood Monitoring Technique based on Image Splitting Algorithms
Automated parameters measurement of the ultrasonic excitation equipment
Optimal data fusion in decentralized stochastic unknown input observers
Evolutionary network model of testing of the distributed information systems
Direct magnitude spectrum analysis algorithm for tone identification in polyphonic music transcription
Microgrid simulation for smart city
System for monitoring the quasi-stationary technological processes based on image-cluster model
Slip displacement sensors for intelligent robots: Solutions and models
DMQC Project: Design Technologies, Implementation, and Research of the Properties of a Digital Multi-Qubit Coprocessor
Tasks distribution for students testing based on fuzzy logic
A Novel split radix fast fourier transform design for an adaptive and scalable implementation
Dense disparity features for fast stereo vision
A SIEM Architecture for Multidimensional Anomaly Detection
Multi-source Analysis of AI Vulnerabilities: Methodology and Algorithms of Data Collection
Applicability of mel-cepstrum in a fall detection system based on infrared depth sensors
Deep Convolutional Network with Long Short-Term Memory Layers for Dynamic Gesture Recognition
Analysis and simulation of hybrid network for industrial automation
Hierarchical dynamic index NAT as a mobility solution
Gas Values Prediction and Forecast Techniques Based on DL Models
Seismoelectric control of geodynamic processes in natural-technical systems
The Development of Distance Learning in Ukrainian Liberal Arts Institutions Based on EU Experience
Data exchange technology between electronic documents and relation databases
Approach for the unknown metamorphic virus detection
Prototype of a sensor device for learning environments
Integrating SDN-Enabled Wireless Sensor Networks Into the Internet
Applications of neural-based spot market prediction for cloud computing
Implementation of standardized 6LoWPAN based application layer protocols
Predicting students' success based on forum activities in MOOCs
Improved Seagull Optimization Algorithm to Optimize Neural Networks with Gated Recurrent Units for Network Intrusion Detection
Low- and High-level Methods for Tree Segmentation
An approach to PLC-based fuzzy control
Automated Control Method for Charging Supercapacitors based on Relaxation Characteristics
Botnet Detection Approach for the Distributed Systems
Computer devices and mobile information technology for precision farming
Concentrated Solar Power (CSP) in DESERTEC - Analysis of technologies to secure and affordable Energy Supply
WiFi Indoor Location Method Based on RSSI
Mathematical Modeling of the Groundwater Level Regime for Substantiation of Resource-Saving Technological Parameters of Drained Lands Water Regulation
Data processing of inertial sensors in strong-vibration environment
Verification Model for Agent Coordination of Distributed Information Systems
Humanoid robot control with EEG brainwaves
Continuous, real-time monitoring of assisted livings through wireless body sensor networks
Research on Network Intrusion Detection Based on Support Vector Machine Optimized with Grasshopper Optimization Algorithm
A Wireless Sensor Network Location Algorithm Based on Whale Algorithm
Reliable device-free user localization using multichannel radio transceivers
Sewage Influent Estimation in BSM1 Model of Plaszów WWTP
Feature selection of bills using spectral sub-band images
Embedded system for fall detection using body-worn accelerometer and depth sensor
A Toolkit for Modeling and Simulation of Dynamic Virtual Machine Consolidation Approach
Software-design for internal security checks with dynamic Integrity Measurement (DIM)
Design of a Miniaturized Dual Band Dielectric Resonator Antenna by Using Complimentary Split Ring Resonator
Convolutional and Recurrent Neural Networks for Physical Action Forecasting by Brain-Computer Interface
Along-Track and Cross-Track Noise Analysis of Altimeter Data Using Tensors
3rd International Symposium on Wireless Systems within the Conferences on Intelligent Data Acquisition and Advanced Computing Systems, SWS@IDAACS 2016, Offenburg, Germany, September 26-27, 2016
The Simple Virtual Impedance Spectroscopy Based on USB DAQ Card
Image edges locator dedicated to visually impaired people - An experimental application for mobile devices
The rule-based method for the non-intrusive electrical appliances identification
ADC for Energy Measurement Systems of Microcontroller
A General Framework for the Architecture of Distributed Database Systems
Temporal View: A Tool for Real Time Distributed Data Bases
Final report on Data Security
Model and Architecture of Distributed Data Base Sharing Systems Associated with Knowledge-Information Processing Systems
The Multidatabase Session
Distributed Data Sharing Security - Chairman's Report
Integrity and Reliability - Chairman's Report
Centralized or Decentralized Data Allocation
Concurrency Control Issues in Distributed Heterogeneous Database Management Systems
Panel 4: Models and Architectures of DDB, Part II: Applied Perspectives - Chairman's Report
An Approach to Effective Heterogeneous Databases Cooperation
A Formal Specification Framework for Synchronization Protocols in Distributed Data Bases
Distributed DBMS Architectures
Conceptual Modelling of Security Information in Distributed Database Systems
A Database Authorization Mechanism Supporting Individual and Group Authorization
Concurrency Control, Interprocess Synchronization and Crash Recovery - Chairmens Report
Performance in Distributed Database Systems - Chairman's Report
Logical Decentralization and Semantic Integrity in a Distributed Information System
Query Processing Strategies in a Distributed Database Architecture
Index Selection in a Distributed Data Base
The Use of Multidatabase in Decision Support Systems
An Authorization Mechanism for a Generalized DBM
Query Decomposition in a Distributed Database System Using Satellite Communications
A Module Definition Facility for Access Control in Communicating Data Base Systems
MRDSM: A Relational Multidatabases Management System
ADDS - Heterogeneous Distributed Database System
Query Decomposition in PRECI*
Distributed Data Sharing Systems, Proceedings of the Third International Seminar on Distributed Data Sharing Systems, DDSS 1984, Parma, Italy, 28-30 March, 1984
Data Sharing and Synchronization Facilities
Privacy and Security in Distributed Database Systems
Some Solutions for Distributed Database Recovery in SIRIUS-DELTA
Petri Nets Theory for the Correctness of Protocols
Logical Model of a Distributed Data Base
Implementation of a Distributed File System on a Geographic Network of Personal Computers
Global Recovery in a Distributed Data Base System
Failure Survivability Mechanisms in Plexus Project
Adaptive Query Optimization in Point-To-Point Networks
Query Processing in Revue: A DDBMS-Oriented System
Distributed Data Sharing Systems, Proceedings of the Second International Seminar on Distributed Data Sharing Systems, DDSS 1981, Amsterdam, The Netherlands, 3-5 June, 1981
Architecture of the Network Data Management System
Resource Allocation and Query Processing in Distributed Databases - Chairman's Report
Report on Special Systems Session
Query Processing in Distributed Databases - Chairman's Report
Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2008, Iaşi, Romania, September 3-4, 2008
System Description: SpassVersion 3.0
Reducing Model Checking of the Many to the Few
Evaluating Automated Theorem Provers Using Adimen-SUMO
Being Polite Is Not Enough (and Other Limits of Theory Combination)
ALICE: An Advanced Logic for Interactive Component Engineering
Well-Foundedness Is Sufficient for Completeness of Ordered Paramodulation
A Decision Procedure for Unquantified Formulas of Graph Theory
Efficient Implementation of Large-Scale Watchlists
A Proof Strategy Language and Proof Script Generation for Isabelle/HOL
Hilberticus - A Tool Deciding an Elementary Sublanguage of Set Theory
IMPS: An Interactive Mathematical Proof System
Extended Caching, Backjumping and Merging for Expressive Description Logics
Temporal Logics over Transitive States
Efficient Verified Implementation of Introsort and Pdqsort
Implementing Number Theory: An Experiment with Nuprl
Automating Proofs in Category Theory
Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
Consistency of Rule-based Expert System
Xpnet: A Graphical Interface to Proof Nets with an Efficient Proof Checker
Elf: A Meta-Language for Deductive Systems (System Descrition)
S PASS Version 2.0
Using Meta-Theoretic Reasoning to do Algebra
Formal Verification of a Combination Decision Procedure
A Translation of Looping Alternating Automata into Description Logics
The MathServe System for Semantic Web Reasoning Services
Polymorphic+Typeclass Superposition
Proving Formally the Implementation of an Efficient gcd Algorithm for Polynomials
Challenge Problems from Nonassociative Rings for Theorem Provers
Paths to High-Performance Automated Theorem Proving
SPARQL Query Containment under RDFS Entailment Regime
One More Logic with Uncertainty and Resolution Principle for it
A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems
Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
Satisfiability Modulo Free Data Structures Combined with Bridging Functions
Verification of NP-Hardness Reduction Functions for Exact Lattice Problems
System Description: An Equational Constraints Solver
ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E
Decidability and Complexity of Finitely Closable Linear Equational Theories
TRIP: An Implementation of Clausal Rewriting
SCAN - Elimination of Predicate Quantifiers
A New Method for Establishing Refutational Completeness in Theorem Proving
Encoding First Order Proofs in SAT
Automatic Generation of Classification Theorems for Finite Algebras
Proofs as Description of Computation
SATCHMO: A Theorem Prover Implemented in Prolog
Experiments on the feasibility of using a floating-point simplex in an SMT solver
Classes of First Order Formulas Under Various Satisfiability Definitions
Selecting the Selection
Reasoning by Plausible Inference
The Architecture of Inference from SMT to ETB
Deductive Composition of Astronomical Software from Subroutine Libraries
An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus
An Improved Lower Bound for the Elementary Theories of Trees
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics
Rigid E -Unification Revisited
Ground Truth: Checking Vampire Proofs via Satisfiability Modulo Theories
Applications of Protected Circumscription
Herky: High Performance Rewriting in RRL
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving
Logical Interpretation: Static Program Analysis Using Theorem Proving
What You Always Wanted to Know About Clause Graph Resolution
Multi-Attribute Decision Making using Weighted Description Logics
Proving Bounds on Real-Valued Functions with Computations
Theorem Proving for Metric Temporal Logic over the Naturals
System Abstract: E 0.3
No Choice: Reconstruction of First-order ATP Proofs without Skolem Functions
Beagle - A Hierarchic Superposition Theorem Prover
Formal Verification of Financial Algorithms
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF
On Invariant Synthesis for Parametric Systems
Overlapping Leaf Permutative Equations
Invited talk: Cyc Design Challenges and Solutions
A PSpace Algorithm for Graded Modal Logic
Faster, Higher, Stronger: E 2.3
Partial Unification for Graph Based Equational Reasoning
Computing Optimal Repairs of Quantified ABoxes w.r.t. Static EL TBoxes
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition
Workshop: Model Computation - Principles, Algorithms, Applications
Reasoning About Regular Properties: A Comparative Study
Software Verification: Roles and Challenges for Automatic Decision Procedures
Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations
Programming by Example and Proving by Example Using Higher-order Unification
A History-based Verification of Distributed Applications
Intuitonistic Basis for Non-Monotonic Logic
Instructing Equational Set-Reasoning with Otter
Directed Graph Networks for Logical Reasoning (Extended Abstract)
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
Unification in Pseudo-Linear Sort Theories is Decidable
Guiding an Automated Theorem Prover with Neural Rewriting
A Verified Simple Prover for First-Order Logic
Termination, Geometry and Invariants
Connection-Minimal Abduction in EL via Translation to FOL
From Linear Temporal Logic Properties to Rewrite Propositions
System Description: E 0.81
The Heuristics and Experimental Results of a New Hyperparamodulation: HL-Resolution
Internal Analogy in Theorem Proving
A Many Sorted Logic with Possibly Empty Sorts
Reasoning About Deductions in Linear Logic (Abstract of Invited Talk)
Reasoning with Sets and Sums of Sets
Presenting TSTP Proofs with Inference Web Tools
Consistency and Completeness of Rewriting in the Calculus of Constructions
A SAT-Based Decision Procedure for the Subclass of Unrollable List Formulas in ACL2 (SULFA)
System Description: Spass Version 1.0.0
Optimal Time Bounds for Parallel Term Matching
Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016
A Divergence Critic
The Mechanization of Existence Proofs of Recursive Predicates
Parallelizing the Closure Computation in Automated Deduction
Superposition with Lambdas
New Opportunities for the Formal Proof of Computational Real Geometry? (Extended Abstract)
A Proof-Producing Decision Procedure for Real Arithmetic
Proving Non-Termination and Lower Runtime Bounds with LoAT (System Description)
ORME: An Implementation of Completion Procedures as Sets of Transition Rules
A Logical Characterization of Forward and Backward Chaining in the Inverse Method
Composing Proof Terms
Automated Proof Construction in Type Theory Using Resolution
Using Narrowing to do Isolation in Symbolic Equation Solving - An Experiment in Automated Reasoning
HOL Provers for First-order Modal Logics - Experiments
Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion
Tutorial on Computing Models of Propositional Logics
The Complexity of Counting Problems in Equational Matching
SRASS - A Semantic Relevance Axiom Selection System