17 projects found matching your search criteria :
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
A new notion of finiteness in computation theory
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Types of quantum correlations. New applications of quantum mechanics in computation techniques
Call: PRELUDIUM 2 , Panel: ST2
Principal investigator: Łukasz Skowronek
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Imaging and computation in scattering media with multi-pixel single photon detectors.
Call: PRELUDIUM 22 , Panel: ST7
Principal investigator: Adrian Makowski
Uniwersytet Warszawski, Wydział Fizyki
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
CARAMEL: CaptuRing polARitonic quantuM corrELations
Call: SONATINA 5 , Panel: ST2
Principal investigator: dr Juan Camilo López Carreño
Uniwersytet Warszawski, Wydział Fizyki
Linguistic workshop for speech analysis and recognition
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Bartosz Ziółko
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Data-enriched models of computation
Call: OPUS 18 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Abstract Machines for Programming Languages: Investigations in Formal Interderivations
Call: OPUS 17 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Investigation of the hybrid structures hosting Majorana Bound States.
Call: PRELUDIUM 16 , Panel: ST3
Principal investigator: dr Aksel Kobiałka
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
Call: SONATA BIS 8 , Panel: ST3
Principal investigator: dr Bartłomiej Cichy
Instytut Niskich Temperatur i Badań Strukturalnych im. Włodzimierza Trzebiatowskiego Polskiej Akademii Nauk
Long-range quantum bus for electron spin qubits in silicon
Call: UNISONO , Panel: ST3
Principal investigator: dr hab. Łukasz Cywiński
Instytut Fizyki Polskiej Akademii Nauk
Call: SONATA 12 , Panel: ST2
Principal investigator: dr Piotr Ćwikliński
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Classical and quantum computation of strongly correlated systems
Call: OPUS 12 , Panel: ST3
Principal investigator: prof. Jacek Dziarmaga
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Symbolic computations on first-order definable objects
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Quantum higher-dimensional system: from simpler description to more advanced experiments
Call: OPUS 10 , Panel: ST2
Principal investigator: dr hab. Marcin Wieśniak
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Optimality, universality and controllability in quantum computation theory
Call: SONATA BIS 5 , Panel: ST1
Principal investigator: dr Adam Sawicki
Centrum Fizyki Teoretycznej PAN