Zobrazeno 1 - 10
of 474
pro vyhledávání: '"Boerger, P."'
In performance-based fire safety design, ensuring safe egress, e.g. by visibility of safety signs, is a crucial safety goal. Compliance with the building requirements is often demonstrated by simulations of smoke spread. Numerical models like the Fir
Externí odkaz:
http://arxiv.org/abs/2404.11439
The gravimetry measurements from the Gravity Recovery and Climate Experiment (GRACE) and its follow-on (GRACE-FO) satellite mission provide an essential way to monitor changes in ocean bottom pressure ($p_b$), which is a critical variable in understa
Externí odkaz:
http://arxiv.org/abs/2404.05818
In this contribution, we develop a model based on classical electrodynamics that describes light extinction in the presence of arbitrary aerosols. We do this by combining aerosol and light-intensity measurements performed with the well-proven measuri
Externí odkaz:
http://arxiv.org/abs/2306.16182
Publikováno v:
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)
Sensor visibility is crucial for safety-critical applications in automotive, robotics, smart infrastructure and others: In addition to object detection and occupancy mapping, visibility describes where a sensor can potentially measure or is blind. Th
Externí odkaz:
http://arxiv.org/abs/2211.06308
Autor:
Boerger, Egon
We present Executable Abstract Programs and analyse their role for software development and documentation. The intuitive understanding of these programs fits the computational mindset of software system engineers and is supported by a simple but prec
Externí odkaz:
http://arxiv.org/abs/2209.06546
Autor:
Benjamin M Davies, Xiaoyu Yang, Danyal Z Khan, Oliver D Mowforth, Alvaro Y Touzet, Aria Nouri, James S Harrop, Bizhan Aarabi, Vafa Rahimi-Movaghar, Shekar N Kurpad, James D Guest, Lindsay Tetreault, Brian K Kwon, Timothy F Boerger, Ricardo Rodrigues-Pinto, Julio C Furlan, Robert Chen, Carl M Zipser, Armin Curt, James Milligan, Sukhivinder Kalsi-Rayn, Ellen Sarewitz, Iwan Sadler, Tammy Blizzard, Caroline Treanor, David Anderson, Nader Fallah, Olesja Hazenbiller, Carla Salzman, Zachary Zimmerman, Anne M Wandycz, Shirley Widdop, Margaret Reeves, Rye Raine, Sukvinder K Ryan, Ailish Malone, Ali Gharooni, Jefferson R Wilson, Allan R Martin, Michael G Fehlings, Angus G K McNair, Mark R N Kotter, AO SPINE RECODE-DCM Steering Committee and AO Spine RECODE DCM Community
Publikováno v:
PLoS Medicine, Vol 21, Iss 8, p e1004447 (2024)
BackgroundDegenerative cervical myelopathy (DCM) is a progressive chronic spinal cord injury estimated to affect 1 in 50 adults. Without standardised guidance, clinical research studies have selected outcomes at their discretion, often underrepresent
Externí odkaz:
https://doaj.org/article/6b00da72569440a88929be4b4bbdcf3b
Autor:
Margaret Schneider, Amanda Woodworth, Marissa Ericson, Lindsie Boerger, Scott Denne, Pam Dillon, Paul Duguid, Eman Ghanem, Joe Hunt, Jennifer S. Li, Renee McCoy, Nadia Prokofieva, Vonda Rodriguez, Crystal Sparks, Jeffrey Zaleski, Henry Xiang
Publikováno v:
Journal of Clinical and Translational Science, Vol 8 (2024)
Abstract Introduction: The institutions (i.e., hubs) making up the National Institutes of Health (NIH)-funded network of Clinical and Translational Science Awards (CTSAs) share a mission to turn observations into interventions to improve public heal
Externí odkaz:
https://doaj.org/article/5e9cb2289c6048e3b617557159b8088a
Autor:
Börger, Egon, Schewe, Klaus-Dieter
Publikováno v:
Science of Computer Programming, 210:102691, 2021
"What is an algorithm?" is a fundamental question of computer science. Gurevich's behavioural theory of sequential algorithms (aka the sequential ASM thesis) gives a partial answer by defining (non-deterministic) sequential algorithms axiomatically,
Externí odkaz:
http://arxiv.org/abs/2001.01862
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.
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.