yusuke1997/dblp-id-title huggingface dataset:
Concepts and Systems Tools for Modelling Signal Processing in Vertebrate Retina
A Smart and Flexible Study Course for Industry 4.0 - Systems Engineering
Model-Based System Design for Engineering (T3SD) and General System Logical Theory
Computer-Aided Analysis and Validation of Heterogeneous System Specifications
Solving the Two-Dimensional Bin-Packing Problem with Variable Bin Sizes by Greedy Randomized Adaptive Search Procedures and Variable Neighborhood Search
Review of UHF-Based Signal Processing Approaches for Partial Discharge Detection
Easing the Definition of N-Ary Relations for Supporting Spatio-Temporal Models in OWL
Deep Learning Data Association Applied to Multi-object Tracking Systems
Non-email Spam and Machine Learning-Based Anti-spam Filters: Trends and Some Remarks
Automatic Thermal Leakage Detection in Building Facades Using Laser and Thermal Images
Movement Identification Analysis Based on Motion Capture
On Smart Mobility and Data Stream Mining
Towards a Computer Aided Design of Linear Control Systems
WSN Clustering Using IC-SVD Algorithms
On Parallel Channel Modeling of Retinal Processes
Temporal Dimension in Signal Processing
Multiple Representation of Complex Intensity Changes for Image Segmentation
Model-Based Evaluation of a Linear Electro Hydraulic Direct Drive
Using Omnidirectional BTS and Different Evolutionary Approaches to Solve the RND Problem
Nonlinear Least Squares Optimization of Constants in Symbolic Regression
Using a Rank Fusion Technique to Improve Shot Boundary Detection Effectiveness
Modeling Complex Systems by Multi-agent Holarchies
A Transformation of the Problems of Minimal Satisfaction of Constraints
An Approach to the Design of Complex, Heterogeneous Hardware/Software Systems
Reversible Synthesis in the Walsh Hadamard Domain
From Sequential to Distributed Formal Proofs
Volatility Modelling for Air Pollution Time Series
Exploring the Accuracy of a Parallel Cooperative Model for Trajectory-Based Metaheuristics
Control System Design Based on Modern Embedded Systems
Using GPS Trajectories to Create a Dynamic Network of Significant Locations as an Abstraction of Road Maps
Automated Inference of Domain Knowledge in Scientific Machine Learning
Tree-Structured Legendre Multi-wavelets
DASE: An Environment for System Level Telecommunication Design Exploration and Modelling
Simplifying Some Characteristics of Manipulators Based on Features of Their Models
Model-Based Approach for the Reliability Prediction of Mechatronic Systems on the System-Level
Applying Reinforcement Learning to Multi-robot System Behavior Coordination
A Neuronal Model with Excitatory and Inhibitory Inputs Governed by a Birth-Death Process
The Potential of Restarts for ProbSAT
"Incremental" Evaluation for Genetic Crossover
Probabilistic Models in Qualitative Simulation
Soft Control of Self-organized Locally Interacting Brownian Planar Agents
Improving the Parsimony of Regression Models for an Enhanced Genetic Programming Process
Towards a Decentralized and Structured Network of P2P Public Information Screens
On Requirements for a CAST-Tool for Complex, Reactive Systems Analysis, Design and Evaluation
A Kruskal-Based Heuristic for the Rooted Delay-Constrained Minimum Spanning Tree Problem
On Fractional Stochastic Modeling of Neuronal Activity Including Memory Effects
Requirements for Long-Term Preservation of Digital Videos and First Experiments with an XMT-Based Approach
The Quantization Effect on Audio Signals for Wildlife Intruder Detection Systems
Discrete Transforms Produced from Two Natural Numbers and Applications
CheapTB: A Low Cost of Operation Distributed Filesystem
Comparing Some Simulation Strategies for First Passage Times of Time-Changed Brownian Motion
Nicolas Rashevsky: Mathematical Biophysicist
Biologically Based CAST-mechanism for Visual Motion Analysis
Predictive Model of Births and Deaths with ARIMA
Analysis of Single-Objective and Multi-Objective Evolutionary Algorithms in Keyword Cluster Optimization
Finite Dimensional Generalized Baker Dynamical Systems for Cryptographic Applications
The Shape of Complex Systems
Bus Protocol Conversion: from Timing Diagrams to State Machines
ECG Morphological Changes Due to Age and Heart Rate Variability
Meteorological Image Descriptors
Parallel Distributed Genetic Algorithm for Expensive Multi-Objective Optimization Problems
Knowledge Processing: A Semantics for the Klir Hierarchy of General Systems
Upcrossing First Passage Times for Correlated Gaussian Processes
Metaheuristics and Cloud Computing: A Case Study on the Probabilistic Traveling Salesman Problem with Deadlines
Processing of Myoelectric Signals by Feature Selection and Dimensionality Reduction for the Control of Powered Upper-Limb Prostheses
Routing with Free Geodata on Mobile Devices
A Digital Twin Demonstrator for Research and Teaching in Universities
How to Achieve Perception of Real-World Scenes: A Case Study
Biomimetic Optimizers for Job Scheduling
On the Estimation of First-Passage Time Densities for a Class of Gauss-Markov Processes
Enhancing a Genetic Algorithm with a Solution Archive to Reconstruct Cross Cut Shredded Text Documents
Software Processes, Work Flow and Work Cell Design - Separated by a Common Paradigm?
GPU-Based Evaluation to Accelerate Particle Swarm Algorithm
DEVS-Based Endomorphic Agents: Control Through Deliberative and Reactive Planning
Particle Swarm Optimization with Two Swarms for the Discrete (r|p)-Centroid Problem
Models and Techniques for Computer Aided Surgical Training
Some Spectral Invariant Operations for Functions with Disjoint Products in the Polynomial Form
New Approximation-Based Local Search Algorithms for the Probabilistic Traveling Salesman Problem
An Intelligent Scatter with Estimation of Distribution for Tabu Search
Remarks on Calculation of Autocorrelation on Finite Dyadic Groups by Local Transformations of Decision Diagrams
A proposal for Projekt Management Using CommonKADS
Business Operation Improvement through Integrated Infrastructure Management
On Combining 01X-Logic and QBF
The Anglet Experiment: A Cybercar on the Beach
On CAST.FSM Computation of Hierarchical Multi-layer Networks of Automata
Autonomous Paracopter Control Design
On Approximate Nearest Neighbour Field Algorithms in Template Matching for Surface Quality Inspection
Systems Theory Challenges in the Simulation of Variable Structure and Intelligent Systems
Exploring Food Detection Using CNNs
Algebraic System Modelling and Implementation
A Model of Neural Inspiration for Local Accumulative Computation
The Metamodel of Heritage Preservation for Medical Big Data
Enhancing Industrial Maintenance Through Intelligent Data Analysis
How Digital Twins Can Help to Accelerate the Transition to a Carbon-Neutral System
Modeling Wildlife Accident Risk with Gaussian Mixture Models
Modelling and Simulation of Non-Homogeneous Models
Systems Concepts for Visual Texture Change Detection Strategy
Soft Computer-Aided System Theory and Technology (SCAST)
Optimising Public Transport Through the Integration of Micro and Macro-level Simulations
Robust Factor Analysis Parameter Estimation
How to Simulate Traffic with SUMO
Matrix Model of Robot in Matlab-Simulink
Leveraging Learning Factories for Mechatronic Systems Development: A Collaborative Approach
Parallel and Distributed Metaheuristics
Balanced Systems: A New Approach to Integrate Hardware and Software Design
A Greedy Randomized Adaptive Search Procedure for Solving the Uncapacitated Plant Cycle Problem
Adaptive Flood Forecasting for Small Catchment Areas
Fuzzy Integration of Web Data Sources for Data Warehousing
Design for Reuse via Structuring Techniques for ASMs
Formal Methods and Their Future
A Comparison of 4-GL Development Tools in the Area of Metadata and Dynamic User Interfaces
Decision Diagram Based Limited Discrepancy Search for a Job Sequencing Problem
Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings
Computer-Aided Simulations of Gaussian Processes and Related Asymptotic Properties
The Foldl Operator as a Coequalizer Using Coq
An Ontology for Reusing Synthetic Tasks
Application of Adapt-CMSA to the Electric Vehicle Routing Problem with Simultaneous Pickup and Deliveries
Performance Assessment of Optimal Chemotherapy Strategies for Cancer Treatment Planning
Cue Combination for Robust Real-Time Multiple Face Detection at Different Resolutions
Prostheses Control with Combined Near-Infrared and Myoelectric Signals
Optimization as a Service: On the Use of Cloud Computing for Metaheuristic Optimization
Skeleton Extraction of 2D Objects Using Shock Wavefront Detection
Multivariate Imputation of Genotype Data Using Short and Long Range Disequilibrium
Using Logic Programming to Test Module Specifications in Early Stages of Software Development
Anticipating the Unexpected: Simulating a Health Care System Showing Counterintuitive Behavior
On the Relevance of Graphical Causal Models for Failure Detection for Industrial Machinery
Design of an Object Oriented Kernel System for Computer Aided Systems Theory and Systems Theory Instrumented Modelling and Simulation
Skill-Based Motion Control with OPC UA and Deterministic Ethernet
Using Heuristic Optimization for Segmentation of Symbolic Music
Neuro-Immune-Endocrine (NIE) Models for Emergency Services Interoperatibility
Lightweight Interpolation-Based Surrogate Modelling for Multi-objective Continuous Optimisation
Effective Bit-Width and Under-Approximation
Fast Generation of Production Schedules on a Single Machine
Survey on Radar Odometry
Towards a Computational Theory of Systems. Some Cases Study
Event Based Simulation of Software Development Project Planning
Towards a Unified Incident Detection and Response System for Autonomous Transportation
Task and Resources Assignment in Special Application Embedded Systems
Computer Aided Systems Theory - EUROCAST 2013 - 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I
Some Remarks on the First-Crossing Area of a Diffusion Process with Jumps over a Constant Barrier
Towards a Computer-Aided Design of Reactive Systems
Motion Tracking in Augmented and Mixed Realities for Healthcare and Medicine Applications
HAR-type Models for Volatility Forecasting: An Empirical Investigation
Application of Simulation Techniques in a Virtual Laparoscopic Laboratory
User Interface to a CIM-Database
Meta-Learning-Based System for Solving Logistic Optimization Problems
Benefits of Plugin-Based Heuristic Optimization Software Systems
Ontology Integration for Statistical Information
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters
Unsupervised Clustering Using Diffusion Maps for Local Shape Modelling
Improving the Accuracy of Cancer Prediction by Ensemble Confidence Evaluation
An Algebraic Transformation of the Minimum Automaton Identification Problem
Information Retrieval and Large Text Structured Corpora
Unsupervised Anomaly Map for Image-Based Screening
Theory-Building with System Dynamics: Principles and Practices
The Human-Centered AI-DATA Model for Onsite Customer Journeys in E-Commerce
On the Evolutionary Behavior of Genetic Programming with Constants Optimization
From the Discovery of Electro-Magnetism and Electro-Magnetic Induction to the Maxwell Equations
Complete Sets of Hamiltonian Circuits for Classification of Documents
Extension of Static Non-linear DoE Identification Algorithms to Dynamic Systems
Static Deadlock Detection in Low-Level C Code
On the Influence of Selection Schemes on the Genetic Diversity in Genetic Algorithms
Introduction to Circular System Design and First Use Cases for Sustainable Product Development in Smart Meter Remanufacturing and Robotics
On Memory Capacity to Implement Logic Functions
SNIPER: A Wireless Sensor Network Simulator
Towards Sensomotory Coordination of Vision and Action in Humanoid Agents
Hospital 2090: How Nowadays Technology Could Contribute to the Future of the Hospitals
Petri Net Dynamic Partial Reconfiguration in FPGA
Refinement Mapping for General (Discrete Event) Systems Theory
Traffic Signals in Traffic Circles: Simulation and Optimization Based Efficiency Study
Evolution of Covariance Functions for Gaussian Process Regression Using Genetic Programming
From Text to Knowledge
A Development Methodology for Systems Engineering of Computer-Based Systems and its Environmental Support
Nonlinear Controllers for a Fluid Tank System
Boolean Function Complementation Based Algorithm for Data Discretization
Bounds on the Rate of Convergence for Nonstationary M X/M n/1 Queue with Catastrophes and State-Dependent Control at Idle Time
The Extended 1-D (One-Dimensional) Discrete Phase Retrieval Problem
Ocean Glider Path Planning Based on Automatic Structure Detection and Tracking
Dynamics of Predictability and Variable Influences Identified in Financial Data Using Sliding Window Machine Learning
A Novel Approach to Modechart Verification of Real-Time Systems
The 19th-Century Crisis in Engineering
Applying Ant Colony Optimisation to Dynamic Pickup and Delivery
Mini Robots for Soccer
Hidden Specification of a Functional System
Computer-Aided Systems Technology for CAD Environments: Complexity Issues and a Repository-Based Approach
Structural Synthesis of Dispatching Rules for Dynamic Dial-a-Ride Problems
A Methodology for Computer Aided Modelling of Information Systems Based on the Extended Entity Relationship Model BIER
One Degree of Freedom Copter
Ant Colony Optimization for Model Checking
3D Map Building Using a 2D Laser Scanner
A Hybrid Cooperative Approach for Symbolic Regression
Biomimetic Controller for Situated Robots Based on State-Driven Behaviour
Multi-Objective Evolutionary Algorithms Using the Working Point and the TOPSIS Method
A Heuristic Approach for Solving the Longest Common Square Subsequence Problem
Cast Methods for Generation of Non-Orthogonal Complete Transforms
Synthesis of Logic Circuits Based on Negative Differential Resistance Property
Filtering and Segmentation of Retinal OCT Images
Integrated Design and Implementation of Digital Controllers
Multiagent Approach to Intelligent Control of Robot
Fusion in Coq
A Language for Describing Complex-Evolutive Software Systems
Feasibility of Property-Based Testing for Time-Dependent Systems
Parallel Tabu Search and the Multiobjective Capacitated Vehicle Routing Problem with Soft Time Windows
Algorithm for Testing the Leibniz Algebra Structure
A New Diffusion Process to Epidemic Data
Who is Really Talking? A Visual-Based Speaker Diarization Strategy
Systems Modeling and Process Control
CNNs for Fine-Grained Car Model Classification
A Monocular Solution to Vision-Based ACC in Road Vehicles
The Different Possibilities for Gait Identification Based on Motion Capture
Safety Oriented Laparoscopic Surgery Training System
Inverse Kinematics for Humanoid Robots Using Artificial Neural Networks
High-Performance Parallel Computing for Analyzing Urban Air Pollution
Observable Runtime Behavior for Defects Indicated by Automated Static Analysis
Optimizing the Location Areas Planning in the SUMATRA Network with an Adaptation of the SPEA2 Algorithm
Simulation of an α-Stable Time-Changed SIR Model
Rapid Protocol Development in Wireless Sensor Networks Using Wireshark Plugins
Cross Pocket Gait Authentication Using Mobile Phone Based Accelerometer Sensor
A Distributed Authorization System with Mobile Usage Control Policies
Learning Autonomous Helicopter Flight with Evolutionary Reinforcement Learning
Hybrid Systems' Properties - Classification and Relation to Computer Science
Impact of the Circular Region of Interest on the Performance of Multimodal Reconstruction of Retinal Images
Effects of Cooperative Lane-Change Behavior on Vehicular Traffic Flow
Building a Tourist Assistant with a Nao Aldebaran
The Influence of Routing on Lateral Transhipment
A Controller Network for a Humanoid Robot
Station Planning by Simulating User Behavior for Electric Car-Sharing Systems
A Cloud Architecture Approximation to Collaborative Environments for Image Analysis Applications
A Cancer Dynamics Model for an Intermittent Treatment Involving Reduction of Tumor Size and Rise of Growth Rate
Mechatronics and the Bond Graph Theory Extended by the Morphotronic Systems
Verification of Architectural Views Model 1+5 Applicability
Discovering DNA Motifs with a Parallel Shared Memory Differential Evolution
Vision Based Intelligent System for Autonomous and Assisted Downtown Driving
Convolutional Gated Recurrent Units for Obstacle Segmentation in Bird-Eye-View
Developing an Application in the Forest for New Tourism Post COVID-19 -Experiments in Oku-Nikko National Park-
VNS and PBIG as Optimization Cores in a Cooperative Optimization Approach for Distributing Service Points
Global Structural Approximate Controllability of Polynominal Nonlinear Systems
Order and Equivalence Relations on Descriptions of Finite Dimensional Linear Systems
Sociological Aspects of Data Acquisition and Processing
Emergent Reasoning from Coordination of Perception and Action: An Example Taken from Robotics
Metaheuristic Approaches for Optimal Broadcasting Design in Metropolitan MANETs
Moving Towards an Agent-Based Engineering Environment
Driving by Driverless Vehicles in Urban Environment
On Underwater Vehicle Routing Problem
Verifying an Applicative ATP Using Multiset Relations
A Formalisation of the Evolution of Software Systems
Understanding and Preparing Data of Industrial Processes for Machine Learning Applications
Diagnosis of Neurodegenerative Diseases Based on Multi-modal Hemodynamic Classification of the Brain
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
Fractional Growth Process with Two Kinds of Jumps
Computer Aided Nonlinear Systems Design Based on Algebraic System Representation and on Nonlinear Bundle Graphs
Algorithm for Proving the Knowledge of an Independent Vertex Set
A Hybrid Cloud Computing Approach for Intelligent Processing and Storage of Scientific Data
New Biomimetic Neural Structures for Artificial Neural Nets
Computer-Aided Optimization for Predictive Battery State-of-Charge Determination
Evaluation of Descriptive User Interface Methodologies for Mobile Devices
Integration of SysML and Simulation Models for Mechatronic Systems
Variations on Neighborhoods in CA
Identification of Dynamical Systems Using Symbolic Regression
Some Remarks on First-Passage Times for Integrated Gauss-Markov Processes
Computer Aided Systems Theory - EUROCAST 2015 - 15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers
On Modeling the Dynamic Thermal Behavior of Electrical Machines Using Genetic Programming and Artificial Neural Networks
Intersensorial Transformations: General Systems Description and Implications
Towards a Robust Vision-Based Obstacle Perception with Classifier Fusion in Cybercars
Optimization of Passenger Distribution at Metro Stations Through a Guidance System
Extending the Growing Neural Gas Classifier for Context Recognition
Approximate Solutions to Semi Markov Decision Processes through Markov Chain Montecarlo Methods
Illustrating Constraint Programming Systems in Logistic Planning
Bandit-Based Monte-Carlo Planning for the Single-Machine Total Weighted Tardiness Scheduling Problem
Diversity-Based Offspring Selection Criteria for Genetic Algorithms
A Non-standard Genetic Algorithm Approach to Solve Constrained School Timetabling Problems
Image Sequences Noise Reduction: An Optical Flow Based Approach
Automated Re-establishment of the Synchronization of Real and Simulated Project Workflow
An Augmentative Communication System Based on Adaptive Evolutionary Hypermedia Systems
Modelling Differential Equations by Basic Information Technology Means
Stereo-Vision Algorithm Based on Bio-Inspired Silicon Retinas for Implementation in Hardware
White Box vs. Black Box Modeling: On the Performance of Deep Learning, Random Forests, and Symbolic Regression in Solving Regression Problems
Computer Aided Vision (CAV) A CASt Method for Artificial Vision Systems
Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers
Integrated Symbolic-Graphic-Numeric Analysis and Design in Nonlinear Control through Notebooks in Mathematica
Automated Load Classification in Smart Micro-grid Systems
Ontology-Based Modelling of Session Management Policies for Groupware Applications
Adding Traces to a Lazy Monadic Evaluator
Modeling and Design of a Production Concept for Skinless Pretzel-Shaped Sausages
Systems Optimization on Retinal Research
Navigation in Systems Problem Solving
Microscopic Randomness and "Fundamental Diagram" in the Traffic Flow Problem
Data Transformation: Limitless Strategies in Energy Consumption
A General Purpouse Control System
On the Strong Co-induction in Coq
Application of Hierarchical Systems Technology in Design and Testing of Circuit Boards
McCulloch's Relation to Connectionism and Artificial Intelligence
A Job-Seeking Advisor Bot Based in Data Mining
Performance Analysis of GAN Approaches in the Portable Chest X-Ray Synthetic Image Generation for COVID-19 Screening
Uncertain Variables in the Computer Aided Analysis of Uncertain Systems
SIFT and SURF Performance Evaluation and the Effect of FREAK Descriptor in the Context of Visual Odometry for Unmanned Aerial Vehicles
Determining Orbital Elements of Extrasolar Planets by Evolution Strategies
Ant-Based Topology Convergence Algorithms for Resource Management in VANETs
On Transforming a Knowledge Base from Topic Maps to OWL
Comparison of RF Power Amplifier Behavioral Models with Respect to Their Modeling Capabilities in Adjacent and Alternate Bands
Modeling of a High Voltage Ignition Coil with Nonlinear Magnetic Behavior
Automatic Adaption of Operator Probabilities in Genetic Algorithms with Offspring Selection
A Large Neighborhood Search for Battery Swapping Station Location Planning for Electric Scooters
Detecting Hands in Egocentric Videos: Towards Action Recognition
Reversible Synthesis through Shared Functional Decision Diagrams
Autoencoder Features for Differentiation of Leukocytes Based on Digital Holographic Microscopy (DHM)
A MATLAB Toolbox for Upper Limb Movement Classification
On Structural Identification of 2D Regression Functions for Indoor Bluetooth Localization
A Framework for Knowledge Intensive Engineering
Analysis of the New Standard Hash Function
Geometric Theory of Nonlinear Dynamical Networks
Rating the Severity of Diabetic Retinopathy on a Highly Imbalanced Dataset
Theoretical Approach to Backdoor Attack on CRYSTALS-Dilithium
Interpretation-Driven Low-Level Parameter Adaptation in Scene Analysis
Coloring of DT-MRI Fiber Traces Using Laplacian Eigenmaps
Google Colaboratory for Quantifying Stomata in Images
On Discovering Optimal Trade-Offs When Introducing New Routes in Existing Multi-modal Public Transport Systems
On the Way to the Next Generation of Robots
Surrogates for Fair-Weather Photovoltaic Module Output
A Complexity-Theoretic Approach to the Design of Good Measures of Cryptographic Strength
PSPRT: A Case of Pervasive System for Public Road Transport
A Logical Approach to System Construction
Non Selective Gas Sensors and Artificial Neural Networks-Determination of Gas Mixtures
Segmentation of Traffic Images for Automatic Car Driving
Boundary Scan Security Enhancements for a Cryptographic Hardware
A Formal Model for Integrated System Development
Evaluation of Sightseeing Support Application Using BLE Beacon in Oku-Nikko
Overtaking Maneuver for Automated Driving Using Virtual Environments
Representation and Processing of Complex Knowledge
CAST.FSM Applied to VLSI Synthesis: Experimental Results and Requirements for Industrial Use
Promotion of Sustainable Transport by a Tracking System for Bicycles
Degenerate Arrays: A Framework for Uncertain Data Tables
A Study of Precedent Retrieval System for Civil Trial
Adaptive Combination in Frequency Domain: An Approach for Robust Nonlinear Acoustic Echo Cancellation
Helicopter Flight Dynamics Using Soft Computing Models
Towards Extension of Open Data Model: Relational Data Model Context