ـــــ In [25], we introduce the notion of r-fuzzy neighborhood filters in smooth topological spaces in sense of Gähler [10], and used it to define and study separation axioms , = , , . Here we continue our study of the axioms of separation in smooth topological spaces. Therefore, we introduce the notion of r-fuzzy neighborhood filter at a set. Then by using this notion we define and study separ...

Despite the fact that some vertex coloring problems are polynomially solvable on certain graph classes, most of these problems are not “under control” from a polyhedral point of view. The equivalence between optimization and polyhedral separation suggests that, for these problems, there must exist formulations admitting some elegant characterization for the polytopes associated to them. Therefo...

We analyze the performance of CSMA in multi-channel wireless networks, accounting for the random nature of traffic. Specifically, we assess the ability of CSMA to fully utilize the radio resources and in turn to stabilize the network in a dynamic setting with flow arrivals and departures. We prove that CSMA is optimal in ad-hoc mode but not in infrastructure mode, when all data flows originate ...

We propose a framework for synthesizing inductive invariants for incomplete verification engines, which soundly reduce logical problems in undecidable theories to decidable theories. Our framework is based on the counter-example guided inductive synthesis principle (CEGIS) and allows verification engines to communicate non-provability information to guide invariant synthesis. We show precisely ...

Motivated by the need for new mathematical tools applicable to the study of fractal point-cloud distributions, expectations of complex-valued functions defined over general ‘deterministic’ fractal domains are considered, following the development of a measure-theoretic foundation for their analysis. In particular, we wish to understand and evaluate separation moments as given by integrals of th...

In this paper, we give and study different types of separation axioms using the remoted neighbourhood of a fuzzy point and a fuzzy set in the fuzzy supratopological Spaces (X, s τ ) which is generated by the fuzzy bitopological space (X, 1 2 , τ τ ). Several properties on these separation axioms are researched.

We present a novel way to draw planar graphs with good angular resolution. We introduce the polar coordinate representation and describe a family of algorithms for constructing it. The main advantage of the polar representation is that it allows independent control over grid size and bend positions. We first describe a standard (Cartesian) representation algorithm, CRA, which we then modify to ...

the gas separation performance of commercial ceramic titania and hybrid silica (hybsi®) membranes was assessed using the gas permeation and permporometry methods. results indicated that the hybsi® membranes have a hybrid surface containing regions covered by a polymeric matrix and others with inorganic pores. these membranes have high h2 selectivity, which increases significantly with temperatu...

Initializing an unmixing matrix is an important problem in source separation since an objective function to be optimized is typically non-convex. In this paper, we consider the problem of two-source signal separation from a two-microphone array located on a mobile device, where a point source such as a speech signal is placed in front of the array, while no information is available about anothe...

We use spatial spin separation by a magnetic focusing technique to probe the polarization of quantum point contacts. The point contacts are fabricated from p-type GaAs/AlGaAs heterostructures. A finite polarization is measured in the low-density regime, when the conductance of a point contact is tuned to < 2e2/h. Polarization is stronger in samples with a well-defined "0.7 structure."