Suomalainen laskennallisen päättelyn huippuyksikkö

  • Xu, Yingying (Projektin jäsen)
  • Rintanen, Jussi (Projektin jäsen)
  • Kaski, Samuel (Vastuullinen tutkija)
  • Anwer, Rao (Projektin jäsen)
  • Parviainen, Pekka (Projektin jäsen)
  • Soare, Marta (Projektin jäsen)
  • Vuollekoski, Henri (Projektin jäsen)
  • Rezazadegan Tavakoli, Hamed (Projektin jäsen)
  • Peltola, Tomi (Projektin jäsen)
  • Blomstedt, Paul (Projektin jäsen)
  • Puranen, Santeri (Projektin jäsen)
  • Dutta, Ritabrata (Projektin jäsen)
  • Gebser, Martin (Projektin jäsen)
  • Mononen, Tommi (Projektin jäsen)
  • Bogaerts, Bart (Projektin jäsen)
  • Tasharrofi, Shahab (Projektin jäsen)
  • Pesonen, Henri (Projektin jäsen)
  • Weinzierl, Antonius (Projektin jäsen)
  • Yang, Zhirong (Projektin jäsen)

Projektin yksityiskohdat

TilaPäättynyt
Todellinen alku/loppupvm01/01/2015 → 31/12/2017

YK:n kestävän kehityksen tavoitteet

Vuonna 2015 YK:n jäsenvaltiot sopivat 17 maailmanlaajuisesta kestävän kehityksen tavoitteesta (Sustainable Development Goal, SDG) poistamaan köyhyyden, suojelemaan planeettaa ja takaamaan vaurauden kaikille. Tämä projekti edistää seuraavia kestävän kehityksen tavoitteita:

  • SDG 3 – Hyvä terveys ja hyvinvointi

Sormenjälki

Tutustu tutkimuksen aiheisiin, joita tämä projekti koskee. Nämä merkinnät luodaan taustalla olevien stipendien/apurahojen perusteella. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
Näytä koko sormenjälki
  • 19 Conference article in proceedings
  • 4 Article
  • 1 Abstract
  • 1 Muu tuotos

  • Counting Linear Extensions in Practice: MCMC Versus Exponential Monte Carlo

    Talvitie, T., Kangas, J.-K., Niinimäki, T. & Koivisto, M., 2018, 32nd AAAI Conference on Artificial Intelligence, AAAI 2018. AAAI Press, s. 1431-1438 8 Sivumäärä (Proceedings of the AAAI Conference on Artificial Intelligence).

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

    Open access
    10 Sitaatiot (Scopus)

  • Exploiting Justifications for Lazy Grounding of Answer Set Programs

    Bogaerts, B. & Weinzierl, A., 2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (toim.). IJCAI, s. 1737-1745 9 Sivumäärä

    Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

    13 Sitaatiot (Scopus)

  • Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access

    Eiter, T., Kaminski, T., Redl, C. & Weinzierl, A., 30 heinäk. 2018, julkaisussa: Journal of Artificial Intelligence Research. 62, s. 665-727 63 Sivumäärä

    Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

    Open access
    Tiedosto
    6 Sitaatiot (Scopus)
    269 Lataukset (Pure)
Näytä kaikki 25 julkaisut ja taiteelliset tuotokset
  • 1 Muun käsikirjoituksen arviointi

  • Springer (Kustantaja)

    Rezazadegan Tavakoli, H. (Vertaisarvioija)

    2016

    Aktiviteetti: Muun käsikirjoituksen arviointi