Zmiana języka

Projects search

Change search criteria ↓

Search results

41 projects found matching your search criteria:

  1. 1. Algebraic theory for CSP (tractability, approximation and optimization)

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 7, Panel: ST6

  2. 2. Computational complexity of some connectivity problems

    Principal investigator: dr hab. Marcin Jakub Kamiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 4, Panel: ST6

  3. 3. Quantitative aspects of computational complexity in lambda calculus

    Principal investigator: dr Maciej Maria Bendkowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 11, Panel: ST6

  4. 4. Dimension and representations of partially ordered sets: computational complexity, bounds and structural properties

    Principal investigator: dr Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA BIS 5, Panel: ST6

  5. 5. Expedite EM-driven Multi-objective Antenna Design Using Surrogate-Based Optimization

    Principal investigator: prof. Sławomir Marcin Kozieł

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

    Call: OPUS 6, Panel: ST7

  6. 6. LINEAR COMPUTATIONAL COST AND MEMORY USAGE HYBRID SOLVERS FOR PROBLEMS OF ELECTROMAGNETIC WAVES PROPAGATION OVER THE HUM…

    Principal investigator: dr hab. Maciej Paszyński

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

    Call: HARMONIA 3, Panel: ST1

  7. 7. Distributed deductive systems for classical and non-classical logics. Proof theory supported with computational methods

    Principal investigator: dr hab. Dorota Leszczyńska-Jasion

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

    Call: SONATA BIS 7, Panel: HS1

  8. 8. Analysis of quantitative models of computation

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

    Call: SONATA BIS 14, Panel: ST6

  9. 9. Counting models in formal verification

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 12, Panel: ST6

  10. 10. Methods for the similarity analysis of low complexity regions in proteins

    Principal investigator: dr Patryk Paweł Jarnot

    Politechnika Śląska, Wydział Automatyki, Elektroniki i Informatyki

    Call: PRELUDIUM 20, Panel: ST6

  11. 11. Quantum Information in Quantum Field Theories and Holography: Dynamics and Complexity.

    Principal investigator: dr hab. Paweł Piotr Caputa

    Uniwersytet Warszawski, Wydział Fizyki

    Call: SONATA BIS 9, Panel: ST2

  12. 12. Energy-Aware and Computationally-Intelligent Cooperative Wireless Networks: EcoNets

    Principal investigator: prof. Hanna Bogucka

    Politechnika Poznańska, Wydział Elektroniki i Telekomunikacji

    Call: OPUS 6, Panel: ST7

  13. 13. Automatic reasoning about specifications in simple logics - decidability and complexity issues

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

    Call: OPUS 5, Panel: ST6

  14. 14. Continuous problems: optimality, complexity, tractability

    Principal investigator: prof. Leszek Plaskota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 5, Panel: ST1

  15. 15. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

    Principal investigator: dr hab. Marcin Mostowski

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: OPUS 6, Panel: HS1

  16. 16. The graph homomorphism problem in structurally restricted classes

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

    Call: PRELUDIUM 21, Panel: ST6

  17. 17. DATALOG in Constraint Satisfaction Problem

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 1, Panel: ST6

  18. 18. Everything I know: a syntactical approach to only-knowing

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

  19. 19. Constraint Satisfaction Problems: beyond the finite case

    Principal investigator: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: WEAVE-UNISONO, Panel: ST6

  20. 20. Constraint Satisfaction Problems for infinite homogeneous structures: towards algorithms

    Principal investigator: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 19, Panel: ST6

  21. 21. Impact of input data alteration and modification of the algorithm parameters on the efficiency of quantum programs

    Principal investigator: dr hab. Jarosław Adam Miszczak

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: OPUS 17, Panel: ST6

  22. 22. Algebraic techniques for parallelising algorithms

    Principal investigator: dr Przemysław Konstanty Uznański

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 17, Panel: ST6

  23. 23. Graph modeling of search processes

    Principal investigator: dr hab. Dariusz Piotr Dereniowski

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

    Call: OPUS 16, Panel: ST6

  24. 24. Optimality program in graph homomorphism problems

    Principal investigator: dr Paweł Rzążewski

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Call: SONATA 14, Panel: ST6

  25. 25. Around optimality of dynamic programming algorithms

    Principal investigator: dr Adam Polak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 14, Panel: ST6

  26. 26. Robust optimization algorithms for problems with uncertain data

    Principal investigator: dr Maciej Drwal

    Politechnika Wrocławska

    Call: SONATA 13, Panel: ST6

  27. 27. Discrete optimization problems under uncertainty - models and algorithms

    Principal investigator: prof. Paweł Zieliński

    Politechnika Wrocławska

    Call: OPUS 13, Panel: ST6

  28. 28. New challanges for IBC

    Principal investigator: prof. Henryk Woźniakowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 13, Panel: ST1

  29. 29. Hybridizing Fragments of Halpern-Shoham Logic

    Principal investigator: Przemysław Andrzej Wałęga

    Uniwersytet Warszawski, Wydział Filozofii i Socjologii

    Call: PRELUDIUM 12, Panel: HS1

  30. 30. Scheduling in data gathering networks

    Principal investigator: dr Joanna Berlińska

    Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

    Call: SONATA 12, Panel: ST6

  31. 31. Algorithmic and Axiomatic Analysis of Committee Scoring Rules

    Principal investigator: dr hab. Piotr Faliszewski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

    Call: OPUS 11, Panel: ST6

  32. 32. A quest for new computer logics

    Principal investigator: dr hab. Emanuel Grzegorz Kieroński

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 11, Panel: ST6

  33. 33. Searching graph structures

    Principal investigator: dr hab. Dariusz Piotr Dereniowski

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

    Call: OPUS 9, Panel: ST6

  34. 34. Application of modern algorithmic methods for solving NP-hard clustering problems.

    Principal investigator: Krzysztof Sornat

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 9, Panel: ST6

  35. 35. Algorithms for robust discrete optimization

    Principal investigator: dr hab. Adam Andrzej Kasperski

    Politechnika Wrocławska, Wydział Informatyki i Zarządzania

    Call: OPUS 5, Panel: ST6

  36. 36. Tractability of non-homogenous multivariate problems

    Principal investigator: dr Paweł Siedlecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 4, Panel: ST1

  37. 37. Algorithmic Aspects of Elections within Parliaments

    Principal investigator: dr hab. Piotr Faliszewski

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

    Call: HARMONIA 3, Panel: ST1

  38. 38. Complex models in scheduling problems and methods of their solution

    Principal investigator: prof. Adam Antoni Janiak

    Instytut Badań Systemowych PAN

    Call: OPUS 2, Panel: ST6

  39. 39. Development of graph-theoretical methods of discrete optimization in technological and biological applications

    Principal investigator: prof. Marek Kubale

    Politechnika Gdańska, Wydział Elektroniki, Telekomunikacji i Informatyki

    Call: MAESTRO 1, Panel: ST6

  40. 40. Deductive systems and decidability problem for hybrid logics

    Principal investigator: dr Michał Ksawery Zawidzki

    Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

    Call: PRELUDIUM 1, Panel: HS1

  41. 41. Constraint Satisfaction Problems and Quantified Constraint Satisfaction Problems in the context of Temporal Reasoning.

    Principal investigator: dr Michał Wrona

    Politechnika Wrocławska, Wydział Podstawowych Problemów Techniki

    Call: SONATA 1, Panel: ST6

Graphic design and implementation: Jakub Piotrowski