Projects search

• Keywords: informatyka teoretyczna ×

Change search criteria ↓

Search results

928 projects found matching your search criteria:

151. 151. Coloring games on graphs and partially ordered sets

     Principal investigator: prof. Jarosław Andrzej Grytczuk

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 2, Panel: ST6

152. 152. Research on properties of alliances and secure sets seen as a subset of vertices which satisfies a certain conditions.

     Principal investigator: Katarzyna Jesse-Józefczyk

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

     Call: PRELUDIUM 1, Panel: ST6

153. 153. DATALOG in Constraint Satisfaction Problem

     Principal investigator: dr hab. Marcin Andrzej Kozik

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 1, Panel: ST6

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

155. 155. On-line choosability

     Principal investigator: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: SONATA 2, Panel: ST6

156. 156. Decision procedures in verification

     Principal investigator: prof. Witold Charatonik

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 2, Panel: ST6

157. 157. Graph sharing games: strategies and algorithms

     Principal investigator: dr Bartosz Maria Walczak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 2, Panel: ST6

158. 158. Around Modal Logics - Decidability and Complexity

     Principal investigator: Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 2, Panel: ST6

159. 159. Methods of development, modelling and analysis of quantum internetworking protocols

     Principal investigator: dr hab. Jarosław Adam Miszczak

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Call: SONATA 2, Panel: ST6

160. 160. Development of graph-theoretical methods of discrete optimization in technological and biological applications

     Principal investigator: prof. Marek Kubale

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

     Call: MAESTRO 1, Panel: ST6

161. 161. Efficient parsing algorithms for free word order languages

     Principal investigator: Paweł Marek Skórzewski

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

     Call: PRELUDIUM 1, Panel: ST6

162. 162. Perception Based Computing

     Principal investigator: dr Piotr Tomasz Wasilewski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 1, Panel: ST6

163. 163. Generalisation of the entropy and entropy dimension and their applications

     Principal investigator: dr hab. Jacek Tabor

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 1, Panel: ST6

164. 164. Efficient algorithms and representations in formal languages and automata theory.

     Principal investigator: dr Artur Jeż

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATA 1, Panel: ST6

165. 165. Quantum games: theory and implementation

     Principal investigator: prof. Jan Antoni Sładkowski

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

     Call: OPUS 1, Panel: ST6

166. 166. Information-theoretic abductive reasoning for context-based recommendation

     Principal investigator: dr Andrzej Michał Szwabe

     Politechnika Poznańska, Wydział Elektryczny

     Call: SONATA 1, Panel: ST6

167. 167. Photonic Quantum Memristor Networks

     Principal investigator: dr hab. Magdalena Stobińska

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: Quant-ERA II Call 2021, Panel: ST2

168. 168. Algorithmic models of prediction: formal properties and philosophical implications

     Principal investigator: dr Dariusz Kalociński

     Instytut Podstaw Informatyki PAN

     Call: OPUS 16, Panel: HS1

169. 169. Philosophical and formal analysis of qualitative spatial logics

     Principal investigator: dr Adam Trybus

     Uniwersytet Zielonogórski, Wydział Humanistyczny

     Call: SONATA 13, Panel: HS1

170. 170. Algorithmic Learning Theory and Computational Models of Cognitive Capabilities Acquisition

     Principal investigator: dr hab. Marcin Mostowski

     Uniwersytet Warszawski, Wydział Filozofii i Socjologii

     Call: OPUS 6, Panel: HS1

171. 171. New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

     Principal investigator: prof. Jan Hertrich-Woleński

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

     Call: OPUS 4, Panel: HS1

172. 172. Cryptographic schemes based on rapidly mixing Markov chains

     Principal investigator: dr Filip Tomasz Zagórski

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

     Call: SONATA BIS 3, Panel: ST1

173. 173. Dynamics and bounded cohomoogy

     Principal investigator: dr Michał Marcin Marcinkowski

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: SONATINA 2, Panel: ST1

174. 174. Coloring and L(2,1)-labeling of geometric intersection graphs

     Principal investigator: Joanna Dorota Chybowska-Sokół

     Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

     Call: PRELUDIUM 12, Panel: ST1

175. 175. Algebraic structure of combinatorial objects

     Principal investigator: prof. Andrzej Marian Kisielewicz

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 11, Panel: ST1

176. 176. Coloring geometric intersection graphs and related problems

     Principal investigator: dr hab. Bartosz Maria Walczak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: SONATA 9, Panel: ST1

