Znaleziono 282 projektów spełniających kryteria wyszukiwania:
Konkurs: SONATA 9 , panel: ST4
Kierownik: dr Adam Kubas
Instytut Chemii Fizycznej PAN
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
Konkurs: OPUS 9 , panel: ST3
Kierownik: dr hab. Jakub Cieślak
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
Projektowanie nowych dodatków formującym SEI - od modelów kwantowych do układów rzeczywistych.
Konkurs: PRELUDIUM 9 , panel: ST4
Kierownik: Piotr Jankowski
Politechnika Warszawska, Wydział Chemiczny
Konkurs: PRELUDIUM 1 , panel: ST4
Kierownik: Monika Obrzud
Uniwersytet Wrocławski, Wydział Chemii
Strategie uczenia klasyfikatorów chemicznych opartych o procesy reakcja-dyfuzja.
Konkurs: OPUS 8 , panel: ST4
Kierownik: prof. Jerzy Górecki
Instytut Chemii Fizycznej PAN
Obliczenia wysokiej precyzji poziomów energii w układach berylopodobnych
Konkurs: OPUS 8 , panel: ST4
Kierownik: dr Mariusz Puchalski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii
Ślepe podpisy i elektroniczne dokumenty tożsamości
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Lucjan Hanzlik
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
COGRIMEN - metoda modelowania gruboziarnistego dużych układów biologicznych w ośrodkach ciągłych
Konkurs: OPUS 8 , panel: ST4
Kierownik: prof. Sławomir Filipek
Uniwersytet Warszawski, Wydział Chemii
Konkurs: OPUS 8 , panel: ST4
Kierownik: prof. Bogumił Jeziorski
Uniwersytet Warszawski, Wydział Chemii
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
Wybrane metody weryfikacji modelowej wykorzystujące testery SMT
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Agnieszka Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Automaty z wagami dla własności kwantytatywnych
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Metody wnioskowania o programach w językach wyższego rzędu
Konkurs: OPUS 8 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Modelowanie kształtów linii widmowych słabo oddziałujących kompleksów o znaczeniu atmosferycznym
Konkurs: OPUS 8 , panel: ST4
Kierownik: dr Hubert Cybulski
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Logiki do przetwarzania danych i weryfikacji
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Efekty relatywistyczne w teoretycznych badaniach parametrów widm NMR
Konkurs: OPUS 8 , panel: ST4
Kierownik: dr hab. Magdalena Pecul-Kudelska
Uniwersytet Warszawski, Wydział Chemii
Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Konkurs: MAESTRO 6 , panel: ST6
Kierownik: prof. Paweł Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: HARMONIA 6 , panel: ST4
Kierownik: dr hab. Julien Guthmuller
Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej
Obliczeniowa dynamika topologiczna
Konkurs: MAESTRO 6 , panel: ST1
Kierownik: prof. Marian Mrozek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Nowe perspektywy w przewidywaniu efektów izotopowych w fazie skondensowanej
Konkurs: SONATA BIS 4 , panel: ST4
Kierownik: dr hab. Agnieszka Dybała-Defratyka
Politechnika Łódzka, Wydział Chemiczny
Teorioinformacyjne wnioskowanie abdukcyjne dla rekomendacji kontekstowej
Konkurs: SONATA 1 , panel: ST6
Kierownik: dr Andrzej Szwabe
Politechnika Poznańska, Wydział Elektryczny
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
Kryptografia bez zaufanych stron
Konkurs: SONATA 7 , panel: ST6
Kierownik: dr Tomasz Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Analiza modeli termo-lepko-elastycznych
Konkurs: PRELUDIUM 7 , panel: ST1
Kierownik: dr Filip Klawe
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Damian Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7 , panel: ST6
Kierownik: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Regularyzacja rzadka w Relaksometrii NMR
Konkurs: PRELUDIUM 7 , panel: ST4
Kierownik: Mateusz Urbańczyk
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Konkurs: OPUS 7 , panel: ST4
Kierownik: prof. Jacek Komasa
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii
Uogólnienie entropii i wymiaru entropijnego oraz ich zastosowania
Konkurs: OPUS 1 , panel: ST6
Kierownik: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki
Konkurs: PRELUDIUM 7 , panel: ST6
Kierownik: Michał Zając
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
Osobliwości i szum, a złożoność informacyjna
Konkurs: PRELUDIUM 7 , panel: ST1
Kierownik: Paweł Morkisz
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej
Algorytmika problemów o zwartej reprezentacji
Konkurs: OPUS 7 , panel: ST6
Kierownik: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Poszukiwanie orientujących efektów oddziaływań hydrodynamicznych w kinetyce asocjacji biomolekuł
Konkurs: OPUS 7 , panel: ST4
Kierownik: prof. Jan Antosiewicz
Uniwersytet Warszawski, Wydział Fizyki
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
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
Konstruowanie specyfikacji i weryfikacja oprogramowania
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Przyrostowe uczenie się macierzy
Konkurs: SONATA 6 , panel: ST6
Kierownik: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Odwzorowania ekstremalne w klasie obszarów Reinhardta
Konkurs: PRELUDIUM 1 , panel: ST1
Kierownik: Przemysław Kliś
UNIWERSYTET JAGIELLOŃSKI
Wyzwania semistrukturalnych baz danych
Konkurs: SONATA 6 , panel: ST6
Kierownik: dr Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Efekty hydratacyjne w kinazach białkowych
Konkurs: SONATA 6 , panel: ST4
Kierownik: dr Piotr Setny
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Asymptotyczne metody w rachunku lambda i logice kombinatorycznej
Konkurs: OPUS 6 , panel: ST6
Kierownik: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 6 , panel: NZ1
Kierownik: prof. Janusz Stangret
Politechnika Gdańska, Wydział Chemiczny
Konkurs: HARMONIA 5 , panel: ST4
Kierownik: prof. Józef Liwo
Uniwersytet Gdański, Wydział Chemii
Konkurs: SONATA BIS 3 , panel: ST4
Kierownik: dr hab. Monika Stanke
Uniwersytet Mikołaja Kopernika, Wydział Fizyki, Astronomii i Informatyki Stosowanej
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
Teoretyczne aspekty protokołów wyborczych
Konkurs: SONATA 5 , panel: ST6
Kierownik: dr Filip Zagórski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki