663 projects found matching your search criteria :
Extraction of low-dimensional latent factors from nonnegatively constrained big data
Call: OPUS 9 , Panel: ST6
Principal investigator: dr hab. Rafał Zdunek
Politechnika Wrocławska
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: ST6
Principal investigator: prof. Sławomir Kozieł
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Metody integracji wieloskalowej informacji biologicznej w sztucznych systemach uczących się
Call: ETIUDA 3 , Panel: ST6
Principal investigator: Julian Zubek
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Secure domain signature and anonymous credential schemes for smart cards
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Mirosław Kutyłowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Affiliation hiding group signatures
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Kamil Kluczniak
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Dariusz Plewczyński
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Blind signatures and electronic identity documents
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Lucjan Hanzlik
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Bogdan Kwolek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Alternating directions parallel solver for isogeometric L2 projection
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Maciej Woźniak
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Karol Lisowski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
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
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Aleksandra Gruca
Politechnika Śląska, Wydział Automatyki, Elektroniki 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
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Marcin Zalasiński
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Applications of deep and recurrent neural networks in acoustic modeling of speech
Call: SONATA 8 , Panel: ST6
Principal investigator: dr Jan Chorowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Computational collective intelligence methods and their applications
Call: OPUS 1 , Panel: ST6
Principal investigator: dr Dariusz Barbucha
Akademia Morska w Gdyni, Wydział Przedsiębiorczości i Towaroznawstwa
Reasoning about programs in higher-order languages
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Witold Charatonik
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
Semantic tensor networks for large data sets analysis
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Piotr Gawron
Instytut Informatyki Teoretycznej i Stosowanej PAN
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Bogusław Cyganek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Roman Grundkiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Call: OPUS 8 , Panel: ST6
Principal investigator: dr hab. Agnieszka Mykowiecka
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Efficient and Secure Authenticated Encryption - New Designs and Advanced Cryptanalysis
Call: OPUS 8 , Panel: ST6
Principal investigator: prof. Józef Pieprzyk
Instytut Podstaw Informatyki Polskiej Akademii Nauk
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
Call: PRELUDIUM 8 , Panel: ST6
Principal investigator: Agnieszka Stankiewicz
Politechnika Poznańska, Wydział Informatyki
Heterogenous Paralle and Distributed Computing in Java
Call: UNISONO , Panel: ST6
Principal investigator: dr hab. Piotr Bała
Uniwersytet Warszawski, Interdyscyplinarne Centrum Modelowania Matematycznego i Komputerowego
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
New and efficient methods for the flexible molecular docking of proteins.
Call: MAESTRO 6 , Panel: ST6
Principal investigator: prof. Andrzej Koliński
Uniwersytet Warszawski, Wydział Chemii
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
Uncertain and incomplete knowledge modelling for mediation in mobile context-aware systems (KnowMe)
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Szymon Bobek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
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
Minimal Memory Clustering Paradigm
Call: OPUS 7 , Panel: ST6
Principal investigator: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Construction and analysis of methods of information resources' quality management
Call: SONATA 7 , Panel: HS4
Principal investigator: dr Marek Gągolewski
Instytut Badań Systemowych PAN
Generalisation of the entropy and entropy dimension and their applications
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Jacek Tabor
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: dr Marek Śmieja
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Linguistic descriptors in face recognition
Call: SONATA 7 , Panel: ST6
Principal investigator: dr Paweł Karczmarek
Katolicki Uniwersytet Lubelski Jana Pawła II, Wydział Matematyki, Informatyki i Architektury Krajobrazu
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