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

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

Journal: :Proceedings of the ACM on Programming Languages 2020

Journal: :geopersia 2015
ali shekarifard

to evaluate the relationship between total organic carbon (toc) and rock-eval s2 (petroleum potential) of petroleum source rocks, atotal of 180 outcrop samples from the black organic matter–rich facies of mesozoic strata from a locality of southwest of iran wereinvestigated using rock-eval vi pyrolysis and leco carbon analyzer. the linear regression is applied to determine the correlationbetwee...

Journal: :IEEE/ACM transactions on audio, speech, and language processing 2022

Most pooling methods in state-of-the-art speaker embedding networks are implemented the temporal domain. However, due to high non-stationarity feature maps produced from last frame-level layer, it is not advantageous use global statistics (e.g., means and standard deviations) of as aggregated embeddings. This motivates us explore stationary spectral representations perform aggregation In this p...

2014
Lars Hellström

This paper describes (and constitutes the source for!) the proposed list4 OpenMath content dictionary. The main feature in this content dictionary is the eval symbol, which treats a list of values as the list of children of an application element. This may, among other things, be employed to state properties of variadic functions. 1 Background and motivation OpenMath is a formal language for (p...

Journal: :Electronic Colloquium on Computational Complexity (ECCC) 2009
Michael A. Burr Felix Krahmer Chee-Keng Yap

Let f be a univariate polynomial with real coefficients, f ∈ R[X]. Subdivision algorithms based on algebraic techniques (e.g., Sturm or Descartes methods) are widely used for isolating the roots of f in a given interval. In this paper, we consider subdivision algorithms based on purely numerical primitives such as function evaluation. Such methods have adaptive complexity, are local, and are al...

2016
Elette Boyle Niv Gilboa Yuval Ishai

Under the Decisional Diffie-Hellman (DDH) assumption, we present a 2-out-of-2 secret sharing scheme that supports a compact evaluation of branching programs on the shares. More concretely, there is an evaluation algorithm Eval with a single bit of output, such that if an input w ∈ {0, 1} is shared into (w, w), then for any deterministic branching program P of size S we have that Eval(P,w)⊕ Eval...

2012
Jin-Yi Cai Chen Zeng

The difference between EVALP(C,D) and EVAL(C,D) is that EVALP(C,D) fixes the value of a vertex w by i. We want to prove EVALP(C,D) ≡ EVAL(C,D). It is easy to see that EVAL(C,D) ≤ EVALP(C,D). Thus, we only need to prove the other direction. First, we define the notion of a discrete unitary matrix. Definition 1. Let F ∈ C be a matrix. We say F is M-discrete unitary for some positive integer M if ...

2004
Kálmán Rajkai Sándor Kabos M.Th. van Genuchten

The unsaturated soil hydraulic functions involving the soil–water retention curve (SWRC) and the hydraulic conductivity provide useful integrated indices of soil quality. Existing and newly devised methods were used to formulate pedotransfer functions (PTFs) that predict the SWRC from readily available soil data. The PTFs were calibrated using a large soils database from Hungary. The database c...

Journal: Geopersia 2015

To evaluate the relationship between total organic carbon (TOC) and Rock-Eval S2 (petroleum potential) of petroleum source rocks, atotal of 180 outcrop samples from the black organic matter–rich facies of Mesozoic strata from a locality of southwest of Iran wereinvestigated using Rock-Eval VI pyrolysis and Leco Carbon Analyzer. The linear regression is applied to determine the correlationbetwee...

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

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