397 projects found matching your search criteria :
Call: PRELUDIUM 5 , Panel: ST1
Principal investigator: dr Michał Oszmaniec
Centrum Fizyki Teoretycznej PAN
Time issue in quantum cosmology
Call: SONATA 5 , Panel: ST2
Principal investigator: dr Przemysław Małkiewicz
Narodowe Centrum Badań Jądrowych
New methods of comprehensive analysis of concurrent computing systems
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Łukasz Mikulski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Combinatorial and information theory aspects of communication in distributed systems.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marcin Kardas
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: OPUS 5 , Panel: ST7
Principal investigator: prof. Andrzej Czerwiński
Instytut Technologii Elektronowej
Theoretical aspects of voting protocols
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Filip Zagórski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Nonequilibrium dynamics of correlated quantum systems
Call: OPUS 5 , Panel: ST3
Principal investigator: prof. Marcin Mierzejewski
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
Cryptanalysis of a family of Keccak hash functions
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Paweł Morawiecki
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Formal approach to practical problems of information hiding
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Marek Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: SONATA 5 , Panel: ST7
Principal investigator: dr Kamil Pierściński
Instytut Technologii Elektronowej
Call: PRELUDIUM 5 , Panel: ST4
Principal investigator: dr Katarzyna Kulczycka-Mierzejewska
Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego
Frontiers of tractability for recursive queries
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Early Universe from fundamental interactions
Call: OPUS 5 , Panel: ST2
Principal investigator: dr hab. Andrzej Borowiec
Uniwersytet Wrocławski, Wydział Fizyki i Astronomii
Electron and Cooper pair tunneling in quantum structures of ferromagnetic insulator (Ga,Mn)N
Call: OPUS 5 , Panel: ST3
Principal investigator: prof. Maciej Sawicki
Instytut Fizyki PAN
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithms for robust discrete optimization
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Adam Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Automatic reasoning about specifications in simple logics - decidability and complexity issues
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Lidia Tendera
Uniwersytet Opolski
Ground states near a quantum critical point
Call: OPUS 5 , Panel: ST3
Principal investigator: dr hab. Bogdan Damski
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Synchronization of automata and the Cerny conjecture
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 5 , Panel: ST2
Principal investigator: dr Michał Ławniczak
Instytut Fizyki PAN
Quantum games: theory and implementation
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Jan Sładkowski
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
The BDD/FC Conjecture and beyond
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Tomasz Gogacz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Nonequilibrium processes in superfluid Fermi systems
Call: MAESTRO 4 , Panel: ST3
Principal investigator: prof. Piotr Magierski
Politechnika Warszawska, Wydział Fizyki
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
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Spontaneous processes in ultracold gases at nonzero temperatures
Call: SONATA BIS 2 , Panel: ST2
Principal investigator: dr hab. Piotr Deuar
Instytut Fizyki PAN
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
Flexible compact experimental system for production of Bose-Einstein condensation
Call: PRELUDIUM 1 , Panel: ST2
Principal investigator: Dobrosława Bartoszek-Bober
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: OPUS 4 , Panel: ST3
Principal investigator: prof. Andrzej Ślebarski
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
Simulation, measurement and control of the far-field radiation pattern of a THz emitter
Call: SONATA 4 , Panel: ST7
Principal investigator: dr Maciej Sakowicz
Instytut Technologii Elektronowej
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
New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making
Call: OPUS 4 , Panel: HS1
Principal investigator: prof. Jan Hertrich-Woleński
Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych
Call: OPUS 4 , Panel: ST4
Principal investigator: prof. Jerzy Ciosłowski
Uniwersytet Szczeciński, Wydział Matematyczno-Fizyczny
Call: SONATA 4 , Panel: ST7
Principal investigator: dr Łukasz Piskorski
Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: HARMONIA 3 , Panel: ST3
Principal investigator: prof. Vitalii Dugaev
Politechnika Rzeszowska im. Ignacego Łukasiewicza, Wydział Matematyki i Fizyki Stosowanej
Call: SONATA BIS 1 , Panel: ST3
Principal investigator: dr Taras Palasyuk
Instytut Chemii Fizycznej PAN
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
Call: OPUS 3 , Panel: ST4
Principal investigator: prof. Maria Rospenk
Uniwersytet Wrocławski, Wydział Chemii
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