258 projects found matching your search criteria :
Color image retrieval system based on the multichannel analysis of spatial information.
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Maria Łuszczkiewicz-Piątek
Uniwersytet Łódzki, Wydział Matematyki i Informatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Marek Kurzyński
Politechnika Wrocławska, Wydział Elektroniki
Adversary immune data processing algorithms for ad hoc systems
Call: HARMONIA 4 , Panel: ST6
Principal investigator: prof. Mirosław Kutyłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: HARMONIA 4 , Panel: ST2
Principal investigator: dr Marcin Pawłowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
New methods in parametric model checking
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Michał Knapik
Instytut Podstaw Informatyki PAN
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Krzysztof Walczak
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
Relativistic Quantum Information
Call: SONATA BIS 2 , Panel: ST2
Principal investigator: dr hab. Andrzej Dragan
Uniwersytet Warszawski, Wydział Fizyki
On quantum resources in quantum information theory.
Call: PRELUDIUM 4 , Panel: ST2
Principal investigator: Michał Studziński
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, 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
Privacy aspects of selected complex systems.
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Piotr Syga
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Łukasz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modular operational semantics: a bialgebraic approach
Call: SONATA BIS 2 , Panel: ST6
Principal investigator: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Limits of decidability in automata theory
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Simulation and bisimulation for context-free and pushdown systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Hierarchy-type Problems for Automata on Infinite Words and Trees
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA BIS 1 , Panel: ST2
Principal investigator: dr hab. Wiesław Laskowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Business process discovery methods and process calculus for RESTful systems.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Andrzej Stroiński
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Optimal control of quantum systems
Call: PRELUDIUM 3 , Panel: ST7
Principal investigator: Łukasz Pawela
Instytut Informatyki Teoretycznej i Stosowanej PAN
Macroscopic quantum states of light: theoretical and experimental investigation of their properties
Call: HARMONIA 2 , Panel: ST2
Principal investigator: dr hab. Magdalena Stobińska
Instytut Fizyki Polskiej Akademii Nauk
Parallel algorithms for creation and simulation three-dimensional vascular network
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Krzysztof Psiuk-Maksymowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Methodology of semantic models building based on mobile robot's observations
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Janusz Będkowski
Instytut Maszyn Matematycznych
New methods for the automatic synthesis and exploration of sequential data
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Radosław Ziembiński
Politechnika Poznańska, Wydział Informatyki
Tunable Photonic Structures Emulating Low-Dimensional Semiconductor Systems
Call: OPUS 26 , Panel: ST3
Principal investigator: dr hab. Jacek Szczytko
Uniwersytet Warszawski, Wydział Fizyki
Processing massive string data and beyond: algorithms and conditional lower bounds
Call: OPUS 26 , Panel: ST6
Principal investigator: dr Paweł Gawrychowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Tailoring SIngle-Photon spectra for HYbrid quantum networks
Call: OPUS 26 (LAP) , Panel: ST7
Principal investigator: dr Michał Karpiński
Uniwersytet Warszawski, Wydział Fizyki
Studies of Spectrum Broadcast Structures in Quantum Open Systems Models
Call: PRELUDIUM BIS 5 , Panel: ST2
Principal investigator: dr hab. Jarosław Korbicz
Centrum Fizyki Teoretycznej Polskiej Akademii Nauk
High-dimensional entanglement in an integrated optical platform
Call: SONATA BIS 13 , Panel: ST2
Principal investigator: dr Michał Karpiński
Uniwersytet Warszawski, Wydział Fizyki
Call: SONATA BIS 13 , Panel: ST2
Principal investigator: dr Jan Kołodyński
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Beyond quantum gravity – principles, structures and phenomena
Call: SONATA BIS 13 , Panel: ST2
Principal investigator: dr Michał Eckstein
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Quantum acousto-optics of hybrid nanosystems
Call: MAESTRO 15 , Panel: ST3
Principal investigator: prof. Paweł Machnikowski
Politechnika Wrocławska
Hybrid quantum control in single solid-state systems
Call: PRELUDIUM 22 , Panel: ST3
Principal investigator: Mateusz Kuniej
Politechnika Wrocławska
Call: OPUS 25 , Panel: ST2
Principal investigator: dr hab. Karol Horodecki
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
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
Call: OPUS 2 , Panel: ST2
Principal investigator: prof. Adam Miranowicz
Uniwersytet im. Adama Mickiewicza, Wydział Fizyki
Experimental study of multi-photon absorption in colour centers in diamond
Call: PRELUDIUM 22 , Panel: ST2
Principal investigator: Anuradha Anarthe
Uniwersytet Mikołaja Kopernika w Toruniu, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Quantum information properties of spin networks
Call: PRELUDIUM 22 , Panel: ST2
Principal investigator: Grzegorz Czelusta
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Modern tools for complex network analysis
Call: OPUS 25 , Panel: ST6
Principal investigator: dr Małgorzata Sulkowska
Politechnika Wrocławska
Data ownership and privacy meet generative neural networks
Call: OPUS 25 , Panel: ST6
Principal investigator: dr hab. Paweł Morawiecki
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Optimal and probabilistic learning of quantum devices
Call: OPUS 24 , Panel: ST6
Principal investigator: dr hab. Zbigniew Puchała
Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk
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
Mitigation of quantum computers errors in the pre-fault-tolerant era
Call: SONATA 18 , Panel: ST2
Principal investigator: dr Piotr Czarnik
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
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
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