نتایج جستجو برای: new characterization tool

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

2011
JOÃO ARAÚJO MICHAEL KINYON

A semigroup is amiable if there is exactly one idempotent in each R⇤-class and in each L⇤-class. A semigroup is adequate if it is amiable and if its idempotents commute. We characterize adequate semigroups by showing that they are precisely those amiable semigroups which do not contain isomorphic copies of two particular nonadequate semigroups as subsemigroups.

2005
LORENZO BRANDOLESE David R. Larson

We give a new characterization of a family of homogeneous Besov spaces by means of atomic decompositions involving poorly localized building blocks. Our main tool is an algorithm for expanding a wavelet into a series of dilated and translated Poisson kernels.

2015
Ghaleb Hoblos Mourad Benkaci

Feature selection is an essential step for data classification used in fault detection and diagnosis processes. In this work, a new approach is proposed, which combines a feature selection algorithm and a neural network tool for leak detection and characterization tasks in diesel engine air paths. The Chi square classifier is used as the feature selection algorithm and the neural network based ...

The isolation and characterization of two new isoquinoline alkaloids, Dehydropuntarenine and Dehydrosaulatine, obtained during the column chromatography of an alkaloidal fraction from the roots of B. Actinacantha (Berberidaceae) are described.

2018
Massimiliano Razzano Elena Cuoco

The detection of gravitational waves has inaugurated the era of gravitational astronomy and opened new avenues for the multimessenger study of cosmic sources. Thanks to their sensitivity, the Advanced LIGO and Advanced Virgo interferometers will probe a much larger volume of space and expand the capability of discovering new gravitational wave emitters. The characterization of these detectors i...

2008
Manoj Prabhakaran Mike Rosulek

We develop new tools to study the relative complexities of secure multi-party computation tasks in the Universal Composition framework. When one task can be securely realized using another task as a black-box, we interpret this as a qualitative, complexity-theoretic reduction between the two tasks. Virtually all previous characterizations of MPC functionalities, in the UC model or otherwise, fo...

2006
Martin D. Davis

It is truly remarkable (Gödel . . . speaks of a kind of miracle) that it has proved possible to give a precise mathematical characterization of the class of processes that can be carried out by purely machanical means. It is in fact the possibility of such a characterization that underlies the ubiquitous applicability of digital computers. In addition it has made it possible to prove the algori...

Journal: :J. Comb. Theory, Ser. A 2013
Svetlana Puzynina Luca Q. Zamboni

Return words constitute a powerful tool for studying symbolic dynamical systems. They may be regarded as a discrete analogue of the first return map in dynamical systems. In this paper we investigate two abelian variants of the notion of return word, each of them gives rise to a new characterization of Sturmian words. We prove that a recurrent infinite word is Sturmian if and only if each of it...

2014
Kiyotaka Akabori John F. Nagle

When engineering lipid membranes for applications, it is essential to characterize them to avoid artifacts introduced by manipulation and the experimental environment. Wide-angle X-ray scattering is a powerful structural characterization tool for well-ordered lipid systems. It reveals remarkable differences in rotational order parameters for samples prepared in different ways. New data and pers...

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

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