357 projects found matching your search criteria :
Call: OPUS 4 , Panel: ST8
Principal investigator: prof. Andrzej Teodorczyk
POLITECHNIKA WARSZAWSKA, Wydział Mechaniczny Energetyki i Lotnictwa, Instytut Techniki Cieplnej
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Zbigniew Paszkiewicz
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
Call: PRELUDIUM 4 , Panel: NZ9
Principal investigator: Agnieszka Ochocka
Instytut Ochrony Środowiska - Państwowy Instytut Badawczy
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
Eventually consistent replication: Algorithms and methods
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Maciej Paszyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: OPUS 4 , Panel: ST8
Principal investigator: prof. Jan Kołodziej
Politechnika Poznańska, Wydział Budowy Maszyn i Zarządzania
Accurate and approximate algorithms for large-scale stochastic simulation
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Anna Wawrzyńczak-Szaban
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
Models, languages and systems for reliable and scalable distributed computing
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Jacek Sroka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
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
The rejection issue in pattern recognition: concepts, methods, analyses
Call: OPUS 4 , Panel: ST6
Principal investigator: prof. Witold Pedrycz
Instytut Badań Systemowych PAN
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
Elastic wave propagation in periodic structures
Call: OPUS 4 , Panel: ST8
Principal investigator: prof. Marek Krawczuk
Politechnika Gdańska, Wydział Elektrotechniki i Automatyki
Methods of automatic programming involving semantic approaches
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki
GROSHEC - Toward processor for rough set methods
Call: OPUS 4 , Panel: ST6
Principal investigator: prof. Jarosław Stepaniuk
Politechnika Białostocka, Wydział Informatyki
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Concurrency control and fault tolerance for distributed software transactional memory
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Call: HARMONIA 3 , Panel: ST10
Principal investigator: prof. Hanna Pawłowska
Uniwersytet Warszawski, Wydział Fizyki
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: SONATA BIS 1 , Panel: HS2
Principal investigator: dr Małgorzata Walczak
Akademia Sztuk Pięknych im. Jana Matejki w Krakowie, Wydział Konserwacji i Restauracji Dzieł Sztuki
Call: SONATA 3 , Panel: NZ2
Principal investigator: dr Paulina Jackowiak
Instytut Chemii Bioorganicznej PAN
Computational methods for identyfiing drug resistance associated mutations in bacterial strains
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Michał Woźniak
Uniwersytet Warszawski
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: OPUS 3 , Panel: ST10
Principal investigator: prof. Zbigniew Czechowski
Instytut Geofizyki PAN
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
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Ryszard Buczkowski
Akademia Morska w Szczecinie, Wydział Inżynieryjno-Ekonomiczny Transportu
Nonlinear methods of noise reduction in color images and video sequences
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Bogdan Smołka
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Models and methods of computer science in cell biology
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Marta Kasprzak
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metody geometryczne w informatyce kwantowej
Call: FUGA 1 , Panel: ST6
Principal investigator: dr Zbigniew Puchała
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Multi-Physics, Multi-Objective, Multi-Adaptive Strategies for Solving Inverse Problems
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Robert Schaefer
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Norbert Żołek
Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Jarosław Bąk
Politechnika Poznańska, Wydział Elektryczny
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
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Marek Kamiński
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Allocation of tasks in computer networks
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Marcin Krzywkowski
POLITECHNIKA GDAŃSKA
Complex models in scheduling problems and methods of their solution
Call: OPUS 2 , Panel: ST6
Principal investigator: prof. Adam Janiak
Instytut Badań Systemowych PAN
New computer architectures and the finite element method
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Krzysztof Banaś
Politechnika Krakowska im. Tadeusza Kościuszki, Wydział Fizyki, Matematyki i Informatyki
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Włodzimierz Moczurad
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Acceleration and compression of deep neural networks using low-rank approximation methods
Call: PRELUDIUM 22 , Panel: ST6
Principal investigator: Mateusz Gabor
Politechnika Wrocławska
Augmented orientations and effective constructions for Alon-Tarsi method
Call: OPUS 25 , Panel: ST6
Principal investigator: dr hab. Jakub Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki