Projects funded by the NCN

From nonuniform disk data to leakage-resilient authentication schemes

Call: PRELUDIUM 7 , Panel: ST6

Principal investigator: Michał Zając

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Challenges in semistructural data management

Call: SONATA 6 , Panel: ST6

Principal investigator: dr Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Automatic reasoning about specifications in simple logics - decidability and complexity issues

Call: OPUS 5 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski

The BDD/FC Conjecture and beyond

Call: PRELUDIUM 5 , Panel: ST6

Principal investigator: Tomasz Gogacz

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Color image retrieval system based on the multichannel analysis of spatial information.

Call: SONATA 1 , Panel: ST6

Principal investigator: dr Maria Łuszczkiewicz-Piątek

Uniwersytet Łódzki, Wydział Matematyki i Informatyki

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

Call: OPUS 4 , Panel: ST6

Principal investigator: dr hab. Krzysztof Walczak

Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

The effect of distribution of internal electric fields on the optical properties of low-dimensional structures of nitrid...

Call: OPUS 3 , Panel: ST3

Principal investigator: dr hab. Agata Kamińska

Instytut Fizyki PAN

First Order Logic and Beyond. Some Puzzles in Database Theory.

Call: OPUS 23 , Panel: ST6

Principal investigator: prof. Jerzy Marcinkowski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

From expressive description logics to mulit-variable fragments of first-order logic: resoning in finite structures

Call: OPUS 21 , Panel: ST6

Principal investigator: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Automatic generation of user's manual for web applications

Call: PRELUDIUM 2 , Panel: ST6

Principal investigator: Bartosz Alchimowicz

Politechnika Poznańska, Wydział Informatyki

Methods of development, modelling and analysis of quantum internetworking protocols

Call: SONATA 2 , Panel: ST6

Principal investigator: dr hab. Jarosław Miszczak

Instytut Informatyki Teoretycznej i Stosowanej PAN

Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

Call: OPUS 16 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

Infinity in reasoning about data and knowledge

Call: SONATA BIS 8 , Panel: ST6

Principal investigator: dr hab. Filip Murlak

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

The usage of social network sites in local contexts. Comparative study.

Call: PRELUDIUM 1 , Panel: HS3

Principal investigator: dr Piotr Cichocki

Uniwersytet Warszawski, Wydział Historyczny

The Impact of Intranet Portals on Knowledge Management Advancements in Service Organizations

Call: HARMONIA 1 , Panel: HS4

Principal investigator: dr hab. Marcin Sikorski

POLITECHNIKA GDAŃSKA, Wydział Zarządzania i Ekonomii

Limits of Databases

Call: SONATA 11 , Panel: ST6

Principal investigator: dr Szymon Toruńczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

A quest for new computer logics

Call: OPUS 11 , Panel: ST6

Principal investigator: dr hab. Emanuel Kieroński

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki