Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Felix Freiberger"'
Autor:
Felix Freiberger, Holger Hermanns
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 196, Iss Proc. MARS 2015, Pp 25-36 (2015)
This paper discusses the problem of designing a self-balancing unicycle where pedals are used for both power generation and speed control. After developing the principal physical aspects (in the longitudinal dimension), we describe an abstract model
Externí odkaz:
https://doaj.org/article/5495fe4f40d84ff7bfe0a6695ee95f03
Autor:
Felix Freiberger
Publikováno v:
Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::25eaa4369112684457169320aeee0ec9
https://doi.org/10.1145/3502718.3524801
https://doi.org/10.1145/3502718.3524801
Publikováno v:
19th ACM-IEEE International Conference on Formal Methods and Models for System Design
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8448999b95b966abfef89ca2fb7b5df
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319631202
Models, Algorithms, Logics and Tools
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Models, Algorithms, Logics and Tools
Models, Algorithms, Logics and Tools
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Models, Algorithms, Logics and Tools
Milner’s CCS is a cornerstone of concurrency theory. This paper presents CCS as a cornerstone of concurrency practice. CCS is the semantic footing of pseuCo, an academic programming language designed to teach concurrent programming. The language fe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cb1f11dcba021b4d9e260b56360ca692
https://doi.org/10.1007/978-3-319-63121-9_9
https://doi.org/10.1007/978-3-319-63121-9_9
Autor:
Holger Hermanns, Felix Freiberger
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 196, Iss Proc. MARS 2015, Pp 25-36 (2015)
MARS
MARS
This paper discusses the problem of designing a self-balancing unicycle where pedals are used for both power generation and speed control. After developing the principal physical aspects (in the longitudinal dimension), we describe an abstract model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e4ba5919d91f97a697660b7caacc0d3
http://arxiv.org/abs/1511.04171
http://arxiv.org/abs/1511.04171