Projektit

Suodatin
Aktiivinen
Aktiivinen

Symbolic Techniques for Formally Verified and Explainable AI

Järvisalo, M.

01/01/202031/12/2022

Projekti: Tutkimusprojekti

Declarative Boolean Optimization: Pushing the Envelope

Järvisalo, M.

01/09/201931/08/2023

Projekti: Tutkimusprojekti

Sporttia Stadiin!

Peltonen, J., Uusitalo, A., Eklund, D., Tervaniemi, M., Huotilainen, M., Kaseva, K., Toivonen, T., Willberg, E., Roos, T., Kaartinen, J. & Mäntyjärvi, J.

01/08/2018 → …

Projekti: Tutkimusprojekti

Parallel Execution of GP-UCB

Hore, S.

01/10/2013 → …

Projekti: Tutkimusprojekti

Research Interest: Secure Systems Group

Asokan, N., Ruohomaa, S., Nyman, T., Truong, H., Gao, X., Liu, J., Bhattacharya, S. & Dettenborn, T.

01/01/2013 → …

Projekti: Tutkimusprojekti

Etymon: Computational modeling of language change and evolution

Nouri, J., Wettig, J., Hiltunen, S. E., Vihavainen, A., Du, M. & Yangarber, R.

01/01/2008 → …

Projekti: Tutkimusprojekti