Wyniki wyszukiwania
Znaleziono 472 projekty spełniających kryteria wyszukiwania:
-
301. Starożytny teatr i dramat w świetle pism scholiastów
Kierownik: dr Katarzyna Anna Chiżyńska
Uniwersytet Łódzki, Wydział Filologiczny
Konkurs: OPUS 4, panel: HS2
-
Kierownik: prof. Andrzej Roman Teodorczyk
Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa; Instytut Techniki Cieplnej
Konkurs: OPUS 4, panel: ST8
-
303. Propagacja fal sprężystych w strukturach periodycznych
Kierownik: prof. Marek Krawczuk
Politechnika Gdańska, Wydział Elektrotechniki i Automatyki
Konkurs: OPUS 4, panel: ST8
-
Kierownik: dr hab. Maciej Paszyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: HARMONIA 3, panel: ST1
-
Kierownik: prof. Hanna Pawłowska
Uniwersytet Warszawski, Wydział Fizyki
Konkurs: HARMONIA 3, panel: ST10
-
306. Modelowanie efektów turbulencji drobnoskalowej w dyspersyjnych przepływach dwufazowych
Kierownik: dr hab. Jacek Pozorski
Instytut Maszyn Przepływowych im. Roberta Szewalskiego PAN
Konkurs: OPUS 2, panel: ST8
-
307. Wielojęzyczny słownik konserwacji. Część 1. Malarstwo sztalugowe, Część 2. Malarstwo ścienne
Kierownik: dr hab. Monika Bogdanowska
Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Architektury
Konkurs: OPUS 2, panel: HS2
-
Kierownik: dr Arkadiusz Cezary Lewandowski
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Konkurs: SONATA 2, panel: ST7
-
309. Dyskretyzacje układów dynamicznych zachowujące całki ruchu
Kierownik: prof. Jan Leszek Cieśliński
Uniwersytet w Białymstoku, Wydział Fizyki
Konkurs: OPUS 1, panel: ST1
-
Kierownik: Magdalena Zielińska
Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Nauk Technicznych
Konkurs: PRELUDIUM 1, panel: ST8
-
311. Symulacja DNS, modelowanie i badania eksperymentalne zjawiska przejścia laminarno-turbulentnego
Kierownik: dr Sławomir Kubacki
Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa
Konkurs: OPUS 1, panel: ST8
-
312. Poprawa hybrydowej optymalizacji klasyczno-kwantowej za pomocą technik uczenia maszynowego
Kierownik: Justyna Jolanta Zawalska
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Konkurs: PRELUDIUM 24, panel: ST6
-
313. Nowe problemy i algorytmy dla eksploracji modeli programowania matematycznego (MathProM)
Kierownik: dr hab. Tomasz Paweł Pawlak
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Konkurs: SONATA BIS 13, panel: ST6
-
314. Efekty algebraiczne: kompozycja i koindukcja
Kierownik: dr Maciej Adam Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 14, panel: ST6
-
315. Regularyzacja rzadka w Relaksometrii NMR
Kierownik: Mateusz Urbańczyk
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Konkurs: PRELUDIUM 7, panel: ST4
-
316. Konstruowanie specyfikacji i weryfikacja oprogramowania
Kierownik: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 6, panel: ST6
-
317. Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych
Kierownik: Bartosz Michał Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 4, panel: ST6
-
318. Modele, języki i systemy do prowadzenia niezawodnych i łatwo skalowalnych obliczeń rozproszonych
Kierownik: dr Jacek Andrzej Sroka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 4, panel: ST6
-
319. Automatyzacja wnioskowania konstruktywnego
Kierownik: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 4, panel: ST6
-
Kierownik: prof. Ewa Joanna Bulska
Uniwersytet Warszawski, Wydział Chemii
Konkurs: OPUS 3, panel: ST4
-
321. Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych
Kierownik: dr hab. Barbara Morawska
Uniwersytet Opolski
Konkurs: OPUS 29, panel: ST6
-
322. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Konkurs: OPUS 29, panel: ST6
-
Kierownik: Arkadiusz Bogumił Leniak
Instytut Farmakologii PAN
Konkurs: PRELUDIUM 24, panel: NZ7
-
324. Weryfikacja formalna w modelach obliczeń rozszerzonych o dane
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski
Konkurs: OPUS 28, panel: ST6
-
325. Na granicy niemożliwego w klasycznej teorii automatów
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski
Konkurs: OPUS 28, panel: ST6
-
Kierownik: dr Mateusz Sitko
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Konkurs: SONATA 20, panel: ST8
-
327. Analiza ilościowych modeli obliczeniowych
Kierownik: dr hab. Lorenzo Clemente
Uniwersytet Warszawski
Konkurs: SONATA BIS 14, panel: ST6
-
Kierownik: Michał Łukasz Pawłowski
IDEAS NCBR Sp. z o.o.
Konkurs: PRELUDIUM 23, panel: ST6
-
Kierownik: Marika Mróz
Politechnika Gdańska
Konkurs: PRELUDIUM 23, panel: NZ9
-
330. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Kierownik: Bartosz Jan Bednarczyk
Uniwersytet Wrocławski
Konkurs: PRELUDIUM 23, panel: ST6
-
Kierownik: prof. Patrycja Elżbieta Ciosek-Skibińska
Politechnika Warszawska
Konkurs: OPUS 27, panel: NZ9
-
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski
Konkurs: OPUS 27, panel: ST6
-
333. Synteza poprzez aktywne uczenie się: teoria i zastosowania
Kierownik: dr hab. Jan Otop
Uniwersytet Wrocławski
Konkurs: OPUS 27, panel: ST6
-
334. Przetwarzanie olbrzymich danych tekstowych i ich uogólnień: algorytmy i warunkowe ograniczenia dolne
Kierownik: dr Paweł Maciej Gawrychowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 26, panel: ST6
-
335. Nowoczesne narzędzia analizy sieci złożonych
Kierownik: dr Małgorzata Sulkowska
Politechnika Wrocławska
Konkurs: OPUS 25, panel: ST6
-
336. Struktura produktowa grafów
Kierownik: dr hab. Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: WEAVE-UNISONO, panel: ST6
-
337. Optymalne i probabilistyczne uczenie operacji kwantowych
Kierownik: dr hab. Zbigniew Włodzimierz Puchała
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: OPUS 24, panel: ST6
-
338. Automation of the Problem of Unification in Description Logics
Kierownik: dr hab. Barbara Joanna Morawska
Uniwersytet Opolski, Instytut Informatyki
Konkurs: POLONEZ BIS 3, panel: ST6
-
339. Wymiar i Boolowski wymiar częściowych porządków
Kierownik: dr hab. Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 24, panel: ST6
-
340. Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje
Kierownik: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 18, panel: ST6
-
341. Modele obliczeniowe w formalnej weryfikacji
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 12, panel: ST6
-
342. Skończenie stanowe obliczenia wielomianowe
Kierownik: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: MAESTRO 14, panel: ST6
-
343. Algebra liniowa w wymiarze skończenie-orbitowym
Kierownik: Arka Ghosh
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 21, panel: ST6
-
344. Problemy spełnialności i równoważności dla skończonych algebr
Kierownik: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
Konkurs: OPUS 23, panel: ST6
-
345. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach
Kierownik: Marta Piecyk
Politechnika Warszawska
Konkurs: PRELUDIUM 21, panel: ST6
-
346. Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.
Kierownik: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 23, panel: ST6
-
347. Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej
Kierownik: dr Tomáš Masařík
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 17, panel: ST6
-
348. Problemy Spełnialności Więzów: poza przypadek skończony
Kierownik: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: WEAVE-UNISONO, panel: ST6
-
349. Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami
Kierownik: Karolina Okrasa
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Konkurs: PRELUDIUM 20, panel: ST6
-
350. Granice automatycznej analizy systemów współbieżnych
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 21, panel: ST6