نتایج جستجو برای: formalism

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

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه ارومیه 1387

چکیده ندارد.

Journal: :Journal of Statistical Physics 2012

Ali Soleimani Meigooni Amir Mehdizadeh Mohammad Hosein Sadeghi, Reza Faghihi, Sedigheh Sina,

Introduction: The use of long-half-life Cobalt source instead of iridium source will be very helpful in HDR brachytherapy for treatment of cervical cancer. The aim of this study was compared the treatment time with cobalt and iridium source in brachytherapy for treatment of cervical cancer using Tandem-ovoid applicator. Materials and Methods: In this study, 19...

Journal: :CoRR 2016
Ying Huang Hong Zheng Haibin Ling Erik Blasch Hao Yang

Bird strikes present a huge risk for aircraft, especially since traditional airport bird surveillance is mainly dependent on inefficient human observation. Computer vision based technology has been proposed to automatically detect birds, determine bird flying trajectories, and predict aircraft takeoff delays. However, the characteristics of bird flight using imagery and the performance of exist...

2013
Maria Elvira De Caroli Rossella Falanga Elisabetta Sagone

This study analyzed subtle and blatant prejudice toward Chinese people expressed by 276 Italian adolescents and young adults, with and without friends from other ethnic groups. Italian version of Subtle and Blatant Prejudice Scale referred to Chinese people (Pettigrew & Meertens, 1995; Manganelli Rattazzi & Volpato, 2001) and three Semantic Differentials (Falanga et al., 2010) to analyze the re...

Journal: :Electr. Notes Theor. Comput. Sci. 2001
Luís Soares Barbosa

This paper is an attempt to apply the reasoning principles and calculational style underlying the so-called Bird-Meertens formalism to the design of process calculi, parametrized by a behaviour model. In particular, basically equational and pointfree proofs of process properties are given, relying on the universal characterisation of anamorphisms and therefore avoiding the explicit construction...

2008
S. Jaffard P. Abry S. Roux B. Vedel H. Wendt

We show how wavelet techniques allow to derive irregularity properties of functions on two particular examples: Lacunary Fourier series and some Gaussian random processes. Then, we work out a general derivation of the multifractal formalism in the sequence setting, and derive some of its properties.

2006
Albion Lawrence Michael B. Schulz Brian Wecht

“T-fold” backgrounds are generically-nongeometric compactifications of string theory, described by T fibrations over a base N with transition functions in the perturbative T-duality group. We review Hull’s doubled torus formalism, which geometrizes these backgrounds, and use the formalism to constrain the D-brane spectrum (to leading order in gs and α ) on T fibrations over S with O(n, n;Z) mon...

2015
Michael R. Smith Tony R. Martinez Christophe G. Giraud-Carrier

The quality of a model induced by a learning algorithm is dependent upon the training data and the hyperparameters supplied to the learning algorithm. Prior work has shown that a model’s quality can be significantly improved by filtering out low quality instances or by tuning the learning algorithm hyperparameters. The potential impact of filtering and hyperparameter optimization (HPO) is large...

1993
Murray Cole

We review the use of the Bird-Meertens Formalism as a vehicle for the construction of programs with massive implicit parallelism. We show that a simple result from the theory, concerning the expression of list homomorph-isms, can help us in our search for parallel algorithms and demonstrate its application to some simple problems including the maximum segment sum problem. Our main purpose is to...

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

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