Search

discourse (e.g., concepts such as enzymes, quasars, or poets and specific entities such as Steapsin, 3C 273, or Bertolt Brecht), to definitions, theorems, and hypotheses, to measurements of natural phenomena

viral drug resistance patterns as well as variants of viral entry into the host cell, HCV/Hepatitis C, where we contribute to uncovering the molecular basis of host-pathogen interactions and neurodegenerative

: %G eng %U http://hdl.handle.net/11858/00-001M-0000-000F-14C5-2 %F EDOC: 536340 %F OTHER: Local-ID: C125716C0050FB51-5F53450808E13ED9C125778C00501AE6-Ihlemann-Sofronie-Stokkermans-atr61-2010 %Y SFB/TR [...] Viorica}, LANGUAGE = {eng}, ISSN = {1860-9821}, NUMBER = {ATR60}, LOCALID = {Local-ID: C125716C0050FB51-8E77AFE123C76116C1257782003FEBDA-Ihlemann-Sofronie-Stokkermans-atr60-2010}, INSTITUTION = {SFB/TR 14 [...] http://hdl.handle.net/11858/00-001M-0000-000F-14B7-2 %F EDOC: 536339 %F OTHER: Local-ID: C125716C0050FB51-8E77AFE123C76116C1257782003FEBDA-Ihlemann-Sofronie-Stokkermans-atr60-2010 %Y SFB/TR 14 AVACS %D 2010

net/11858/00-001M-0000-0014-B02F-2 %F OTHER: Local-ID: 62EC1C9C96B8EFF4C1257B560029F18C-DyllaTopk2012 %Y Max-Planck-Institut für Informatik %C Saarbrücken %D 2012 %B Research Report %@ false PuRe [...] LANGUAGE = {eng}, ISSN = {0946-011X}, NUMBER = {MPI-I-2012-5-002}, LOCALID = {Local-ID: 62EC1C9C96B8EFF4C1257B560029F18C-DyllaTopk2012}, INSTITUTION = {Max-Planck-Institut f{\"u}r Informatik}, ADDRESS = {Saa [...] http://ilpubs.stanford.edu:8090/926/ %F OTHER: Local-ID: C1256DBF005F876D-C48EC96138450196C12576B1003F58D3-ilpubs-926 %Y Standford University %C Standford %D 2010 %P 13 p. %B Technical Report PuRe BibTeX

Tübingen %C Tübingen %D 2007 %P 17 p. %B WSI %N 2007-05 %@ false %U http://nbn-resolving.de/urn:nbn:de:bsz:21-opus-32001 PuRe BibTeX fulltext version 27 Report D4 C. Dyken, G. Ziegler, C. Theobalt [...] -1F57-6 %F EDOC: 356502 %F OTHER: Local-ID: C12573CC004A8E26-88919E23BF524D6AC12573C4005B8D41-HerzogReport2007 %Y Max-Planck-Institut für Informatik %C Saarbrücken, Germany %D 2007 %P 66 p. %X [...] net/11858/00-001M-0000-000F-28C9-A %F EDOC: 237862 %Y Max-Planck-Institut für Informatik %C Saarbrücken %D 2004 %P 16 p. %B Research Report PuRe BibTeX 50 Report D4 R. Zayer, C. Rössl, and H.-P. Seidel

in the Presence of Massart Noise" . I. Diakonikolas, R. Impagliazzo, D. M. Kane, R. Lei, J. Sorrell, C. Tzamos. Proceedings of the 34th Annual Conference on Learning Theory Arxiv Version

reports, etc. [1] M. Bromberger and C. Weidenbach. Computing a complete basis for equalities implied by a system of LRA constraints. In SMT 2016, 2016. [2] M. Bromberger and C. Weidenbach. Fast cube tests for

Computing Institute. Hintergrund: Hector Stiftung II Die Hector Stiftung II wurde im März 2008 von Dr. h.c. Hans-Werner Hector und seiner Frau Josephine Hector gegründet, sie fördert: · Geistig und/oder körperlich

2015-07-23 - 2015-07-25 %C Pasadena, CA, USA %B 37th Annual Meeting of the Cognitive Science Society %E Dale, Rick; Jennings, Carolyn; Maglio, Paul P.; Matlock, Teenie; Noelle, David C.; Warlaumont, Anne; Yoshimi [...] 0204.pdf PDF PuRe BibTeX fulltext version 4 Conference paper D2 T. Loetscher, C. Chen, S. Hoppe, A. Bulling, S. Wignall, C. Owen, N. Thomas, and A. Lee “Walking Reduces Spatial Neglect,” in Journal of [...] 0-001M-0000-0029-624C-1 %R 10.1145/2800835.2800910 %D 2015 %B ACM International Joint Conference on Pervasive and Ubiquitous Computing %Z date of event: 2015-09-07 - 2015-09-11 %C Osaka, Japan %B UbiComp

Previous publications Improved lower bound, and proof barrier, for constant depth algebraic circuits with C.S. Bhargav and Nitin Saxena MFCS 2022 [ Best student paper award ] Teachings Summer 2024: Teaching assistant