Znaleziono 150 projektów spełniających kryteria wyszukiwania:
Konkurs: OPUS 25 , panel: NZ7
Kierownik: dr Krzysztof Noworyta
Instytut Chemii Fizycznej Polskiej Akademii Nauk
Konkurs: OPUS 24 , panel: NZ7
Kierownik: prof. Jan Dobrowolski
Narodowy Instytut Leków
Optymalne i probabilistyczne uczenie operacji kwantowych
Konkurs: OPUS 24 , panel: ST6
Kierownik: dr hab. Zbigniew Puchała
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Perowskitowo-ciekłokrystaliczne mikrownęki optyczne dla zastosowań fotonicznych
Konkurs: OPUS 24 , panel: ST3
Kierownik: dr hab. Barbara Piętka
Uniwersytet Warszawski, Wydział Fizyki
Automation of the Problem of Unification in Description Logics
Konkurs: POLONEZ BIS 3 , panel: ST6
Kierownik: dr hab. Barbara Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Konkurs: SONATA 18 , panel: ST4
Kierownik: dr Paulina Bartos
Uniwersytet Łódzki, Wydział Chemii
Mitigacja błędów komputerów kwantowych
Konkurs: SONATA 18 , panel: ST2
Kierownik: dr Piotr Czarnik
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Wymiar i Boolowski wymiar częściowych porządków
Konkurs: OPUS 24 , panel: ST6
Kierownik: dr hab. Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje
Konkurs: SONATA 18 , panel: ST6
Kierownik: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modele obliczeniowe w formalnej weryfikacji
Konkurs: SONATA BIS 12 , panel: ST6
Kierownik: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Skończenie stanowe obliczenia wielomianowe
Konkurs: MAESTRO 14 , panel: ST6
Kierownik: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algebra liniowa w wymiarze skończenie-orbitowym
Konkurs: PRELUDIUM 21 , panel: ST6
Kierownik: Arka Ghosh
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Precyzyjne obliczenia kwantowo-chemiczne dla lekkich układów atomowych i molekularnych
Konkurs: OPUS 1 , panel: ST4
Kierownik: dr Mariusz Puchalski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii
Problemy spełnialności i równoważności dla skończonych algebr
Konkurs: OPUS 23 , panel: ST6
Kierownik: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
Problem homomorfizmu grafów w strukturalnie ograniczonych klasach
Konkurs: PRELUDIUM 21 , panel: ST6
Kierownik: Marta Piecyk
Politechnika Warszawska
Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.
Konkurs: OPUS 23 , panel: ST6
Kierownik: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej
Konkurs: SONATA 17 , panel: ST6
Kierownik: dr Tomáš Masařík
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Rozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanych
Konkurs: OPUS 2 , panel: ST6
Kierownik: prof. Jarosław Grytczuk
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Badanie zderzeń ciężkich jonów przy najwyższych energiach akceleratorowych
Konkurs: OPUS 2 , panel: ST2
Kierownik: prof. Barbara Wosiek
Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego PAN
Zaprzężenie otoczenia dla topologicznych obliczeń kwantowych
Konkurs: OPUS 21 , panel: ST3
Kierownik: dr Mircea Trif
Instytut Fizyki Polskiej Akademii Nauk
Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami
Konkurs: PRELUDIUM 20 , panel: ST6
Kierownik: Karolina Okrasa
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Granice automatycznej analizy systemów współbieżnych
Konkurs: OPUS 21 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne
Konkurs: PRELUDIUM 20 , panel: ST6
Kierownik: Jan Derbisz
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Obwody modularne - algorytmy i ograniczenia dolne
Konkurs: PRELUDIUM 20 , panel: ST6
Kierownik: Piotr Kawałek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Nieadiabatyczna poprawka relatywistyczna w cząsteczkach dwuelektronowych
Konkurs: OPUS 21 , panel: ST4
Kierownik: prof. Jacek Komasa
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii
Obliczeniowe aspekty gier nieskończonych
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań
Konkurs: OPUS 21 , panel: ST6
Kierownik: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Przechwytywanie korelacji kwantowych z polarytonów
Konkurs: SONATINA 5 , panel: ST2
Kierownik: dr Juan Camilo López Carreño
Uniwersytet Warszawski, Wydział Fizyki
Konkurs: OPUS 20 , panel: ST4
Kierownik: dr hab. Adam Kubas
Instytut Chemii Fizycznej Polskiej Akademii Nauk
Efektywne wykorzystanie randomizacji: od szeregowania do AdWords
Konkurs: OPUS 20 , panel: ST6
Kierownik: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Konkurs: SONATA 16 , panel: ST4
Kierownik: dr Wojciech Skomorowski
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Wnioskowanie ilościowe odporne na perturbacje
Konkurs: OPUS 20 , panel: ST6
Kierownik: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Procedury decyzyjne w weryfikacji
Konkurs: OPUS 2 , panel: ST6
Kierownik: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Rozgrywany podział grafów: strategie i algorytmy
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: dr Bartosz Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Charakteryzacja treści informacyjnej struktur grafowych
Konkurs: SONATA 16 , panel: ST6
Kierownik: dr Krzysztof Turowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Symulacje układów fizycznych za pomocą technologii wyżarzania niedalekiej przyszłości
Konkurs: SONATA BIS 10 , panel: ST3
Kierownik: dr Bartłomiej Gardas
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Efektywne pamięciowo kodowanie problemów kombinatorycznych do kwantowych obliczeń wariacyjnych
Konkurs: PRELUDIUM 19 , panel: ST6
Kierownik: Adam Glos
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
Rozpoznawanie wzorców za pomocą sieci polarytonów ekscytonowych
Konkurs: OPUS 19 , panel: ST3
Kierownik: dr hab. Barbara Piętka
Uniwersytet Warszawski, Wydział Fizyki
Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów
Konkurs: OPUS 19 , panel: ST6
Kierownik: dr Michał Wrona
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Efektywne zestawy bramek kwantowych i płytkie obwody kwantowe
Konkurs: OPUS 19 , panel: ST2
Kierownik: dr hab. Adam Sawicki
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Konkurs: OPUS 19 , panel: ST4
Kierownik: dr Przemysław Dopieralski
Uniwersytet Wrocławski, Wydział Chemii
Konkurs: ETIUDA 8 , panel: ST2
Kierownik: Michał Siłkowski
Uniwersytet Warszawski, Wydział Fizyki
Nierównowagowa dynamika układów kwantowych w pobliżu punktów krytycznych
Konkurs: ETIUDA 8 , panel: ST3
Kierownik: Michał Białończyk
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Wokół logik modalnych - rozstrzygalność i złożoność
Konkurs: PRELUDIUM 2 , panel: ST6
Kierownik: Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Podstawienie fluorem – nowy algorytm zwiększania aktywności biologicznej
Konkurs: PRELUDIUM 18 , panel: NZ7
Kierownik: Wojciech Pietruś
Instytut Farmakologii im. Jerzego Maja Polskiej Akademii Nauk
Modele obliczeń rozszerzone o dane
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Obliczenia neuromorficzne przy użyciu kwantowych płynów światła
Konkurs: PRELUDIUM 18 , panel: ST3
Kierownik: Andrzej Opala
Instytut Fizyki Polskiej Akademii Nauk
Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne
Konkurs: SONATA 15 , panel: ST6
Kierownik: dr Marek Adamczyk
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Portfele blockchainowe -- kryptograficzna teoria i zastosowania
Konkurs: OPUS 18 , panel: ST6
Kierownik: prof. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki