yusuke1997/dblp-id-title huggingface dataset:
Simultaneous Measurement of the Flow Velocities of Liquids and Gases
AV-Petri Systems: How to Get Together Abstraction and Views for Petri Systems?
The Concept of the System as a Key to System-Engineering in the Information Technology Domain
An Automatic Calculator with Penrose Diagrams
Automatic Vehicle Counting Approach Through Computer Vision for Traffic Management
Multiple Label Text Categorization on a Hierarchical Thesaurus
Enabling Design and Development of Wireless BANs Using 802.15.x Standards
Convergence of Iterations
On a Non-homogeneous Gompertz-Type Diffusion Process: Inference and First Passage Time
A Comparative Study for Real-Time Streaming Protocols Implementations
Classifying Human Blood Samples Using Characteristics of Single Molecules and Cell Structures on Microscopy Images
Multiparadigm (Knowledge-Based and Numerical) Continuous Simulation Environments: Architectural Issues
Managing Certificate Revocation in VANETs Using Hash Trees and Query Frequencies
Optic Flow: Improving Discontinuity Preserving
Anisotropic Regularization of Posterior Probability Maps Using Vector Space Projections. Application to MRI Segmentation
A Complete Conceptual Model for Pervasive Information Services for Public Transport
Kernel Adaptive Filters: A Panacea for Self-interference Cancellation in Mobile Communication Transceivers?
Traffic Light Recognition During the Night Based on Fuzzy Logic Clustering
Lotfi Zadeh: Fuzzy Sets and Systems
Applications of the Quantile-Based Probabilistic Mean Value Theorem to Distorted Distributions
Using a System Archetype to Explore a Business Model for Digital Textile Microfactories
A Set Theory Prover Within Theorema
On Impact Behavior of Force Controlled Robots in Environments with Varying Contact Stiffness
Automatic Tuning Methods for MPC Environments
Transdisciplinary Software Development for Early Crisis Detection
Multi-criteria Optimization of Workflow-Based Assembly Tasks in Manufacturing
CAST.Fourier - An Interactive Method Bank for Generalized Spectral Techniques
Automatic System Identification of Tissue Abnormalities Based on 2D B-Mode Ultrasound Images
Understanding the Relationship of Information in Mechatronic Design Modeling
McCulloch Program II in Artificial Systems and Lastres Theorem
Monocular Vision-Based Target Detection on Dynamic Transport Infrastructures
A Class of 3-D Distributed Modular Computing Nets
On the Physical Formal and Semantic Frontiers Between Human Knowing and Machine Knowing
Using a Multiobjective OpenMP+MPI DE for the Static RWA Problem
EDEVITALZH: Predictive, Preventive, Participatory and Personalized e-Health Platform to Assist in the Geriatrics and Neurology Clinical Scopes
A Texture-Based Method for Choroid Segmentation in Retinal EDI-OCT Images
A Holarchical Organized Design Assistant for Hierarchical Decompositions
Kinematics in Robotics by the Morphogenetic Neuron
Linear Complexity Measures for Multi-valued Cryptographic Data Streams by Application of the Rissanen Partial Realization Method
Computer Aided Systems Theory - EUROCAST 2022 - 18th International Conference, Las Palmas de Gran Canaria, Spain, February 20-25, 2022, Revised Selected Papers
Multi-processor Design of Non-linear Robust Motion Control for Rigid Robots
Serre-Frenet Frame in n-dimensions at Regular and Minimally Singular Points
Analytical Conversion of the Strejc Model to the First Order with Time Delay (FOTD) Model
Mapping Based on a Noisy Range-Only Sensor
Experiments of LoRa to Develop Services for Tourists
A Framework for the Elicitation, Evolution, and Traceability of System Requirements
Towards Some Computational Problems Arising in Biological Modeling
Bayesian Networks Probabilistic Safety Analysis of Highways and Roads
ACO-GRASP-VNS Metaheuristic for VRP with Fuzzy Windows Time Constraints
The CAST Project: Experiences and Future Perspectives
Epileptic Seizure Detection Using Piecewise Linear Reduction
Local Search Metaheuristics with Reduced Searching Diameter
An Approach to Safety Critical Systems Design
Information Structure and Logical Design of Social Rules
A Simulated Annealing-Based Approach for Aid Distribution in Post-disaster Scenarios
Electric Power Steering Automation for Autonomous Driving
Prediction of Coverage of Expensive Concurrency Metrics Using Cheaper Metrics
Towards Formalism of Deep Model Descriptions of Dynamic Systems
Feedback Effects in Simulated Stein's Coupled Neurons
Fitness Landscape Based Parameter Estimation for Robust Taboo Search
George J. Boole - A Nineteenth Century Man for the Modern Digital Era
Real-Time IoT-Based Production Planning and Control of Industrial Robots in an Automated Cyber-Physical Production System Under Dynamic Conditions: Lessons Learned from a Make-to-Order Usage Case
A Tractable Subclass of Fuzzy Constraint Networks
Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPU
ADVOCATE II: ADVanced On-Board Diagnosis and Control of Autonomous Systems II
Infinitesimals on Computer - A Tool for CAST?
A New Approach to the Design of Concurrent Control Architectures
Static Positioning Accuracy of a Redundant Robotic System
Knowledge Based Modeling of the Design Processes as a Base of Design Tools. Application to the Development of Agricultural Structures
The ConWIZ Protocol: A Generic Protocol for Wizard of Oz Simulations
Improved Packing and Routing of Vehicles with Compartments
Particle Therapy Patient Scheduling: Time Estimation for Scheduling Sets of Treatments
Why Is It That the Different University Specialties in General and Engineering More Specifically Are Not Mentioned When Talking about Medical Work and Health?
Belief Space Planning for an Underwater Floating Manipulator
A k-NN Based Perception Scheme for Reinforcement Learning
Collecting VS Sharing Personal Data: Examining the Viability of the Concepts
A Practical Agent-Based Approach for Pattern Layout Design
Applying SSD to Real World Food Production Environments
Computer Aided Multi-Parameter Design of Linear Control Systems Using Exponent Diagram Techniques
Wiki Use in Learning for Topography Spanish Students
Simplification of Proof Procedures Based on the Path Condition Concepts
CASCADE: A Computer-Aided Tool for Low-Energy High-Performance Multi-DSP VLSI System Design
Optimization Problems Categories
Artificial Intelligence and Quality Assurance in Computer-Aided Systems Theory
Stereoscopic Rectification Brought to Practical: A Method for Real Film Production Environments
CA-Methods and Robotics
Increasing the Sensitivity of Cancer Predictors Using Confidence Based Ensemble Modeling
Accelerating Space Variant Gaussian Filtering on Graphics Processing Unit
Optimizing Organizational Structuce: A Hausdorff Benchmark for Complex Social Systems
Vascular Landmark Detection in Retinal Images
Logic-Algebraic Method for a Class of Knowledge Based Systems
Tensor Field Regularization Using Normalized Convolution
Rational Variable Projection Methods in ECG Signal Processing
Applying Stacking and Corpus Transformation to a Chunking Task
Evolutionary Selection in Simulation-Based Optimization
CASE - Computer-Aided Systems Engineering, a New Approach for Developing IM-Systems with Special Consideration of CIM Systems
Computer Aided Systems Theory - EUROCAST 2011 - 13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part II
Nonlinear Data Transforms in Perceptual Systems
Improvement of the Edit Distance Attack to Clock-Controlled LFSR-Based Stream Ciphers
Systematic Strategy for Performance Prediction in Improvement of Parallel Programs
An IoT Lab Dedicated to Cybersecurity - Teaching, Learning and Research
Cognitive Modeling for Navigation of Mobile Robots Using the Sensory Gradient Concept
On the Integration of CAST.FSM into the VLSI Design Process
Integrating Optimization Techniques and Live Tracking Software in Maritime Logistics
Partial-Order Reduction in Model Checking Object-Oriented Petri Nets
Lower Limbs Gesture Recognition Approach to Control a Medical Treatment Bed
A Heuristic Scheduling and Resource Management System for Solving Bioinformatical Problems via High Performance Computing on Heterogeneous Multi-platform Hardware
An Algorithm of Schedule Planning for Tanker Drivers
Application of Intelligent Worldwide DSS to Optimization Problems
Co-operative Extended Kohonen Mapping (EKM) for Wireless Sensor Networks
Constant Time Headway Control Policy in Leader Following Vehicular Platoons: 2-D Polynomial Approach
Automatic Generation of 2-AntWars Players with Genetic Programming
A New Large Neighborhood Search Based Matheuristic Framework for Rich Vehicle Routing Problems
Gibbs Dyadic Differentiation on Groups - Evolution of the Concept
Automatic ECG Screening as a Supporting Tool on a Telemedicine Framework
Complexity Analysis of HEVC Decoding for Multi-core Platforms
Representing Technical Standards as Knowledge Graph to Guide the Design of Industrial Systems
Influence of Spike Encoding, Neuron Models and Quantization on SNN Performance
A Methodology to Build Spanish Trustworthy Question-Answer Datasets for Suicide Information
Using Statistical Tests for Improving State-of-the-Art Heuristics for the Probabilistic Traveling Salesman Problem with Deadlines
An Efficient and Self-adaptive Model Based on Scatter Search: Solving the Grid Resources Selection Problem
CA-Methods for the Development and Construction of Hydroelectric Power Plants
Efficient Concurrent Simulation of DEVS Systems Based on Concurrent Inference
Temporal and Functional Verification of a Symbolic Representation of Complex Systems
Training Bioloid Robots for Playing Football
Computer Aided Systems Theory and Knowledge-Based System Design and Simulation; Directions to Explore
Multi-day Container Drayage Problem with Active and Passive Vehicles
Computer Vision Application: Real Time Smart Traffic Light
Automatic Robot Programming by CAST
Computer Aided Systems Theory - EUROCAST 2024 - 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II
A Robotic Platform Prototype for Telepresence Sessions
A Scalable Monitoring Solution for Large-Scale Distributed Systems
Model Based Design of Inductive Components - A Comparision Between Measurement and Simulation
A General Planning Method for Allocation of Human Resource Groups
Simulating Energy Efficiency of Routing and Link-Layer Protocols in Wireless Sensor Networks
System Approach to Complex Signal Processing Task
Model Instability in Microarray Gene Expression Class Prediction Studies
On-board Implementation of a Decentralized Algorithm for Deployment of a Swarm
Pattern Recognition in AVHRR Images by Means of Hibryd and Neuro-fuzzy Systems
Bases of a CAST System for Formal Neural Nets
Preprocessing Phase in the PIETSI Project (Prediction of Time Evolution Images Using Intelligent Systems)
From Linear Systems to Fuzzy Systems to Perception-Based Systems
Modelling and Analysis of Complex Stochastic Systems: from a Specific Example to a General Environment
Impact of Signal Representations on the Performance of Hierarchical WiFi Localization Systems
Image Compression by Multilevel Polynominal Interpolation and Wavelet Texture Coding
Solving a Flexible Resource-Constrained Project Scheduling Problem Under Consideration of Activity Priorities
Optimising Manufacturing Process with Bayesian Structure Learning and Knowledge Graphs
Fast Road Sign Detection Using Hough Transform for Assisted Driving of Road Vehicles
IEC 61499 Runtime Environments: A State of the Art Comparison
On the Comparison of Decoding Strategies for a Memetic Algorithm for the Multi Layer Hierarchical Ring Network Design Problem
Nonlinear Systems: A Polynomial Approach
Re-evaluation in Dynamic Tree-Search with Backtracking from Known Solutions
Feature Selection for Unsupervised Learning via Comparison of Distance Matrices
Implementation of Finite-Memory Machines within CAST: FSM
Diffusion Processes for Weibull-Based Models
Synoptic Maps Forecast Using Spatio-temporal Models
A Mixed Integer Linear Programming Formulation for Green Vehicle Routing Problem: Case for Shuttle Services
Colour Texture Segmentation of Tear Film Lipid Layer Images
The Zero Array: A Twilight Zone
Surrogate-Assisted Multi-Objective Parameter Optimization for Production Planning Systems
Decision Supported Systems and Their Industrial Applications
3D Reconstruction from a Vascular Tree Model
SUMO Performance Comparative Analysis of SUMO's Speed Using Different Programming Languages
ROS-Based Architecture for Multiple Unmanned Vehicles (UXVs) Formation
GPU-Accelerated Synthesis of Probabilistic Programs
Adaptive Change Estimation in the Context of Online Market Monitoring
Algorithmic Lateral Inhibition Formal Model for Real-Time Motion Detection
Software Simulator to Model an Energy Autonomous System
A Spreaders-Ignorants-Skeptics Model for the Spreading of Fake News and a Related Finite Birth-Death Process
A New Time-Optimum Synchronization Algorithm for Two-Dimensional Cellular Arrays
Global Modal Logics for Multiagent Systems: A Logical Fibering Approach
Mobile Platform Architecture Review: Android, iPhone, Qt
Analysis of Selected Evolutionary Algorithms in Feature Selection and Parameter Optimization for Data Based Tumor Marker Modeling
An Annotation Tool for Video Understanding
Usability Evaluation Framework - Automated Interface Analysis for Android Applications
Active MIB: Addressing Challenges of Wireless Mesh Networks
Trajectory Planning in a Crossroads for a Fleet of Driverless Vehicles
Cost Function Selection for a Graph-Based Segmentation in OCT Retinal Images
Deployment Models and Optimization Procedures in Cloud Computing
Permanency Memories in Scene Depth Analysis
Step-Guided Clinical Workflow Fulfilment Measure for Clinical Guidelines
Automated Building Construction Design Optimization for Reduction of Construction Costs and Energy Demand
Reference Datasets for Analysis of Traditional Japanese and German Martial Arts
Nikola Tesla - A Tribute to His Inventions
The Application of Named Entity Recognition in Military Intelligence
Use of Modern Computer Tools for Numerical Experiments in Matrix Theory
Combination and Comparison of Different Genetic Encodings for the Vehicle Routing Problem
From Systems Theory to CAST
Unsupervised Learning in Information Retrieval Using NOW Architectures
Towards a CAST Method for a Systematic Generation of Non-Orthogonal Complete Transformations
Systems Level Specification and Modeling of Reactive Systems: Concepts, Methods, and Tools
Konrad Zuse's First Computing Devices
A Reinforcement Learning Modular Control Architecture for Fully Automated Vehicles
The Reed-Muller-Fourier Transform Applied to Pattern Analysis
Stereo Vision-Based Convolutional Networks for Object Detection in Driving Environments
On the Sensitivity Degradation Caused by Short-Range Leakage in FMCW Radar Systems
Training Multiclass Classifiers by Maximizing the Volume Under the ROC Surface
Gröbner Bases: A Short Introduction for Systems Theorists
A Practical Methodology for Integration Testing
Improved Non-standard Discretization Methods for Nonlinear Dynamical Control Systems
Segmentation and Multi-facet Classification of Individual Logs in Wooden Piles
Teleeducation in Open Distributed Environment
Introduction of the Aristotle's Final Causation in CAST: Concept and Method of Incursion and Hyperincursion
Solving the Exploration's Problem with Several Creatures More Efficiently
Steganographic Data Heritage Preservation Using Sharing Images App
Modelling of Concurrent and Embedded Systems
An Integrated Approach to Filtering Phishing E-mails
Multilevel Approach to Traffic Control System
Neural Personal Profile Identification Based on Environmental Performance Analysis of Intelligent Building
3D Motion Estimation Using a Combination of Correlation and Variational Methods for PIV
PIRX3D - Pilotless Reconfigurable Experimental UAV
DetectionEvaluationJ: A Tool to Evaluate Object Detection Algorithms
Road Approximation in Euclidean and v -Disparity Space: A Comparative Study
Automated Guided Vehicles in Yard Logistics: A Time-Dependent Approach
Implementing the Universal Virtual Computer
Neural Analysis Parameters Occurring in a Smart Building
Fuzzy Logic for the Performance Assessment of the Innovation Management in Tourism
An Iterative Method for Mining Frequent Temporal Patterns
Some Remarks on CAST, its Relation to Systems Theory and to other CA Tools
Algorithm to Express Lie Monomials in Ph. Hall Basis and Its Practical Applications
Architecture and Design of a Generic Device Server for Virtual Reality Hardware Integration in Surgical Navigation
Simulation Setup for a Closed-Loop Regulation of Neuro-Muscular Blockade
Separation of Transitions, Actions, and Exceptions in Model-Based Testing
Extending the Globus Architecture with Role-Based Trust Management
Decomposing Pattern Matching Circuit
Application of Multi-valued Decision Diagrams in Computing the Direct Partial Logic Derivatives
Multi-dimensional Representations of Laparoscopic Simulations for SANETs
Generation of Indexes for Compiling Efficient Parsers from Formal Specifications
Representation of Convolution Systems on Finite Groups by Heterogeneous Decision Diagrams
Persistent Haskell
Knowledge Base for Evidence Based Medicine with Bioinformatics Components
ECG Segmentation by Adaptive Rational Transform
Modeling the Emergence of Social Entities
Data Mining with Scatter Search
Hierarchical Control of a Distributed Solar Collector Field
Vision-An Essay from a Computational View Point
Managing Dynamism of Multimodal Detection in Machine Vision Using Selection of Phenotypes
A Formal Semantics for a Graphical Model Representation in System Design
Hierarchic Representation for Spatial Knowledge
Determination of Parasitic Capacitances in Inductive Components - A Comparison Between Analytic Calculation Methods and FEM-Simulation
A Memetic Algorithm and a Solution Archive for the Rooted Delay-Constrained Minimum Spanning Tree Problem
Facilitating Evolutionary Algorithm Analysis with Persistent Data Structures
Temporal Equilibrium Logic: A First Approach
Tool for Creation Realistic Animation of Human-Like Figures: TRAF
A Planning under Uncertainty Model
A Compressive Sensing Scheme of Frequency Sparse Signals for Mobile and Wearable Platforms
CNN Based Radar Kick Sensor Gesture Recognition Prototype
Hybrid Evolutionary Programming: the Tools for CAST
Strategy and Communication in Robotic Soccer Game
3D Ultrasound Fingertip Tracking
Evaluation of Parameters of Functions of Cost Optimization System for Operating Systems for Carriers of Passengers by Road
Linking CAST.FSM to Practical Applications
Crossroad Cooperative Driving Based on GPS and Wireless Communications
Computer Aided System Theory - CASR '94, 4th International Workshop, Ottawa, Ontario, Canada, May 16-20, 1994, Selected Papers
Protocol Analysis for Concrete Environments
Complex Software Problem Solving by Means of Abstractive Techniques
A Study of Tool Support for the Evaluation of Programming Exercises
The Evolution of Models: Uncovering the Path of Model Improvement
Priority Rule Generation with a Genetic Algorithm to Minimize Sequence Dependent Setup Costs
Simulation Based Design of Control Systems Using DEVS and Petri Nets
Development of a Precision Assembly System Using Selective Assembly and Micro Machining (Evaluation of Combinatorial Optimization Method for Parts Matching)
A Multi-stage Approach Aimed at Optimizing the Transshipment of Containers in a Maritime Container Terminal
Textile in the Loop as Automated Verification Tool for Smart Textile Applications
The Impact of New Multi-platform Observing Systems in Science, Technology Development and Response to Society Needs; from Small to Large Scales..
Information Lost in the Hologram Subdividing Process
Discrete Event Simulation in an Environment for Temporal Expert Systems
Automatic Inventory of Multi-part Kits Using Computer Vision
System Theoretic Aspects of Software Architectures
An Integrated Clustering and Classification Approach for the Analysis of Tumor Patient Data
On the Complexity of Rules for the Classification of Patterns
Human-Computer Interaction and Cooperation for Supervisory Control of Large-Complex Systems
Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip
Using the Pilot Method as a Problem-Independent Metaheuristic for Multi-objective Beam Search
Using Videogames in Special Education
An Excellent Permutation Operator for Cryptographic Applications
Discrimination Criteria for Modeling Association, Aggregation, and Composition in UML Class Diagrams
Predicting the Processing Effort for Block Relocation Problems
Improvements for mlrose Applied to the Traveling Salesperson Problem
Automatic Classification of Cow's Behavior During Grazing
Customization and Analysis of Orthopedic Aids
Using GAs to Obtain an Optimal Set of Codes for an Ultrasonic Local Positioning System
Computer-Aided Analysis and Design of Sequential Control in Industrial Processes
A Framework for Combining Multivalued Data: A Practical Approach
Optimal Placement of Sensors for Trilateration: Regular Lattices vs Meta-heuristic Solutions
Towards Constraint-Based Preservation in Systems Specification
Smart Green Island Makeathon
Measurement of Anisotropy in Fitness Landscapes
Computer Aided Systems Theory - EUROCAST'89, A Selection of Papers from the International Workshop EUROCAST'89, Las Palmas, Spain, February 26 - March 4, 1989, Proceedings
A Distributed System for Massive Generation of Synthetic Video Using GPUs
Speeding Up a Chaos-Based Image Encryption Algorithm Using GPGPU
Development of a ROS-Based Architecture for Intelligent Autonomous on Demand Last Mile Delivery
Assessing the Quality of WSAN Topologies
Obtaining Difference Equations for Glucose Prediction by Structured Grammatical Evolution and Sparse Identification
Enabling A/B Testing of Native Mobile Applications by Remote User Interface Exchange
Selection Pressure Driven Sliding Window Behavior in Genetic Programming Based Structure Identification
An Architecture for Process Modeling and Execution Support
Stepwise Sample Generation
Deep Reinforcement Learning in Serious Games: Analysis and Design of Deep Neural Network Architectures
Real Time Vehicle Recognition: A Novel Method for Road Detection
A Learning Twolevel Optimization Approach for the Demand Maximizing Battery Swapping Station Location Problem
Cooperative Maneuver Study Between Autonomous Cars: Overtaking
Population Models and Enveloping
Requirement-Adapted Enhancement of a Faraday Rotation Magnetometer's Output
Visualization of Solution Spaces for the Needs of Metaheuristics
Simulation of a Signal Arbitration Algorithm for a Sensor Array
Verification of ACTL Properties by Bounded Model Checking
Investigating the Dynamic Block Relocation Problem
Optimization of Parameter Settings for Genetic Algorithms in Music Segmentation
The Inverse of the Continuous Wavelet Transform
Invariants and Symmetries among Adaptive Agents
An Embedded Vision Sensor for Robot Soccer
Convolution on Finite Groups and Fixed-Polarity Polynomial Expressions
Traffic Light Intelligent Regulation Using Infrastructure Located Sensors
Evolution of the Design and Implementation of Tutor: A Web-Based Educational System for University Courses
Vectorial Genetic Programming - Optimizing Segments for Feature Extraction
Explanatory Analysis of Data from a Distributed Solar Collector Field
Mapping Nautilus Language into Java: Towards a Specification and Programming Environment for Distributed Systems
Optimization of a Class of Uncertain Systems Based on Uncertain Variables
Ternary Haar-Like Transform and Its Application in Spectral Representation of Ternary-Valued Functions
A Note on Some Past and Present Advances in Neuroscience: A Personal Perspective - Dedicated to the Memory of Luigi Ricciardi
Multi-objective Dynamic Optimization for Automatic Parallel Parking
Design of Decimation-Based Sequence Generators over Extended Fields
Ramon Llull's Ars Magna
Rete Algorithm Applied to Robotic Soccer
Tabu Search and Solution Space Analyses. The Job Shop Case
Debugging and Verification of Multi-Agent Systems
Representing Petri Nets in an Action Based Formalism
Current and Future Trends and Challenges in Robot Soccer