898 projects found matching your search criteria :
Algorithms concerning the legibility of natural deduction proofs
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: dr Karol Pąk
Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki
Call: OPUS 4 , Panel: HS1
Principal investigator: prof. Arkadiusz Chrudzimski
Uniwersytet Szczeciński, Wydział Humanistyczny
Eventually consistent replication: Algorithms and methods
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Paweł Wojciechowski
Politechnika Poznańska, Wydział Informatyki
Computational complexity of some connectivity problems
Call: SONATA 4 , Panel: ST6
Principal investigator: dr hab. Marcin Kamiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA BIS 2 , Panel: HS2
Principal investigator: dr hab. Przemysław Żywiczyński
Uniwersytet Mikołaja Kopernika, Wydział Filologiczny
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
The dynamic analysis of intelligent, electromechanical drive systems of machines and vehicles
Call: PRELUDIUM 4 , Panel: ST8
Principal investigator: Maciej Michajłow
Instytut Podstawowych Problemów Techniki Polskiej Akademii Nauk
Information-theoretic abductive reasoning for context-based recommendation
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Andrzej Szwabe
Politechnika Poznańska, Wydział Elektryczny
Call: PRELUDIUM 4 , Panel: HS6
Principal investigator: Maciej Taraday
Uniwersytet Jagielloński, Wydział Filozoficzny
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
Consciousness, Action, Freedom - Descartes' Concept of Human Nature
Call: OPUS 4 , Panel: HS1
Principal investigator: dr hab. Przemysław Gut
Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawła II
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
Call: OPUS 4 , Panel: HS1
Principal investigator: dr hab. Paweł Garbacz
TOWARZYSTWO NAUKOWE KATOLICKIEGO UNIWERSYTETU LUBELSKIEGO JANA PAWŁA II, Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego Jana Pawla II
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
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
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Rafał Łysiak
Politechnika Wrocławska, Wydział Elektroniki
Call: OPUS 3 , Panel: ST8
Principal investigator: prof. Wojciech Kacalak
Politechnika Koszalińska, Wydział Mechaniczny
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
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
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
The intelligent UBMSS class systems supporting the enterprise management processes
Call: OPUS 3 , Panel: HS4
Principal investigator: dr Lidia Ogiela
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Zarządzania
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
Call: OPUS 3 , Panel: HS1
Principal investigator: dr Piotr Lichacz
Instytut Filozofii i Socjologii PAN
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
Call: OPUS 3 , Panel: ST7
Principal investigator: dr hab. Krzysztof Cpałka
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
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
Bioindicative evaluation of aquatic plants in a modified riverbed using artificial neural networks
Call: PRELUDIUM 3 , Panel: NZ9
Principal investigator: dr Daniel Gebler
Uniwersytet Przyrodniczy w Poznaniu, Wydział Melioracji i Inżynierii Środowiska
Call: OPUS 3 , Panel: ST8
Principal investigator: prof. Leszek Dobrzański
Politechnika Śląska, Wydział Mechaniczny Technologiczny
Call: OPUS 3 , Panel: NZ7
Principal investigator: dr hab. Kinga Sałat
Uniwersytet Jagielloński - Collegium Medicum, Collegium Medicum, Wydział Farmaceutyczny