177. 177. Methods of dynamical systems and fractal geometry in the study of complex networks

     Principal investigator: Julia Ewa Romanowska

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 7, Panel: ST1

178. 178. Algorithmic aspects of random graphs.

     Principal investigator: dr Katarzyna Rybarczyk-Krzywdzińska

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

     Call: SONATA 7, Panel: ST1

179. 179. Irregularity and colorings of graphs

     Principal investigator: prof. Mariusz Woźniak

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

     Call: OPUS 5, Panel: ST1

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

     Principal investigator: Adam Andrzej Kurpisz

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

     Call: ETIUDA 1, Panel: ST1

181. 181. Problems in algebraic combinatorics concerning permutation groups and transformation semigroups

     Principal investigator: prof. Andrzej Marian Kisielewicz

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 4, Panel: ST1

182. 182. Applications of the combinatorial method

     Principal investigator: prof. Tomasz Jan Łuczak

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

     Call: MAESTRO 3, Panel: ST1

183. 183. Algorithmic Aspects of Elections within Parliaments

     Principal investigator: dr hab. Piotr Faliszewski

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

     Call: HARMONIA 3, Panel: ST1

184. 184. Quantum neural network based on a quantum channels

     Principal investigator: Marek Piotr Smaczyński

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

     Call: PRELUDIUM 2, Panel: ST2

185. 185. Construction of multi-state DNA computer working with more than one restriction enzymes

     Principal investigator: dr hab. Tomasz Popławski

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

     Call: OPUS 1, Panel: NZ2

186. 186. Thue games

     Principal investigator: Michał Adam Zmarz

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 1, Panel: ST1

187. 187. Algorithmic Local Lovász Lemma as double counting

     Principal investigator: dr Jakub Kozik

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: SONATA 1, Panel: ST1

188. 188. Graph labeling and decompositions

     Principal investigator: dr Sylwia Cichacz-Przeniosło

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

     Call: SONATA 1, Panel: ST1

189. 189. An analysis of the structure of graphs basing on random mappings and intersections of random sets.

     Principal investigator: prof. Jerzy Włodzimierz Jaworski

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

     Call: OPUS 1, Panel: ST1

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

     Principal investigator: Mikołaj Frączyk

     Uniwersytet Jagielloński

     Call: DIOSCURI 4, Panel: ST1

191. 191. Dioscuri Center in Topological Data Analysis

     Principal investigator: dr Paweł Dłotko

     Instytut Matematyczny PAN

     Call: DIOSCURI 2, Panel: ST1

192. 192. Structured Flows Across Collective Dynamics and AI

     Principal investigator: dr Jan Paweł Peszek

     Uniwersytet Warszawski

     Call: SONATA BIS 15, Panel: ST1

193. 193. Analysis and Geometry in Several Complex Variables

     Principal investigator: prof. Włodzimierz Robert Zwonek

     Uniwersytet Jagielloński

     Call: WEAVE-UNISONO, Panel: ST1

194. 194. Galois representations on limiting Hodge structures

     Principal investigator: Marcin Krzysztof Oczko

     Uniwersytet Jagielloński

     Call: PRELUDIUM 24, Panel: ST1

195. 195. Standing Waves Under Constraints in Nonlinear Partial Differential Equations

     Principal investigator: prof. Jarosław Szymon Mederski

     Instytut Matematyczny Polskiej Akademii Nauk

     Call: OPUS 29, Panel: ST1

196. 196. Disjointness and ergodicity of locally Hamiltonian flows and their extensions

     Principal investigator: dr Przemysław Berk

     Uniwersytet Mikołaja Kopernika

     Call: OPUS 29, Panel: ST1

197. 197. Polishability of analytic equivalence relations and generalized Scott analysis

     Principal investigator: Mateusz Lichman

     Politechnika Łódzka

     Call: PRELUDIUM 24, Panel: ST1

198. 198. The quest for smoothness in complex geometric analysis

     Principal investigator: prof. Sławomir Dinew

     Uniwersytet Jagielloński

     Call: OPUS 29, Panel: ST1

199. 199. Combinatorial links between topology and dynamics

     Principal investigator: prof. Marian Mrozek

     Uniwersytet Jagielloński

     Call: OPUS 29, Panel: ST1

200. 200. Rational homotopy groups in geometric analysis

     Principal investigator: Adam Tomasz Grzela

     Uniwersytet Warszawski

     Call: PRELUDIUM 24, Panel: ST1