Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Jana Hofmann"'
Autor:
Thomas Döbler, Jana Hofmann
Publikováno v:
Handbook of Media and Communication Economics ISBN: 9783658340483
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d7f8b451ba1c5d007dd0c76d29de07b9
https://doi.org/10.1007/978-3-658-34048-3_58-2
https://doi.org/10.1007/978-3-658-34048-3_58-2
Publikováno v:
Automated Technology for Verification and Analysis-19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021, Proceedings
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis ISBN: 9783030888848
ATVA
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis ISBN: 9783030888848
ATVA
An enforcement mechanism monitors a reactive system for undesired behavior at runtime and corrects the system’s output in case it violates the given specification. In this paper, we study the enforcement problem for hyperproperties, i.e., propertie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e6fbaef163971e3dc18893a37833fbad
Publikováno v:
Computer Aided Verification-32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Aided Verification
Computer Aided Verification ISBN: 9783030532901
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Aided Verification
Computer Aided Verification ISBN: 9783030532901
We studied the hyperlogic HyperQPTL, which combines the concepts of trace relations and $\omega$-regularity. We showed that HyperQPTL is very expressive, it can express properties like promptness, bounded waiting for a grant, epistemic properties, an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5d08b0d2f5a14a2847b2966f550b8591
Autor:
Thomas Döbler, Jana Hofmann
Publikováno v:
Handbuch Medienökonomie ISBN: 9783658095598
Handbuch Medienökonomie ISBN: 9783658096328
Handbuch Medienökonomie
Handbuch Medienökonomie ISBN: 9783658096328
Handbuch Medienökonomie
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ce9fac431d467f693099e78cef6a6dd
https://doi.org/10.1007/978-3-658-09560-4_58
https://doi.org/10.1007/978-3-658-09560-4_58
Publikováno v:
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
LICS
LICS
Hyperproperties, which generalize trace properties by relating multiple traces, are widely studied in information-flow security. Recently, a number of logics for hyperproperties have been proposed, and there is a need to understand their decidability
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d1273d4a718d8cefe2465d6857892636
Autor:
Jana Hofmann
Die in den letzten Jahren in der der (populär)wissenschaftlichen Diskussion unterstellte Behauptung, dass ein Zuviel an Mediennutzung zu Stresserleben führen kann, ist nach Jana Hofmann zu relativieren. Auf der Grundlage der Theorie der Conservatio
This paper analyses the impacts of the gasoline vehicle replacement programme with EVs at different penetration rates on petroleum and electricity sectors and their CO2 emissions. The study utilises a top-down- type Environmental Input-Output (EI-O)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8feacbded4c7d2f5cff9615d0ef9d005
https://ueaeprints.uea.ac.uk/id/eprint/59334/
https://ueaeprints.uea.ac.uk/id/eprint/59334/
Publikováno v:
B&G Bewegungstherapie und Gesundheitssport. 28:254-262
Bewegungstherapeutische Interventionen sind ein zentraler Bestandteil in der Behandlung von Ruckenschmerzen. Sowohl international als auch national werden darunter sehr heterogene Ubungsformen und Bewegungsprogramme verstanden. Auch unterscheiden sic
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00c2c580ce39321df04731716d6b28d0
https://doi.org/10.1055/s-0032-1325220
https://doi.org/10.1055/s-0032-1325220
Publikováno v:
B&G Bewegungstherapie und Gesundheitssport. 27:252-255
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::018f3d1e393885abcbb6ef0788adc089
https://doi.org/10.1055/s-0031-1283850
https://doi.org/10.1055/s-0031-1283850
Publikováno v:
Die Rehabilitation. 51:259-268
BACKGROUND The promotion of a physically active lifestyle has become an important issue in exercise therapy. Exercise-only interventions are frequently used for the rehabilitation of individuals with chronic diseases. These do indeed improve function
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b745cf03e54f37693ce05c0e7bda710f
https://doi.org/10.1055/s-0031-1280803
https://doi.org/10.1055/s-0031-1280803