微软推Soundscape应用:为视障用户出行导航

早在2014年,微软就尝试通过骨传导耳机和智能手机的配合使用为视障用户提供音频导航服务。近日,微软研究院在iOS平台上推出了全新的Soundscape应用,能够帮助那些有视觉障碍的人用耳朵聆听周围的世界。

Soundscape

Soundscape实际上并未使用任何革命性的创新科技或者独特硬件,只不过在地理信息处理上融入了一些机器学习技术,所使用的技术和功能都是目前智能手机中比较常见和成熟的。

Soundscape的工作原理基本上都围绕着beacons概念。不过相比较物理实体信标,Soundscape这款软件依赖虚拟信标。当失明或者视力较低的用户在靠近或者手动搜索附近兴趣点的时候,应用就会自动提醒用户,如果需要导航的话,按下屏幕底部的按钮系统就会自动读出路名和相应的位置信息。

虽然目前Soundscape仅推出了iOS版本,但是移植到Android平台并没有太大的技术门槛,相信微软会后续跟进的。

 

Visual Studio Code

微软量子开发套件更新 现已支持macOS和Linux

微软刚刚宣布了“量子开发套件”(QDK)的首个重大更新。其于 Ignite 2017 大会首次亮相,并于去年 12 月迎来了首个公共预览。本次更新的最大变化,就是支持用 Q# 在 Linux 和 macOS 平台上做开发。开发者们可以借助 Visual Studio Code 中的量子模拟支持,来构建他们的应用。微软表示,这是大家在预览时最感兴趣的一项功能。

Visual Studio Code

 

● 其次,新版 QDK 支持 Python 互操作,毕竟许多开发者都有现成的 Python 库。如此一来,开发者们无需 Q# 移植,便能轻松上手。

● 此外,新版 QDK 包含了更多开源库。微软早前曾分享过这些库的源码,以演示工作原理。显然,该公司希望开发者们能够重用代码和做贡献,于是授权了这么做。

● 最后,新版 QDK 改善了仿真性能,速度提升达到了 4~5 倍,特别在涉及 20 个或更多量子位的模拟中。

当然,微软仍处于量子计算的起步阶段,更多内容敬请期待本年度的开发者大会(Build 2018)。

Visual Studio Code

下载地址:

https://www.microsoft.com/en-us/quantum/development-kit

微软研究院开发RAVEN渲染能耗管理技术:高画质手游耗能大幅降低

微软亚洲研究院的外联主任Miran Lee和主管研究院刘云新(Yunxin Liu)近日发表了一项科研博文,该公司开发了一种全新的渲染能耗管理技术RAVEN,能够让手游玩家在能耗较低的状态下运行高画质高性能的移动游戏,RAVEN系统是基于感知的帧渲染技术(perception-aware frame-rendering),能够在手机进行移动游戏时减少多余无用的帧渲染。

微软

RAVEN系统包含三大主要组件,共同调整游戏渲染帧率:帧差追踪器(F-Tracker)、帧率校准器(R-Regulator)、以及帧率注入器(R-Injector),系统以流水管线的方式运作。首先,F-Tracker追踪检测相邻帧间的差异和相似,根据差异程度,R-Regulator预测当前帧与未来帧的相似程度水平。当追踪和预测完成时,如果下帧与当前帧足够相似(由一个阈值决定),那么帧率注入器(R-Injector)就会限制渲染的帧率保持在较低的范围,并进行循环延迟,控制渲染速度,让图形处理器无需为重复不必要的帧率进行渲染处理。目前RAVEN系统最多能够同时控制三个帧低速渲染,将帧率降低到15FPS。

微软

目前RAVEN技术已经在Nexus 5X机型上进行侧载部署,RAVEN能够解决如何让相似帧以低能耗渲染的基本问题。目前,应用RAVEN技术Nexus 5X的原型机能够让每款游戏的平均能耗降低21.8%-34.7%。

量子计算机

微软开发量子计算机 发布量子编程语言和模拟器

据彭博社北京时间12月12日报道,微软公司正与谷歌公司、IBM公司以及多家小型专业公司竞争,开发量子计算机。从理论上讲,量子计算机的性能比现有计算机强大许多倍。微软称,公司有不同的方法让量子计算机降低出错率,更加适用于商业用途。周一,微软发布了新的编程语言Q#和工具,协助开发者为量子计算机开发软件。微软还发布了模拟器,供程序员在传统台式机或者通过Azure云计算服务测试量子计算机软件。

