Znaleziono 23 projektów spełniających kryteria wyszukiwania:
Wybrane metody weryfikacji modelowej wykorzystujące testery SMT
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Agnieszka Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Metody kolektywnej inteligencji obliczeniowej i ich wybrane zastosowania
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr Dariusz Barbucha
Akademia Morska w Gdyni, Wydział Przedsiębiorczości i Towaroznawstwa
Podmiotowość agentów programowych w ujęciu teoretycznoprawnym
Konkurs: PRELUDIUM 8 , panel: HS5
Kierownik: dr Rafał Michalczak
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Języki i Uczenie w General Game Playing
Konkurs: PRELUDIUM 7 , panel: ST6
Kierownik: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Bożena Woźna-Szcześniak
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Nowe gwieździste nośniki polimerowe do transportu kwasów nukleinowych
Konkurs: OPUS 1 , panel: ST5
Kierownik: dr hab. Agnieszka Kowalczuk
Centrum Materiałów Polimerowych i Węglowych PAN
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: Łukasz Faber
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: OPUS 3 , panel: ST6
Kierownik: prof. Adam Borkowski
Instytut Podstawowych Problemów Techniki PAN
Rozwój regułowych języków zapytań stosowanych w systemach inteligentnych
Konkurs: OPUS 1 , panel: ST6
Kierownik: prof. Andrzej Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: M-ERA.NET 3 Call 2023 , panel: ST11
Kierownik: prof. Robert Bucki
Uniwersytet Medyczny w Białymstoku
Konkurs: POLONEZ BIS 2 , panel: NZ7
Kierownik: dr Prachi Ghoderao
Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu
Konkurs: CHIST-ERA2021 , panel: ST6
Kierownik: dr hab. Katarzyna Budzyńska
Politechnika Warszawska
Determinanty efektywności inteligentnych sieci transportowych
Konkurs: OPUS 21 , panel: HS4
Kierownik: dr Przemysław Szufel
Szkoła Główna Handlowa w Warszawie, Kolegium Analiz Ekonomicznych
Konkurs: SONATA 15 , panel: HS4
Kierownik: dr Marcin Woźniak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Geografii Społeczno-Ekonomicznej i Gospodarki Przestrzennej
Konkurs: PRELUDIUM 18 , panel: ST5
Kierownik: Maria Nevarez Martinez
Uniwersytet Gdański, Wydział Chemii
Tożsamość inteligentnych agentów w relacjach biznesowych
Konkurs: PRELUDIUM 17 , panel: HS4
Kierownik: Mateusz Kot
Uniwersytet Ekonomiczny w Poznaniu, Wydział Zarządzania
Efektywne algorytmy rozproszone z ograniczoną pamięcią, energią dla modeli dynamicznych.
Konkurs: OPUS 17 , panel: ST6
Kierownik: dr Dominik Pająk
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Nowa, oparta na danych metoda opisu geometrii sceny do lokalizacji agenta
Konkurs: PRELUDIUM 16 , panel: ST6
Kierownik: Jan Wietrzykowski
Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki
Konkurs: PRELUDIUM 1 , panel: ST6
Kierownik: Grzegorz Oryńczak
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Agentowe modele komunikacji symbolicznej wzorowane na procesach rozwoju językowego
Konkurs: OPUS 15 , panel: HS1
Kierownik: prof. Joanna Rączaszek-Leonardi
Uniwersytet Warszawski, Wydział Psychologii
Konkurs: PRELUDIUM 13 , panel: ST6
Kierownik: Michał Idzik
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: SONATA 1 , panel: ST6
Kierownik: dr Wojciech Turek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Praktycznie obliczalne dialogi w systemach wieloagentowych.
Konkurs: PRELUDIUM 9 , panel: ST6
Kierownik: Alina Powała
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki