Wyniki wyszukiwania

51. Formalne podstawy kryptowalut

Kierownik: dr hab. Stefan Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 7, panel: ST6

52. Od niejednostajnych danych dyskowych do uwierzytelniania odpornego na wycieki

Kierownik: Michał Paweł Zając

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 7, panel: ST6

53. Asymptotyczne metody w rachunku lambda i logice kombinatorycznej

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 6, panel: ST6

54. Teoretyczne aspekty protokołów wyborczych

Kierownik: dr Filip Tomasz Zagórski

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

Konkurs: SONATA 5, panel: ST6

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

56. Synchronizacja automatów i hipoteza Cerny'ego

Kierownik: dr Marek Szykuła

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 5, panel: ST6

57. Podstawy teoretyczne systemów wspomagania dowodzenia zezwalających na nieograniczone definicje rekurencyjne.

Kierownik: Łukasz Tadeusz Czajka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 4, panel: ST6

58. Rozgrywane kolorowanie grafów i zbiorów częściowo uporządkowanych

Kierownik: prof. Jarosław Andrzej Grytczuk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 2, panel: ST6

59. Badanie własności koalicji i zbiorów bezpiecznych w grafach rozumianych jako podzbiory wierzchołków spełniające określon…

Kierownik: Katarzyna Jesse-Józefczyk

Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii

Konkurs: PRELUDIUM 1, panel: ST6

60. DATALOG w Problemie Spełnialności Więzów

Kierownik: dr hab. Marcin Andrzej Kozik

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 1, panel: ST6

61. Struktury geometryczne tensorów

Kierownik: dr hab. Joachim Jelisiejew

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 13, panel: ST1

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

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

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

65. Modele obliczeniowe w formalnej weryfikacji

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 12, panel: ST6

66. Skończenie stanowe obliczenia wielomianowe

Kierownik: prof. Mikołaj Bojańczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: MAESTRO 14, panel: ST6

67. Algebra liniowa w wymiarze skończenie-orbitowym

Kierownik: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 21, panel: ST6

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

69. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Kierownik: Marta Piecyk

Politechnika Warszawska

Konkurs: PRELUDIUM 21, panel: ST6

70. Wewnątrz Logiki I Rzędu i poza nią. Zagadki teorii baz danych.

Kierownik: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 23, panel: ST6

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

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

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

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Konkurs: PRELUDIUM 20, panel: ST6

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

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

Kierownik: Jan Kazimierz Derbisz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 20, panel: ST6

76. Obwody modularne - algorytmy i ograniczenia dolne

Kierownik: Piotr Kawałek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 20, panel: ST6

77. Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach sk…

Kierownik: dr hab. Emanuel Grzegorz Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 21, panel: ST6

78. Obliczeniowe aspekty gier nieskończonych

Kierownik: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 21, panel: ST6

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

80. Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 20, panel: ST6

81. Wnioskowanie ilościowe odporne na perturbacje

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 20, panel: ST6

82. Charakteryzacja treści informacyjnej struktur grafowych

Kierownik: dr Krzysztof Szymon Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: SONATA 16, panel: ST6

83. Efektywne pamięciowo kodowanie problemów kombinatorycznych do kwantowych obliczeń wariacyjnych

Kierownik: dr Adam Piotr Glos

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: PRELUDIUM 19, panel: ST6

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

85. Modele obliczeń rozszerzone o dane

Kierownik: prof. Sławomir Grzegorz Lasota

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 18, panel: ST6

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

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

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

89. Wpływ zmiany danych wejściowych i modyfikacji parametrów algorytmu na wydajność programów kwantowych

Kierownik: dr hab. Jarosław Adam Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: OPUS 17, panel: ST6

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

91. Efekty algebraiczne: kompozycja i koindukcja

Kierownik: dr Maciej Adam Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA 14, panel: ST6

92. Ilościowe badania teorii mnogości. Czy ZF i ZFC są asymptotycznie równoważne?

Kierownik: prof. Marek Zaionc

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: OPUS 16, panel: ST6

93. Wyzwania dla automatycznego wnioskowania w rozstrzygalnych fragmentach logiki pierwszego rzędu: drzewa, porządki i licze…

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Konkurs: OPUS 16, panel: ST6

94. Program optymalności w problemach homomorfizmu grafów

Kierownik: dr Paweł Rzążewski

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Konkurs: SONATA 14, panel: ST6

95. Nieskończoność we wnioskowaniu o danych i wiedzy

Kierownik: dr hab. Filip Marek Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 8, panel: ST6

96. Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 15, panel: ST6

97. Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Kierownik: Bartosz Paweł Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 15, panel: ST6

98. Zastosowanie algorytmiki w kontekście wybranych zagadnień społecznych i ekonomicznych.

Kierownik: Krzysztof Sornat

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: ETIUDA 6, panel: ST6

99. Programowanie dynamiczne z gwarancjami

Kierownik: Karol Zbigniew Węgrzycki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: ETIUDA 6, panel: ST6

100. Dolne ograniczenia złożoności problemów rozwiązywalnych w czasie wielomianowym

Kierownik: dr Adam Teodor Polak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: ETIUDA 6, panel: ST6

Wyszukiwarka projektów