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: 

    09/11/2016 - 12:00

    Speaker: 

    Paweł Foremski, IITiS PAN

    We introduce Entropy/IP: a system that discovers Internet address structure based on analyses of a subset of IPv6 addresses known to be active, i.e., training data, gleaned by readily available passive and active means. The system is completely automated and employs a combination of information-theoretic and machine learning techniques to probabilistically model IPv6 addresses.

  • Director of Institute of Theoretical and Applied Informatics,
    Polish Academy of Sciences announces open competition for
    research assistant position in Quantum Systems of Informatics Group
  • Date: 

    13/07/2016 - 13:15

    Speaker: 

    Agata Mendys, Muzeum Narodowe w Krakowie

    Due to their non-invasive nature analytical techniques based on reflectance spectroscopy are almost ideal for the analysis of such sensitive and valuable objects as works of art. Point reflection spectroscopy can be extended in the direction of the analysis performed on the entire surface to perform hyperspectral imaging. Large amounts of data, obtained by this method, in conjunction with statistical analysis become a source of new information about studied objects and open up new possibilities in the field of non-destructive testing of historic buildings.

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

Pages