search result

Cover von Computer-assisted simulation of dynamic systems with block-diagram languages
Author: Karayanakis, Nicholas M. Search for this author
Year: 1993
Publisher: Boca Raton, CRC Press
Media group: MONOGRAPHIE
Cover von Maintaining CMSO₂ Properties on Dynamic Structures with Bounded Feedback Vertex Number

Maintaining CMSO₂ Properties on Dynamic Structures with Bounded Feedback Vertex Number

Year: 2023
Media group: LIPIcs
Cover von Asymptotically Tight Bounds on the Time Complexity of Broadcast and Its Variants in Dynamic Networks

Asymptotically Tight Bounds on the Time Complexity of Broadcast and Its Variants in Dynamic Networks

Year: 2023
Media group: LIPIcs
Cover von (1+?)-Approximate Shortest Paths in Dynamic Streams

(1+?)-Approximate Shortest Paths in Dynamic Streams

Year: 2022
Media group: LIPIcs
Cover von Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages

Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages

Year: 2022
Media group: LIPIcs
Cover von Automated Design of Dynamic Programming Schemes for RNA Folding with Pseudoknots

Automated Design of Dynamic Programming Schemes for RNA Folding with Pseudoknots

Year: 2022
Media group: LIPIcs
Cover von Abnormal Situation Simulation and Dynamic Causality Discovery in Urban Traffic Networks (Short Paper)

Abnormal Situation Simulation and Dynamic Causality Discovery in Urban Traffic Networks (Short Paper)

Year: 2022
Media group: LIPIcs
Cover von On Dynamic ? + 1 Arboricity Decomposition and Out-Orientation

On Dynamic ? + 1 Arboricity Decomposition and Out-Orientation

Year: 2022
Media group: LIPIcs
Cover von Regularized Box-Simplex Games and Dynamic Decremental Bipartite Matching

Regularized Box-Simplex Games and Dynamic Decremental Bipartite Matching

Year: 2022
Media group: LIPIcs
Cover von Sublinear Dynamic Interval Scheduling (On One or Multiple Machines)

Sublinear Dynamic Interval Scheduling (On One or Multiple Machines)

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0