56 projects found matching your search criteria :
Logics for data analysis and verification
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA BIS 4 , Panel: ST8
Principal investigator: dr Piotr Korczyk
Instytut Podstawowych Problemów Techniki PAN
Computational topological dynamics
Call: MAESTRO 6 , Panel: ST1
Principal investigator: prof. Marian Mrozek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Marek Wiewiórka
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Challenges in semistructural data management
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
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
Call: PRELUDIUM 5 , Panel: ST8
Principal investigator: Łukasz Kowalczyk
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Continuous problems: optimality, complexity, tractability
Call: OPUS 5 , Panel: ST1
Principal investigator: prof. Leszek Plaskota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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: HARMONIA 4 , Panel: ST7
Principal investigator: prof. Andrzej Materka
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Design and Analysis of Scalable Algorithms for Wireless Networks
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 4 , Panel: ST7
Principal investigator: dr hab. Tomasz Markiewicz
Politechnika Warszawska, Wydział Elektryczny
Nonsmooth Systems in Mathematical Theory of Contact Mechanics
Call: MAESTRO 3 , Panel: ST1
Principal investigator: prof. Stanisław Migórski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Effective parallel algorithms for solving partial differential equations
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Maksymilian Dryja
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 3 , Panel: NZ7
Principal investigator: dr hab. Kinga Sałat
Uniwersytet Jagielloński - Collegium Medicum, Collegium Medicum, Wydział Farmaceutyczny
Memory efficient algorithms for processing and analysis of genome sequencing data
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
SN@PUT: Social Network Analysis at Poznan University of Technology
Call: OPUS 2 , Panel: ST6
Principal investigator: dr hab. Mikołaj Morzy
Politechnika Poznańska, Wydział Informatyki
Modern artificial intelligence algorithms in the analysis of geotechnical data
Call: SONATA 2 , Panel: ST8
Principal investigator: dr hab. Piotr Bilski
Szkoła Główna Gospodarstwa Wiejskiego w Warszawie, Wydział Zastosowań Informatyki i Matematyki
Analysis of similarity of biopolymer structures using descriptors of local structure.
Call: SONATA 2 , Panel: NZ2
Principal investigator: dr Paweł Daniluk
Instytut Medycyny Doświadczalnej i Klinicznej im. Mirosława Mossakowskiego PAN
Call: PRELUDIUM 22 , Panel: NZ5
Principal investigator: Kamil Rodak
Uniwersytet Medyczny im. Piastów Śląskich we Wrocławiu
Modern tools for complex network analysis
Call: OPUS 25 , Panel: ST6
Principal investigator: dr Małgorzata Sulkowska
Politechnika Wrocławska
Call: SONATA 18 , Panel: ST7
Principal investigator: dr Tomasz Rybus
Centrum Badań Kosmicznych Polskiej Akademii Nauk
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
Coarse-grained molecular dynamics of RNA thermometers at elevated temperatures
Call: PRELUDIUM 2 , Panel: NZ2
Principal investigator: Filip Leonarski
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
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
Call: PRELUDIUM 20 , Panel: ST7
Principal investigator: Paweł Frankowski
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Elektryczny
Randomized numerical algorithms approximating solutions of ordinary differential equations
Call: PRELUDIUM 20 , Panel: ST1
Principal investigator: Tomasz Bochacik
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej
Call: OPUS 2 , Panel: ST1
Principal investigator: prof. Przemysław Wojtaszczyk
Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego
Leveraging Randomization: From Scheduling to AdWords
Call: OPUS 20 , Panel: ST6
Principal investigator: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Methods of development, modelling and analysis of quantum internetworking protocols
Call: SONATA 2 , Panel: ST6
Principal investigator: dr hab. Jarosław Miszczak
Instytut Informatyki Teoretycznej i Stosowanej PAN
Call: OPUS 18 , Panel: ST6
Principal investigator: dr hab. Remigiusz Wiśniewski
Uniwersytet Zielonogórski
Call: OPUS 17 , Panel: ST8
Principal investigator: dr Maciej Zawidzki
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Analysis and compression of data from the third generation of sequencing instruments
Call: OPUS 17 , Panel: ST6
Principal investigator: prof. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Algorithmic aspects of processing and analyzing large datasets in distributed systems
Call: PRELUDIUM 16 , Panel: ST6
Principal investigator: dr Karol Gotfryd
Politechnika Wrocławska
A new data-driven geometric scene description method for agent localization
Call: PRELUDIUM 16 , Panel: ST6
Principal investigator: Jan Wietrzykowski
Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Tadeusz Kobus
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Tadeusz Morzy
Politechnika Poznańska, Wydział Informatyki
Infinity in reasoning about data and knowledge
Call: SONATA BIS 8 , Panel: ST6
Principal investigator: dr hab. Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatic analysis of concurrent systems
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Multi-objective optimization of the genetic code
Call: PRELUDIUM 14 , Panel: NZ2
Principal investigator: Małgorzata Wnętrzak
Uniwersytet Wrocławski, Wydział Biotechnologii
Call: PRELUDIUM 14 , Panel: ST8
Principal investigator: dr Monika Zielińska
Politechnika Gdańska, Wydział Architektury
Analysis of adaptive control system for electroactive polymers
Call: SONATA 13 , Panel: ST7
Principal investigator: dr hab. Jakub Bernat
Politechnika Poznańska, Wydział Automatyki, Robotyki i Elektrotechniki
Philosophical and formal analysis of qualitative spatial logics
Call: SONATA 13 , Panel: HS1
Principal investigator: dr Adam Trybus
Uniwersytet Zielonogórski, Wydział Humanistyczny
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Władysław Homenda
Instytut Badań Systemowych PAN
Analysis and Development of Process Mining Methods Based on Skeletal Algorithms
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Adam Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Adam Gudyś
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Algorithmic and Axiomatic Analysis of Committee Scoring Rules
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Bogusław Cyganek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Bartosz Kopczyński
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki