Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Petru Pau"'
Autor:
Karl-Heinz Kastner, Petru Pau
Publikováno v:
Modeling Mobility with Open Data ISBN: 9783319150239
ITS Austria West is a long-term Austrian project whose goal is to continuously generate and publish real-time traffic data. TOMS—a traffic monitoring system developed in the frame of this project—integrates sensor data, coming in real time from v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7d7036bf0c02edb31cc482829df3c6e
https://doi.org/10.1007/978-3-319-15024-6_11
https://doi.org/10.1007/978-3-319-15024-6_11
Autor:
Rui Rodrigues, Patrick McDonagh, Matthew Fullerton, Julian Padget, Ilja Radusch, Anthony Ventresque, Carlo Michelacci, Quentin Bragard, Karl-Heinz Kastner, Rosaldo J. F. Rossetti, Ulrich Dangel, João S. V. Gonçalves, Florian Weinert, Liam Murphy, António Coelho, Antonio Pio Morra, Peter Wagner, David Rieck, Vincent Baines, Jorge E. Espinosa, Gaby Gurczik, Björn Schünemann, Mario Krumnow, Andrés Acosta Gil, Daniel Krajzewicz, Jaap Vreeswijk, Eric Nicolay, Michael Behrisch, Teron Nguyen, Jakob Erdmann, Jairo Espinosa, Robbin Blokpoel, Laura Bieker, Petru Pau, Fabio Cartolano, Raphael Luz, Michael Düring
Publikováno v:
Lecture Notes in Mobility ISBN: 9783319150239
Modeling Mobility with Open Data
Modeling Mobility with Open Data
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04cde8fbc1983a71dc1f79e774b59076
https://doi.org/10.1007/978-3-319-15024-6
https://doi.org/10.1007/978-3-319-15024-6
Publikováno v:
Simulation of Urban Mobility ISBN: 9783662450789
ITS Austria West is a long-term project, funded by the Austrian government, to create a platform for providing real-time traffic data and prognoses. The calculation of the traffic situation is based on the open source package SUMO (Simulation of Urba
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc1784ccc2161db71e87012383917b3e
https://doi.org/10.1007/978-3-662-45079-6_11
https://doi.org/10.1007/978-3-662-45079-6_11
Autor:
Josef Schicho, Petru Pau
Publikováno v:
Journal of Symbolic Computation. 29(6):971-983
Given a formula Φ in r variables, some of them quantified and/or occurring as arguments in trigonometric functions, we consider in this paper the problem of finding a quantifier-free formula equivalent toΦ . We present an algorithm that first compu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa031cbbbd70f565b842c96e77db642a
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540405542
SNSC
SNSC
Exact real computation allows many of the advantages of numerical computation (e.g. high performance) to be accessed also in symbolic computation, providing validated results. In this paper we present our approach to build a transparent and easy to u
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::426b86843a61ef048f9b24af6171b23a
https://doi.org/10.1007/3-540-45084-x_14
https://doi.org/10.1007/3-540-45084-x_14