yusuke1997/dblp-id-title huggingface dataset:
Enhancing Manufacturing Efficiency Through Integration of MBSE and Capella in the Digital Thread
Reconstructability Analysis and its Re-Interpretation in Terms of Pragmatic Information
Systems Engineering and Infrastructures for Open Computer Based Systems
Modelling Electric Vehicle Routing Problem with Heterogeneous Fleet for Simultaneous Pickup and Delivery
Learning Value Functions for Same-Day Delivery Problems in the Tardiness Regime
Generalizing Programs vis Subsumption
Approximation Problems Categories
AI-Driven Gesture and Action Recognition for Learning Medicine Through Virtual Reality
Hybrid Method for Forecasting Next Values of Time Series for Intelligent Building Control
ESKMod, a CommonKADS Knowledge Model Integrating Multiple Classic Edge Based Segmentation Algorithms
Using Fixed Point Arithmetic for Cardiac Pathologies Detection Based on Electrocardiogram
The "Human Operator" - Some Requisits for a Theoretical Concept
Model-Based Design and Verification of Reactive Systems
Global Decision Making for Wavelet Based ECG Segmentation
Heuristic Forecasting of Geometry Deterioration of High Speed Railway Tracks
Solving Towers of Hanoi and Related Puzzles
Systems Theory and Model of Diversification in Building of Information Systems
XML Rules for Enclitic Segmentation
Comparison of WiFi Map Construction Methods for WiFi POMDP Navigation Systems
Linear and Algorithmic Formulation of Co-operative Computation in Neural Nets
GRID Software Solution for the Segmentation of the Coronary Artery Tree in Biplane Angiograms
A Minimal System for the Study of Relationships between Brain Processes and Psychological Events
Application of Signed Kolmogorov Hashes to Provide Integrity and Authenticity in Web-Based Software Distribution
A Three-Level Hierarchy of Models for Lattices of Boolean Functions
Realization of Continuous-Time Nonlinear Input-Output Equations: Polynomial Approach
Contrastive Learning for Simulation-to-Real Domain Adaptation of LiDAR Data
Continuous-Time Birth-Death Chains Generate by the Composition Method
Request Driven Generation of RFLP Elements at Product Definition
An Object-Oriented and Generic Compiler Generator
Using Archetypes to Teach Systems Thinking in an Engineering Master's Course
Temporal Data Management and Knowledge Acquisition Issues in Medical Decision Support Systems
A Hybrid Metaheuristic for a Tourist Route Recommender
CAST Tools for Automatic FMS-Dynamics Models Synthesis
System Integration Techniques in Robotics
On Time Non-homogeneous Feller-Type Diffusion Process in Neuronal Modeling
Solving Two-Machine Sum-Cost Flow Shop Problem on D-Wave Quantum Annealer
Fuzzy Modeling for Coal Seams A Case Study for a Hard-Coal Mine
Systems and Computational Tools for Neuronal Retinal Models
CAST Methods in Control
Multirate Control of a Class of Nonlinear Systems
Systems Methodology for Classical Neural Nets at Various Levels
A Stochastic Gompertz Model with Jumps for an Intermittent Treatment in Cancer Growth
AVORA I Successful Participation in SAUC-E'12
Systems Theory in Modelling Chromatic Retinal Visual Processing
Extracting Computer Algebra Programs from Statements
Optical Preprocessing and Digital Signal Processing for the Measurement of Strain in Thin Specimen
Comparative Study on Sensorless Vibration Suppression of Fast Moving Flexible Linear Robots
An Analysis of the Intensification and Diversification Behavior of Different Operators for Genetic Algorithms
Generative Communication with Semantic Matching in Distributed Heterogeneous Environments
Improvements in Large Neighborhood Search for the Electric Autonomous Dial-A-Ride Problem
Contributions to the Control and Stabilization of the Pole-Cart System
GRASP-VNS for a Periodic VRP with Time Windows to Deal with Milk Collection
Mobile Surveys
Qualitative Computation with Neural Nets: Differential Equations Like Examples
Smart Recommender for Blue Tourism Routing
Towards an "Erlangen Program" for General Linear Systems Theory
Analytical Representation of Intrinsic Directionality in Retinal Cells
Computer Aided Systems Theory - EUROCAST 2024 - 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I
A Meta-heuristic Approach for the Transshipment of Containers in Maritime Container Terminals
Incorporating Heuristic Rules in a Multifaceted System
Optimizing the Movement of Containers on the Yard of a Maritime Container Terminal
A Model-Based Architecture for Fuzzy Temporal Diagnosis
Infrastructure for Complex Systems - CAD Frameworks
Knowledge Discovery in Databases Using Multivalued Array Algebra
Computer Aided Systems Theory - EUROCAST 2019 - 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part I
Intervention Payload for Valve Turning with an AUV
Developing the Use of Process Algebra in the Derivation and Analysis of Mathematical Models of Infectious Disease
Nearly-Time Optimal Smooth Path Planning Using Continuous Curvature Derivative Primitives
Symmetric Optical Flow
Efficient Model Checking of Applications with Input/Output
A PILOT/VND/GRASP Hybrid for the Static Balancing of Public Bicycle Sharing Systems
Virtual Sensors for Emissions of a Diesel Engine Produced by Evolutionary System Identification
An Environment for Intelligent Autonomous System Design and Simulation
On Recursive Functions and Well-Founded Relations in the Calculus of Constructions
Using AutomationML for Advanced Simulation in Industrial Automation
Artificial Intelligence in CIM
Computation of Partial Automata Through Span Composition
Introducing Planning in Discrete Event Systems
Analysis of Schema Frequencies in Genetic Programming
Motion Capture Analysis Supporting Lifting Technique Optimization for Occupational Safety Diagnosis
Incrementally Solving the Dynamic Stacking Problem
Computer Aided Systems Theory - EUROCAST 2017 - 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part II
Optimization Networks for Integrated Machine Learning
Computer Aided Development and Simulation of a Remote Control VTOL Tiltwing Model Aircraft
Evolutionary Color Constancy Algorithm Based on the Gamut Mapping Paradigm
On the Confluence of the Graphic Calculus with Penrose Diagrams (I)
Application of Morphotronic Theory to Parallel Robots
Distributed Simulation with Multimedia Interface
Remarks on Systems, Beads, and Bead Sets
On Myosin II Dynamics: From a Pulsating Ratchet to a Washboard Potential
Optimization Methods for Large-Scale Production Scheduling Problems
Verification of Program Properties Using Different Theorem Provers: A Case Study
Computation and Simulation in Modelling Biological Systems Simulation of Myosin II Dynamics Modeled by a Pulsating Ratchet with Double-Well Potentials
JKU-ITS Automobile for Research on Autonomous Vehicles
Floating Car Data: Comparison of Smartphone and On-Board Diagnostics (OBD)
Systems Theory and Systems Implementation: Case of DSS
Systemic Thinking in IT Management of the Future: Where are the Benefits?
Adaptation Engine for Large-Scale Distributed Systems
A Semantic Logic for CAST Related to Zuse, Deutsch and McCulloch and Pitts Computing Principles
Optimizing Set-Up Times Using the HeuristicLab Optimization Environment
Integrated System and Network Simulation of a 5.8GHz Local Positioning System
Clinical Decision Support Tool for the Identification of Pathological Structures Associated with Age-Related Macular Degeneration
Knowledge Discovery: From Uncertainty to Ambiguity and Back
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets
Object Identification and Retrieval in a CAST Library
The Configuration of Complex Systems
Web Usage Mining Project for Improving Web-Based Learning Sites
Rational Function Systems in ECG Processing
A Relative Value Function Based Learning Beam Search for the Longest Common Subsequence Problem
Surrogate-Assisted Fitness Landscape Analysis for Computationally Expensive Optimization
Optimization of a Speedboat Simulator for Engine Calibration
Optimized Filter Design for a Filter Bank Based Blocker Detection Concept for LTE Systems
Algebraic Description of Physical Systems
Using Temporal Logic for Spatial Reasoning: Temporalized Propositional Neighborhood Logic
Analysis and Verification Queries over Object-Oriented Petri Nets
Computer Aided Systems Theory - EUROCAST'93, A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas, Spain, February 22-26, 1993, Proceedings
A Novel Gauss-Markov Random Field Approach for Regularization of Diffusion Tensor Maps
Evolving 6-State Automata for Optimal Behaviors of Creatures Compared to Exhaustive Search
Computer Aided Systems Theory - EUROCAST'99, Vienna, Austria, September 29 - October 2, 1999, Proceedings
User Equilibrium Study of AETROS Travel Route Optimization System
Single Point Algorithms in Genetic Linkage Analysis
Reduced Inference Systems: Alternative Architectures for Vision
Cast System Approach for Visual Inspection
Dempster-Shafer Theory Based Ship-Ship Collision Probability Modelling
ChatGPT Language Model as Support for Teaching and Self-learning in the Field of Engineering and Technical Sciences
Elegant Architectures: Sustainability in Information Technology
STIMS-MEDTOOL: Integration of Expert Systems with Systems Modelling and Simulation
Robust Obstacle Detection Based on Dense Disparity Maps
A New Model-Based Approach to the Co-Design of Heterogeneous Systems
A Medical Ontology for Integrating Case-Based Reasoning, Rule-Based Reasoning, and Patient Databases
New Frontiers in the Validation of Simulation Models-Structural Dominance Analysis
Basins of Attraction Estimation Through Symbolic Graphical Computing Techniques
Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems
Composing Transitions into Transactions in UML Diagrams
Modelling, Analysis and Evaluation of Systems Architectures
Which State Feedback Control Laws will not Alter the System's Transfer Function?
Modeling with Archetypes: An Effective Approach to Dealing with Complexity
Vibration Attenuation by Semi-active Dampers
Robust Deep Learning-Based Approach for Retinal Layer Segmentation in Optical Coherence Tomography Images
GEM - A Generic Engineering Framework for Mechanical Engineering Based Upon Meta Models
A Simulation Study of New Security Schemes in Mobile Ad-Hoc NETworks
Automated Design of Totally Self-Checking Sequential Circuits
Cast Methods in Biocybernetics
Gait Recognition Using 3D View-Transformation Model
On the Role of Architectures in Systems Engineering
Feature Selection Based on Pairwise Classification Performance
Hyperbolic Transformations of Zernike Functions and Coefficients
Battery Internal State Estimation: Simulation Based Analysis on EKF and Auxiliary PF
Systolic Optimization on GPU Platforms
Remarks on the Design of First Digital Computers in Japan - Contributions of Yasuo Komamiya
Soft Computing and Geometrical Control for Computer Aided Driving
Novel Approaches to Geophysical Navigation of Autonomous Underwater Vehicles
Developing a Human Health Digital Twin for Cardiovascular Risk Assessment: Simulation Model and Dashboard
Mathematical Reconstruction of the Enigma
Crisis Management in a Federation - Cybernetic Lessons from a Pandemic
Control of Systems Described by Means of Nonmetric Variables
Computer Aided Systems Theory - EUROCAST 2017 - 16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I
Pattern-Based Verification for Trees
Learning-Based Algorithm Selection for a Multiprocessor Scheduling Problem
Computer-Aided Systems Technology: Its Role in Advanced Computerization
Towards a Certified and Efficient Computing of Gröbner Bases
An Advanced Hardware Platform for Modern Hand-Prostheses
Self-organizing Feature Maps to Solve the Undirected Rural Postman Problem
Lightweight Authentication for RFID Used in VANETs
Diffusion Processes Subject to Catastrophes
Hardware Approach to Artificial Hand Control Based on Selected DFT Points of Myopotential Signals
A Qualitative System as a Frame to Control Unmanned Vehicles
Neural Network Sensitivity Analysis Applied for the Reduction of the Sensor Matrix
FPGA Real Time Lane Departure Warning Hardware System
Logistic Regression as a Computational Tool for Dealing with Intransitivity
Object-Oriented High Level Modeling of Complex Systems
Optimization of Container Terminal Problems: An Integrated Solution Approach
Facing the Challenges of the European Higher Education Area: The dMath Project
CAST-Modelling Approaches in Engineering Design
Comparison of Different Battery-Powered Tag Positions for Lower Limb Gesture Detection
Neural Structures to Compute Homothetic Invariances for Artificial Perception Systems
Inscrutable Decision Makers: Knightian Uncertainty in Machine Learning
Neuronal Data Analysis Based on the Empirical Cumulative Entropy
Sliding Window Symbolic Regression for Predictive Maintenance Using Model Ensembles
On Determining the k-Nerode Equivalence For Tree Automata Inference
Some Remarks on the Prendiville Model in the Presence of Jumps
A System-Theoretic Approach to Planning and Programming
A Compositional Approach for Equivalence Checking of Sequential Circuits with Unknown Reset State and Overlapping Partitions
Automation of Snakes in Medical Images
Vectorized Simulations of Normal Processes for First Crossing-Time Problems
An Easy to Use Infrastructure for Building Static Analysis Tools
A Software Architecture for Effective Document Identifier Reassignment
The Computer and the Calculator
Mobile Robot Path Planning Among Weighted Regions Using Quadtree Representations
Safe Crossroads via Vehicle to Vehicle Communication
Data Improvement to Enable Process Mining on Integrated Non-log Data Sources
Conflict Management in an Intelligent Multiagent Robotics System Based on FSM Approach
Computer Aided Systems Theory - EUROCAST 2019 - 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part II
An Identification Algorithmic Toolkit for Intelligent Control Systems
Hyper-bent Multiple-Valued Functions
Local Space-Time Systems Simulation of Linear and Non-linear Retinal Processes
On the First Exit Time Problem for a Gompertz-Type Tumor Growth
Using Fisher Kernel on 2D-Shape Identification
Application of Linear Hybrid Cellular Automata to Stream Ciphers
Design and Implementation of an Energy Management System for an Integrated Iron and Steel Plant
A Comparison of Recent Algorithms for Symbolic Regression to Genetic Programming
Efficient On-Board Stereo Vision Pose Estimation
The Dilemma of Choice in Management of Communication Processes in WSN
A Model for a Structural Vision System
Improvement in the Computational Efficiency in the Analysis of Signals by way of Adaptive Time Frequency Distributions
Acceleration Signal Based Linear Formation Driving Model: Algorithmic Description and Simulation Results
A General Solution Approach for the Location Routing Problem
An Integrated Decision-Making Framework for Shuttle Bus Selection Using DEMATEL and MULTIMOORA Methods
Complexity-Theoretical Approaches to the Design and Analysis of Cryptographical Boolean Functions
Collaborative XML Document Versioning
Modeling a Lot-Aware Slab Stack Shuffling Problem
On Modelling and Control of Compressible Non-Newtonian Injection Processes
Statistical Analysis of the Relationship between Spots and Structures in Microscopy Images
A High Level Interactive Design Environment for Complex Systems
Modelling, Simulation and Control of a Heavy Chain System
A Comparison of Covariate Shift Detection Methods on Medical Datasets
Computer Aided Analysis and Design of Time-Varying Systems
Genetic Algorithm Applied to Real-Time Short-Term Wave Prediction for Wave Generator System in the Canary Islands
Prediction of Stem Cell Differentiation in Human Amniotic Membrane Images Using Machine Learning
License Plate Corners Localization Using CNN-Based Regression
Cooperation Enforcement Schemes in Vehicular Ad-Hoc Networks
Time-Inhomogeneous Diffusion Process for the SI Epidemic Model
Fitness Landscape Analysis in the Optimization of Coefficients of Curve Parametrizations
A New Pseudo-Random Generator Based on Gollmann Cascades of Baker-Register-Machines
SYNERGY: The Design of a Systems Engineering System, I
AUTOPIA Program Advances: How to Automate the Traffic?
Developing Adaptive Visual Communication Interface to Improve Rehabilitation Services
A Parallel Multiobjective Algorithm Inspired by Fireflies for Inferring Evolutionary Trees on Multicore Machines
Experiencing Modeling and Development of an Intelligent Autonomous Robot
Neural Network Based Single-Carrier Frequency Domain Equalization
A Computational Model for Visual Size, Location and Movement
Multidimensional Constant Linear Systems
A Dense-Time Temporal Logic with Nice Compositionality Properties
Mixed Reality HMI for Collaborative Robots
Geometric Image of Statistical Learning (Morphogenetic Neuron)
Models of the Heat Exchanger Assuming the Ideal Mixing
Deciding Boundedness for Systems of two Linear Communicating Fine State Machines
On Modelling Metabolism-Repair by Convolution and Partial Realization
Adaptive Robotic Platform as an Inclusive Education Aid for Children with Autism Spectrum Disorder
An Artificial Skin from Conductive Rubber
Towards Good Experimental Methodologies for Unmanned Marine Vehicles
GENIAL: An Evolutionary Recurrent Neural Network Designer and Trainer
Vision-Based Blind Spot Detection Using Optical Flow
Dynamic Behavior of Time-Domain Features for Prosthesis Control
Solving the Rectangle Packing Problem by an Iterative Hybrid Heuristic
Composable Evolutionary Computation
Modelling Differential Structures in Proof Assistants: The Graded Case
Cost-Efficient Traffic Sign Detection Relying on Smart Mobile Devices
Data-Based Prediction of the Duration of the Postoperative Stay of Patients
Comparing Self-calibration Methods for Static Cameras
Self-adaptive Population Size Adjustment for Genetic Algorithms
Machine Learning Update Strategies for Real-Time Production Environments
Comparing Improved Versions of 'K-Means' and 'Subtractive' Clustering in a Tracking Application
A Practical Experience on Reusing Problem-Solving Methods for Assessment Tasks
Smart Vehicle Inspection
Supporting Information Services for Travellers of Public Transport by Road
Formalizing Statistical Analysis: Approaches and Prospects
A Comparative Performance Analysis of Variable Speed Limit Systems Control Methods Using Microsimulation: A Case Study on D100 Freeway, Istanbul
Cooperative and Competitive Behaviors in a Multi-robot System for Surveillance Tasks
Augmented Reality Visualization for Computer Assisted Surgical Training
Refinement of Simulation Models for Point-of-Load DC-DC Converters to Enable Accurate Simulation-Based Compensator Design
HEDES: A System Theory Based Tool to Support Evolutionary Software Systems
On Expert Systems for the Use of Statistical Methods
On Similarity in Case-Based Reasoning for Structural Health Monitoring
On the Construction of Densities for Time Non-homogeneous Diffusion Processes
A Multiobjective SFLA-Based Technique for Predicting Motifs in DNA Sequences
Comparing Algebraic and Constrained Pole Assignment Controllers for a Thermal System
AR Digital Twin Demonstrator for Industrial Robotics Education
Nonlinear Control of a Gantry Crane
A Formulation for Language Independent Prelogical Deductive Inference
Pseudorandom Generator to Strengthen Cooperation in VANETs
U-V Disparity Analysis in Urban Environments
Simulation-Based Design and Evaluation of a Smart Energy Manager
Fuzzy Expert System Technology
CASIMIRO, The Sociable Robot
Evolutionary Information and Decision Support Systems: An Integration Based on Ontologies
A Simple Classification Approach to Traffic Flow State Estimation
White Matter Mapping in DT-MRI Using Geometric Flows
Neural Network Based Path Detection for an FMCW Positioning System
Self-healing Assurance Based on Bounded Model Checking
The Influence of Data Implementation in the Performance of Evolutionary Algorithms
Towards Virtual Course Evaluation Using Web Intelligence
System Theoretic Approach to Migration of Project Models
Movement Analysis for the Assessment of Hearing in Patients with Cognitive Impairment: A Preliminary Study
Transforming UML-Based System Descriptions into Simulation Models as Part of System Development Frameworks
A Latent Variable Model in Conflict Research
Differential Evolution Multi-objective Optimisation for Chemotherapy Treatment Planning
Interactive Three-Dimensional Visualization System of the Vascular Structure in OCT Retinal Images
Unfoldings of Bounded Hybrid Petri Nets
On Sharp Bounds on the Rate of Convergence for Finite Continuous-Time Markovian Queueing Models
Retinal Based Authentication via Distributed Web Application
Test Strategy Planning - A Tool to Support Future CAD Systems
Representation of the RCS Reference Model Architecture Using an Architectural Description Language
Computer Aided Systems Theory - EUROCAST 2013 - 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part II
Integrating Syntactic Information by Means of Data Fusion Techniques
Learning to Select Promising Initial Solutions for Large Neighborhood Search-Based Multi-Agent Path Finding
Fitting Rectangular Signals to Time Series Data by Metaheuristic Algorithms
Frequency Analysis of Contour Orientation Functions for Shape Representation and Motion Analysis
Automatic Players for Computer Games
Multi-agent Simulation in Random Game Generator
Comparing Some Estimate Methods in a Gompertz-Lognormal Diffusion Process
Preprocessing and Modeling of Radial Fan Data for Health State Prediction
Driver Pattern Study of Las Palmas de Gran Canaria
On the Structure of Discrete Systems
Comprehensive and Automatic Fitness Landscape Analysis Using HeuristicLab
A Multi-encoded Genetic Algorithm Approach to Scheduling Recurring Radiotherapy Treatment Activities with Alternative Resources, Optional Activities, and Time Window Constraints
The PCS Prover in THEOREMA
A User-Interface for a Microsystems High-Level Simulator
Knowledge Integration from Multidimensional Data Sources
Diversity Order of Spatial Multiplexing with Transmit Antenna Correlation Based Precoding
Dynamical Components Analysis of FMRI Data: A Second Order Solution
Contextual and Skin Color Region Information for Face and Arms Location
Computer Aided Rule Extraction from Examples
A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web
Application of Multichannel Vision Concepts and Mechanisms in an Artificial Industrial Vision System
CA-Systems Analysis with Applications in Environmental Protection
Robot System as a Testbed for AI Optimizations
A Model for Intelligent Treatment of Floodwaters
Detecting Information Structures in Texts
On Automatic Adjustment of the Sampling Period
On Evolutionary Systems
Tsallis and Kaniadakis Entropy Measures for Risk Neutral Densities
Evaluation of Whole-Image Descriptors for Metric Localization
Age-Layer-Population-Structure with Self-adaptation in Optimization
Evaluation and Optimization of GPU Based Unate Covering Algorithms
Hardware Sensor Aspects in Mobile Augmented Reality
V2V Communication System to Increase Driver Awareness of Emergency Vehicles
Picard Discretization of Nonlinear Systems: Symbolic or Numeric Implementation?
Shapley Value Based Variable Interaction Networks for Data Stream Analysis
People Transfer in City Transport Modeled via CPN
Selective Association in Associative Memories - An Extension of the Model NEUNET
Experimental Evaluation of Sealing Materials in 6-Axis Force/Torque Sensors for Underwater Applications
Online Machine Learning for the Estimation of Process Times in Dynamic Scheduling
The Cutting Stock Problem Recent Application in Information Technology
The Role of Partitions and Functionals in Descriptor Computation for Data Receptive Fields
Experience in the Development of Advanced Modelling Environments
Solving String Constraints with Approximate Parikh Image
Ego-Motion Computing for Vehicle Velocity Estimation
Application of Noninteracting Control Problem to Coupled Tanks