-
Code/Data Release: Fast Multipole Method results, Development Of A Performanc...
This archive contains the material required to reproduce the results for the PhD thesis "Development Of A Performance-Portable Framework For Atomistic Simulations". -
Nay PLDI20 artifact
The artifact of Nay, a synthesizer which can prove unrealizability of unrealizable SyGuS problems. More detail can be found in https://arxiv.org/abs/2004.00878 -
RECAP Platform
RECAP is a commercial platform that integrates satellite remote sensing and user-generated data into added value services, co-designed and co-created by public authorities,... -
bigSCale2
Framework for clustering, phenotyping, pseudotiming and inferring gene regulatory networks from single cell data. -
Poly-(3-hexylthiophene) Model and Code for Molecular Dynamic Simulations
Here we present files necessary for simulating our united-atom poly-(3-hexylthiophene) model in molecular dynamics. The input file "P3HT_Blends.py" acts a wrapper... -
Agentes Inteligentes en Videojuegos
Este proyecto es una aplicación de agentes de Inteligencia Artificial basados en Machine Learning, presentado como proyecto final de la carrera de Ingeniería... -
U.S. Immigration 1820 - 2010 Data Visualizations and Accompanying Website
The U.S. has a very long history of immigration. People have been imigrating to the U.S. for a very long time due to the fact that we are an economic powerhouse and the... -
Code for Quantum Simulation of Attosecond Physics
Code for Quantum Simulation of Attosecond Physics Author: Md Masudur Rahman This collection contains the code implementation and individual figure files for the report... -
PathfinderTURB for CHM15K ceilometers
The PathfinderTURB algorithm is coded in MATLAB and requires a certain number of toolboxes. The version of PathfinderTURB available here is for any type of CHM15K, if someone... -
phenoCDM: Continuous Development Models for Incremental Time-Series Analysis
Using the Bayesian state-space approach, we developed a continuous development model to quantify dynamic incremental changes in the response variable. While the model was... -
github.com/denis-yuen/bcellmagic
B cell repertoire analysis pipeline with immcantation framework. Usage: The typical command for running the pipeline is as follows: nextflow run... -
RFixer: a tool for repairing complex regular expressions using examples
This artifact contains the virtual machine image that has RFixer installed. RFixer is a tool for repairing complex regular expressions using examples. Given an incorrect... -
Isabelle/DOF
Isabelle/DOF is a Document Ontology Framework (DOF), on top of Isabelle/HOL, allowing to annotate text elements in formal developments with structured, typed meta-information... -
Mapelia and friends
This software was created to help with the development of 3D models of planets, moons and so on, used in the non-profit project A Touch of The Universe on educational... -
VSCL Developmental Flight Test Instrumentation
Small Unmanned Aircraft System developmental flight test instrumentation software. Supports data logging at 100 Hz of air data, inertial navigation data, and control effector... -
TUBYDI- Assistir Filmes e Séries online grátis
Se você não planeja Ouvir musicas, o App "Tubydi" é a melhor opção, pois é semelhante ao Tubydi Ocplus, mas não... -
Gcube Smart Executor Client
The gCube System - smart-executor-client -------------------------------------------------- Smart Executor Service Client Library This software is part of the gCube... -
HeavyN: The Standard Model + Heavy Neutrinos at NLO in QCD
Heavy neutrino FeynRules model file (2019 Oct 10 snapshot). For details and updates, see FeynRules model database: https://feynrules.irmp.ucl.ac.be/wiki/HeavyN Please cite...