量子计算机

量子计算机是目前世界上的先进技术之一,它与人工智能、增强现实一起被微软CEO萨提亚·纳德拉(Satya Nadella)视为对公司未来至关重要的技术。和IBM、谷歌一样,微软最有可能通过互联网即服务对外出租这些量子计算机的计算时间。

D-Wave系统公司在2011年成为了首家销售量子计算机的公司,但是其技术存在争议,只能解决一小部分数学问题。谷歌和IBM已经开发出了被认为接近实现“量子霸权”的计算机,能够处理任何过于复杂而无法在标准超级计算机上解决的问题。IBM和创业公司Rigetti Computing还为他们的计算机开发了软件。

1 – Microsoft Quantum

相比之下,微软仍在设法开发一款可运行的计算机。微软正在追求一种新型设计,其基础是控制一种难懂的马约拉那费米子(Majorana fermion)。就在几年前,还没有人能够确定这种粒子是否存在。

微软量子计算业务主管托德·霍尔姆达尔(Todd Holmdahl)在接受采访时表示,工程师们即将能够以一种方法控制马约拉那费米子,使其能够执行运算。霍尔姆达尔领导了微软Xbox和全息眼镜HoloLens的开发,他表示,微软将在5年内向市场推出一款量子计算机。

2 – Microsoft QDK Introduction and step-by-step demo

“我们现在正与多家客户磋商,提出使用量子衍生服务解决特定问题,”他表示。

这些系统正在挑战原子和其他微粒的运作极限。尽管传统计算机以0或1作为处理信息的基础,但是量子计算机依赖的则是“量子比特”,它可以同时是0和1。两个量子比特可以同时代表4个数字,3个量子比特可以同时代表8个数字。这就意味着,量子计算机的运算速度要远远快于标准计算机,处理问题的复杂度远远更高。

Mixed Reality Capture Studios

混合现实策略地位提升 微软启动MR捕捉工作室和MR学院

微软近年来大力发展Windows Mixed Reality混合现实平台,黑科技Holo Lens设备以及在Windows 10新版本中的深入整合都令人印象深刻,而发展一个MR平台离不开内容及软件方面的支持,微软在此前的MR展示发布会中有一个集中MR领域专家和开发者的内部社区称为Microsoft Reactor,今日微软正式启动位于旧金山的MR工作室“Mixed Reality Capture Studios”以及Microsoft Reactor网站,该工作室包括一个MR动作捕捉室和一家MR学院。

Mixed Reality Capture Studios

微软设备市场的联合副总裁Liz Hamren在新博文中表示“我们希望让MR领域的专家更加精通,我们也希望让湾区开发者们的多重和独特的视角齐聚一堂,我们也希望帮助创意者们用天马行空的想象力创造尖端的体验”

MR动作捕捉室将负责许多MR内容的创作和研发,高科技捕捉设备将帮助创意者和开发者将混合实景从作坊中带到现实。而MR学院将帮助所有有意向参与MR开发计划的内容创意者和开发者深入学习MR技术。

Mixed Reality Viewer

微软View 3D应用将更名为Mixed Reality Viewer

援引意大利科技媒体Aggiornamenti Lumia报道,目前预装在Windows 10创作者系统更新中的View 3D应用程序,即将更名为Mixed Reality Viewer。在近日上线的“Skip Ahead”的RedStone 4版本中,该应用程序在升级至2.1708.30142.0版本之后启用了这个新的名字。

Mixed Reality Viewer

Mixed Reality Viewer

在本次版本更新中除了更名之外,应用更新还带来了全新的用户界面和通用改进。用户能够阅读下方的完整更新说明,不过这些内容是翻译自意大利语,因此可能会存在一些出入。

● 加载应用程序或者内容会显示小型的3D立方体

● 3D Cube会呈现全新的LOGO(同样会用于上传)

● 所有控制选项都位于高处(信息,控制,虚拟相机和全屏屏幕)

● 当拍摄混合现实图像的时候,用户能够在底部注意到“All-In-Camera”和“倒计时”图标

● 倒计时能够正常工作

● 如果用户调整窗口的尺寸,控制能够自动在“other with 3D”中进行排列

● 修正和通用改进

利用微软AI创建的机器人能为华丽的城市景观图配上说明文字

今年早些时候,微软向公众开放了Custom Vision框架,使研究人员和爱好者能够轻松AI模型进行构建和实验;现在一些用户已经在寻找有趣的方法来使用该技术。目前已在加州大学伯克利分校获得城市规划博士学位的 AI-ficionado Geoff Boeing利用微软的计算机视觉算法构建了一个机器人,可以为华丽的城市景观图配上说明文字。

微软AI

微软AI

Boeing称他的发明为CityDescriber,并开通了Twitter账号展示其表述能力。所有图片均来自Reddit的CityPorn社区。

微软创造出全新DNA生物计算机 逻辑与生命实现完美交融

我们听说过超级计算机、量子计算机,但是,有一种特殊的计算机同样是未来计算机发展的一大方向,那就是 DNA 计算机。DNA 计算机是一种生物形式的计算机。在DNA计算机内,计算不再是物理性质的符号变换,而是化学性质的符号变换,传统意义上的“加”、“减”操作也变成了化学性质的切割和粘贴、插入和删除。

DNA生物计算机

就在 2016 年,微软的研究者们就创下 DNA 数据存储量的记录(该记录今年被哈佛团队打破)。如今,微软又把研究目标转向 DNA 分子计算机的另一个重要分支——数据运算。

微软与华盛顿大学的研究小组联手找到了大幅提升 DNA 分子运算的方法,这将加快人们利用 DNA 计算机对体内基因突变或癌症检测和监控的脚步。经过实验证明,新型的 DNA 计算机仅用了七分钟就完成运行包含 3 个输入链的与门,而之前的设备需要四个小时完成同样的工作量。

研究成果发布在 7 月 24 日的《自然 – 纳米技术》(Nature Nanotechnology)上。

DNA生物计算机

实际上,DNA 计算机由 DNA 分子电路组成,“输入”的是细胞质中的 RNA、蛋白质以及其他化学物质,“输出”的则是很容易辨别的分子信号。与传统的计算机相同,DNA 分子电路上也有“与”“或”“非”逻辑门(逻辑门是集成电路的基本组件)。

88f3788de69ca07

该组研究人员在论文中称,他们利用 DNA 折纸术形成 DNA 发卡结构(hairpin)的空间排列组织,以构建排列 DNA 分子逻辑门和信号传输线。所谓发卡结构,就是如果非子链和母链的两条 DNA 链碱基互补配对, 就会出现有部分区域无法配对而突起的部位, 也就是我们所说的发卡结构。它让 DNA 分子间的排列更加有序,更加模块化,同时每个 DNA 分子也相对“固定”了下来,就像固定的分子电路板一样。

c3dba1c3ccdfca0

图丨 DNA 多米诺电路设计过程

与平日里的计算机不同,这些纳米层面上的计算机电路是由人造 DNA 构成的,被称为“DNA 多米诺电路”——由不同的 DNA 链组成。这种 DNA 分子电路在工作过程中,电路上相邻的 DNA 链通过链上的发卡结构部位连接起来,并且一个一个接着相互反应作用下去,就像多米诺骨牌倒塌一样,直到反应完成,得到目标 DNA 链。

110deb8bc25f1e7

图丨信息在发卡 DNA 链间的传输

其结果显示,无论是在不同长度还是不同方向的传输线上,这种结构的 DNA 分子电路都具备良好的信号传播能力。另外,逻辑门通过模块化的方式可以组合成常规的电路模式,同样也大大提高了 DNA 分子间的信息传输速度和稳定性。

c9b4c052ca81666

图丨微软公司生物计算组组长 Andrew Phillips

微软公司生物计算组组长 Andrew Phillips 在采访中对研究细节进行了进一步解释,“在一个设备中,组成分子在空间上被紧密的排列在一起,而对于我们的研究来说,作为组成分子的 DNA 分子链通过折纸技术被相对固定在整个系统的空间结构上,看起来就像分子电路板。”

这次的研究成果与过去的 DNA 计算机有很大的不同。之前的大多数 DNA 计算机是把 DNA 链溶解于化学溶液中——这么做的缺点是,DNA 分子可以在化学液中随意游走,容易产生连接或者发生反应,因此影响工作效率。

d6fa97100646d51

Phillips 介绍了新型 DNA 分子计算机的改进:“而对于我们来说,构成设备的 DNA 分子被紧密的排列在一起,同时,它们的位置也被 DNA 分子电路板所固定——这样一来,它们会首先与相邻的 DNA 分子反应,而不是随意游走到其他地方与其他位置的 DNA 分子接触。”

“这种方法有效的减少了 DNA 分子间的相互影响。尽管我们的设备还依赖扩散原理来运作,但由于大部分分子都在 DNA 空间结构上被固定,四处游走的是传递信息的燃料链,运行速度还是比原来大大提高。”

如此一来,这些设备会有很高的伸缩性,因为新型的 DNA 分子计算机可以进行自组装,也就是说分子可以自我组织排布。对此,Phillips 表示, “DNA 分子链会在 DNA 分子电路板上结为一个整体,而我们会利用它的自组装能力来校准 DNA 分子的位置。”

对研究者们来说,下一步的研究是如何扩展 DNA 分子电路板的大小,但这需要更先进的 DNA 折纸技术。

图 | DNA 之所以可以按需求被折叠、粘贴,还是要归功于它独特的双螺旋结构:两条平行、反向的单链之间按照精密的碱基互补原则相连接,A 与 T,G 与 C,就像一把钥匙配一把锁,具有唯一性和高度特异性(A 为腺嘌呤,T 为胸腺嘧啶,G 为鸟嘌呤,C 为胞嘧啶)。这些碱基的化学组成使得设计好 ATGC 排序的两条 DNA 单链,能在茫茫链海中找到彼此,紧紧结合,最终组成研究人员想要的形状。

Phillips 还表示,“我们还准备把新型设备与疾病的标志物(如 RNA)等生物标记联系起来,这样一来,计算机逻辑可以被用于精确诊断人体内的病毒性疾病和癌症。起初是从血液中检测,但随着科技的发展,我们将实现从任意活细胞中检测疾病的设想。”

以编码的 DNA 序列为运算对象建立的 DNA 计算机,具有实时探测和监控基因突变等细胞内一切活动的特征信息,确定癌细胞等病变细胞等功能 。未来,科学家更是希望,利用 DNA 计算逻辑的运算判断能力开发出“能检测”、“会思考”的智能 DNA 计算机设备,使得开发个性化的“智能药物”将成为现实。

e8f0b3a4466354e

对此,基因编辑领域学者、斯坦福大学生物工程系和化学与系统生物学系助理教授亓磊近期也表示,基因编辑有望让人体成为一台基因可被读取、预测和改写的“DNA 计算机”,它不仅能够充当监控设备,发现潜在的致病变化,还可以在人体内合成所需的药物,治疗癌症、心脏病、动脉硬化等各种疑难病症,甚至在恢复盲人视觉方面也将大显身手。

194b8c835be174a

尽管微软的此次成果为 DNA 计算机迈出了很大一步,但目前 DNA 计算机仍然处于非常早期的研究阶段。由于受目前生物技术水平的限制,DNA 计算过程中,前期 DNA 分子链的创造和后期 DNA 分子链的挑选,要耗费相当大的工作量。

比如,阿德勒曼的“试管电脑”在几秒钟内就得出结果,但是他却花掉数周的时间去挑选正确的结果。另外,在数学领域中著名的旅行推销员问题(TSP 问题)中,如果实验中城市数目增加到 200 个,那么计算所需的 DNA 重量将会超过地球的重量。而且数以亿计的 DNA 分子非常复杂,在反应过程中很容易发生变质和损伤,甚至试管壁吸附残留都可能发生致命错误。

因此,DNA 计算机真正进入现实生活尚需时日,我们距离建造一台成熟的 DNA 计算机也还有很长的路要走。

微软AI

微软发布AI风险检测和安全工具

许多开发人员和大型组织对现有软件进行频繁更新,或者全面发布新的应用程序,其中发现潜在的错误和安全漏洞已经成为一个相当麻烦和耗时的过程。传统上,公司将聘请安全专家来解决这些问题,但是在几乎每周都有一个新补丁的情况下,几乎不可能发现可能出现的所有问题

微软AI

