英文字典中文字典


英文字典中文字典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       







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

miranda    音标拼音: [mɚ'ændə]
adj. 人权保护的

人权保护的

(From the Latin for "admirable", also the heroine
of Shakespeare's "Tempest") A {lazy} {purely functional}
programming language and {interpreter} designed by {David
Turner} of the University of Kent in the early 1980s and
implemented as a product of his company, {Research Software
Limited}. Miranda combines the main features of {KRC} and
{SASL} with {strong typing} similar to that of {ML}.

It features terse {syntax} using the {offside rule} for
indentation. The {type} of an expression is inferred from the
{source} by the {compiler} but explicit type declarations are
also allowed. It has nested {pattern-matching}, {list
comprehensions} and {modules}. It uses {operator sections}
rather than {lambda abstractions}. User types are algebraic,
and in early versions could be constrained by {laws}.

It is implemented using {SKI combinator} {reduction}.
Originally implemented for {Unix}, there are versions for most
UNIX-like platforms including {Intel PC} under {Linux}. The
{KAOS} operating system is written entirely in Miranda.

Translators from Miranda to {Haskell} (mira2hs) and to {LML}
(mira2lml) are available at {(http://foldoc.org/pub/misc/)}.
Non-commercial near-equivalents of Miranda include {Miracula}
and {Orwell}.

{(http://miranda.org.uk/)}.

[{"Miranda: A Non Strict Functional Language with Polymorphic
Types" (http://miranda.org.uk/nancy.html)}, D.A. Turner, in
Functional Programming Languages and Computer Architecture,
LNCS 201, Springer 1985].

[{"An Overview of Miranda"
(http://miranda.org.uk/overview.pdf)}, D. A. Turner, SIGPLAN
Notices, 21(12):158--166, December 1986].

["Functional Programming with Miranda", Ian Holyer, Pitman
Press 0-273-03453-7].

(2007-03-22)


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





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


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

































































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


  • 微生信-miRanda在线预测miRNA-mRNA,miRNA-circRNA,miRNA-lncRNA结合
    miRanda在线预测miRNA靶基因 简介 miRanda是一种检测基因组序列中miRNA潜在靶位点的算法。 当前版本:v3 3a miRanda is an algorithm for the detection of potential microRNA target sites in genomic sequences 两步策略:1,在查询的miRNA序列和mRNA 3'UTR序列间进行动态规划局部比对。
  • Tools4miRs - miRanda
    The binding energy of the duplex structure, evolutionary conservation of the whole target site and its position within 3”UTR are calculated and account for a final result which is a weighted soum of match and mismatch scores for base pairs and gap penalties
  • Miranda! - Wikipedia
    Named after Argentinian actor Osvaldo Miranda, the group finally met the actor in December 2002 during the Buen Dia Arriba Festival in Palermo Their popularity grew around the Buenos Aires underground music circuit, based on their peculiar music, style and looks
  • 在线版miRanda 靶基因预测来了! - 知乎
    miRNA靶基因预测是研究miRNA经常要进行的操作,经典的miRNA靶基因预测软件有miRanda,targetscan等。 targetscan有在线版本,而miRanda一直没有在线版本,并且网站( http: www microRNA org)还经常挂,为此,我…
  • Miranda warning - Wikipedia
    Named for the U S Supreme Court 's 1966 decision Miranda v Arizona, these rights are often referred to as Miranda rights The purpose of such notification is to preserve the admissibility of their statements made during custodial interrogation in later criminal proceedings
  • Connection | miranda
    Connect to or download miranda Download user manual
  • Miranda (full episodes) - YouTube
    All episodes of comedy series Miranda (including two specials) in fullAll episodes of comedy series Miranda (including two specials) in full
  • 米兰达警告 - 维基百科,自由的百科全书
    在讯问 刑事案件 嫌疑人之前,警察必须明白无误地告知嫌疑人有权援引 宪法第五修正案,即刑事案件嫌疑犯有「不被强迫自証其罪的特权」,有权行使 沉默权 和要求得到 律师 协助的权利,这被称为 米兰达权利 (Miranda rights)。
  • miRanda(通过circRNA的sequence来预测靶向的miRNA)
    ###这里会介绍如何得到人类成熟miRNA fa格式文件,circRNA fa格式文件,和提取miRanda结果中我们需要的circRNA-miRNA互作对 ###人类成熟miRNA文件 #网站下载: miRBase 一般网速咱下不来网站直接给的人类成熟miRNA,所以下载这个 #然后用R提取人类的 ###提取成熟的人类miRNA
  • miRNA结合位点预测软件miRanda的使用教程 - sryjm - 博客园
    miRanda的介绍 miRanda 是由著名的 Memorial Sloan-Kettering 癌症研究中心的研究人员开发的,用于预测 miRNA 与其靶基因互作的结合位点。 miRanda 主要强调 miRNA 与靶基因连接位点的进化保守性,亦偏重于以 miRNA 的5′ 端序列搜索靶基因,并采用 RNAFold 计算热力学稳定性。





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