Reachability and liveness in parametric timed automata

Get full text

Parametric updates in parametric timed automata

Get full text

Axiomatizing Maximal Progress and Discrete Time

Get full text

Satisfiability Games for Branching-Time Logics

Get full text

Automatic functions, linear time and learning

Get full text

Timed Parity Games: Complexity and Robustness

Get full text

Polygraphic programs and polynomial-time functions

Get full text

Expressiveness of Metric modalities for continuous time

Get full text

First order explicit time integration scheme with large time steps for parabolic problems using irregular grids

Get full text

Neurophysiological sensitivity to envelope and pulse timing interaural time differences in cochlear implanted rats with different hearing experiences

Get full text

STEPS: A Temporal Smooth Error Propagation Solver on the Manifolds for Test-Time Adaptation in Time Series Forecasting

Get full text

EFFECTS OF STORAGE TIME AND PACKAGING MATERIALS ON NUTRITIONAL AND MICROBIOLOGICAL CONTENT OF GARRI

Get full text

The differential impact of perceived job security on part‐time and full‐time entrepreneurial intention: A moderated mediation model

Get full text

Shopping Malls in Poland – Is Their Time Coming to an End?

Get full text

Endoscopic Transmural Necrosectomy: Timing, Indications, and Methods

Get full text

What Is the Mean Procedure Time to Optimize Colonoscopy?

Get full text

Corrigendum: The time-course and RNA interference of TNF-

Get full text

Liberated Zones: Making the University in the Time of Fascism

Get full text

Plug-In Timing Module For AI Infrastructure Synchronization

Get full text

On Dates, Calendars, and Time Lags in Transnationalist Thought

Get full text