Search results for: PROOF
-
International Journal of Evidence & Proof
Journals -
An Alternative Proof of a Lower Bound on the 2-Domination Number of a Tree
PublicationA 2-dominating set of a graph G is a set D of vertices of G such that every vertex not in D has a at least two neighbors in D. The 2-domination number of a graph G, denoted by gamma_2(G), is the minimum cardinality of a 2-dominating set of G. Fink and Jacobson [n-domination in graphs, Graph theory with applications to algorithms and computer science, Wiley, New York, 1985, 283-300] established the following lower bound on the 2-domination...
-
Computer Assisted Proof of the Existence of a Periodic Orbit in the Rössler Equations
Publication -
Law requirements of explosion proof protection at working with chemical substances
Publication -
Porównanie wydajności modyfikacji algorytmu Proof-number search uwzględniających wartości remisowe
PublicationProof-number search to znana rodzina algorytmów służących do wyznaczania wartości pozycji w nielosowych grach dwóch graczy z pełną informacją. W wersji podstawowej pn-search doskonale radzi sobie z wyszukiwaniem strategii wygrywającej jednego z graczy. Jednak istnieje wiele znanych gier, w których obydwaj gracze posiadają jedynie strategię remisującą (Młynek, Awari, Warcaby). W niniejszej pracy porównano wydajność dwóch modyfikacji...
-
Network-assisted processing of advanced IoT applications: challenges and proof-of-concept application
PublicationRecent advances in the area of the Internet of Things shows that devices are usually resource-constrained. To enable advanced applications on these devices, it is necessary to enhance their performance by leveraging external computing resources available in the network. This work presents a study of computational platforms to increase the performance of these devices based on the Mobile Cloud Computing (MCC) paradigm. The main...
-
Entrained Flow Plasma Gasification of Sewage Sludge–Proof-of-Concept and Fate of Inorganics
PublicationSewage sludge is a residue of wastewater processing that is biologically active and consists of water, organic matter, including dead and living pathogens, polycyclic aromatic hydrocarbons, and heavy metals, as well as organic and inorganic pollutants. Landfilling is on the decline, giving way to more environmentally friendly utilisation routes. This paper presents the results of a two-stage gasification–vitrification system, using...
-
About the Noether’s theorem for fractional Lagrangian systems and a generalization of the classical Jost method of proof
PublicationRecently, the fractional Noether's theorem derived by G. Frederico and D.F.M. Torres in [10] was proved to be wrong by R.A.C. Ferreira and A.B. Malinowska in (see [7]) using a counterexample and doubts are stated about the validity of other Noether's type Theorem, in particular ([9],Theorem 32). However, the counterexample does not explain why and where the proof given in [10] does not work. In this paper, we make a detailed analysis...
-
Ocena poprawności działania algorytmu proof-number search na strukturze digrafu acyklicznego
PublicationAlgorytm proof-number search jest znanym algorytmem służącym do rozwiązywania gier logicznych. Rozwiązanie gry jest jednoznaczne ze znalezieniem optymalnej strategii i pozwala przeprowadzić rozgrywkę w sposób pozwalający na osiągnięcie najlepszego możliwego wyniku. Jedną z największych wad tego algorytmu, naturalnie pracującego na strukturze drzewa, jest wielokrotne rozwijanie identycznych poddrzew gry co prowadzi do nadmiarowego...
-
Deformation Analysis of a Composite Bridge during Proof Loading Using Point Cloud Processing
PublicationRemote sensing in structural diagnostics has recently been gaining attention. These techniques allow the creation of three-dimensional projections of the measured objects, and are relatively easy to use. One of the most popular branches of remote sensing is terrestrial laser scanning. Laser scanners are fast and efficient, gathering up to one million points per second. However, the weakness of terrestrial laser scanning is the...
-
Proof of Concept of Indoor Location System Using Long RFID Readers and Passive Tags
PublicationThe paper proposes a system for persons and objects location with the use of long radio-frequency identifications (RFIDs) readers. In order to investigate all aspects of the proposed location system, several key elements had to be analyzed, including the distance from which the tagged objects and the possibility of using more than one tag within one RFID range at the same time. When designing the system, it is also necessary to...
-
Experimental Investigation of the Performance of an Innovative Implantable Left Ventricular Assist Device—Proof of Concept
PublicationThis paper presents the results of experimental performance of an innovative left ventricular assist device working on a specially designed test stand. The introduced invention is mainly applied for supporting the heart in patients with end-stage heart failure accompanied by mitral valve regurgitation and pulmonary hypertension. Moreover, the developed device has the form of a flexible balloon forming an intracardiac inert gas-filled...
-
Proof-of-concept study on improved efficacy of rHuEPO administered as a long-term infusion in rats
Publication -
Greening procedures and analytical parameters. The polychlorinated naphthalenes analysis in complex matrices as proof of concept
PublicationDue to the complexity of analytical procedures employed for the determination of wide spectrum of persistent organic pollutants (POPs), it is important to consider the green character of the applied protocols and propose the greenest solutions. In this review, the green aspects of several analytical procedures used for the determination of polychlorinated naphthalenes (PCNs) (as a representatives of POPs) in different types of...
-
Open Innovation Competence for a Future-Proof Workforce: A Comparative Study from Four European Universities
PublicationDigital transformation is a key driving force of open innovation to capture and transfer knowledge inside and outside of a company’s bounds. New challenges in organizing multiple knowledge flows imply the need for increased competences related to this paradigm of future employees. In this article, we organize and aggregate the competencies required for open innovation collaboration and develop a competence profile that organizes...
-
New Proofs of Some Fibonacci Identities
PublicationLucas proved in 1876 several identities for Fibonacci numbers. We give elementary and short proofs of them.
-
Prooftexts: A Journal of Jewish Literary History
Journals -
Molecular Characterization of a DNA Polymerase from Thermus thermophilus MAT72 Phage vB_Tt72: A Novel Type-A Family Enzyme with Strong Proofreading Activity
Publication -
International Conference on Tests and Proofs
Conferences -
Eventual Convergence of the Reputation-Based Algorithm in IoT Sensor Networks
PublicationUncertainty in dense heterogeneous IoT sensor networks can be decreased by applying reputation-inspired algorithms, such as the EWMA (Exponentially Weighted Moving Average) algorithm, which is widely used in social networks. Despite its popularity, the eventual convergence of this algorithm for the purpose of IoT networks has not been widely studied, and results of simulations are often taken in lieu of the more rigorous proof....
-
Electrical measurements of the dewetting of metal thin films
Open Research DataIn situ observations of dewetting of thin films is very complicated. One of the method, that helps to observe it, could be electrical measurements. For experiments, thin gold, silver and gold-silver nanoalloy films were deposited by magnetron sputtering method. Films were deposited on a Corning glass substrates. Samples were measured by four point method...
-
The law of the Iterated Logarithm for random interval homeomorphisms
PublicationA proof of the law of the iterated logarithm for random homeomorphisms of the interval is given.
-
Path components of the space of gradient vector fields on the two dimensional disc
PublicationWe present a short proof that if two gradient maps on the twodimensional disc have the same degree, then they are gradient homotopic.
-
Distortion in the group of circle homeomorphisms
PublicationLet G be the group PAff+(R/Z) of piecewise affine circle homeomorphisms or the group Diff∞(R/Z) of smooth circle diffeomorphisms. A constructive proof that all irrational rotations are distorted in G is given.
-
Sensing of anesthetic drugs in blood with Raman spectroscopy
PublicationA proof-of-concept study of a Raman spectroscopy-based approach for measuring the content of anesthesia drugs in blood is presented. Spectra of spiked blood from several patients exhibit prominent changes in regions associated with the drug.
-
The Arnold conjecture in $ \mathbb C\mathbb P^n $ and the Conley index
Publicationn this paper we give an alternative, purely Conley index based proof of the Arnold conjecture in CP^n asserting that a Hamiltonian diffeomorphism of CP^n endowed with the Fubini-Study metric has at least (n+1) fixed points.
-
Partial hyperbolicity and central shadowing
PublicationWe study shadowing property for a partially hyperbolic diffeomor- phism f. It is proved that if f is dynamically coherent then any pseudotrajec- tory can be shadowed by a pseudotrajectory with “jumps” along the central foliation. The proof is based on the Tikhonov-Shauder fixed point theorem.
-
Degree product formula in the case of a finite group action
PublicationLet V, W be finite dimensional orthogonal representations of a finite group G. The equivariant degree with values in the Burnside ring of G has been studied extensively by many authors. We present a short proof of the degree product formula for local equivariant maps on V and W.
-
Difference functional inequalities and applications.
PublicationThe paper deals with the difference inequalities generated by initial boundary value problems for hyperbolic nonlinear differential functional systems. We apply this result to investigate the stability of constructed difference schemes. The proof of the convergence of the difference method is based on the comparison technique, and the result for difference functional inequalities is used. Numerical examples are presented.
-
Seiberg-Witten invariants the topological degree and wall crossing formula
PublicationFollowing S. Bauer and M. Furuta we investigate finite dimensional approximations of a monopole map in the case b 1 = 0. We define a certain topological degree which is exactly equal to the Seiberg-Witten invariant. Using homotopy invariance of the topological degree a simple proof of the wall crossing formula is derived.
-
PA32 aluminum alloy - tensile properties
Open Research DataIn addition to steel, aluminium alloys are the main building material used in the shipbuilding industry. Due to its undoubted advantages, such as low density (nearly three times lower than in the case of steel for shipbuilding) and high corrosion resistance, it is often used for hulls of yachts and small vessels as well as superstructures. For safety...
-
Strucutral steel - tensile test results
Open Research DataModern floating structures such as ships, oil platforms and offshore wind towers are built mostly of structural steel. It is a material that is subject to requirements which, when met, allows the construction and safe operation of the structure throughout its entire work cycle. One of the basic criteria that a material must meet is its strength. The...
-
Bifurcation of equilibrium forms of an elastic rod on a two-parameter Winkler foundation
PublicationWe consider two-parameter bifurcation of equilibrium states of an elastic rod on a deformable foundation. Our main theorem shows that bifurcation occurs if and only if the linearization of our problem has nontrivial solutions. In fact our proof, based on the concept of the Brouwer degree, gives more, namely that from each bifurcation point there branches off a continuum of solutions.
-
The E-Cohomological Conley Index, Cup-Lengths and the Arnold Conjecture on T 2n
PublicationWe show that the E-cohomological Conley index, that was introduced by the first author recently, has a natural module structure. This yields a new cup-length and a lower bound for the number of critical points of functionals on Hilbert spaces. When applied to the setting of the Arnold conjecture, this paves the way to a short proof on tori, where it was first shown by C. Conley and E. Zehnder in 1983.
-
A note on simple bifurcation of equilibrium forms of an elastic rod on a deformable foundation
PublicationWe study bifurcation of equilibrium states of an elastic rod on a two-parameter Winkler foundation. In the article "Bifurcation of equilibrium forms of an elastic rod on a two-parameter Winkler foundation" [Nonlinear Anal., Real World Appl. 39 (2018) 451-463] the existence of simple bifurcation points was proved by the use of the Crandall-Rabinowitz theorem. In this paper we want to present an alternative proof of this fact based...
-
Inkjet Printing of Lanthanide–Organic Frameworks for Anti-Counterfeiting Applications
PublicationPhotoluminescent lanthanide−organic frameworks (Ln-MOFs) were printed onto plastic and paper foils with a conventional inkjet printer. Ln-MOF inks were used to reproduce color images that can only be observed under UV light irradiation. This approach opens a new window for exploring Ln-MOF materials in technological applications, such as optical devices (e.g., lab-on-a-chip), as proof of authenticity for official documents.
-
The Palais–Smale condition for the Hamiltonian action on a mixed regularity space of loops in cotangent bundles and applications
PublicationWe show that the Hamiltonian action satisfies the Palais-Smale condition over a “mixed regular- ity” space of loops in cotangent bundles, namely the space of loops with regularity H^s, s ∈ (1/2, 1), in the baseand H^{1−s} in the fiber direction. As an application, we give a simplified proof of a theorem of Hofer-Viterbo on the existence of closed characteristic leaves for certain contact type hypersufaces in cotangent bundles.
-
Experimental Extraction of Secure Correlations from a Noisy Private State
PublicationWe report experimental generation of a noisy entangled four-photon state that exhibits a separation between the secure key contents and distillable entanglement, a hallmark feature of the recently established quantum theory of private states. The privacy analysis, based on the full tomographic reconstruction of the prepared state, is utilized in a proof-of-principle key generation. The inferiority of distillation-based strategies...
-
Weighted difference schemes for systems of quasilinear first order partial functional differential equations
PublicationThe paper deals with initial boundary value problems of the Dirichlet type for system of quasilinear functional differential equations. We investigate weighted difference methods for these problems. A complete convergence analysis of the considered difference methods is given. Nonlinear estimates of the Perron type with respect to functional variables for given functions are assumed. The proof of the stability of difference problems...
-
Reconfiguring Minimum Dominating Sets in Trees
PublicationWe provide tight bounds on the diameter of γ-graphs, which are reconfiguration graphs of the minimum dominating sets of a graph G. In particular, we prove that for any tree T of order n ≥ 3, the diameter of its γ-graph is at most n/2 in the single vertex replacement adjacency model, whereas in the slide adjacency model, it is at most 2(n − 1)/3. Our proof is constructive, leading to a simple linear-time algorithm for determining...
-
Method of lines for nonlinear first order partial functional differential equations.
PublicationClassical solutions of initial problems for nonlinear functional differential equations of Hamilton--Jacobi type are approximated by solutions of associated differential difference systems. A method of quasilinearization is adopted. Sufficient conditions for the convergence of the method of lines and error estimates for approximate solutions are given. Nonlinear estimates of the Perron type with respect to functional variables...
-
Method of lines for Hamilton-Jacobi functional differential equations.
PublicationInitial boundary value problems for nonlinear first order partial functional differential equations are transformed by discretization in space variables into systems of ordinary functional differential equations. A method of quasi linearization is adopted. Suffcient conditions for the convergence of the method of lines and error estimates for approximate solutions are presented. The proof of the stability of the diffrential difference...
-
NO-BROADCASTING OF NON-SIGNALLING BOXES VIA OPERATIONS WHICH TRANSFORM LOCAL BOXES INTO LOCAL ONES
PublicationWe deal with families of probability distributions satisfying non-signalling condition, called non-signalling boxes and consider a class of operations that transform local boxes into local ones (the one that admit LHV model). We prove that any operation from this class cannot broadcast a bipartite non-local box with 2 binary inputs and outputs. We consider a function called anti-Robustness which can not decrease under these operations....
-
CMOS realisation of analogue processor for early vision processing
PublicationThe architecture concept of a high-speed low-power analogue vision chip, which performs low-level real-time image algorithms ispresented. The proof-of-concept prototype vision chip containing 32 × 32 photosensor array and 32 analogue processors is fabricated usinga 0.35 μm CMOS technology. The prototype can be configured to register and process images with very high speed, reaching 2000 framesper second, or achieve very low power...
-
Quantumness in Diagnostics of Marine Internal Combustion Engines and Other Ship Power Plant Machines
PublicationThe article provides proof that the diagnostics of marine internal combustion engines and other ship power plant machines should take into account the randomness and unpredictability of certain events, such as wear, damage, the variations of mechanical and thermal loads, etc., which take place during machine operation. In the article, the energy E, like the other forms (methods) that it can be converted into (heat and work), is...
-
The Maslov index and the spectral flow—revisited
PublicationWe give an elementary proof of a celebrated theorem of Cappell, Lee and Miller which relates the Maslov index of a pair of paths of Lagrangian subspaces to the spectral flow of an associated path of self-adjoint first-order operators. We particularly pay attention to the continuity of the latter path of operators, where we consider the gap-metric on the set of all closed operators on a Hilbert space. Finally, we obtain from Cappell,...
-
Critical Case Stochastic Phylogenetic Tree Model via the Laplace Transform
PublicationBirth–and–death models are now a common mathematical tool to describe branching patterns observed in real–world phylogenetic trees. Liggett and Schinazi (2009) is one such example. The authors propose a simple birth–and–death model that is compatible with phylogenetic trees of both influenza and HIV, depending on the birth rate parameter. An interesting special case of this model is the critical case where the birth rate equals the...
-
Alternative Modeling of Volunteer Based Systems
PublicationThe canonical approach to model a flow of a voluntary based computing, as presented in Chapter 7 may tax the capacity of the simulator, especially when a more complex model of Voluntary Computing, proposed in [1], is used which would imply that, for typical heterogeneous groups of volunteers, several thousands of threads would have to be run inside the simulator, to mimic closely the behaviour of every volunteer. This chapter presents...
-
Analiza i badania systemu antyspoofingowego GPS
PublicationArtykuł dotyczy problemu spoofingu w systemie GPS, polegającego na niepowołanej transmisji sygnałów imitujących sygnały odbierane z satelitów GPS. Takie działanie prowadzi do wyznaczenia przez odbiornik nawigacyjny nieprawidłowego położenia, prędkości i czasu. Zostały opisane metody przeciwdziałania spoofingowi, w szczególności poprzez przestrzenne przetwarzanie sygnałów. Przedstawiono wyniki badań symulacyjnych efektywności tych...
-
Voice Multilateration System
PublicationThis paper presents an innovative method of locating airplanes, which uses only voice communication between an air traffic controller and the pilot of an aircraft. The proposed method is described in detail along with its practical implementation in the form of a technology demonstrator (proof of concept), included in the voice communication system (VCS). A complete analysis of the performance of the developed method is presented,...
-
Is it possible to create a unified urban greenery management system (UGMS) on a national scale? The concept for EU Member State of Poland
PublicationMotives: Currently developed urban greenery management systems (UGMS) are limited in scope and profiled towards solving particular issues. Moreover, due to the lack of common standards and solutions, UGMS implementation requires considerable financial effort, which is only feasible for wealthy urban centres. There is a need for universal, cost-effective technological solutions which could constitute a common urban green infrastructure...
-
Low-coherence photonic method of electrochemical processes monitoring
PublicationWe present an advanced multimodality characterization platform for simultaneous optical and electrochemical measurements of ferrocyanides. Specifcally, we combined a fber-optic Fabry– Perot interferometer with a three-electrode electrochemical setup to demonstrate a proof-ofprinciple of this hybrid characterization approach, and obtained feasibility data in its monitoring of electrochemical reactions in a boron-doped diamond flm...
-
On the Existence of Homoclinic Type Solutions of a Class of Inhomogenous Second Order Hamiltonian Systems
PublicationWe show the existence of homoclinic type solutions of a class of inhomogenous second order Hamiltonian systems, where a C1-smooth potential satisfies a relaxed superquadratic growth condition, its gradient is bounded in the time variable, and a forcing term is sufficiently small in the space of square integrable functions. The idea of our proof is to approximate the original system by time-periodic ones, with larger and larger...
-
Limiting distribution of Lempel Ziv'78 redundancy
PublicationWe show that the Lempel Ziv'78 redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper [3]. We present a new simplified proof of the Central Limit Theorem for the number of phrases in the LZ'78 algorithm. As in our 1995 paper, here we first analyze the asymptotic behavior of the total path length in a digital search tree (a DST) built from independent sequences....
-
On the Limiting distribution of Lempel Ziv'78 Redundancy for Memoryles Sources
PublicationWe show that the Lempel Ziv'78 redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper [3]. We present a new simplified proof of the Central Limit Theorem for the number of phrases in the LZ'78 algorithm. As in our 1995 paper, here we first analyze the asymptotic behavior of the total path length in a digital search tree (a DST) built from independent sequences....
-
E-cohomological Conley index
PublicationIn this thesis we continue with developing the E-cohomological Conley index which was introduced by A.Abbondandolo. In particular, we generalize the index to non-gradient flows, we show that it an possesses additional multiplicative structure and we prove the continuation principle. Then, using continuation principle, we show how the computation of the E-cohomological Conley index can be reduced to the computation of the classical...
-
Modern Platform for Parallel Algorithms Testing: Java on Intel Xeon Phi
PublicationParallel algorithms are popular method of increasing system performance. Apart from showing their properties using asymptotic analysis, proof-of-concept implementation and practical experiments are often required. In order to speed up the development and provide simple and easily accessible testing environment that enables execution of reliable experiments, the paper proposes a platform with multi-core computational accelerator:...
-
Air journal bearing utilizing near-field acoustic levitation: stationary shaft case
PublicationResults of a study to examine a unique idea of self-levitating journal bearing are presented in this paper. the idea represents a radical departure from the current bearing technology. it utilisesacoustic levitation, which relies on the sound energy radiated by an object supporting a load. acoustic levitation has been demonstrated to support loads of up to 10 kg. in order to support a load theacoustic wave emitted by the radiating...
-
Prototyp modelu transformacji organizacji informatycznych
PublicationCelem pracy jest propozycja budowy i wykorzystania modeli transformacji organizacji informatycznych mogących znaleźć zastosowanie w osiąganiu określonych poziomów dojrzałości zgodnych ze standardami CMMI (ang. Capability Maturity Model Integration) Niniejszy tekst opisuje środowisko zaproponowanego przez autorów modelu SITAR (ang Simple IT Transformation AdvisoR). Model ten bazujący na wiedzy i doświadczeniu autorów został zaimplementowany...
-
Texture Features for the Detection of Playback Attacks: Towards a Robust Solution
PublicationThis paper describes the new version of a method that is capable of protecting automatic speaker verification (ASV) systems from playback attacks. The presented approach uses computer vision techniques, such as the texture feature extraction based on Local Ternary Patterns (LTP), to identify spoofed recordings. Our goal is to make the algorithm independent from the contents of the training set as much as possible; we look for the...
-
An Analog Sub-Miliwatt CMOS Image Sensor With Pixel-Level Convolution Processing
PublicationA new approach to an analog ultra-low power medium-resolution vision chip design is presented. The prototype chip performs low-level image processing algorithms in real time. Only a photo-diode, MOS switches and two capacitors are used to create an analog processing element (APE) that is able to realize any convolution algorithm based on a full 3x3 kernel. The proof-of-concept circuit is implemented in 0.35 µm CMOS technology,...
-
Mitigation of Fake Data Content Poisoning Attacks in NDN via Blockchain
PublicationAbstract—Information-centric networks struggle with content poisoning attacks (CPAs), especially their stronger form called Fake Data CPA, in which an intruder publisher uploads content signed with stolen credentials. Following an existing graphinfection based approach leveraging the constrained time when stolen credentials are useful, we design a blockchain-based mitigation scheme for Named Data Networking architectures. We postulate...
-
Rebuilding Bailey Bridge to Bridge With Bascule Span – A Case Study
PublicationThe structural analysis of a road foldable prefabricated steel Bailey- type bridge located over the Tuga River in Żelichowo, Poland is performed in this paper. Interesting and untypical bridge redevelopment performed made it possible to lift the middle foldable bridge span by approximately 4.0 m concerning the existing state. The paper begins with a survey of literature carried out on the investigations of foldable Bailey-type...
-
Quantum mechanical which-way experiment with an internal degree of freedom
PublicationFor a particle travelling through an interferometer, the trade-off between the available which-way information and the interference visibility provides a lucid manifestation of the quantum mechanical wave-particle duality. Here we analyse this relation for a particle possessing an internal degree of freedom such as spin. We quantify the trade-off with a general inequality that paints an unexpectedly intricate picture of wave-particle...
-
Path planning algorithm for ship collisions avoidance in environment with changing strategy of dynamic obstacles
PublicationIn this paper a path planning algorithm for the ship collision avoidance is presented. Tested algorithm is used to determine close to optimal ship paths taking into account changing strategy of dynamic obstacles. For this purpose a path planning problem is defined. A specific structure of the individual path and fitness function is presented. Principle of operation of evolutionary algorithm and based on it dedicated application...
-
Distribution of the displacement sequence of an orientation preserving circle homeomorphism
PublicationIn some applications not only the knowledge of the behaviour of trajectories of a map is important, but also their displacements. We describe in detail the distribution of elements of the displacement sequence along a trajectory of an orientation preserving circle homeomorphism ϕ with irrational rotation number ϱ(ϕ). The values of displacement are dense in a set which depends on the map γ (semi-)conjugating ϕ with the rotation...
-
Układ informatyczny systemu diagnostycznego ciągników kołowych
PublicationPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTRO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmuje system operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
Minimum vertex ranking spanning tree problem for chordal and proper interval graphs
PublicationW pracy rozważamy problem szukania, dla danego grafu prostego, drzewa spinającego, którego uporządkowana liczba chromatyczna jest minimalna. K.~Miyata i inni dowiedli w [Np-hardness proof and an approximation algorithm for the minimum vertex ranking spanning tree problem,Discrete Appl. Math. 154 (2006) 2402-2410], że odpowiedni problem decyzyjny jest NP-trudny już w przypadku pytania o istnienie uporządkowanego 4-pokolorowania....
-
Fibrillar aggregates in powdered milk
PublicationThis research paper addresses the hypothesis that powdered milk may contain amyloid fibrils. Amyloids are fibrillar aggregates of proteins. Up to this time, research on the presence of amyloids in food products are scarce. To check the hypothesis we performed thioflavin T fluorescence assay, X-ray powder diffraction, atomic force microscopy and fluorescence microscopy imaging. Our preliminary results show that commercially available...
-
Constructive Controllability for Incompressible Vector Fields
PublicationWe give a constructive proof of a global controllability result for an autonomous system of ODEs guided by bounded locally Lipschitz and divergence free (i.e. incompressible) vector field, when the phase space is the whole Euclidean space and the vector field satisfies so-called vanishing mean drift condition. For the case when the ODE is defined over some smooth compact connected Riemannian manifold, we significantly strengthen...
-
In-ADC, Rank-Order Filter for Digital Pixel Sensors
PublicationThis paper presents a new implementation of the rank-order filter, which is established on a parallel-operated array of single-slope (SS) analog-to-digital converters (ADCs). The SS ADCs use an “on-the-ramp processing” technique, i.e., filtration is performed along with analog-to-digital conversion, so the final states of the converters represent a filtered image. A proof-of-concept 64 × 64 array of SS ADCs, integrated with MOS...
-
Generic invariant measures for iterated systems of interval homeomorphisms
PublicationIt is well known that iterated function systems generated by orientation preserving homeomorphisms of the unit interval with positive Lyapunov exponents at its ends admit a unique invariant measure on (0, 1) provided their action is minimal. With the additional requirement of continuous differentiability of maps on a fixed neighbourhood of {0,1} { 0 , 1 } , we present a metric in the space of such systems which renders it complete....
-
A Linear Phase Filter in Quadruplet Topology With Frequency-Dependent Couplings
PublicationThis letter presents a design of a linear phase microwave bandpass filter. The filter is composed of four resonators arranged in the quadruplet topology. Making the cross and one direct coupling dispersive gives additional design flexibility. The first advantage of using frequency-dependent couplings is the possibility to chose an arbitrary location of a pair of complex transmission zeros (TZs) in the s-domain. The second one is...
-
An interactive system for remote modeling and design validation of hybrid photovoltaic systems
PublicationIn the paper a multi-functional demonstrator of the interactive system designed to modeling, monitoring and validation of hybrid photovoltaic systems assisted by fuel cells and thermoelectric generators is presented. The purpose of this paper is to report the system solution expressed in the form of a block diagram. Technical parameters of demonstrator components such as: silicon photovoltaic modules, fuel cells, thermoelectric...
-
A Canonical Switched Capacitor DC-DC Converter. A look at how the historical SC synthesis problem is getting solved
PublicationWe reconsider a solution to the historical problem in switched capacitor (SC) DC-DC converter synthesis. Specifically, we retackle the problem of constructing an SC twophase network realizing arbitrary voltage conversion ratio within rational bounds defined. Theoretical foundations are available in our earlier research [3] where a nonconstructive proof of existence was given. We briefly review and comment on known circuit solutions...
-
Single-Anchor Indoor Localization Using ESPAR Antenna
PublicationIn this paper a new single-anchor indoor localization concept employing Electronically Steerable Parasitic Array Radiator (ESPAR) antenna has been proposed. The new concept uses a simple fingerprinting algorithm adopted to work with directional main beam and narrow minimum radiation patterns of ESPAR antenna that scans 360° area around the base station, while the signal strength received from a mobile terminal is being recorded...
-
The Potential of Greed for Independence
PublicationThe well-known lower bound on the independence number of a graph due to Caro and Wei can be established as a performance guarantee of two natural and simple greedy algorithms or of a simple randomized algorithm. We study possible generalizations and improvements of these approaches using vertex weights and discuss conditions on so-called potential functions p(G) : V(G) -> N_0 defined on the vertex set of a graph G for which suitably...
-
Poszukiwanie dobrych odpowiedzi na źle postawione pytania, rzecz o przedsiębiorczości kobiet
PublicationWomen entrepreneurship has been the subject of research for many years and its results are often compared against the men entrepreneurship results. The conducted research has often been aimed at identification/recognition of the differences between the entrepreneurs of opposite gender. The lack of satisfactory proof for the existence of the differences has been attributed by some determined researchers to inappropriate research...
-
Dispersive Delay Structures With Asymmetric Arbitrary Group-Delay Response Using Coupled-Resonator Networks With Frequency-Variant Couplings
PublicationThis article reports the design of coupled-resonatorbased microwave dispersive delay structures (DDSs) with arbitrary asymmetric-type group delay response. The design process exploits a coupling matrix representation of the DDS circuit as a network of resonators with frequency-variant couplings (FVCs). The group delay response is shaped using complex transmission zeros (TZs) created by dispersive cross-couplings. We also present an...
-
On the Limiting Distribution of Lempel-Ziv’78 Redundancy for Memoryless Sources
PublicationWe study the Lempel-Ziv'78 algorithm and show that its (normalized) redundancy rate tends to a Gaussian distribution for memoryless sources. We accomplish it by extending findings from our 1995 paper, in particular, by presenting a new simplified proof of the central limit theorem (CLT) for the number of phrases in the LZ'78 algorithm. We first analyze the asymptotic behavior of the total path length in the associated digital search...
-
Zaufanie do siebie jako jeden z aspektów zaufania w aktywności przedsiębiorczej
PublicationArtykuł prezentuje znaczenie zaufania do samego siebie na tle zaufania w relacjach budowanych przez przedsiębiorcę w jego otoczeniu społecznym i biznesowym. Wyjaśniono koncepcję zaufania do samego siebie, odnosząc się do zróżnicowanych typów zaufania, na przykład: kalkulacyjnego, opartego na wiedzy i identyfikacyjnego. Wskazano jego potencjalne źródła i konsekwencje w kontekście budowania własnego wizerunku, podejmowania decyzji...
-
PROGRAMMABLE YANG - BASED INTERFACE IN CONTROL OF OPTICAL TRANSPORT NETWORK
PublicationSince over a decade we observe intensive effort of research institutions and industrial consortia on extending flexibility and automation of the transport network control also known under the term network programmability. Key aspect of each programming interface is ability to evolve but also sensitivity to future modifications. As indicated in the past work in the specific context of optical transport networks an important criterion...
-
Towards truly sustainable IoT systems: the SUPERIOT project
PublicationThis paper provides an overview of the SUPERIOT project, an EU SNS JU (Smart Networks and Services Joint Undertaking) initiative focused on developing truly sustainable IoT systems. The SUPERIOT concept is based on a unique holistic approach to sustainability, proactively developing sustainable solutions considering the design, implementation, usage and disposal/reuse stages. The concept exploits radio and optical technologies...
-
HARDWARE AND SOFTWARE OF DIAGNOSTIC SYSTEM OF WHEELED TRACTORS = Hardwer i softwer systemu diagnostycznego ciągników kołowych
PublicationPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTURO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmujesystem operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
Concrete temperature measurements of cubic specimens cured under isothermal and semi-adiabatic conditions
Open Research DataThe DataSet contains temperature measurements of concrete cubes (150 x 150 x 150 mm) cured under isothermal and semi-adiabatic conditions. The specimens were moulded from six types of concrete mixtures produced in the laboratory conditions. Mix #1: Portland cement CEM I 42.5R and gravel aggregate, mix #2: CEM I 42.5R and basalt aggregate, mix#3: Portland-composite...
-
Rospuda - czy wszędzie budować mosty?
PublicationStreszczenie - SummaryThe article presents the problem of planning transport system in the areas of high natural and landscape values. Bridges and roads crossing valuable areas undergo Environmental Impact Assessment (EIA) Procedure. This procedure in Poland is often treated only as formal requirement, not as an instrument helping to solve conflicts and to minimise negative environmental and landscape effects. The potential of...
-
Isolation and structure of a covalent cross-link adduct between mitomycin C and DNA **1987 VOL.235 S. 1204-1208, 5 RYS. BIBLIOGR. 37 POZ.//
PublicationA DNA cross-link adduct of the antitumor agent mitomycin C (MC) to DNA has been isolated and characterized; the results provide direct proof for bifunctional alkylation of DNA by MC. Exposure of MC to Micrococcus luteus DNA under reductive conditions and subsequent nuclease digestion yielded adducts formed between MC and deoxyguanosine residues. In addition to the two known monoadducts, a bisadduct was obtained. Reductive MC activation...
-
Circularly Polarized Metalens Antenna Design for 5G NR Sub-6 GHz Communication Systems
Publication5G NR (new radio) FR1 range refers to as Sub-6GHz band (410MHz to 7125MHz and 3.4GHz to 6GHz). In this paper, the frequency range of interest is from 3.4 to 6GHz, as many cellular companies are focusing on this Sub-6GHz band. A wideband circularly polarized (CP) antenna radiator is designed with diamond shape patches, fed by a microstrip line at the bottom through a rectangular shape wide slot on a ground plane. The proposed CP...
-
Miniaturized Inline Bandpass Filters Based on Triple-Mode Integrated Coaxial-Waveguide Resonators
PublicationThis work presents a design technique to implement miniaturized cross-coupled bandpass filters in inline physical configurations based on triple-mode resonators. Triple-mode resonances are obtained by using integrated coaxial-waveguide cavity resonators. They consist of two coaxial conducting posts placed in the sidewalls of a rectangular waveguide cavity. In the proposed triplet, a transmission zero (TZ) can be positioned at any...
-
A Novel IoT-Perceptive Human Activity Recognition (HAR) Approach Using Multi-Head Convolutional Attention
PublicationTogether with fast advancement of the Internet of Things (IoT), smart healthcare applications and systems are equipped with increasingly more wearable sensors and mobile devices. These sensors are used not only to collect data, but also, and more importantly, to assist in daily activity tracking and analyzing of their users. Various human activity recognition (HAR) approaches are used to enhance such tracking. Most of the existing...
-
Machine Learning Algorithm-Based Tool and Digital Framework for Substituting Daylight Simulations In Early- Stage Architectural Design Evaluation
PublicationThe aim of this paper is to examine the new method of obtaining the simulation-based results using backpropagation of errors artificial neural networks. The primary motivation to conduct the research was to determine an alternative, more efficient and less timeconsuming method which would serve to achieve the results of daylight simulations. Three daylight metrics: Daylight Factor, Daylight Autonomy and Daylight Glare Probability have...
-
Tacit knowledge influence on intellectual capital and innovativeness in the healthcare sector: A cross-country study of Poland and the US
PublicationThis study provides empirical proof that whole organizational innovativeness is rooted in tacit knowledge due to its potency of human capital creation and, that a learning culture composed of a learning climate and mistakes acceptance component fosters human capital development. The main practical implication is that if the IC components are externally rather than internally determined in the particular organization embedded in...
-
RF Multi-Functional Input-Reflectionless Dispersive-Delay Structure With Sharp-Rejection Filtering Using Channelization Techniques
PublicationA class of RF multi-functional input-reflectionless dispersive-delay structure (DDS) with linear-type in-band groupdelay variation and sharp-rejection bandpass-filtering capability is reported. It exploits a two-branch-channelized/balanced-type circuit with similar low-order reflective DDS units inside its channels, which are connected through input/output 3-dB quadrature wideband couplers. The adopted DDS unit is based on a coupledresonator...
-
On weak solutions of the boundary value problem within linear dilatational strain gradient elasticity for polyhedral Lipschitz domains
PublicationWe provide the proof of an existence and uniqueness theorem for weak solutions of the equilibrium problem in linear dilatational strain gradient elasticity for bodies occupying, in the reference configuration, Lipschitz domains with edges. The considered elastic model belongs to the class of so-called incomplete strain gradient continua whose potential energy density depends quadratically on linear strains and on the gradient of...
-
Cops, a fast robber and defensive domination on interval graphs
PublicationThe game of Cops and ∞-fast Robber is played by two players, one controlling c cops, the other one robber. The players alternate in turns: all the cops move at once to distance at most one each, the robber moves along any cop-free path. Cops win by sharing a vertex with the robber, the robber by avoiding capture indefinitely. The game was proposed with bounded robber speed by Fomin et al. in “Pursuing a fast robber on a graph”,...
-
Preparation and Characterization of Microsphere ZnO ALD Coating Dedicated for the Fiber-Optic Refractive Index Sensor
PublicationWe report the fabrication of a novel fiber-optic sensor device, based on the use of a microsphere conformally coated with a thin layer of zinc oxide (ZnO) by atomic layer deposition (ALD), and its use as a refractive index sensor. The microsphere was prepared on the tip of a single-mode optical fiber, on which a conformal ZnO thin film of 200 nm was deposited using an ALD process based on diethyl zinc (DEZ) and water at 100 °C....
-
A method of Functional Test interval selection with regards to Machinery and Economical aspects
PublicationThis paper discusses the problem of choosing the optimal frequency of functional test, including the reliability calculations and production efficiency, but also the effect of company risk management. The proof test as a part of the functional test interval is well described for the process industry. Unfortunately, this situation is not the case for the machinery safety functions with low demand mode. Afterwards, it is presented...
-
Simple Millimeter Wave Identification System Based on 60 GHz Van Atta Arrays
PublicationThe paper presents a proof-of-concept of a millimeter-wave identification system based on Van Atta array tags in the 60 GHz band. For interrogation of the tags, a vector network analyzer and a measurement transceiver were employed in alternative test configurations. The design, fabrication and measurements of co- and cross-polarized Van Atta arrays are presented in the paper. They can be treated as simple chipless RFID tags with...
-
Microfluidically Frequency-Reconfigurable Self-Quadruplexing Antenna Based on Substrate Integrated Square-Cavity
PublicationIn this article, a novel concept of self-quadruplexing tunable antenna (SQTA) enabled by microfluidic channels is investigated. The operating channels are either filled with air or dielectric liquids to enable frequency tunability. The proposed SQTA is implemented on the substrate-integrated square-cavity (SISC). A swastika-shaped slot is milled on the top-surface of the SISC to create four quarter-mode resonators. The resonators...
-
T-colorings, divisibility and circular chromatic number
PublicationLet T be a T-set, i.e., a finite set of nonnegative integers satisfying 0 ∈ T, and G be a graph. In the paper we study relations between the T-edge spans espT (G) and espd⊙T (G), where d is a positive integer and d ⊙ T = {0 ≤ t ≤ d (max T + 1): d |t ⇒ t/d ∈ T} . We show that espd⊙T (G) = d espT (G) − r, where r, 0 ≤ r ≤ d − 1, is an integer that depends on T and G. Next we focus on the case T = {0} and show that espd⊙{0} (G) =...