Filters
total: 573
filtered: 410
-
Catalog
- Publications 410 available results
- Journals 64 available results
- Publishing Houses 1 available results
- People 17 available results
- Inventions 3 available results
- Projects 8 available results
- Laboratories 1 available results
- Research Teams 1 available results
- e-Learning Courses 62 available results
- Events 3 available results
- Open Research Data 3 available results
Chosen catalog filters
Search results for: twierdzenie bella
-
L'Europa alla ricerca di una identità
PublicationIl capitolo tratta dell'economia europea dopo la riunficazione tedesca,, della nascita dell'Euro e delle cosneguenbze per il Continente della crisi economica e finanziaria
-
Mean of continuous variables observable via measurment on a single qubit.
PublicationWykazano, że pomiar wartości średniej obserwabli kwantowej można dokonać poprzez pomiar uogólniony przy użyciu pojedynczego bitu kwantowego. Wyprowadzony schemat poddano dyskusji w kontekście paradygmatu odległych laboratoriów oraz nierówności Bella.
-
Periodicity of a sequence of local fixed point indices of iterations
PublicationPraca uogólnia klasyczne twierdzenie Shuba i Sullivana o periodyczności ciągu indeksów punktu stałego iteracji odwzorowań gładkich na szerszą klasę przekształeń.
-
Fixed point theorems for weakly commuting and compatible multi-valued mappings.
PublicationW pracy podano twierdzenia o wspólnych punktach stałych czwórki odwzorowań: dwóch jednowartościowych T i S oraz dwóch wielowartościowych F i G, spełniających nieliniowy uogólniony warunek kontrakcyjny, przy pewnych założeniach dotyczących uogólnionej komutatywności T,S i F,G. W pracy zamieszczono przykłady ilustrujące udowodnione twierdzenia.
-
Numerical Simulation of two dimensional flow past a bridge cross section
PublicationThis work presents some numerical results concerning application of CFD in civil engineering problems. Selected theoretical aspects of fluid mechanics are elucidated. In the second part of the paper a cross section of upper footbridge of the Bella Sky Hotel in Copenhagen is analysed numerically in the field of wind action.
-
A new approach to numerical solution of fixed-point problems and its application to delay differential equations
PublicationW pracy rozpatruje się pewne aproksymacje punktu stałego ciągłego operatora A odwzorowującego przestrzeń metryczną w siebie. Wspomniany punkt stały przybliża się tzw. epsilon przybliżonym punktem stałym z przestrzeni skończenie wymiarowej. Udowodnione zostało twierdzenie dające warunki konieczne i dostateczne istnienia punktu stałego w ogólnej przestrzeni metrycznej. Warunki te wyrażone są w terminach epsilon przybliżonego punktu...
-
RNS reverse converter based on the new chinese remainder theorem.
PublicationPrzeanalizowano złożoność układu cyfrowego opartego na nowej odmianie chińskiego twierdzenia o resztach.
-
States of light via reducible quantization.
PublicationRelatywistyczne sformułowanie kwantowania pola opartego o redukowalne reprezentacje kanonicznych związków komutacyjnych. Konstrukcja stanów fokowskich i koherentnych. Analiza automatycznej regularyzacji rozbieżności w podczerwieni. Twierdzenie o granicy termodynamicznej.
-
On the distillation of cryptographic key from multipartie entangled quantum states
PublicationCelem pracy było uzupełnienie ogólnego paradygmatu destylacji bezpiecznego klucza kryptograficznego z dwucząstkowych stanów splątanych, a w szczegolności znalezienie nowych konstrukcji stanów kwantowych o splątaniu związanym z niezerowym destylowanym kluczem kryptograficznym. Kolejnym celem pracy było uogólnienie powyższego paradygmatu dwucząstkowego na przypadek wielu cząstek. W szczególności sformułowanie definicji wielocząstkowych...
-
Mieszanie w klasie niejednorodnych łańcuchów Markowa i kwadratowych operatorów stochastycznych
PublicationRozprawa doktorska poświęcona jest zagadnieniu asymptotycznych własności w klasie nieskończenie wymiarowych niejednorodnych łańcuchów Markowa z czasem dyskretnym oraz w klasie kwadratowych operatorów stochastycznych. W pierwszej kolejności definiowane są różne rodzaje asymptotycznego zachowania (mieszania) niejednorodnych łańcuchów Markowa odpowiadające zbieżności w normowej i mocnej topologii operatorowej oraz omówione są relacje...
-
Positive solutions of one-dimensional p-Laplacian boundary value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy istnienia dodatnich rozwiązań dla równań różniczkowych rzędu czwartego z warunkami brzegowymi z odchylonymi argumentami. Stosując twierdzenie o punkcie stałym dla stożków podano warunki dostateczne na istnienia takich rozwiązań.
-
Positive solutions for three-point one-dimensional p-Laplacian boundary value problems with advanced arguments [online]
PublicationPraca dotyczy problemów istnienia dodatnich rozwiązań dla trzy-punktowych zagadnień brzegowych z wyprzedzonymi argumentami. Zastosowano twierdzenie Avery-Petersona o punkcie stałym aby uzyskać warunki dostateczne na istnienie conajmniej trzech dodatnich rozwiązań.
-
Conley type index applied to Hamiltonian inclusions
PublicationPodano dowód istnienia nietrywialnych rozwiązań okresowych dla inkluzji Hamiltonowskich, z potencjałem lokalnie Lipschitzowskim, okresowym, uogólniając klasyczne twierdzenie Ammana- Zehndera. Użyto techniki z teorii indeksu Conley'a dla wielowartościowych potoków w przestrzeni Hilberta.
-
Saturation of Bernstein Schnabl operators.
PublicationW pracy dowodzi się twierdzenia o nasyceniu dla operatorów Bernsteina-Schnabla nad sympleksem Bauera w przestrzeni Banacha.
-
Dressing chain equations associated with difference soliton systems
PublicationAnalogicznie do teorii równań różniczkowych solitonowych, wprowadzamy proce-durę ubierania pary Laxa. Stosujemy metodę dla budowy nowych rozwiązań napodstawie znanych. Wprowadza się uogólnione wielomiany Bella. Tworzy sięschemat dla ogólnych par Laxa w postaci wielomianów od pewnego automorfizmupierscieni. Podany został przykład równań Hiroty i Nahma.
-
Istnienie i regularność heteroklinicznych rozwiązań równania Allena-Cahna z anizotropowym operatorem eliptycznym
PublicationCelem rozprawy jest udowodnienie dwóch twierdzeń dotyczących równań różniczkowych cząstkowych typu eliptycznego. Pierwsze mówi o regularności słabych rozwiązań pewnej klasy równań z operatorem eliptycznym, który pochodzi od wypukłej i anizotropowej G-funkcji spełniającej odpowiednie warunki wzrostu. To twierdzenie jest pewnym uogólnieniem znanych wyników z izotropowymi warunkami wzrostu na przypadek operatorów anizotropowych. Drugie...
-
On quasi-compact Markov nets
PublicationAnalizuje się strukturę ergodyczną netów Markowa. W szczególności podano charakteryzację ściśle ergodycznych minimalnych (L-R) netów markowskich na zwartej przestrzeni fazowej. Uzyskano warunki równoważne quasi-zwartości (L-R) netów Markowa, rozszerzając tzw. ergodyczne twierdzenie Lotz'a.
-
Antypodalna radiowa liczba chromatyczna grafu.
PublicationOpisane zostały podstawowe zasady i właściwości antypodalnego kolorowania grafów. Zebrano publikowane w literaturze przedmiotu twierdzenia i uzupełniono wnioskami wynikającymi z własnych badań.
-
Relationship between semi- and fully-device-independent protocols
PublicationWe study the relation between semi and fully device independent protocols. As a tool, we use the correspondence between Bell inequalities and dimension witnesses. We present a method for converting the former into the latter and vice versa. This relation provides us with interesting results for both scenarios. First, we find new random number generation protocols with higher bit rates for both the semi and fully device independent...
-
Robust amplification of Santha-Vazirani sources with three devices
PublicationWe demonstrate that amplification of arbitrarily weak randomness is possible using quantum resources. We present a randomness amplification protocol that involves Bell experiments. We find a Bell inequality which can amplify arbitrarily weak randomness and give a detailed analysis of the protocol involving it. Our analysis includes finding a sufficient violation of Bell inequality as a function of the initial quality of randomness....
-
Indices of interations and periodic points of simplical maps of smooth type
PublicationW pracy dowodzi się symplicjalnego odpowiednika twierdzenia Chowa, Mallet-Paret i Yorke´a. Otrzymany wynik służy do badania punktów periodycznych odwzorowań symplicjalnych gładkiego typu.
-
Generalized solution of mixed problems for first order partial differential equations with state dependent delays
PublicationW pracy zostało udowodnione twierdzenie o istnieniu i jednoznaczności rozwiązań dla zagadnień początkowo-brzegowych z cząstkowym równaniem różniczkowo-funkcyjnym z opóźnionym argumentem zależnym od funkcji niewiadomej. Użyto metody bicharakterystyk. Jednoznaczność rozwiązań wykazano metodą porównawczą, istnienie - metodą ciągów przybliżeń.
-
Existence of positive solutions to second order four-point impulsive differential problems with deviating arguments [online]
PublicationW pracy dyskutowane są problemy brzegowe dla równań różniczkowych rzędu drugiego z impulsami i z odchylonymi argumentami. Badano przypadki dla argumentów opóźnionych i wyprzedzonych. Podano warunki które gwarantują, że omawiane problemy mają rozwiązania dodatnie. Zastosowano odpowiednie twierdzenie o punkcie stałym.
-
Degree of T-equivariant maps in R^n
PublicationW pracy przedstawiona jest konstrukcja niezmienniczego stopnia topologicznego dla odwzorowań z symetriami działających na przestrzeni euklidesowej z inwolucją. Udowodnione jest twierdzenie, że dwa dopuszczalne i gradientowe odwzorowania niezmiennicze są niezmienniczo homotopijne wtedy i tylko wtedy, gdy są one homotopijne niezmienniczo i gradientowo.
-
Positive solutions for fourth-order differential equations with deviating arguments and integral boundary conditions
PublicationBadane są problemy brzegowe dla równań różniczkowych rzędu czwartego z odchylonymi argumentami i z warunkami brzegowymi typu całkowego. Sformułowano twierdzenie dotyczące istnienia dodatnich rozwiązań takich problemów. W dowodzie korzystano z tw. Avery-Petersona o punktach stałych dla stożków. Podano przykład ilustrujący otrzymane wyniki.
-
Una crisi diversa?
PublicationIl capitolo tratta della recente crisi finanziaria, analizzandone cause e conseguenze per il sistema bancario e finanziario mondiale
-
Representation of the Poisson kernel for Jacobi and Hahn polynomials
PublicationW pracy przedstawiono dowód twierdzenia o reprezentacji jąder Poissona dla wielomianów Jacobiego wypukłą kombinacją nieujemnych jąder typu Durrmeyera. Podobne rezultaty uzyskano dla jąder Poissona dla dyskretnych wielomianów Hahna.
-
Implicit difference functional inequalities and applications
PublicationKlasyczne rozwiązania problemów początkowych przybliżane są rozwiązaniami uwikłanych metod różnicowych. Wykazana została zbieżność i stabilność uwikłanych schematów. Przy założeniu, że funkcje dane spełniają nieliniowe oszacowanie typu Perrona względem argumentu funkcyjnego, udowodniono stabilność metody uwikłanej, wykorzystując twierdzenie porównawcze dla funkcji spełniających uwikłane nierówności różnicowe typu Volterry.
-
Some remarks on the Euler ring U(G)
PublicationNiech G będzie zwartą grupą Liego i niech U(G) oznacza pierściń Eulera G skonstruoawany przez tom Diecka w [5,6]. Główny wynikpracy (Twierdzenie 4.1) opisuje homomorfizm pierścienia U(SO(3)) w pierścień U(SO(2))indukowany przez włożenie grupy SO(2) w grupę SO(3).
-
Opinia dotycząca zaworów firmy ARCO oraz "Duro" i "Calido" firmy Arka z/s w Siaowie
PublicationWykonano analizy składu chemicznego materiałów badanych zaworów celem stwierdzenia występowania pierwiastków niezgodnych z wymaganiami normy.
-
Delay differential inequalities with initial time difference
PublicationPraca dotyczy nierówności różniczkowych z argumentami opóźnionymi przy różnych warunkach początkowych. Podano twierdzenia porównawcze dla takich nierówności. Podano też warunki dostateczne na istnienie ekstremalnych rozwiązań odpowiednich równań różniczkowych z argumentami opóźnionymi.
-
Skalowalne architektury rozproszonych magazynów obiektów
Publication -
Dynamic inequalities and equations of Volterra type on time scales
PublicationPraca dotyczy całkowo-różniczkowych równań dynamicznych typu Volterry z warunkami początkowymi. Stosując twierdzenie Banacha o punkcie stałym pokazano istnienie jedynego rozwiązania liniowego równania dynamicznego. Stosując metodę iteracji monotonicznych pokazano istnienie rozwiązań ekstremalnych dla problemów nieliniowych. Badano też nierówności dynamiczne. Praca zawiera również uwagi dotyczące zagadnień różniczkowych i różnicowych.
-
Multiple solutions of boundary-value problems for fourth-order differential equations with deviating arguments
PublicationPraca dotyczy równań różniczkowych rzędu czwartego z warunkami brzegowymi i odchylonymi argumentami. Podano wystarczające warunki, dla których problemy dotyczące takich równań mają dodatnie rozwiązania. W pracy rozważa się przypadki kiedy argumenty odchylone są typu opóźnionego lub wyprzedzonego. W celu zapewnienia istnienia przynajmniej trzech dodatnich rozwiązań wykorzystano twierdzenie Avery-Petersona.
-
Positive solutions to second order four-point boundary value problems for impulsive differential equations
PublicationPraca dotyczy problemów brzegowych dla równań różniczkowych drugiego rzędu z impulsami. Podane zostały warunki dostateczne na istnienie trzech dodatnich rozwiązań takich problemów z czteropunktowymi warunkami brzegowymi. W badaniach korzystano z twierdzenia Leggetta-Williamsa.
-
On delay differential equations with almost periodic boundary conditions started from different points
PublicationDyskutowany jest problem istnienia ekstremalnych rozwiązań dla równań różniczkowych typu opóźnionego przy odpowiednich warunkach brzegowych. Sformułowano odpowiednie twierdzenia porównawcze. W pracy zawarte są również wyniki dotyczące takich równań przy większej ilości argumentów opóźnionych.
-
Module structure in Conley theory with some applications
PublicationA multiplicative structure in the cohomological versjon of Conley index is described . In the case of equivariant flows we apply the normalization procedure known from equivariant degree theory and we propose a new continuation invariant. The theory is then applied to obtain a mountain pass type theorem. Another application is a result on multiple bifurcations for some elliptic PDE.
-
The dynamic analysisi of cracked Thimoshenko beam by the spectral element method.
PublicationW pracy przedstawiono model belli Timoshenko z pęknięciem poprzecznym oparty o metodę elementów spektralnych. Przedstawiono wyniki propagacji fali sprężystej i jej interakcję z pęknięciem.
-
Three positive solutions to second-order three-point impulsive differential equations with deviating arguments
PublicationStosując tw. Leggetta-Williamsa, pokazano że rozpatrywany trzypunktowy problem brzegowy z impulsami ma dodatnie rozwiązania (trzy). Otrzymane twierdzenia dotyczą przypadku opóźnionego oraz wyprzedzonego. W pracy podano przykład i pokazano, że przyjęte założenia są spełnione.
-
Positive solutions to third-order impulsive Sturm-Liouville boundary value problems with deviated arguments and one-dimensional p-Laplacian
PublicationBadane są równania różniczkowe z impulsami trzeciego rzędu z odchylonymi argumentami przy zadanych warunkach brzegowych typu Sturma-Liouvilla. Podano warunki dostateczne na istnienie dodatnich rozwiązań takich problemów stosując twierdzienie o punkcie stałym dla stożków.
-
Local hidden–variable models for entangled quantum states
PublicationWhile entanglement and violation of Bell inequalities were initially thought to be equivalent quantum phenomena, we now have different examples of entangled states whose correlations can be described by local hidden-variable models and, therefore, do not violate any of the Bell inequalities. We provide an up-to-date overview of the existing literature regarding local hidden-variable models for entangled quantum states, in both...
-
Hybrid no-signaling-quantum correlations
PublicationFundamental investigations in non-locality have shown that while the no-signaling principle alone is not sufficient to single out the set of quantum non-local correlations, local quantum mechanics and no-signaling together exactly reproduce the set of quantum correlations in the two-party Bell scenario. Here, we introduce and study an intermediate hybrid no-signaling quantum set of non-local correlations that we term HNSQ in the...
-
Equivariant degree of convex-valued applied to set-valued BVP
PublicationW pracy określono stopień ekwiwariantny dla odwzorowań o wartościach zwartych i wypukłych. Zastosowano go do dowodu twierdzenia o istnieniu wielunietrywialnych rozwiązań problemu brzegowego typu Dirichleta dla inkluzji różniczkowych z warunkami wzrostu typu Bernsteina-Nagumo, z dodatkowymi symetriami
-
On Nonlinear Volterra Integral Equations With State Dependent Delays in Several Variables
PublicationW pracy badane jest istnienie i jednoznaczność rozwiązań nieliniowego równania całkowego typu Volterry z opóźnionym argumentem zależnym od funkcji niewiadomej wielu zmiennych. Poszukiwane są ciągłe rozwiązania lipschitzowskie. Rozwiązania są poszukiwane metodą porównawczą z zastosowaniem twierdzenia Banacha o punkcie stałym.
-
High-speed residue-to-binary converter based on the Chinese RemainderTheorem.
PublicationPrzedstawiono szybki konwerter z systemu resztowego do systemu binarnego dla modułów 5-bitowych oparty o chińskie twierdzenie o resztach. Projekcje ortogonalne są generowane przy użyciu odwzorowania realizowanego przy zastosowaniu funkcji logicznych pięciu zmiennych. Wartość wyjściowa jest obliczana przy użyciu drzewaWallace'a z segmentacją wektorów wyjściowych i redukcją do 2M, M zakres liczbowy systemu oraz efektywny finalny...
-
Randomness Amplification under Minimal Fundamental Assumptions on the Devices
PublicationRecently, the physically realistic protocol amplifying the randomness of Santha-Vazirani sources producing cryptographically secure random bits was proposed; however, for reasons of practical relevance, the crucial question remained open regarding whether this can be accomplished under the minimal conditions necessary for the task. Namely, is it possible to achieve randomness amplification using only two no-signaling components...
-
The reactions occuring on the implant as a result of contact with human tissue
PublicationObecnosc implantu w ciele czlowieka powoduje liczne, czesto nieprzewidywalne skutki. Powodem takiej sytuacji jest duza roznorodnosc interakcji materialu medycznego z kontaktujaca sie z nim tkanka. Stwierdzenie to dotyczy glownie oddzialywan i skutkow zachodzacych na poziomie molekularnym w poszczegolnych komorkach kontaktujacej sie tkanki.
-
Mass spectrometry based identification of geometric isomers during metabolic stability study of a new cytotoxic sulfonamide derivatives supported by quantitative structure-retention relationships
PublicationA set of 15 new sulphonamide derivatives, presenting antitumor activity have been subjected to a metabolic stability study. The results showed that besides products of biotransformation, some additional peaks occurred in chromatograms. Tandem mass spectrometry revealed the same mass and fragmentation pathway, suggesting that geometric isomerization occurred. Thus, to support this hypothesis, quantitative structure-retention relationships...
-
Elastic wave propagation in frame structure in the context of structural health monitoring
PublicationPraca dotyczy propagacji fal sprężystych r konstrukcji ramowej w ośrodku typu belka Timoszenki. Do obliczeń numerycznych wykorzystano wielowęzłowe spektralne elementy skończone klasy C0. Omówiono algorytm całkowania po czasie i sformułowano wnioski dotyczące liczby węzłów na długość fali.
-
Sposób wytwarzania panelowych elementów ściennych zewnętrznych absorbujących energię słoneczną, dla budownictwa jedno lub wielorodzinnego
PublicationAneks do opinii zawiera potwierdzenie zasadności dokonania zmian parametrów technicznych środków trwałych oraz ich wpływ na wdrożenie nowej technologii objętej projektem pt. "Wdrożenie technologii wytwarzania panelowych elementó ściennych zewnętrznych absorbujących energię słoneczną'