退出
我的积分:
中文文献批量获取
外文文献批量获取
公开/公告号CN106663117B
专利类型发明专利
公开/公告日2020-07-03
原文格式PDF
申请/专利权人 微软技术许可有限责任公司;
申请/专利号CN201580036291.2
发明设计人 A·H·亚瓦达拉;R·怀特;P·潘特尔;S·杜迈斯;Y-M·王;
申请日2015-06-30
分类号
代理机构北京市金杜律师事务所;
代理人王茂华
地址 美国华盛顿州
入库时间 2022-08-23 11:03:55
法律状态公告日
法律状态信息
法律状态
2020-07-03
授权
2017-06-06
实质审查的生效 IPC(主分类):G06F17/30 申请日:20150630
实质审查的生效
2017-05-10
公开
机译: 构造便于提供探索性建议的图表
机译: 构造有助于提供探索性建议的图表
机译:花岗岩岩石构造特征判别图的统计评估以及基于判别函数的新的酸性岩石多维图的建议
机译:探索性支持技能干预后,口头人为中心支持提供质量
机译:在线提供值得信赖的建议,了解信任研究中的话语心理潜力的探索性研究
机译:使用概念图来构造学生对学校环境对学校暴力的贡献的观点:为学校环境干预提供建议。
机译:对决策支持系统的前瞻性评估为过度支持和欠支持状态下的压力支持提供建议
机译:群体理论的某些简单,不可解决的问题。 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月检查了许多新细节。)
机译:开发一个原型个人健康记录应用程序(pHR-a),捕获关于糖尿病的重要日常生活信息,并为糖尿病自我护理提供决策支持和可行的建议。