Znaleziono 276 projektów spełniających kryteria wyszukiwania:
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
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
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
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
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
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
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
Konkurs: MAESTRO 1 , panel: ST4
Kierownik: prof. Piotr Paneth
POLITECHNIKA ŁÓDZKA
DATALOG w Problemie Spełnialności Więzów
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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
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
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
Rola wody solwatacyjnej w kształtowaniu aktywności białek z grupy przeciwdziałających zamarzaniu.
Konkurs: PRELUDIUM 14 , panel: ST4
Kierownik: Joanna Grabowska
Politechnika Gdańska, Wydział Chemiczny
Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Konkurs: OPUS 14 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Konkurs: OPUS 14 , panel: ST6
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Wokół optymalności algorytmów opartych o programowanie dynamiczne
Konkurs: PRELUDIUM 14 , panel: ST6
Kierownik: dr Adam Polak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki