Zmiana języka

Projects search

Change search criteria ↓

Search results

1 512 projects found matching your search criteria:

  1. 1. Affective computing: deep learning in emotion recognition from physiological signals

    Principal investigator: prof. Przemysław Ryszard Kazienko

    Politechnika Wrocławska

    Call: OPUS 19, Panel: ST6

  2. 2. Podstawy informatyki i inżynierii kwantowej

    Principal investigator: dr Adam Rutkowski

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

    Call: FUGA 1, Panel: ST2

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

  4. 4. Wykorzystanie uczenia maszynowego w informatyce kwantowej

    Principal investigator: Mateusz Michał Ostaszewski

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: ETIUDA 6, Panel: ST6

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

    Principal investigator: prof. Stefan Michał Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 18, Panel: ST6

  6. 6. IT specialists in outsourcing centers for business services in Poland. Sociological study of experience of work

    Principal investigator: dr Szymon Pilch

    Uniwersytet Wrocławski, Wydział Nauk Społecznych

    Call: PRELUDIUM 20, Panel: HS6

  7. 7. Application of braid groups in physics and in informatics (for 2D Hall systems - explanation of composite fermion struct…

    Principal investigator: prof. Lucjan Jacak

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

    Call: MAESTRO 1, Panel: ST3

  8. 8. Quantum switch with continuous control: from foundations to advantages in quantum information

    Principal investigator: Jorge Ignacio Escandón Monardes

    Uniwersytet Gdański

    Call: SONATINA 9, Panel: ST2

  9. 9. Advancing entanglement catalysis: Foundations and applications in quantum information science

    Principal investigator: dr hab. Alexander Streltsov

    Instytut Podstawowych Problemów Techniki Polska Akademia Nauk

    Call: OPUS 28, Panel: ST2

  10. 10. Between quantum information and thermodynamics: on allowed thermodynamical quantum state-to-state transitions.

    Principal investigator: Piotr Maciej Ćwikliński

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

    Call: PRELUDIUM 9, Panel: ST2

  11. 11. Product structure of graphs

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: WEAVE-UNISONO, Panel: ST6

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

  13. 13. Properties of generic quantum communication channels

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

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: SONATA BIS 6, Panel: ST6

  14. 14. Synthesis and analysis of cyber-physical systems: a framework of Granular Computing.

    Principal investigator: prof. Witold Pedrycz

    Sieć Badawcza ŁUKASIEWICZ - Instytut Techniki i Aparatury Medycznej ITAM

    Call: OPUS 13, Panel: ST6

  15. 15. Certifying Genuine Randomness with arbitrarily Inefficient Detectors

    Principal investigator: dr Anubhav Chaturvedi

    Politechnika Gdańska, Wydział Fizyki Technicznej i Matematyki Stosowanej

    Call: SONATINA 6, Panel: ST2

  16. 16. Certification of randomness in quantum systems of arbitrary dimension

    Principal investigator: dr Jakub Jan Borkała

    Centrum Fizyki Teoretycznej PAN

    Call: SONATINA 4, Panel: ST2

  17. 17. Qualitative and quantitative studies on the randomness of the measurement outcomes in quantum mechanics

    Principal investigator: dr Marcin Pawłowski

    Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

    Call: HARMONIA 4, Panel: ST2

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

  19. 19. Impact of Composition and Cooling Rate on Mechanical Properties of High Entropy Metallic Glasses

    Principal investigator: dr Silvia Bonfanti

    Narodowe Centrum Badań Jądrowych

    Call: SONATA BIS 13, Panel: ST3

  20. 20. Machine learning analysis of radiological images in selected clinical problems.

    Principal investigator: Michał Klimont

    Uniwersytet Medyczny im. Karola Marcinkowskiego w Poznaniu

    Call: ETIUDA 8, Panel: NZ5

  21. 21. The role of science in development of Polish science-fiction literature.

    Principal investigator: Szymon Piotr Kukulak

    Uniwersytet Jagielloński, Wydział Polonistyki

    Call: PRELUDIUM 6, Panel: HS2

  22. 22. Using semantic technologies in monitoring of Internet based information trustworthiness

    Principal investigator: Kinga Bożena Kajfosz

    Uniwersytet Ekonomiczny w Katowicach, Wydział Informatyki i Komunikacji

    Call: PRELUDIUM 1, Panel: HS4

  23. 23. The usage of social network sites in local contexts. Comparative study.

    Principal investigator: dr Piotr Cichocki

    Uniwersytet Warszawski, Wydział Historyczny

    Call: PRELUDIUM 1, Panel: HS3

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

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

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

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

    Principal investigator: dr hab. Barbara Morawska

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

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

    Principal investigator: dr hab. Lidia Zofia Tendera

    Uniwersytet Opolski

    Call: OPUS 29, Panel: ST6

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

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

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

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski

    Call: OPUS 28, Panel: ST6

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

    Principal investigator: dr hab. Paweł Parys

    Uniwersytet Warszawski

    Call: OPUS 28, Panel: ST6

  33. 33. Analysis of quantitative models of computation

    Principal investigator: dr hab. Lorenzo Clemente

    Uniwersytet Warszawski

    Call: SONATA BIS 14, Panel: ST6

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

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

    Principal investigator: Bartosz Jan Bednarczyk

    Uniwersytet Wrocławski

    Call: PRELUDIUM 23, Panel: ST6

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

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

    Principal investigator: dr hab. Jan Otop

    Uniwersytet Wrocławski

    Call: OPUS 27, Panel: ST6

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

  39. 39. Modern tools for complex network analysis

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

    Call: OPUS 25, Panel: ST6

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

  41. 41. Effective computations in predicative mathematics

    Principal investigator: dr Michał Roman Przybyłek

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATINA 2, Panel: ST6

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

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

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

  45. 45. Algebraic invariants of Data Petri Nets.

    Principal investigator: dr Piotr Hofman

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 11, Panel: ST6

  46. 46. Searching graph structures

    Principal investigator: dr hab. Dariusz Piotr Dereniowski

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

    Call: OPUS 9, Panel: ST6

  47. 47. Blind signatures and electronic identity documents

    Principal investigator: Lucjan Piotr Hanzlik

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

    Call: PRELUDIUM 8, Panel: ST6

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

  49. 49. Cryptography without trusted parties

    Principal investigator: dr Tomasz Piotr Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 7, Panel: ST6

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

Graphic design and implementation: Jakub Piotrowski