663 projects found matching your search criteria :
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Maciej Paszyński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Accurate and approximate algorithms for large-scale stochastic simulation
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Anna Wawrzyńczak-Szaban
Uniwersytet Przyrodniczo-Humanistyczny w Siedlcach, Wydział Nauk Ścisłych
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
A new notion of finiteness in computation theory
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Mikołaj Bojańczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Privacy aspects of selected complex systems.
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Piotr Syga
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Theoretical foundations of interactive theorem provers with unrestricted recursive definitions
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Łukasz Czajka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The rejection issue in pattern recognition: concepts, methods, analyses
Call: OPUS 4 , Panel: ST6
Principal investigator: prof. Witold Pedrycz
Instytut Badań Systemowych PAN
Modular operational semantics: a bialgebraic approach
Call: SONATA BIS 2 , Panel: ST6
Principal investigator: dr hab. Bartosz Klin
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
New data intensive algorithms and structures for GPU processors.
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Krzysztof Kaczmarski
Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych
Knowledge retrieval from very large geospatial databases
Call: OPUS 4 , Panel: ST6
Principal investigator: dr Jarosław Jasiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych
Automatisation of constructive logic
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Aleksy Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Eryk Kopczyński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Limits of decidability in automata theory
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Application of backward stochastic differential equations to reconstruction of digital images
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Dariusz Borkowski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Tools, algorithms and models in the study of common evolution of species, genes and proteins
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Paweł Górecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Image and multichannel EEG coding using adaptive prediction of polyphase components
Call: SONATA 4 , Panel: ST6
Principal investigator: dr hab. Marek Parfieniuk
Politechnika Białostocka, Wydział Informatyki
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
Models and algorithms for managing resources of modern computing systems
Call: SONATA 4 , Panel: ST6
Principal investigator: dr Krzysztof Rządca
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Methods of automatic programming involving semantic approaches
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Tomasz Pawlak
Politechnika Poznańska, Wydział Informatyki
GROSHEC - Toward processor for rough set methods
Call: OPUS 4 , Panel: ST6
Principal investigator: prof. Jarosław Stepaniuk
Politechnika Białostocka, Wydział Informatyki
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Modelling stress-induced transposon activity
Call: HARMONIA 3 , Panel: ST6
Principal investigator: prof. Anna Gambin
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
Automated, high-throughput modeling of RNA three-dimensional structures
Call: MAESTRO 3 , Panel: ST6
Principal investigator: prof. Ryszard Adamiak
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Rafał Łysiak
Politechnika Wrocławska, Wydział Elektroniki
Automated recognition of opinion targets and expressions in Polish texts
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Aleksander Wawer
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Simulation and bisimulation for context-free and pushdown systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Theoretical and practical homology computation for big data sets.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Mateusz Juda
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Recommending virtual teams for complex tasks requiring open collaboration
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Adam Wierzbicki
Polsko-Japońska Akademia Technik Komputerowych
The rough set theory in a hybrid decision systems for cases of interval and incomplete input data
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Robert Nowicki
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Krzysztof Fujarewicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Computational methods for identyfiing drug resistance associated mutations in bacterial strains
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Michał Woźniak
Uniwersytet Warszawski
Identification of post-transcriptional modifications in RNA sequences through mass spectrometry
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Bogusław Kluge
Międzynarodowy Instytut Biologii Molekularnej i Komórkowej
Algorithms for the multiple sequence alignment problem and its variants
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Adam Gudyś
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Rigorous numerics and computer assisted proofs for dissipative partial differential equations.
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Jacek Cyranka
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Hierarchy-type Problems for Automata on Infinite Words and Trees
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
File-less architecture of large scale distributed information systems
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Bartosz Kryza
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Scalability and adaptability in the Data Farming methodology
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Dariusz Król
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Decision support with use of interactive granular computing
Call: OPUS 3 , Panel: ST6
Principal investigator: dr Marcin Szczuka
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Virtual views synthesis: preparation of input data and synthesis algorithms.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Krzysztof Wegner
Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji
Call: OPUS 3 , Panel: ST6
Principal investigator: prof. Dominik Sankowski
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Memory efficient algorithms for processing and analysis of genome sequencing data
Call: OPUS 3 , Panel: ST6
Principal investigator: dr hab. Sebastian Deorowicz
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
SocSenSys: Social feedback systems based on body sensor networks
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Konrad Iwanicki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Evolutionary shaping algorithms for reinforcement learning.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Marcin Szubert
Politechnika Poznańska, Wydział Informatyki
Business process discovery methods and process calculus for RESTful systems.
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Andrzej Stroiński
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Janusz Dybizbański
Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Anh Linh Nguyen
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Design and validation of control algorithms in networked dynamical systems
Call: SONATA 3 , Panel: ST6
Principal investigator: dr hab. Przemysław Ignaciuk
Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: dr Ewa Gajda-Zagórska
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Cognitive Hierarchical Active Partitions
Call: SONATA 3 , Panel: ST6
Principal investigator: dr Arkadiusz Tomczyk
Politechnika Łódzka, Wydział Fizyki Technicznej, Informatyki i Matematyki Stosowanej