✦ LIBER ✦

An overview of recovery models and algorithms for real-time railway rescheduling

✍ Scribed by Cacchiani, Valentina; Huisman, Dennis; Kidd, Martin; Kroon, Leo; Toth, Paolo; Veelenturf, Lucas; Wagenaar, Joris

Book ID: 122265375
Publisher: Elsevier Science
Year: 2014
Tongue: English
Weight: 438 KB
Volume: 63
Category: Article
ISSN: 0191-2615
DOI: 10.1016/j.trb.2014.01.009

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Structure and Simulation Evaluation of a

Structure and Simulation Evaluation of an Integrated Real-Time Rescheduling System for Railway Networks

✍ Marco Luethi; Giorgio Medeossi; Andrew Nash 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 452 KB

An overview of the CATE algorithms for r

An overview of the CATE algorithms for real-time pitch determination

✍ Bahja, Fadoua; Di Martino, Joseph; Ibn Elhaj, Elhassan; Aboutajdine, Driss 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 735 KB

DSP for Embedded and Real-Time Systems |

DSP for Embedded and Real-Time Systems || Overview of DSP Algorithms

✍ Oshana, Robert 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 474 KB

This Expert Guide gives you the techniques and technologies in digital signal processing (DSP) to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems you face in

Development and validation of an automat

Development and validation of an automated computer vision algorithm for real-time embryo viability prediction

✍ K. Loewke; F. Moussavi; M. Maddah; K. Ivani; B. Behr; V. Suraj 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 63 KB

Validation of an algorithm for dynamical

Validation of an algorithm for dynamically diagnosing learning progress and innovation performance at real-time base

✍ Chien-Pen Chuang; Te-Jeng Chang; Pi-Shan Hsu 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 555 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Real-Time and Probabilistic Systems Volume 1601 || Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach

✍ Katoen, Joost-Pieter 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 272 KB