yusuke1997/dblp-id-title huggingface dataset:
Analysis of Compass Sensor Accuracy on Several Mobile Devices in an Industrial Environment
Standardized Mapping Model for Heritage Preservation and Serendipity in Cloud
Speed Supervisor for Intelligent Vehicles
Hyper-Automation System Applied to Geometry Demonstration Environment
A Fractal Software Complexity Metric Analyser
WiFi Localization System Using Fuzzy Rule-Based Classification
Deep Features-Based Approaches for Phytoplankton Classification in Microscopy Images
Intuitive and Coherent Intraretinal Cystoid Map Representation in Optical Coherence Tomography Images
Efficient Classification of Live Sensor Data on Low-Energy IoT Devices with Simple Machine Learning Methods
Fuzzy Traffic Police for Autonomous Vehicles
System Level Design of Microcontroller Applications
Complexity Analysis of Systems from a Functional and Technical Viewpoint
Understanding the System Dynamics of High-Technology Markets: Pólya Processes with Positive Feedback, Path Dependence and Lock-In
Multi-dimensional Information Space View of Wireless Sensor Networks with Optimization Applications
Impact of Increased Centerline Weight on the Joint Segmentation and Classification of Arteries and Veins in Color Fundus Images
Multiple-Model Estimation Applied to Unequal, Heterogeneous State Space Models
Multi-objective Optimization of Cancer Chemotherapy Treatment
An Interactive Job Manager for Globus
EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems
Bluetooth Low Energy Technology Applied to Indoor Positioning Systems: An Overview
How Marconi and Gernsback Sparked a Wireless Revolution
Efficient Manipulation of Control Flow Models in Evolving Software
Modeling Approaches for Cyber Attacks on Energy Infrastructure
Automata with Bounded Repetition in RE2
Modelling an Activity in Wireless Sensors Network
Orchestrating Digital Twins for Distributed Manufacturing Execution Systems
Improvement of Electromagnetic Systems by Werner Von Siemens
What Can Smart Mobility Offer to Tourism Economy?
The Bike Request Scheduling Problem
Analysis of Global and Local Intensity Distributions for the Segmentation of Computed Tomography Images
Improved Classification of Myoelectric Signals by Using Normalized Signal Trains
The Signal Description Language SIBA
A Note on Diffusion Processes with Jumps
Cost Oriented Humanoid Robots
A Sequential Test for Evaluating Air Quality
Dynamic Validation of Contracts in Concurrent Code
Influence of MEMS Microphone Imperfections on the Performance of First-Order Adaptive Differential Microphone Arrays
Interactive Molecular Dynamics Simulations on the Grid
Re-aligning Business Ecosystem Data Sharing to Support City Hotel Operations Planning
Designing Communication Space in Wireless Sensor Network Based on Relational Attempt
Automatic Drusen Detection from Digital Retinal Images: AMD Prevention
Modeling of Smart Contracts in Blockchain Solution for Renewable Energy Grid
On the Parametrization of Algebraic Discrete Fourier Transforms
General Systems Theory as a Framework for Model-Based Diagnosis
Ensemble Learning for Heartbeat Classification Using Adaptive Orthogonal Transformations
A Fair Performance Comparison of Different Surrogate Optimization Strategies
From Industrial to Ubiqitous Robots
Compressing Propositional Proofs by Common Subproof Extraction
A Structure for Generalized Space-Time Processing: The Feedforward Visual Case
MATLAB/Simulink-Supported EMG Classification on the Raspberry Pi
Model Based Design of Inductive Components - Thermal Simulation and Parameter Determination
An Evolutionary Algorithm with Solution Archive for the Generalized Minimum Spanning Tree Problem
A Systems Theoretic Approach to the Design of Scalable Cryptographic Hash Functions
Charles Proteus Steinmetz - Pioneering Contributions in Electrical Engineering
Performance Analysis of Error-Correcting Binary Decision Diagrams
A Language Prototyping Tool Based on Semantic Building Blocks
Modelling Aspects and Structural Properties of a Fed-Batch Bioprocess
A Mathematical Formalism for the Evaluation of C-Space for Redundant Robots
Approximating Complex Arithmetic Circuits with Guaranteed Worst-Case Relative Error
Circuit Diagram for Activity-Based Costing (ABC)
Analysis and Handling of Dynamic Problem Changes in Open-Ended Optimization
A CAST System for Visual Fault Detection Research
CAST Tools for Intelligent Control in Manufacturing Automation
Towards Egocentric Sentiment Analysis
Solving the Traveling Thief Problem Using Orchestration in Optimization Networks
A Distributed Filesystem for Spare Storage
A Generative Model Based Honeypot for Industrial OPC UA Communication
Overcomplete Multi-scale Dictionaries for Efficient Representation of ECG Signals
Simulation Based Optimization of Vertex Packing Decoding Algorithms
Authentication of Internet Connected White Goods Using Gestures or Key Sequences
Source Localization for Electrohydraulic Shockwave Devices
Pattern Analysis under Number Theoretic Transforms
Temporal Constraints in Large Optical Flow Estimation
Improving the Flexibility of Shape-Constrained Symbolic Regression with Extended Constraints
Use of the Automatic Identification System in Academic Research
Patterns for Embedded Systems Design
Parameter Meta-optimization of Metaheuristic Optimization Algorithms
Extrinsic LLR Computation by the SISO LMMSE Detector: Four Different Approaches
Selecting User Queries in Interactive Job Scheduling
Diversity Management in Evolutionary Dynamic Optimization
Simulation Infrastructure for Automated Anesthesia During Operations
Mathematical and Computational Modeling of Neurons and Neuronal Ensembles
Photogrammetric Analysis of Images Acquired by an UAV
Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers
Effects of Data Grouping on Calibration Measures of Classifiers
Application of Symbolic Regression on Blast Furnace and Temper Mill Datasets
An Online Information Retrieval Systems by Means of Artificial Neural Networks
Sensibility Analysis of an Object Movement Forecast Approximation in Real Image Sequences
Mobile AgeCI: Potential Challenges in the Development and Evaluation of Mobile Applications for Elderly People
Training Simulator for Garoña Nuclear Power Plant
Extensions and Semantics of Controller State Diagrams for Practical Applications
Computer Algebra and Computer Aided Systems Theory
Second Order Variational Optic Flow Estimation
Variable-Structure Learning Controllers
Improvements of the Construction of Exact Minimal Covers of Boolean Functions
A Multilevel Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem
Measures for the Evaluation and Comparison of Graphical Model Structures
Modeling Accuracy of Indoor Localization Systems
Transformation of IEC 61131-3 onto an Embedded Platform Using LLVM
Using Verification Technology to Specify and Detect Malware
Notification Concept for BPMN Workflow Interpreter Using the ASM Method
Technical Applications of Knowledge-Based Systems
Quantitative Trend Analysis of Reinforcement Learning Algorithms in Production Systems
Theoretical Considerations About Subset Descriptions
Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I
An Efficient Method for the Dynamical Modeling of Serial Elastic Link/Joint Robots
Automatic Selection of Video Frames for Hyperemia Grading
Optimization of a Magnetic Flux Leakage Measurement Set-Up Using FEM-Simulations
Guiding Autonomous Vehicles Past Obstacles - Theory and Practice
On Some Algorithmic and Computational Problems for Neuronal Diffusion Models
Analysis of Fluorescence Images of C. elegans
Vision Based Automatic Occupant Classification and Pose Recognition for Smart Airbag Deployment
Simulation of Gaussian Processes and First Passage Time Densities Evaluation
On the Dynamics of a Couple of Mutually Interacting Neurons
Simple Models of Central Heating System with Heat Exchangers in the Quasi-static Conditions
Tuning Fuzzy Logic Controllers by Classical Techniques
On Modeling Complex Systems by Means of System Theory
Towards Secure Personal Device Unlock Using Stereo Camera Pan Shots
Textile Sensor Surrogate Modeling Using Sparse Identification
Some Aspects of SysML Application in the Reverse Engineering of Mechatronic Systems
Cryptographic Permutations Based on BOOT Decompositions of Walsh Matrices
Statistically Characterizing Void Density by Ultrasonic Speckles
On the Representation of Imperative Programs in a Logical Framework
Numerical Evaluations for Fractional Stochastic Differential Equations in Neuronal Dynamics
Geometry of a Sensor Networks
On First-Passage Problems for Asymmetric One-Dimensional Diffusions
Personalized Guided Routes in an Adaptive Evolutionary Hypermedia System
Extension of Ontologies Assisted by Automated Reasoning Systems
Reconstruction of Functions via Walsh-Fourier Cofficients
Handling Uncertainties on the Right-Hand Side of a Classical Transportation Model by Stochastic Optimisation and a Matheuristic Approach
Heuristic Approach to Conflict Problem Solving in an Intelligent Multiagent System
Dynamic Similarity and Distance Measures Based on Quantiles
Development of an Accurate Method for Motion Analyses of the Heart Wall Based on Medical Imagery
Epistemological Categories of Systems: An Overview and Mathematical Formulation
Object Oriented Signal Data Structures in VLSI Implementations of Wireless Modems
Medical Protocols and AI-Driven Algorithms for Enhanced Monitoring of Cardiac Implantable Electronic Devices
Automated Control of Robots via 5G Communication from Multi-accesss Edge Computing
Kolmogorov Stream Ciphers
Design and Implementation of Multimedia Environment for Simulation
Application of Image Processing and Virtual Reality Technologies in Simulation of Laparoscopic Procedures
The Neural System of Monitoring and Evaluating the Parameters of the Elements of an Intelligent Building
Neurosymbolic Integration: The Knowledge Level Approach
SPICE Simulation of Analog Filters: A Method for Designing Digital Filters
Application of Artificial Neuron Networks and Hurst Exponent to Forecasting of Successive Values of a Time Series Representing Environmental Measurements in an Intelligent Building
NowOnWeb: News Search and Summarization
Formal Definition of Service Availability in Cloud Computing Using OWL
Functional Vs Object-Oriented Distributed Languages
Remarks on Characterization of Bent Functions in Terms of Gibbs Dyadic Derivatives
Equal Opportunities Analysis in the University: The Gender Perspective
On Modeling and Simulation of Flows of Water by 3D-Cellular Automata
Distributed Execution of Functional Programs Using the JVM
Input-Output Model For Unconventional Samped-Data Control Systems
Application of Optimization Algorithms to Trajectory Planning for Underwater Gliders
Identification of First Order Plants by Relay Feedback with Non-symmetrical Oscillations
Advancements and Applications of Medical Human Digital Twin Technology in Cerebral Palsy Diagnosis, Therapy, and Rehabilitation
Surface Area Under the Motion Curve as a New Tool for Gait Recognition
Secure UAV-Based System to Detect and Filter Sea Objects Using Image Processing
Fuzzy Adaptive Objects (Logic of Monitors as Agents)
Functional Disambiguation Using the Syntactic Structures Algorithm for Each Functional Interpretation for Spanish Language
The Models that Can Be Matched by Feedback
Model Driven Rapid Prototyping of Heuristic Optimization Algorithms
Kurt Gödel: A Godfather of Computer Science
Dynamic Fitness Landscape Analysis
On the Expressibility of Discrete Event Specified Systems
A Survey to Create Attractive Contents for Tourism -To Comprehend Other Cultures-
A Gradient Ascent Approach for Multiple Frequency Estimation
Extending OLSR Functionalities to PKI Management
Latest Developments in Robotics
A Contribution to the Study of Classification and Regression Trees Using Multivalued Array Algebra
Friends Radar: Towards a Private P2P Location Sharing Platform
A Framework for Modelling the User Interaction with a Complex System
Symbolic Regression with Fast Function Extraction and Nonlinear Least Squares Optimization
A Performance Assessment of Network Address Shuffling in IoT Systems
Recent Advances in the Walking Tree Method for Biological Sequence Alignment
On the Relevance of Discrepancy Norm for Similarity-Based Clustering of Delta-Event Sequences
Disease Incidence in a Stochastic SVIRS Model with Waning Immunity
Modelling and Optimisation of Mechatronic Systems Using the Autogenetic Design Theory
On the Complexity of System-Level Diagnosis Algorithms
Casual Employee Scheduling with Constraint Programming and Metaheuristics
Design of Nonlinear Lag-Lead Compensators by Extended Linearization
Solving the Manhattan Metric Straddle Carrier Routing Problem with Buffer Areas Using a Hybrid Metaheuristic Method
Computer Aided Design of Protocol Converters
VisaVis - The Conception of a Functional Visual Programming Language
A Simple Linearisation of the Self-shrinking Generator
Real-Time Hierarchical GPS Aided Visual SLAM on Urban Environments
Using Coq to Understand Nested Datatypes
Efficient Hardware Architecture for Random Forest Training
Analysis on Pedestrian Green Time Period: Preliminary Findings from a Case Study
CAST Extensions to DASME to Support Generalized Information Theory
Analysing a Hybrid Model-Based Evolutionary Algorithm for a Hard Grouping Problem
Structuring the Model of Complex System Using Parallel Computing Techniques
A Survey of Machine Learning Methods for Analyzing Synovitis Arthritis in Human Joints
Design of Competence Promoting Multi-Agent-Systems to Support the User in Fault Diagnosis of CNC-Machine Tools
Modular 3D-Printed Robots for Education and Training for Industrie 4.0
Platoon Driving Intelligence. A Survey
Hand Gesture Recognition Using Computer Vision Applied to Colombian Sign Language
Random Motion with Gamma-Distributed Alternating Velocities in Biological Modeling
CWCU LMMSE Estimation Under Linear Model Assumptions
CPU Versus GPU Parallelization of an Ant Colony Optimization for the Longest Common Subsequence Problem
Combining Behavioral Block Diagram Modelling with Circuit Simulation
Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers
Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers
Vertical Partitioning Algorithms in Distributed Databases
Automated Modelling in Empirical Social Sciences Using a Genetic Algorithm
Machine Learning Based Parameter Estimation of Energy Models in Digital Production Environments
On the Imputation of Missing Values in Univariate PM_10 P M 10 Time Series
Mobile Wrist Vein Authentication Using SIFT Features
Personalized ML-Assisted Respiratory Muscle Training for Patients with Paraplegia
Simulator for Planning Collision-Free Trajectories in Manipulation of Objects Applications
Neonatal EEG Sleep Stages Modelling by Temporal Profiles
Railway Field Element Simulation Tool
Sitting Property-Based Testing at the Desktop
A Vasicek-Type Model with Structural Breaks in the Drift
Offspring Selection Genetic Algorithm Revisited: Improvements in Efficiency by Early Stopping Criteria in the Evaluation of Unsuccessful Individuals
Traffic Predictive Analysis Through Data Stream Mining
Internships as an Application of Cloud Computing Solutions for Education at Universities
Designing Sightseeing Support System in Oku-Nikko Using BLE Beacon
Modelling and Simulation of Robot Motion by CAST
Supervisory Control and Data Acquisition System for the Gas Flow Networks
Formal Description of Bus Interfaces Using Methods of System Theory
A Scalable Approach for the K-Staged Two-Dimensional Cutting Stock Problem with Variable Sheet Size
Uncertainty and Ambiguity: Challenging Layers in Model Construction
Towards System-Aware Routes
Real-Time Stereo Visual SLAM in Large-Scale Environments Based on SIFT Fingerprints
Effectively Evolving Finite State Machines Compared to Enumeration
Cepstrum Coefficients of the RR Series for the Detection of Obstructive Sleep Apnea Based on Different Classifiers
A Bandwidth Efficiency Optimized Frequency Domain Equalization Concept for Single Carrier Transmission
Application of Uncertain Variables to Task and Resource Distribution in Complex Computer Systems
Applicability of Patient-Specific Simulation
Performance Analysis of a Dual Robot System Using a Geometric Concurrency Model
Computer Aided Planning System of a Flexible Microrobot-Based Microassembly Station
Glucose Prognosis by Grammatical Evolution
Comparison of Local Obstacle Avoidance Algorithms
Acoustic Monitoring - A Deep LSTM Approach for a Material Transport Process
Utilization of a Web Browser for Complex Heterogeneous Parallel Computing Using Multi-core CPU/GPU Systems
Clustering Traffic Flow Patterns by Fuzzy C-Means Method: Some Preliminary Findings
Variable Neighborhood and Greedy Randomized Adaptive Search for Capacitated Connected Facility Location
Fundamental Systems Concepts: "The Right Stuff" for 21st Century Technology
Comparing Constraint Evaluation Methods for Shape-Constrained Regression
Training Surgical Skills under Accredited Education: Our Regional Experience
Applying Heuristic Approaches for Predicting Defect-Prone Software Components
Concurrent Evolution of Dynamic Single and Dual-Crane Scheduling Scenarios
A Matheuristic to Solve a Competitive Location Problem
Minimal Realization Procedures Based on Balancing and Related Techniques
Analysis of Recent Advances in Optical Flow Estimation Methods
Solving a Real-World FAP Using the Scatter Search Metaheuristic
Some Results on Brownian Motion Perturbed by Alternating Jumps in Biological Modeling
CAL: A Computer Assisted Learning System for Computation and Logic
VFLBench: A Practical Benchmark for Vertical Federated Learning in Smart Manufacturing
General Systems Theory Requirements for the Engineering of Complex Models
C k -Continuous Spline Approximation with TensorFlow Gradient Descent Optimizers
CONSHELL - A Domain-Specific Shell for Automation System Configuration
Data Aggregation for Reducing Training Data in Symbolic Regression
Data-Driven Maritime Processes Management Using Executable Models
Longest Sorted Sequence Algorithm for Parallel Text Alignment
An Architecture for Deploying Reinforcement Learning in Industrial Environments
A Strategy for Realizing Traceability in an Object-Oriented Design Environment
Intelligent Longitudinal Merging Maneuver at Roundabouts Based on Hybrid Planning Approach
Finite State Machine Theory as a Tool for Construction of Systolic Arrays
On Possibilistic Automata
A Multi-agent System for Information Retrieval
Assertion-Based Analysis of Hybrid Systems with PVS
Autonomous Vehicle Architecture for High Automation
Drone Detection Using Deep Learning: A Benchmark Study
Towards a Simulation Model of Competition Between Touristic Destinations Using Dynamic Systems Tools
Pedestrian Detection for Intelligent Vehicles Based on Active Contour Models and Stereo Vision
Decision Support System for Cancer Chemotherapy Schedules
Systems Theory and Engineering
Automatic Change Detection in Dynamical System with Chaos Based on Model, Fractal Dimension and Recurrence Plot
Eulerian Numbers Weigths in Distributed Computing Nets
FSM Shift Register Realization for Improved Testability
Computational Methods for the Evaluation of Neuron's Firing Densities
Real-Time Vision-Based Vehicle Detection for Rear-End Collision Mitigation Systems
On the Success Rate of Crossover Operators for Genetic Programming with Offspring Selection
Electronic Performance Support Systems Challenges and Problems
Dynamical Feedforward Control of Three-Tank System
TOMSPIN - A Tool for Modeling with Stochastic Petri Nets
KI-Net: AI-Based Optimization in Industrial Manufacturing - A Project Overview
Solving the Euclidean Bounded Diameter Minimum Spanning Tree Problem by Clustering-Based (Meta-)Heuristics
An Integrated Environment for Computer-Aided Control Engineering
Analyzing Network-Wide Effects of Cooperative Adaptive Cruise Control Without Traffic Signal Control at Intersections
DeepCompareJ: Comparing Image Classification Models
A Prey-Predator Model for Immune Response and Drug Resistance in Tumor Growth
Validation of a Model of an AGVs Scheduling Heuristic Using Radio-Taxi Data
A Predictive Maintenance Concept for Sustainable Lubricant Oil Usage Based on Federated Learning
Using of a Robotic Platform to Detect Acoustic Events for Indoor Environments
Assembly Reengineering Model
Formal Modeling of a Client-Middleware Interaction System Regarding Content and Layout Adaptation
Optimized Mapping Schemes for LDPC Coded Higher Order Modulated QAM Transmission
A Certified Module to Study Digital Images with the Kenzo System
Design and Implementation of an Autopilot for an UAV
Sampling Rate Conversion for Timing Adjustment in 3.5G Multimode Mobile Terminals
Design of a Medical Application Using XML Based Data Interchange
On Stochastic Variation in Discrete Time Systems
A Uniform Classification of Common Concurrency Errors
Arrays and Continuous Attributes
Variety Engineering - A Cybernetic Concept with Practical Implications
A Federated Learning-Based Android Malware Detector Through Differential Privacy
Some Remarks on the Mean of the Running Maximum of Integrated Gauss-Markov Processes and Their First-Passage Times
A Cluster-First Route-Second Approach for Balancing Bicycle Sharing Systems
Heartbeat Classification of ECG Signals Using Rational Function Systems
Solving a Weighted Set Covering Problem for Improving Algorithms for Cutting Stock Problems with Setup Costs by Solution Merging
On Representing Biological Systems through Multiset Rewriting
Towards Stochastic Modeling of Neuronal Interspike Intervals Including a Time-Varying Input Signal
Efficient Multi-Objective Optimization Using 2-Population Cooperative Coevolution
An Improved Heuristic for the Probabilistic Traveling Salesman Problem with Deadlines Based on GPGPU
Using Data Mining to Improve the Public Transport in Gran Canaria Island
Robust Control of a Two Tank System Using Algebraic Approach
The Origin, Evolution and Applications of Visual Bio-cybernetics Concepts Included in the Original MIT-NASA Reports for Designing a Mars Rover (1965-1985)
Modelling of Collective Animal Behavior Using Relations and Set Theory
A Self-adaptive Model for Selective Pressure Handling within the Theory of Genetic Algorithms
Optimization Strategies for Integrated Knapsack and Traveling Salesman Problems
Bridging the Gap between Rich Supply Chain Problems and the Effective Application of Metaheuristics through Ontology-Based Modeling
First-Passage-Time for Gauss-Diffusion Processes via Integrated Analytical, Simulation and Numerical Methods
Sketching an Evolutionary Hierarchical Framework for Knowledge-Based Systems Design
Fuzzy Adaptive Objects (Logic of Monitors)
Combining Relational and NoSQL Database Systems for Processing Sensor Data in Disaster Management
Object Oriented Design of CAST Systems
Symbolic Computation Tools for Dynamical Nonlinear Control Systems
Time Sub-Optimal Control of Triple Integrator Applied to Real Three-Tank Hydraulic System
Turing Universality of Neural Nets (Revisited)
Shape-Constrained Symbolic Regression with NSGA-III
Description of a Low-Cost Radio-Frequency System to Detect Hydrocarbons
Jupyter Notebooks for Simplifying Transfer Learning
Navigating Indoors Using Decision Points
A Real-Time Classification System for Upper Limb Prosthesis Control in MATLAB
An Architecture for Complex Systems
Operating System for Petri Nets-Specified Reconfigurable Embedded Systems
Integrating Two Dynamic Models of Business-Logistics Plant
Texture-Based Filtering and Front-Propagation Techniques for the Segmentation of Ultrasound Images
Optimizing the Hardware Usage of Parallel FSMs
Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers
E-Learning Platform as a Teaching Support in Psychology
An Open Modular System for Monitoring Remote Sensors