نتایج جستجو برای: separation property
تعداد نتایج: 279274 فیلتر نتایج به سال:
The objective of this qualitative study is to explore the experiences of wives of deployed soldiers. Semistructured interviews were used to answer the research questions. Meleis' Transitions Theory was used to guide the understanding of the wives' experiences. Phase One: news of deployment, property of awareness, themes of emotional chaos and making preparations. Phase Two: during deployment, p...
We show that the natural mathematical structure to describe a physical entity by means of its states and its properties within the Geneva-Brussels approach is that of a state property system. We prove that the category of state property systems (and morphisms), SP, is equivalent to the category of closure spaces (and continuous maps), Cls. We show the equivalence of the ‘state determination axi...
â a model is developed for separation of multicomponent gas mixtures in a countercurrent hollow fiber membrane module. while the modelâs solution in countercurrent module usually involves in a time consuming iterative procedure, a proper initial guess is proposed for beginning the calculation and a simple procedure is introduced for correcting the guesses, hereby the cpu time is decreased ess...
We present an approach for blind separation of acoustic sources produced from multiple speakers mixed in realistic room environments. We first transform recorded signals into the time-frequency domain to make mixing become instantaneous. We then separate the sources in each frequency bin based on an independent component analysis (ICA) algorithm. For the present paper, we choose the complex ver...
In this letter, we propose a novel neuro-inspired low-resolution online unsupervised learning rule to train the reservoir or liquid of liquid state machines. The liquid is a sparsely interconnected huge recurrent network of spiking neurons. The proposed learning rule is inspired from structural plasticity and trains the liquid through formating and eliminating synaptic connections. Hence, the l...
Recently Yehuda Rav has given the concept of Semi prime ideals in a general lattice by generalizing the notion of 0-distributive lattices. In this paper we study several properties of these ideals in a general nearlattice and include some of their characterizations. We give some results regarding maximal filters and include a number of Separation properties in a general nearlattice with respect...
Working jointly in the equivalent categories of MV-algebras and lattice-ordered abelian groups with strong order unit (for short, unital l-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra A of a finitely presented algebra F to coincide with F . The separation and isomorphism conditions do not individually imply A = F . Various related problems, like the s...
Differential interaction nets (DIN) have been introduced by Thomas Ehrhard and Laurent Regnier as an extension of linear logic proof-nets. We prove that DIN enjoy an internal separation property: given two different normal nets, there exists a dual net separating them, in analogy with Böhm’s theorem for the λ-calculus. Our result implies in particular the faithfulness of every non-trivial denot...
The state of the art on Municipal Solid Waste (MSW) management is based on the domestic separation of materials produced. After domestic separation, the resident has to transfer the separated materials to the MSW manager through the hands of collection workers. It is exactly at this stage that an end-use product changes its status and property becomes waste. This paper analyzes and compares the...
We present an exact separation scheme for identifying most violated extended cover inequalities for application to multidimensional knapsack problems (MKP). The minimality of the resulting covers is shown to be a basic property of the criterion used for separation, namely the ratio between leftand right-hand sides of the extended cover inequality looked for. Computational results obtained on a ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید