957 projects found matching your search criteria :
A Theoretical and Experimental Study of the Knobe Effect and the Butler Problem
Call: OPUS 6 , Panel: HS1
Principal investigator: dr hab. Katarzyna Paprzycka-Hausman
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Call: OPUS 6 , Panel: HS1
Principal investigator: dr hab. Tadeusz Ciecierski
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Specification development and software verification
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Andrzej Tarlecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Wojciech Kotłowski
Politechnika Poznańska, Wydział Informatyki
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Pavel Sevastsyanau
Politechnika Częstochowska, Wydział Inżynierii Mechanicznej i Informatyki
Development of knowledge retrieval methods for Linked Data
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: Jędrzej Potoniec
Politechnika Poznańska, Wydział Informatyki
Optimality in parameterized complexity
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Michał Pilipczuk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Challenges in semistructural data management
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Filip Murlak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Graphs within graphs: from well-quasi-orders to algorithms
Call: PRELUDIUM 6 , Panel: ST6
Principal investigator: dr Jean-Florent Raymond
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Energy-Aware and Computationally-Intelligent Cooperative Wireless Networks: EcoNets
Call: OPUS 6 , Panel: ST7
Principal investigator: prof. Hanna Bogucka
Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji
Call: PRELUDIUM 1 , Panel: ST6
Principal investigator: dr Michał Matuszak
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Models and algorithms for some discrete-continuous project scheduling problems
Call: OPUS 6 , Panel: ST6
Principal investigator: dr hab. Grzegorz Waligóra
Politechnika Poznańska, Wydział Informatyki
On new techniques for matching and flow problems
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Bartłomiej Bosek
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Asymptotic methods in lambda calculus and combinatory logic
Call: OPUS 6 , Panel: ST6
Principal investigator: prof. Marek Zaionc
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
New directions in multiple criteria decision aiding based on holistic preference information
Call: SONATA 6 , Panel: ST6
Principal investigator: dr Miłosz Kadziński
Politechnika Poznańska, Wydział Informatyki
Multi-scale model of tumor dynamics as a key component of the system for optimal anti-cancer therapy
Call: HARMONIA 5 , Panel: ST6
Principal investigator: prof. Witold Dzwinel
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
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
Modeling of abductive reasoning
Call: SONATA BIS 3 , Panel: HS1
Principal investigator: dr hab. Mariusz Urbański
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki
Culture or Biology? Art as Natural Category in Evolutionary Aesthetics
Call: OPUS 5 , Panel: HS1
Principal investigator: dr Jerzy Luty
Wyższa Szkoła Oficerska Wojsk Lądowych im. Generała Tadeusza Kościuszki we Wrocławiu
New methods of comprehensive analysis of concurrent computing systems
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Łukasz Mikulski
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Call: OPUS 5 , Panel: ST6
Principal investigator: prof. Jacek Cichoń
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Methods for combining one-class classifiers
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Bartosz Krawczyk
Politechnika Wrocławska, Wydział Elektroniki
Combinatorial and information theory aspects of communication in distributed systems.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marcin Kardas
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Algorithm engineering for full-text indexes
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Szymon Grabowski
Politechnika Łódzka, Wydział Elektrotechniki, Elektroniki, Informatyki i Automatyki
Modelling of man - environment relations of Poznań Lakeland lake landscape.
Call: PRELUDIUM 5 , Panel: HS4
Principal investigator: Piotr Dzieszko
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Nauk Geograficznych i Geologicznych
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Łukasz Faber
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji
A parallel memetic algorithm for solving complex transportation problems.
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: Jakub Nalepa
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: SONATA 5 , Panel: NZ1
Principal investigator: dr Radosław Pilarski
Instytut Chemii Bioorganicznej PAN
Consistent and scalable learning algorithms for structured output prediction
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Krzysztof Dembczyński
Politechnika Poznańska, Wydział Informatyki
Theoretical aspects of voting protocols
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Filip Zagórski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Statistical foundations in detection of modular structures in complex networks
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Jeremi Ochab
Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej
Cryptanalysis of a family of Keccak hash functions
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Paweł Morawiecki
Instytut Podstaw Informatyki Polskiej Akademii Nauk
Formal approach to practical problems of information hiding
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Marek Klonowski
Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki
Tractable Game-Theoretic Network Centrality Measures
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Tomasz Michalak
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
The explanatory role of the concept of introspection in light of cognitive sciences
Call: PRELUDIUM 5 , Panel: HS1
Principal investigator: dr Joanna Komorowska-Mach
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Novel Methods of Multimedia Content Distribution in the Next Generation Cellular Networks
Call: SONATA 1 , Panel: ST6
Principal investigator: dr Arkadiusz Biernacki
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Novel active learning querying strategy for the machine learning models
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Wojciech Czarnecki
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Frontiers of tractability for recursive queries
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Filip Mazowiecki
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Jan Bazan
Uniwersytet Rzeszowski, Wydział Matematyczno-Przyrodniczy
Machine learning methods for complex networks
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Przemysław Kazienko
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Resource management in selfish and cooperative distributed systems
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Piotr Skowron
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Multi-criteria methods for designing algorithms that learn combinatorial games strategies
Call: SONATA 5 , Panel: ST6
Principal investigator: dr Wojciech Jaśkowski
Politechnika Poznańska, Wydział Informatyki
Frontiers of automatic verification: new methods of analysis of infinite-state systems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Sławomir Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Online algorithms for fundamental network problems
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Marcin Bieńkowski
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Gaze-dependent image synthesis
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Radosław Mantiuk
Zachodniopomorski Uniwersytet Technologiczny w Szczecinie, Wydział Informatyki
Algorithms for robust discrete optimization
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Adam Kasperski
Politechnika Wrocławska, Wydział Informatyki i Zarządzania
Automatic reasoning about specifications in simple logics - decidability and complexity issues
Call: OPUS 5 , Panel: ST6
Principal investigator: dr hab. Lidia Tendera
Uniwersytet Opolski
Synchronization of automata and the Cerny conjecture
Call: PRELUDIUM 5 , Panel: ST6
Principal investigator: dr Marek Szykuła
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki
Call: OPUS 1 , Panel: ST6
Principal investigator: prof. Andrzej Polański
Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki
Call: OPUS 5 , Panel: HS4
Principal investigator: dr hab. Anna Ławrynowicz
Politechnika Warszawska, Wydział Zarządzania