In atomic clocks, the frequency of a local oscillator is stabilized based on the feedback signal obtained by periodically interrogating an atomic reference system...
Referat prezentuje potrzebę analizy jakości i prawdziwości danych przestrzennych. Dane 3D (pochodzące ze skanerów przestrzennych, obrazowania medycznego) często są wykorzystywane w zastosowaniach, które wymagają wykonania pomiarów. Przykładami mogą być diagnostyka medyczna, czy badanie miejsca zdarzenia kryminalnego. Zaprezentowane zostaną także proponowane metody opisu jakości i dokładności danych 3D pozyskanych ze skanera i przetworzonych.
Tematem wystąpienia będzie omówienie implementacji numerycznej procedury wyznaczającej zakres numeryczny (ang. numerical range). Zostanie wyznaczona jej złożoność obliczeniowa oraz wskazane punkty newralgiczne w których można zastosować przetwarzanie równoległe celem osiągnięcia wyższej wydajności na obecnie dostępnych urządzeniach typu GPU oraz CPU. Zostaną podane przykłady numeryczne oraz pokazana wydajność pomiędzy istniejącymi implementacjami a nowo proponowanymi implementacjami.
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.
Przedmiotem referatu będzie podsumowanie badań dotyczących ergodycznych własności pewnych stochastycznych układów dynamicznych generowanych przez łańcuchy Markowa o wartościach w przestrzeni stanów będącej przestrzenią polską. Analizie poddano model matematyczny opisujący proces podziału komórki. Przyjęte założenia spełnia m.in. model J.J. Tysona i K.B. Hannsgena (1988) oraz A. Lasoty i M.C. Mackeya (1999), który był inspiracją do podjęcia badań. Przedstawiony zostanie ergodyczny opis uogólnionego modelu cyklu komórkowego.
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.
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).
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.
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ń.
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ąć.
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.
Przedstawiamy połączenie pomiędzy kombinatorycznym pojęciem tablic ortogonalnym a stanami k-jednolitymi tzn. czystymi stanami wielocząstkowymi, których każda redukcja do k cząstek jest maksymalnie mieszana. Jako konsekwencję wyprowadzamy proste konstrukcje stanów 1- oraz 2-jednolitych dla systemów homogenicznych (N-qubitowych) oraz heterogenicznych (np. N qubitów + M qutritów).
Klasyczne metody przetwarzania i analizy sygnałów wielowymiarowych - takich jak kolorowe wideo oraz obrazy hyperspektralne - nie wykorzystują pełnych informacji zawartych w ich wewnętrznych czynnikach. Z drugiej strony, niedawno opracowane metody oparte na tensorach pozwalają na reprezentację i analizę danych, które bezpośrednio dotyczą wielofunkcyjności danych.
Splątanie kwantowe to jedno z ważniejszych pojęć informatyki kwantowej, które stanowi cechę charakterystyczną informacji kwantowej oraz stanowi podstawy element dla niektórych algorytmów bądź protokołów. W tej prezentacji analizujemy poziom splątania w przełączniku kwantowym w trakcie jego pracy. Poziom splątania w przypadku poprawnej pracy przełącznika można odnieść do przypadku, gdy pojawiają się zakłócenia.
W ramach seminarium zaprezentowana zostanie koncepcja zapewniania jakości transmisji w sieciach komputerowych z wykorzystaniem systemu wieloagentowego. Wykorzystanie tego typu systemu pozwoli uzyskać rozwiązanie zdecentralizowane tzn. takie, w którym nie występuje centralny kontroler.
1 stycznia 2018 rozpoczął się projekt europejski H2020: Secure and Safe Internet of Things (SerIoT). Projekt jest realizowany przez konsorcjum 15 partnerów. Koordynatorem naukowym projektu SerIoT jest profesor Erol Gelenbe, a IITiS jest jednostką koordynującą projekt. Prezentacja dotyczy wybranych zagadnień związanych z tym projektem.
Seminarium będzie poświęcone ciekawym obszarom badawczym związanym z procesom programawalności sieci teleinformatycznych. Sieci sterowane programowo, wirtualizacja funkcji sieciowych, jakość obsługi i jakość postrzegana przez użytkownika, chmury obliczeniowe, dynamiczne sieci optyczne i cyberbezpieczeństwo to najważniejsze aspekty. Zostaną one przedstawione z perspektywy prac badawczo rozwojowych prowadzonych prowadzonych w Katedrze Telekomunikacji AGH.
Podczas seminarium zostaną podsumowane badania nieklasycznych własności stanów kwantowych. W tym celu stosujemy metodę, która polega na połączeniu programowania liniowego z optymalizacją nieliniową. Metodę wykorzystujemy do wyznaczenia granic klasycznego opisu (lokalnego i realistycznego) popularnych rodzin wielocząstkowych stanów kwantowych.
IITIS PAN wraz z firmą AIUT rozpoczął 1 marca 2018 realizację projektu "Dynamiczne środowisko komunikacji bezprzewodowej dla infrastruktury internetu rzeczy inteligentnych miast Smart City IoT". Projekt dotyczy budowy urządzeń i platformy zbierania danych tworzących dynamicznie zarządzalne, automatycznie konfigurowalne środowisko komunikacji bezprzewodowej urządzeń Internetu Rzeczy (IoT) na potrzeby Smart City.
Łamanie nierówności Leggetta-Garga oznacza wykazywanie przez układ jednego z typów korelacji nieklasycznych, które wykazują kwantowe obserwable mierzone w różnych chwilach czasu. Korelacje te są stosowane np. do testów makroskopowego realizmu, oceny „kwantowości” układu lub w protokołach w teorii informacji. Pomimo dobrze ugruntowanych wyników dotyczących korelacji w czasie dla układów zamkniętych, układy otwarte są nadal słabo zgłębionym tematem.