Zobrazeno 1 - 10
of 45
pro vyhledávání: '"K. Strehl"'
Publikováno v:
Scientific Reports, Vol 13, Iss 1, Pp 1-14 (2023)
Abstract A detailed mapping of volcanic ballistic projectiles emplaced in a defined area, represents the starting point to derive preparatory data in hazard and risk studies of ballistics phenomena. Considering as case study the 3rd July 2019 paroxys
Externí odkaz:
https://doaj.org/article/78f1118780fa41fdb287b009256fd25d
Autor:
Angela M. Kaindl, Wei Chen, K. Strehl, Nadine Kraemer, Hang Du, Borko Amulic, Lina Issa-Jahns, Sebastian Fröhler, H. von Bernuth, Detlev Schindler, Ethiraj Ravindran, Jessica Fassbender, Katharina Eirich
Publikováno v:
Neuropediatrics. 45
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e9bf44b6068918ec19d8e72795855c7f
https://doi.org/10.1055/s-0034-1390524
https://doi.org/10.1055/s-0034-1390524
Publikováno v:
IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 9:524-544
In this paper, an internal design model called FunState (functions driven by state machines) is presented that enables the representation of different types of system components and scheduling mechanisms using a mixture of functional programming and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::27c65e17b67cdb0bf2aa51a72455a621
https://doi.org/10.1109/92.931229
https://doi.org/10.1109/92.931229
Autor:
K. Strehl, Lothar Thiele
Publikováno v:
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 19:939-956
In this paper, a representation of multivalued functions called interval decision diagrams (IDDs) is introduced. It is related to similar representations such as binary decision diagrams. Compared to other functional representations with regard to sy
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8181d4e97231afc146da7b89a23a0d22
https://doi.org/10.1109/43.856979
https://doi.org/10.1109/43.856979
Publikováno v:
Pediatric Anesthesia. 6:209-213
Immobilization of children undergoing radiation therapy always requires anaesthesia. Deep sedation with continuous infusion of propofol and spontaneous breathing, (we call it ¿sedative anaesthesia'), may be an alternative to general anaesthesia with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a6359f250a170cbaf3005eb87a29e49
https://doi.org/10.1111/j.1460-9592.1996.tb00430.x
https://doi.org/10.1111/j.1460-9592.1996.tb00430.x
Publikováno v:
1999 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (Cat. No.99CH37051).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a8809efdaa796e254dcab8727528fb01
https://doi.org/10.1109/iccad.1999.810711
https://doi.org/10.1109/iccad.1999.810711
Autor:
K. Strehl
Publikováno v:
RTCSA
In this paper, we suggest interval diagram techniques for formal verification of real-time systems modeled by means of timed automata. Interval diagram techniques are based on interval decision diagrams (IDDs)-representing sets of system configuratio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab6fe6c6aaf2b42645e5fcf1aa0b4972
https://doi.org/10.1109/rtcsa.1999.811303
https://doi.org/10.1109/rtcsa.1999.811303
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
K. Strehl
Publikováno v:
Astronomische Nachrichten. 193:389-394
n/a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::791204962131cecd572cfddcbeaa9ed9
https://doi.org/10.1002/asna.19121932202
https://doi.org/10.1002/asna.19121932202
Poroelastic responses of confined aquifers to subsurface strain and their use for volcano monitoring
Publikováno v:
Solid Earth, Vol 6, Iss 4, Pp 1207-1229 (2015)
Well water level changes associated with magmatic unrest can be interpreted as a result of pore pressure changes in the aquifer due to crustal deformation, and so could provide constraints on the subsurface processes causing this strain. We use finit
Externí odkaz:
https://doaj.org/article/ba08955b52ec44eab63aeda3b505f0aa