235 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
Algebraic structures related to set theoretic solutions of the quantum Yang-Baxter equation
Call: OPUS 5 , Panel: ST1
Principal investigator: prof. Jan Okniński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Marek Kurzyński
Politechnika Wrocławska, Wydział Elektroniki
Correlation of dynamics of H1 linker histone with spatial architecture of chromatin in cell nuclei.
Call: OPUS 1 , Panel: NZ3
Principal investigator: prof. Jerzy Dobrucki
Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii
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
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
Retrieving geometry from the scattering data
Call: OPUS 4 , Panel: ST1
Principal investigator: prof. Iwo Białynicki-Birula
Centrum Fizyki Teoretycznej PAN
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
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: 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
Deformation and non-deformation quantization: from Poisson brackets to universal symmetries.
Call: HARMONIA 3 , Panel: ST1
Principal investigator: prof. Piotr Hajac
Instytut Matematyczny 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
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
Differential equations, geometry and physics
Call: OPUS 3 , Panel: ST1
Principal investigator: prof. Henryk Żołądek
Uniwersytet Warszawski, Wydział Matematyki Informatyki i Mechaniki
Molecular dynamics of different polymorphous of pharmacologically active substances
Call: OPUS 3 , Panel: ST3
Principal investigator: prof. Jan Wąsicki
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki
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
Electronic transport, spin and charge dynamics in nanostructures
Call: OPUS 3 , Panel: ST3
Principal investigator: prof. Bogdan Bułka
Instytut Fizyki Molekularnej PAN
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
Quantum neural network based on a quantum channels
Call: PRELUDIUM 2 , Panel: ST2
Principal investigator: Marek Smaczyński
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Mathematics of quantum fields and quantization
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Jan Dereziński
Uniwersytet Warszawski, Wydział Fizyki
Call: OPUS 2 , Panel: ST1
Principal investigator: prof. Jerzy Kijowski
Centrum Fizyki Teoretycznej PAN
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
Topological quantum groups and quantum families of maps
Call: OPUS 1 , Panel: ST1
Principal investigator: dr hab. Piotr Sołtan
Uniwersytet Warszawski, Wydział Fizyki
Computer simulations of spin-dependent electronic transport in semiconductor quantum wires
Call: OPUS 2 , Panel: ST3
Principal investigator: prof. Janusz Adamowski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
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
Geometric structures behind tensors
Call: SONATA BIS 13 , Panel: ST1
Principal investigator: dr hab. Joachim Jelisiejew
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The Mathematics of the Bose Gas - Dynamics, Correlations and Fluctuations
Call: SONATA BIS 13 , Panel: ST1
Principal investigator: dr hab. Marcin Napiórkowski
Uniwersytet Warszawski, Wydział Fizyki
Computable structure theory, and philosophy of mathematical structuralism
Call: OPUS 25 , Panel: HS1
Principal investigator: dr Dariusz Kalociński
Instytut Podstaw Informatyki Polskiej Akademii Nauk
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
Towards a useful quantum advantage
Call: Quant-ERA II Call 2023 , Panel: ST2
Principal investigator: dr hab. Michał Oszmaniec
Naukowa i Akademicka Sieć Komputerowa - Państwowy Instytut Badawczy
Quantum Geometric Representation Theory and Noncommutative Fibrations
Call: WEAVE-UNISONO , Panel: ST1
Principal investigator: prof. Tomasz Brzeziński
Uniwersytet w Białymstoku
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
Von Neumann factors from compact quantum groups
Call: OPUS 24 , Panel: ST1
Principal investigator: prof. Piotr Sołtan
Uniwersytet Warszawski, Wydział Fizyki