Zobrazeno 1 - 10
of 99
pro vyhledávání: '"Scholl, Christoph"'
Autor:
Seufert, Tobias, Winterer, Felix, Scholl, Christoph, Scheibler, Karsten, Paxian, Tobias, Becker, Bernd
In this paper we revisit the topic of generalizing proof obligations in bit-level Property Directed Reachability (PDR). We provide a comprehensive study which (1) determines the complexity of the problem, (2) thoroughly analyzes limitations of existi
Externí odkaz:
http://arxiv.org/abs/2105.09169
Dependency quantified Boolean formulas (DQBFs) are a powerful formalism, which subsumes quantified Boolean formulas (QBFs) and allows an explicit specification of dependencies of existential variables on universal variables. Driven by the needs of va
Externí odkaz:
http://arxiv.org/abs/1905.04755
Autor:
Scholl, Christoph1,2 (AUTHOR) christoph.scholl@siemens.com, Spiegler, Maximilian3 (AUTHOR), Ludwig, Klaus1 (AUTHOR), Eskofier, Bjoern M.2 (AUTHOR), Tobola, Andreas1,4,5 (AUTHOR), Zanca, Dario2 (AUTHOR)
Publikováno v:
Sensors (14248220). Apr2023, Vol. 23 Issue 8, p3798. 26p.
Publikováno v:
IEEE Sensors Journal; August 2024, Vol. 24 Issue: 16 p25960-25971, 12p
Autor:
Scholl, Christoph.
Saarbrücken, Univ., Diss., 1997.
Erscheinungsjahr an der Haupttitelstelle: 1996. Computerdatei im Fernzugriff.
Erscheinungsjahr an der Haupttitelstelle: 1996. Computerdatei im Fernzugriff.
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.
Autor:
Herzog, Dirk, Asami, Mohammad Karim, Scholl, Christoph, Ohle, Christoph, Emmelmann, Claus, Sharma, Ashish N., Markovic, Nick, Harris, Andy
Publikováno v:
Journal of Laser Applications 34 (1): 012015 (2022-02-01)
Journal of Laser Applications
Journal of Laser Applications
Additive manufacturing (AM) has been leveraged across various industries to potentially open design spaces allowing the design of parts to reduce the weight, cost, and integrated design. Over the past decade, AM has sped up fast enough to penetrate v
Autor:
Scholl, Christoph
The Business Cycle Accounting method by Chari, Kehoe, and Mc Grattan (2007) helps identify theories that have quantitative promise in explaining economic fluctuations. In this work project, it will be applied to Germany to study the impact of the COV
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1437::d5dc94452cc4ff8e4c68d9e79fd4ce0d
https://hdl.handle.net/10362/142236
https://hdl.handle.net/10362/142236