Znaleziono 85 projektów spełniających kryteria wyszukiwania:
Opracowanie modeli i metod włączania wiedzy do maszyn wektorów wspierających
Konkurs: SONATA 9 , panel: ST6
Kierownik: dr Marcin Orchel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.
Konkurs: OPUS 8 , panel: ST6
Kierownik: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Problemy komunikacyjne w bezprzewodowych sieciach sensorowych
Konkurs: PRELUDIUM 7 , panel: ST6
Kierownik: Michał Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)
Konkurs: OPUS 7 , panel: ST6
Kierownik: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 7 , panel: ST6
Kierownik: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Języki i Uczenie w General Game Playing
Konkurs: PRELUDIUM 7 , panel: ST6
Kierownik: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algorytmika problemów o zwartej reprezentacji
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 6 , panel: ST6
Kierownik: dr Patryk Orzechowski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych
Konkurs: OPUS 6 , panel: HS1
Kierownik: dr hab. Marcin Mostowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Metody minimalizacji zaburzeń w algorytmach i protokołach opartych na błądzeniu kwantowym
Konkurs: PRELUDIUM 6 , panel: ST6
Kierownik: Przemysław Sadowski
Instytut Informatyki Teoretycznej i Stosowanej PAN
Nowe metody kompleksowej analizy współbieżnych systemów obliczeniowych
Konkurs: SONATA 5 , panel: ST6
Kierownik: dr Łukasz Mikulski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Kombinatoryczne i teorio-informacyjne aspekty komunikacji w systemach rozproszonych.
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: dr Marcin Kardas
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Formalne podejście do praktycznych problemów ukrywaniu informacji
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Marek Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
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: OPUS 5 , panel: ST6
Kierownik: prof. Witold Dzwinel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Rozwój algorytmów identyfikacji wszystkich ważnych zmiennych z użyciem metod uczenia maszynowego
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Witold Rudnicki
Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
Konkurs: ETIUDA 1 , panel: ST7
Kierownik: Adam Dziekoński
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: OPUS 4 , panel: ST7
Kierownik: dr Adam Styk
Politechnika Warszawska, Wydział Mechatroniki
Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algorytmy poprawy czytelności rozumowań w systemie naturalnej dedukcji
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Ostatecznie spójna replikacja: Algorytmy i metody
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Obliczenia rozproszone w sieciach dynamicznych
Konkurs: HARMONIA 3 , panel: ST6
Kierownik: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Sterowanie współbieżnością i odporność na awarie dla rozproszonej pamięci transakcyjnej
Konkurs: HARMONIA 3 , panel: ST6
Kierownik: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Liczby Ramseya z udziałem grafu C_4
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Informatyczne modele i metody w biologii komórkowej
Konkurs: OPUS 3 , panel: ST6
Kierownik: dr hab. Marta Kasprzak
Politechnika Poznańska, Wydział Informatyki
Sprawiedliwy podział dóbr niepodzielnych w warunkach niepełnej informacji
Konkurs: OPUS 26 , panel: HS4
Kierownik: dr hab. Marcin Anholcer
Uniwersytet Ekonomiczny w Poznaniu, Instytut Informatyki i Ekonomii Ilościowej
Przetwarzanie olbrzymich danych tekstowych i ich uogólnień: algorytmy i warunkowe ograniczenia dolne
Konkurs: OPUS 26 , panel: ST6
Kierownik: dr Paweł Gawrychowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Unifikacja modeli makro-ewolucyjnych i sieci filogenetycznych
Konkurs: OPUS 26 , panel: ST6
Kierownik: dr hab. Paweł Górecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Rozszerzone orientacje i efektywne konstrukcje dla metody Alon-Tarsi
Konkurs: OPUS 25 , panel: ST6
Kierownik: dr hab. Jakub Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Obliczalna teoria modeli i filozofia strukturalizmu matematycznego
Konkurs: OPUS 25 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Nowoczesne narzędzia analizy sieci złożonych
Konkurs: OPUS 25 , panel: ST6
Kierownik: dr Małgorzata Sulkowska
Politechnika Wrocławska
Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje
Konkurs: SONATA 18 , panel: ST6
Kierownik: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Problemy spełnialności i równoważności dla skończonych algebr
Konkurs: OPUS 23 , panel: ST6
Kierownik: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
Problem homomorfizmu grafów w strukturalnie ograniczonych klasach
Konkurs: PRELUDIUM 21 , panel: ST6
Kierownik: Marta Piecyk
Politechnika Warszawska
Konkurs: CHANSE Call 2021 , panel: HS6
Kierownik: dr hab. Dorota Merecz-Kot
Uniwersytet Łódzki
Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej
Konkurs: SONATA 17 , panel: ST6
Kierownik: dr Tomáš Masařík
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami
Konkurs: PRELUDIUM 20 , panel: ST6
Kierownik: Karolina Okrasa
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Obwody modularne - algorytmy i ograniczenia dolne
Konkurs: PRELUDIUM 20 , panel: ST6
Kierownik: Piotr Kawałek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Obliczeniowe aspekty gier nieskończonych
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efektywne wykorzystanie randomizacji: od szeregowania do AdWords
Konkurs: OPUS 20 , panel: ST6
Kierownik: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Charakteryzacja treści informacyjnej struktur grafowych
Konkurs: SONATA 16 , panel: ST6
Kierownik: dr Krzysztof Turowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 19 , panel: HS4
Kierownik: dr hab. Magdalena Szyszko
Wyższa Szkoła Bankowa w Poznaniu
Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Konkurs: OPUS 19 , panel: ST6
Kierownik: dr Michał Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Obliczeniowe aspekty geometrii nieeuklidesowych
Konkurs: OPUS 18 , panel: ST6
Kierownik: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Zaawansowane metody optymalizacji wielowarstwowych sieci uwzględniających aplikacje
Konkurs: OPUS 18 , panel: ST7
Kierownik: prof. Krzysztof Walkowiak
Politechnika Wrocławska
Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne
Konkurs: SONATA 15 , panel: ST6
Kierownik: dr Marek Adamczyk
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Systemy wyboru komitetów: Metody niepunktowe
Konkurs: OPUS 18 , panel: ST6
Kierownik: dr Piotr Skowron
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Rozwój metod wykrywania CNV opartych na głębokości pokrycia
Konkurs: PRELUDIUM 18 , panel: ST6
Kierownik: Wiktor Kuśmirek
Politechnika Warszawska
Kolorowania, kliki i zbiory niezależne w klasach grafów
Konkurs: SONATA BIS 9 , panel: ST6
Kierownik: dr hab. Bartosz Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Biologicznie Znacząca Rekonstrukcja Sieci Filogenetycznych
Konkurs: OPUS 17 , panel: ST6
Kierownik: dr hab. Paweł Górecki
Uniwersytet Warszawski