Search Results - "Bruning, Stefan"

Toward automated driving in cities using close-to-market sensors: An overview of the V-Charge Project by Furgale, Paul, Li, Bo, Schmidt, Bastian, Nguyen, Thien Nghia, Cardarelli, Elena, Cattani, Stefano, Bruning, Stefan, Horstmann, Sven, Stellmacher, Martin, Mielenz, Holger, Koser, Kevin, Schwesinger, Ulrich, Beermann, Markus, Hane, Christian, Heng, Lionel, Lee, Gim Hee, Fraundorfer, Friedrich, Iser, Rene, Triebel, Rudolph, Posner, Ingmar, Newman, Paul, Wolf, Lars, Rufli, Martin, Pollefeys, Marc, Brosig, Stefan, Effertz, Jan, Pradalier, Cedric, Siegwart, Roland, Derendarz, Wojciech, Grimmett, Hugo, Muhlfellner, Peter, Wonneberger, Stefan, Timpner, Julian, Rottmann, Stephan

“…Future requirements for drastic reduction of CO 2 production and energy consumption will lead to significant changes in the way we see mobility in the years to…”
Get full text

Enhanced cardiac contractility after gene transfer of V2 vasopressin receptors in vivo by ultrasound-guided injection or transcoronary delivery by WEIG, H.-J, LAUGWITZ, K.-L, MORETTI, A, KRONSBEIN, K, STÄDELE, C, BRÜNING, S, SEYFARTH, M, BRILL, T, SCHÖMIG, A, UNGERER, M

“…Systemic levels of arginine vasopressin (AVP) are increased in congestive heart failure, resulting in vasoconstriction and reduced cardiac contractility via…”
Get full text

A Fault Taxonomy for Service-Oriented Architecture by Bruning, S., Weissleder, S., Malek, M.

“…Service-oriented architecture (SOA) is a popular design paradigm for distributed systems today but the high adaptivity and complexity of SOA implementations…”
Get full text

Automated valet parking and charging for e-mobility by Schwesinger, Ulrich, Hane, Christian, Heng, Lionel, Lee, Gim Hee, Sattler, Torsten, Pollefeys, Marc, Allodi, Marco, Valenti, Francesco, Mimura, Keiji, Goebelsmann, Bernd, Derendarz, Wojciech, Burki, Mathias, Muhlfellner, Peter, Wonneberger, Stefan, Waldmann, Rene, Grysczyk, Sebastian, Last, Carsten, Bruning, Stefan, Horstmann, Sven, Bartholomaus, Marc, Brummer, Clemens, Stellmacher, Martin, Timpner, Julian, Pucks, Fabian, Nicklas, Marcel, Siegwart, Roland, Rottmann, Stephan, Wolf, Lars, Paz, Lina Maria, Grimmett, Hugo, Posner, Ingmar, Newman, Paul

“…Automated valet parking services provide great potential to increase the attractiveness of electric vehicles by mitigating their two main current deficiencies:…”
Get full text

Prolog technology for default reasoning: proof theory and compilation techniques by Schaub, Torsten, Brüning, Stefan

“…The aim of this work is to show how Prolog technology can be used for efficient implementation of query answering in default logics. The idea is to translate a…”
Get full text

Globally linear connection method by Brüning, Stefan

“…To model in a formal system the remarkable ability of human agents to reason about situations, actions, and causality has always been a major research goal in…”
Get full text

A Disjunctive Positive Refinement of Model Elimination and its Application to Subsumption Deletion by Baumgartner, Peter, Brüning, Stefan

“…The Model Elimination (ME) calculus is a refutationally complete,goal-oriented calculus for first-order clause logic. In this article, weintroduce a new…”
Get full text

Cooperative Positioning with MagicMap by Bruning, S., Zapotoczky, J., Ibach, P., Stantchev, V.

“…We present MagicMap, a cooperative, hybrid positioning system developed at the Humboldt-University in Berlin. While most other positioning systems are limited…”
Get full text