O instytucie

Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk (IITiS PAN) jest instytutem naukowym, którego działalność naukowa koncentruje się w dziedzinie technologii informatycznych. Instytut zajmuje się również szkoleniem personelu technicznego i naukowego na zaawansowanym poziomie. Inicjuje i uczestniczy w projektach mających na celu rozwój innowacyjnego sektora komercyjnego. IITIS PAN bierze udział w realizacji misji Polskiej Akademii Nauk w zakresie promocji, integracji i upowszechnianiu polskiej nauki.

  • Dyrektor i Rada Naukowa Instytutu Informatyki Teoretycznej i Stosowanej PAN

    zapraszają na publiczną obronę rozprawy doktorskiej

    mgra inż. Łukasza Paweli

    Tytuł rozprawy

    Open system in quantum informatics

    Obrona doktorska odbędzie się w dniu 10.05.2017 roku w siedzibie Instytutu przy ul. Bałtyckiej5, w sali konferencyjnej (I piętro).

    Rozpoczęcie obrony doktorskiej o godz. 10:00.

    Rozprawa doktorska jest broniona w dziedzinie nauki techniczne w dyscyplinie informatyka.

    Promotor:

    dr hab. inż. Piotr Gawron, Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

    Recenzenci:

    dr Jan Bouda, Wydział Informatyki Uniwersytet im. T. Masaryka, Brno
    dr hab. Piotr Zawadzki, Instytut Elektroniki Politechniki Śląskiej
     
    Z opiniami recenzentów i streszczeniem rozprawy można się zapoznać na stronie internetowej Instytutu, oraz w bibliotece IITiS PAN. W bibliotece Instytutu można dodatkowo zapoznać się z rozprawą.
    Więcej informacji

  • Dyrektor i Rada Naukowa Instytutu Informatyki Teoretycznej i Stosowanej PAN

    zapraszają na publiczną obronę rozprawy doktorskiej

    mgra inż. Przemysława Sadowskiego

    Tytuł rozprawy

    Quantum walks: various models and their algorithmic applications

    Obrona doktorska odbędzie się w dniu 10.05.2017 roku w siedzibie Instytutu przy ul. Bałtyckiej 5, w sali konferencyjnej (I piętro).

    Rozpoczęcie obrony doktorskiej o godz. 12:00.

    Rozprawa doktorska jest broniona w dziedzinie nauki techniczne w dyscyplinie informatyka.

    Promotor:

    dr hab. Jarosław Miszczak, Instytut Informatyki Teoretycznej i Stosowanej Polskiej Akademii Nauk

    Recenzenci:

    dr hab. Paweł Kurzyński, Uniwersytet im. Adama Mickiewicza w Poznaniu
    dr Daniel Nagaj, Słowacka Akademia Nauk, Bratysława, Słowacja
     
    Z opiniami recenzentów i streszczeniem rozprawy można się zapoznać na stronie internetowej Instytutu, oraz w bibliotece IITiS PAN. W bibliotece Instytutu można dodatkowo zapoznać się z rozprawą.
    Więcej informacji

  • Komisyjne zasady oceny: teoria i eksperymenty

    Autor: Piotr Gawron | Data utworzenia: 31.03.2017 | Ostatnia modyfikacja: 07.06.2017

    Data: 

    27/04/2017 - 13:15

    Prelegent: 

    Piotr Faliszewski, Akademia Górniczo-Hutnicza

    W ramach referatu przedstawię kilka zagadnień związanych z wyborem grupy osób (tzw. komitetu). Problem wyboru komitetu ma liczne zastosowania, od np. zagadnienia tworzenia tzw. krótkiej listy, przez wybór produktów do umieszczenia na stronie internetowej sklepu, po wybór parlamentu (a w mniejszej skali, np. wybór elektorów na uczelni). Przedstawię wyniki symulacji szeregu systemów wyborczych oraz omówię kwestie złożoności obliczeniowej oraz własności aksjomatycznych.

    Czytaj dalej

  • Sieci tensorowe na przykładzie toric code

    Autor: Zbigniew Puchała | Data utworzenia: 30.03.2017 | Ostatnia modyfikacja: 18.06.2018

    Data: 

    05/04/2017 - 13:15

    Prelegent: 

    Anna Francuz, Uniwersytet Jagielloński

    W trakcie referatu wprowadzę formalizm sieci tensorowych i przedstawię ich adekwatność do opisu stanów podstawowych układów wielu ciał. Następnie wprowadzę najprostszy model posiadający uporządkowanie topologiczne przedstawiony przez Alexei Kitaev'a, znany pod nazwą toric code. Na jego przykładzie skonstruuję dwywymiarową sieć tensorową PEPS (Projected Entangled Pair States) opisującą stan podstawowy modelu i przedstawię cel mojego projektu, tj. zbadanie statystyki wzbudzeń anionowych.

    Czytaj dalej

  • Quantum walks and their exceptional configurations

    Autor: Jarosław Miszczak | Data utworzenia: 15.02.2017 | Ostatnia modyfikacja: 18.06.2018

    Data: 

    22/02/2017 - 13:00

    Prelegent: 

    Nikolay Nahimov, University of Latvia

    Błądzenie kwantowe to odpowiednik kwantowe błądzenia losowego. Są one przydatne przy projektowaniu algorytmów kwantowych, które przewyższają ich klasyczne wersje dla różnych problemów wyszukiwania. Większość wyników rozważa przestrzeń poszukiwań zawierającą tylko jeden wyraźny element. Pokażemy, że jeśli przestrzeń poszukiwań zawiera więcej niż jeden zaznaczony element kwantowe przyśpieszenie może zniknąć.

    Czytaj dalej

  • Information theoretic limitations on quantum key repeaters

    Autor: Zbigniew Puchała | Data utworzenia: 06.02.2017 | Ostatnia modyfikacja: 18.06.2018

    Data: 

    15/02/2017 - 13:15

    Prelegent: 

    Karol Horodecki, Uniwersytet Gdański

    Seminarium będzie poświęcone wynikom przedstawionym w pracy http://www.nature.com/articles/ncomms7908. Głównym zastosowaniem kwantowej komunikacji jest rozdzielenie splątanych cząstek które można użyć do kwantowej dystrybucji klucza kryptograficznego.

    Czytaj dalej

  • Fundusz stypendialny Grupy Wyszehradzkiej - zaproszenie

    Autor: Piotr Gawron | Data utworzenia: 02.01.2017

    Dyrektor Instytutu zaprasza młodych naukowców do złożenia wniosków o stypendia Grupy Wyszehradzkiej.

    Informacja w języku angielskim.

    Czytaj dalej

  • Zagnieżdżone pętle na współczesnych architekturach procesorów

    Autor: Piotr Gawron | Data utworzenia: 28.11.2016 | Ostatnia modyfikacja: 18.06.2018

    Data: 

    30/11/2016 - 12:00

    Prelegent: 

    Beata Bylina i Jarosław Bylina, Uniwersytet Marii Curie-Skłodowskiej w Lublinie

    Zagnieżdżone pętle pojawiają się bardzo często w problemach numerycznych. Celem niniejszej prezentacji jest pokazanie różnych strategii zrównoleglania takich pętli na nowoczesnych architekturach -- jak Intel Xeon oraz Intel Xeon Phi. Wykorzystujemy zarówno równoległość i wektorowość, żeby przyśpieszyć zagnieżdzone pętle. Możliwe jest skrócenie czasu wykonania przy użyciu odpowiednich strategii i odpowiedniego szeregowania zadań.

    Czytaj dalej

Strony