Znaleziono 282 projektów spełniających kryteria wyszukiwania:
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
Konkurs: PRELUDIUM 5 , panel: ST1
Kierownik: Jędrzej Jabłoński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Granice obliczalności dla zapytań rekurencyjnych
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorytmy odpornej optymalizacji dyskretnej
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Adam Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Konkurs: OPUS 5 , panel: ST6
Kierownik: dr hab. Lidia 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 1 , panel: ST6
Kierownik: Katarzyna Jesse-Józefczyk
Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii
Konkurs: SONATA 5 , panel: NZ7
Kierownik: dr hab. Judyta Cielecka-Piontek
Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu, Wydział Farmaceutyczny
Gry kwantowe: teoria i implementacja
Konkurs: OPUS 1 , panel: ST6
Kierownik: prof. Jan Sładkowski
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
Problemy ciągłe: optymalność, złożoność, podatność
Konkurs: OPUS 5 , panel: ST1
Kierownik: prof. Leszek Plaskota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 5 , panel: ST6
Kierownik: Tomasz Gogacz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 5 , panel: ST4
Kierownik: dr Piotr Wcisło
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Konkurs: PRELUDIUM 5 , panel: ST4
Kierownik: dr Małgorzata Wielgus
Politechnika Wrocławska, Wydział Chemiczny
Nierówności wariacyjne dla problemów punktów stałych operatorów quasi-nieoddalających
Konkurs: ETIUDA 1 , panel: ST1
Kierownik: Rafał Zalas
Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii
Nowe metody parametrycznej weryfikacji modelowej
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: Michał Knapik
Instytut Podstaw Informatyki PAN
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
Rzadkie i prawie-rzadkie reprezentacje w problemach spektroskopii NMR
Konkurs: SONATA BIS 2 , panel: ST4
Kierownik: dr hab. Krzysztof Kazimierczuk
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Konkurs: OPUS 4 , panel: ST4
Kierownik: dr hab. Mirosław Karbowiak
Uniwersytet Wrocławski, Wydział Chemii
Dokładne obliczenia kwantowochemiczne i dynamika ultrazimnych molekuł
Konkurs: OPUS 4 , panel: ST4
Kierownik: dr Dariusz Kędziera
Uniwersytet Mikołaja Kopernika, Wydział Chemii
Symulacje numeryczne dużych odkształceń plastycznych przy pomocy modeli plastycznego płynięcia
Konkurs: PRELUDIUM 4 , panel: ST1
Kierownik: Piotr Minakowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Nowe pojęcie skończoności w teorii obliczeń
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Teoretyczne modelowanie efektu rozpuszczalnika w cieczach jonowych: model jawnego rozpuszczalnika
Konkurs: OPUS 4 , panel: ST4
Kierownik: dr hab. Andrzej Eilmes
Uniwersytet Jagielloński, Wydział Chemii
Konkurs: PRELUDIUM 4 , panel: ST6
Kierownik: Łukasz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modularna semantyka operacyjna: podejście bialgebraiczne
Konkurs: SONATA BIS 2 , panel: ST6
Kierownik: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatyzacja wnioskowania konstruktywnego
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4 , panel: ST6
Kierownik: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Spolegliwość niejednorodnych zadań wielowymiarowych
Konkurs: PRELUDIUM 4 , panel: ST1
Kierownik: dr Paweł Siedlecki
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: PRELUDIUM 4 , panel: ST4
Kierownik: dr Anna Troć
Instytut Chemii Organicznej PAN
Obliczenia rozproszone w sieciach dynamicznych
Konkurs: HARMONIA 3 , panel: ST6
Kierownik: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Układy niegładkie w matematycznej teorii zagadnień kontaktowych mechaniki
Konkurs: MAESTRO 3 , panel: ST1
Kierownik: prof. Stanisław Migórski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: HARMONIA 3 , panel: ST1
Kierownik: dr hab. Maciej Paszyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Analiza modeli strukturalnych dynamiki populacyjnej w przestrzeniach metrycznych
Konkurs: PRELUDIUM 3 , panel: ST1
Kierownik: dr Agnieszka Ulikowska
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Symulacja teoretyczna parametrów NMR metali ciężkich jako narzędzie badań strukturalnych
Konkurs: OPUS 1 , panel: ST4
Kierownik: dr hab. Magdalena Pecul-Kudelska
Uniwersytet Warszawski, Wydział Chemii
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
Teoretyczne i praktyczne aspekty obliczania homologii wielkich zbiorów danych.
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Mateusz Juda
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Efektywne algorytmy równoległe rozwiązywania równań różniczkowych cząstkowych
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Maksymilian Dryja
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 3 , panel: ST4
Kierownik: prof. Maria Rospenk
Uniwersytet Wrocławski, Wydział Chemii
Efektywne ogólne metody liniowe dla równań różniczkowych zwyczajnych
Konkurs: PRELUDIUM 1 , panel: ST1
Kierownik: dr Michał Braś
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej
Konkurs: OPUS 3 , panel: ST5
Kierownik: dr hab. Joanna Cabaj
Politechnika Wrocławska, Wydział Chemiczny
Konkurs: SONATA 3 , panel: ST4
Kierownik: dr hab. Maciej Szaleniec
Instytut Katalizy i Fizykochemii Powierzchni im. Jerzego Habera PAN
Problemy odwrotne w nieliniowym zagadnieniu brzegowym
Konkurs: PRELUDIUM 3 , panel: ST1
Kierownik: dr Łukasz Płociniczak
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 3 , panel: ST6
Kierownik: Andrzej Stroiński
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
Konkurs: PRELUDIUM 3 , panel: ST4
Kierownik: dr Szymon Śmiga
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Analiza alkaloidów chinolinowych metodami spektroskopii oscylacyjnej
Konkurs: PRELUDIUM 3 , panel: ST4
Kierownik: Maciej Roman
Uniwersytet Jagielloński, Wydział Chemii
Badanie struktury stanów wzbudzonych związków chiralnych
Konkurs: OPUS 3 , panel: ST4
Kierownik: dr hab. Magdalena Pecul-Kudelska
Uniwersytet Warszawski, Wydział Chemii