Solving Hypergraph Laplacian Systems in Almost-Linear Time

Get full text

Smallest suffixient set maintenance in near-real-time

Get full text

Optimizing Travel Time and Regenerative Energy for Periodic Timetables

Get full text

Autonomous Synchronization of Discrete-Time Heterogeneous Multiagent Systems

Get full text

Graded Monad Coalgebras for Continuous-Time Transition Systems

Get full text

The Renaissance of Repair: A Timely Opportunity for Fabrication Research

Get full text

Playing Stochastically in Weighted Timed Games to Emulate Memory

Get full text

One-Clock Priced Timed Games with Negative Weights

Get full text

Timed Automata Robustness Analysis via Model Checking

Get full text

Specification and Verification of Timing Properties in Interoperable Medical Systems

Get full text

Conformance Relations and Hyperproperties for Doping Detection in Time and Space

Get full text

Reachability for infinite time Turing machines with long tapes

Get full text

Analysis of Timed and Long-Run Objectives for Markov Automata

Get full text

A Fragment of Dependence Logic Capturing Polynomial Time

Get full text

Model Checking One-clock Priced Timed Automata

Get full text

Sparseness-Optimized Feature Importance for Time Series Classification

Get full text

A batch scheduling model on unrelated parallel machines with resource constraints and sequence-dependent setup time to minimize total actual flow time

Get full text

Fixed-time adaptive fuzzy command filtering control for a two-joint robotic manipulator with input dead zone saturation and time-varying delay

Get full text

IBformer: Inductive Bias is Necessary for Multivariate Time Series Forecasting

Get full text

Administrative data on German short-time work: essentials and potentials

Get full text