Filters
total: 2241
filtered: 1956
-
Catalog
Chosen catalog filters
displaying 1000 best results Help
Search results for: zero-knowledge proof
-
Fault diagnosing system of wheeled tractors
PublicationA defect of complex wheeled tractor assembles most frequently negative influence on exploitation efficiency, safety and exhaust gases emission. Structure complexity of wheeled tractors requires more and more advanced diagnostic methods for identification of their serviceable possibilities as well in manufacturing step as in exploitation. In classical diagnosing methods of wheeled tractor defects states mapping by measured diagnostic...
-
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.
-
Dynamic Bayesian Networks for Symbolic Polyphonic Pitch Modeling
PublicationSymbolic 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...
-
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 influence of robotization on the reliability of the production process in the bakery industry
PublicationThis article presents a new concept of technological system reliability based on the analysis of the relationship of associations of elements of energy streams, matter, information, time and finance. The method of stream specification and the method of determining the reliability values of significant and supporting relationships are given. Relevant relationships between elements of system streams were defined as having one-time...
-
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.
-
Dilemmas of Identity in Contemporary Cities. The City of Gdansk as an Example
PublicationThe 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...
-
Structure and magnetic properties of Eu2CaCu2O6
PublicationDyskutowany jest nowy typ związku na bazie tlenku miedzi. Jest to pierwszy związek o tzw. zero wymiarowym charakterze Cu-O.
-
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.
-
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...
-
Standing Waves in One-Dimensional Resonator Contaning an Ideal Isothermal Gas Affected by the Constant Mass Force
PublicationThe study is devoted to standing acoustic waves in one-dimensional planar resonator which containing an ideal gas. A gas is affected by the constant mass force. Two types of physically justified boundary conditions are considered: zero velocity or zero excess pressure at both boundaries. The variety of nodal and antinodal points is determined. The conclusion is that the nodes of pressure and antinodes of velocity do not longer...
-
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...
-
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.
-
Agent-based social network as a simulation of a market behaviour
PublicationRecent years and the outbreak of world's economic crisis in 2008 proved the crucial importance of reliable analysis of market dynamics. However, werarely apply models of proper detail level (the global prosperity forecast of 2007 can be seen as a grim proof). The behaviour of individuals and companies is far from being ideal and rational. Many claims that the economic paradigm of rational expectations (coming from J. Muth and R....
-
Analytical Steady-State Model of the Pipeline Flow Process
PublicationThe paper addresses the issue of modeling the flow process in transmission pipelines. A base model used for numerical simulation is introduced. Under certain assumptions concerning steady state analysis, the differential equations describing the process are solved analytically for two cases: zero and nonzero inclination angle α. These equations describe a constant flow rate and a corresponding distribution of the pressure along...
-
Improving depth maps of plants by using a set of five cameras
PublicationObtaining high-quality depth maps and disparity maps with the use of a stereo camera is a challenging task for some kinds of objects. The quality of these maps can be improved by taking advantage of a larger number of cameras. The research on the usage of a set of five cameras to obtain disparity maps is presented. The set consists of a central camera and four side cameras. An algorithm for making disparity maps called multiple...
-
Characterization of Slow and Fast Fading in Off-Body Communication at 2.45 GHz with Space Diversity Scheme in an Indoor Environment
PublicationThe characterization of slow and fast fading in wireless body area networks with space diversity scheme has been presented. The analysis, based on the measurements at 2.45 GHz in an indoor environment, has shown that for all investigated configurations of receiving wearable antennas, the correlation coefficient values of the received signals’ parameters are below the assumed value of 0.5, being close to zero for the vast majority...
-
A Substrate Integrated Waveguide (SIW) Bandpass Filter in A Box Configuration With Frequency-Dependent Coupling
PublicationThis letter presents the design of a microwave bandpass filter with frequency-dependent coupling implemented in substrate integrated waveguide (SIW) technology. The proposed filter implements a four-pole generalized Chebyshev filtering function with two transmission zeros. Resonators are arranged in an extended box configuration with dispersive coupling on a main signal path, which produces an extra zero in comparison to classical...
-
Characterization of slow and fast fading in off-body communication at 2.45 GHz with space diversity scheme in indoor environment
PublicationThe characterization of slow and fast fading in Wireless Body Area Networks with space diversity scheme has been presented. The analysis, based on the measurements at 2.45 GHz in indoor environment, has shown that for all investigated configurations of receiving wearable antennas the correlation coefficient values of received signals’ parameters are below the assumed value of 0.5, being close to zero for the vast majority of cases. It...
-
Experiences and Challenges in Fatality Reduction on Polish Roads
PublicationAccording to the UN, road safety is the key to achieving sustainable development goals, yet the complexity of how road accidents happen makes this a difficult challenge leaving many countries struggling with the problem. For years, Poland has infamously been one of the EU’s top countries for road-accident fatality rates. Despite that, it has made significant progress in the last thirty years with a fatality reduction of more than...
-
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...
-
A New Era Is Beginning in Central and Eastern Europe: Information and Communication Technology Services Exceed Manufacturing in the Global Production Chain
Publication -
Cluster-based instance selection for machine classification
Publication -
An agent-based approach to ANN training
Publication -
A novel version of simulated annealing based on linguistic patterns for solving facility layout problems
Publication -
Efficient Calibration of Cost-Efficient Particulate Matter Sensors Using Machine Learning and Time-Series Alignment
PublicationAtmospheric particulate matter (PM) poses a significant threat to human health, infiltrating the lungs and brain and leading to severe issues such as heart and lung diseases, cancer, and premature death. The main sources of PM pollution are vehicular and industrial emissions, construction and agricultural activities, and natural phenomena such as wildfires. Research underscores the absence of a safe threshold for particulate exposure,...
-
Dimensionality-Reduced Antenna Modeling with Stochastically Established Constrained Domain
PublicationOver the recent years, surrogate modeling methods have become increasingly widespread in the design of contemporary antenna systems. On the one hand, it is associated with a growing awareness of numerical optimization, instrumental in achieving high-performance structures. On the other hand, considerable computational expenses incurred by massive full-wave electromagnetic (EM) analyses, routinely employed as a major design tool,...
-
Towards a Universal Model of Engineering Change Management
PublicationThe paper deals with the issue of engineering change management (ECM). ECM has received much less attention in the literature than general change management. Moreover, due to their specifics (complexity and multifaceted nature), hitherto developed ECM models are difficult to implement in companies. The paper aims to develop a simplified, universal, and hence easily applicable model of ECM. We based our assumptions on a case study...
-
On Memory-Based Precise Calibration of Cost-Efficient NO2 Sensor Using Artificial Intelligence and Global Response Correction
PublicationNitrogen dioxide (NO2) is a prevalent air pollutant, particularly abundant in densely populated urban regions. Given its harmful impact on health and the environment, precise real-time monitoring of NO2 concentration is crucial, particularly for devising and executing risk mitigation strategies. However, achieving precise measurements of NO2 is challenging due to the need for expensive and cumbersome equipment. This has spurred...
-
A new multi-process collaborative architecture for time series classification
PublicationTime series classification (TSC) is the problem of categorizing time series data by using machine learning techniques. Its applications vary from cybersecurity and health care to remote sensing and human activity recognition. In this paper, we propose a novel multi-process collaborative architecture for TSC. The propositioned method amalgamates multi-head convolutional neural networks and capsule mechanism. In addition to the discovery...
-
How can systems thinking help us in the COVID‐19 crisis?
PublicationThe COVID-19 pandemic outbreak remains one of the most influential events in the global economy over the recent years. While being primarily public health related, it has a tremendous impact on many other aspects, including business management. Many businesses were forced to introduce rapid changes to their business models in order to survive. The aim of this paper is to show the complexity and interrelations of changes triggered...
-
Standing Acoustic Waves and Relative Nonlinear Phenomena in a Vibrationally Relaxing Gas-Filled Resonator
PublicationStanding acoustic waves in one-dimensional resonator filled with vibrationally relaxing gas, are studied. Two regimes of excitation of molecular vibrational degrees of freedom are considered, equilibrium and nonequilibrium. The acoustic energy enlarges with time in the non-equilibrium regime and decreases otherwise before formation of discontinuity. After that, it decreases due to nonlinear absorption and tends to zero in equilibrium...
-
Experience Based Decisional DNA (DDNA) to Support Sustainable Product Design
PublicationThis paper presents the idea of providing engineering design knowledge to designers working on sustainable product design and development process. The new product development process often requires significant amount of design knowledge which can be saved and recalled by designers during the design process. This knowledge is very important for successful sustainable product development as it can include material selection, product...
-
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...
-
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....
-
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...
-
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...
-
Activity of Patents in Fuel Cells and Hydrogen Production in the Context of Passenger Car Fleet in the V4 Countries
PublicationThe hydrogen market in the world today is capable ovule and em-pirical evidence on activity of patents in fuel cells and hydrogen production islimited so far. Patent applications in zero-emission mobility in the aspect of fuelcells include: DAFC/DMFC&DMFC, PEMFC, SOFC, AFC, PAFC. As for thepatents relating to the hydrogen production, they concern low carbon, electrol-ysis and inorganic. The purpose of the study was to investigate...
-
KM Challenges in Small KIBS Companies: Multi-case Analysis in Two Countries
PublicationKnowledge Intensive Business Services (KIBS) – i.e. companies like e.g. computer services, consulting, engineering, business communication, and R&D support - are key players in the modern economies. They stimulate the innovativeness of businesses and societies. Their competitiveness is based on knowledge, which is their key production factor and also the kind of “goods” they sell. The large majority of KIBS companies have a small...
-
Collaborative Editing of Ontologies Using Fluent Editor and Ontorion
PublicationIn this paper we present two tools that we are developing at Cognitum for managing large knowledge bases: Fluent Editor and the Ontorion Server. We have been able to build a collaborative knowledge management system using these two tools. We show how this system can be used for the concurrent modification of knowledge and how we can manage multiple modifications to the same knowledge.
-
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...
-
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,...
-
Hybrid inductance-thyristor short-circuit current limiting devices
PublicationDla wartości prądu w gałęzi w której zainstalowane jest urządzenie jest mniejsza od prądu w dławiku urządzenia, dławik jest zwarty gałęzią z tyrystorem. Impedancja bieguna urządzenia hybrydowego jest praktycznie równa zero. W chwili wzrostu prądu w gałęzi z urządzeniem ograniczającym ponad tę wartość, do obwodu głównego wtrącona zostaje impedancja kolejno dwóch dławików, ograniczając bezzwłocznie dynamikę i amplitudę prądu zwarciowego....
-
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...
-
Onboard Energy Storage and Power Management Systems forAll-Electric Cargo Vessel Concept
PublicationThis paper presents an innovative approach to the design of a forthcoming, fully electric-powered cargo vessel. This work begins by defining problems that need to be solved when designingvessels of this kind. Using available literature and market research, a solution for the design of apower management system and a battery management system for a cargo vessel of up to 1504 TEUcapacity was developed. The proposed solution contains...