397 projects found matching your search criteria :
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: ST4
Principal investigator: dr hab. Aneta Jezierska
Uniwersytet Wrocławski, Wydział Chemii
Towards new SEI forming additives - from quantum models to real systems
Call: PRELUDIUM 9 , Panel: ST4
Principal investigator: Piotr Jankowski
Politechnika Warszawska, Wydział Chemiczny
Call: PRELUDIUM 8 , Panel: ST7
Principal investigator: Aleksander Maryński
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
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
High precision calculations of energy levels in beryllium-like systems
Call: OPUS 8 , Panel: ST4
Principal investigator: dr Mariusz Puchalski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii
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
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Marcin Zalasiński
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej 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
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 1 , Panel: ST3
Principal investigator: prof. Krzysztof Tomala
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Call: OPUS 8 , Panel: ST2
Principal investigator: prof. Jakub Rembieliński
Uniwersytet Łódzki, Wydział Fizyki i Informatyki Stosowanej
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: OPUS 8 , Panel: ST7
Principal investigator: dr hab. Marcin Motyka
Politechnika Wrocławska
Renormalization theory for phase transitions in correlated Fermi systems
Call: OPUS 8 , Panel: ST3
Principal investigator: dr hab. Paweł Jakubczyk
Uniwersytet Warszawski, Wydział Fizyki
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
Macroscopic quantum effects, emergence, and quantum criticality in graphene and other Dirac systems
Call: SONATA BIS 4 , Panel: ST3
Principal investigator: prof. Adam Rycerz
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Topological effects in advanced low-dimensional materials
Call: MAESTRO 6 , Panel: ST3
Principal investigator: prof. Arkadiusz Wójs
Politechnika Wrocławska
Communication Problems in Wireless Sensor Networks
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Michał Różański
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Superconductivity and correlations in nanodevices and bulk materials
Call: OPUS 7 , Panel: ST3
Principal investigator: prof. Tadeusz Domański
Uniwersytet Marii Curie-Skłodowskiej, Wydział Matematyki, Fizyki 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
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
Environment induced sensitivity of correlated quantum-dot systems to external magnetic field
Call: OPUS 1 , Panel: ST2
Principal investigator: prof. Paweł Horodecki
Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej
Dynamics of nonlinear processes in ultracold fermionic gases within Density Functional Theory
Call: SONATA 7 , Panel: ST3
Principal investigator: dr Gabriel Wlazłowski
Politechnika Warszawska, Wydział Fizyki
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
Call: OPUS 7 , Panel: ST7
Principal investigator: dr hab. Henryk Teisseyre
Instytut Fizyki PAN
Languages and Learning in General Game Playing
Call: PRELUDIUM 7 , Panel: ST6
Principal investigator: Jakub Kowalski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Complexity of algorithms on compressed data
Call: OPUS 7 , Panel: ST6
Principal investigator: prof. Wojciech Rytter
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: FUGA 3 , Panel: ST7
Principal investigator: dr Konrad Kowalczyk
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: SONATA 6 , Panel: ST7
Principal investigator: dr Łucja Marona
Instytut Wysokich Ciśnień PAN
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
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: Dariusz Kurzyk
Instytut Informatyki Teoretycznej i Stosowanej PAN
Call: OPUS 6 , Panel: ST1
Principal investigator: dr Sylwia Kondej
Uniwersytet Zielonogórski, Wydział Fizyki i Astronomii
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Challenges in semistructural data management
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Michał Matuszak
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Correlations and Coherence at Different Scales
Call: OPUS 6 , Panel: ST3
Principal investigator: prof. Maciej Maśka
Uniwersytet Śląski w Katowicach, Wydział Matematyki, Fizyki i Chemii
Asymptotic methods in lambda calculus and combinatory logic
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: HARMONIA 5 , Panel: ST3
Principal investigator: dr hab. Grzegorz Sęk
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Light-matter coupling in a system of two coupled optical microcavities based on II-VI semiconductors
Call: SONATA BIS 3 , Panel: ST3
Principal investigator: dr Jan Suffczyński
Uniwersytet Warszawski, Wydział Fizyki
Call: SONATA BIS 3 , Panel: ST2
Principal investigator: dr Krzysztof Kutak
Instytut Fizyki Jądrowej im. Henryka Niewodniczańskiego Polskiej Akademii Nauk