Wyszukiwarka projektów

• Słowa kluczowe: technologie kwantowe ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 113 projektów spełniających kryteria wyszukiwania:

51. 51. Optyczne pomiary fal milimetrowych w pobliżu struktur rezonansowych poprzez interfejs atomów rydbergowskich

    Kierownik: Sebastian Jan Borówka

    Uniwersytet Warszawski

    Konkurs: PRELUDIUM 23, panel: ST7

52. 52. Rozwijanie Teorii Sieci Petriego: Głębsze zrozumienie Klasycznych Problemów i Ich Zastosowania w Procesach Przepływów Ro…

    Kierownik: dr Piotr Hofman

    Uniwersytet Warszawski

    Konkurs: OPUS 27, panel: ST6

53. 53. Synteza poprzez aktywne uczenie się: teoria i zastosowania

    Kierownik: dr hab. Jan Otop

    Uniwersytet Wrocławski

    Konkurs: OPUS 27, panel: ST6

54. 54. Przetwarzanie olbrzymich danych tekstowych i ich uogólnień: algorytmy i warunkowe ograniczenia dolne

    Kierownik: dr Paweł Maciej Gawrychowski

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: OPUS 26, panel: ST6

55. 55. Nowoczesne narzędzia analizy sieci złożonych

    Kierownik: dr Małgorzata Sulkowska

    Politechnika Wrocławska

    Konkurs: OPUS 25, panel: ST6

56. 56. Struktura produktowa grafów

    Kierownik: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: WEAVE-UNISONO, panel: ST6

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

    Kierownik: dr hab. Barbara Joanna Morawska

    Uniwersytet Opolski, Instytut Informatyki

    Konkurs: POLONEZ BIS 3, panel: ST6

58. 58. Wymiar i Boolowski wymiar częściowych porządków

    Kierownik: dr hab. Piotr Micek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: OPUS 24, panel: ST6

59. 59. Struktura i algorytmy dla klas grafów definiowanych przez własności zamknięte na transdukcje

    Kierownik: dr Jakub Gajarský

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA 18, panel: ST6

60. 60. Modele obliczeniowe w formalnej weryfikacji

    Kierownik: dr Filip Aleksander Mazowiecki

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA BIS 12, panel: ST6

61. 61. Skończenie stanowe obliczenia wielomianowe

    Kierownik: prof. Mikołaj Bojańczyk

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: MAESTRO 14, panel: ST6

62. 62. Algebra liniowa w wymiarze skończenie-orbitowym

    Kierownik: Arka Ghosh

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: PRELUDIUM 21, panel: ST6

63. 63. Problemy spełnialności i równoważności dla skończonych algebr

    Kierownik: dr Jacek Krzaczkowski

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

    Konkurs: OPUS 23, panel: ST6

64. 64. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

    Kierownik: Marta Piecyk

    Politechnika Warszawska

    Konkurs: PRELUDIUM 21, panel: ST6

65. 65. Problemy sprawiedliwego podziału oraz różnorodność rozwiązań w złożoności parametryzowanej

    Kierownik: dr Tomáš Masařík

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA 17, panel: ST6

66. 66. Problemy Spełnialności Więzów: poza przypadek skończony

    Kierownik: dr hab. Marcin Andrzej Kozik

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: WEAVE-UNISONO, panel: ST6

67. 67. Uogólnienia problemu kolorowania w grafach z zabronionymi strukturami

    Kierownik: Karolina Okrasa

    Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

    Konkurs: PRELUDIUM 20, panel: ST6

68. 68. Granice automatycznej analizy systemów współbieżnych

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 21, panel: ST6

69. 69. H-grafy - rozpoznawanie, izomorfizm i problemy pokrewne

    Kierownik: Jan Kazimierz Derbisz

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: PRELUDIUM 20, panel: ST6

70. 70. Obwody modularne - algorytmy i ograniczenia dolne

    Kierownik: Piotr Kawałek

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: PRELUDIUM 20, panel: ST6

71. 71. Obliczeniowe aspekty gier nieskończonych

    Kierownik: dr hab. Paweł Czesław Parys

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 21, panel: ST6

72. 72. Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań

    Kierownik: dr Marek Szykuła

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: OPUS 21, panel: ST6

73. 73. Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

    Kierownik: dr Łukasz Jeż

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: OPUS 20, panel: ST6

74. 74. Wnioskowanie ilościowe odporne na perturbacje

    Kierownik: dr Jakub Dawid Michaliszyn

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: OPUS 20, panel: ST6

75. 75. Charakteryzacja treści informacyjnej struktur grafowych

    Kierownik: dr Krzysztof Szymon Turowski

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: SONATA 16, panel: ST6

76. 76. Problemy spełnialności więzów dla nieskończonych struktur jednorodnych: w stronę algorytmów

    Kierownik: dr hab. Michał Maria Wrona

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: OPUS 19, panel: ST6

77. 77. Modele obliczeń rozszerzone o dane

    Kierownik: prof. Sławomir Grzegorz Lasota

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 18, panel: ST6

78. 78. Optymalizacja kombinatoryczna w warunkach niepewności: matroidy, skojarzenia i funkcje submodularne

    Kierownik: dr Marek Piotr Adamczyk

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: SONATA 15, panel: ST6

79. 79. Analiza oraz dekompozycja części sterującej systemu cyber-fizycznego opisanego z zastosowaniem interpretowanej sieci Pet…

    Kierownik: dr hab. Remigiusz Grzegorz Wiśniewski

    Uniwersytet Zielonogórski

    Konkurs: OPUS 18, panel: ST6

80. 80. Kolorowania, kliki i zbiory niezależne w klasach grafów

    Kierownik: dr hab. Bartosz Maria Walczak

    Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

    Konkurs: SONATA BIS 9, panel: ST6

81. 81. Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne

    Kierownik: prof. Witold Charatonik

    Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

    Konkurs: OPUS 17, panel: ST6

82. 82. ComCrypt -- Wydajne i Bezpieczne Algorytmy do Jednoczesnej Kompresji i Szyfrowania

    Kierownik: prof. Józef Pieprzyk

    Instytut Podstaw Informatyki PAN

    Konkurs: OPUS 16, panel: ST6

83. 83. Ukrywanie informacji i prywatność w systemach (głównie) rozproszonych

    Kierownik: prof. Marek Dariusz Klonowski

    Politechnika Wrocławska

    Konkurs: OPUS 15, panel: ST6

84. 84. Wydajność, odporność i bezpieczeństwo systemów rozproszonych dla bardziej realistycznych modeli adwersarzy.

    Kierownik: prof. Marek Dariusz Klonowski

    Politechnika Wrocławska

    Konkurs: OPUS 13, panel: ST6

85. 85. Pseudoentropia.

    Kierownik: Maciej Skórski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: PRELUDIUM 9, panel: ST6

86. 86. Bezpieczne schematy podpisów domenowych i anonimowych poświadczeń dla kart mikroprocesorowych

    Kierownik: prof. Mirosław Kutyłowski

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

    Konkurs: OPUS 8, panel: ST6

87. 87. Podpisy grupowe ukrywające afiliację

    Kierownik: Kamil Krzysztof Kluczniak

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

    Konkurs: PRELUDIUM 8, panel: ST6

88. 88. Ślepe podpisy i elektroniczne dokumenty tożsamości

    Kierownik: Lucjan Piotr Hanzlik

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

    Konkurs: PRELUDIUM 8, panel: ST6

89. 89. Semantyczne sieci tensorowe do analizy wielkich zbiorów danych

    Kierownik: dr hab. Piotr Gawron

    Instytut Informatyki Teoretycznej i Stosowanej PAN

    Konkurs: OPUS 8, panel: ST6

90. 90. Wydajne i bezpieczne algorytmy szyfrowania z uwierzytelnianiem - nowe rozwiązania i zaawansowana kryptoanaliza

    Kierownik: prof. Józef Pieprzyk

    Instytut Podstaw Informatyki PAN

    Konkurs: OPUS 8, panel: ST6

91. 91. Dane biometryczne w systemach bezpieczeństwa z ograniczonymi zasobami - uwierzytelnianie i ich ochrona.

    Kierownik: Wojciech Mariusz Wodo

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

    Konkurs: PRELUDIUM 8, panel: ST6

92. 92. Kryptografia bez zaufanych stron

    Kierownik: dr Tomasz Piotr Kazana

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: SONATA 7, panel: ST6

93. 93. Formalne podstawy kryptowalut

    Kierownik: dr hab. Stefan Dziembowski

    Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

    Konkurs: OPUS 7, panel: ST6

94. 94. Teoretyczne aspekty protokołów wyborczych

    Kierownik: dr Filip Tomasz Zagórski

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

    Konkurs: SONATA 5, panel: ST6

95. 95. Kryptoanaliza rodziny funkcji skrótu Keccak

    Kierownik: dr Paweł Kacper Morawiecki

    Instytut Podstaw Informatyki PAN

    Konkurs: SONATA 5, panel: ST6

96. 96. Formalne podejście do praktycznych problemów ukrywaniu informacji

    Kierownik: dr hab. Marek Dariusz Klonowski

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

    Konkurs: OPUS 5, panel: ST6

97. 97. Przetwarzanie danych w sieciach ad hoc odporne na działanie adwersarza

    Kierownik: prof. Mirosław Henryk Kutyłowski

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

    Konkurs: HARMONIA 4, panel: ST6

98. 98. Metody bezpiecznej dynamicznej kompozycji i eksploracji treści i usług VR/AR w rozproszonym środowisku z wykorzystaniem …

    Kierownik: dr hab. Krzysztof Walczak

    Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

    Konkurs: OPUS 4, panel: ST6

99. 99. Aspekty prywatności wybranych systemów złożonych.

    Kierownik: Piotr Syga

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

    Konkurs: PRELUDIUM 4, panel: ST6

100. 100. Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy"

     Kierownik: dr Małgorzata Biernacka

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Konkurs: OPUS 2, panel: ST6