42 projects found matching your search criteria :
Subjectivity of software agents - legal theoretical approach
Call: PRELUDIUM 8 , Panel: HS5
Principal investigator: dr Rafał Michalczak
Uniwersytet Jagielloński, Wydział Prawa i Administracji
Design and specification of multi-robot control systems
Call: PRELUDIUM 1 , Panel: ST7
Principal investigator: Piotr Trojanek
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Call: PRELUDIUM 1 , Panel: ST8
Principal investigator: dr Łukasz Łach
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Metali i Informatyki Przemysłowej
Call: PRELUDIUM 6 , Panel: ST7
Principal investigator: Łukasz Roszkowiak
Instytut Biocybernetyki i Inżynierii Biomedycznej im. Macieja Nałęcza PAN
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Development and implementation of model checking methods for real-time and multi-agent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Bożena Woźna-Szcześniak
Akademia im. Jana Długosza w Częstochowie, Wydział Matematyczno-Przyrodniczy
Call: SONATA 1 , Panel: HS1
Principal investigator: dr Robert Trypuz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II
Models, languages and systems for reliable and scalable distributed computing
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Jacek Sroka
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
Concurrency control and fault tolerance for distributed software transactional memory
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 3 , Panel: ST10
Principal investigator: prof. Jerzy Solon
Instytut Geografii i Przestrzennego Zagospodarowania im. S. Leszczyckiego PAN
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Structure and interpretation of programming languages in the "proofs-as-programs" paradigm
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Małgorzata Biernacka
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Allocation of tasks in computer networks
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: dr Marcin Krzywkowski
POLITECHNIKA GDAŃSKA
Development of rule-based query languages applied in intelligent systems
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Szałas
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 2 , Panel: ST6
Principal investigator: dr Włodzimierz Moczurad
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Precise and reusable models of flow and flowlet properties in the Internet
Call: PRELUDIUM 22 , Panel: ST7
Principal investigator: Piotr Jurkiewicz
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Open meta-analysis in particle physics
Call: CHIST-ERA Open & Re-usable Research Data & Software Call , Panel: ST2
Principal investigator: dr hab. Andrzej Siódmok
Uniwersytet Jagielloński
Call: CHIST-ERA Open & Re-usable Research Data & Software Call , Panel: NZ8
Principal investigator: dr Robert Sot
Uniwersytet Warszawski
Making Software FAIR: A machine-assisted workflow for the research softwarelifecycle
Call: CHIST-ERA Open & Re-usable Research Data & Software Call , Panel: HS2
Principal investigator: dr Tomasz Umerle
Instytut Badań Literackich Polskiej Akademii Nauk
Call: SONATA 1 , Panel: ST2
Principal investigator: dr hab. Maciej Rybczyński
Uniwersytet Jana Kochanowskiego w Kielcach, Wydział Matematyczno-Przyrodniczy
Semantic Method for Unified Rules Interoperability in Knowledge-Based Systems. (SaMURaI)
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Krzysztof Kaczor
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Call: OPUS 22 (LAP) , Panel: ST5
Principal investigator: dr hab. Wojciech Sławiński
Uniwersytet Warszawski, Wydział Chemii
Bayesian simultaneous equations model averaging - theoretical development and R package
Call: OPUS 22 , Panel: HS4
Principal investigator: dr Krzysztof Beck
Uczelnia Łazarskiego
Probabilistic entropy in engineering computations
Call: OPUS 21 , Panel: ST8
Principal investigator: prof. Marcin Kamiński
Politechnika Łódzka, Wydział Budownictwa, Architektury i Inżynierii Środowiska
Source-code-representations for machine-learning-based identification of defective code fragments
Call: OPUS 21 , Panel: ST6
Principal investigator: dr Mirosław Ochodek
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Call: PRELUDIUM 20 , Panel: HS6
Principal investigator: Szymon Pilch
Uniwersytet Wrocławski, Wydział Nauk Społecznych
Automatic generation of user's manual for web applications
Call: PRELUDIUM 2 , Panel: ST6
Principal investigator: Bartosz Alchimowicz
Politechnika Poznańska, Wydział Informatyki
Modelling of software agent society in knowledge-based organizations
Call: SONATA 2 , Panel: HS4
Principal investigator: dr Mariusz Żytniewski
Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji
Call: OPUS 19 , Panel: HS3
Principal investigator: dr Patryk Wasiak
Instytut Historii im. Tadeusza Manteuffla Polskiej Akademii Nauk
Space-software-human: augmented reality of the smart city
Call: OPUS 17 , Panel: HS4
Principal investigator: dr Michał Rzeszewski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych
Environment driven variation in the molecular architecture of softwood (EDMAS)
Call: SONATINA 3 , Panel: NZ3
Principal investigator: dr Jan Łyczakowski
Uniwersytet Jagielloński, Wydział Biochemii, Biofizyki i Biotechnologii
Algebraic effects: composition and coinduction
Call: SONATA 14 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Event Completeness of Use Cases
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Jakub Jurkiewicz
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 14 , Panel: ST2
Principal investigator: Maciej Majewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Fizyki i Informatyki Stosowanej
Intelligent management of traffic in multi-layer Software-Defined Networks
Call: OPUS 13 , Panel: ST6
Principal investigator: dr hab. Jerzy Domżał
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Tomasz Kryjak
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
Call: POLONEZ 3 , Panel: NZ2
Principal investigator: dr Paweł Sztromwasser
Uniwersytet Medyczny w Łodzi, I Katedra Pediatrii
Programming language for a hierarchical, parallel machine using ManyDSL
Call: PRELUDIUM 12 , Panel: ST6
Principal investigator: Piotr Danilewski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Factors encouraging creation of innovation by cooperation in the Open Source community
Call: PRELUDIUM 11 , Panel: HS4
Principal investigator: dr Dorota Celińska-Kopczyńska
Uniwersytet Warszawski, Wydział Nauk Ekonomicznych
Cross-Stratum Optimization for Provisioning of Cloud Data Center Services
Call: PRELUDIUM 11 , Panel: ST7
Principal investigator: Michał Aibin
Politechnika Wrocławska, Wydział Elektroniki
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