微软公司刚刚发布了一个“AI安全风险检测”工具,该工具在内部扩展了当前的测试协议,为开发人员提供了在企业环境中或任何应用商店中找到潜在问题的方法。据微软公司称,如果软件未来有任何问题,企业可以通过应急计划来积极主动地处理或至少做好准备,而不是在事后解决问题,让潜在的客户投诉。

微软表示,这次发布的AI工具名称是“安全风险检测“(以前称为Project Springfield),它是一个基于云的工具,开发人员可以使用它们来查找正在准备发布或使用的软件中的错误和其他安全漏洞。该工具旨在在软件正式发布之前捕获漏洞,从而节省公司在发布后遇到错误,处理崩溃或响应攻击造成的损失。

这不是微软在其安全系统中首次应用AI。今年早些时候,该公司宣布,Windows 10将使用基于云的AI,来检测和消除系统中可能的威胁,保护其用户。除此之外,微软一直在研究新技术来缩小AI硬件,因此可以将其嵌入到设备中,让用户不需要访问互联网也可以使用AI。

微软研究院

微软组建通用人工智能实验室:挑战谷歌DeepMind

微软将建立新的人工智能实验室,专门开发更加通用的机器学习系统。这个新的实验室名为微软研究院AI,位于微软雷蒙德总部。他们将聘请来自人工智能子领域的100多位科学家共同参与研究,涉及的领域包括感知、学习、推理、自然语言处理等。

微软研究院

微软研究院负责人埃里克·霍维茨(Eric Horvitz)计划将这些学科结合起来,开发更加通用的人工智能,从而利用单一的系统解决各种任务和问题。例如,这套系统不仅可以为司机规划最优路径,还能帮你想办法减少税负金额,甚至能理解讽刺或手势等较难理解的概念。

与之相对的是,目前的人工智能多数都只能完成人脸识别或语言处理等单一任务。

在开发通用学习系统的过程中,微软需要与其他人工智能公司展开竞争,包括Alphabet旗下的DeepMind和谷歌大脑、特斯拉CEO埃隆·马斯克(Elon Musck)和风投大亨彼得·蒂尔(Peter Thiel)支持的OpenAI,以及捷克的GoodAI。

除了现有的研究人员外,霍维茨还表示,我们计划聘请计算机科学家和认知心理学等领域的专家加入新的实验室。这个新成立的微软实验室还将与麻省理工学院的大脑、思维和机器中心展开合作。

Microsoft Research

七名微软研究员荣获2016 ACM Fellows

ACM Fellow是由美国计算机协会(Association for Computing Machinery, ACM)授予资深会员的荣誉,表扬对于计算机相关领域有杰出贡献的学者,于1993年启动,审查过程十分严格,每年遴选一次。53名计算专家中,来自微软Microsoft Research的七位研究人员荣获计算机工程师协会(ACM)的表彰。

 

Microsoft Research

目前,计算机协会有近10万计算专业人士的会员,只有1%左右才能获得此殊荣,确实是真正的荣誉。

来自世界领先的计算机学会的奖项表彰为推动科学和社会发展而取得进步的计算科学家。获奖的研究员由来自计算机领域的领先大学,公司和研究实验室的同行选择。

– Vicki L. Hanson,ACM总裁

七位获奖的微软研究员:

Ricardo Bianchini:服务器和数据中心的电力,能源和散热管理做出贡献

K. Rustan M. Leino:对于使程序验证可行性和实用性的贡献

Abigail Sellen:对人机交互的贡献和以人为中心的技术设计

Sudipta Sengupta:对云网络,存储和数据管理的贡献

Ravi Kannan:对理论计算机科学领域的贡献

Venkata N. Padmanabhan:在网络和移动计算系统中的研究贡献和专业领导力

Ganesan Ramalingam:对静态程序分析的贡献

ACM Fellow计算机协会,是世界上最大的教育和科学计算机协会,为团结教育工作者,研究人员和专业人士,以激发对计算机行业,共享资源和解决相关各类问题的重要协会。

周明

微软亚洲研究院首席研究员周明当选国际计算语言学协会主席

2016 年 12 月 7 日 ——全球计算语言学和自然语言处理研究领域最具影响力的学术组织——计算语言学协会(ACL, Association for Computational Linguistics)日前宣布,微软亚洲研究院首席研究员周明博士当选为新一届计算语言学协会(ACL)候任主席。根据计算语言学协会的相关规定,候任主席一职由全体协会会员投票产生。候任主席逐年履行候任副主席、副主席职责,然后自动晋升为主席,随后为前任主席,并通过这一系列职责参与 ACL 各重大决策。

 

