Filtry
wszystkich: 119
wybranych: 117
Filtry wybranego katalogu
Wyniki wyszukiwania dla: proof strength
-
Minimum vertex ranking spanning tree problem for chordal and proper interval graphs
PublikacjaW 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....
-
Generic invariant measures for iterated systems of interval homeomorphisms
PublikacjaIt 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....
-
Poszukiwanie dobrych odpowiedzi na źle postawione pytania, rzecz o przedsiębiorczości kobiet
PublikacjaWomen 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...
-
The Potential of Greed for Independence
PublikacjaThe 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...
-
Network-assisted processing of advanced IoT applications: challenges and proof-of-concept application
PublikacjaRecent 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...
-
Constructive Controllability for Incompressible Vector Fields
PublikacjaWe 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
PublikacjaThis 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...
-
An interactive system for remote modeling and design validation of hybrid photovoltaic systems
PublikacjaIn 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...
-
Fibrillar aggregates in powdered milk
PublikacjaThis 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...
-
A Survey on the Datasets and Algorithms for Satellite Data Applications
PublikacjaRecent 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...
-
On the Limiting Distribution of Lempel-Ziv’78 Redundancy for Memoryless Sources
PublikacjaWe 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...
-
Dispersive Delay Structures With Asymmetric Arbitrary Group-Delay Response Using Coupled-Resonator Networks With Frequency-Variant Couplings
PublikacjaThis 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...
-
Ocena poprawności działania algorytmu proof-number search na strukturze digrafu acyklicznego
PublikacjaAlgorytm 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...
-
PROGRAMMABLE YANG - BASED INTERFACE IN CONTROL OF OPTICAL TRANSPORT NETWORK
PublikacjaSince 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
PublikacjaThis 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...
-
Rospuda - czy wszędzie budować mosty?
PublikacjaStreszczenie - 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...
-
A Novel IoT-Perceptive Human Activity Recognition (HAR) Approach Using Multi-Head Convolutional Attention
PublikacjaTogether 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
PublikacjaThe 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...
-
Miniaturized Inline Bandpass Filters Based on Triple-Mode Integrated Coaxial-Waveguide Resonators
PublikacjaThis 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...
-
Circularly Polarized Metalens Antenna Design for 5G NR Sub-6 GHz Communication Systems
Publikacja5G 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...
-
Isolation and structure of a covalent cross-link adduct between mitomycin C and DNA
PublikacjaA 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...
-
Cops, a fast robber and defensive domination on interval graphs
PublikacjaThe 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”,...
-
On weak solutions of the boundary value problem within linear dilatational strain gradient elasticity for polyhedral Lipschitz domains
PublikacjaWe 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...
-
RF Multi-Functional Input-Reflectionless Dispersive-Delay Structure With Sharp-Rejection Filtering Using Channelization Techniques
PublikacjaA 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...
-
Tacit knowledge influence on intellectual capital and innovativeness in the healthcare sector: A cross-country study of Poland and the US
PublikacjaThis 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...
-
A Low-Profile 3-D Printable Metastructure for Performance Improvement of Aperture Antennas
PublikacjaIn order to increase the radiation performance of aperture-type antennas, this paper demonstrates a low-profile, planar, single-layer, three-dimensional (3-D) printable metastructure. The proposed hybridized metastructure is highly transparent as it is made out of novel hybrid meta-atoms having transmission coefficient magnitudes greater than -0.72 dB and fully complies with the near-field phase transformation principle. The hybridized...
-
Preparation and Characterization of Microsphere ZnO ALD Coating Dedicated for the Fiber-Optic Refractive Index Sensor
PublikacjaWe 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
PublikacjaThis 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...
-
Structural Health Monitoring of Overhead Power Transmission Lines
PublikacjaStructural Health Monitoring (SHM) is a novel and continuously developing branch of science and technology that draws attention of scientists all over the world. It creates opportunities to detect, localize and identify structural damage of various types such as: line breakage, permissible sag, bolt loosening, fatigue cracking or insulator contamination. On the other hand the methods used to estimate the remaining operational...
-
Device-independent quantum key distribution based on measurement inputs
PublikacjaWe provide an analysis of a family of device-independent quantum key distribution (QKD) protocols that has the following features. (a) The bits used for the secret key do not come from the results of the measurements on an entangled state but from the choices of settings. (b) Instead of a single security parameter (a violation of some Bell inequality) a set of them is used to estimate the level of trust in the secrecy of the key....
-
Local dynamics of fluids and dielectrics as the foundation of signal-carrying wave properties
PublikacjaThis paper develops an original approach to fundamental problems of classical linear acoustics and electromagnetics, proving a crucial role of doubly-dynamic local properties of a propagation medium in supporting wave-like fields able to carry information signals. The proof is composed of two steps concerning, subsequently, fluid acoustics and dielectric electromagnetics. The first step consists in complementing a common, practically...
-
Detection of propofol concentrations in blood by Raman spectroscopy
PublikacjaIn this paper we present a proof-of-concept of a Raman spectroscopy-based approach for measuring the content of propofol, a common anesthesia drug, in whole human blood, and plasma, which is intended for use during clinical procedures. This method utilizes the Raman spectroscopy as a chemically–sensitive method for qualitative detection of the presence of a drug and a quantitative determination of its concentration. A number of...
-
T-colorings, divisibility and circular chromatic number
PublikacjaLet 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) =...
-
Microfluidically Frequency-Reconfigurable Self-Quadruplexing Antenna Based on Substrate Integrated Square-Cavity
PublikacjaIn 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...
-
Simple Millimeter Wave Identification System Based on 60 GHz Van Atta Arrays
PublikacjaThe 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...
-
THIRD-ORDER EXPONENTIAL INTEGRATOR FOR LINEAR KLEIN–GORDON EQUATIONS WITH TIME AND SPACE-DEPENDANT MASS
PublikacjaAllowing for space- and time-dependance of mass in Klein–Gordon equations re- solves the problem of negative probability density and of violation of Lorenz covariance of interaction in quantum mechanics. Moreover it extends their applicability to the domain of quantum cosmology, where the variation in mass may be accompanied by high oscillations....
-
THIRD-ORDER EXPONENTIAL INTEGRATOR FOR LINEAR KLEIN–GORDON EQUATIONS WITH TIME AND SPACE-DEPENDANT MASS
PublikacjaAllowing for space- and time-dependance of mass in Klein–Gordon equations re- solves the problem of negative probability density and of violation of Lorenz covariance of interaction in quantum mechanics. Moreover it extends their applicability to the domain of quantum cosmology, where the variation in mass may be accompanied by high oscillations....
-
Synthesis and structural characterization of bio-based bis(cyclic carbonate)s for the preparation of non-isocyanate polyurethanes
PublikacjaBio-based cyclic carbonates are of significant research interest as monomers for non-isocyanate polyurethane (NIPU) synthesis. This research describes the synthesis of a series of five-membered bis(cyclic carbonate)s using bio-based polyether polyols (PO3G) with different molecular weights (250, 650 and 1000 g mol−1) and carbon dioxide as green feedstocks. The utilization of CO2 as a source of carbon in the chemical reaction is...
-
Assessment of baby disposable diapers application for urine collection and determination of phthalate metabolites
PublikacjaThe baby disposable diapers were investigated as a sampling material for urine collection and validated for the evaluation of the exposure of children to xenobiotics. Phthalate metabolites detected in urine samples were chosen as proof-of-concept analytes. For the determination of phthalate metabolites in children’s urine samples, high performance liquid chromatography coupled with tandem mass spectrometry (HPLC-MS/MS) was used. Two...
-
Dynamic Bayesian Networks for Symbolic Polyphonic Pitch Modeling
PublikacjaSymbolic pitch modeling is a way of incorporating knowledge about relations between pitches into the process of an- alyzing musical information or signals. In this paper, we propose a family of probabilistic symbolic polyphonic pitch models, which account for both the “horizontal” and the “vertical” pitch struc- ture. These models are formulated as linear or log-linear interpo- lations of up to fi ve sub-models, each of which is...
-
Bioactive hybrid metal-organic framework (MOF)-based nanosensors for optical detection of recombinant SARS-CoV-2 spike antigen
PublikacjaFast, efficient, and accurate detection of SARS-CoV-2 spike antigen is pivotal to control the spread and reduce themortality of COVID-19. Nevertheless, the sensitivity of available nanobiosensors to detect recombinant SARS-CoV-2 spike antigen seems insufficient. As a proof-of-concept, MOF-5/CoNi2S4 is developed as a low-cost, safe, and bioactive hybrid nanostructure via the one-pot high-gravity protocol. Then, the porphyrin, H2TMP,...
-
Dilemmas of Identity in Contemporary Cities. The City of Gdansk as an Example
PublikacjaThe article is aimed to answer the question how, depending on the historical heritage, the collective memory, the physical space of the city and their images were shaped, through the politics of memory. All known cultures and languages distinguish the ‘self’ and the ‘other’, ‘us’ and ‘them’. Neither do we know cities which wish to differ in some particular way, although they can have numerous identities. Their multitude and diversity...
-
Applications of Raman spectroscopy for detection of selected substances in tissues
PublikacjaThis dissertation explores the applications of Raman spectroscopy for biological tissue analysis. Basics of Raman and surface-enhanced Raman spectroscopy (SERS) are described, along with an analysis of the literature on biodetection and non-invasive blood analysis with emphasis on glucose detection. Instrumentation for Raman measurements is described. The sources of noise and interferences occurring in biological tissue measurements...
-
Seven Different Lighting Conditions in Photogrammetric Studies of a 3D Urban Mock-Up
PublikacjaOne of the most important elements during photogrammetric studies is the appropriate lighting of the object or area under investigation. Nevertheless, the concept of “adequate lighting” is relative. Therefore, we have attempted, based on experimental proof of concept (technology readiness level—TRL3), to verify the impact of various types of lighting emitted by LED light sources for scene illumination and their direct influence...
-
Assessment of Electronic Sensing Techniques for the Rapid Identification of Alveolar Echinococcosis through Exhaled Breath Analysis
PublikacjaHere we present a proof-of-concept study showing the potential of a chemical gas sensors system to identify the patients with alveolar echinococcosis disease through exhaled breath analysis. The sensors system employed comprised an array of three commercial gas sensors and a custom gas sensor based on WO3 nanowires doped with gold nanoparticles, optimized for the measurement of common breath volatile organic compounds. The measurement...
-
A vector-enzymatic DNA fragment amplification-expression technology for construction of artificial, concatemeric DNA, RNA and proteins for novel biomaterials, biomedical and industrial applications
PublikacjaA DNA fragment amplification/expression technology for the production of new generation biomaterials for scientific, industrial and biomedical applications is described. The technology enables the formation of artificial Open Reading Frames (ORFs) encoding concatemeric RNAs and proteins. It recruits the Type IIS SapI restriction endonuclease (REase) for an assembling of DNA fragments in an ordered head-to-tail-orientation. The...
-
Novel Versatile Topologies and Design Optimization of Wide-Bandstop Frequency Selective Surfaces for X-Band, Ku-Band and Millimeter-Wave Applications
PublikacjaNovel designs of frequency selective surface (FSS) are presented for wideband applications in X, Ku and mmWave (millimeter Wave) bands. Two identical metallic layers of FSS are imprinted on both sides of the RO4003 substrate. The geometry parameters are optimized to maximize the bandstop at the specified in-band maximum transmission level of –10 dB; satisfaction of the latter condition is enforced through appropriate formulation...
-
Economical wood sawing with circular saw blades of a new design (Ekonomicno piljenje drva kruznom pilom novog dezajna)
PublikacjaMaterial-saving and energy-saving belong to the basic requirements imposed on contemporary manufacturing processes. The realization of these processes gives measurable profi ts, not only economical butalso ecological. In the case of wood sawing with circular saw blades, material- and energy-savings are dependent on total overall set of teeth (theoretical kerf) and teeth position accuracy in relation to the workpiece. Hence, it...
-
Machine Learning and Deep Learning Methods for Fast and Accurate Assessment of Transthoracic Echocardiogram Image Quality
PublikacjaHigh-quality echocardiogram images are the cornerstone of accurate and reliable measurements of the heart. Therefore, this study aimed to develop, validate and compare machine learning and deep learning algorithms for accurate and automated assessment of transthoracic echocardiogram image quality. In total, 4090 single-frame two-dimensional transthoracic echocardiogram...
-
Amplifying the Randomness of Weak Sources Correlated With Devices
PublikacjaThe problem of device-independent randomness amplification against no-signaling adversaries has so far been studied under the assumption that the weak source of randomness is uncorrelated with the (quantum) devices used in the amplification procedure. In this paper, we relax this assumption, and reconsider the original protocol of Colbeck and Renner using a Santha-Vazirani (SV) source. To do so, we introduce an SV-like condition...