Projekty finansowane przez NCN
Automatyczne odkrywanie i wykorzystywanie wiedzy dziedzinowej do priorytetyzacji przeszukiwania w problemie automatycznej syntezy programów
2018/29/N/ST6/01646
Słowa kluczowe:
automatyczna synteza programów metauheurystyki
Deskryptory:
- ST6_7: Sztuczna inteligencja, systemy inteligentne i wieloagentowe
- ST6_11: Uczenie maszynowe, statystyczne przetwarzanie danych i zastosowanie w przetwarzaniu sygnałów
Panel:
ST6 - Informatyka i technologie informacyjne: technologie i systemy informacyjne, informatyka, obliczenia naukowe, systemy inteligentne
Jednostka realizująca:
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
woj. wielkopolskie
Konkurs: PRELUDIUM 15 - ogłoszony 2018-03-15
Przyznana kwota: 88 340 PLN
Rozpoczęcie projektu: 2019-02-06
Zakończenie projektu: 2023-02-05
Planowany czas trwania projektu: 24 miesięcy (z wniosku)
Status projektu: Projekt zakończony
Opis Projektu
Pobierz opis projektu w formacie .pdf
Uwaga - opisy projektów zostały sporządzone przez samych autorów wniosków i w niezmienionej formie umieszczone w systemie.
Dane z raportu końcowego/rocznego
- Publikacje w czasopismach (1)
- Teksty w publikacjach pokonferencyjnych (1)
- Counterexample-Driven Genetic Programming for Symbolic Regression with Formal ConstraintsAutorzy:Iwo Błądek, Krzysztof KrawiecCzasopismo:IEEE Transactions on Evolutionary Computation (rok: 2023, tom: 27, strony: 1327-1339), Wydawca: IEEE Computational Intelligence SocietyStatus:OpublikowanaDoi:10.1109/TEVC.2022.3205286 - link do publikacji
- Solving Symbolic Regression Problems with Formal ConstraintsAutorzy:Iwo Błądek, Krzysztof KrawiecKonferencja:The Genetic and Evolutionary Computation Conference (rok: 2019, ), Wydawca: ACMData:konferencja 13-17.07.2019Status:Opublikowana