Projects search

• Keywords: informatyka ×

Change search criteria ↓

Search results

1 512 projects found matching your search criteria:

151. 151. The BDD/FC Conjecture and beyond

     Principal investigator: Tomasz Mirosław Gogacz

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 5, Panel: ST6

152. 152. New methods in parametric model checking

     Principal investigator: Michał Józef Knapik

     Instytut Podstaw Informatyki PAN

     Call: PRELUDIUM 4, Panel: ST6

153. 153. LP rounding approximation algorithms

     Principal investigator: Bartosz Michał Rybicki

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 4, Panel: ST6

154. 154. Algorithms concerning the legibility of natural deduction proofs

     Principal investigator: dr Karol Pąk

     Uniwersytet w Białymstoku, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 4, Panel: ST6

155. 155. A new notion of finiteness in computation theory

     Principal investigator: dr hab. Mikołaj Bojańczyk

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 4, Panel: ST6

156. 156. Modular operational semantics: a bialgebraic approach

     Principal investigator: dr hab. Bartosz Klin

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA BIS 2, Panel: ST6

157. 157. Automatisation of constructive logic

     Principal investigator: dr hab. Aleksy Andrzej Schubert

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 4, Panel: ST6

158. 158. parameters of finite models

     Principal investigator: dr Eryk Kopczyński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 4, Panel: ST6

159. 159. Limits of decidability in automata theory

     Principal investigator: dr Paweł Parys

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 4, Panel: ST6

160. 160. Distributed Computing in Dynamic Networks

     Principal investigator: dr hab. Tomasz Jurdziński

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: HARMONIA 3, Panel: ST6

161. 161. Simulation and bisimulation for context-free and pushdown systems

     Principal investigator: dr Piotr Hofman

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 3, Panel: ST6

162. 162. Hierarchy-type Problems for Automata on Infinite Words and Trees

     Principal investigator: dr Michał Paweł Skrzypczak

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 3, Panel: ST6

163. 163. Business process discovery methods and process calculus for RESTful systems.

     Principal investigator: Andrzej Marek Stroiński

     Politechnika Poznańska, Wydział Informatyki

     Call: PRELUDIUM 3, Panel: ST6

164. 164. Ramsey numbers containing C_4

     Principal investigator: Janusz Dybizbański

     Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

     Call: PRELUDIUM 3, Panel: ST6

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

166. 166. On-line choosability

     Principal investigator: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: SONATA 2, Panel: ST6

167. 167. Decision procedures in verification

     Principal investigator: prof. Witold Charatonik

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: OPUS 2, Panel: ST6

168. 168. Graph sharing games: strategies and algorithms

     Principal investigator: dr Bartosz Maria Walczak

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 2, Panel: ST6

169. 169. Around Modal Logics - Decidability and Complexity

     Principal investigator: Jakub Dawid Michaliszyn

     Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

     Call: PRELUDIUM 2, Panel: ST6

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

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

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

173. 173. Perception Based Computing

     Principal investigator: dr Piotr Tomasz Wasilewski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 1, Panel: ST6

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

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

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

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

     Principal investigator: dr Andrzej Michał Szwabe

     Politechnika Poznańska, Wydział Elektryczny

     Call: SONATA 1, Panel: ST6

178. 178. Boosting Neural Network Efficiency by Examining Early Training Patterns

     Principal investigator: Mateusz Piotr Pyla

     Uniwersytet Jagielloński

     Call: PRELUDIUM 24, Panel: ST6

179. 179. High-Dimensional Data Processing using Sample Compression and Dimensionality Reduction

     Principal investigator: dr Kunal Dutta

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: OPUS 26, Panel: ST6

180. 180. Computable structure theory, and philosophy of mathematical structuralism

     Principal investigator: dr Dariusz Kalociński

     Instytut Podstaw Informatyki PAN

     Call: OPUS 25, Panel: HS1

181. 181. Algorithmic Nullstellensatz

     Principal investigator: dr hab. Bartłomiej Emil Bosek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 18, Panel: ST6

182. 182. ComCrypt -- Efficient and Secure Algorithms for Joint Compression and Encryption

     Principal investigator: prof. Józef Pieprzyk

     Instytut Podstaw Informatyki PAN

     Call: OPUS 16, Panel: ST6

183. 183. Information hidding and privacy in (mainly) distributed systems

     Principal investigator: prof. Marek Dariusz Klonowski

     Politechnika Wrocławska

     Call: OPUS 15, Panel: ST6

184. 184. Structure theory for posets

     Principal investigator: dr Piotr Micek

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: UWERTURA 2, Panel: ST1

185. 185. Pseudoentropy.

     Principal investigator: Maciej Skórski

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: PRELUDIUM 9, Panel: ST6

186. 186. Generalizations of recognition problems in classes of graphs with geometric and order representations

     Principal investigator: dr Tomasz Krawczyk

     Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

     Call: OPUS 9, Panel: ST6

187. 187. Secure domain signature and anonymous credential schemes for smart cards

     Principal investigator: prof. Mirosław Kutyłowski

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

     Call: OPUS 8, Panel: ST6

188. 188. Affiliation hiding group signatures

     Principal investigator: Kamil Krzysztof Kluczniak

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

     Call: PRELUDIUM 8, Panel: ST6

189. 189. Semantic tensor networks for large data sets analysis

     Principal investigator: dr hab. Piotr Gawron

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Call: OPUS 8, Panel: ST6

190. 190. Efficient and Secure Authenticated Encryption - New Designs and Advanced Cryptanalysis

     Principal investigator: prof. Józef Pieprzyk

     Instytut Podstaw Informatyki PAN

     Call: OPUS 8, Panel: ST6

191. 191. Biometric data in security systems with restricted resources - authentication and protection.

     Principal investigator: Wojciech Mariusz Wodo

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

     Call: PRELUDIUM 8, Panel: ST6

192. 192. Minimization of disturbance in quantum walk based algorithms and protocols.

     Principal investigator: Przemysław Wiesław Sadowski

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Call: PRELUDIUM 6, Panel: ST6

193. 193. Quantum Bayesian networks

     Principal investigator: Dariusz Łukasz Kurzyk

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Call: PRELUDIUM 6, Panel: ST6

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

195. 195. Cryptanalysis of a family of Keccak hash functions

     Principal investigator: dr Paweł Kacper Morawiecki

     Instytut Podstaw Informatyki PAN

     Call: SONATA 5, Panel: ST6

196. 196. Adversary immune data processing algorithms for ad hoc systems

     Principal investigator: prof. Mirosław Henryk Kutyłowski

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

     Call: HARMONIA 4, Panel: ST6

197. 197. Algorithm for identification of probabilistic graphical model for multisensor input data

     Principal investigator: dr Michał Piotr Cholewa

     Instytut Informatyki Teoretycznej i Stosowanej PAN

     Call: PRELUDIUM 4, Panel: ST6

198. 198. Methods of secure dynamic composition and exploration of VR/AR content and services in distributed environment based on …

     Principal investigator: dr hab. Krzysztof Walczak

     Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

     Call: OPUS 4, Panel: ST6

199. 199. Computational complexity of some connectivity problems

     Principal investigator: dr hab. Marcin Jakub Kamiński

     Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

     Call: SONATA 4, Panel: ST6

200. 200. Privacy aspects of selected complex systems.

     Principal investigator: Piotr Syga

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

     Call: PRELUDIUM 4, Panel: ST6