周明

周明博士现任微软亚洲研究院首席研究员,同时担任中国计算机学会理事、中文信息技术专委会主任、术语工作委员会主任、以及中国中文信息学会常务理事,并且在哈尔滨工业大学、天津大学、南开大学、山东大学等多所院校兼任博士导师。他是中国第一个中英翻译系统 CEMT-I(1989 年于哈尔滨工业大学)、日本最著名的中日机器翻译产品J-北京(1998 年于日本高电社)的研制者。多年来,周明博士在顶级学术会议及期刊上发表了 100 多篇论文(其中包括 45 篇以上的 ACL 论文),拥有 40 余项国际发明专利,并多次获得全球范围内的科研创新奖。他通过微软与中国及亚太地区的高校和学术团体在学术研究和人才培养等多方面紧密合作,对推动计算语言学和自然语言处理领域的研究在区域内的发展做出了杰出贡献。

1999 年,周明博士从清华大学加入微软亚洲研究院任研究员,主要负责自然语言研究组。他带领团队进行了微软输入法、英库词典(必应词典)、中英翻译、微软中国文化系列(微软对联、微软字谜、微软绝句)等重要产品和项目的研发,并对微软 Office、必应搜索、Windows 等产品中的自然语言技术做出了重要贡献。近年来,周明博士带领研究团队与微软产品部门合作开发了已拥有 4000 万用户的 “微软小冰” 和 Rinna(面向日本市场)等聊天机器人系统。

对于当选 ACL 主席,周明博士表示:“我十分荣幸当选为新一届 ACL 候任主席。这次当选体现了国际计算语言学和自然语言处理研究领域对中国最近二十年来在相关科研领域所取得的惊人进步和卓越成就的认可。此外,中国与美国、日本等国家之间的广泛合作,大大推动了亚太地区迈向计算语言学和自然语言处理领域学术研究的最前沿。”

面向未来,周明博士表示,他将认真履行主席职责,在任期内,积极推动自然语言处理研究的多样化创新,促进不同国家和地区之间的学术交流与合作,进一步推动本领域的人才培养和技术发展。

周明博士介绍

周明,微软亚洲研究院首席研究员、中国计算机学会理事、中文信息技术专委会主任、术语工作委员会主任、中国中文信息学会常务理事,哈尔滨工业大学、天津大学、南开大学、山东大学等多所学校博士导师。1985 年毕业于重庆大学,1991 年获哈尔滨工业大学博士学位。1991-1993 年清华大学博士后,随后留校任副教授。1996-1999 访问日本高电社公司领导中日机器翻译研究。他是中国第一个中英翻译系统 CEMT-I(哈工大 1989 年)、日本最有名的中日机器翻译产品J-北京(日本高电社 1998 年)的研制者。1999 年加入微软亚洲研究院,不久开始负责自然语言研究组。他的团队研制了微软输入法、英库词典(必应词典)、中英翻译、微软中国文化系列(微软对联、微软字谜、微软绝句)等著名系统,并对微软 Office、必应搜索、Windows 等产品中的自然语言技术做出了重要贡献。近年来他领导研究团队与微软产品组合作开发了微软小冰(中国)、Rinna(日本)、Tay(美国)等聊天机器人系统。周明博士发表了 100 余篇重要会议和期刊论文(包括 45 篇以上的 ACL 文章),拥有国际发明专利 40 余项。他多年来通过微软与中国和亚太地区的高校和学术团体在学术研究和人才培养等多方面紧密合作,对推动计算语言学和自然语言处理的研究在区域内的发展做出了杰出贡献。

关于微软亚洲研究院

微软亚洲研究院是微软公司在亚太地区设立的基础及应用研究机构,也是微软在美国本土以外规模最大的一个。微软亚洲研究院从事自然用户界面、新一代多媒体、以数字为中心的计算、互联网搜索与在线广告、计算机科学基础等领域的研究,致力于推动计算机科学前沿发展,着眼下一代革命性技术的研究,助力微软实现长远发展战略。微软亚洲研究院鼓励以实践驱动的研究,与微软产品部门紧密合作,众多创新技术转移到了微软的核心产品中,如 Office、Windows、Bing、Xbox、Kinect、Azure、Windows Phone、Cortana、微软小冰等。

