483 projects found matching your search criteria :
Optymalizacja wydajności obliczeniowej metody elementów skończonych w architekturze CUDA
Call: ETIUDA 1 , Panel: ST7
Principal investigator: Adam Dziekoński
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Energy-efficient Models and Algorithms for Future Generation Computing and Networking Systems
Call: MAESTRO 4 , Panel: ST6
Principal investigator: prof. Jan Węglarz
Politechnika Poznańska, Wydział Informatyki
Call: HARMONIA 4 , Panel: ST7
Principal investigator: prof. Andrzej Materka
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Zbigniew Paszkiewicz
Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej
Regularization algorithms for the processing of NMR spectra of metabolite mixtures
Call: HARMONIA 4 , Panel: ST4
Principal investigator: dr Krzysztof Kazimierczuk
Uniwersytet Warszawski, Centrum Nowych Technologii Uniwersytetu Warszawskiego
Multiaspect text document categorization
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Sławomir Zadrożny
Instytut Badań Systemowych PAN
New methods in parametric model checking
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Michał Knapik
Instytut Podstaw Informatyki PAN
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Maciej Karaszewski
Politechnika Warszawska, Wydział Mechatroniki
Social robot control for multiparty human-robot interaction
Call: PRELUDIUM 4 , Panel: ST7
Principal investigator: Mateusz Żarkowski
Politechnika Wrocławska, Wydział Elektroniki
Design and Analysis of Scalable Algorithms for Wireless Networks
Call: OPUS 4 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: PRELUDIUM 4 , Panel: ST7
Principal investigator: dr Piotr Bigaj
Przemysłowy Instytut Automatyki i Pomiarów PIAP
Call: PRELUDIUM 4 , Panel: ST7
Principal investigator: Łukasz Wiśniewski
Centrum Badań Kosmicznych PAN
Call: OPUS 4 , Panel: ST7
Principal investigator: dr hab. Tomasz Markiewicz
Politechnika Warszawska, Wydział Elektryczny
Call: OPUS 4 , Panel: ST7
Principal investigator: dr Adam Styk
Politechnika Warszawska, Wydział Mechatroniki
LP rounding approximation algorithms
Call: PRELUDIUM 4 , Panel: ST6
Principal investigator: Bartosz Rybicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
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
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: OPUS 4 , Panel: ST7
Principal investigator: dr hab. Krzysztof Walkowiak
Politechnika Wrocławska, Wydział Elektroniki
Algorithms for process control using computer vision systems
Call: OPUS 4 , Panel: ST7
Principal investigator: prof. Ewaryst Rafajłowicz
Politechnika Wrocławska, Wydział Elektroniki
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
Algorithmic Local Lovász Lemma as double counting
Call: SONATA 1 , Panel: ST1
Principal investigator: dr Jakub Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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
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
Search for gravitational waves from rotating neutron stars using hardware accelerators
Call: OPUS 4 , Panel: ST9
Principal investigator: dr hab. Michał Bejger
Centrum Astronomiczne im. Mikołaja Kopernika PAN
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
Hybrid hydro-electric transmission systems witch energy recovery
Call: OPUS 1 , Panel: ST8
Principal investigator: dr hab. Wiesław Grzesikiewicz
Politechnika Warszawska, Wydział Samochodów i Maszyn Roboczych
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
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
New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making
Call: OPUS 4 , Panel: HS1
Principal investigator: prof. Jan Hertrich-Woleński
Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych
Distributed Computing in Dynamic Networks
Call: HARMONIA 3 , Panel: ST6
Principal investigator: dr hab. Tomasz Jurdziński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Nonsmooth Systems in Mathematical Theory of Contact Mechanics
Call: MAESTRO 3 , Panel: ST1
Principal investigator: prof. Stanisław Migórski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
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
Algorithmic Aspects of Elections within Parliaments
Call: HARMONIA 3 , Panel: ST1
Principal investigator: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: PRELUDIUM 3 , Panel: ST6
Principal investigator: Rafał Łysiak
Politechnika Wrocławska, Wydział Elektroniki
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
Algorithms of new democratization. Polish art in digital era.
Call: OPUS 1 , Panel: HS2
Principal investigator: dr hab. Agnieszka Jelewska-Michaś
Uniwersytet im. Adama Mickiewicza, Wydział Filologii Polskiej i Klasycznej
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
Effective parallel algorithms for solving partial differential equations
Call: OPUS 1 , Panel: ST1
Principal investigator: prof. Maksymilian Dryja
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 3 , Panel: ST7
Principal investigator: dr hab. Mariusz Malinowski
Politechnika Warszawska, Wydział Elektryczny
Call: OPUS 3 , Panel: NZ7
Principal investigator: dr hab. Kinga Sałat
Uniwersytet Jagielloński - Collegium Medicum, Collegium Medicum, Wydział Farmaceutyczny
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
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
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