约瑟夫·斯发基斯

✍ dations ◷ 2024-09-20 17:52:29 #1946年出生,在世人物,图灵奖获得者,法国计算机科学家,希腊计算机科学家,国立雅典理工大学校友

约瑟夫·斯发基斯（英语：Joseph Sifakis，希腊语：Ιωσήφ Σηφάκης，1946年12月26日－）是一名希腊计算机科学家和他也有法国国籍。2007年，他与爱德蒙·克拉克和艾伦·爱默生一起因在en:Model checking取得的杰出贡献而获得图灵奖。

相关

突触传递突触（法语、英语、德语: Synapse）是神经元之间，或神经元与肌细胞、腺体之间通信的特异性接头。神经元与肌肉细胞之间的突触亦称为神经肌肉接头（neuromuscular junction）。中枢神
R-过程R-过程，或称为快中子捕获过程，是在核心发生塌缩的超新星（参考超新星核合成）中创造富含中子且比铁重的元素的程序，并创造了大约一半的数量。R-过程需要以铁为种核进行连续的快中子
重型猎鹰猎鹰重型运载火箭（英语：FH, Falcon Heavy），先前称为猎鹰9号重型运载火箭，是SpaceX研发和制造的一款可重复使用超重型运载火箭。猎鹰重型运载火箭是猎鹰9号运载火箭的一个衍生构型
美国国立健康研究院美国国立卫生研究院（英语：National Institutes of Health，缩写为NIH），隶属于美国卫生与公众服务部，是美国联邦政府中首要的生物医学研究机构。2006年的资料显示，此机构花费美国全国
胡克罗伯特·胡克（英语：Robert Hooke，又译为虎克，1635年7月28日－1703年3月3日），英国博物学家、发明家。在物理学研究方面，他提出了描述材料弹性的基本定律——胡克定律，且提出了万有引力
种系现代生物分类群体从它们的共同祖先遗传分化的图示。进化论介绍（英语：Introduction to evolution）演化的证据共同起源共同起源的证据群体遗传学 · 遗传多样性突变 · 自
学校列表大日本帝国海军学校列表是个大日本帝国时期海军的学校列表。
皮科里韦拉皮科里韦拉（英文：Pico Rivera），是美国加利福尼亚州洛杉矶县下属的一座城市。建市于1958年1月29日，面积大约为8.3平方英里 (21.5平方公里)。根据2010年美国人口普查，该市有人口62,
希尔格罗夫希尔格罗夫（英语：Hillgrove）是位于美国加利福尼亚州洛杉矶县的一个非建制地区。该地的面积和人口皆未知。希尔格罗夫的座标为34°01′01″N 117°58′48″W / 34.01694°N 117.
京沪高速公路坐标：35°24′26″N 118°15′31″E / 35.4073484°N 118.2585205°E / 35.4073484; 118.2585205北京－上海高速公路（国家高速公路网编号G2，简称京沪高速）是中国第一条全线建成高