483 projects found matching your search criteria :
Algebraic Effects and Continuations
Call: POLONEZ 3 , Panel: ST6
Principal investigator: dr Maciej Piróg
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Scalable reasoning about concurrent imperative programs
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Filip Sieczkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
High-performance computing for next-generation DNA sequencing
Call: OPUS 1 , Panel: ST6
Principal investigator: dr Aleksandra Świercz
Instytut Chemii Bioorganicznej, Polskiej Akademii Nauk
One Step From the Relational Model. A Couple of Database Theory Puzzles.
Call: OPUS 12 , Panel: ST6
Principal investigator: prof. Jerzy Marcinkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Strategic Social Network Analysis
Call: OPUS 12 , Panel: ST6
Principal investigator: dr Tomasz Michalak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Automatization of control synthesis for multiple robot systems
Call: OPUS 12 , Panel: ST7
Principal investigator: dr hab. Elżbieta Roszkowska
Politechnika Wrocławska
Analysis and Development of Process Mining Methods Based on Skeletal Algorithms
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Adam Przybyłek
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
RNApolis - methods and algorithms to model and analyse the RNA structure
Call: OPUS 12 , Panel: ST6
Principal investigator: dr hab. Marta Szachniuk
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Call: OPUS 12 , Panel: ST6
Principal investigator: dr hab. Mikołaj Morzy
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Call: PRELUDIUM 12 , Panel: ST6
Principal investigator: dr Michał Tomczyk
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Scheduling in data gathering networks
Call: SONATA 12 , Panel: ST6
Principal investigator: dr Joanna Berlińska
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Call: SONATA 12 , Panel: NZ7
Principal investigator: dr Joanna Gościańska
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Chemii
Online learning algorithms for complex prediction problems
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki i Telekomunikacji
Quantitative properties for higher-order recursion schemes
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Paweł Parys
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic online optimization for graph problems
Call: SONATA BIS 6 , Panel: ST6
Principal investigator: dr hab. Marcin Bieńkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Grammatical inference methods in classification of amyloidogenic proteins
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Olgierd Unold
Politechnika Wrocławska
Identification of mathematical model coefficients of bound water diffusion in wood
Call: HARMONIA 1 , Panel: NZ9
Principal investigator: prof. Wiesław Olek
Uniwersytet Przyrodniczy w Poznaniu, Wydział Technologii Drewna
Efficient similarity search in high dimensional spaces
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Karol Węgrzycki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Adam Gudyś
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Jerzy Konorski
Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki
Symbolic computations on first-order definable objects
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Algorithmic and Axiomatic Analysis of Committee Scoring Rules
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Piotr Faliszewski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Szymon Toruńczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Bogusław Cyganek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Comparative research on commonality in liquidity on the Central and Eastern European stock markets
Call: OPUS 11 , Panel: HS4
Principal investigator: dr hab. Joanna Olbryś
Politechnika Białostocka, Wydział Informatyki
Separability problem in automata theory
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Wojciech Czerwiński
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Throughput maximization problems.
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Łukasz Jeż
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
A quest for new computer logics
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Emanuel Kieroński
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Multilevel algorithms for complex system identification
Call: OPUS 11 , Panel: ST7
Principal investigator: dr hab. Grzegorz Mzyk
Politechnika Wrocławska
Quantitative aspects of computational complexity in lambda calculus
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: dr Maciej Bendkowski
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Andrzej Polański
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Efficient parsing algorithms for free word order languages
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: Paweł Skórzewski
Uniwersytet im. Adama Mickiewicza, Wydział Matematyki i Informatyki
Efficient algorithms for weak forms of non-determinism
Call: SONATA 11 , Panel: ST6
Principal investigator: dr hab. Michał Skrzypczak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The topology of solution spaces of combinatorial problems
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Marcin Wrochna
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 11 , Panel: ST7
Principal investigator: dr hab. Maciej Michałek
Politechnika Poznańska, Wydział Informatyki
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Bartosz Kopczyński
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Effective parallel algorithms for solving partial differential equations
Call: OPUS 11 , Panel: ST1
Principal investigator: dr hab. Leszek Marcinkowski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Modeling and optimization of space division multiplexing (SDM) elastic optical networks
Call: OPUS 11 , Panel: ST7
Principal investigator: dr hab. Mirosław Klinkowski
Instytut Łączności - Państwowy Instytut Badawczy
Random greedy algorithms for hypergraph coloring.
Call: OPUS 11 , Panel: ST6
Principal investigator: dr hab. Jakub Kozik
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Approximation algorithms under data uncertainty
Call: PRELUDIUM 11 , Panel: ST6
Principal investigator: Michał Włodarczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 11 , Panel: ST7
Principal investigator: prof. Janusz Starzyk
Wyższa Szkoła Informatyki i Zarządzania z siedzibą w Rzeszowie, Wydział Informatyki Stosowanej
Algebraic invariants of Data Petri Nets.
Call: SONATA 11 , Panel: ST6
Principal investigator: dr Piotr Hofman
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Soft computing algorithms for adaptive vibration control
Call: SONATA 11 , Panel: ST8
Principal investigator: dr Ziemowit Dworakowski
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Inżynierii Mechanicznej i Robotyki
Models, methods and algorithms of computational network science
Call: OPUS 11 , Panel: ST6
Principal investigator: prof. Przemysław Kazienko
Politechnika Wrocławska
Anticipating human motion intention in human-robot interaction for elderly and autistic children.
Call: PRELUDIUM 11 , Panel: ST7
Principal investigator: Vibekananda Dutta
Politechnika Warszawska, Wydział Mechaniczny Energetyki i Lotnictwa
Call: PRELUDIUM 1 , Panel: ST7
Principal investigator: Tomasz Kornuta
Politechnika Warszawska, Wydział Elektroniki i Technik Informacyjnych
Research on fusion of tensor and soft computing methods for pattern recognition.
Call: OPUS 1 , Panel: ST6
Principal investigator: dr hab. Bogusław Cyganek
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
Call: ETIUDA 4 , Panel: ST7
Principal investigator: Michał Nowicki
Politechnika Poznańska, Wydział Elektryczny
Algorithms And Methods For Next-Generation Crowdsourcing Platforms
Call: OPUS 10 , Panel: ST6
Principal investigator: dr hab. Adam Wierzbicki
Polsko-Japońska Akademia Technik Komputerowych, Wydział Informatyki
Graph separation problems from the perspective of parameterized complexity.
Call: PRELUDIUM 10 , Panel: ST6
Principal investigator: Paweł Komosa
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki