扬·卢卡西维茨

相关

• 抽象释义在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、
• 木贼纲见内文木贼亚纲（学名：Equisetopsidae），又名楔叶纲或楔叶蕨纲（Sphenopsida），是链束植物之下的一个亚纲。
• 约翰·麦卡锡约翰·麦卡锡（英语：John McCarthy，1927年9月4日－2011年10月24日），生于美国马萨诸塞州波士顿，计算机科学家。他因在人工智能领域的贡献而在1971年获得图灵奖。实际上，正是他在1956年
• 参考参考或指涉（英语：Reference）是两个对象之间的关系，此种关系由“指定”或“连接”之概念维系。在此关系中，前一个对象被称作“提及”（refer to）了后者；而后一个被提及的对象被称作前
• 肌小节肌小节（英语：sarcomere，即肌节、肌原纤维节）是肌原纤维（英语：myofibril）的基本单位。肌节由三种不同肌丝系统组成。二头肌的一个肌细胞可以有100000个肌节。平滑肌的肌原纤维不排列
• 杰弗里·辛顿杰弗里·埃弗里斯特·辛顿，FRS（英语：Geoffrey Everest Hinton，1947年12月6日－），英国出生的加拿大计算机学家和心理学家，多伦多大学教授。以其在类神经网络方面的贡献闻名。辛顿是反
• 中国科学院上海药物研究所中国科学院上海药物研究所（英语：Shanghai Institute of Materia Medica, Chinese Academy of Sciences），创建于1932年，位于上海市浦东新区张江高科技园区。是中国科学院下属研究
• Camembert卡芒贝尔乳酪（Camembert），又译“金银币、卡门培尔、卡门贝尔、卡门伯”，是一种软的法国白霉圆饼形乳酪，以法国下诺曼第奥恩省Vimoutiers附近的村庄卡芒贝尔命名。卡芒贝尔于1791
• 达拉斯星队达拉斯星队（Dallas Stars）是美国达拉斯的国家冰球联盟队伍，隶属于西部联盟中央分区。达拉斯星队成立于1967年，其前身为明尼苏达北星队（Minnesota North Stars），于1993年才迁至达拉
• 菲律宾亚洲航空菲律宾亚洲航空（英语：Philippines AirAsia；简称菲亚航）是一间位于菲律宾首都马尼拉的低成本航空公司，枢纽机场为尼诺伊·阿基诺国际机场。菲律宾亚洲航空是马来西亚亚洲航空集团