149 projects found matching your search criteria :
HOMER: Human Oriented autoMated machinE leaRning
Call: SONATA BIS 9 , Panel: ST6
Principal investigator: dr hab. Przemysław Biecek
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Fundamental problems and implementations of dissipative quantum engineering
Call: MAESTRO 11 , Panel: ST2
Principal investigator: prof. Adam Jacek Miranowicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Fizyki
Arithmetic properties of special integer sequences, polynomials, and continued fractions
Call: SONATA BIS 9 , Panel: ST1
Principal investigator: dr hab. Maciej Ulas
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 17 , Panel: HS4
Principal investigator: dr hab. Małgorzata Beata Renigier-Biłozor
Uniwersytet Warmińsko-Mazurski w Olsztynie, Wydział Geoinżynierii
Big Data, Algorithms and Artificial Intelligence in Law Enforcement in the EU
Call: OPUS 17 , Panel: HS5
Principal investigator: dr Martyna Agnieszka Kusak
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Prawa i Administracji
Call: SONATINA 3 , Panel: HS6
Principal investigator: dr David López Pérez
Instytut Psychologii Polskiej Akademii Nauk
Call: OPUS 16 , Panel: ST8
Principal investigator: prof. Dmytro Svyetlichnyy
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Geometry and topology of Artin groups
Call: BEETHOVEN 3 , Panel: ST1
Principal investigator: dr Damian Osajda
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 16 , Panel: ST6
Principal investigator: dr hab. Lidia Zofia Tendera
Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki
Methods and tools of future document engineering - MENAID
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Bogdan Wojciech Wiszniewski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
New approach to analysing grain size distribution of coarse-grained sediments
Call: PRELUDIUM 15 , Panel: ST10
Principal investigator: Małgorzata Agata Frydrych
Uniwersytet Łódzki, Wydział Nauk Geograficznych
Machine learning and automatic theorem proving
Call: OPUS 15 , Panel: ST6
Principal investigator: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 15 , Panel: ST6
Principal investigator: Iwo Piotr Błądek
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Deep Neural Architectures for Automated Theorem Proving
Call: PRELUDIUM 15 , Panel: ST6
Principal investigator: Bartosz Paweł Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automated decision-making versus prohibition of discrimination in the European law
Call: PRELUDIUM 15 , Panel: HS5
Principal investigator: dr Joanna Urszula Mazur
Uniwersytet Warszawski, Wydział Prawa i Administracji
Automatic analysis of concurrent systems
Call: OPUS 14 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 14 , Panel: ST10
Principal investigator: dr hab. Mariusz Jacek Białecki
Instytut Geofizyki Polskiej Akademii Nauk
Automated design and low-cost topology/geometry optimization of compact antennas
Call: OPUS 14 , Panel: ST7
Principal investigator: dr Sławomir Kozieł
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Quantitative specifications: learning, algorithms and applications
Call: OPUS 14 , Panel: ST6
Principal investigator: dr Jan Otop
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: SONATA 13 , Panel: ST6
Principal investigator: dr Lorenzo Clemente
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Development of methodology for multiscale computing on heterogeneous hardware architectures
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Łukasz Rauch
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Call: SONATA BIS 7 , Panel: HS1
Principal investigator: dr hab. Dorota Leszczyńska-Jasion
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
Call: OPUS 1 , Panel: ST7
Principal investigator: dr hab. Janusz Biernat
Politechnika Wrocławska, Wydział Elektroniki
Advanced optimization methods of automated cyclic processes
Call: OPUS 13 , Panel: ST7
Principal investigator: dr hab. Wojciech Dariusz Bożejko
Politechnika Wrocławska
Call: PRELUDIUM 13 , Panel: ST10
Principal investigator: dr Kamila Teresa Pawłuszek-Filipiak
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Władysław Homenda
Instytut Badań Systemowych Polskiej Akademii Nauk
Classical problems in the theory of finite automata: new approaches, variants, and applications
Call: OPUS 13 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Krzysztof Napieralski
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Call: OPUS 12 , Panel: HS2
Principal investigator: prof. Adam Tomasz Pawłowski
Uniwersytet Wrocławski, Wydział Filologiczny
Arithmetic properties of dynamical systems in positive characteristic.
Call: SONATA 12 , Panel: ST1
Principal investigator: dr Jakub Jan Byszewski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: PRELUDIUM 12 , Panel: HS6
Principal investigator: Marcin Błażej Koculak
Uniwersytet Jagielloński, Wydział Filozoficzny
Automatic synthesis of mathematical programming models for business processes
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Self-control of impulses. Automatic and reflective mechanisms of improvement in self-control
Call: SONATA 1 , Panel: HS6
Principal investigator: dr Jacek Marcin Buczny
SWPS Uniwersytet Humanistycznospołeczny z siedzibą w Warszawie
Quantitative properties for higher-order recursion schemes
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Grammatical inference methods in classification of amyloidogenic proteins
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Olgierd Ryszard Unold
Politechnika Wrocławska
Algebraic structure of combinatorial objects
Call: OPUS 11 , Panel: ST1
Principal investigator: prof. Andrzej Marian Kisielewicz
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Symbolic computations on first-order definable objects
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Separability problem in automata theory
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Wojciech Karol Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automated sonic tumor treatment
Call: OPUS 11 , Panel: ST8
Principal investigator: dr hab. Tamara Kujawska
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Call: PRELUDIUM 11 , Panel: ST8
Principal investigator: Mateusz Sitko
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Efficient algorithms for weak forms of non-determinism
Call: SONATA 11 , Panel: ST6
Principal investigator: dr hab. Michał Paweł Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11 , Panel: ST8
Principal investigator: dr Łukasz Rafał Łach
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Numerical simulations of passive layer morphology at the metal electrode.
Call: OPUS 10 , Panel: ST4
Principal investigator: dr hab. Janusz Wojciech Stafiej
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych
Call: OPUS 10 , Panel: ST6
Principal investigator: prof. Joanna Polańska
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Mathematical models and methods in description of tumour growth and its therapies.
Call: OPUS 10 , Panel: ST1
Principal investigator: dr hab. Marek Bodnar
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 10 , Panel: ST7
Principal investigator: Piotr Paweł Kurgan
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Call: SONATA 1 , Panel: ST8
Principal investigator: dr hab. Łukasz Madej
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Algorithmic aspects of synchronization
Call: OPUS 9 , Panel: ST6
Principal investigator: dr Adam Roman
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
An intelligent hybrid system for planning and composition of Web services
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Wojciech Penczek
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych