Wyniki wyszukiwania

351. H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

Kierownik: Jan Kazimierz Derbisz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 20, panel: ST6

352. Reprezentacja kodu programów dla identyfikacji wadliwych fragmentów kodu bazująca na uczeniu maszynowym

Kierownik: dr hab. Mirosław Ochodek

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Konkurs: OPUS 21, panel: ST6

353. Obwody modularne - algorytmy i ograniczenia dolne

Kierownik: Piotr Kawałek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 20, panel: ST6

354. Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk…

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 21, panel: ST6

355. Obliczeniowe aspekty gier nieskończonych

Kierownik: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 21, panel: ST6

356. Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 21, panel: ST6

357. Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 20, panel: ST6

358. Wnioskowanie ilościowe odporne na perturbacje

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 20, panel: ST6

359. Charakteryzacja treści informacyjnej struktur grafowych

Kierownik: dr Krzysztof Szymon Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: SONATA 16, panel: ST6

360. Efektywne pamięciowo kodowanie problemów kombinatorycznych do kwantowych obliczeń wariacyjnych

Kierownik: dr Adam Piotr Glos

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: PRELUDIUM 19, panel: ST6

361. Jakość zapachowa ziół jako efekt korelacji pomiędzy składem związków lotnych a materią roślinną – określona na przykładz…

Kierownik: dr Jacek Jarosław Łyczko

Uniwersytet Przyrodniczy we Wrocławiu, Wydział Biotechnologii i Nauk o Żywności

Konkurs: PRELUDIUM 18, panel: NZ9

362. Modele obliczeń rozszerzone o dane

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 18, panel: ST6

363. Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne

Kierownik: dr Marek Piotr Adamczyk

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA 15, panel: ST6

364. Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Kierownik: prof. Stefan Michał Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 18, panel: ST6

365. Kolorowania, kliki i zbiory niezależne w klasach grafów

Kierownik: dr hab. Bartosz Maria Walczak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: SONATA BIS 9, panel: ST6

366. Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych

Kierownik: dr hab. Jarosław Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: OPUS 17, panel: ST6

367. Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

Kierownik: prof. Witold Charatonik

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 17, panel: ST6

368. Wyznaczanie szlaku metabolicznego wybranych terpenów w owocach cytrusowych z wykorzystaniem techniki PTR-TOF-MS

Kierownik: Martyna Anna Lubinska-Szczygeł

Politechnika Gdańska, Wydział Chemiczny

Konkurs: PRELUDIUM 16, panel: NZ9

369. Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 16, panel: ST6

370. Nowe rozwiązanie metodyczne do analizy w czasie rzeczywistym wtórnych produktów utleniania olejów jadalnych wykorzystywa…

Kierownik: Tomasz Majchrzak

Politechnika Gdańska, Wydział Chemiczny

Konkurs: PRELUDIUM 16, panel: NZ9

371. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze…

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Konkurs: OPUS 16, panel: ST6

372. Program optymalności w problemach homomorfizmu grafów

Kierownik: dr Paweł Rzążewski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Konkurs: SONATA 14, panel: ST6

373. Nieskończoność we wnioskowaniu o danych i wiedzy

Kierownik: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 8, panel: ST6

374. Czy nowe syntetyczne amfifilowe antyoksydanty są bezpieczne?

Kierownik: dr Dobrochna Rabiej-Kozioł

Uniwersytet Mikołaja Kopernika, Wydział Chemii

Konkurs: PRELUDIUM 15, panel: NZ9

375. Badania zależności między strukturą molekularną a aktywnością biologiczną związków pochodzenia naturalnego o potencjalny…

Kierownik: prof. Włodzimierz Wiktor Lewandowski

POLITECHNIKA BIAŁOSTOCKA, Wydział Budownictwa i Nauk o Środowisku

Konkurs: OPUS 15, panel: NZ9

376. Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 15, panel: ST6

377. Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Kierownik: Bartosz Paweł Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 15, panel: ST6

378. Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: ETIUDA 6, panel: ST6

379. Programowanie dynamiczne z gwarancjami

Kierownik: Karol Zbigniew Węgrzycki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: ETIUDA 6, panel: ST6

380. Efektywne obliczenia w predykatywnej matematyce

Kierownik: dr Michał Roman Przybyłek

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATINA 2, panel: ST6

381. Zastosowanie symulacji molekularnych adsorpcji do modelowania przebiegu quasi-równowagowej termodesorpcji węglowodorów z…

Kierownik: Andrzej Sławek

Uniwersytet Jagielloński, Wydział Chemii

Konkurs: ETIUDA 6, panel: ST5

382. Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Kierownik: dr Adam Teodor Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: ETIUDA 6, panel: ST6

383. Wydajne algorytmy i warunkowe ograniczenia dolne dla problemów na drzewach

Kierownik: Bartłomiej Dudek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 14, panel: ST6

384. Automatyczna analiza systemów współbieżnych

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 14, panel: ST6

385. Właściwości i reaktywność cząsteczek i kompleksów cząsteczkowych w warunkach częściowych ograniczeń przestrzennych

Kierownik: dr hab. Tatiana Danuta Korona

Uniwersytet Warszawski, Wydział Chemii

Konkurs: OPUS 14, panel: ST4

386. Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania

Kierownik: dr Jan Otop

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 14, panel: ST6

387. Wokół optymalności algorytmów opartych o programowanie dynamiczne

Kierownik: dr Adam Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 14, panel: ST6

388. Zrozumieć rekursję

Kierownik: dr Lorenzo Clemente

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 13, panel: ST6

389. Grafy dynamiczne; spójność, przepływy i kolorowanie.

Kierownik: dr Anna Zych-Pawlewicz

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA 13, panel: ST6

390. Wybrane zagadnienia kompresji gramatykowej

Kierownik: dr hab. Artur Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA BIS 7, panel: ST6

391. Wydajność, odporność i bezpieczeństwo systemów rozproszonych dla bardziej realistycznych modeli adwersarzy.

Kierownik: prof. Marek Dariusz Klonowski

Politechnika Wrocławska

Konkurs: OPUS 13, panel: ST6

392. Dyskretne problemy optymalizacyjne w warunkach niepewności - modele i algorytmy

Kierownik: prof. Paweł Zieliński

Politechnika Wrocławska

Konkurs: OPUS 13, panel: ST6

393. Klasyczne problemy w teorii automatów skończonych: nowe podejścia, warianty i zastosowania

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 13, panel: ST6

394. Projektowanie algorytmów rozproszonych dla silnie obciążonych sieci

Kierownik: prof. Tomasz Jurdziński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 13, panel: ST6

395. Spektralne odciski palca jako narzędzie badania jakości soków owocowych

Kierownik: prof. Ewa Maria Sikorska

Uniwersytet Ekonomiczny w Poznaniu, Instytut Nauk o Jakości

Konkurs: OPUS 12, panel: NZ9

396. Algebraic Effects and Continuations

Kierownik: dr Maciej Adam Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: POLONEZ 3, panel: ST6

397. Jeden krok od modelu relacyjnego. Kilka podstawowych zagadek baz danych.

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 12, panel: ST6

398. Dyfuzja białek w pobliżu modelowych błon biologicznych.

Kierownik: dr hab. Maciej Jan Długosz

Uniwersytet Warszawski, Wydział Fizyki

Konkurs: OPUS 12, panel: ST4

399. Język programowania dla hierarchicznych, wielordzeniowych, równoległych architektur z użyciem ManyDSL

Kierownik: Piotr Danilewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 12, panel: ST6

400. Entropia w sieciach złożonych

Kierownik: dr hab. Mikołaj Aleksander Morzy

Politechnika Poznańska, Wydział Informatyki i Telekomunikacji

Konkurs: OPUS 12, panel: ST6

Wyszukiwarka projektów