Projects search

• Keywords: technologie kwantowe ×

Change search criteria ↓

Search results

113 projects found matching your search criteria:

51. 51. Optical measurements of mmWaves near resonant structures via Rydberg atomic interface

    Principal investigator: Sebastian Jan Borówka

    Uniwersytet Warszawski

    Call: PRELUDIUM 23, Panel: ST7

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

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

    Principal investigator: dr hab. Jan Otop

    Uniwersytet Wrocławski

    Call: OPUS 27, Panel: ST6

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

55. 55. Modern tools for complex network analysis

    Principal investigator: dr Małgorzata Sulkowska

    Politechnika Wrocławska

    Call: OPUS 25, Panel: ST6

56. 56. Product structure of graphs

    Principal investigator: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: WEAVE-UNISONO, Panel: ST6

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

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

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

60. 60. Counting models in formal verification

    Principal investigator: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA BIS 12, Panel: ST6

61. 61. Polynomial finite state computation

    Principal investigator: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: MAESTRO 14, Panel: ST6

62. 62. Linear algebra in orbit-finite dimension

    Principal investigator: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 21, Panel: ST6

63. 63. Satsifiability and equivalence problems for finite algebras

    Principal investigator: dr Jacek Krzaczkowski

    Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki

    Call: OPUS 23, Panel: ST6

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

    Principal investigator: Marta Piecyk

    Politechnika Warszawska

    Call: PRELUDIUM 21, Panel: ST6

65. 65. Fair Problems and Diverse Solutions in Parameterized Complexity

    Principal investigator: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 17, Panel: ST6

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

67. 67. Generalizations of the graph coloring problem in graphs with forbidden structures

    Principal investigator: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Call: PRELUDIUM 20, Panel: ST6

68. 68. Frontiers of automatic analysis of concurrent systems

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 21, Panel: ST6

69. 69. H-graphs - recognition, isomorphism, and related problems

    Principal investigator: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 20, Panel: ST6

70. 70. Modular circuits - algorithms and lower bounds

    Principal investigator: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: PRELUDIUM 20, Panel: ST6

71. 71. Computational aspects of infinite-duration games

    Principal investigator: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 21, Panel: ST6

72. 72. Finite automata: selected problems and applications connecting different areas

    Principal investigator: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 21, Panel: ST6

73. 73. Leveraging Randomization: From Scheduling to AdWords

    Principal investigator: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

74. 74. Robust Formalisms for Quantitative Reasoning

    Principal investigator: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 20, Panel: ST6

75. 75. Towards Estimation of Information Content for Graph Structures

    Principal investigator: dr Krzysztof Szymon Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA 16, Panel: ST6

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

77. 77. Data-enriched models of computation

    Principal investigator: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 18, Panel: ST6

78. 78. Combinatorial optimization under uncertainty: matroids,matchings and submodular functions

    Principal investigator: dr Marek Piotr Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: SONATA 15, Panel: ST6

79. 79. Analysis and decomposition of a control part of a cyber-physical system specified by an interpreted Petri net.

    Principal investigator: dr hab. Remigiusz Grzegorz Wiśniewski

    Uniwersytet Zielonogórski

    Call: OPUS 18, Panel: ST6

80. 80. Colorings, cliques, and independent sets in graph classes

    Principal investigator: dr hab. Bartosz Maria Walczak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Call: SONATA BIS 9, Panel: ST6

81. 81. Abstract Machines for Programming Languages: Investigations in Formal Interderivations

    Principal investigator: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Call: OPUS 17, Panel: ST6

82. 82. ComCrypt -- Efficient and Secure Algorithms for Joint Compression and Encryption

    Principal investigator: prof. Józef Pieprzyk

    Instytut Podstaw Informatyki PAN

    Call: OPUS 16, Panel: ST6

83. 83. Information hidding and privacy in (mainly) distributed systems

    Principal investigator: prof. Marek Dariusz Klonowski

    Politechnika Wrocławska

    Call: OPUS 15, Panel: ST6

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

85. 85. Pseudoentropy.

    Principal investigator: Maciej Skórski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: PRELUDIUM 9, Panel: ST6

86. 86. Secure domain signature and anonymous credential schemes for smart cards

    Principal investigator: prof. Mirosław Kutyłowski

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

    Call: OPUS 8, Panel: ST6

87. 87. Affiliation hiding group signatures

    Principal investigator: Kamil Krzysztof Kluczniak

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

    Call: PRELUDIUM 8, Panel: ST6

88. 88. Blind signatures and electronic identity documents

    Principal investigator: Lucjan Piotr Hanzlik

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

    Call: PRELUDIUM 8, Panel: ST6

89. 89. Semantic tensor networks for large data sets analysis

    Principal investigator: dr hab. Piotr Gawron

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Call: OPUS 8, Panel: ST6

90. 90. Efficient and Secure Authenticated Encryption - New Designs and Advanced Cryptanalysis

    Principal investigator: prof. Józef Pieprzyk

    Instytut Podstaw Informatyki PAN

    Call: OPUS 8, Panel: ST6

91. 91. Biometric data in security systems with restricted resources - authentication and protection.

    Principal investigator: Wojciech Mariusz Wodo

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

    Call: PRELUDIUM 8, Panel: ST6

92. 92. Cryptography without trusted parties

    Principal investigator: dr Tomasz Piotr Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: SONATA 7, Panel: ST6

93. 93. Foundations of Cryptocurrencies

    Principal investigator: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Call: OPUS 7, Panel: ST6

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

95. 95. Cryptanalysis of a family of Keccak hash functions

    Principal investigator: dr Paweł Kacper Morawiecki

    Instytut Podstaw Informatyki PAN

    Call: SONATA 5, Panel: ST6

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

97. 97. Adversary immune data processing algorithms for ad hoc systems

    Principal investigator: prof. Mirosław Henryk Kutyłowski

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

    Call: HARMONIA 4, Panel: ST6

98. 98. Methods of secure dynamic composition and exploration of VR/AR content and services in distributed environment based on …

    Principal investigator: dr hab. Krzysztof Walczak

    Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

    Call: OPUS 4, Panel: ST6

99. 99. Privacy aspects of selected complex systems.

    Principal investigator: Piotr Syga

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

    Call: PRELUDIUM 4, Panel: ST6

100. 100. Structure and interpretation of programming languages in the "proofs-as-programs" paradigm

     Principal investigator: dr Małgorzata Biernacka

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 2, Panel: ST6