退出
我的积分:
中文文献批量获取
外文文献批量获取
颜青山;
湖南师范大学哲学系,湖南长沙,410081;
机译:无处不在研讨会:进化计算与生命过程:通过扩展进化计算走向功能性和可进化原型系统的类似于计算生命过程的综合
机译:计算机辅助X线断层摄影筛查的检测:双读范例与一读计算机辅助检测与二读计算机辅助检测的前瞻性比较
机译:走向计算学徒:将建构主义议程带入计算教育学
机译:李贮存于TCNE和TCNE-(掺杂)毛细建数:计算研究
机译:意识形态的形成与自由主义的“共识”:读罗威尔·西罗伊斯委员会。
机译:用理论计算走向合成路线的发展:计算机筛选在26-二甲基苯并吡喃-4-酮中的应用
机译:群体理论的某些简单,不可解决的问题。 V 29,3029 I,II,III和IV部分出现在A系列57、3和5号中; 58,第2和5号程序,以及Indag。 Math。,16,Nos 3 and 5(1954); 》,第17卷,第2期和第5期(1955年)。在第一部分,第234页中,显示的材料之后的第九行和第十行,出现A读D和出现B都读E:在第二部分,第497页,对于图A和D中所有出现的M,请读C。在第Ⅳ部分,第574页中,第三行显示为zαiLreadz-αiL。 19).30本论文及后续论文中所包含的单词问题的不可解性的证明不包含在本文中。 (请参阅第I部分的脚注1。)我们的证明终于在1954-56年期间居住在高级研究所期间完成了。该研究所在1954-55年间直接为我们提供了支持,在1955-56年间得到了美国国家科学基金会的G-1974合同的支持。在作者获得奥斯陆大学富布赖特奖学金的同时,对出版物的改进和准备工作也有所进展。感谢库尔特·哥德尔教授在此方面的大力鼓励。他建议我们研究一些相关的问题,希望以后再解决。 1956年8月3日,在密歇根大学的一个座谈会上解释了Lemmas 30和31的早期版本时,Roger Lyndon教授建议进行改进,并将其纳入当前版本。我们确实要感谢John Addison博士和Michael Rabin博士在1956年7月检查了许多新细节。)
机译:缅因州公路安全计划,2012年。走向零死亡:每一个生命都在计算。
机译:由于旋转的化合物,操作期间的计算机(1)会变热。在现有的冷却单元中,需要外部电源来操作,这增加了使用该设备的成本。本发明集中于使用在操作期间和操作之后吸收热量的相变材料。在冷却过程中,它可以达到材料的真实状态,而无需任何外部电源。显然,它降低了系统成本,并延长了计算机的使用寿命。
机译:有用生命计算系统,有用生命计算方法和有用生命计算程序
机译:通过生命周期计算程序,通过生命周期计算方法以及通过生命周期计算的设备
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。