Zmiana języka

Projects search

Change search criteria ↓

Search results

928 projects found matching your search criteria:

  1. 1. Theoretical aspects of voting protocols

    Principal investigator: dr Filip Tomasz Zagórski

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

    Call: SONATA 5, Panel: ST6

  2. 2. Theoretical foundations of interactive theorem provers with unrestricted recursive definitions

    Principal investigator: Łukasz Tadeusz Czajka

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 4, Panel: ST6

  3. 3. Blockchain wallets -- cryptographic theory and applications

    Principal investigator: prof. Stefan Michał Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 18, Panel: ST6

  4. 4. Metody geometryczne w informatyce kwantowej

    Principal investigator: dr Zbigniew Włodzimierz Puchała

    Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

    Call: FUGA 1, Panel: ST6

  5. 5. Theoretical foundation of resilient feature selection methods that ensure predictive model operation in case of partial …

    Principal investigator: Marek Kosma Grzegorowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 16, Panel: ST6

  6. 6. Theoretical and practical homology computation for big data sets.

    Principal investigator: dr Mateusz Grzegorz Juda

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 3, Panel: ST6

  7. 7. Product structure of graphs

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: WEAVE-UNISONO, Panel: ST6

  8. 8. High dimensional model selection with SLOPE - theoretical properties and applications

    Principal investigator: dr hab. Małgorzata Bogdan

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 12, Panel: ST1

  9. 9. Modified versions of Bayesian Information Criteria in a sparse linear regression -- theoretical properties and applicati…

    Principal investigator: Piotr Szulc

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

    Call: PRELUDIUM 3, Panel: ST1

  10. 10. Entropic uncertainty relations and quantum cryptography

    Principal investigator: dr hab. Zbigniew Włodzimierz Puchała

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: OPUS 9, Panel: ST6

  11. 11. 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

  12. 12. 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

  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. Geometric structures behind tensors

    Principal investigator: dr hab. Joachim Jelisiejew

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 13, Panel: ST1

  15. 15. Is near-term quantum supremacy feasible? A runtime-based investigation

    Principal investigator: dr hab. Łukasz Piotr Pawela

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: SONATA BIS 15, Panel: ST6

  16. 16. From Games to Algorithms: Exploring Reasoning in Description Logics

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

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

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

  18. 18. Improving hybrid classical-quantum optimization using machine learning techniques

    Principal investigator: Justyna Jolanta Zawalska

    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

    Call: PRELUDIUM 24, Panel: ST6

  19. 19. New automated verification methods of open real-time multi-agent systems

    Principal investigator: dr hab. Bożena Woźna-Szcześniak

    Akademia im. Jana Długosza w Częstochowie

    Call: OPUS 29, Panel: ST6

  20. 20. Formal verification in data-enriched models of computation

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

    Call: OPUS 28, Panel: ST6

  21. 21. On the border of impossible in classical automata theory

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

    Call: OPUS 28, Panel: ST6

  22. 22. Analysis of quantitative models of computation

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

    Call: SONATA BIS 14, Panel: ST6

  23. 23. Beyond Worst-Case Analysis: Online Problems with Delays and Stochastic Arrival Times

    Principal investigator: Michał Łukasz Pawłowski

    IDEAS NCBR Sp. z o.o.

    Call: PRELUDIUM 23, Panel: ST6

  24. 24. Decision Problems for Logics with Weak Forms of Recursion

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

    Call: PRELUDIUM 23, Panel: ST6

  25. 25. Advancing Petri Net Theory: Deeper understanding to Classical Problems and Integration into Workflow Applications

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski

    Call: OPUS 27, Panel: ST6

  26. 26. Synthesis via active learning: theory and applications

    Principal investigator: dr hab. Jan Otop

    Uniwersytet Wrocławski

    Call: OPUS 27, Panel: ST6

  27. 27. Processing massive string data and beyond: algorithms and conditional lower bounds

    Principal investigator: dr Paweł Maciej Gawrychowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 26, Panel: ST6

  28. 28. Modern tools for complex network analysis

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

    Call: OPUS 25, Panel: ST6

  29. 29. Optimal and probabilistic learning of quantum devices

    Principal investigator: dr hab. Zbigniew Włodzimierz Puchała

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: OPUS 24, Panel: ST6

  30. 30. Effective computations in predicative mathematics

    Principal investigator: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATINA 2, Panel: ST6

  31. 31. Efficiency, robustness and security of distributed systems with more realistic adversarial models.

    Principal investigator: prof. Marek Dariusz Klonowski

    Politechnika Wrocławska

    Call: OPUS 13, Panel: ST6

  32. 32. Classical problems in the theory of finite automata: new approaches, variants, and applications

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 13, Panel: ST6

  33. 33. Symbolic computations on first-order definable objects

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 11, Panel: ST6

  34. 34. Algebraic invariants of Data Petri Nets.

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 11, Panel: ST6

  35. 35. Searching graph structures

    Principal investigator: dr hab. Dariusz Piotr Dereniowski

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

    Call: OPUS 9, Panel: ST6

  36. 36. Blind signatures and electronic identity documents

    Principal investigator: Lucjan Piotr Hanzlik

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

    Call: PRELUDIUM 8, Panel: ST6

  37. 37. Numerical and structural invariants in algebra, logic and constraint satisfaction problems

    Principal investigator: prof. Paweł Maria Idziak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: MAESTRO 6, Panel: ST6

  38. 38. Cryptography without trusted parties

    Principal investigator: dr Tomasz Piotr Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 7, Panel: ST6

  39. 39. Decidability issues for automata on infinite structures

    Principal investigator: prof. Damian Tadeusz Niwiński

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 7, Panel: ST6

  40. 40. Foundations of Cryptocurrencies

    Principal investigator: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 7, Panel: ST6

  41. 41. From nonuniform disk data to leakage-resilient authentication schemes

    Principal investigator: Michał Paweł Zając

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 7, Panel: ST6

  42. 42. Asymptotic methods in lambda calculus and combinatory logic

    Principal investigator: prof. Marek Zaionc

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 6, Panel: ST6

  43. 43. Formal approach to practical problems of information hiding

    Principal investigator: dr hab. Marek Dariusz Klonowski

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

    Call: OPUS 5, Panel: ST6

  44. 44. Synchronization of automata and the Cerny conjecture

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 5, Panel: ST6

  45. 45. Automation of the Problem of Unification in Description Logics

    Principal investigator: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

    Call: POLONEZ BIS 3, Panel: ST6

  46. 46. Dimension and Boolean dimension of partial orders

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: OPUS 24, Panel: ST6

  47. 47. Structure and algorithms for graph classes defined by transduction-closed properties

    Principal investigator: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 18, Panel: ST6

  48. 48. Counting models in formal verification

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 12, Panel: ST6

  49. 49. Polynomial finite state computation

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: MAESTRO 14, Panel: ST6

  50. 50. Linear algebra in orbit-finite dimension

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 21, Panel: ST6

Graphic design and implementation: Jakub Piotrowski