Wyszukiwarka projektów

• Słowa kluczowe: informatyka teoretyczna ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

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

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

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

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

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

155. 155. Kolorowanie z list on-line

     Kierownik: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Konkurs: SONATA 2, panel: ST6

156. 156. Procedury decyzyjne w weryfikacji

     Kierownik: prof. Witold Charatonik

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Konkurs: OPUS 2, panel: ST6

157. 157. Rozgrywany podział grafów: strategie i algorytmy

     Kierownik: dr Bartosz Maria Walczak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Konkurs: PRELUDIUM 2, panel: ST6

158. 158. Wokół logik modalnych - rozstrzygalność i złożoność

     Kierownik: Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Konkurs: PRELUDIUM 2, panel: ST6

159. 159. Metody tworzenia, modelowania i analizy protokołów w intersieciach kwantowych

     Kierownik: dr hab. Jarosław Adam Miszczak

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Konkurs: SONATA 2, panel: ST6

160. 160. Rozwój grafowych metod optymalizacji dyskretnej w zastosowaniach technicznych i biologicznych

     Kierownik: prof. Marek Kubale

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

     Konkurs: MAESTRO 1, panel: ST6

161. 161. Wydajne algorytmy parsowania dla języków o szyku swobodnym

     Kierownik: Paweł Marek Skórzewski

     Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

     Konkurs: PRELUDIUM 1, panel: ST6

162. 162. Obliczenia bazujące na percepcji

     Kierownik: dr Piotr Tomasz Wasilewski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Konkurs: SONATA 1, panel: ST6

163. 163. Uogólnienie entropii i wymiaru entropijnego oraz ich zastosowania

     Kierownik: dr hab. Jacek Tabor

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Konkurs: OPUS 1, panel: ST6

164. 164. Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów.

     Kierownik: dr Artur Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Konkurs: SONATA 1, panel: ST6

165. 165. Gry kwantowe: teoria i implementacja

     Kierownik: prof. Jan Antoni Sładkowski

     UNIWERSYTET ŚLĄSKI, Wydział Matematyki, Fizyki i Chemii

     Konkurs: OPUS 1, panel: ST6

166. 166. Teorioinformacyjne wnioskowanie abdukcyjne dla rekomendacji kontekstowej

     Kierownik: dr Andrzej Michał Szwabe

     Politechnika Poznańska, Wydział Elektryczny

     Konkurs: SONATA 1, panel: ST6

167. 167. Kwantowe fotoniczne sieci memrystorowe

     Kierownik: dr hab. Magdalena Stobińska

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Konkurs: Quant-ERA II Call 2021, panel: ST2

168. 168. Algorytmiczne modele predykcji: własności formalne i konsekwencje filozoficzne

     Kierownik: dr Dariusz Kalociński

     Instytut Podstaw Informatyki PAN

     Konkurs: OPUS 16, panel: HS1

169. 169. Filozoficzna i formalna analiza jakościowych logik przestrzeni

     Kierownik: dr Adam Trybus

     Uniwersytet Zielonogórski, Wydział Humanistyczny

     Konkurs: SONATA 13, panel: HS1

170. 170. Algorytmiczna teoria uczenia się i obliczeniowe modele nabywania kompetencji poznawczych

     Kierownik: dr hab. Marcin Mostowski

     Uniwersytet Warszawski, Wydział Filozofii i Socjologii

     Konkurs: OPUS 6, panel: HS1

171. 171. Nowe metody logiczno-matematyczne w naukach stosowanych i modelowaniu procesów podejmowania decyzji

     Kierownik: prof. Jan Hertrich-Woleński

     Wyższa Szkoła Informatyki i Zarządzania w Rzeszowie, Wydział Administracji i Nauk Społecznych

     Konkurs: OPUS 4, panel: HS1

172. 172. Schematy kryptograficzne a szybkozbieżne łańcuchy Markowa

     Kierownik: dr Filip Tomasz Zagórski

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

     Konkurs: SONATA BIS 3, panel: ST1

173. 173. Dynamika i ograniczone kohomologie

     Kierownik: dr Michał Marcin Marcinkowski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Konkurs: SONATINA 2, panel: ST1

174. 174. Kolorowanie i L(2,1)-etykietowanie geometrycznych grafów przecięć

     Kierownik: Joanna Dorota Chybowska-Sokół

     Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

     Konkurs: PRELUDIUM 12, panel: ST1

175. 175. Algebraiczna struktura obiektów kombinatorycznych

     Kierownik: prof. Andrzej Marian Kisielewicz

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Konkurs: OPUS 11, panel: ST1

176. 176. Kolorowanie geometrycznych grafów przecięć i problemy pokrewne

     Kierownik: dr hab. Bartosz Maria Walczak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Konkurs: SONATA 9, panel: ST1

177. 177. Metody układów dynamicznych i geometrii fraktalnej w badaniu sieci złożonych

     Kierownik: Julia Ewa Romanowska

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Konkurs: PRELUDIUM 7, panel: ST1

178. 178. Algorytmiczne aspekty grafów losowych.

     Kierownik: dr Katarzyna Rybarczyk-Krzywdzińska

     Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

     Konkurs: SONATA 7, panel: ST1

