图灵奖得主Joseph Sifakis：将模型检测 软件工程专业的同窗想必都很熟习上面这起惨剧：1996 年 6 月 4 日，由欧洲 12 国结合研制的阿丽亚娜 (Ariane) 5 型运载火箭，在初次发射后由于一行代码的溢出错误招致火箭升空约 37 秒时爆炸，造价几亿欧元的火箭就这样喜剧开场。如此严重的发射义务事前势必经过了缜密的反省，但为什么还是没能防止惨剧的发作？举个例子大家就懂了，这就好比箭已离弦，导弹飞机离地升空，基本不能够在空中停止重启 2018-05-21 科技
赋能古代农业，麦飞科技完成2500万元Pr 雷锋网(大众号：雷锋网)音讯，近日，国际专注于遥感精准农业的人工智能效劳平台——麦飞科技正式确认，已于往年3月完成2500万元Pre-A轮融资。本轮融资由BV百度风投，高捷资本共同领投，峰瑞资本跟投。麦飞科技方面表示：本次融资资金将次要用于市场拓展、中心技术与产品研发、以及商业生态晋级。麦飞科技是一家专注于智慧农业范畴的AI大数据公司，中心团队来自中国迷信院、中国农业迷信院、北京大学、武汉大学、阿 2018-05-21 科技
网宿发布新一代智慧云视频平台，CDN技 题图来源：视觉中国 人工智能与各大产业的交融正在减速，而互联网根底之上的关键智能网络 CDN 行业，也在抓紧搭上人工智能的慢车，为各类互联网新兴使用铺路。 CDN 效劳商网宿科技近日重磅推出了智慧云视频平台。据钛媒体理解，该平台将应用机器学习、形式辨认、计算机视觉等人工智能模块对数据停止剖析、了解和处置，将人工智能和大数据技术赋能于端到端的整个视频效劳环节，在完成运营智能化的根底上，进一步完成产品 2018-05-21 科技
全国安康医疗行业云发布，打造行业根底 5月18日，全国安康医疗行业云平台在2018中国卫生信息技术安康医疗大数据使用交流大会上盛大发布。原国度卫生计生委副主任、中国卫生信息与安康医疗大数据学会会长金小桃，中国医疗保健国际交流促进会会长、中国工程院院士韩德民，国度卫生安康委统计信息中心主任张学初等数千名与会嘉宾，见证了中国卫生信息与安康医疗大数据学会家庭安康专委会、腾讯云和微医云三方共建平台发布。日前，国务院办公厅下发了《关于促进“互联 2018-05-21 科技
将来途径？清点自动驾驶技术正在催生的 [摘要]自动驾驶大潮曾经显得不可阻挠，随着技术的不时提高，自动驾驶也开端催生各种新型技术创新。腾讯科技讯 据外媒报道，近些年来，自动驾驶大潮曾经显得不可阻挠，就连在该技术上一向低调的苹果在加州都有55辆测试车了。而随着技术的不时提高，自动驾驶也开端催生各种新型技术创新，而下列5大创新将来能够就会成为自动驾驶生态中的关键基石。保险公司“掌控”方向盘Oxbotica是牛津大学孵化的一家新创公司，它们的 2018-05-21 科技
我国东北地域最大机场配套工程片面开工 新华社5月21日音讯，随着上百台施工机械车辆在施工现场繁忙穿越，标志着我国东北地域最大机场——成都天府国际机场配套工程片面开工建立，项目施工驶入慢车道。据中铁十四局天府机场项目经理张洪忠引见，该机场航站楼总面积126万平方米，满足年旅客吞吐量9000万人次需求，一期工程方案2019年根本建成，2020年投入运用。为确保项目顺利推进，中铁十四局天府机场项目部一致部署、提早进场 2018-05-21 财经
农业乡村部与邮储银行携手助推乡村复兴 记者21日得悉，日前，农业乡村部和中国邮政储蓄银行(以下简称邮储银行)结合印发了《关于增强农业产业化范畴金交融作助推施行乡村复兴战略的意见》(以下简称《意见》)，贯彻落实2018年地方1号文件要求，携手推进农业产业化高质量开展，促进农业供应侧构造性变革，助力乡村复兴战略施行。《意见》明白了单方协作的总体思绪是深化贯彻落实地方关于施行乡村复兴战略的决策部署，引导农业产业化扶持政策与邮储银行信贷资金无 2018-05-21 财经
交通部：放慢清退不合格网约车 屡罚不 据央视新闻21日音讯，近期，网约车行业发作了多起危害乘客平安的恶性事情，明天，交通运输部表示网约车行业不是法外之地，保证乘客平安是网约车标准开展的底线。交通运输部运输效劳司副司长蔡勾结表示，放慢清退不合聚集了全世界身经百战的最优秀的创业导师，汇集了全世界各国最优质的产业资源，召唤全球未来的商业领袖。格的车辆和人员，确保平台上注册的车辆和人员与实践的车辆、人员分歧，并获得相应的资质，确保老百姓的平安 2018-05-21 财经
盒马鲜生发明上万个失业岗位，新批发成 摘要：阿里巴巴首倡的新批发以极强的失业吸纳才能，带来市场半径扩展、分工巧化，发明了诸多史无前例的新工种、新岗位，助力撬动千万级失业。作为对于互联网金融P2P企业来说，支付市场完善的标准和管理系统将彻底改变互联网金融行业的格局，不仅给从业者提供了的巨大的发展机遇，也带来了全新的挑战。新实体经济的样本，阿里新批发正在发明少量新的失业时机。 近日，新华社旗下《财经国度周刊》征引中国人民大学研讨数据，点赞 2018-05-21 科技
AR头显公司LEAPSY联手同程规划AR旅游 A简单来说，创业有四步：一创意、二技术、三产品、四市场。对于停留在‘创意’阶段的团队，你们的难点不在于找钱，而在于找人。”结合自身微软背景及创业经验。R头显公司LEAPSY宣布与同程旅游集团旗下新型文旅公司——同程文旅达成战略协作，将来三年将联手规划AR旅游。5月19日中国旅游日，单方协作的第一个项目中国5A级景区常州淹城春秋乐园AR游正式上线，将来将陆续使用在同程文旅的更多景点。LEAPSY制造 2018-05-21 科技
全球科技范畴亿万富翁人数达143人，半 [摘要]以后全球亿万富翁数量比以往更多，这能够是由于科技行业异常活泼，以及亚洲富豪人数静态增长所致。亚洲初次超越北美，成为亿万富翁最多的中央。腾讯科技讯 5月21日音讯，据外媒报道，财富征询机构Wealth-X日前发布第五版“亿万富翁人口调查报告”(Wealth-X Billionaire Census)，显示全球十亿美元亿万富翁人数2017年发明了新的纪录，到达2754人，比前一年添加15%，超 2018-05-21 科技
图灵奖得主 Judea Pearl：机器学习是有 2017 年 12 月，贝叶斯网络之父、2011 年图灵奖的取得者 Judea Pearl 教授在 NIPS 2017 大会时期停止了一场学术报告，后果这场报告由于一张照片而在网络上惹起热议。很多人在社交媒体上表示，Judea Pearl 对着一个【简直空无一人的房间】作报告是 NIPS 上凄惨的一幕，这一天关于机器学习而言是凄惨的一天。不过，关于现年 81 岁的 Judea Pearl 而言，让 2018-05-21 科技
坚果 R1 被曝镜头大面积刮花，这次还能 上周二（5 月 15 日）锤子在鸟巢发布了坚果 R1 手机和 TNT 电脑两款新品，罗永浩把一大半的工夫都花在「重新定义人类计算平台」的 Smartisan TNT 任务站上，后果这款产品打动了罗永浩，却并没有打动大少数的观众。相比起话题性十足的 TNT，配置价钱都是惯例造作的坚果 R1 没有降生 10 W+ 爆文的潜质，毕竟大家的关注点都在 TNT 任务站上，而在 TNT 的热度散去之后，R1 2018-05-21 科技
重磅：微信生态又开新花，猫眼小顺序破 互联网平台正日益成为电影、剧集、综艺等泛文娱效劳的次要消费场景和营销场景，但是目前大少数平台仍然游走于传统的营销途径，重曝光、轻转化，用户触达和消费买卖之间难以构成无效闭环，也难以为泛文娱效劳提供更有价值的营销场景。于是乎，泛文娱营销创新的议题呼之欲出，也成了权衡平台实力的一个重要规范。日前猫眼和微信则经过线上线下联手的营销创新，则试图在这方面获得打破。猫眼在去年底就推出了“猫眼电影上演”微信小 2018-05-21 科技
商汤科技、阿里巴巴及香港科技园联手成 5月21日雷锋网(大众号：雷锋网)音讯，昔日，人工智能创业公司商汤科技、阿里巴巴集团及香港科技园公司宣布协作成立“香港人工智能实验室”。据雷锋网理解，这是继5月14日地方宣布系列政策，推进香港增强与边疆的科技协作，创立国际创科中心后的第一个严重举措。5月15日，商汤科技开创人汤晓鸥列席由香港特别行政区政府主办的边疆与香港科创协作研讨会。此次成立 AI 实验室是香港国际创新科技中心的重要载体，将扶持 2018-05-21 科技
