Znaleziono 282 projektów spełniających kryteria wyszukiwania:
Konkurs: SONATA 16 , panel: ST4
Kierownik: dr Wojciech Skomorowski
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Wnioskowanie ilościowe odporne na perturbacje
Konkurs: OPUS 20 , panel: ST6
Kierownik: dr Jakub Michaliszyn
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
Niskowymiarowe nanoarchitektury dla emisji światła i konwersji światła w energię elektryczną
Konkurs: OPUS 20 (LAP) , panel: ST4
Kierownik: dr Silvio Osella
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Efektywne pamięciowo kodowanie problemów kombinatorycznych do kwantowych obliczeń wariacyjnych
Konkurs: PRELUDIUM 19 , panel: ST6
Kierownik: Adam Glos
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
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
Konkurs: OPUS 19 , panel: ST4
Kierownik: dr Przemysław Dopieralski
Uniwersytet Wrocławski, Wydział Chemii
Wokół logik modalnych - rozstrzygalność i złożoność
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Modelowanie flawin dla fotokatalizy organicznej
Konkurs: CEUS-UNISONO , panel: ST4
Kierownik: prof. Marek Sikorski
Uniwersytet im. Adama Mickiewicza w Poznaniu
Podstawienie fluorem – nowy algorytm zwiększania aktywności biologicznej
Konkurs: PRELUDIUM 18 , panel: NZ7
Kierownik: Wojciech Pietruś
Instytut Farmakologii im. Jerzego Maja Polskiej Akademii Nauk
Metody tworzenia, modelowania i analizy protokołów w intersieciach kwantowych
Konkurs: SONATA 2 , panel: ST6
Kierownik: dr hab. Jarosław Miszczak
Instytut Informatyki Teoretycznej i Stosowanej PAN
Modele obliczeń rozszerzone o dane
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
Portfele blockchainowe -- kryptograficzna teoria i zastosowania
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych
Konkurs: MAESTRO 1 , panel: ST6
Kierownik: prof. Marek Kubale
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: MAESTRO 1 , panel: ST4
Kierownik: prof. Piotr Paneth
POLITECHNIKA ŁÓDZKA
Konkurs: OPUS 18 , panel: ST6
Kierownik: dr hab. Remigiusz Wiśniewski
Uniwersytet Zielonogórski
Konkurs: SONATA BIS 9 , panel: ST4
Kierownik: dr hab. Mariusz Puchalski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii
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
Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych
Konkurs: OPUS 17 , panel: ST6
Kierownik: dr hab. Jarosław Miszczak
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Nadprzewodnictwo w związkach Lavesa na bazie metali ziem alkalicznych
Konkurs: PRELUDIUM 17 , panel: ST5
Kierownik: Karolina Górnicka
Politechnika Gdańska
Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne
Konkurs: OPUS 17 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Efekty algebraiczne: kompozycja i koindukcja
Konkurs: SONATA 14 , panel: ST6
Kierownik: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne
Konkurs: OPUS 16 , panel: HS1
Kierownik: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Konkurs: PRELUDIUM 16 , panel: ST6
Kierownik: Marek Grzegorowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 16 , panel: ST4
Kierownik: prof. Mikhail Brik
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?
Konkurs: OPUS 16 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 16 , panel: ST6
Kierownik: dr hab. Lidia Tendera
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Konkurs: SONATA 14 , panel: ST4
Kierownik: dr Joanna Jankowska
Uniwersytet Warszawski, Wydział Chemii
Program optymalności w problemach homomorfizmu grafów
Konkurs: SONATA 14 , panel: ST6
Kierownik: dr Paweł Rzążewski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Nieskończoność we wnioskowaniu o danych i wiedzy
Konkurs: SONATA BIS 8 , panel: ST6
Kierownik: dr hab. Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 8 , panel: ST4
Kierownik: dr hab. Adam Kubas
Instytut Chemii Fizycznej Polskiej Akademii Nauk
Konkurs: PRELUDIUM 15 , panel: ST3
Kierownik: Myron Rudysh
Uniwersytet Humanistyczno-Przyrodniczy im. Jana Długosza w Częstochowie, Wydział Nauk Ścisłych, Przyrodniczych i Technicznych
Uczenie maszynowe i automatyczne dowodzenie twierdzeń
Konkurs: OPUS 15 , panel: ST6
Kierownik: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 15 , panel: ST4
Kierownik: Tymon Kilich
Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej
Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń
Konkurs: PRELUDIUM 15 , panel: ST6
Kierownik: Bartosz Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Wielowartościowa dynamika kombinatoryczna dla skończonych przestrzeni topologicznych.
Konkurs: PRELUDIUM 15 , panel: ST1
Kierownik: Michał Lipiński
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Podejście analityczne w dynamice konforemnej
Konkurs: OPUS 15 , panel: ST1
Kierownik: prof. Grzegorz Świątek
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Konkurs: PRELUDIUM 1 , panel: ST4
Kierownik: Tomasz Pawlak
CENTRUM BADAŃ MOLEKULARNYCH I MAKROMOLEKULARNYCH PAN
Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.
Konkurs: ETIUDA 6 , panel: ST6
Kierownik: Krzysztof Sornat
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Programowanie dynamiczne z gwarancjami
Konkurs: ETIUDA 6 , panel: ST6
Kierownik: Karol Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efektywne obliczenia w predykatywnej matematyce
Konkurs: SONATINA 2 , panel: ST6
Kierownik: dr Michał Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym
Konkurs: ETIUDA 6 , panel: ST6
Kierownik: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Mapowanie gruboziarnistych modeli kwasów nukleinowych z pola NARES-2P do reprezentacji pełnoatomowej
Konkurs: PRELUDIUM 14 , panel: ST4
Kierownik: Łukasz Golon
Uniwersytet Gdański, Wydział Chemii
Wydajne algorytmy i warunkowe ograniczenia dolne dla problemów na drzewach
Konkurs: PRELUDIUM 14 , panel: ST6
Kierownik: Bartłomiej Dudek
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Automatyczna analiza systemów współbieżnych
Konkurs: OPUS 14 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Dyskretyzacje układów dynamicznych zachowujące całki ruchu
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Jan Cieśliński
Uniwersytet w Białymstoku, Wydział Fizyki
Konkurs: OPUS 14 , panel: ST4
Kierownik: prof. Gotard Burdziński
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki
Konkurs: OPUS 14 , panel: ST4
Kierownik: dr hab. Tatiana Korona
Uniwersytet Warszawski, Wydział Chemii
W kierunku lepszego zrozumienia widm NIR
Konkurs: OPUS 14 , panel: ST4
Kierownik: prof. Mirosław Czarnecki
Uniwersytet Wrocławski, Wydział Chemii