英文字典中文字典


英文字典中文字典51ZiDian.com



中文字典辞典   英文字典 a   b   c   d   e   f   g   h   i   j   k   l   m   n   o   p   q   r   s   t   u   v   w   x   y   z       







请输入英文单字,中文词皆可:

derivation    音标拼音: [d,ɛrəv'eʃən]
n. 引出,衍生,起源,派生

引出,衍生,起源,派生

derivation
推导

derivation
n 1: the source or origin from which something derives (i.e.
comes or issues); "he prefers shoes of Italian derivation";
"music of Turkish derivation"
2: (historical linguistics) an explanation of the historical
origins of a word or phrase [synonym: {deriving}, {derivation},
{etymologizing}]
3: a line of reasoning that shows how a conclusion follows
logically from accepted propositions
4: (descriptive linguistics) the process whereby new words are
formed from existing words or bases by affixation; "`singer'
from `sing' or `undo' from `do' are examples of derivations"
5: inherited properties shared with others of your bloodline
[synonym: {ancestry}, {lineage}, {derivation}, {filiation}]
6: drawing of fluid or inflammation away from a diseased part of
the body
7: drawing off water from its main channel as for irrigation
8: the act of deriving something or obtaining something from a
source or origin

Derivation \Der`i*va"tion\, n. [L. derivatio: cf. F.
d['e]rivation. See {Derive}.]
1. A leading or drawing off of water from a stream or source.
[Obs.] --T. Burnet.
[1913 Webster]

2. The act of receiving anything from a source; the act of
procuring an effect from a cause, means, or condition, as
profits from capital, conclusions or opinions from
evidence.
[1913 Webster]

As touching traditional communication, . . . I do
not doubt but many of those truths have had the help
of that derivation. --Sir M. Hale.
[1913 Webster]

3. The act of tracing origin or descent, as in grammar or
genealogy; as, the derivation of a word from an Aryan
root.
[1913 Webster]

4. The state or method of being derived; the relation of
origin when established or asserted.
[1913 Webster]

5. That from which a thing is derived.
[1913 Webster]

6. That which is derived; a derivative; a deduction.
[1913 Webster]

From the Euphrates into an artificial derivation of
that river. --Gibbon.
[1913 Webster]

7. (Math.) The operation of deducing one function from
another according to some fixed law, called the law of
derivation, as the operation of differentiation or of
integration.
[1913 Webster]

8. (Med.) A drawing of humors or fluids from one part of the
body to another, to relieve or lessen a morbid process.
[1913 Webster]

9. The formation of a word from its more original or radical
elements; also, a statement of the origin and history of a
word.
[Webster 1913 Suppl.]

188 Moby Thesaurus words for "derivation":
IC analysis, acceptance, accidence, acquisition, admission,
admittance, adoption, affiliation, affix, affixation, allomorph,
ancestry, apparentation, appropriation, assumption, beginning,
birth, blood, bloodline, borrowed plumes, bound morpheme,
bowwow theory, branch, breed, by-product, cognate, commencement,
common ancestry, comparative linguistics, conception, conclusion,
conjugation, consanguinity, consequence, consequent, copying,
corollary, cutting, declension, deduction, derivative, deriving,
descent, descriptive linguistics, development, dialectology,
difference of form, dingdong theory, direct line, distaff side,
distillate, doublet, effect, enclitic, eponym, eponymy, etymology,
etymon, event, eventuality, eventuation, extraction, family,
female line, filiation, folk etymology, formative, foundation,
fountain, free form, fruit, genealogy, genesis, getting,
glossematics, glossology, glottochronology, glottology, grammar,
graphemics, grass roots, harvest, head, historical linguistics,
house, illation, imitation, immediate constituent analysis,
inception, induction, inference, infix, infixation, inflection,
infringement, issue, language study, legacy, lexicology,
lexicostatistics, line, line of descent, lineage,
linguistic geography, linguistic science, linguistics,
logical outcome, male line, mathematical linguistics, mocking,
morph, morpheme, morphemic analysis, morphemics, morphology,
morphophonemics, offshoot, offspring, origin, original,
origination, outcome, outgrowth, paleography, paradigm, pasticcio,
pastiche, philology, phonetics, phonology, phylum, pirating,
plagiarism, plagiary, precipitate, prefix, prefixation, primitive,
proclitic, product, provenance, provenience, psycholinguistics,
race, radical, radix, receipt, receival, receiving, reception,
result, resultant, rise, root, seed, semantic history, semantics,
sept, sequel, sequela, sequence, sequent, side, simulation,
sociolinguistics, source, spear side, spindle side, stem, stirps,
stock, strain, structuralism, succession, suffix, suffixation,
sword side, syntactics, taking, taproot, theme,
transformational linguistics, upshot, well, wellspring, whence,
word history, word-formation


请选择你想看的字典辞典:
单词字典翻译
derivation查看 derivation 在百度字典中的解释百度英翻中〔查看〕
derivation查看 derivation 在Google字典中的解释Google英翻中〔查看〕
derivation查看 derivation 在Yahoo字典中的解释Yahoo英翻中〔查看〕





安装中文字典英文字典查询工具!


中文字典英文字典工具:
选择颜色:
输入中英文单字

































































英文字典中文字典相关资料:


  • Clever: A Curated Benchmark for Formally Verified Code Generation
    We introduce CLEVER, the first curated benchmark for evaluating the generation of specifications and formally verified code in Lean The benchmark comprises of 161 programming problems; it evaluates both formal speci-fication generation and implementation synthesis from natural language, requiring formal correctness proofs for both
  • Evaluating the Robustness of Neural Networks: An Extreme Value. . .
    Our analysis yields a novel robustness metric called CLEVER, which is short for Cross Lipschitz Extreme Value for nEtwork Robustness The proposed CLEVER score is attack-agnostic and is computationally feasible for large neural networks
  • CLEVER: A Curated Benchmark for Formally Verified Code Generation
    TL;DR: We introduce CLEVER, a hand-curated benchmark for verified code generation in Lean It requires full formal specs and proofs No few-shot method solves all stages, making it a strong testbed for synthesis and formal reasoning
  • The Clever Hans Mirage: A Comprehensive Survey on Spurious. . .
    This survey on spurious correlations uses the Clever Hans metaphor to motivate the problem, formalizes a group-based setup g=(y,a) with core metrics (worst-group, average-group, bias-conflicting), and explains why models latch onto shortcuts (simplicity bias, training dynamics)
  • Djork-Arné Clevert - OpenReview
    Promoting openness in scientific communication and the peer-review process
  • On the Planning Abilities of Large Language Models : A Critical . . .
    While, as we mentioned earlier, there can be thorny “clever hans” issues about humans prompting LLMs, an automated verifier mechanically backprompting the LLM doesn’t suffer from these We tested this setup on a subset of the failed instances in the one-shot natural language prompt configuration using GPT-4, given its larger context window
  • Forum - OpenReview
    Promoting openness in scientific communication and the peer-review process
  • Contrastive Learning Via Equivariant Representation - OpenReview
    TL;DR: This paper proposes CLeVER, a novel equivariant-based contrastive learning framework that improves training efficiency and robustness in downstream tasks by incorporating augmentation strategies and equivariant information into contrastive learning
  • EvoTest: Evolutionary Test-Time Learning for Self-Improving Agentic . . .
    A fundamental limitation of current AI agents is their inability to learn complex skills on the fly at test time, often behaving like “clever but clueless interns” in novel environments This severely limits their practical utility To systematically measure and drive progress on this challenge, we first introduce the Jericho Test-Time Learning (J-TTL) benchmark J-TTL is a new evaluation
  • Sparse but Critical: A Token-Level Analysis of Distributional. . .
    Main claims of the paper are supported, but the execution of experiments might be significantly strenghtened further (see weaknesses) S2 Experiments with cross-sampling and advantage reweighting are interesting and clever and seem to be a promising analysis toolkit; however, see W3 and W4





中文字典-英文字典  2005-2009