Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Sebastian Kupferschmid"'
Publikováno v:
Zeitschrift für Medizinische Physik, Vol 32, Iss 4, Pp 453-465 (2022)
Purpose: Inside the eye light can be reflected multiple times due to light-tissue interactions and the spherical geometry of the eye. Due to these optical properties, a defined retinal area is not only illuminated by direct light but also by indirect
Externí odkaz:
https://doaj.org/article/ec046e9f6819461789a75c9085866b28
Publikováno v:
Ophthalmology and Therapy, Vol 8, Iss 1, Pp 41-50 (2018)
Abstract Introduction All applied illumination systems are validated according to a standard that measures in an experimental setup the direct radiation intensity on a surface in an aqueous solution, not involving an eyeball. Due to various factors,
Externí odkaz:
https://doaj.org/article/018020f8497e4ac6bbfdb32e07522608
Autor:
Sebastian Kupferschmid
Publikováno v:
Der Notarzt. 37:237-242
ZusammenfassungIn der notfallmedizinischen Ausbildung sind die okulären Notfälle nur ein kleines Kapitel. Der Grund dafür ist das Fehlen einer vitalen Bedrohung und die begrenzten Möglichkeiten in der präklinischen Versorgung. Für den Patienten
Publikováno v:
Zeitschrift fur medizinische Physik.
With diaphanoscopic illumination of the eye, the intensity of light entering its interior depends on the transmission properties of the eyewall. Light that passes through the eyewall can cause damage to the retina. Therefore, in this study, the intra
Autor:
Sebastian Kupferschmid, Nicole Sieber, Kathrin Stucke-Straub, Martin Hessling, Christian Lingenfelder, Phillip Kölbl
Publikováno v:
Current Directions in Biomedical Engineering, Vol 6, Iss 3, Pp 276-279 (2020)
For the visualisation of the intraocular space it is essential to illuminate the inside of the eye. One illumination approach is diaphanoscopy, in which the light of an extraocular source is transmitted through the tissue layers of the eyewall. The t
Autor:
Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::70fb1a57bafddd99255a3f519ea3f8cf
https://ora.ox.ac.uk/objects/uuid:130e6dd6-6284-45b3-b7c2-c5dadc15e25a
https://ora.ox.ac.uk/objects/uuid:130e6dd6-6284-45b3-b7c2-c5dadc15e25a
Autor:
Jens M. Langosch, Bernd L. Fiebich, Klaus Lieb, Jörg Walden, Marianne Heinen, Inga Herpfer, Sebastian Kupferschmid
Publikováno v:
Progress in Neuro-Psychopharmacology and Biological Psychiatry. 29:315-319
The neuropeptide substance P (SP) has been suggested to be involved in several physiological and pathological conditions including learning and memory and the processing of pain. This study investigated for the first time acute effects of SP and the
Autor:
Sebastian Kupferschmid, Martin Wehrle
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642333644
FORMATS
FORMATS
Mcta is a directed model checking tool for concurrent systems of timed automata. This paper reviews Mcta and its new developments from an implementation point of view. The new developments include both heuristics and search techniques that define the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::57e6ea4ed9bdad46ee2b26cb171b37a7
https://doi.org/10.1007/978-3-642-33365-1_18
https://doi.org/10.1007/978-3-642-33365-1_18
Autor:
Martin Wehrle, Sebastian Kupferschmid
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642198342
TACAS
TACAS
Directed model checking is a well-established technique for detecting error states in concurrent systems efficiently. As error traces are important for debugging purposes, it is preferable to find as short error traces as possible. A wide spread meth
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3122bf36645380e84eb4f38f97ad7bac
https://doi.org/10.1007/978-3-642-19835-9_26
https://doi.org/10.1007/978-3-642-19835-9_26
Publikováno v:
Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642007675
TACAS
TACAS
Directed model checking is a well-established technique that is tailored to fast detection of system states that violate a given safety property. This is achieved by influencing the order in which states are explored during the state space traversal.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abf55635d82d41947f2b90971af5bac8
https://doi.org/10.1007/978-3-642-00768-2_19
https://doi.org/10.1007/978-3-642-00768-2_19