Wyszukiwarka projektów

• Słowa kluczowe: program synthesis ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 7 projektów spełniających kryteria wyszukiwania:

1. 1. Skalowalne metaheurystyki dla automatycznej syntezy programów

   Kierownik: dr hab. Krzysztof Krawiec

   Politechnika Poznańska, Wydział Informatyki

   Konkurs: OPUS 8, panel: ST6

2. 2. Automatyczne odkrywanie i wykorzystywanie wiedzy dziedzinowej do priorytetyzacji przeszukiwania w problemie automatyczne…

   Kierownik: Iwo Piotr Błądek

   Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

   Konkurs: PRELUDIUM 15, panel: ST6

3. 3. Synteza małocząsteczkowych sond chemicznych oraz charakterystyka strukturalna ich oddziaływania na szlak sygnałowy recep…

   Kierownik: Katarzyna Agnieszka Guzik

   Uniwersytet Jagielloński, Wydział Chemii

   Konkurs: PRELUDIUM 10, panel: ST5

4. 4. Automatyczna synteza modeli programowania matematycznego dla procesów biznesowych

   Kierownik: dr Tomasz Pawlak

   Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

   Konkurs: SONATA 12, panel: ST6

5. 5. Synteza poprzez aktywne uczenie się: teoria i zastosowania

   Kierownik: dr hab. Jan Otop

   Uniwersytet Wrocławski

   Konkurs: OPUS 27, panel: ST6

6. 6. Nowe metody parametrycznej weryfikacji modelowej

   Kierownik: Michał Józef Knapik

   Instytut Podstaw Informatyki PAN

   Konkurs: PRELUDIUM 4, panel: ST6

7. 7. Nowe architektury i algorytmy neurosymbolicznego uczenia głębokiego

   Kierownik: Piotr Leszek Wyrwiński

   Politechnika Poznańska

   Konkurs: PRELUDIUM 23, panel: ST6