Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Tobias Welp"'
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030945824
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bab37732876e2e1c2e22d41e34aa9955
https://doi.org/10.1007/978-3-030-94583-1_18
https://doi.org/10.1007/978-3-030-94583-1_18
Autor:
Tobias Welponer, Christian Puttinger, Eva W. H. Korte, Sjoukje van der Werf, Christine Prodinger, Marieke C. Bolling, Martin Laimer
Publikováno v:
Journal of Dermatological Treatment, Vol 35, Iss 1 (2024)
Introduction Itch is one of the most burdensome symptoms in epidermolysis bullosa (EB), indicating a hitherto unmet therapeutic need. This review leverages existing data on efficacy of itch treatment in EB to support sound decision making.Methods A s
Externí odkaz:
https://doaj.org/article/9ef53977388448e79a451f9347c7bc67
Autor:
Xiaomei Wang, Clemente J. Britto, Naiqian Niu, Qing Liu, Tobias Welp, Yi Yao, Smita Krishnaswamy, Geoffrey Chupp, Ruth R. Montgomery
Publikováno v:
Cytometry Part B: Clinical Cytometry. 92:12-20
Airway diseases affect over 7% of the U.S. population and millions of patients worldwide. Asthmatic patients have wide variation in clinical severity with different clinical and physiologic manifestations of disease that may be driven by distinct bio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6ce3ce6d2cf7629c52985991e0ec57fb
https://doi.org/10.1002/cyto.b.21491
https://doi.org/10.1002/cyto.b.21491
Autor:
Yi, Yao, Tobias, Welp, Qing, Liu, Naiqian, Niu, Xiaomei, Wang, Clemente J, Britto, Smita, Krishnaswamy, Geoffrey L, Chupp, Ruth R, Montgomery
Publikováno v:
Cytometry. Part B, Clinical cytometry. 92(1)
Airway diseases affect over 7% of the U.S. population and millions of patients worldwide. Asthmatic patients have wide variation in clinical severity with different clinical and physiologic manifestations of disease that may be driven by distinct bio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmid________::dbdfaab09ff4c6039d32d1febc26ea94
https://pubmed.ncbi.nlm.nih.gov/27807928
https://pubmed.ncbi.nlm.nih.gov/27807928
Autor:
Andreas Kuehlmann, Tobias Welp
Publikováno v:
ASP-DAC
The generalization of Property Directed Reachability (PDR) for the theory QF_BV presented in [1] outperforms the original formulation if the required inductive invariant can be represented efficiently as a set of polytopes. However, many QF_BV model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cac295992489463496e2e6fdfda43e72
https://doi.org/10.1109/aspdac.2014.6742978
https://doi.org/10.1109/aspdac.2014.6742978
Autor:
Tobias Welp, Andreas Kuehlmann
Publikováno v:
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a96b4e355ecf6d559cc9254819bd1e8b
https://doi.org/10.7873/date.2013.168
https://doi.org/10.7873/date.2013.168
Publikováno v:
DAC
Modern synthesis flows apply a series of technology independent optimization steps followed by mapping algorithms which bind the optimized network to a specific technology library. As the exact solution of the mapping problem is computationally intra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0d720b11a1e2a8ac940c21e395670d33
https://doi.org/10.1145/2228360.2228507
https://doi.org/10.1145/2228360.2228507
Publikováno v:
DAC
Scopus-Elsevier
Scopus-Elsevier
A systematic investigation is presented about the robustness of logic synthesis tools to equivalence-preserving transformations of the input Verilog file. We have developed a framework that: 1) parses Verilog behavioral models into an abstract syntax
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38d232c9b38edd4bb828b0b6f75cc07e
https://doi.org/10.1145/2024724.2024869
https://doi.org/10.1145/2024724.2024869
Autor:
Tobias Welp, Andreas Kuehlmann
Publikováno v:
DATE
Modern logic synthesis systems apply a sequence of loosely-related function-preserving transformations to gradually improve the circuit with respect to certain criteria such as area, performance, power, etc. For the quality of a complete synthesis ru
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::600220e39ee8d63f70d11c58e1a11fc8
https://doi.org/10.1109/date.2011.5763328
https://doi.org/10.1109/date.2011.5763328
Publikováno v:
Acta Dermato-Venereologica, Vol 101, Iss 11 (2021)
Abstract is missing (Quiz)
Externí odkaz:
https://doaj.org/article/f8cdf081c7364ad8bc3b8c32aa9ee762