Published in: Dagstuhl Seminar Proceedings, Volume 9471, Computer-assisted proofs - tools, methods and applications (2010)
Andreas Rauh and Ekaterina Auer. Interval Approaches to Reliable Control of Dynamical Systems. In Computer-assisted proofs - tools, methods and applications. Dagstuhl Seminar Proceedings, Volume 9471, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{rauh_et_al:DagSemProc.09471.3, author = {Rauh, Andreas and Auer, Ekaterina}, title = {{Interval Approaches to Reliable Control of Dynamical Systems}}, booktitle = {Computer-assisted proofs - tools, methods and applications}, pages = {1--28}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9471}, editor = {B. Malcolm Brown and Erich Kaltofen and Shin'ichi Oishi and Siegfried M. Rump}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09471.3}, URN = {urn:nbn:de:0030-drops-25120}, doi = {10.4230/DagSemProc.09471.3}, annote = {Keywords: Robust control, Ordinary differential equations, Differential-algebraic equations} }
Published in: Dagstuhl Seminar Proceedings, Volume 8372, Computer Science in Sport - Mission and Methods (2008)
Harald Böhm, Matthias Hartmann, and Birgit Böhm. Predictors of metabolic energy expenditure from body acceleration and mechanical energies in new generation active computer games. In Computer Science in Sport - Mission and Methods. Dagstuhl Seminar Proceedings, Volume 8372, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{bohm_et_al:DagSemProc.08372.7, author = {B\"{o}hm, Harald and Hartmann, Matthias and B\"{o}hm, Birgit}, title = {{Predictors of metabolic energy expenditure from body acceleration and mechanical energies in new generation active computer games}}, booktitle = {Computer Science in Sport - Mission and Methods}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8372}, editor = {Arnold Baca and Martin Lames and Keith Lyons and Bernhard Nebel and Josef Wiemeyer}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08372.7}, URN = {urn:nbn:de:0030-drops-16857}, doi = {10.4230/DagSemProc.08372.7}, annote = {Keywords: Computer games, energy expenditure, health} }
Feedback for Dagstuhl Publishing