About the Institute

Institute of Theoretical and Applied Informatics, Polish Academy of Sciences is a research institute whose science activity concentrates in the area of Information Technology. The Institute is also involved in training an advanced level technical and scientific staff and both initiates and participates in projects aimed at development of innovative commercial sector. ITAI takes part in realization of Polish Academy of Sciences' mission of advancement promotion, integration and dissemination of Polish science and contributes to education and national culture.

  • Date: 

    30/05/2016 - 12:30

    Speaker: 

    Renata Onety, Manaus University, Brazil
  • Date: 

    15/06/2016 - 13:15

    Speaker: 

    Daniel Burgarth, Aberystwyth University

    Which algorithms could you run on a given quantum device? I give an introduction into the concept of "reachable operations" in controlled quantum systems. In practice, quantum devices will be noisy, so it is important to characterise the reachable set of open quantum systems. This, however, brings many mathematical challenges, which I will briefly discuss. I then provide a case study of a qubit in a bath of spin 1/2 particles, for which the reachability question can be solved analytically, and provide numerical results using an open-source software library developed by our group. 

  • Date: 

    11/05/2016 - 13:15

    Speaker: 

    Jarosław Duda, Jagiellonian University

    The standard way of choosing stochastic models (transition probabilities) in many cases turns out to be in disagreement with experiment, correctly described by quantum mechanics. For example it would allow electrons to freely travel through defected lattice of semiconductor, while we know that it is not a conductor - these electrons are statistically imprisoned (Anderson localization).

  • Date: 

    13/04/2016 - 13:15

    Speaker: 

    Waldemar Kłobus, Uniwersytet Adama Mickiewicza w Poznaniu

    We develop a general operational framework that formalizes the concept of conditional uncertainty in a measure-independent fashion. The formalism is built around a mathematical relation that we call conditional majorization. We define and characterize conditional majorization, and use it to develop tools for the construction of measures of the conditional uncertainty of individual measurements, and also of the joint conditional uncertainty of sets of measurements.

  • Date: 

    09/03/2016 - 13:15

    Speaker: 

    Jarosław Duda, Uniwersytet Jagielloński
    Entropy coding is the heart of most of data compressors. Standard methods are Huffman coding - fast but inaccurate (suboptimal), and arithmetic/range coding - accurate but an order of magnitude slower (costly). I will tell about new approach: Asymmetric Numeral Systems, which is accurate while having cost similar to Huffman coding. It is for example used in Apple LZFSE (default compressor in iOS9 and OS X 10.11) or CRAM 3.0 DNA compressor of European Bioinformatics Institute.
  • Date: 

    04/02/2016 - 12:00

    Speaker: 

    Krisztian Buza, Budapest University of Technology and Economics

    Prediction on a numeric scale, i.e., regression, is one of the most prominent machine learning tasks with various applications in finance, medicine, social and natural sciences. Due to its simplicity, theoretical performance guarantees and successful real-world applications, one of the most popular regression techniques is the k nearest neighbor regression.

Pages