yusuke1997/dblp-id-title huggingface dataset:
Modeling and Analysis of DC Traction System in Light of Recent Innovations from HPC and Virtual Reality
Wireless Telecommand and Telemetry Systems for Satellite Communication Using ZigBee Network
Counterlet Based Medical Image Compression Using Improved EZW
ANFIS Approach for Navigation of Mobile Robots
Mathematical Modeling to Study the Dynamics of a Molecule
Intelligent Agent Based Talent Evaluation Engine Using a Knowledge Base
Optimization Algorithm Approach for Error Minimization of Digital Integrators and Differentiators
A Novel Approach to Filter Non-Modified Pages at Remote Site without Downloading during Crawling
Estimating Parameters for a Class of Single Input Single Output Hybrid Systems
A Novel Image Reconstruction Using Second Generation Wavelets
5Gbits/sec, 300mV Precharge, 256b, Low Power Rhythmic SRAM
Clustering Method Evaluation for Hidden Markov Model Based Real-Time Gesture Recognition
Fault Tolerance in FPGA Architecture Using Hardware Controller - A Design Approach
Electronically Tunable Current-Mode Universal Biquad Filter Based on the CCCCTA
Implementation of Para-CORDIC Algorithm and Its Applications in Satellite Communication
An Efficient Approach for Non-Invertible Cryptographic Key Generation from Cancelable Fingerprint Biometrics
2D Wavelet Transform Based Compression of Pseudo-periodic Signals
Texture Based Approach for Cloud Classification Using SVM
Speaker Independent Automatic Emotion Recognition from Speech: A Comparison of MFCCs and Discrete Wavelet Transforms
A Watermarking Algorithm Based on Contourlet Transform and Nonnegative Matrix Factorization
An Efficient Bidirectional Frame Prediction Using Particle Swarm Optimization Technique
Improved Implementation of CRL and SCRL Gates for Ultra Low Power
Body Centered Cubic Grid - Coordinate System and Discrete Analytical Plane Definition
Eigenfunctions of Ultrametric Morphological Openings and Closings
Decomposition of Rational Discrete Planes
Stability of the Tree of Shapes to Additive Noise
MorphoActivation: Generalizing ReLU Activation Function by Mathematical Morphology
Split Trees - A Unifying Model for Many Important Random Trees of Logarithmic Height: A Brief Survey
Building the Topological Tree of Shapes from the Tree of Shapes
Discovering Repeated Patterns from the Onsets in a Multidimensional Representation of Music
On the Constrained Maximization of Influence Over a Directed Tree Structure
Geometry of Gauss Digitized Convex Shapes
Image Segmentation by Relaxed Deep Extreme Cut with Connected Extreme Points
A Simple Discrete Calculus for Digital Surfaces
Automatic Forest Road Extraction from LiDAR Data of Mountainous Areas
A Mathematical Morphology View of the Universal Representation of Scattering Networks
Topological Analysis of Simple Segmentation Maps
Graph-Based Image Segmentation with Shape Priors and Band Constraints
Sparse Approximate Solutions to Max-Plus Equations
Introduction to Discrete Soft Transforms
A Discrete Geometry Method for Atom Depth Computation in Complex Molecular Systems
Discrete Geometry and Mathematical Morphology - Third International Joint Conference, DGMM 2024, Florence, Italy, April 15-18, 2024, Proceedings
Implicit Encoding and Simplification/Reduction of nGmaps
Discrete Geometry and Mathematical Morphology - Second International Joint Conference, DGMM 2022, Strasbourg, France, October 24-27, 2022, Proceedings
Discrete Geometry and Mathematical Morphology - First International Joint Conference, DGMM 2021, Uppsala, Sweden, May 24-27, 2021, Proceedings
Visiting Bijective Digitized Reflections and Rotations Using Geometric Algebra
Fast Pattern Spectra Using Tree Representation of the Image for Patch Retrieval
A Topological Tree of Shapes
A Survey on 2D Euclidean Curve Classes in Discrete Geometry with New Results
A Linear Time Algorithm for Local Minimum and Maximum Filters
A Khalimsky-Like Topology on the Triangular Grid
Waterfall-Borvka-Based Algorithm for Binary Partition Tree
Morphological Granulometric Analysis of Particle Imagery from Microgravity Experiments
An Alternative Definition for Digital Convexity
Discrete Spiral and Max-Link, Complementary Tools for Vision
Component-Tree Simplification Through Fast Alpha Cuts
An Equivalence Relation Between Morphological Dynamics and Persistent Homology in n-D
Microscopic Image Reconstruction Under Convexity Constraints
Morphological Counterpart of Ornstein-Uhlenbeck Semigroups and PDEs
Digital Geometry, Mathematical Morphology, and Discrete Optimization: A Survey
Measuring the Irregularity of Vector-Valued Morphological Operators Using Wasserstein Metric
Convex Optimization for Binary Tree-Based Transport Networks
Fuzzy-Marker-Based Segmentation Using Hierarchies
Digital Straight Segment Filter for Geometric Description
Power Sum Polynomials in a Discrete Tomography Perspective
On the Validity of the Two Raster Sequences Distance Transform Algorithm
Tilepaint and Aquarium Puzzles in Periodic Grids
Scale Equivariant Neural Networks with Morphological Scale-Spaces
Completions and Ramifications
Fast and Effective Superpixel Segmentation Using Accurate Saliency Estimation
Discrete Geometry and Mathematical Morphology - 4th International Joint Conference, DGMM 2025, Groningen, The Netherlands, November 3-6, 2025, Proceedings
An Approach to Colour Morphological Supremum Formation Using the LogSumExp Approximation
Computing Gradient Vector Fields with Morse Sequences
Digital Convex + Unimodular Mapping = 8-Connected (All Points but One 4-Connected)
Counting Melanocytes with Trainable h-Maxima and Connected Component Layers
Some Geometric and Tomographic Results on Gray-Scale Images
End-to-End Ultrametric Learning for Hierarchical Segmentation
Learning Morphological Representations of Image Transformations: Influence of Initialization and Layer Differentiability
Digital Calculus Frameworks and Comparative Evaluation of Their Laplace-Beltrami Operators
Spectrogram Denoising by Filtering Max-Trees
Full Convexity for Polyhedral Models in Digital Spaces
Multi-scale Component-Tree: A Hierarchical Representation for Sparse Objects
On the Properties of a Class of Greedy Algorithms for Multicriteria Optimization
Morphological Perceptron with Competitive Layer: Training Using Convex-Concave Procedure
Exact Polyominoes and Non-decomposability
Differential Maximum Euclidean Distance Transform Computation in Component Trees
Elastic Analysis of Augmented Curves and Constrained Surfaces
A New Matching Algorithm Between Trees of Shapes and Its Application to Brain Tumor Segmentation
Formalizing an Iterated Morphological Erosion for the Discovery of Musical Patterns and Their Variations
Some Open Questions on Morphological Operators and Representations in the Deep Learning Era - A Personal Vision
How to Peel Fully Convex Digital Sets
Approximation of Digital Surfaces by a Hierarchical Set of Planar Patches
Image Segmentation by Hierarchical Layered Oriented Image Foresting Transform Subject to Closeness Constraints
Graph-Based M-tortuosity Estimation
An Analytical Definition of Discrete Circles in the Triangular Grid
Shear Based Bijective Digital Rotation in Hexagonal Grids
Construction of Fast and Accurate 2D Bijective Rigid Transformation
Bijectivity Analysis of Finite Rotations on ℤ 2 : A Hierarchical Approach
Fitting Egg-Shapes to Discretized Object Boundaries
On Topological Analysis of Cells Organization in Biological Images
Homotopic Digital Rigid Motion: An Optimization Approach on Cellular Complexes
The Tree of Shapes as a Distance Transform: Building the ToS on High-Dynamic Range Images
Morse Sequences
An Algorithm to Train Unrestricted Sequential Discrete Morphological Neural Networks
New Characterizations of Full Convexity
An Algebraic Framework for Out-of-Core Hierarchical Segmentation Algorithms
Improving Morphological Networks for Learning Image-to-Image Transforms
Morphological Adjunctions Represented by Matrices in Max-Plus Algebra for Signal and Image Processing
On the Reconstruction of 3-Uniform Hypergraphs from Step-Two Degree Sequences
Watershed-Based Attribute Profiles for Pixel Classification of Remote Sensing Data
Reflections on a Scientific Career and Its Possible Legacy
On the Representation of Stack Operators by Mathematical Morphology
Subfield-Based 3D Curve-Thinning on (18, 12) Pictures of the FCC Grid
Density Functions of Periodic Sequences
On Some Geometric Aspects of the Class of hv-Convex Switching Components
An Isometry Classification of Periodic Point Sets
Locally Turn-Bounded Curves Are Quasi-Regular
Equivariance-Based Analysis of PDE Evolutions Related to Multivariate Medians
A Curious Invariance Property of Certain Perfect Legendre Arrays: Stirring Without Mixing
Hybrid Artificial Intelligence for Knowledge Representation and Model-Based Medical Image Understanding - Towards Explainability
Combining Deep Learning and Mathematical Morphology for Historical Map Segmentation
Numerical Implementation of Variational Morphological Operators on Graphs
The Mid-sphere Cousin of the Medial Axis Transform
Join, Select, and Insert: Efficient Out-of-core Algorithms for Hierarchical Segmentation Trees
Distance-Driven Curve-Thinning on the Face-Centered Cubic Grid
First Results on Locally Turn-Bounded Surfaces in 3D Euclidean Space
Morphological Leveling Based on the Log-Exp-Supremum for Colour Images
1-Attempt and Equivalent Thinning on the Hexagonal Grid
Training Morphological Neural Networks with Gradient Descent: Some Theoretical Insights
Characterization of the Computed Homology and Cohomology Bases
Differential Oriented Image Foresting Transform Segmentation by Seed Competition
Algorithms for Pixelwise Shape Deformations Preserving Digital Convexity
Properties of Unique Degree Sequences of 3-Uniform Hypergraphs
Group Equivariant Networks Using Morphological Operators
Conversion of a Digital Object into a Finite Set of Balls: Complexity
Exact and Optimal Conversion of a Hole-free 2d Digital Object into a Union of Balls in Polynomial Time
Approximating Condorcet Ordering for Vector-Valued Mathematical Morphology
Designing Connected Operators Using the Topological Tree of Shapes
Recognition of Arithmetic Line Segments and Hyperplanes Using the Stern-Brocot Tree
A Novel Approach for Computation of Morphological Operations Using the Number Theoretic Transform
Towards Topological Analysis of Non-symmetric Tensor Fields via Complexification
Distance-Oriented Surface Skeletonization on the Face-Centered Cubic Grid
HaarNet: Large-Scale Linear-Morphological Hybrid Network for RGB-D Semantic Segmentation
Construction of Tilings with Transitivity Properties on the Square Grid
Out-of-Core Attribute Algorithms for Binary Partition Hierarchies
Graph-Based Supervoxel Computation from Iterative Spanning Forest
Towards Interactive Image Segmentation by Dynamic and Iterative Spanning Forest
Mathematical Morphology Applied to Feature Extraction in Music Spectrograms
Morphological PDEs with Rotationally Invariant Space-Fractional Derivatives
Shape Filtering and Max-Tree Attribute Computation on a GPU
A Maximum-Flow Model for Digital Elastica Shape Optimization
On Some Associations Between Mathematical Morphology and Artificial Intelligence
Efficient Connected Alternating Sequential Filters Based on Component Trees
Properties of SAT Formulas Characterizing Convex Sets with Given Projections
The Lattice Overparametrization Paradigm for the Machine Learning of Lattice Operators
Digital Plane Detection in a Point Set: Application to the Interactive Extraction of Charcoal Platforms from Airborne LiDAR
Going Beyond p-convolutions to Learn Grayscale Morphological Operators
Convex and Concave Decomposition of Digitized Shapes Using Plane Probing and Visibility
Efficient Content-Based Time Series Retrieval Using Pattern Spectra
A Heuristic for Short Homology Basis of Digital Objects
Component Tree Loss Function: Definition and Optimization
Bijective Digitized 3D Rotation Based on Beam Shears
Nonlinear Representation Theory of Equivariant CNNs on Homogeneous Spaces Using Group Morphology
Logarithmic Morphological Neural Nets Robust to Lighting Variations
A New Lattice-Based Plane-Probing Algorithm
On the Decomposability of Homogeneous Binary Planar Configurations with Respect to a Given Exact Polyomino
Gradient Vector Fields of Discrete Morse Functions and Watershed-Cuts
Fast and Exact Visibility on Digitized Shapes and Application to Saliency-Aware Normal Estimation
Completions, Perforations and Fillings
Tangential Cover for 3D Irregular Noisy Digital Curves
Morse Frames
Digital Geometry on the Dual of Some Semi-regular Tessellations
Modelling of Hydractive CRONE Suspension as a Hybrid System
Robust Fault Detection Based-Observer for Linear Switched Systems
Single-Linkage Clustering for Optimal Classification in Piecewise Affine Regression
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers
State Estimation for Linear Switched Systems with Unknown Inputs
Stabilization of switched linear systems: a sliding mode approach
A Hybrid Language for Modeling, Simulation and Verification
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems
Approximation of MTS stochastic Petri nets steady state by means of continuous Petri nets: a numerical approach
Switching Control in DC-DC Converter Circuits: Optimizing Tracking-Energy Tradeoffs
Hybrid Optimal Control of a Flying+Sailing Drone: Flying with 6 and Sailing with 5 Degrees of Freedom
Top-Down Identification of Hybrid Characteristic Maps
A Simulation Preorder for Koopman-like Lifted Control Systems
Discrete-Space Analysis of Partial Differential Equations
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs
Dynamic Optimization of an Industrial evaporator using Graph Search with Embedded nonlinear Programming
Incremental Stability of Discrete-Time First-Order Projection Elements
LyZNet with Control: Physics-Informed Neural Network Control of Nonlinear Systems with Formal Guarantees
Stability Analysis by means of Discrete Abstraction. Application to Voltage Stability of Distributed Generators
Real-time estimation of the switching signal for perturbed switched linear systems
Mathematical modelling and optimal control of the seasonal coffee leaf rust propagation
Bifurcations in Timed Continuous Petri Nets
Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri nets
Optimal Control of Completion Times in Single-Stage Max-Plus Systems 1
Interval-based Solving of Hybrid Constraint Systems
Codis - a Framework for continuous/discrete Systems Co-simulation
Petri Net Place Associated to a Continuous or Discretized Control Algorithm
Dissipativity of Switched Systems With Application to Supervisory Fault Tolerant Control
ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Real-time optimal feedback control of switched autonomous systems
Model predictive control of nonlinear Mechatronic Systems: an Application to a magnetically actuated mass Spring Damper
D3NN: Data-Driven Dual-level Neural Network Tool for Dynamical System Modeling and Abstraction
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems
Bio-inspired Synchronization of Non-Identical Pulse-Coupled Oscillators Subject to a Global Cue and Local Interactions
Hybrid Modeling of a Solar Cooling System
Receding-Horizon Control of LTI Systems with Quantized Inputs 1
Stability of Hydractive CRONE Suspension
On Hybrid Prescribed-Time Concurrent Learning with Switching Datasets
Benchmarks for stochastic models from building automation systems
Hybrid power control on a wireless networked control system
8th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2024, Boulder, CO, USA, July 1-3, 2024
Reachability Analysis for One Dimensional Linear Parabolic Equations
A Hybrid Dynamical System Formulation of Capture-the-Flag Games
Robust control Strategies for Multi - inventory Systems with Average Flow Constraints
Space Debris Collision Detection using Reachability
Modeling an Impact control Strategy using Hypa
Distributed Safety Controller Synthesis for Unknown Interconnected Systems via Graph Neural Networks
Detection of manual tracking submovements in Parkinson's disease through hybrid optimization
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021
Discrete Abstractions for Two-Dimensional Nearly Integrable Continuous Systems
Time Optimal Hybrid Minimum Principle and the Gear Changing Problem for Electric Vehicles
Stabilizability of Bimodal piecewise linear Systems with continuous Vector field
Chattering Problem in sliding mode control Systems
Contingent Hybrid Systems
Timed discrete Event control of a Parallel production Line with continuous output
Sequential Action Control for Tracking of Free Invariant Manifolds
A Hybrid Object-Oriented Library for the Simulation of Sugar Houses
Safety control with performance guarantees of cooperative systems using compositional abstractions
Hybrid-automaton models for simulating systems with sliding motion: still a challenge
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics
Robustness of Simulink/Stateflow Model Against Implementation Imperfections
Numerical method for optimal stopping of hybrid processes
Compositional and Assume-Guarantee Reasoning for Switching Linear Systems
Predictive Control of Hybrid Systems Under a Multi-MLD Formalism
On the Stability of Switched ARX Models, with an Application to Learning via Regression Trees
Observer Design for a class of discrete Time piecewise-linear Systems
Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal)
Language constrained stabilization of discrete-time switched linear systems: an LMI approach
Asymmetric Limit Cycles in an Industrially Applied Controlled Resonant Converter
Parameter Identification of Piecewise Affine Dynamic Models from Input-Output Data
Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System
Safe Reach Set Computation via Neural Barrier Certificates
Subtleties in the averaging of Hybrid Systems with Applications to Power Electronics
Determination of limit cycles using stroboscopic set-valued maps
Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed Data
Reset-control-based current tracking for a solenoid with unknown parameters
Multi-Energy Scheduling Using a Hybrid Systems Approach
Safety-Critical Control for Dynamical Bipedal Walking with Precise Footstep Placement
Constrained state feedback control of piecewise affine systems
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method
Computing the Evolution of Hybrid Systems using Rigorous Function Calculus
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization
Feasible mode Enumeration and Cost Comparison for Explicit quadratic Model predictive control of Hybrid Systems
On Finite Gain L p Stability for Hybrid Systems
On Performance Analysis of Time Delay Systems using a Switched System Approach
ModelGuard: Runtime Validation of Lipschitz-continuous Models
New Concepts in the Abstract Format of the Compositional Interchange Format
Relaxed Optimal Control of Piecewise Linear Systems
Supervised Stabilization of Uncertain Stochastic Plants
Simulation of Railway Stations based on Hybrid Petri Nets
Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems
Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems 1
Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic Walking
Exact differentiation via sliding mode observer for switched Systems
Graph Search for Optimizing the Discrete Location Sequence in Hybrid Optimal Control
Approximate Abstractions of Markov Chains with Interval Decision Processes
Switching Controllers' Synthesis: Combination of a Sliding Mode and H Infinity Control by a Fuzzy Supervisor
Identification of an Experimental Hybrid System 1
Finite-Time Converging Jump Observer for Linear Switched Systems with Unknown Inputs
Temporal logic control of general Markov decision processes by approximate policy refinement
Optimizing Hybrid Control Trajectories by Model abstraction and Refinement
Modular Reachability Analysis for Time Petri Nets with Guarded Transitions
On Robust Output Based Finite-Time Control of LTI systems using HOSMs
Experimental Validation of a Hybrid Petri-Net Based Model of Urban Transportation Networks
A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems
Partial Cluster Stabilization and Partial Cascade Stabilization of Physical Networks
Multi-robot routing for servicing spatio-temporal requests: A musically inspired problem
Global input-to-State stability and stabilization of discrete-Time Piece-Wise Affine Systems
On the Stability of Linear Evolution Variational Inequalities
Direct data-driven control with signal temporal logic specifications
A controlled sewer system should be treated as a sampled data system with events
Tractable higher-order under-approximating AE extensions for non-linear systems
Properties of Receding Horizon Controllers for Some Hybrid Systems with Event Uncertainties
A Hybrid Approach for Safety Analysis of Aircraft Systems
Object Hybrid Formalism for Modeling and Simulation of Chemical Processes
Observer design for DC/DC power converters with bilinear averaged model
A Hybrid System Approach to Exponential Stability with Sampled-data Control for a Class of Linear Hyperbolic Systems
Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data
On the Search for Equilibrium Points of Switched Affine Systems
Hybrid control for a solar desalination plant
Hybrid Systems for Solving Model Predictive Control of Piecewise Affine System
Hybrid driver-vehicle dynamics in microscopic modeling of traffic networks
Robotic Mass Games by Distributed Hybrid Controllers
Cause versus Effect in Hybrid Systems: A Rigorous Non-standard Analysis Approach
ACPLT/HK - Infrastructure Model for Hybrid Components of Process Automation
Performance Verification of discrete Event Systems using Hybrid Model-Checking
A New Experiment in Research on Hybrid Systems: The Center of Excellence DEWS
The orienteering problem: a hybrid control formulation
Using Path integral Short Time Propagators for numerical Analysis of stochastic Hybrid Systems
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations
Optimal Piecewise Affine Approximations of Nonlinear Functions Obtained from Measurements
Determining the Optimal Mode Sequence 1
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets
IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
An Evaluation of two Recent Reachability Analysis Tools for Hybrid Systems
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach
A Generalization of a Polynomial Optimal Control of Switched Systems
Tracking control of Join-Free Timed continuous Petri Net Systems
Statistical Verification of PCTL Using Stratified Samples
Approximability and Variational Description of the Zeno Behavior in Affine Switched Systems
Revisiting the Viability Algorithm for Hybrid Systems Using Optimal Control
Object-oriented modelling and simulation of starch mashing
Safety Analysis of Stochastic Dynamical Systems
Challenges in Start-up control of a heat Exchange reactor with exothermic Reactions; a Hybrid Approach
Control of Piecewise-Affine Hybrid Systems - Extended abstract
Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability
Augmented obstacle avoidance controller design for mobile robots
A General Framework for Modeling and Online Optimization of Stochastic Hybrid Systems
Symmetry Reductions in Timed Continuous Petri Nets Under Infinite Server Semantics
Verification-Integrated Falsification of non-Deterministic Hybrid Systems
Modeling of a Communication Network Under TCP/IP Protocol Using Hybrid Petri Nets