关于计算语言学协会(ACL)

成立于 1962 年的计算语言学协会(ACL)是全球范围内,在计算语言学(Computational Linguistics)和自然语言处理(Natural Language Processing)领域中首屈一指的科学研究和专业技术社团。近年来,在深度学习、大数据等技术的促进下,计算语言学研究取得了快速的普及、成长与应用,如机器翻译(MT)、问答对话系统(QnA)、聊天机器人(Chatbot)等技术机器广泛应用,为人工智能(AI)理论、技术、应用和市场,创造了无限可能。计算语言学协会(ACL)长期致力于推动自然语言理解理论、技术和方法的进步,增进国际间的学术合作,培养年轻一代优秀人才。所组织的每年一度的 ACL 学术大会为计算语言学和自然语言处理最重要的会议。

Revolution Analytics

微软大数据分析语言R Open升至3.3.2版本

两年前,微软完成了对R语言服务提供商Revolution Analytics的收购,致力于通过将会R语言来进一步加强云计算业务。经过整合孵化今天公司正式宣布了R Open 3.3.2,为这款大数据分析语言进行升级带来了“更高级的开源R发行版本”。

Revolution Analytics

 

R语言是一种用于数据分析/统计和图形化分析结果、基于GPL协议开源的编程环境/工具。Revolution Analytics 的核心产品Revolution R Enterprise(简称RRE)是统计分析类编程语言(R语言的增强版)。Revolution R Enterprise拥有许多种数据可视化、统计分析、预测性建模以及机器学习的能力,它还能够突破R语言的内存瓶颈,并且支持多核、多进程,尤其能够和Hadoop、Teradata等数据平台整合。

 

目前微软R Open 3.3.2已经在以下平台上线:

● Windows 7.0 SP1, 8.1, 10, Windows Server® 2008 R2 SP1 and 2012

● Ubuntu 14.04, 16.04

● CentOS / Red Hat Enterprise Linux 6.5, 7.1

● SUSE Linux Enterprise Server 11

● Mac OS X Mavericks (10.9), Yosemite (10.10), El Capitan (10.11), Sierra (10.12)

微软R Open 3.3.2:更新日志  |  下载地址

P语言

微软开源P语言,实现安全的异步事件驱动编程

英文原文:Microsoft Open-Sources P Language for Safe Async Event-Driven Programming

微软最近开源了P语言,致力于在 Linux、macOSWindows 上编写安全的异步事件驱动程序。

微软将P 描述为一种领域特定语言,对异步系统的组件间通信进行建模,例如嵌入式、网络或分布式系统。P程序是通过有限状态机(finite state machine)来定义的,这些状态机会并发运行。每个状态机都有一个输入队列、状态、转换、机器本地存储,并且可以发送异步信息给其他状态机。在P中的基本操作要么是更新本地存储,发送消息,要么就是创建新的状态机。如下的代码片段展示了如何使用P来描述一个状态及其转换。除此之外,它还展现了如何发送消息或创建新的状态机:

 P语言

按照微软的说法,P程序能够使用模型检查功能来进行核实。这样的话,就允许开发人员确保所有的事件均能得到及时地处理。对于P程序来说,要想保证响应性,它的状态机就要处理每个状态上所有可以出队(dequeue)的事件。这种做法并不一定总是可行,因此对一些事件可能会进行延迟处理。在这种情况下,语言能够确保某个事件不会无限期延迟。P编译器能够核实程序的状态,还可以生成C代码,并交给C编译器执行,另外,它还可以输出Zing模型,用于系统测试。Zing 是一个针对并发程序的开源模型检查器,它能够系统性地暴露一个模型所有可能出现的状态。

微软使用P语言实现和检验了 Windows 8 USB 设备驱动栈的核心功能。按照微软的说法,工程师使用P来序列化大量来自硬件、操作系统、功能驱动以及其他驱动组件的不同事件,提升了性能和可靠性。他们尤其指出,在新的 USB hub 驱动中,非法内存访问和竞态条件的数量不那么明显了,同时,枚举时间快了 30%,也没有观察到 worker 条目饿死的现象。