Wyniki wyszukiwania

101. Badania nad zastosowaniem polimerów wdrukowanych molekularnie do analizy substancji farmaceutycznych w układach biologic…

Kierownik: dr Krzysztof Robert Noworyta

Instytut Chemii Fizycznej Polskiej Akademii Nauk

Konkurs: OPUS 10, panel: ST4

102. Analiza alkaloidów chinolinowych metodami spektroskopii oscylacyjnej

Kierownik: Maciej Wojciech Roman

Uniwersytet Jagielloński, Wydział Chemii

Konkurs: PRELUDIUM 3, panel: ST4

103. Portfele blockchainowe -- kryptograficzna teoria i zastosowania

Kierownik: prof. Stefan Michał Dziembowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 18, panel: ST6

104. Struktura produktowa grafów

Kierownik: dr hab. Piotr Micek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: WEAVE-UNISONO, panel: ST6

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

106. Algorytmy globalnego dokowania białek oparte na gruboziarnistym modelu UNRES

Kierownik: dr Paweł Krupa

Uniwersytet Gdański, Wydział Chemii

Konkurs: PRELUDIUM 9, panel: ST4

107. Algorytmy aproksymacyjne bazujące na zaokrąglaniu programów liniowych

Kierownik: Bartosz Michał Rybicki

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 4, panel: ST6

108. Od Gier do Algorytmów: Badanie Wnioskowań w Logikach Deskrypcyjnych

Kierownik: dr hab. Barbara Morawska

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

109. Wszystko, co wiem: składniowe podejście do logiki tylko-wiedzenia

Kierownik: dr hab. Lidia Zofia Tendera

Uniwersytet Opolski

Konkurs: OPUS 29, panel: ST6

110. Nowe metody automatycznego sprawdzania poprawności otwartych wieloagentowych systemów czasu rzeczywistego

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

Akademia im. Jana Długosza w Częstochowie

Konkurs: OPUS 29, panel: ST6

111. Na granicy niemożliwego w klasycznej teorii automatów

Kierownik: dr hab. Paweł Parys

Uniwersytet Warszawski

Konkurs: OPUS 28, panel: ST6

112. Analiza ilościowych modeli obliczeniowych

Kierownik: dr hab. Lorenzo Clemente

Uniwersytet Warszawski

Konkurs: SONATA BIS 14, panel: ST6

113. Wykraczając poza analizę najgorszego przypadku: problemy online z opóźnieniami i stochastycznymi czasami przyjścia

Kierownik: Michał Łukasz Pawłowski

IDEAS NCBR Sp. z o.o.

Konkurs: PRELUDIUM 23, panel: ST6

114. Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji

Kierownik: Bartosz Jan Bednarczyk

Uniwersytet Wrocławski

Konkurs: PRELUDIUM 23, panel: ST6

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

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

Kierownik: dr hab. Jan Otop

Uniwersytet Wrocławski

Konkurs: OPUS 27, panel: ST6

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

Kierownik: dr Małgorzata Sulkowska

Politechnika Wrocławska

Konkurs: OPUS 25, panel: ST6

118. Optymalne i probabilistyczne uczenie operacji kwantowych

Kierownik: dr hab. Zbigniew Włodzimierz Puchała

Instytut Informatyki Teoretycznej i Stosowanej PAN

Konkurs: OPUS 24, panel: ST6

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

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

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

122. Modele obliczeniowe w formalnej weryfikacji

Kierownik: dr Filip Aleksander Mazowiecki

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: SONATA BIS 12, panel: ST6

123. Zaawansowane metody modelowania numerycznego wspomagane narzędziami uczenia maszynowego do przewidywania adsorpcji wody …

Kierownik: Bartosz Mazur

Politechnika Wrocławska

Konkurs: PRELUDIUM 21, panel: ST4

124. Algebra liniowa w wymiarze skończenie-orbitowym

Kierownik: Arka Ghosh

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: PRELUDIUM 21, panel: ST6

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

126. Problem homomorfizmu grafów w strukturalnie ograniczonych klasach

Kierownik: Marta Piecyk

Politechnika Warszawska

Konkurs: PRELUDIUM 21, panel: ST6

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

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

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

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

Kierownik: Karolina Okrasa

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Konkurs: PRELUDIUM 20, panel: ST6

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

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

Kierownik: Jan Kazimierz Derbisz

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 20, panel: ST6

133. Obwody modularne - algorytmy i ograniczenia dolne

Kierownik: Piotr Kawałek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: PRELUDIUM 20, panel: ST6

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

135. Obliczeniowe aspekty gier nieskończonych

Kierownik: dr hab. Paweł Czesław Parys

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 21, panel: ST6

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

137. Efektywne wykorzystanie randomizacji: od szeregowania do AdWords

Kierownik: dr Łukasz Jeż

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 20, panel: ST6

138. Wnioskowanie ilościowe odporne na perturbacje

Kierownik: dr Jakub Dawid Michaliszyn

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: OPUS 20, panel: ST6

139. Charakteryzacja treści informacyjnej struktur grafowych

Kierownik: dr Krzysztof Szymon Turowski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Konkurs: SONATA 16, panel: ST6

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

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

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

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

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

145. Efekty algebraiczne: kompozycja i koindukcja

Kierownik: dr Maciej Adam Piróg

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Konkurs: SONATA 14, panel: ST6

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

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

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

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

150. Uczenie maszynowe i automatyczne dowodzenie twierdzeń

Kierownik: dr hab. Henryk Michalewski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Konkurs: OPUS 15, panel: ST6

Wyszukiwarka projektów