Wyniki wyszukiwania
Znaleziono 472 projekty spełniających kryteria wyszukiwania:
-
401. Algorytmy uczenia przyrostowego dla złożonych problemów predykcyjnych
Kierownik: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Konkurs: SONATA BIS 6, panel: ST6
-
402. Własności ilościowe dla schematów rekurencyjnych wyższego rzędu
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA BIS 6, panel: ST6
-
403. Obliczenia symboliczne na obiektach definiowalnych w logice pierwszego rzędu
Kierownik: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 11, panel: ST6
-
404. Algorytmiczna i aksjomatyczna analiza systemów punktowania komitetów
Kierownik: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Konkurs: OPUS 11, panel: ST6
-
405. Granice baz danych
Kierownik: dr Szymon Abram Toruńczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
406. Problem separacji w teorii automatów
Kierownik: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
Kierownik: Andrzej Sławek
Uniwersytet Jagielloński, Wydział Chemii
Konkurs: PRELUDIUM 11, panel: ST5
-
408. W poszukiwaniu nowych logik komputerowych
Kierownik: dr hab. Emanuel Grzegorz Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 11, panel: ST6
-
409. Ilościowe aspekty złożoności obliczeniowej w rachunku lambda
Kierownik: dr Maciej Maria Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 11, panel: ST6
-
410. Wydajne algorytmy dla słabych form niedeterminizmu
Kierownik: dr hab. Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
411. Topologia przestrzeni rozwiązań problemów kombinatorycznych
Kierownik: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 11, panel: ST6
-
412. Algorytmy aproksymacyjne w obliczu niepełnej informacji
Kierownik: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 11, panel: ST6
-
413. Algebraiczne niezmienniki dla Sieci Petriego z danymi.
Kierownik: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 11, panel: ST6
-
414. Problemy separacji grafów z perspektywy złożoności parametryzowanej.
Kierownik: Paweł Komosa
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 10, panel: ST6
-
415. Modelowanie oddziaływań w międzycząsteczkowych kompleksach chiralnych
Kierownik: dr hab. Tatiana Danuta Korona
Uniwersytet Warszawski, Wydział Chemii
Konkurs: OPUS 10, panel: ST4
-
Kierownik: dr Karol Pąk
Uniwersytet w Białymstoku, Instytut Informatyki
Konkurs: SONATA 10, panel: ST6
-
417. Algorithmic Structure Theory for Sparse Graphs
Kierownik: Dipl. Inform. Sebastian Siebertz
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: POLONEZ 1, panel: ST6
-
Kierownik: dr Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: SONATA BIS 5, panel: ST6
-
419. Zastosowania logiki z funcjami częściowymi
Kierownik: dr hab. Jean Marie de Nivelle
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 9, panel: ST6
-
420. Odporne i efektywne protokoły dla systemów rozproszonych ograniczonych urządzeń
Kierownik: dr hab. Marek Dariusz Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: OPUS 9, panel: ST6
-
421. Algorytmy globalnego dokowania białek oparte na gruboziarnistym modelu UNRES
Kierownik: dr Paweł Krupa
Uniwersytet Gdański, Wydział Chemii
Konkurs: PRELUDIUM 9, panel: ST4
-
422. Algorytmiczne aspekty synchronizacji
Kierownik: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 9, panel: ST6
-
423. Przeszukiwanie struktur grafowych
Kierownik: dr hab. Dariusz Piotr Dereniowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Konkurs: OPUS 9, panel: ST6
-
424. Entropowe relacje nieoznaczoności w zastosowaniu do kryptografii kwantowej
Kierownik: dr hab. Zbigniew Włodzimierz Puchała
Instytut Informatyki Teoretycznej i Stosowanej PAN
Konkurs: OPUS 9, panel: ST6
-
425. Strategie uczenia klasyfikatorów chemicznych opartych o procesy reakcja-dyfuzja.
Kierownik: prof. Jerzy Górecki
Instytut Chemii Fizycznej Polskiej Akademii Nauk
Konkurs: OPUS 8, panel: ST4
-
426. Ślepe podpisy i elektroniczne dokumenty tożsamości
Kierownik: Lucjan Piotr Hanzlik
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: PRELUDIUM 8, panel: ST6
-
427. Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny.
Kierownik: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: OPUS 8, panel: ST6
-
428. Automaty z wagami dla własności kwantytatywnych
Kierownik: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
429. Logiki do przetwarzania danych i weryfikacji
Kierownik: dr Jakub Dawid Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 8, panel: ST6
-
430. Niezmienniki numeryczne i strukturalne w algebrze, logice i problemach spełnialności więzów
Kierownik: prof. Paweł Maria Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: MAESTRO 6, panel: ST6
-
431. Nowe perspektywy w przewidywaniu efektów izotopowych w fazie skondensowanej
Kierownik: dr hab. Agnieszka Joanna Dybała-Defratyka
Politechnika Łódzka, Wydział Chemiczny
Konkurs: SONATA BIS 4, panel: ST4
-
432. Problemy komunikacyjne w bezprzewodowych sieciach sensorowych
Kierownik: Michał Andrzej Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 7, panel: ST6
-
433. Teoria algebraiczna dla CSP (złożoność obliczeniowa, aproksymacja i optymalizacja)
Kierownik: dr hab. Marcin Andrzej Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 7, panel: ST6
-
434. Kryptografia bez zaufanych stron
Kierownik: dr Tomasz Piotr Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 7, panel: ST6
-
435. Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
Kierownik: prof. Damian Tadeusz Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
436. Formalne podstawy kryptowalut
Kierownik: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
437. Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki
Kierownik: Michał Paweł Zając
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 7, panel: ST6
-
438. Języki i Uczenie w General Game Playing
Kierownik: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 7, panel: ST6
-
439. Algorytmika problemów o zwartej reprezentacji
Kierownik: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 7, panel: ST6
-
440. Elektropalatografia w nauczaniu wymowy i analizie fonologicznej
Kierownik: prof. Katarzyna Dziubalska-Kołaczyk
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Anglistyki
Konkurs: OPUS 6, panel: HS2
-
441. Przyrostowe uczenie się macierzy
Kierownik: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Konkurs: SONATA 6, panel: ST6
-
442. Wyzwania semistrukturalnych baz danych
Kierownik: dr Filip Marek Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: SONATA 6, panel: ST6
-
443. Kombinatoryczne i teorio-informacyjne aspekty komunikacji w systemach rozproszonych.
Kierownik: dr Marcin Kardas
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: PRELUDIUM 5, panel: ST6
-
444. Teoretyczne aspekty protokołów wyborczych
Kierownik: dr Filip Tomasz Zagórski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: SONATA 5, panel: ST6
-
445. Formalne podejście do praktycznych problemów ukrywaniu informacji
Kierownik: dr hab. Marek Dariusz Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Konkurs: OPUS 5, panel: ST6
-
446. Granice obliczalności dla zapytań rekurencyjnych
Kierownik: dr Filip Aleksander Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: PRELUDIUM 5, panel: ST6
-
447. Algorytmy odpornej optymalizacji dyskretnej
Kierownik: dr hab. Adam Andrzej Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Konkurs: OPUS 5, panel: ST6
-
Kierownik: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski
Konkurs: OPUS 5, panel: ST6
-
449. Synchronizacja automatów i hipoteza Cerny'ego
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 5, panel: ST6
-
450. Hipoteza BDD/FC i okolice
Kierownik: Tomasz Mirosław Gogacz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 5, panel: ST6