179. 179. Nieregularność i kolorowanie grafów

     Kierownik: prof. Mariusz Woźniak

     Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

     Konkurs: OPUS 5, panel: ST1

180. 180. Problemy planowania i szeregowania z niepewnymi parametrami.

     Kierownik: Adam Andrzej Kurpisz

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

     Konkurs: ETIUDA 1, panel: ST1

181. 181. Zagadnienia algebraiczno-kombinatoryczne dotyczące grup permutacji i półgrup transformacji

     Kierownik: prof. Andrzej Marian Kisielewicz

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Konkurs: OPUS 4, panel: ST1

182. 182. Zastosowania metody kombinatorycznej

     Kierownik: prof. Tomasz Jan Łuczak

     Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

     Konkurs: MAESTRO 3, panel: ST1

183. 183. Algorytmiczne aspekty wyborów w parlamentach

     Kierownik: dr hab. Piotr Faliszewski

     Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Informatyki, Elektroniki i Telekomunikacji

     Konkurs: HARMONIA 3, panel: ST1

184. 184. Kwantowe sieci neuronowe oparte o kanały kwantowe

     Kierownik: Marek Piotr Smaczyński

     Uniwersytet Jagielloński, Wydział Fizyki, Astronomii i Informatyki Stosowanej

     Konkurs: PRELUDIUM 2, panel: ST2

185. 185. Opracowanie wielostanowego komputera DNA poprzez zastosowanie wielu enzymów restrykcyjnych

     Kierownik: dr hab. Tomasz Popławski

     Uniwersytet Łódzki, Wydział Biologii i Ochrony Środowiska

     Konkurs: OPUS 1, panel: NZ2

186. 186. Kolorowania Thue'go w grach

     Kierownik: Michał Adam Zmarz

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Konkurs: PRELUDIUM 1, panel: ST1

187. 187. Algorytmiczny Lokalny Lemat Lovásza jako podwójne zliczanie

     Kierownik: dr Jakub Kozik

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Konkurs: SONATA 1, panel: ST1

188. 188. Etykietowanie i dekompozycje grafów

     Kierownik: dr Sylwia Cichacz-Przeniosło

     Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

     Konkurs: SONATA 1, panel: ST1

189. 189. Analiza struktury grafów skonstruowanych na bazie odwzorowań losowych i przecięć zbiorów losowych.

     Kierownik: prof. Jerzy Włodzimierz Jaworski

     Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

     Konkurs: OPUS 1, panel: ST1

190. 190. Dioscuri Centre in Random Walks in Geometry and Topology

     Kierownik: Mikołaj Frączyk

     Uniwersytet Jagielloński

     Konkurs: DIOSCURI 4, panel: ST1

191. 191. Dioscuri Center in Topological Data Analysis

     Kierownik: dr Paweł Dłotko

     Instytut Matematyczny PAN

     Konkurs: DIOSCURI 2, panel: ST1

192. 192. Strukturalne przepływy między dynamiką kolektywną a sztuczną inteligencją

     Kierownik: dr Jan Paweł Peszek

     Uniwersytet Warszawski

     Konkurs: SONATA BIS 15, panel: ST1

193. 193. Analiza i Geometria w teorii funkcji wielu zmiennych zespolonych

     Kierownik: prof. Włodzimierz Robert Zwonek

     Uniwersytet Jagielloński

     Konkurs: WEAVE-UNISONO, panel: ST1

194. 194. Reprezentacje Galois na granicznych strukturach Hodge'a

     Kierownik: Marcin Krzysztof Oczko

     Uniwersytet Jagielloński

     Konkurs: PRELUDIUM 24, panel: ST1

195. 195. Fale stojące pod ograniczeniami w nieliniowych równaniach różniczkowych cząstkowych

     Kierownik: prof. Jarosław Szymon Mederski

     Instytut Matematyczny Polskiej Akademii Nauk

     Konkurs: OPUS 29, panel: ST1

196. 196. Rozłączność i ergodyczność potoków lokalnie Hamiltonowskich i ich rozszerzeń

     Kierownik: dr Przemysław Berk

     Uniwersytet Mikołaja Kopernika

     Konkurs: OPUS 29, panel: ST1

197. 197. Polonizowalność analitycznych relacji równoważności i uogólniona analiza Scotta

     Kierownik: Mateusz Lichman

     Politechnika Łódzka

     Konkurs: PRELUDIUM 24, panel: ST1

198. 198. Gładkość w zespolonej analizie geometrycznej

     Kierownik: prof. Sławomir Dinew

     Uniwersytet Jagielloński

     Konkurs: OPUS 29, panel: ST1

199. 199. Kombinatoryczne powiązania między topologią i dynamiką

     Kierownik: prof. Marian Mrozek

     Uniwersytet Jagielloński

     Konkurs: OPUS 29, panel: ST1

200. 200. Wymierne grupy homotopii w analizie geometrycznej

     Kierownik: Adam Tomasz Grzela

     Uniwersytet Warszawski

     Konkurs: PRELUDIUM 24, panel: ST1