Nauka

Badania o charakterze unikatowym/kluczowym

  • Ilościowa ocena strategii intranzytywnych w grach o realizację efektów zrównoważonych.
    (dr M. Makowski, prof. dr hab. E. W. Piotrowski)
  • Właściwości natężenia zysku w probabilistycznej interpretacji krzywych podaży/popytu.
    (dr M. Makowski, prof. dr hab. E. W. Piotrowski)
  • Rozwój efektywnych algorytmów identyfikacji ważnych zmiennych w układach opisywanych wielką liczbą zmiennych oraz zastosowanie tych algorytmów do analizy wielkich zbiorów danych ze szczególnym uwzględnieniem danych biomedycznych.
    (dr hab. W. R. Rudnicki wraz ze współpracownikami z Zakładu Bioinformatyki)
  • Rozwój systemu Mizar służącego do komputerowej formalizacji i weryfikacji wiedzy matematycznej.
    (Zakład Programowania i Metod Formalnych Instytutu Informatyki UwB)