397 projects found matching your search criteria :
Automation of the Problem of Unification in Description Logics
Call: POLONEZ BIS 3 , Panel: ST6
Principal investigator: dr hab. Barbara Morawska
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Dimension and Boolean dimension of partial orders
Call: OPUS 24 , Panel: ST6
Principal investigator: dr hab. Piotr Micek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 24 , Panel: ST7
Principal investigator: prof. Marian Kampik
Politechnika Śląska, Wydział Elektryczny
From a broken integrability to thermalization in quantum many-body systems
Call: OPUS 24 , Panel: ST2
Principal investigator: dr hab. Miłosz Panfil
Uniwersytet Warszawski, Wydział Fizyki
Structure and algorithms for graph classes defined by transduction-closed properties
Call: SONATA 18 , Panel: ST6
Principal investigator: dr Jakub Gajarský
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Counting models in formal verification
Call: SONATA BIS 12 , Panel: ST6
Principal investigator: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
'Tailor-made" perovskite quantum dots as an element of new functional nanomaterials
Call: SONATA BIS 12 , Panel: ST5
Principal investigator: dr hab. Katarzyna Matras-Postołek
Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Inżynierii i Technologii Chemicznej
Polynomial finite state computation
Call: MAESTRO 14 , Panel: ST6
Principal investigator: prof. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Single photon light-emitting diodes based on III-nitrides for quantumtechnologies
Call: OPUS 23 , Panel: ST7
Principal investigator: prof. Czesław Skierbiszewski
Instytut Wysokich Ciśnień Polskiej Akademii Nauk
Call: POLONEZ BIS 2 , Panel: ST3
Principal investigator: prof. Viktor Pergamenshchyk
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Call: PRELUDIUM 21 , Panel: ST2
Principal investigator: Maciej Kruk
Instytut Fizyki Polskiej Akademii Nauk
Linear algebra in orbit-finite dimension
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Arka Ghosh
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Texture analysis and recognition for computer-aided diagnostics of skin lesions digital images
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Leszek Nowak
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Critical phenomena and transport in correlated hybrid nanostructures
Call: OPUS 23 , Panel: ST3
Principal investigator: prof. Ireneusz Weymann
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki
Satsifiability and equivalence problems for finite algebras
Call: OPUS 23 , Panel: ST6
Principal investigator: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
The graph homomorphism problem in structurally restricted classes
Call: PRELUDIUM 21 , Panel: ST6
Principal investigator: Marta Piecyk
Politechnika Warszawska
Representation of dynamic 3D scenes using the Atomic Shapes Network model
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Przemysław Głomb
INSTYTUT INFORMATYKI TEORETYCZNEJ I STOSOWANEJ PAN
First Order Logic and Beyond. Some Puzzles in Database Theory.
Call: OPUS 23 , Panel: ST6
Principal investigator: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algorithmic estimation of eye movements changes in relation to development of Parkinson's disease
Call: OPUS 2 , Panel: ST6
Principal investigator: dr hab. Andrzej Przybyszewski
Polsko-Japońska Akademia Technik Komputerowych
Quantum effects in many-body light-matter non-equilibrium systems
Call: POLONEZ BIS 1 , Panel: ST2
Principal investigator: dr Tomasz Wasak
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Photonic platform for investigations and functionalization of novel quantum emitters
Call: SONATA 17 , Panel: ST7
Principal investigator: dr Tomasz Jakubczyk
Uniwersytet Warszawski, Wydział Fizyki
Fair Problems and Diverse Solutions in Parameterized Complexity
Call: SONATA 17 , Panel: ST6
Principal investigator: dr Tomáš Masařík
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Anisotropic scale invariance from exact solutions and non-perturbative renormalization group
Call: OPUS 22 , Panel: ST3
Principal investigator: dr hab. Paweł Jakubczyk
Uniwersytet Warszawski, Wydział Fizyki
Nonergodic dynamics in disorder-free systems
Call: OPUS 22 (LAP) , Panel: ST3
Principal investigator: prof. Jakub Zakrzewski
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: OPUS 22 , Panel: ST3
Principal investigator: dr hab. Marcin Motyka
Politechnika Wrocławska
Call: OPUS 22 , Panel: ST7
Principal investigator: dr hab. Piotr Martyniuk
Wojskowa Akademia Techniczna im. Jarosława Dąbrowskiego, Wydział Nowych Technologii i Chemii
Correlation aspects of interacting quantum systems in reduced dimensionality
Call: POLONEZ BIS 1 , Panel: ST2
Principal investigator: dr Felipe Taha Sant'Ana
Instytut Fizyki Polskiej Akademii Nauk
Dissipative Quantum Chaos Perspective on Near-Term Quantum Computing
Call: Quant-ERA II Call 2021 , Panel: ST2
Principal investigator: prof. Karol Życzkowski
Uniwersytet Jagielloński
VERIfication of quantum Technologies, Applications and Systems
Call: Quant-ERA II Call 2021 , Panel: ST2
Principal investigator: dr hab. Remigiusz Augusiak
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
Call: SONATA BIS 11 , Panel: ST7
Principal investigator: dr Dorota Pierścińska
Sieć Badawcza ŁUKASIEWICZ - Instytut Mikroelektroniki i Fotoniki
Holographic connections between quantum fields, information, and gravity
Call: SONATA BIS 11 , Panel: ST2
Principal investigator: dr Mario Flory
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Next Generation Quantum Symulators: From DYNAMIcal Gauge Fields to Lattice Gauge ThEory
Call: Quant-ERA II Call 2021 , Panel: ST2
Principal investigator: prof. Jakub Zakrzewski
Uniwersytet Jagielloński
Experiment and Theory of Resources in Quantum Technologies
Call: Quant-ERA II Call 2021 , Panel: ST2
Principal investigator: dr Alexander Streltsov
Uniwersytet Warszawski
Generalizations of the graph coloring problem in graphs with forbidden structures
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Karolina Okrasa
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Quantum open systems and thermodynamical resource theory
Call: OPUS 21 , Panel: ST2
Principal investigator: prof. Michał Horodecki
Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych
Call: OPUS 21 , Panel: ST3
Principal investigator: prof. Józef Spałek
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Frontiers of automatic analysis of concurrent systems
Call: OPUS 21 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
H-graphs - recognition, isomorphism, and related problems
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Jan Derbisz
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 20 , Panel: ST2
Principal investigator: Marek Winczewski
Uniwersytet Gdański, Międzynarodowe Centrum Teorii Technologii Kwantowych
Extraordinary electronic transport in magnetic topological insulators andsemimetals
Call: OPUS 21 , Panel: ST3
Principal investigator: prof. Dariusz Kaczorowski
Instytut Niskich Temperatur i Badań Strukturalnych im. Włodzimierza Trzebiatowskiego Polskiej Akademii Nauk
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Michał Fularz
Politechnika Poznańska, Wydział Elektryczny
Modular circuits - algorithms and lower bounds
Call: PRELUDIUM 20 , Panel: ST6
Principal investigator: Piotr Kawałek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 21 , Panel: ST7
Principal investigator: dr Grzegorz Staszczak
Instytut Wysokich Ciśnień Polskiej Akademii Nauk
Twistronics - research on new quantum simulators
Call: OPUS 21 , Panel: ST3
Principal investigator: dr Paweł Potasz
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Computational aspects of infinite-duration games
Call: OPUS 21 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Finite automata: selected problems and applications connecting different areas
Call: OPUS 21 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Kondo cloud in magnetic molecules coupled to superconductor
Call: PRELUDIUM 20 , Panel: ST3
Principal investigator: Anand Manaparambil
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki
The quest to understand the nature of high-Tc superconductivity through its suppression
Call: OPUS 21 , Panel: ST3
Principal investigator: dr hab. Wojciech Tabiś
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
From Spin Liquid to Superconductor: Doping the Kitaev-Heseinberg model
Call: SONATINA 5 , Panel: ST3
Principal investigator: dr Cliò Efthimia Agrapidis
Uniwersytet Warszawski, Wydział Fizyki