نتایج جستجو برای: separation property

تعداد نتایج: 279274  

2012
Suzanne Marnocha

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...

1999
Diederik Aerts Eva Colebunders Ann Van der Voorde Bart Van Steirteghem

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...

Journal: :gas processing 0
masoumeh moheb shahrestani department of chemical engineering, faculty of engineering, university of isfahan, iran amir rahimi

â 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...

Journal: :Int. J. Pervasive Computing and Communications 2005
Shuxue Ding Andrzej Cichocki Jie Huang Daming Wei

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...

Journal: :Neural computation 2016
Subhrajit Roy Arindam Basu

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...

2013
Md Zaidur Rahman Md Bazlar Rahman

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...

Journal: :J. Log. Comput. 2015
Leonardo Manuel Cabrer Daniele Mundici

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...

2007
Damiano Mazza Michele Pagani

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...

2010
Giovanni De Feo

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...

Journal: :Oper. Res. Lett. 2002
Virginie Gabrel Michel Minoux

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 ...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید