Wyszukiwarka projektów

• Słowa kluczowe: automatyczna synteza programów ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 3 projekty spełniających kryteria wyszukiwania:

1. 1. 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

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

   Kierownik: dr hab. Krzysztof Krawiec

   Politechnika Poznańska, Wydział Informatyki

   Konkurs: OPUS 8, panel: ST6

3. 3. 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