网站首页  词典首页

请输入您要查询的词汇:

 

词汇 eta
释义 eta
noun[ C or U ]
 language, mathematics, scienceuk /ˈiː.tə/ us /ˈeɪ.t̬ə/(symbolH, η)
the seventh letter of the Greek alphabet(希腊语字母表的第七个字母)
SMART Vocabulary: related words and phrases

Letters of alphabets
aitch
alphabet
alphabetic
alphabetical
alphabetically
alphabetization
alphanumeric
alphanumerically
B, b
iota
J, j
K, k
kappa
L, l
Q, q
rho
S, s
sigma
T, t
zeta
ETA
noun[ S ]
uk /ˌiː.tiːˈeɪ/ us /ˌiː.tiːˈeɪ/
abbreviation for estimated time of arrival: the time you expect to arrive: 预计到达时间(estimated time of arrival的缩写)
What's your ETA?你预计什么时间到达?
SMART Vocabulary: related words and phrases

Arrivals and departures
admittance
advent
approach
arr.
arrival
bourne
check
connection
departure
departure for somewhere
descent
destination
entry
gain admittance
going
influx
invasion
misconnect
misconnection
outflow

ETA | Business English


ETA
noun[ S ]
ukus
abbreviation for estimated time of arrival: the time you expect to arrive:
I'll call you when my flight lands and give you an ETA.

Examples of eta


eta
In order to describe the magnitude of effect for findings, eta-squared effect sizes are presented.
The introduction of recursively defined types requires some care because the combination of fixed points and the eta axiom for sum types is inconsistent.
Furthermore, the coercions themselves only produce terms that, after type erasure, are eta-expansions of the identity function.
However, we cannot prove k:t-yt without rule (eta), as explained at the end of this paragraph.
The canonical form of f is its eta expanded form, as described previously.
The optimization passes are preceded by a single round of eta-expansion to improve opportunities for inlining.
Therefore, we will adopt (eta) as an additional inference rule.
Thus, eta is never used in the source programs, but is only required internally, for equational reasoning.
As customary, beta equality is used as a reduction, and eta equality as an expansion.
Section 3 discusses steady flows in a perfect conductor caused by external influences such as gravity, energy release, eta.
Constructors are always saturated; unsaturated constructors can always be saturated by eta expansion.
To indicate effect sizes, eta squared7 was used.
Nevertheless, even the non-linear association between left-right ideology and constitutional ideology is weak among both nationalist (eta 0.16) and unionist (eta 0.13) party supporters.
It admits the usual term equations of beta reduction and eta expansion.
It is important to emphasize that (eta) trick is merely a technical device for analyzing typing derivations, and is not a sound typing rule with respect to arbitrary equational theories.
These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors.
随便看

 

反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2005-2024 fscai.com All Rights Reserved 更新时间:2024/12/23 2:56:51