Znaleziono 150 projektów spełniających kryteria wyszukiwania:
Konkurs: HARMONIA 5 , panel: ST6
Kierownik: prof. Witold Dzwinel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: PRELUDIUM 5 , panel: ST7
Kierownik: Tomasz Jan Torzewicz
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Konkurs: PRELUDIUM 5 , panel: NZ2
Kierownik: Sabina Marta Podlewska
Instytut Farmakologii im. Jerzego Maja Polskiej Akademii Nauk
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Synchronizacja automatów i hipoteza Cerny'ego
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: Maciej Tomasz Karaszewski
Politechnika Warszawska, Wydział Mechatroniki
DISQUSS: Zdywersyfikowane podpowiedzi zapytań w wyszukiwaniu na zbiorach pół-ustrukturyzowanych
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr Marcin Rafał Sydow
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Zagadnienia algebraiczno-kombinatoryczne dotyczące grup permutacji i półgrup transformacji
Konkurs: OPUS 4 , panel: ST1
Kierownik: prof. Andrzej Marian Kisielewicz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Automatyzacja wnioskowania konstruktywnego
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Granice rozstrzygalności w teorii automatów
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 4 , panel: HS2
Kierownik: dr hab. Magdalena Anna Sykurska-Derwojed
Uniwersytet Warszawski, Wydział Polonistyki
Konkurs: SONATA 4 , panel: HS6
Kierownik: dr Kamil Konrad Imbir
Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych
Metody automatycznego programowania z wykorzystaniem podejść semantycznych
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: dr Tomasz Paweł Pawlak
Politechnika Poznańska, Wydział Informatyki
Automatyczne, wysokoprzepustowe modelowanie struktur przestrzennych RNA
Konkurs: MAESTRO 3 , panel: ST6
Kierownik: prof. Ryszard Walenty Adamiak
Politechnika Poznańska, Wydział Informatyki
Konkurs: OPUS 3 , panel: ST8
Kierownik: prof. Wojciech Kacalak
Politechnika Koszalińska, Wydział Mechaniczny
Automatyczne rozpoznawanie przedmiotów i wyrażeń opinii w tekstach w języku polskim
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Aleksander Marek Wawer
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Analityczne relacje równoważności i działania grup polskich
Konkurs: SONATA 3 , panel: ST1
Kierownik: dr Marcin Sabok
Instytut Matematyczny Polskiej Akademii Nauk
Symulacja i bisymulacja dla procesów bezkontekstowych i auomatów ze stosem
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 3 , panel: ST8
Kierownik: prof. Andriy Milenin
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 3 , panel: ST10
Kierownik: prof. Zbigniew Edward Czechowski
Instytut Geofizyki Polskiej Akademii Nauk
Konkurs: HARMONIA 2 , panel: ST8
Kierownik: prof. Maciej Pietrzyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Konkurs: MAESTRO 2 , panel: HS1
Kierownik: prof. Andrzej Wiśniewski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Społecznych
Audiowizualne przetwarzanie mowy polskiej na potrzeby interfejsu człowiek-komputer
Konkurs: PRELUDIUM 2 , panel: ST7
Kierownik: Tomasz Andrzej Jadczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Nowe metody służące do automatycznej syntezy i eksploracji danych sekwencyjnych
Konkurs: SONATA 2 , panel: ST6
Kierownik: dr Radosław Ziembiński
Politechnika Poznańska, Wydział Informatyki
Automatyzacja obliczeń w nisko-energetycznej anihilacji elektron-pozyton na hadrony
Konkurs: OPUS 2 , panel: ST6
Kierownik: prof. Karol Maksymilian Kołodziej
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Michał Fularz
Politechnika Poznańska, Wydział Elektryczny
Procedury decyzyjne w weryfikacji
Konkurs: OPUS 2 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Automatyczne generowanie instrukcji obsługi dla aplikacji internetowych
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Bartosz Alchimowicz
Politechnika Poznańska, Wydział Informatyki
Automatyczne algorytmy hp adaptacyjne do przetwarzania danych tomograficznych
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Marcin Tomasz Sieniek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Algorytmy przetwarzania danych tekstowych
Konkurs: OPUS 2 , panel: ST6
Kierownik: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Konkurs: SONATA 2 , panel: ST8
Kierownik: dr Marcin Hojny
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
MEtody i NArzędzia Inżynierii Dokumentu przyszłości (MENAID)
Konkurs: OPUS 1 , panel: ST6
Kierownik: prof. Bogdan Wojciech Wiszniewski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: SONATA 1 , panel: ST6
Kierownik: dr Łukasz Rauch
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Władysław Homenda
Instytut Badań Systemowych Polskiej Akademii Nauk
Konkurs: OPUS 1 , panel: ST6
Kierownik: prof. Andrzej Krzysztof Napieralski
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Konkurs: SONATA 1 , panel: HS6
Kierownik: dr Jacek Marcin Buczny
SWPS Uniwersytet Humanistycznospołeczny z siedzibą w Warszawie
Konkurs: SONATA 1 , panel: ST8
Kierownik: dr hab. Łukasz Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Inteligentny hybrydowy system planowania i kompozycji usług sieciowych
Konkurs: OPUS 1 , panel: ST6
Kierownik: prof. Wojciech Penczek
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
Opracowanie wielostanowego komputera DNA poprzez zastosowanie wielu enzymów restrykcyjnych
Konkurs: OPUS 1 , panel: NZ2
Kierownik: dr hab. Tomasz Popławski
Uniwersytet Łódzki, Wydział Biologii i Ochrony Środowiska
Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.
Konkurs: SONATA 1 , panel: ST6
Kierownik: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 1 , panel: HS4
Kierownik: dr Agnieszka Kowalska-Styczeń
Politechnika Śląska, Wydział Organizacji i Zarządzania
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Bożena Woźna-Szcześniak
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Konkurs: OPUS 1 , panel: ST8
Kierownik: dr hab. Andriy Burbelko
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Odlewnictwa
Zautomatyzowane systemy informacyjne dotyczące orzecznictwa sądowego. Analiza modelowa
Konkurs: PRELUDIUM 1 , panel: HS2
Kierownik: dr Honorata Alicja Zarębska
Uniwersytet Śląski w Katowicach, Wydział Filologiczny
Automatyczne wykrywanie i korekcja błędów anotacyjnych w polskich korpusach językowych
Konkurs: PRELUDIUM 1 , panel: ST6
Kierownik: dr Łukasz Maciej Kobyliński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 1 , panel: ST7
Kierownik: dr hab. Janusz Biernat
Politechnika Wrocławska, Wydział Elektroniki
Konkurs: PRELUDIUM 1 , panel: ST8
Kierownik: dr Łukasz Rafał Łach
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej