Znaleziono 1195 projektów spełniających kryteria wyszukiwania:
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Karol Lisowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: OPUS 8 , panel: ST7
Kierownik: dr hab. Marcin Kostur
Fundacja Rozwoju Kardiochirurgii im. prof. Z Religi
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 Małgorzata Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Konkurs: OPUS 8 , panel: ST8
Kierownik: dr hab. Łukasz Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Automaty z wagami dla własności kwantytatywnych
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Zastosowanie rekurencyjnych i głębokich sieci neuronowych do modelowania akustycznego sygnału mowy
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jan Kazimierz Chorowski
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
Hybrydowa metoda modelowania i optymalizacji procesów polimeryzacji
Konkurs: OPUS 8 , panel: ST5
Kierownik: prof. Ryszard Andrzej Szymański
Centrum Badań Molekularnych i Makromolekularnych PAN
Skalowalne metaheurystyki dla automatycznej syntezy programów
Konkurs: OPUS 8 , panel: ST6
Kierownik: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Identyfikacja i całościowa klasyfikacja nukleaz, w tym nukleaz ludzkich
Konkurs: OPUS 8 , panel: NZ1
Kierownik: dr hab. Krzysztof Flawiusz Ginalski
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Heurystyczne Algorytmy Odkrywania Ukrytych Kryteriów dla Problemów Opartych na Testach.
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Paweł Marcin Liskowski
Politechnika Poznańska, Wydział Informatyki
Konkurs: OPUS 8 , panel: ST7
Kierownik: dr Artur Klepaczko
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Semantyczne sieci tensorowe do analizy wielkich zbiorów danych
Konkurs: OPUS 8 , panel: ST6
Kierownik: dr hab. Piotr Gawron
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: OPUS 8 , panel: ST6
Kierownik: dr hab. Bogusław Cyganek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: OPUS 8 , panel: ST7
Kierownik: prof. Konstanty Ryszard Skalski
Instytut Mechaniki Precyzyjnej
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Roman Grundkiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: OPUS 8 , panel: ST6
Kierownik: dr hab. Agnieszka Mykowiecka
Instytut Podstaw Informatyki PAN
Konkurs: OPUS 8 , panel: ST6
Kierownik: prof. Józef Pieprzyk
Instytut Podstaw Informatyki PAN
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Wojciech Mariusz Wodo
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Logiki do przetwarzania danych i weryfikacji
Konkurs: SONATA 8 , panel: ST6
Kierownik: dr Jakub Dawid 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
Konkurs: PRELUDIUM 8 , panel: ST6
Kierownik: Agnieszka Anna Stankiewicz
Politechnika Poznańska, Wydział Informatyki
Budowa detektora wierzchołka oraz pomiar mezonów z otwartym powabem w eksperymencie NA61/SHINE.
Konkurs: OPUS 8 , panel: ST2
Kierownik: dr hab. Paweł Piotr Staszel
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Konkurs: PRELUDIUM 8 , panel: ST7
Kierownik: Marcin Marek Adamczyk
Politechnika Warszawska, Wydział Mechatroniki
Konkurs: PRELUDIUM 8 , panel: ST2
Kierownik: Maciej Konieczka
Uniwersytet Warszawski, Wydział Fizyki
Heterogeniczne obliczenia równoległe i rozproszone w Javie
Konkurs: CHIST ERA , panel: ST6
Kierownik: dr hab. Piotr Bała
Uniwersytet Warszawski
Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Konkurs: MAESTRO 6 , panel: ST6
Kierownik: prof. Paweł Maria Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 4 , panel: ST8
Kierownik: dr hab. Łukasz Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Konkurs: HARMONIA 6 , panel: ST4
Kierownik: dr hab. Julien Guthmuller
Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej
Nowe wydajne metody giętkiego dokowania molekularnego białek.
Konkurs: MAESTRO 6 , panel: ST6
Kierownik: prof. Andrzej Koliński
Uniwersytet Warszawski, Wydział Chemii
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 Joanna Dybała-Defratyka
Politechnika Łódzka, Wydział Chemiczny
Procesy dyfuzji normalnej i anomalnej uwzględniające fluktuacje parametrów
Konkurs: SONATA 7 , panel: ST2
Kierownik: dr Katarzyna Dorota Lewandowska
Gdański Uniwersytet Medyczny, Wydział Nauk o Zdrowiu z Oddziałem Pielęgniarstwa i Instytutem Medycyny Morskiej i Tropikalnej
Algorytmy eksploracji strumieni danych z wykorzystaniem technik hybrydowych
Konkurs: PRELUDIUM 7 , panel: ST6
Kierownik: dr Maciej Tadeusz Jaworski
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Konkurs: PRELUDIUM 7 , panel: ST6
Kierownik: Szymon Andrzej Bobek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Konkurs: OPUS 7 , panel: NZ2
Kierownik: dr Michał Okoniewski
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Problemy komunikacyjne w bezprzewodowych sieciach sensorowych
Konkurs: PRELUDIUM 7 , panel: ST6
Kierownik: Michał Andrzej 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 Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA 7 , panel: NZ7
Kierownik: dr Wiktoria Struck-Lewicka
Gdański Uniwersytet Medyczny, Wydział Farmaceutyczny
Kryptografia bez zaufanych stron
Konkurs: SONATA 7 , panel: ST6
Kierownik: dr Tomasz Piotr Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 7 , panel: ST6
Kierownik: dr Agnieszka Ławrynowicz
Politechnika Poznańska, Wydział Informatyki
Efektywne algorytmy dla grafów planarnych
Konkurs: OPUS 7 , panel: ST6
Kierownik: dr hab. Piotr Sankowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Analiza modeli termo-lepko-elastycznych
Konkurs: PRELUDIUM 7 , panel: ST1
Kierownik: dr Filip Zdzisław 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 Tadeusz Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7 , panel: ST8
Kierownik: prof. Maciej Pietrzyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Konkurs: OPUS 7 , panel: ST6
Kierownik: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Paradygmat minimalizacji pamięci w klastrowaniu
Konkurs: OPUS 7 , panel: ST6
Kierownik: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Regularyzacja rzadka w Relaksometrii NMR
Konkurs: PRELUDIUM 7 , panel: ST4
Kierownik: Mateusz Urbańczyk
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego