Filtry
wszystkich: 750
wybranych: 577
-
Katalog
- Publikacje 577 wyników po odfiltrowaniu
- Czasopisma 5 wyników po odfiltrowaniu
- Osoby 33 wyników po odfiltrowaniu
- Wynalazki 1 wyników po odfiltrowaniu
- Projekty 9 wyników po odfiltrowaniu
- Laboratoria 1 wyników po odfiltrowaniu
- Zespoły Badawcze 3 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 47 wyników po odfiltrowaniu
- Wydarzenia 5 wyników po odfiltrowaniu
- Dane Badawcze 68 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: cyrkularne kolorowanie grafow
-
Volatile organohalogen compounds in human urine: the effect of environmental exposure
PublikacjaW pracy przedstawiono wyniki oznaczania lotnych związków chlorowcoorganicznych w próbkach moczu pochodzących m.in. od dawcow narazonych na kancerogeny w miejscu pracy i dawcow spozywajacych wode poddana procesowi uzdatniania przez chlorowanie. Do izolacji i wzbogacania analitów z moczu, posiadającego skomplikowaną matrycę, wykorzystano technikę analizy fazy nadpowierzchniowej nad cienką warstwą cieczy z samoczynną generacją ciekłego...
-
System monitorowania korozji w instalacjach wodnych platformy wydobywczej Baltic Beta
PublikacjaRealizacja doktoratu rozwiązała problemy korozyjne w jednym ze strategicznych obszarów procesu eksploatacji ropy. Polegała na uruchomieniu monitoringu korozji w instalacji zatłaczającej wodę morską do złoża ropy, na platformie wydobywczej firmy LOTOS Petrobaltic. Wdrożono automatyczny system monitorowania korozji metodą polaryzacji liniowej, oszacowano korozyjność uzdatnionej wody, zidentyfikowano rodzaje korozji występujące w...
-
COMPARATIVE ANALYSIS OF TRANSPORT ORGANIZATION AND FUNCTIONING OF WATER TRAMS IN GDAŃSK, BYDGOSZCZ AND KRAKÓW
PublikacjaThe subject of this work is to identify and juxtapose solutions implemented in transport provided by water trams for the following cities: Gdańsk, Bydgoszcz and Kraków. As a result of the conducted analysis of transport factors, the degree of conformity of project objectives to the actual role of the water tram has been determined. It was found that the Kraków Water Tram (also known as Cracow Water Tram) is characterized by the...
-
Social responsibility of universities - the example of AGH University of Science and Technology
PublikacjaThe key question here is how to achieve a symbiotic relationship between the university and its environment. The evolution of the Polish higher education system since 1990 shows how the mutual relations between the university and its surroundings may change over time. The conclusions published in the OECD report on higher education are juxtaposed with the description of the status quo of the Polish universities and compared with...
-
Preparation of Well-Compatibilized PP/PC Blends and Foams Thereof
PublikacjaThe performance of polypropylene-poly(ethylene brassylate) block and graft copolymers and a polypropylene-polycaprolactone graft copolymer as compatibilizers for polypropylene-rich polypropylene/bisphenol A polycarbonate (PP/PC, 80/20 wt/wt) blends was elucidated. The copolymers were synthesized either by metal-catalyzed ring-opening polymerization or transesterification of a presynthesized polyester, initiated by hydroxyl-functionalized...
-
Szeregowanie identycznych zadań na czterech procesorach jednorodnych z dwudzielnymi grafami konfliktów
PublikacjaRozważono problem szeregowania n zadań jednostkowych na 4 procesorach jednorodnych o szybkościach s1>=s2>=s3>=s4. Celem szeregowania jest utworzenie najkrótszego możliwego harmonogramu. Zadania podlegają ograniczeniom zasobowym mówiącym, że niektóre pary zadań nie mogą być wykonane na tym samym procesorze. Podajemy algorytm dokładny, który rozwiązuje problem w czasie liniowym, o ile graf niezgodności jest kubiczny. Ponadto podajemy...
-
Problems of surface topography with oil pockets analysis
Publikacja -
Big Data i 5V – nowe wyzwania w świecie danych (Big Data and 5V – New Challenges in the World of Data)
PublikacjaRodzaje danych, składające się na zbiory typu Big Data, to m.in. dane generowane przez użytkowników portali internetowych, dane opisujące transakcje dokonywane poprzez Internet, dane naukowe (biologiczne, astronomiczne, pomiary fizyczne itp.), dane generowane przez roboty w wyniku automatycznego przeszukiwania przez nie Internetu (Web mining, Web crawling), dane grafowe obrazujące powiązania pomiędzy stronami WWW itd. Zazwyczaj,...
-
ProSIL Software for functional saferty management in life cycle = Aplikacja ProSIL do zarządzania bezpieczeństwem funkcjonalnym w cyklu życia
PublikacjaIn the paper the ProSIL software to aid the functional safety management is presented. The software consists of three modules to aid: determination of the required SIL level (ProSILen), veryfication of the SIL level (ProSILver). In the aplication the method of the calibrated risk graph to determine the required safety integrity level SIL for defined safety instrumented functions is applied. The methods concerning functional safety...
-
Visualization of short-term heart period variability with network tools as a method for quantifying autonomic drive
PublikacjaWe argue that network methods are successful in detecting nonlinear properties in the dynamics of autonomic nocturnal regulation in short-term variability. Two modes of visualization of networks constructed from RR-increments are proposed. The first is based on the handling of a state space. The state space of RR-increments can be modified by a bin size used to code a signal and by the role of a given vertex as the representation...
-
Kaszubskie zamieszkiwanie. Studium
PublikacjaGraficzne, malarskie i fotograficzne przedstawianie przestrzeni zamieszkiwania poprzez obraz oraz formalne poprzez rzeźbę to poszukiwanie nowych środków wyrazu dla ukazania osobistych refleksji na temat domu i jego relacji środowiskowych. Stanowią dopełnienie pracy naukowej i projektowej. Cykl „kaszubskie zamieszkiwanie. studium” to efekt projektu stypendialnego (stypendium dla twórców kultury Marszałka Województwa Pomorskiego...
-
Cost minimization in wireless networks with a bounded and unbounded number of interfaces
PublikacjaPraca dotyczy problemu minimalizacji energii poprzez selektywne odłączanie urządzeń komunikacyjnych w wielointerfejsowych sieciach bezprzewodowych w taki sposób, by zapewnić realizację wymaganego grafu połączeń. Sformułowano problem optymalizacyjny, podano wyniki dotyczące jego trudności i zaproponowano algorytmy optymalizacyjne. Rozważono zarówno wariant, w którym liczba interfejsów komunikacyjnych jest parametrem stałym (narzuconym...
-
Applications of computational intelligence techqniues to acoustics
PublikacjaCelem artykułu jest przegląd wybranych zastosowań metod inteligentnych w akustyce, a w szczególności w szeroko rozumianej inżynierii dźwięku. Przedstawione badania i eksperymenty były prowadzone w oparciu o sztuczne sieci neuronowe, metodę zbiorów przybliżonych, logiką rozmytą, grafy przepływowe Pawlaka oraz algorytmy genetyczne. Rozwiązywane problemy dotyczyły klasyfikacji dźwięków muzycznych, rozpoznawania fraz muzycznych, przetwarzania...
-
Places of worship, spiritual healing and urban regeneration
PublikacjaMany researchers demonstrated that it is possible to help people achieve mental and physical regeneration with proper architecture, urban and landscape planning. The term therapeutic landscapes could also be applied to places of worship, where people gather for spiritual healing and renewal. Public space that they offer is inclusively open to all. Addition- ally, they serve to reinvigorate the places where they are located. Shrines...
-
Anonymous agreed order multicast: performance and free riding
PublikacjaPrzedstawiono protokół rozgłaszania wiadomości dla sieci lokalnych z usługą 1C, zapewniający całkowite uporządkowanie wiadomości przy zachowaniu anonimowości stacji. Wykorzystywane są raporty zawierające grafy częściowego uporządkowania wiadomości, otrzymywane na podstawie kolejności odbioru i wnioskowania o bezpośrednim następstwie par wiadomości. Wskazano, że kolektywna odpowiedzialność za utrzymanie stałego rytmu raportów sprzyja...
-
Metoda szybkiego wyznaczania par węzłowo rozłącznych tras dla ochrony transmisji unicast
PublikacjaW celu ochrony transmisji przed awarią węzłów/łączy wykorzystuje się alternatywne trasy transmisji. Jednakże, złożoność obliczeniowa dostępnych algorytmów doboru tras rozłącznych często istotnie wstrzymuje producentów sprzętu od implementacji tychże rozwiązań. W pracy prezentujemy nowe podejście wyznaczania par rozłącznych tras bazujące na transformacji grafu sieci w meta strukturę. Wyniki badań odnośnie czasu wyznaczania tras...
-
Predicting Ice Phenomena in a River Using the Artificial Neural Network and Extreme Gradient Boosting
PublikacjaForecasting ice phenomena in river systems is of great importance because these phenomena are a fundamental part of the hydrological regime. Due to the stochasticity of ice phenomena, their prediction is a difficult process, especially when data sets are sparse or incomplete. In this study, two machine learning models—Multilayer Perceptron Neural Network (MLPNN) and Extreme Gradient Boosting (XGBoost)—were developed to predict...
-
Harmonogramowanie w realizacji projektów przemysłowych i budowlanych
PublikacjaW publikacji poruszono kluczowe zagadnienia związane z opracowywaniem harmono-gramów w realizacji projektów. Skupiono się na projektach przemysłowej (branża stocz-niowa, budowa konstrukcji stalowych) oraz budowlano - inwestycyjnej, tj. branżach, w których współcześnie od wykonawców projektów wymagane są bardzo krótkie czasy realizacji projektów. W oparciu o wywiady z przedstawicielami przedsiębiorstw realizują-cych tego typu projekty...
-
Lefschetz periodic point free self-maps of compact manifolds
PublikacjaLet f be a self-map of a compact connected manifold M. We characterize Lefschetz periodic point free continuous self-maps of M for several classes of manifolds and generalize the results of Guirao and Llibre [J.L.G. Guirao, J. Llibre, On the Lefschetz periodic point free continuous self-maps on connected compact manifolds,
-
Żywice epoksydowe i poliuretany - wzajemne oddziaływania modyfikujące. Cz. II. Przenikające się sieci polimerowe (IPN).
PublikacjaNa podstawie przeglądu literatury przedstawiono sposoby wzajemnej modyfikacji żywic epoksydowych (EP) i poliuretanów (PUR) prowadzące do tworzenia przenikających się sieci polimerowych (IPN) oraz szczepionych sieci polimerowych(graf-IPN).Podstawowym celem modyfikacji EP jest poprawa ich elastyczności...
-
Interaction between acoustic and non-acoustic mode in bubbly liquid
PublikacjaThe nonlinear interaction of acoustic and entropy modes in a bubbly liquid is the subject of investigation. Thedynamic equation governing an excess density of the entropy mode is derived. Nonlinearity and dispersion are the reasons forexcitation of the entropy mode. The nonlinear interaction of modes as a reason for bubble to grow due to sound, is discovered.Some numerical examples of the modes interactions are made.
-
Capturing semantics of semi-structured data using partial-order trees
PublikacjaW artykule zaprezentowano nowe podejście do problemu klasyfikacji danych semistrukturalnych. Kryteria klasyfikacji bazują na strukturze danych (zwanej typem danych) oraz na ich usytuowaniu w grafir danych (zwanym rolą danych). Zastosowano model OEM (Object Exchange Model) do reprezentacji nazy danych semistrukturalnych. Bazując na tej reprezentacji, definiuje się typy i role obiektów semistrukturalnych i organizuje się je w struktury...
-
Dobór optymalnej liczby jednostek funcjonalnych dla realizacji syntezy wysokiego poziomu układów cyfrowych
PublikacjaW pracy przedstawiono algorytm MNP (ang. minimization the number of procesing elements) wyznaczający liczbę jednostek funkcjonalnych niezbędnych do syntezy wysokiego poziomu zadania opisanego grafem przepływu danych (DFG - ang. data flow graph). Liczba jednostek funkcjonalnych wyznaczana przez prezentowany algorytm jest optymalna zarówno z punktu widzenia kosztów wykonania układu, jak i szybkości jego działania. Rozwiązanie tego...
-
Drawing maps with advice
PublikacjaW pracy podejmujemy temat konstrukcji algorytmu dla agenta, który zostaje umieszczony w dowolnym wierzchołku grafu (wierzchołki są nierozróżnialne, krawędzie mają etykiety portów), po czym realizuje algorytm zmierzający do znalezienia drzewa spinającego grafu lub izomorficznej kopii grafu. Dla obu problemów podajemy asymptotycznie dokładne lub prawie dokładne oszacowania na ilość bitów dodatkowej informacji, którą agent musi otrzymać...
-
An interactive system for mobile robot navigation
PublikacjaW pracy przedstawiono interaktywny system do zdalnego sterowania robotem mobilnym zbudowany przy użyciu języka VRML. System jest wspomagany przez algorytm wyznaczania optymalnej trajektorii ruchu robota mobilnego poruszającego się w obecności przeszkód statycznych. Otoczenie reprezentowane jest przez graf nieskierowany. W metodzie wykorzystano algorytm Dijkstry.
-
Inferring perfect phylogenies with restrictions on character state transitions
PublikacjaZnana z klasycznej literatury metoda rekonstrukcji drzewa filogenetycznego zbioru gatunków na podstawie ich cech analizowanych w modelu doskonałej filogenezy często okazuje się niewystarczająca ze względu na założenia tego modelu, zmuszające do pominięcia znanych biologom informacji. W pracy definiujemy rozszerzenie umożliwiając wprowadzenie dla każdej cechy grafu skierowanego dopuszczalnych przejść ewolucyjnych pomiędzy jej stanami....
-
DETERMINATION OF THE EFFECT OF ENVIRONMENTAL FACTORS ON THE CORROSION OF WATER DISTRIBUTION SYSTEM BASED ON ANALYSIS OF ON-LINE CORROSION MONITORING RESULTS
PublikacjaCorrosion of water distribution system is a significant issue causing problems with quality, safety and continuity of distribution. The changes of corrosion rates of the water distribution systems in Cracow made of carbon steel were investigated by analysis of online corrosion monitoring system results. Corrosion rates were determined using the linear polarization method. The impact of rain, temperatures, conductivity, dissolved...
-
Wpływ zmiennych własności adhezyjnych powierzchni klejonych na propagację pęknięcia w złączu Al/laminat epoksydowo - węglowy
PublikacjaPraca dotyczy oceny efektywności wstępnej obróbki powierzchni klejonych polegającej na zastosowaniu dwóch różnych sposobów obróbki (piaskowanie lub polerowanie), na tej samej próbce naprzemiennie. Badania przeprowadzono na próbce sklejonej z płytki aluminiowej i płytki z laminatu epoksydowo/węglowego z pęknięciem zainicjowanym przez wbicie znormalizowanego klina pomiędzy płytki (wedge test wg. Boeing'a). Badano przebieg propagacji...
-
Fabrication of Composite Polyurethane/Hydroxyapatite Scaffolds Using Solvent-Casting Salt Leaching Technique
PublikacjaScaffolds are porous three-dimensional structures which are used to fill bone losses and make them possible to cells to grow. Many different structural and biological properties are required from them: porosity, mechanical strength and biocompability. The present research is aimed at development of composite polyurethane/hydroxyapatite scaffolds by using the solvent-casting salt leaching method. The SEM examinations were applied...
-
Nonlinear increase in bubbles radii caused by sound in a bubbly liquid
PublikacjaThe nonlinear interaction of acoustic and entropy modes in a bubbly liquid is considered. The reasons for interaction are both nonlinearity and dispersion. In the field of intense sound, a decrease in the mixture density is predicted. That corresponds to the well-established growth of bubbles volumes due to rectified diffusion. The nonlinear interaction of modes as a reason for a bubble to grow due to sound, is discovered. The...
-
Wpływ temperatury na skład produktów pirolizy
PublikacjaPraca prezentuje wyniki badań pirolizy biomasy przy różnych temperaturach maksymalnych prowadzenia pro- cesu. Biomasą użytą w eksperymentach były zrębki brzozowe. Analizowano udziały masowe pięciu frakcji pro- duktów: karbonizatu, smół lekkich, smół ciężkich, wody oraz gazu pirolitycznego. Wykonano także analizy ciepła spalania poszczególnych frakcji w zależności od temperatury prowadzenia procesu. Eksperymenty wykonano przy pomocy...
-
S&YP + Mentors + Peace + Love = Science and Growing
PublikacjaIn this extraordinarily difficult time, we understand better that only peace, love, and cooperation are the keys to growing in technology for humanity. Let us learn from our mentors how they grow from their hard work and international cooperation. Thanks to Prof. Giuseppe Buja and Prof. Zbigniew Krzemiński, we have unique schools of adjustable speed drives that are helping people convert electrical to mechanical power and vice...
-
Diiodo-BODIPY Sensitizing of the [Mo3S13]2– Cluster for Noble-Metal-Free Visible-Light-Driven Hydrogen Evolution within a Polyampholytic Matrix
PublikacjaWe report on a photocatalytic setup that utilizes the organic photosensitizer (PS) diiodo-BODIPY and the non-precious-metal-based hydrogen evolution reaction (HER) catalyst (NH4)2[Mo3S13] together with a polyampholytic unimolecular matrix poly(dehydroalanine)-graft-poly(ethyleneglycol) (PDha-g-PEG) in aqueous media. The system shows exceptionally high performance with turnover numbers (TON > 7300) and turnover frequencies (TOF...
-
Beesybees-Agent-Based, Adaptive & Learning Workflow Execution Module for BeesyCluster
PublikacjaPrezentujemy projekt oraz implementację adaptacyjnego i uczącego się modułu przeznaczonego dowykonywania scenariuszy w środowisku BeesyCluster. BeesyCluster pozwala na modelowaniescenariuszy w formie acyklicznego grafu skierowanego, w którym wierzchołki oznaczają zadania,a krawędzie określają zależności między nimi. Przedstawiamy także kooperatywne wykonaniescenariusza przez grupę agentów zdolnych do zbierania, składowania i korzystania...
-
Wyznaczanie map hałasu z wykorzystaniem chmury obliczeniowej
PublikacjaW referacie przedstawiono gridow usług obliczeniow Mapy Hałasu. Algorytm predykcji hałasu i model ródła powstał w ramach bada Katedry Systemów Multimedialnych, Politechniki Gdaskiej. Aplikacja webowa umoliwia wykonanie map akustycznych, w szczególnoci hałasu drogowego bez uycia dodatkowego oprogramowania komercyjnego. W pracy przedstawiono zagadnienia z tematyki modelowania hałasu i propagacji dwiku w przestrzeniach miejskich....
-
Phytoremediation of heavy metals by white cabbage
PublikacjaPhytoremediation is regarded as the cheapest and environmentally most friendly technology for cleaning up soil. The most widespread and most profitable technique is phytoextraction, used mainly for removing heavy metals and radioactive elements from thesoil. Over 400 plant species have been identified as natural metal hyperaccumulators representing about 0.2 % of all angiosperms. Unfortunately, most of these plants are characterised...
-
Visual Capacity Assessment of the Open Landscape in Terms of Protection and Shaping: Case Study of a Village in Poland
PublikacjaThis article describes the methodology and results of research on landscape visual capacity. The aim of the project was to develop a tool that would support planning and design decisions at the level of communal management in rural areas in Poland through systematic application of visual criteria. Their importance in the protection, management and shaping of space is underlined by the document produced at the European Landscape...
-
Surpassing the Line: Urban-Oriented Strategies in the Development of Business Complexes in Poland
PublikacjaDevelopment trends regarding the business-related urban complexes seem to evolve from the “big-box” towards the more “multi-use” types of structures. Within it, the special role is reserved for places, which—due to economic, political, and geographical reasons—have not been previously considered as major business hubs. Only recently, places like cities in Central and Eastern Europe have become attractive locations for business...
-
Zrównoważona odnowa przestrzeni miejskiej
PublikacjaCelem rozprawy doktorskiej jest ocena metod i instrumentów odnowy przestrzeni miejskiej o oddziaływaniu ponadlokalnym i warunkowanych równoważeniem rozwoju oraz porównanie ich wykorzystania w wybranych krajach Unii Europejskiej. W wyniku badań stworzony został model transformacji przestrzeni miejskiej ze wskazaniem priorytetów działań przestrzennych uwarunkowanych równoważeniem rozwoju w skali regionalnej i lokalnej. Analiza porównawcza...
-
Temperatura wody chłodzącej w skraplaczu jako czynnik wpływający na ilość produkowanej mocy elektrycznej w bloku parowym 360 MW.
PublikacjaArtykuł przedstawia analizę techniczną wpływu zmian temperatury wody chłodzącej skraplacz na ilość produkowanej energii elektrycznej, jak również zmiany jednostkowego zużycia ciepła dla obiegu elektrowni Opole z turbiną 360MW. Analiza została przeprowadzona przy pomocy programu DIAGAR oraz jego preprocesora Projdiag w którym został stworzony wstępny graf obliczeniowy a także wygenerowane dane, dzięki którym możliwe było przeprowadzenie...
-
Wpływ temperatury wody chłodzącej w skraplaczu na ilość produkowanej mocy elektrycznej w obiegu parowym 200MW
PublikacjaReferat przedstawia analizę techniczną wpływu zmian temperatury wody chłodzącej skraplacz na ilość produkowanej energii elektrycznej, jak również zmiany jednostkowego zużycia ciepła dla obiegu elektrowni Turów z turbiną 200MW. Analiza została przeprowadzona przy pomocy programu DIAGAR oraz jego preprocesora Projdiag w którym został stworzony wstępny graf obliczeniowy a także wygenerowane dane, dzięki którym możliwe było przeprowadzenie...
-
Temperatura wody chłodzącej w skraplaczu jako czynnik wpływający na ilość produkowanej mocy elektrycznej w bloku parowym 360 MW.
PublikacjaArtykuł przedstawia analizę techniczną wpływu zmian temperatury wody chłodzącej skraplacz na ilość produkowanej energii elektrycznej, jak również zmiany jednostkowego zużycia ciepła dla obiegu elektrowni Opole z turbiną 360MW. Analiza została przeprowadzona przy pomocy programu DIAGAR oraz jego preprocesora Projdiag w którym został stworzony wstępny graf obliczeniowy a także wygenerowane dane, dzięki którym możliwe było przeprowadzenie...
-
Masked arterial hypertension in a 64-year-old man with primary aldosteronism
Publikacja -
Dynamiczne wyznaczanie parametrów elektrycznego obwodu szeregowego
PublikacjaPo załączeniu napięcia na skutek istnienia inercji prąd w obwodzie zaczyna narastać od wartości zerowej do znamionowej. W tym czasie narastają spadki napięć na rezystancjach (impedancjach obwodu) do chwili spełnienia prawa Kirchhoffa. Można utworzyć układ ze sprzężeniem zwrotnym (układ regulacji stałowartościowej bądź nadążnej), który poszukuje parametrów obwodu spełniających prawa Kirchhoffa – elementy nie muszą być liniowe. W...
-
Rozwój polskiego winiarstwa w latach 2000–2017
PublikacjaW artykule przedstawiono historie polskiego winiarstwa. Na podstawie danych zawartych w raportach Agencji Rynku Rolnego przedstawiono kształtowanie się liczby winnic oraz powierzchni upraw winorośli i zbioru winogron w latach 2009–2018. Dane z portalu winogrodnicy.pl posłużyły do scharakteryzowania liczby winnic wraz z ich lokalizacją oraz powierzchnią. Z przeprowadzonej analizy wynika, że polskie winiarstwo od ponad 20 lat przeżywa...
-
MORPHOLOGY OF BUILDING DEVELOPMENT AS AN ELEMENT OF URBAN VENTIALTION SYSTEM
PublikacjaProblems related to air quality in large urban agglomerations (e.g., high concentration of pollutants, the urban heat island phenomenon) make it necessary to take comprehensive measures to improve air exchange in urban areas.The article concerns the relationship between wind phenomena observable in cities and the geometrical features of building development. The knowledge on the subject is already well-founded and has been intensively...
-
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
PublikacjaW referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...
-
A Framework for Searching in Graphs in the Presence of Errors
PublikacjaWe consider a problem of searching for an unknown target vertex t in a (possibly edge-weighted) graph. Each vertex-query points to a vertex v and the response either admits that v is the target or provides any neighbor s of v that lies on a shortest path from v to t. This model has been introduced for trees by Onak and Parys [FOCS 2006] and for general graphs by Emamjomeh-Zadeh et al. [STOC 2016]. In the latter, the authors provide...
-
Quantum communication complexity advantage implies violation of a Bell inequality
PublikacjaWe obtain a general connection between a quantum advantage in communication complexity and non-locality. We show that given any protocol offering a (sufficiently large) quantum advantage in communication complexity, there exists a way of obtaining measurement statistics which violate some Bell inequality. Our main tool is port-based teleportation. If the gap between quantum and classical communication complexity can grow arbitrarily...
-
Parallel processing of multimedia streams
PublikacjaW artykule zaprezentowana jest nowa biblioteka wspierającą tworzenie zadań obliczeniowych, część platformy KASKADA.Przedstawiony został projekt biblioteki, uwzględniający diagram głównych klas oraz diagram sekwencji. Drugi z diagramów ukazuje współpracę głównych klas w procesie przetwarzania strumieni multimedialnych. W dalszej częsci omówione zostały szczegły mechanizmu komunikacji międzyzadawniowej oraz przedstawiony został graf...