نتایج جستجو برای: e clean

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

1993
Lowell L. Smith Matthew Hooper Jose Perez J. D. McDonald

(4 Makes any warranty or representation, express or implied, with respect to the accuracy, compieteness, or usefulness of the information contained in this report, or process disclosed in this report may not intiinge privately-owned rights; or (b) Assumes any liabilities with respect to the use of, or for damages resulting from the use of, any information, apparatus, method, or process disclose...

2008
ASIA RAUF

We study the behavior of Stanley decompositions and of pretty clean filtrations under reduction modulo a regular element.

2016
Prachi Jain Mausam

A corpus of inference rules between a pair of relation phrases is typically generated using the statistical overlap of argument-pairs associated with the relations (e.g., PATTY, CLEAN). We investigate knowledge-guided linguistic rewrites as a secondary source of evidence and find that they can vastly improve the quality of inference rule corpora, obtaining 27 to 33 point precision improvement w...

2013
Chris Papageorgiou Marianne Saam Patrick Schulte

Recently Acemolgu, Aghion, Bursztyn and Hemous (AER 2012) formulated a model in which a high macroeconomic elasticity of substitution between clean and dirty production represents a crucial condition for green growth. Until now it has never been systematically estimated. Using a novel panel of cross-country sectoral data, we formulate specifications of nested CES production functions that allow...

2008
W. Saunders

Cosmic shear offers a remarkbly clean way to measure the equation of state of the Universe and its evolution. Resolution over a wide field is paramount, and Antarctica offers unique possibilities in this respect. There is an order of magnitude gain in speed over temperate sites, or a factor three in surface density. This means that PILOT outperforms much larger telescopes elsewhere, and can com...

Tafseer Ali

Benign Prostate Hypertrophy is a disease of elderly males. Modern pathy has described many causes and treatment of the disease. Unani pathy too has description of disease and the treatment in its resource books. The description is in different ways. At some places, it has been described in symptomatic form while at other places it has been considered as a disease. The disease has different name...

Tafseer Ali

Benign Prostate Hypertrophy is a disease of elderly males. Modern pathy has described many causes and treatment of the disease. Unani pathy too has description of disease and the treatment in its resource books. The description is in different ways. At some places, it has been described in symptomatic form while at other places it has been considered as a disease. The disease has different name...

Journal: :IACR Cryptology ePrint Archive 2011
Jonathan Katz Ueli Maurer Björn Tackmann Vassilis Zikas

In synchronous networks, protocols can achieve security guarantees that are not possible in an asynchronous world: i.e., they can simultaneously achieve input completeness (all honest parties’ inputs are included in the computation) and guaranteed termination (honest parties do not “hang” indefinitely). In practice truly synchronous networks rarely exist, but synchrony can be emulated if channe...

1998
Marco Pil

When programs communicate with other programs, exibil-ity is demanded. Programs do not necessarily have information about each other. When assigning types to these communications a certain amount of dynamic typing is unavoidable. But we do not want our entire language to become dynamically typed, and consequently an interface between the statically and dynamically typed parts of the program has...

2003
Zoltán Horváth Tamás Kozsik Máté Tejfel

In a pure functional language like Clean the values of the functional variables are constants; variables of functional programs do not change in time. Hence it seems that temporality has no meaning in functional programs. However, in certain cases (e.g. in interactive or distributed programs, or in ones that use IO) we would like to consider a series of values computed from each other as differ...

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

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