Search

We found 232 hits for your search of 'c'"'.
  1. Earlier Terms

    /departments/automation-of-logic/teaching/earlier-terms

    WS 2009/2010 Programming Challenges SS 2009 Selected Topics in Automated Reasoning SS 2009 Advanced C Programming WS 2008/2009 Ringvorlesung: Perspektiven der Informatik WS2008/2009 Automated Reasoning

  2. Research Reports

    /departments/automation-of-logic/publications/research-reports

    : %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

  3. News & Events

    /departments/databases-and-information-systems/news-events

    statements" at ISWC 2024 conference in November, 2024. Gerhard Weikum Receives Honorary Doctorate (Dr. h.c.) from the University of Athens The National and Kapodistrian University of Athens has bestowed the [...] (WWW) 2018 for their work on indentifying time intervals for knowlege graph facts. YAGO Receives IW3C2 Seoul Test of Time Award 2018 The original YAGO paper published at WWW 2007: "YAGO: A Core of Semantic [...] WordNet and Wikipedia" authored by Fabian M. Suchanek, Gjergji Kasneci and Gerhard Weikum, received IW3C2 Seoul Test of Time Award 2018. The award will be presented at the WWW 2018 conference in Lyon. Patrick

  4. Research

    /departments/databases-and-information-systems/research

    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

  5. Awards

    /news-events/awards

    Award Bayerische Akademie Der Wissenschaften Fabian M. Suchanek, Gjergji Kasneci and Gerhard Weikum IW3C2 Seoul Test of Time Award 2018 2018 Award International World Wide Web Conference Committee Ruben Becker

  6. Image Tests

    /services/dev/image-tests

    nobis eleifend option congue nihil imperdiet doming id quod mazim placerat facer fig. a fig. b fig. c fig. d Lorem 2 Lorem ipsum dolor sit amet, consetetur Lorem ipsum dolor sit amet, consetetur Lorem ipsum

  7. HTML Test Page

    /services/dev/html-test-page

    notations: e x , sin 2 x , and some nested superscripts (exponents) too: e x 2 and f(x) g(x) a+b+c (where 2 and a+b+c should appear as exponents of exponents). text in monospace font ( tt markup used) underlined [...] text ( font color=red markup used) Origin of Species (a book title; cite markup used) a[i] = b[i] + c[i); (computer code; code markup used) here we have some deleted text ( del markup used) an octet is

  8. Former Members

    /departments/algorithms-complexity/people/former-members

    Burchardt, Andreas Burkhardt, Stefan Burnikel, Christoph Busch, Philip Butz, Bernhard Büyükbayrak, Elvir C Calinescu, Gruia Canzar, Stefan Cao, Xiaoqi Capoyleas, Vasilis Caroli, Manuel Cassis, Alejandro Celikik [...] Rajeev Ramani, Sandeep Ramaswamy, Krithika Ramezani, Fahimeh Ramezani, Iliad Ramos, Edgar A. Rangan, C. Pandu Ranjan, Desh Rastogi, Divyansh Rauf, Imran Ray, Saurabh Ray, Rahul Regenberg, Jens Reichel, Joachim [...] Ingmar Stephan, Anne Steurer, David Stormer, Henrik Strasburger, Vera Subrahmanyam, K.V. Subramanian, C.R. Sudheer, Sahu Sun, He Sznuk, Lukasz T Tale, Prafullkumar Tamaki, Hisao Tavenas, Sebastien Telikepalli

  9. Research Group Computational Biology

    /departments/research-group-computational-biology

    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

  10. Board of Trustees

    /institute/board-of-trustees

    Saarland Prof. Dr. Margret Wintermantel Universitätsratsvorsitzende, Universität Würzburg Prof. Dr. h.c. mult. Ranga Yogeshwar Freier Wissenschaftsjournalist