50 Works

DiscreteRS: Mathematica Code for evaluating the discrete Rayleigh-Sommerfeld convolution

H. S. Bhat & Braxton Osting
Mathematica Code for evaluating the discrete Rayleigh-Sommerfeld convolution.

Climate Predictability Tool version 15.5.10

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 15.5.3

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 15.4.1

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 15.3.9

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 14.3

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 14.4

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 14.5

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 14.7

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 14.6

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 15.2

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 15.3

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 13.1

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 13.2

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 13.3

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 13.4

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 14.1

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

Climate Predictability Tool version 14.2

Simon J. Mason & Michael K. Tippett
The Climate Predictability Tool (CPT) is a software package for constructing a seasonal climate forecast model, performing model validation, and producing forecasts given updated data. Its design has been tailored for producing seasonal climate forecasts using model output statistic (MOS) corrections to climate predictions from general circulation model (GCM), or for producing forecasts using fields of sea-surface temperatures or similar predictors. Although the software is specifically tailored for these applications, it can be used in...

KABU: Dynamic Inference Tool of Metamorphic Properties

Fang-Hsiang Su
Metamorphic testing is an advanced technique to test programs without a true test oracle such as machine learning applications. Because these programs have no general oracle to identify their correctness, traditional testing techniques such as unit testing may not be helpful for developers to detect potential bugs. KABU uses pre-defined input adapters, transformers and checkers to infer metamorphic properties from programs.

Java Bytecode and JVMTI Examples

Jonathan Schaffer Bell
A lot of my research has involved Java bytecode instrumentation with ASM and more recently, also JVMTI development. For instance, with VMVM, we instrumented bytecode to enable efficient java class reinitialization. With Phosphor, we instrumented bytecode to track metadata with every single variable, enabling performant and portable dynamic taint tracking. In ElectricTest, we combined bytecode instrumentation with JVMTI to efficiently detect data dependencies between test cases running within the same JVM. As I built each...

Phosphor: Illuminating Dynamic Data Flow in the JVM (Artifact for Evaluation)

Jonathan Schaffer Bell & Gail E. Kaiser
Dynamic taint analysis is a well-known information flow analysis problem with many possible applications. Taint tracking allows for analysis of application data flow by assigning labels to inputs, and then propagating those labels through data flow. Taint tracking systems traditionally compromise among performance, precision, accuracy, and portability. Performance can be critical, as these systems are typically intended to be deployed with software, and hence must have low overhead. To be deployed in security-conscious settings, taint...

SPAr package for Fan and Lo (2013) "A robust model-free approach for rare variants association studies incorporating gene-gene and gene-environmental interactions."

Ruixue Fan & Shaw-Hwa Lo
Recently more and more evidence suggest that rare variants with much lower minor allele frequencies play significant roles in disease etiology. Advances in next-generation sequencing technologies will lead to many more rare variants association studies. Several statistical methods have been proposed to assess the effect of rare variants by aggregating information from multiple loci across a genetic region and testing the association between the phenotype and aggregated genotype. One limitation of existing methods is that...

Source codes for GLMLE algorithm

Ran He & Tian Zheng
These are the R source codes for the algorithm proposed for fitting exponential random graph models (ERGMs) on large social networks in our paper "Estimation of exponential random graph models for large social networks via graph limits". Specifically, the ERGM model we implement is the one that consider homomorphism densities of edges, two-stars and triangles, the one we examine in the above paper.

Fit GFuseTLP penalized conditional logistic regression model for high-dimensional one-to- one matched case-control data

Hui Zhou, Shuang Wang & Tian Zheng
Fit GFuseTLP penalized conditional logistic regression model for high-dimensional one-to- one matched case-control data

VMVM: Unit Test Virtualization for Java (System Implementation)

Jonathan Schaffer Bell & Gail E. Kaiser
Testing large software packages can become very time intensive. To address this problem, researchers have investigated techniques such as Test Suite Minimization. Test Suite Minimization reduces the number of tests in a suite by removing tests that appear redundant, at the risk of a reduction in fault-finding ability since it can be difficult to identify which tests are truly redundant. We take a completely different approach to solving the same problem of long running test...

Registration Year

  • 2014
    4
  • 2015
    3
  • 2016
    16
  • 2017
    5
  • 2018
    4
  • 2019
    18

Resource Types

  • Software
    50

Data Centers

  • Columbia University Libraries
    50