102 projects found matching your search criteria :
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
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
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
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Władysław Homenda
Instytut Badań Systemowych PAN
New methods for the automatic synthesis and exploration of sequential data
Call: SONATA 2 , Panel: ST6
Principal investigator: dr Radosław Ziembiński
Politechnika Poznańska, Wydział Informatyki
Adaptive fuzzy control of the complex drive system with changeable parameters
Call: OPUS 2 , Panel: ST7
Principal investigator: dr hab. Krzysztof Szabat
Politechnika Wrocławska, Wydział Elektryczny
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
On various properties of special block-additive functions
Call: PRELUDIUM 19 , Panel: ST1
Principal investigator: dr Bartosz Grzegorz Sobolewski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 19 , Panel: HS4
Principal investigator: dr hab. Aleksandra Barbara Parteka
Politechnika Gdańska
Call: OPUS 19 , Panel: HS3
Principal investigator: Piotr Wroniecki
Uniwersytet Wrocławski, Wydział Nauk Historycznych i Pedagogicznych
Call: PRELUDIUM 19 , Panel: ST2
Principal investigator: Paweł Kopciewicz
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
The impact of robots adoption on wage polarization in Europe
Call: PRELUDIUM 20 , Panel: HS4
Principal investigator: Karol Rafał Madoń
Fundacja Naukowa Instytut Badań Strukturalnych
Call: SONATA 18 , Panel: ST7
Principal investigator: dr Agnieszka Małgorzata Uryga
Politechnika Wrocławska
Call: SONATA 18 , Panel: ST7
Principal investigator: dr Tomasz Rybus
Centrum Badań Kosmicznych 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 14 , Panel: ST10
Principal investigator: dr hab. Mariusz Białecki
Instytut Geofizyki Polskiej Akademii Nauk
Call: SONATINA 3 , Panel: HS6
Principal investigator: dr David López Pérez
Instytut Psychologii Polskiej Akademii Nauk
Numerical characteristics of continuous fractional systems
Call: SONATA 10 , Panel: ST7
Principal investigator: dr hab. Michał Niezabitowski
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
Automatic analysis of phonetic convergence in speech technology systems
Call: HARMONIA 6 , Panel: HS2
Principal investigator: prof. Grażyna Demenko
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Neofilologii
Synthesis via active learning: theory and applications
Call: OPUS 27 , Panel: ST6
Principal investigator: dr hab. Jan Otop
Uniwersytet Wrocławski
Call: PRELUDIUM 23 , Panel: HS5
Principal investigator: Aleksandra Wisławska
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie
Theory and applications of repetitive processes and multidimensional (nD) systems
Call: OPUS 1 , Panel: ST7
Principal investigator: prof. Krzysztof Gałkowski
Uniwersytet Zielonogórski, Wydział Elektrotechniki, Informatyki i Telekomunikacji
Automatic detection and correction of annotation errors in Polish language corpora
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Łukasz Kobyliński
Instytut Podstaw Informatyki PAN
Robust estimators of the system states and parameters for the drive system with an elastic joint
Call: OPUS 1 , Panel: ST7
Principal investigator: dr hab. Krzysztof Szabat
Politechnika Wrocławska, Wydział Elektryczny
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Napieralski
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
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
Automatic generation of user's manual for web applications
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Bartosz Alchimowicz
Politechnika Poznańska, Wydział Informatyki
Effective jobs scheduling in cyclic production systems
Call: OPUS 3 , Panel: ST7
Principal investigator: dr hab. Wojciech Bożejko
Politechnika Wrocławska, Wydział Elektroniki
Controling of the intracellular processes
Call: SONATA 3 , Panel: ST7
Principal investigator: dr Krzysztof Puszyński
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: SONATA 4 , Panel: HS6
Principal investigator: dr Kamil Imbir
Akademia Pedagogiki Specjalnej im. Marii Grzegorzewskiej, Wydział Stosowanych Nauk Społecznych
Limits of decidability in automata theory
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: PRELUDIUM 4 , Panel: ST7
Principal investigator: dr Andrzej Czajkowski
Uniwersytet Zielonogórski, Wydział Informatyki, Elektrotechniki i Automatyki
Active reduction of device acoustic noise by controlling vibration of the device casing
Call: OPUS 4 , Panel: ST7
Principal investigator: prof. Marek Pawełczyk
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: PRELUDIUM 5 , Panel: NZ2
Principal investigator: Sabina Podlewska
Instytut Farmakologii PAN
Call: PRELUDIUM 5 , Panel: ST7
Principal investigator: Tomasz Torzewicz
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Multi-scale model of tumor dynamics as a key component of the system for optimal anti-cancer therapy
Call: HARMONIA 5 , Panel: ST6
Principal investigator: prof. Witold Dzwinel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: OPUS 9 , Panel: ST7
Principal investigator: prof. Krzysztof Gałkowski
Uniwersytet Zielonogórski, Wydział Informatyki, Elektrotechniki i Automatyki
Prospective memory in childhood - automatic versus strategic processes
Call: PRELUDIUM 9 , Panel: HS6
Principal investigator: Elżbieta Ślusarczyk
Uniwersytet Jagielloński, Wydział Filozoficzny
Numerical simulations of passive layer morphology at the metal electrode.
Call: OPUS 10 , Panel: ST4
Principal investigator: dr hab. Janusz Stafiej
Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie, Wydział Matematyczno-Przyrodniczy. Szkoła Nauk Ścisłych
Grammatical inference methods in classification of amyloidogenic proteins
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Olgierd Unold
Politechnika Wrocławska
Control of automated decision-making systems employed in administrative proceedings
Call: PRELUDIUM 21 , Panel: HS5
Principal investigator: Igor Antoni Gontarz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Prawa i Administracji
The parity problem for cellular automata.
Call: SONATA 18 , Panel: ST6
Principal investigator: dr Anna Nenca
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: ForestValue2 Call 2023 , Panel: ST8
Principal investigator: dr Jan Pełczyński
Politechnika Warszawska
Call: OPUS 27 , Panel: ST8
Principal investigator: dr Konrad Perzyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
Call: PRELUDIUM 13 , Panel: ST10
Principal investigator: dr Kamila Pawłuszek-Filipiak
Uniwersytet Przyrodniczy we Wrocławiu, Wydział Inżynierii Kształtowania Środowiska i Geodezji
New mathematical models for control theory purposes
Call: OPUS 13 , Panel: ST7
Principal investigator: dr Michał Niezabitowski
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Deep Neural Architectures for Automated Theorem Proving
Call: PRELUDIUM 15 , Panel: ST6
Principal investigator: Bartosz Piotrowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Machine learning and automatic theorem proving
Call: OPUS 15 , Panel: ST6
Principal investigator: dr hab. Henryk Michalewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki