483 projects found matching your search criteria :
Call: OPUS 9 , Panel: NZ7
Principal investigator: dr hab. Kinga Sałat
Uniwersytet Jagielloński - Collegium Medicum, Uniwersytet Jagielloński - Collegium Medicum, Wydział Farmaceutyczny
Methods of Ontology Alignment Utilizing Semantics and Valuations of Attributes.
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Marcin Pietranik
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Development of Models and Methods for Incorporating Knowledge to Support Vector Machines
Call: SONATA 9 , Panel: ST6
Principal investigator: dr Marcin Orchel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: OPUS 9 , Panel: ST7
Principal investigator: dr hab. Przemysław Krehlik
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Methodology for quick and precise calculation of human Body Surface Area
Call: OPUS 8 , Panel: NZ7
Principal investigator: prof. Marek Krawczuk
Politechnika Gdańska, Wydział Elektrotechniki i Automatyki
Blind signatures and electronic identity documents
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Lucjan Hanzlik
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Compression, logic, formal langauges: new approaches unifying different areas.
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Selected SMT-based model checking methods
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Agnieszka Zbrzezny
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Weighted automata for quantitative properties
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
New methods for precise control of robotic astronomical 0,5-m telescope mount
Call: OPUS 8 , Panel: ST7
Principal investigator: prof. Krzysztof Kozłowski
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 8 , Panel: ST8
Principal investigator: dr hab. Łukasz Jankowski
Instytut Podstawowych Problemów Techniki PAN
Scalable metaheuristics for automated program synthesis
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Krzysztof Krawiec
Politechnika Poznańska, Wydział Informatyki
Heuristic Discovery of Underlying Objectives for Test-based Problems.
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Paweł Liskowski
Politechnika Poznańska, Wydział Informatyki
Design and specification of multi-robot control systems
Call: PRELUDIUM 1 , Panel: ST7
Principal investigator: Piotr Trojanek
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Biometric data in security systems with restricted resources - authentication and protection.
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Wojciech Wodo
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Logics for data analysis and verification
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jakub Michaliszyn
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Numerical and structural invariants in algebra, logic and constraint satisfaction problems
Call: MAESTRO 6 , Panel: ST6
Principal investigator: prof. Paweł Idziak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: SONATA BIS 4 , Panel: ST8
Principal investigator: dr Piotr Korczyk
Instytut Podstawowych Problemów Techniki PAN
Quantum information processing with severely limited memory and communication
Call: SONATA BIS 4 , Panel: ST2
Principal investigator: dr hab. Marcin Pawłowski
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Space to reason - the role of visual displays and gestures in deductive reasoning
Call: HARMONIA 6 , Panel: HS6
Principal investigator: dr Robert Mackiewicz
SWPS Uniwersytet Humanistycznospołeczny w Warszawie, Wydział Psychologii
Computational topological dynamics
Call: MAESTRO 6 , Panel: ST1
Principal investigator: prof. Marian Mrozek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Information-theoretic abductive reasoning for context-based recommendation
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Andrzej Szwabe
Politechnika Poznańska, Wydział Elektryczny
Data stream mining algorithms based on hybrid techniques
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: dr Maciej Jaworski
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: OPUS 7 , Panel: NZ2
Principal investigator: dr Michał Okoniewski
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Communication Problems in Wireless Sensor Networks
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Algebraic theory for CSP (tractability, approximation and optimization)
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Marcin Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Cryptography without trusted parties
Call: SONATA 7 , Panel: ST6
Principal investigator: dr Tomasz Kazana
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
ARISTOTELES: Methodology and algorithms for Automatic RevISion of onTOlogies in TAsk basEd scEnarioS
Call: SONATA 7 , Panel: ST6
Principal investigator: dr Agnieszka Ławrynowicz
Politechnika Poznańska, Wydział Informatyki
Efficient planar graph algorithms
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Piotr Sankowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Decidability issues for automata on infinite structures
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Damian Niwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Foundations of Cryptocurrencies
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Stefan Dziembowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 7 , Panel: ST1
Principal investigator: dr hab. Jakub Przybyło
AKADEMIA GÓRNICZO-HUTNICZA IM. STANISŁAWA STASZICA W KRAKOWIE, Wydział Matematyki Stosowanej
Development of algorithms for 3D buildings modeling using point clouds from dense image matching.
Call: PRELUDIUM 7 , Panel: ST10
Principal investigator: Małgorzata Jarząbek-Rychard
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji
From nonuniform disk data to leakage-resilient authentication schemes
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Zając
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Languages and Learning in General Game Playing
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Marek Wiewiórka
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Complexity of algorithms on compressed data
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic aspects of random graphs.
Call: SONATA 7 , Panel: ST1
Principal investigator: dr Katarzyna Rybarczyk-Krzywdzińska
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Networks: a Multidisciplinary Approach
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Krzysztof Apt
UNIWERSYTET WARSZAWSKI, WYDZIAŁ MATEMATYKI, INFORMATYKI I MECHANIKI
One-dimensional and two-dimensional optimal control systems of noninteger order
Call: OPUS 1 , Panel: ST7
Principal investigator: dr hab. Dariusz Idczak
Uniwersytet Łódzki, Wydział Matematyki i Informatyki
Efficient algorithms and representations in formal languages and automata theory.
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Artur Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Patryk Orzechowski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition
Call: OPUS 6 , Panel: HS1
Principal investigator: dr hab. Marcin Mostowski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Minimization of disturbance in quantum walk based algorithms and protocols.
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: Przemysław Sadowski
Instytut Informatyki Teoretycznej i Stosowanej PAN
Efficient algorithms for finding optiml tours of a traveling salesman and related problems
Call: OPUS 6 , Panel: ST6
Principal investigator: dr Katarzyna Paluch
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 6 , Panel: ST6
Principal investigator: dr hab. Andrzej Jaszkiewicz
Politechnika Poznańska, Wydział Informatyki
Intelligent nonlinear systems with shallow and deep architectures
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Bogdan Wilamowski
Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie
Application of ensemble algorithms for data stream mining
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Lena Pietruczuk
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki