Filters
total: 3241
filtered: 2625
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: bounded%20solutions
-
Updating a hospital building. A task for innovation design
PublicationRefurbishment of a hospital, especially located in a historical building, is a task that goes far beyond a standard framework of architectural practice. A concept of modularity in the architecture of the late nineteenth and early twentieth century was only just to happen, building system installations and technical equipment appeared as the simplest solutions. Inscribing complex functional solutions into such a space is an interesting...
-
A 27/26-approximation algorithm for the chromatic sum coloring of bipartitegraphs
PublicationWe consider the CHROMATIC SUM PROBLEM on bipartite graphs which appears to be much harder than the classical CHROMATIC NUMBER PROBLEM. We prove that the CHROMATIC SUM PROBLEM is NP-complete on planar bipartite graphs with Delta less than or equal to 5, but polynomial on bipartite graphs with Delta less than or equal to 3, for which we construct an O(n(2))-time algorithm. Hence, we tighten the borderline of intractability for this...
-
Production of new non-matrix reference material of ethene
PublicationThe main objective of the research is to produce new non-matrix reference materials of ethene. The study are based on thermal decomposition of surface compound chemically bonded with the surface of glass fibers coated with thin layer of aluminum. Positivehomogeneity test, stability test and organization of inter-laboratory comparison are leading to find new non-matrix reference materials which are indispensable tools in the analysis...
-
The complexity of bicriteria tree-depth
PublicationThe tree-depth problem can be seen as finding an elimination tree of minimum height for a given input graph G. We introduce a bicriteria generalization in which additionally the width of the elimination tree needs to be bounded by some input integer b. We are interested in the case when G is the line graph of a tree, proving that the problem is NP-hard and obtaining a polynomial-time additive 2b-approximation algorithm. This particular...
-
Respiration rate estimation using non-linear observers in application to wastewater treatment plant
PublicationA problem of respiration rate estimation using two new non-linear observers for a wastewater treatment plant is addressed in this paper. In particular, a non-linear adaptive Luenberger-like observer and a super twisting sliding mode observer have been derived to produce stable and bounded estimates of the respiration rate. During the synthesis of the particular observer, an appropriate mathematical utility model was used. The observability...
-
Trust Dynamics Analysis of CTR Scheme Subversion under Virtual Anonymity and Trust-Unaware Partner Selection
PublicationWe propose a framework to study Markovian trust value dynamics in a centralized Computational Trust and Reputation (CTR) scheme under trust-unaware partner selection using a mean-value approximation. Analytically founded answers are sought to questions like: Can dishonest agents subvert the CTR scheme (i.e., acquire higher trust values than honest agents)? Is indirect reciprocity incentivized? Is there a qualitative impact of a...
-
Adhesive Monitoring with Instrumented Wedge Test
PublicationThe wedge test (sometimes called the Boeing wedge test) is amongst the most readily exploitable techniques for assessment of the rate-dependent fracture energy of adhesive materials when used to bond relatively rigid substrates. With its siblings: the double cantilever beam (DCB), and the tapered double cantilever beam (TDCB), a force is applied, essentially in cleavage, to provoke substrate separation perpendicularly to the bondline...
-
Measurement of sub-nanometer molecular layers with ISFET without a reference electrode dependency
PublicationA new method of detection and measurement with sub-nanometer resolution of layers adsorbed or bonded to the ISFET's gate dielectric was presented. The sensitivity of this method is high enough to detect even partial mono-layer covering. The transconductance measurement of the ISFET provides independence of the output signal from pH changes and the driving electrode electrochemical potential instabilities. The stable reference electrode...
-
Algorithms for testing security in graphs
PublicationIn this paper we propose new algorithmic methods giving with the high probability the correct answer to the decision problem of security in graphs. For a given graph G and a subset S of a vertex set of G we have to decide whether S is secure, i.e. every subset X of S fulfils the condition: |N[X] \cap S| >= |N[X] \ S|, where N[X] is a closed neighbourhood of X in graph G. We constructed a polynomial time property pseudotester based...
-
Decision-Making Models of the Human-Operator as an Element of the Socio-Technical Systems
PublicationThe authors of the chapter proved that the fundamental intellectual processes, which lie on the basis of decision-making behavior of the human-operator, could be identified on the bases on the analogies with the devices (elements). The basic intellectual processes of the Rational decision-making models can be adequately identified by the transient processes of the PID-controller; the intellectual processes of the Bounded Rationality...
-
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...
-
Polyether-block-amide PEBA membranes for gas separation and pervaporation; current design and applications
PublicationPolyether-block-amide (PEBA) membranes have attracted considerable attention for their exceptional efficacy in gas separation and pervaporation processes. This comprehensive review delves into the precise definition, distinguishing characteristics, and diverse applications of PEBA membranes over the past five years. A primary research objective focuses on enhancing gas separation efficiency, primarily through augmenting membrane...
-
The impact of addition of olive oil on thermal degradation of refined rapeseed oil
PublicationFats are an important component of the everyday diet and have a significant impact on the proper functioning of human organism. However, during the process of frying chemical transformations take place in the oil; hence fats characterised by high oxidative stability should be given preference. The aim of this work was to determine the quality of rapeseed oil, blended oil, and refined olive oil, all sourced from the domestic market....
-
4-Point beam tensile test on a soft adhesive
PublicationAn adhesive butt joint with a soft bondline has been studied. A series of experiments was conducted on test pieces constituted of aluminium adherends bonded with a low modulus epoxy adhesive, ScotchWeld™ 2216. The joint was subjected to four point bending, in tension/compression loading, under constant deflection rate, with the bondline being parallel to the applied load. The objective was to examine and evaluate crack nucleation...
-
Activation of the operational ecohydrodynamic model (3D CEMBS) – the ecosystem module**The study was supported by the Polish State Committee of Scientific Research (grants: N N305 111636, N N306 353239). Partial support was also provided by the Satellite Monitoring of the Baltic Sea Environment – the SatBałtyk project funded by the European Union through the European Regional Development Fund contract No. POIG 01.01.02-22-011/09.
Publication -
Positron binding to alkali-metal hydrides: The role of molecular vibrations
PublicationThe bound vibrational levels for J=0 have been computed for the series of alkali-metal hydride molecules from LiH to RbH, including NaH and KH. For all four molecules the corresponding potential-energy curves have been obtained for each isolated species and for its positron-bound complex (e+XH). It is found that the calculated positron affinity values strongly depend on the molecular vibrational state for which they are obtained...
-
Imunofan - RDKVYR peptide - stimulates skin cell proliferation and promotes tissue repair
PublicationRegeneration and wound healing are vital to tissue homeostasis and organism survival. One of the biggest challenges of today's science and medicine is finding methods and factors to stimulate these processes in the human body. Effective solutions to promote regenerative responses will accelerate advances in tissue engineering, regenerative medicine, transplantology, and a number of other clinical...
-
Parity vertex colouring of graphs
PublicationA parity path in a vertex colouring of a graph is a path along which each colour is used an even number of times. Let Xp(G) be the least number of colours in a proper vertex colouring of G having no parity path. It is proved that for any graph G we have the following tight bounds X(G) <= Xp(G) <=|V(G)|− a(G)+1, where X(G) and a(G) are the chromatic number and the independence number of G, respectively. The bounds are improved for...
-
Application of Doubly Connected Dominating Sets to Safe Rectangular Smart Grids
PublicationSmart grids, together with the Internet of Things, are considered to be the future of the electric energy world. This is possible through a two-way communication between nodes of the grids and computer processing. It is necessary that the communication is easy and safe, and the distance between a point of demand and supply is short, to reduce the electricity loss. All these requirements should be met at the lowest possible cost....
-
Dipole-driven dynamics for near-threshold electron/positron interactions with pyrimidinic DNA bases: a path to compound formations
PublicationCalculations are reported for electron and positron scattering from isolated cytosine and thymine, where the two pyrimidinic single-ring DNA bases, in the gas-phase at energies near the elastic threshold, they reveal the special features of the dipole-driven scattering states. All molecules examined exhibit, in fact, supercritical (>1.67 D) permanent dipoles which can therefore also support, below threshold, excited bound compound...
-
Types of Markov Fields and Tilings
PublicationThe method of types is one of the most popular techniques in information theory and combinatorics. However, thus far the method has been mostly applied to one-dimensional Markov processes, and it has not been thoroughly studied for general Markov fields. Markov fields over a finite alphabet of size m ≥ 2 can be viewed as models for multi-dimensional systems with local interactions. The locality of these interactions is represented...
-
Hydration of aprotic donor solvents studied by means of FTIR spectroscopy
PublicationThe paper attempts to explain the mutual influence of nonpolar and electron-donor groups on solute hydration,the problem of big importance for biological aqueous systems. Aprotic organic solvents have been used asmodel solutes, differing in electron-donating power. Hydration of acetonitrile, acetone, 2-butanone, andtriethylamine has been studied by HDO and (partially) H2O spectra. The quantitative version of...
-
Bonding in Phosphanylphosphinidene Complexes of Transition Metals and their Correlation with Structures, 31 P NMR Spectra, and Reactivities
PublicationTheoretical studies of the bonding interactions and most important properties are carried out for isolable phosphanylphosphinidene complexes of transition metals. Three main types of phosphanylphosphinidene complexes are distinguished, based on the way in which the phosphanylphosphinidene ligand bonds to the metal center: (i) side-on complexes of platinum, where the R2Pβ–Pα ligand mimics structural features of free singlet phosphanylphosphinidenes...
-
Constructive entanglement test from triangle inequality
PublicationWe derive a simple lower bound on the geometric measure of entanglement for mixed quantum states in the case of a general multipartite system. The main ingredient of the presented derivation is the triangle inequality applied to the root infidelity distance in the space of density matrices. The obtained bound leads to entanglement criteria with a straightforward interpretation. The proposed criteria provide an experimentally accessible,...
-
The hybrid estimation algorithm for wastewater treatment plant robust model predictive control purposes at medium time scale
PublicationThe paper proposes an approach to designing the hybrid estimation algorithm/module (HEA) with moving measurements window for Wastewater Treatment Plant (WWTP) Robust Model Predictive Control (RMPC) purposes at medium time scale. The RMPC uses a dedicated grey-box model of biological reactor for the system outputs prediction purposes. The grey-box model parameters are dependant on the plant operating point. Hence, these parameters...
-
The Proposal to “Snapshot” Raim Method for Gnss Vessel Receivers Working in Poor Space Segment Geometry
PublicationNowadays, we can observe an increase in research on the use of small unmanned autonomous vessel (SUAV) to patrol and guiding critical areas including harbours. The proposal to “snapshot” RAIM (Receiver Autonomous Integrity Monitoring) method for GNSS receivers mounted on SUAV operating in poor space segment geometry is presented in the paper. Existing “snapshot” RAIM methods and algorithms which are used in practical applications...
-
Structures for parameterization, meshing and data exchange of topologically related surfaces of a ship hull
PublicationThis paper presents proposal of data structures for storage and processing of a parametric three-dimensional model of a midship hull sections. The model consists of coarse surfaces like: decks, frames, girders, stiffeners, brackets, partitions etc. bounded by topological relations. All workshop details are omitted as the model is intended for numeric calculations. Proposed data structures are prepared to facilitate changes in the...
-
Constructing a map of an anonymous graph: applications of universal sequences
PublicationWe study the problem of mapping an unknown environmentrepresented as an unlabelled undirected graph. A robot (or automaton)starting at a single vertex of the graph G has to traverse the graph and return to its starting point building a map of the graph in the process. We are interested in the cost of achieving this task (whenever possible) in terms of the number of edge traversal made by the robot. Another optimization criteria...
-
Smooth start for strategry game development supported by XNA framework
PublicationTo attract young and casual game developers, Microsoft created a set of libraries oriented towards easier game development and end-product management. The aim of XNA Framework is to provide a unified software development environment for creating games for both PC's and dedicated platforms like XBOX consoles or mobile phones capable of 3D acceleration. The use of modern, object oriented languages available for the .NET platform...
-
Wpływ polietylenu szczepionego bezwodnikiem maleinowym oraz sił ścinających na właściwości mieszanin polietylen wysokiej gęstości-miał gumowy
PublicationScharakteryzowano wpływ kompatybilizatora w postaci polietylenu szczepionego bezwodnikiem maleinowym na właściwości mieszanin PE-HD–miał gumowy. Kompozycje termoplastyczne zawierające 50 cz. mas. rozdrobnionych odpadów gumowych, otrzymano przy użyciu współbieżnej wytłaczarki dwuślimakowej. Poziom sił ścinających generowanych podczas mieszania, regulowano za pomocą zmian prędkości obrotowych ślimaków. Przeprowadzono charakterystykę...
-
Why is the cubic structure preferred in newly formed ice?
PublicationMolecular dynamics was employed to explain the preference for the cubic structure in newly formed crystals of ice. The results showed that in supercooled liquid water the molecules connected by hydrogen bonds are more likely to adopt relative orientations similar to the ones characteristic for cubic ice. The observed preference for certain relative orientations of molecules in the hydrogen-bonded pairs results in the higher probability...
-
Selective monitoring of noise emitted by vehicles involved in road traffic
PublicationAn acoustic intensity probe was developed measures the sound intensity in three orthogonal directions, making possible to calculate the azimuth and elevation angles, describing the sound source position. The acoustic sensor is made in the form of a cube with a side of 10 mm, on the inner surfaces of which the digital MEMS microphones are mounted. The algorithm works in two stages. The first stage is based on the analysis of sound...
-
PERS - QUIET ROAD SURFACE FOR URBAN AREAS
PublicationTraffic noise is one of the most important environmental problems in densely populated urban areas. At low speeds the tyre/road interaction dominates all other sources. It is anticipated that when electric and hybrid vehicles gain dominance in city traffic, the importance of tyre/road noise will still increase as electric engines are much less noisy than combustion engines. On the other hand, electric and hybrid urban vehicles...
-
A Generalized Version of the Lions-Type Lemma
PublicationIn this short paper, I recall the history of dealing with the lack of compactness of a sequence in the case of an unbounded domain and prove the vanishing Lions-type result for a sequence of Lebesgue-measurable functions. This lemma generalizes some results for a class of Orlicz–Sobolev spaces. What matters here is the behavior of the integral, not the space
-
Philosophy of Symbolic Forms and a Mystery of “Appearing Itself ”. Cassirer in the Context of Phenomenology
Publicationin the publications concerning Cassirer, whose number has been increasing for about a dozen years, more and more space is devoted to the genesis of his philosophy, and more attention is paid to its linkage to Neo-Kantian Marburg school. Also, in addition to Kantian, Hegelian and Goethean heritage in Cassirer’s philosophy is indicated, while its discovered philosophical foundations make it possible to regard the author of The Philosophy...
-
Roof over PGE Arena in Gdansk. Review of structure and monitoring system
PublicationThis paper presents general structural assumptions of the steel construction designed for a newfootball stadium to be built for UEFA Championship 2012 in the city of Gdańsk. The superstructureis founded directly on the modified abutment. The facade and the roof are collected from 82 steelgirders made of tube profiles. The girders are braced by circular beams and X tension rods. All thiscreates a quasi - dome covered by polycarbonate...
-
General paradigm for distilling classical key from quantum states
PublicationIn this paper, we develop a formalism for distilling aclassical key from a quantum state in a systematic way, expandingon our previous work on a secure key from bound entanglement(Horodecki et al., 2005). More detailed proofs, discussion, andexamples are provided of the main results. Namely, we demonstratethat all quantum cryptographic protocols can be recast in away which looks like entanglement theory, with the only changebeing...
-
Recent Advances in Loop Heat Pipes with Flat Evaporator
PublicationThe focus of this review is to present the current advances in Loop Heat Pipes (LHP) with flat evaporators, which address the current challenges to the wide implementation of the technology. A recent advance in LHP is the design of flat-shaped evaporators, which is better suited to the geometry of discretely mounted electronics components (microprocessors) and therefore negate the need for an additional transfer surface (saddle)...
-
Independence in uniform linear triangle-free hypergraphs
PublicationThe independence number a(H) of a hypergraph H is the maximum cardinality of a set of vertices of H that does not contain an edge of H. Generalizing Shearer’s classical lower bound on the independence number of triangle-free graphs Shearer (1991), and considerably improving recent results of Li and Zang (2006) and Chishti et al. (2014), we show a new lower bound for a(H) for an r-uniform linear triangle-free hypergraph H with r>=2.
-
An interval estimator for chlorine monitoring in drinking water distribution systems under uncertain system dynamics, inputs and chlorine concentration measurement errors
PublicationThe design of an interval observer for estimation of unmeasured state variables with application to drinking water distribution systems is described. In particular, the design process of such an observer is considered for estimation of the water quality described by the concentration of free chlorine. The interval observer is derived to produce the robust interval bounds on the estimated water quality state variables. The stability...
-
Conjectured strong complementary-correlations tradeoff
PublicationWe conjecture uncertainty relations that restrict correlations between the results of measurements performed by two separate parties on a shared quantum state. The first uncertainty relation bounds the sum of two mutual informations when one party measures a single observable and the other party measures one of two observables. The uncertainty relation does not follow from the Maassen-Uffink uncertainty relation and is much stronger...
-
Current situation in Polish nuclear medicine and Polish example of model Nuclear Medicine Centre meeting European Union requirements
PublicationNuclear medicine is currently a well-established part of medicine. It is applied in many fields of clinical medicine and science like endocrinology, oncology, cardiology, molecular medicine and engineering, radiopharmacy, physics and information science. Due to its increasing importance and application, several regulation and supervision bodies have been founded to ensure safe usage of radiation and to improve diagnostic and therapeutic...
-
Meeting Modernisms in Gdynia
PublicationThe paper focused on the architectural heritage of the city of Gdynia, in Poland, built in 1920s and 1930s. The city was established (founded) on the seaside of the Baltic Sea as the only port of Poland – a country that regained independence after Versailles Treaty. The history of the city, built from scratch is outstanding in Europe. Modernist architecture of the city is represented by buildings built for different purposes: housing,...
-
The Boltzmann sequence-structure channel
PublicationWe rigorously study a channel that maps binary sequences to self-avoiding walks in the two-dimensional grid, inspired by a model of protein statistics. This channel, which we also call the Boltzmann sequence-structure channel, is characterized by a Boltzmann/Gibbs distribution with a free parameter corresponding to temperature. In our previous work, we verified experimentally that the channel capacity has a phase transition for...
-
The best practices transfer part II
PublicationThis report has been produced within Work Package 4 of the EU-funded project QUICK IGA The project is part-financed by the European Regional Development Fund (ERDF) through the Baltic Sea Region Programme 2007-2013
-
On symmetric extendibility of quantum states and its applications
PublicationThis dissertation is focused on analysis of the symmetric extendibility of quantum states and its applications in the quantum information theory, with special attention paid to the area of quantum entanglement distillation, quantum channels theory, quantum security, and monogamy of quantum entanglement in time. We analyze geometry of the set of symmetric extendible states, i.e. such states that possess symmetric extensions and...
-
Wspomaganie zajęć dydaktycznych z matematyki na kierunkach technicznych kursem e-Learningowym"
PublicationW artykule przedstawiono doświadczenia w zakresie wspomagania przedmiotu matematyka na pierwszym roku studiów inżynierskich kursem e-learningowym. Wykonano analizę wyników testów przeprowadzonych podczas e-zajęć. Przedstawiono również wyniki ankiet ewaluacyjnych obrazujących stosunek studentów do wprowadzania kształcenia matematyki z wykorzystaniem blended learning.
-
Modelling and simulation of GPU processing in the MERPSYS environment
PublicationIn this work, we evaluate an analytical GPU performance model based on Little's law, that expresses the kernel execution time in terms of latency bound, throughput bound, and achieved occupancy. We then combine it with the results of several research papers, introduce equations for data transfer time estimation, and finally incorporate it into the MERPSYS framework, which is a general-purpose simulator for parallel and distributed...
-
Collective Uncertainty Entanglement Test
PublicationFor a given pure state of a composite quantum system we analyze the product of its projections onto aset of locally orthogonal separable pure states. We derive a bound for this product analogous to theentropic uncertainty relations. For bipartite systems the bound is saturated for maximally entangled statesand it allows us to construct a family of entanglement measures, we shall call collectibility. As thesequantities are experimentally...
-
Bearing capacity of working platform using distinct layout optimization method
PublicationBearing capacity of the working platforms from sandy soil resting on NC and OC clays was analyzed using LimitState GEO program. Different failure modes are considered using distinct layout optimization (DLO) method, which forms the upper bound solution of limit state analysis. Different mechanisms of failure were observed as a function of the platform thickness, angle of internal friction of the platform material and undrained...