首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

Google Earth Engine——AVHRR探路者5.3版海面温度数据集(PFV53)是由NOAA国家海洋学数据中心和迈阿密大学罗森斯蒂尔海洋与大气科学学院合作制作的全球每日两次的4公里数据

The AVHRR Pathfinder Version 5.3 Sea Surface Temperature dataset (PFV53) is a collection of global, twice-daily 4km sea surface temperature data produced in a partnership by the NOAA National Oceanographic Data Center and the University of Miami's Rosenstiel School of Marine and Atmospheric Science. PFV53 was computed from data from the AVHRR instruments on board NOAA's polar orbiting satellite series using an entirely modernized system based on SeaDAS. PFV53 data are nearly 100% compliant with the GHRSST Data Specification Version 2.0 for L3C products and only deviate from that standard in that 'sses_bias', 'sses_standard_deviation', and 'sst_dtime' variables are empty and hence not included into EE assets. PFV53 data were collected through the operational periods of the NOAA-7 through NOAA-19 Polar Operational Environmental Satellites (POES), and are available from 1981 to 2014. Additional information is available at the [NOAA Pathfinder site] (NODC Pathfinder SST Data).

01

为什么2007年的图灵奖选择了模型检测技术

2007年图灵奖授予了在模型检测技术领域的奠基性贡献的科学家:Edmund M. Clarke、E Allen Emerson和Joseph Sifakis三位科学家。 什么是模型检测技术呢? 看看wikipedia 上的定义吧: Model checking is the process of checking whether a given structure is a model of a given logical formula. The concept is general and applies to all kinds of logics and suitable structures. A simple model-checking problem is testing whether a given formula in the propositional logic is satisfied by a given structure. 简单的说:是一套用于判断硬件和软件设计的理论模型是否满足规范的方法。这可真是个抽象的描述,看起来似乎离我们很遥远,遥远的只有像英特尔研究中心副总裁Andrew Chien才能对模型检测技术用一句话来评价:“英特尔和整个计算机工业都从他们的贡献中直接获益”。 那模型检测技术是不是离程序员也很遥远呢?图灵奖作为计算机界诺贝尔奖,如果把奖项颁给一个离程序员很遥远的技术,还真说不过去。 带着这个疑问,我浏览了wikipedia上长长的一窜模型检测技术的项目,还好不出所料,找到了下面几个项目: 1、Java Pathfinder :是一个用来认证java执行字节代码的系统。类似一个java虚拟机用来检测软件运行状态的验证系统。 2、Mono Model Checker :跑在mono 开源的.net平台上。用来自动侦查 CIL 字节码错误的程序。目前的版本支持CIL的死锁 deadlocks 和 断言冲突 assertion violation 。 3、对于c++ 感兴趣的人还可以看看这两个项目: State Exploring Assembly Model Checker , Bounded Model Checking for ANSI-C 。 举个例子吧,在开发中,利用测试库junit 和 dotunit 写测试代码已经逐渐普及开了,比如下面这段:

02

【斯坦福大学博士论文】用于临床试验和精准医疗的机器学习

来源:专知本文为论文介绍,建议阅读5分钟本文使用大规模数据集来推进医学研究,开发算法来解决生物挑战,以及为新技术构建分析工具。 机器学习(ML)已广泛应用于生物医学和医疗健康领域。医学数据的日益丰富和生物技术(如新一代测序)的发展为ML在计算生物学和健康领域的应用提供了巨大的机会。在这篇论文中,我展示了我在这一新兴领域的三个方面的贡献——使用大规模数据集来推进医学研究,开发算法来解决生物挑战,以及为新技术构建分析工具。 在第一部分中,我介绍了两件将ML应用于大规模现实数据的作品:一件用于临床试验设计,一件

03
领券