Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Janett Mohnke"'
Publikováno v:
International Journal of Social Robotics, 13, S. 1657-1677
This study investigated how touching and being touched by a humanoid robot affects human physiology, impressions of the interaction, and attitudes towards humanoid robots. 21 healthy adult participants completed a 3 (touch style: touching, being touc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e870ba5d8bcf7bde44423e2567a6f933
https://doi.org/10.1007/s12369-021-00749-x
https://doi.org/10.1007/s12369-021-00749-x
Publikováno v:
Hochschulen in Zeiten der Digitalisierung ISBN: 9783658266172
Die internen Ablaufe an Hochschulen folgen selten vordefinierten Regeln, sodass bei der Digitalisierung solcher Prozesse Standardlosungen vielfach nicht ausreichen. Fur die Abbildung ehemals analoger Prozesse sind individuelle Softwarelosungen unabdi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b20c794e8d6dbf03dcea40ca42b0279f
https://doi.org/10.1007/978-3-658-26618-9_9
https://doi.org/10.1007/978-3-658-26618-9_9
Publikováno v:
Mobile Anwendungen in Unternehmen ISBN: 9783658120092
Mit diesem Beitrag soll die Campus-App der Technischen Hochschule in Wildau vorgestellt werden, die durch Studierende des Studiengangs Telematik der Hochschule und Mitarbeiter der iCampus Wildau Projektgruppe konzipiert und entwickelt wurde. Die App
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0ba8afd6af4803ed438b3095de83ca51
https://doi.org/10.1007/978-3-658-12010-8_15
https://doi.org/10.1007/978-3-658-12010-8_15
Mit diesem Beitrag soll der Einsatz von iBeacons als Basis eines Indoor-Ortungssystems in der Hochschulbibliothek der Technischen Hochschule Wildau vorgestellt werden. Für die Ortung innerhalb von Gebäuden sind bisher unterschiedliche Strategien zu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fc33f5b237cf3c5a57c8704b003301e1
https://opus4.kobv.de/opus4-th-wildau/frontdoor/index/index/docId/918
https://opus4.kobv.de/opus4-th-wildau/frontdoor/index/index/docId/918
Publikováno v:
Formal Methods in System Design. 21:167-191
This paper addresses problems that arise while checking the equivalence of two Boolean functions under arbitrary input permutations. The permutation problem has several applications in the synthesis and verification of combinational logic: it arises
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::396246bd988ea1d31ba8f30bf8ebd05a
https://doi.org/10.1023/a:1016091418702
https://doi.org/10.1023/a:1016091418702
Publikováno v:
International Journal on Software Tools for Technology Transfer. 3:207-216
Verifying that an implementation of a combinational circuit meets its golden specification is an important step in the design process. As inputs and outputs can be swapped by synthesis tools or by interaction of the designer, the correspondence betwe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9c5fba9c4f0961b2cc918118bcb1d12
https://doi.org/10.1007/s100090100039
https://doi.org/10.1007/s100090100039
Im Jahr 2009 wurde das "iCampus Wildau" Projekt an der Technischen Hochschule Wildau [FH] initiiert, ein Projekt, das vorrangig durch die Mitarbeit von Studierenden des Studiengangs Telematik geprägt ist und der Leitung von Frau Prof. Dr. Mohnke unt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8eaa25d7122d7ab283afdf832689f9f7
https://opus4.kobv.de/opus4-th-wildau/frontdoor/index/index/docId/244
https://opus4.kobv.de/opus4-th-wildau/frontdoor/index/index/docId/244
Autor:
Sharad Malik, Janett Mohnke
Publikováno v:
Integration. 16:109-129
This paper addresses the problem of checking the equivalence of two Boolean functions under arbitrary input permutations and/or input phase assignments. This problem has several applications in the synthesis and verification of combinational logic. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c6caaecb8d630523b6696da1dddb4e82
https://doi.org/10.1016/0167-9260(93)90041-a
https://doi.org/10.1016/0167-9260(93)90041-a
Publikováno v:
ASP-DAC
This paper addresses problems that arise while checking the equivalence of two Boolean functions under arbitrary input permutations. The permutation problem has several applications in the synthesis and verification of combinational logic: it arises
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6379fce37af4b1c381b55a39c9171399
https://doi.org/10.1109/aspdac.1995.486356
https://doi.org/10.1109/aspdac.1995.486356
Autor:
Paul Molitor, Janett Mohnke
Hardware veri?cation is the process of checking whether a design conforms to its speci?cations of functionality and timing. In today's design processes it becomes more and more important. Very large scale integrated (VLSI) circuits and the resulting