Mixed-effects models in R using S4 classes and methods with RcppEigen

lme4qtl: linear mixed models with flexible covariance structure for genetic studies of related individuals

AKR-001, an Fc-FGF21 Analog, Showed Sustained Pharmacodynamic Effects on Insulin Sensitivity and Lipid Metabolism in Type 2 Diabetes Patients

Age and sex related changes in episodic memory function in middle aged and older adults

Connectivity Neurofeedback Training Can Differentially Change Functional Connectivity and Cognitive Performance

Leaf silica concentration in Serengeti grasses increases with watering but not clipping: insights from a common garden study and literature review

Bumblebees Learn Polarization Patterns

Core and Differentially Abundant Bacterial Taxa in the Rhizosphere of Field Grown Brassica napus Genotypes: Implications for Canola Breeding

Anterior and Posterior Left Inferior Frontal Gyrus Contribute to the Implementation of Grammatical Determiners During Language Production

Infection Dynamics and Immune Response in a Newly Described Drosophila-Trypanosomatid Association

What accounts for individual differences in susceptibility to the McGurk effect?


Python 3 framework to facilitate verification, validation and uncertainty quantification (VVUQ) for a wide variety of simulations.

EasyVVUQ: A Library for Verification, Validation and Uncertainty Quantification in High Performance Computing

VECMAtk: a scalable verification, validation and uncertainty quantification toolkit for scientific simulations

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

Uncertainty Quantification for Multiscale Fusion Plasma Simulations with VECMA Toolkit

Assessing uncertainties from physical parameters and modelling choices in an atmospheric large eddy simulation model

Epistemic and Aleatoric Uncertainty Quantification and Surrogate Modelling in High-Performance Multiscale Plasma Physics Simulations


AdelaiDet is an open source toolbox for multiple instance-level detection and recognition tasks.

FCOS: Fully Convolutional One-Stage Object Detection

Enhancing Geometric Factors in Model Learning and Inference for Object Detection and Instance Segmentation

SOLO: Segmenting Objects by Locations

Conditional Convolutions for Instance Segmentation

BlendMask: Top-Down Meets Bottom-Up for Instance Segmentation

ABCNet: Real-time Scene Text Spotting with Adaptive Bezier-Curve Network

Read Like Humans: Autonomous, Bidirectional and Iterative Language Modeling for Scene Text Recognition

BoxInst: High-Performance Instance Segmentation with Box Annotations

Mask Encoding for Single Shot Instance Segmentation

DirectPose: Direct End-to-End Multi-Person Pose Estimation


Deep Learning Library for Single Cell Analysis

Multimodal Analysis of Composition and Spatial Architecture in Human Squamous Cell Carcinoma

Whole-cell segmentation of tissue images with human-level performance using large-scale data annotation and deep learning

Deep Learning Automates the Quantitative Analysis of Individual Cells in Live-Cell Imaging Experiments

Spatial predictors of immunotherapy response in triple-negative breast cancer

Deep Learning in Single-Cell Analysis

SiCTeC: an inexpensive, easily assembled Peltier device for rapid temperature shifting during single-cell imaging

Accurate single-molecule spot detection for image-based spatial transcriptomics with weakly supervised deep learning

bioRxiv : the preprint server for biology


Research using Cirq!

Hartree-Fock on a superconducting qubit quantum computer

Quantum approximate optimization of non-planar graph problems on a planar superconducting processor

Quantum advantage in learning from experiments

Designing Calibration and Expressivity-Efficient Instruction Sets for Quantum Computing

International Symposium on Computer Architecture


Ongoing research training transformer language models at scale, including: BERT & GPT-2

Language Models are Few-Shot Learners

BLOOM: A 176B-Parameter Open-Access Multilingual Language Model

What Language Model to Train if You Have One Million GPU Hours?

Distributed Inference and Fine-tuning of Large Language Models Over The Internet

Extending the Pre-Training of BLOOM for Improved Support of Traditional Chinese: Models, Methods and Results

Design of Chain-of-Thought in Math Problem Solving


A synthetic data generator for text recognition

TrOCR: Transformer-based Optical Character Recognition with Pre-trained Models

TextDiffuser: Diffusion Models as Text Painters

Building an efficient OCR system for historical documents with little training data

Generating Synthetic Data for Text Recognition

Benchmarking Chinese Text Recognition: Datasets, Baselines, and an Empirical Study

FAWA: Fast Adversarial Watermark Attack on Optical Character Recognition (OCR) Systems

CNN-BiLSTM model for English Handwriting Recognition: Comprehensive Evaluation on the IAM Dataset

E2TIMT: Efficient and Effective Modal Adapter for Text Image Machine Translation

OmniPrint: A Configurable Printed Character Synthesizer

Traditional Chinese Synthetic Datasets Verified with Labeled Data for Scene Text Recognition


Python implementation of elastic-net regularized generalized linear models

Decoding of neural data using cohomological feature extraction

A detailed behavioral, videographic, and neural dataset on object recognition in mice

Active learning of cortical connectivity from two-photon imaging data


A domain specific language for neuron and synapse models in spiking neural network simulation

NESTML: a modeling language for spiking neurons

Code Generation in Computational Neuroscience: A Review of Tools and Techniques

Combining hypothesis- and data-driven neuroscience modeling in FAIR workflows

On Distribution Shift in Learning-based Bug Detectors

Brain signal predictions from multi-scale networks using a linearized framework

Automatically Selecting a Suitable Integration Scheme for Systems of Differential Equations in Neuron Models

Phenomenological modeling of diverse and heterogeneous synaptic dynamics at natural density


eBPF/XDP-based software framework for fast network services running in the Linux kernel.

The rise of eBPF for non-intrusive performance monitoring

Network Operations and Management Symposium

A Control Plane Enabling Automated and Fully Adaptive Network Traffic Monitoring With eBPF


:movie_camera: Python and OpenCV-based scene cut/transition detection program & library.

Stable Video Diffusion: Scaling Latent Video Diffusion Models to Large Datasets

Robots Learn Social Skills: End-to-End Learning of Co-Speech Gesture Generation for Humanoid Robots

LAVIE: High-Quality Video Generation with Cascaded Latent Diffusion Models

Spot the conversation: speaker diarisation in the wild

InternVid: A Large-scale Video-Text Dataset for Multimodal Understanding and Generation

Generic Event Boundary Detection: A Benchmark for Event Segmentation

Online Detection of Action Start in Untrimmed, Streaming Videos

A Deep Ranking Model for Spatio-Temporal Highlight Detection from a 360 Video

GIFdroid: Automated Replay of Visual Bug Reports for Android Apps

Partially Relevant Video Retrieval

Proceedings of the 30th ACM International Conference on Multimedia


Tools and standards for conducting and evaluating research in software engineering

Empirical Standards for Software Engineering Research

ACM SIGSOFT Empirical Standards.

Benchmarking as Empirical Standard in Software Engineering Research

PROCEEDINGS OF EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING (EASE 2021)

Code Red: The Business Impact of Code Quality - A Quantitative Study of 39 Proprietary Production Codebases

Which design decisions in AI-enabled mobile applications contribute to greener AI?

Understanding Peer Review of Software Engineering Papers

U Owns the Code That Changes and How Marginal Owners Resolve Issues Slower in Low-Quality Source Code

Static test flakiness prediction: How Far Can We Go?

Students' interest in knowledge acquisition in Artificial Intelligence

Machine Learning-Based Test Smell Detection


The OpenWayback Development

ArchiveSpark: Efficient Web Archive Access, Extraction and Derivation

MementoMap Framework for Flexible and Adaptive Web Archive Profiling

Archive Assisted Archival Fixity Verification Framework

Difficulties of Timestamping Archived Web Pages

On the Applicability of Delicious for Temporal Search on Web Archives

SIGIR'16: PROCEEDINGS OF THE 39TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL

The Case For Alternative Web Archival Formats To Expedite The Data-To-Insight Cycle

ACM/IEEE Joint Conference on Digital Libraries

Right HTML, Wrong JSON: Challenges in Replaying Archived Webpages Built with Client-Side Rendering

Collecting 16K archived web pages from 17 public web archives

Full-Text and URL Search Over Web Archives

Impact of HTTP Cookie Violations in Web Archives


Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

Explainable Software Bot Contributions: Case Study of Automated Bug Fixes

International Workshop on Bots in Software Engineering

[Research Paper] Static JavaScript Call Graphs: A Comparative Study

Hot Pixels: Frequency, Power, and Temperature Attacks on GPUs and ARM SoCs

Exposing Bugs in JavaScript Engines through Test Transplantation and Differential Testing

Hidden inheritance: an inline caching design for TypeScript performance

Proceedings of the ACM on Programming Languages


Real-time power system simulator including powerflow, (dynamic) phasors and EMT


Sampling profiler for Python programs

Scalene: Scripting-Language Aware Profiling for Python

Toward efficient interactions between Python and native libraries

PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21)

Triangulating Python Performance Issues with Scalene


FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.

Very Deep Convolutional Networks for Large-Scale Image Recognition

Faster R-CNN: Towards Real-Time Object Detection with Region Proposal Networks

Mask R-CNN

Squeeze-and-Excitation Networks

Focal Loss for Dense Object Detection

Feature Pyramid Networks for Object Detection

Fast R-CNN

Non-local Neural Networks

Cascade R-CNN: High Quality Object Detection and Instance Segmentation

R-FCN: Object Detection via Region-based Fully Convolutional Networks


Non-Metric Space Library (NMSLIB): An efficient similarity search library and a toolkit for evaluation of k-NN methods for generic non-metric spaces.

Efficient and Robust Approximate Nearest Neighbor Search Using Hierarchical Navigable Small World Graphs

Approximate Nearest Neighbor Search on High Dimensional Data — Experiments, Analyses, and Improvement

IEEE Transactions on Knowledge and Data Engineering

Fast Approximate Nearest Neighbor Search With The Navigating Spreading-out Graph

Consensus-Driven Propagation in Massive Unlabeled Data for Face Recognition

Optimization of Indexing Based on k-Nearest Neighbor Graph for Proximity Search in High-dimensional Data

Off the Beaten Path: Let's Replace Term-Based Retrieval with k-NN Search

International Conference on Information and Knowledge Management

Extreme Multi-label Learning for Semantic Matching in Product Search

Permutation Search Methods are Efficient, Yet Faster Search is Possible

High Dimensional Similarity Search with Satellite System Graph: Efficiency, Scalability, and Unindexed Query Compatibility

FreshDiskANN: A Fast and Accurate Graph-Based ANN Index for Streaming Similarity Search


The Ensembl Variant Effect Predictor predicts the functional effects of genomic variants

Mutation rate of SARS-CoV-2 and emergence of mutators during experimental evolution

Multiomics study of nonalcoholic fatty liver disease

A genome-wide meta-analysis yields 46 new loci associating with biomarkers of iron homeostasis

Increased burden of ultra-rare structural variants localizing to boundaries of topologically associated domains in schizophrenia

StrVCTVRE: A supervised learning method to predict the pathogenicity of human genome structural variants

Resolution of structural variation in diverse mouse genomes reveals chromatin remodeling due to transposable elements

Analysis pipelines for cancer genome sequencing in mice

Whole genome sequencing delineates regulatory, copy number, and cryptic splice variants in early onset cardiomyopathy

Genetic variants associated with platelet count are predictive of human disease and physiological markers

A truncating mutation in EPOR leads to hypo-responsiveness to erythropoietin with normal haemoglobin


A shared API for QUBO/Ising samplers.

Open source software in quantum computing

Quantum Annealing vs. QAOA: 127 Qubit Higher-Order Ising Problems on NISQ Computers

Hybrid quantum-classical optimization for financial index tracking

Improving Quantum Annealing Performance on Embedded Problems

Supercomputing Frontiers and Innovations

Calculating Nash equilibrium on quantum annealers

Tutorial: AI-assisted exploration and active design of polymers with high intrinsic thermal conductivity

3SAT on an all-to-all-connected CMOS Ising solver chip

Omnisolver: an extensible interface to Ising spin glass solvers


CogDL: A Comprehensive Library for Graph Deep Learning (WWW 2023)

Graph Neural Networks: A Review of Methods and Applications

A Survey on Heterogeneous Graph Embedding: Methods, Techniques, Applications and Sources

Graph Learning: A Survey

IEEE Transactions on Artificial Intelligence

KG4SL: knowledge graph neural network for synthetic lethality prediction in human cancers

Graph Neural Networks: Methods, Applications, and Opportunities

Automated Graph Machine Learning: Approaches, Libraries and Directions

Blindfolded Attackers Still Threatening: Strict Black-Box Adversarial Attacks on Graphs

Graph Mining for Cybersecurity: A Survey

A Novel Temporal Network-Embedding Algorithm for Link Prediction in Dynamic Networks


OpenHands: Code Less, Make More

A Survey on Large Language Models for Code Generation

MAGIS: LLM-Based Multi-Agent Framework for GitHub Issue Resolution

Internet of Agents: Weaving a Web of Heterogeneous Agents for
  Collaborative Intelligence

Agentless: Demystifying LLM-based Software Engineering Agents

AI Agents That Matter

How to Understand Whole Software Repository?

CodeRAG-Bench: Can Retrieval Augment Code Generation?

ML-Bench: Evaluating Large Language Models and Agents for Machine Learning Tasks on Repository-Level Code

Rethinking Software Engineering in the Foundation Model Era: From
  Task-Driven AI Copilots to Goal-Driven AI Pair Programmers

CodexGraph: Bridging Large Language Models and Code Repositories via
  Code Graph Databases


Lean Theorem Prover

HyperTree Proof Search for Neural Theorem Proving

On the homotopy groups of spheres in homotopy type theory

Definitional proof-irrelevance without K

Symposium on Principles of Programming Languages

An introduction to univalent foundations for mathematicians

Bulletin of the American Mathematical Society

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Congruence Closure in Intensional Type Theory

The Cayley-Dickson Construction in Homotopy Type Theory

The Essence of Generalized Algebraic Data Types

Proceedings of the ACM on programming languages

2-adjoint equivalences in homotopy type theory

Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems


Facebook AI Research's Automatic Speech Recognition Toolkit

XLS-R: Self-supervised Cross-lingual Speech Representation Learning at Scale

MLS: A Large-Scale Multilingual Dataset for Speech Research

Unsupervised Speech Recognition

End-to-end ASR: from Supervised to Semi-Supervised Learning with Modern Architectures

wav2letter++: The Fastest Open-source Speech Recognition System

International Conference on Acoustics, Speech, and Signal Processing

Iterative Pseudo-Labeling for Speech Recognition

Self-attention Networks for Connectionist Temporal Classification in Speech Recognition

Fully Convolutional Speech Recognition

Rethinking Evaluation in ASR: Are Our Models Robust Enough?

Performance-Efficiency Trade-Offs in Unsupervised Pre-Training for Speech Recognition


InaSAFE - QGIS plugin for estimating impact from natural disasters


Core engine for the Brave browser for mobile and desktop. For issues https://github.com/brave/brave-browser/issues

Filter List Generation for Underserved Regions

WEB CONFERENCE 2020: PROCEEDINGS OF THE WORLD WIDE WEB CONFERENCE (WWW 2020)

Pool-Party: Exploiting Browser Resource Pools as Side-Channels for Web Tracking

Tango or Square Dance? How Tightly Should we Integrate Network Functionality in Browsers?

PURL: Safe and Effective Sanitization of Link Decoration


An open-source platform for Visual AI.

AI2-THOR: An Interactive 3D Environment for Visual AI

RoboTHOR: An Open Simulation-to-Real Embodied AI Platform

Multimodality in Meta-Learning: A Comprehensive Survey

Shaping embodied agent behavior with activity-context priors from egocentric video

What do navigation agents learn about their environment?


A fork of AFL for fuzzing Windows binaries

EVMFuzz: Differential fuzz testing of Ethereum virtual machine


Equinox: neural networks in JAX via callable PyTrees and filtered transformations

FedJAX: Federated learning simulation with JAX

When should agents explore?

Return-based Scaling: Yet Another Normalisation Trick for Deep RL


SHiP experiment framework based on FairRoot

9.6 Million Links in Source Code Comments: Purpose, Evolution, and Decay

Sensitivity of the SHiP experiment to light dark matter

Segmentation of EM showers for neutrino experiments with deep graph neural networks

Production of GeV-scale heavy neutral leptons in three-body decays. Comparison with the PYTHIA approach

Journal of Physics G: Nuclear and Particle Physics

Electromagnetic shower generation with Graph Neural Networks


Python Performance Benchmark Suite

Architecture-Specific Performance Optimization of Compute-Intensive FaaS Functions

Optimizing and Evaluating Transient Gradual Typing

SlipCover: Near Zero-Overhead Code Coverage for Python

Perun: Performance Version System


Inference code for Llama models

LLaMA: Open and Efficient Foundation Language Models

Llama 2: Open Foundation and Fine-Tuned Chat Models

GQA: Training Generalized Multi-Query Transformer Models from Multi-Head Checkpoints

Zero-Shot Information Extraction via Chatting with ChatGPT

MoE-LLaVA: Mixture of Experts for Large Vision-Language Models

AutoDAN: Interpretable Gradient-Based Adversarial Attacks on Large Language Models

L-Eval: Instituting Standardized Evaluation for Long Context Language Models

On the Exploitability of Instruction Tuning

The Foundation Model Transparency Index

KoLA: Carefully Benchmarking World Knowledge of Large Language Models


A FPGA friendly 32 bit RISC-V CPU implementation

RISQ-V: Tightly Coupled RISC-V Accelerators for Post-Quantum Cryptography

IACR Transactions on Cryptographic Hardware and Embedded Systems

ISA Extensions for Finite Field Arithmetic

Parameterized Hardware Accelerators for Lattice-Based Cryptography and Their Application to the HW/SW Co-Design of qTESLA

RVCoreP : An optimized RISC-V soft processor of five-stage pipelining

IEICE Transactions on Information and Systems

Yet another Improvement of Plantard Arithmetic for Faster Kyber on Low-end 32-bit IoT Devices

Low-power high-performance 32-bit RISC-V microcontroller on 65-nm silicon-on-thin-BOX (SOTB)

A trigonometric hardware acceleration in 32-bit RISC-V microcontroller with custom instruction

Building Your Own Trusted Execution Environments Using FPGA

A portable and Linux capable RISC-V computer system in Verilog HDL

RVCoreP-32IM: An effective architecture to implement mul/div instructions for five stage RISC-V soft processors


This repostory contains software for the virtual track of the DARPA SubT Challenge. Within this repository you will find Gazebo simulation assets, ROS interfaces, support scripts and plugins, and documentation needed to compete in the SubT Virtual Challenge.

CERBERUS: Autonomous Legged and Aerial Robotic Exploration in the Tunnel and Urban Circuits of the DARPA Subterranean Challenge

Team CERBERUS Wins the DARPA Subterranean Challenge: Technical Overview and Lessons Learned

Graph-based Topological Exploration Planning in Large-scale 3D Environments

MARSIM: A Light-Weight Point-Realistic Simulator for LiDAR-Based UAVs

InTEn-LOAM: Intensity and Temporal Enhanced LiDAR Odometry and Mapping


Deep Learning framework for Julia

Distributed Bayesian Learning with Stochastic Natural-gradient Expectation Propagation and the Posterior Server

nuts-flow/ml: data pre-processing for deep learning

Relaxed Earth Mover's Distances for Chain- and Tree-connected Spaces and their use as a Loss Function in Deep Learning

Machine learning approach to literature mining for the genetics of complex diseases

Database : the journal of biological databases and curation


pyOptSparse is an object-oriented framework for formulating and solving nonlinear constrained optimization problems in an efficient, reusable, and portable manner.

Reinforcement-learning-based control of confined cylinder wakes with stability analyses

Multipoint high-fidelity CFD-based aerodynamic shape optimization of a 10 MW wind turbine

Aerostructural Wing Optimization of a Regional Jet Considering Mission Fuel Burn


Canonical source repository for PyYAML

PyCG: Practical Call Graph Generation in Python

APERO: A PipelinE to Reduce Observations -- Demonstration with SPIRou

YSE-PZ: A Transient Survey Management Platform that Empowers the Human-in-the-loop

A Unified Framework for U-Net Design and Analysis

deeplenstronomy: A dataset simulation package for strong gravitational lensing

Yamdb: easily accessible thermophysical properties of liquid metals and
  molten salts


Schrödinger and Schrödinger-Feynman simulators for quantum circuits.

Simulations of Quantum Circuits with Approximate Noise using qsim and Cirq

Faster Schrödinger-style simulation of quantum circuits

Logical Abstractions for Noisy Variational Quantum Algorithm Simulation

Learnability and Complexity of Quantum Samples


R Interface to Torch

Interpreting Deep Neural Networks with the Package innsight

Parameter estimation in nonlinear multivariate stochastic differential equations based on splitting schemes

A Toolkit for Analyzing and Visualizing Online Users via Reshare Cascade Modeling

Flexible and efficient spatial extremes emulation via variational autoencoders

qrpca: A package for fast principal component analysis with GPU acceleration


Paddle Graph Learning (PGL) is an efficient and flexible graph learning framework based on PaddlePaddle

Graph Neural Networks: A Review of Methods and Applications

Benchmarking Graph Neural Networks

Masked Label Prediction: Unified Message Passing Model for Semi-Supervised Classification

Graph Neural Networks: Methods, Applications, and Opportunities

SMORE: Knowledge Graph Completion and Multi-hop Reasoning in Massive Knowledge Graphs

HelixADMET: a robust and endpoint extensible ADMET system incorporating self-supervised knowledge transfer

Distributed Graph Neural Network Training: A Survey

Incorporating Explicit Knowledge in Pre-trained Language Models for Passage Re-ranking

Computing Graph Neural Networks: A Survey from Algorithms to Accelerators

CogDL: A Comprehensive Library for Graph Deep Learning


Massively Parallel Deep Reinforcement Learning.

FinRL-Meta: Market Environments and Benchmarks for Data-Driven Financial Reinforcement Learning

ElegantRL-Podracer: Scalable and Elastic Library for Cloud-Native Deep Reinforcement Learning

Dynamic Datasets and Market Environments for Financial Reinforcement Learning

FinRL-Meta: A Universe of Near-Real Market Environments for Data-Driven Deep Reinforcement Learning in Quantitative Finance

Robust nonlinear set-point control with reinforcement learning

Multi-Level ML Based Burst-Aware Autoscaling for SLO Assurance and Cost
  Efficiency


Heritrix is the Internet Archive's open-source, extensible, web-scale, archival-quality web crawler project.

Text mining for social science - The state and the future of computational text analysis in sociology.

JuriBERT: A Masked-Language Model Adaptation for French Legal Text

A Systematic Approach Towards Web Preservation

Natural Language Processing Pipeline to Annotate Bulgarian Legislative Documents

PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION (LREC 2020)

The Online Sale of Antibiotics for Veterinary Use

Animals : an open access journal from MDPI

ClueWeb22: 10 Billion Web Documents with Visual and Semantic Information

Evaluation Of Word Embeddings From Large-Scale French Web Content

Impact of HTTP Cookie Violations in Web Archives


:microscope: Java Code Coverage Library

Test case selection and prioritization using machine learning: a systematic literature review

Morest: Model-based RESTful API Testing with Execution Feedback

Towards Autonomous Testing Agents via Conversational Large Language Models

A pattern-based approach to detect and improve non-descriptive test names

From Monolith to Microservices: Static and Dynamic Analysis Comparison

Does Unit-Tested Code Crash? A Case Study of Eclipse


RO is an ontology of relations for use with biological ontologies

The Gene Ontology resource: enriching a GOld mine

The Monarch Initiative: an integrative data and analytic platform connecting phenotypes to genotypes across species

Textpresso Central: a customizable platform for searching, text mining, viewing, and curating biomedical literature

Automated generation of gene summaries at the Alliance of Genome Resources

The Orthology Ontology: development and applications

The Soil Food Web Ontology: Aligning trophic groups, processes, resources, and dietary traits to support food-web research

When one Logic is Not Enough: Integrating First-order Annotations in OWL Ontologies

Observational/hydrographic data of the South Atlantic Ocean published as LOD

Muscle Logic: New Knowledge Resource for Anatomy Enables Comprehensive Searches of the Literature on the Feeding Muscles of Mammals


A comprehensive macromolecular library

RCSB Protein Data Bank: improved annotation, search and visualization of membrane protein structures archived in the PDB

BinaryCIF and CIFTools—Lightweight, efficient and extensible macromolecular data management

RCSB protein Data Bank: exploring protein 3D similarities via comprehensive structural alignments

CBP60-DB: An AlphaFold-predicted plant kingdom-wide database of the CALMODULIN-BINDING PROTEIN 60 (CBP60) protein family with a novel structural clustering algorithm


A multilingual dialog corpus

A Large-Scale Chinese Short-Text Conversation Dataset

Jais and Jais-chat: Arabic-Centric Foundation and Instruction-Tuned Open Generative Large Language Models

TTS-Portuguese Corpus: a corpus for speech synthesis in Brazilian Portuguese

Using GANs to Synthesise Minimum Training Data for Deepfake Generation

A Talker Ensemble: the University of Wrocław's Entry to the NIPS 2017 Conversational Intelligence Challenge

The Springer series on challenges in machine learning

A Counselling Corpus in Cantonese

Workshop on Spoken Language Technologies for Under-resourced Languages


Hierarchical Engine for Large-scale Infrastructure Co-Simulation (HELICS)

Improving primary frequency response in networked microgrid operations using multilayer perceptron-driven reinforcement learning


A general-purpose probabilistic programming system with programmable inference

Automating Involutive MCMC using Probabilistic and Differentiable Programming.

Using probabilistic programs as proposals

Deep Involutive Generative Models for Neural MCMC

DynamicPPL: Stan-like Speed for Dynamic Probabilistic Models

Effect Handlers for Programmable Inference


Lightning ⚡ fast forecasting with statistical and econometric models.

Large Language Models Are Zero-Shot Time Series Forecasters

Chronos: Learning the Language of Time Series

MOMENT: A Family of Open Time-series Foundation Models

Pushing the Limits of Pre-training for Time Series Forecasting in the CloudOps Domain

Sequential Monte Carlo Learning for Time Series Structure Discovery

HierarchicalForecast: A Reference Framework for Hierarchical Forecasting in Python

How far are today's time-series models from real-world weather forecasting applications?


VCF visualization interface

Integration of whole genome sequencing into a healthcare setting: high diagnostic rates across multiple clinical entities in 3219 rare disease patients

Feasibility to use whole-genome sequencing as a sole diagnostic method to detect genomic aberrations in pediatric B-cell acute lymphoblastic leukemia

Sensitive Detection of Cell-Free Tumour DNA Using Optimised Targeted Sequencing Can Predict Prognosis in Gastro-Oesophageal Cancer

PatientMatcher: a customizable Python-based open-source tool for matching undiagnosed rare disease patients via the MatchMaker Exchange network

Case Report: Whole genome sequencing identifies CCDC88C as a novel JAK2 fusion partner in pediatric T-cell acute lymphoblastic leukemia

Genome sequencing with comprehensive variant calling identifies structural variants and repeat expansions in a large fraction of individuals with ataxia and/or neuromuscular disorders

Massive parallel sequencing in individuals with multiple primary tumours reveals the benefit of re-analysis

Diagnostic yield and clinical impact of germline sequencing in children with CNS and extracranial solid tumors—a nationwide, prospective Swedish study


OpenMMLab Rotated Object Detection Toolbox and Benchmark

DOTA: A Large-scale Dataset for Object Detection in Aerial Images

R3Det: Refined Single-Stage Detector with Feature Refinement for Rotating Object

Oriented R-CNN for Object Detection

Gliding Vertex on the Horizontal Bounding Box for Multi-Oriented Object Detection

IEEE transactions on pattern analysis and machine intelligence

Align Deep Features for Oriented Object Detection

ReDet: A Rotation-equivariant Detector for Aerial Object Detection

Rethinking Rotated Object Detection with Gaussian Wasserstein Distance Loss

Learning High-Precision Bounding Box for Rotated Object Detection via Kullback-Leibler Divergence

Towards Large-Scale Small Object Detection: Survey and Benchmarks

RTMDet: An Empirical Study of Designing Real-Time Object Detectors


Code Generation Framework For NEURON MODeling Language

An optimizing multi-platform source-to-source compiler framework for the NEURON MODeling Language

Efficient Simulation of 3D Reaction-Diffusion in Models of Neurons and Networks


A suite of tools for managing crowdsourcing tasks from the inception through to data packaging for research use.

Improving Question Answering Model Robustness with Synthetic Adversarial Data Generation

Models in the Loop: Aiding Crowdworkers with Generative Annotation Assistants

Analyzing Dynamic Adversarial Training Data in the Limit

Reasoning over Public and Private Data in Retrieval-Based Systems

LEGOEval: An Open-Source Toolkit for Dialogue System Evaluation via Crowdsourcing

Training Models to Generate, Recognize, and Reframe Unhelpful Thoughts

Mephisto: A Framework for Portable, Reproducible, and Iterative Crowdsourcing


LMDeploy is a toolkit for compressing, deploying, and serving LLMs.

AWQ: Activation-aware Weight Quantization for LLM Compression and Acceleration

InternLM2 Technical Report

Towards Efficient Generative Large Language Model Serving: A Survey from Algorithms to Systems

A Survey of Resource-efficient LLM and Multimodal Foundation Models

A Survey on Efficient Inference for Large Language Models

QServe: W4A8KV4 Quantization and System Co-design for Efficient LLM Serving

LLM as a System Service on Mobile Devices

DevBench: A Comprehensive Benchmark for Software Development

NeedleBench: Can LLMs Do Retrieval and Reasoning in 1 Million Context Window?

SWIFT:A Scalable lightWeight Infrastructure for Fine-Tuning


Adding guardrails to large language models.

Who Validates the Validators? Aligning LLM-Assisted Evaluation of LLM
  Outputs with Human Preferences

Prompting Frameworks for Large Language Models: A Survey

Privacy Preserving Prompt Engineering: A Survey

SPADE: Synthesizing Assertions for Large Language Model Pipelines


BlazingSQL is a lightweight, GPU accelerated, SQL engine for Python. Built on RAPIDS cuDF.

Revisiting Query Performance in GPU Database Systems

Accelerating Machine Learning Queries with Linear Algebra Query Processing

rNdN: Fast Query Compilation for NVIDIA GPUs

ACM Transactions on Architecture and Code Optimization (TACO)


An implementation of a deep learning recommendation model (DLRM)

Deep Learning Recommendation Model for Personalization and Recommendation Systems

DCN V2: Improved Deep & Cross Network and Practical Lessons for Web-scale Learning to Rank Systems

The Architectural Implications of Facebook's DNN-based Personalized Recommendation

ADAHESSIAN: An Adaptive Second Order Optimizer for Machine Learning

Compositional Embeddings Using Complementary Partitions for Memory-Efficient Recommendation Systems

Mixed Dimension Embeddings with Application to Memory-Efficient Recommendation Systems

Deep Learning Training in Facebook Data Centers: Design of Scale-up and Scale-out Systems

Learning-Rate-Free Learning by D-Adaptation

TopoOpt: Co-optimizing Network Topology and Parallelization Strategy for Distributed Training Jobs

RecShard: Statistical Feature-Based Memory Optimization for Industry-Scale Neural Recommendation


The world's simplest facial recognition api for Python and the command line

GANimation: Anatomically-aware Facial Animation from a Single Image

Deepfake Video Detection Using Convolutional Vision Transformer

GPT4Tools: Teaching Large Language Model to Use Tools via Self-instruction

SofGAN: A Portrait Image Generator with Dynamic Styling

SpeakingFaces: A Large-Scale Multimodal Dataset of Voice Commands with Visual and Thermal Video Streams

Biometric Quality: Review and Application to Face Recognition with FaceQnet

Local directional relation pattern for unconstrained and robust face retrieval

StyleVideoGAN: A Temporal Generative Model using a Pretrained StyleGAN

Edge and Identity Preserving Network for Face Super-Resolution

Equivariant Similarity for Vision-Language Foundation Models


WebGL-based viewer for volumetric data

Functional connectomics spanning multiple areas of mouse visual cortex

Cellular anatomy of the mouse primary motor cortex

The natverse, a versatile toolbox for combining and analysing neuroanatomical data

neuPrint: Analysis Tools for EM Connectomics

Large Volume Electron Microscopy and Neural Microcircuit Analysis

neuPrint: An open access tool for EM connectomics

Computational Approaches and Challenges in Spatial Transcriptomics

基因组蛋白质组与生物信息学报

Volume EM: a quiet revolution takes shape

Neuronal circuits integrating visual motion information in Drosophila melanogaster

Petascale neural circuit reconstruction: automated methods


Google Brain AutoML

EfficientDet: Scalable and Efficient Object Detection

EfficientNetV2: Smaller Models and Faster Training

Weighted boxes fusion: Ensembling boxes from different object detection models

Symbolic Discovery of Optimization Algorithms

PolyLoss: A Polynomial Expansion Perspective of Classification Loss Functions

Robust and Accurate Object Detection via Adversarial Learning

Litter Detection with Deep Learning: A Comparative Study

Neural Architecture Search Survey: A Computer Vision Perspective

Towards More Efficient EfficientDets and Real-Time Marine Debris Detection

Stochastic Subgradient Methods with Guaranteed Global Stability in Nonsmooth Nonconvex Optimization


the official Rust and C implementations of the BLAKE3 cryptographic hash function

uBFT: Microsecond-Scale BFT using Disaggregated Memory

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2

Key Event Receipt Infrastructure (KERI)

Practical Encrypted Computing for IoT Clients

Areion: Highly-Efficient Permutations and Its Applications to Hash Functions for Short Input

Safer at any speed: automatic context-aware safety enhancement for Rust

Proceedings of the ACM on Programming Languages

Smart Red Belly Blockchain: Enhanced Transaction Management for Decentralized Applications


Fast and powerful SSL/TLS scanning library.

Herding Vulnerable Cats: A Statistical Approach to Disentangle Joint Responsibility for Web Security in Shared Hosting

No Need for Black Chambers: Testing TLS in the E-mail Ecosystem at Large

Accurate TLS Fingerprinting using Destination Context and Knowledge Bases

Unleashing IoT Security: Assessing the Effectiveness of Best Practices in Protecting Against Threats


R Interface to Keras

DeepTriangle: A Deep Learning Approach to Loss Reserving

Estimation of paddy rice leaf area index using machine learning methods based on hyperspectral data from multi-year experiments

Semantic Segmentation Deep Learning for Extracting Surface Mine Extents from Historic Topographic Maps

RoFL: Robustness of Secure Federated Learning

Native molecule sequencing by nano-ID reveals synthesis and stability of RNA isoforms

Machine-learning-based prediction models for high-need high-cost patients using nationwide clinical and claims data

Regional Mapping and Spatial Distribution Analysis of Canopy Palms in an Amazon Forest Using Deep Learning and VHR Images

Unveiling the nuclear matter EoS from neutron star properties: a supervised machine learning approach

Journal of Cosmology and Astroparticle Physics

Sparse Convolutional Neural Networks for Genome-Wide Prediction

Convolutional Support Vector Models: Prediction of Coronavirus Disease Using Chest X-rays


Build process for the OHDSI Standardized Vocabularies. Currently not available as independent release.

Using the Data Quality Dashboard to Improve the EHDEN Network

Scalable Infrastructure Supporting Reproducible Nationwide Healthcare Data Analysis toward FAIR Stewardship

Learning important common data elements from shared study data: The All of Us program analysis


The Sherbrooke Connectivity Imaging Lab (SCIL) Python dMRI processing toolbox

Detecting microstructural deviations in individuals with deep diffusion MRI tractometry

Brain microstructural changes and fatigue after COVID-19

TractoInferno - A large-scale, open-source, multi-site database for machine learning dMRI tractography

The frontotemporal organization of the arcuate fasciculus and its relationship with speech perception in young and older amateur singers and non‐singers

Short superficial white matter and aging: A longitudinal multi-site study of 1293 subjects and 2711 sessions

Multi-tract multi-symptom relationships in pediatric concussion

Reproducible protocol to obtain and measure first-order relay human thalamic white-matter tracts

Modern Technology in Multi-Shell Diffusion MRI Reveals Diffuse White Matter Changes in Young Adults With Relapsing-Remitting Multiple Sclerosis

Structural Connectivity Alterations in Operculo-Insular Epilepsy

White matter tract microstructure, macrostructure, and associated cortical gray matter morphology across the lifespan

bioRxiv : the preprint server for biology


Ignis (deprecated) provides tools for quantum hardware verification, noise characterization, and error correction.

Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers

TWENTY-FIFTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXV)

Challenges and Opportunities of Near-Term Quantum Computing Systems

Bell Diagonal and Werner State Generation: Entanglement, Non-Locality, Steering and Discord on the IBM Quantum Computer

Let Each Quantum Bit Choose Its Basis Gates

Support Vector Machines on Noisy Intermediate Scale Quantum Computers

Fast quantum state reconstruction via accelerated non-convex programming

Dealing with quantum computer readout noise through high energy physics unfolding methods


The Public Utility Data Liberation Project provides analysis-ready energy system data to climate advocates, researchers, policymakers, and journalists.

Shaping photovoltaic array output to align with changing wholesale electricity price profiles

Zenodo (CERN European Organization for Nuclear Research)


Kepler (Kubernetes-based Efficient Power Level Exporter) uses eBPF to probe performance counters and other system stats, use ML models to estimate workload energy consumption based on these stats, and exports them as Prometheus metrics

Potentials of Green Coding -- Findings and Recommendations for Industry,
  Education and Science -- Extended Paper


SonicBOOM: The Berkeley Out-of-Order Machine


A deep learning library for video understanding research.

SlowFast Networks for Video Recognition

Multiscale Vision Transformers

X3D: Expanding Architectures for Efficient Video Recognition

MViTv2: Improved Multiscale Vision Transformers for Classification and Detection

Masked Feature Prediction for Self-Supervised Visual Pre-Training

PyTorchVideo: A Deep Learning Library for Video Understanding

TimeBalance: Temporally-Invariant and Temporally-Distinctive Video Representations for Semi-Supervised Action Recognition

AutoVideo: An Automated Video Action Recognition System

Deep Learning-Based Human Action Recognition with Key-Frames Sampling Using Ranking Methods

Soft-Landing Strategy for Alleviating the Task Discrepancy Problem in Temporal Action Localization Tasks


Miami InSAR time-series software in Python

Small baseline InSAR time series analysis: Unwrapping error correction and noise reduction

LiCSBAS: An Open-Source InSAR Time Series Analysis Package Integrated with the LiCSAR Automated Sentinel-1 InSAR Processor

Earthquake Swarms Triggered by Groundwater Extraction Near the Dead Sea Fault

Evolution Assessment of Mining Subsidence Characteristics Using SBAS and PS Interferometry in Sanshandao Gold Mine, China

Offline-Online Change Detection for Sentinel-1 InSAR Time Series

Multi-temporal InSAR and Sentinel-1 for assessing land surface movement of Joshimath town, India

Quantification of Water Released by Thawing Permafrost in the Source Region of the Yangtze River on the Tibetan Plateau by InSAR Monitoring

MONITORING OF LAND SURFACE DISPLACEMENT BASED ON SBAS-INSAR TIME-SERIES AND GIS TECHNIQUES: A CASE STUDY OVER THE SHIRAZ METROPOLIS, IRAN

ISPRS annals of the photogrammetry, remote sensing and spatial information sciences

Localized uplift, widespread subsidence, and implications for sea level rise in the New York City metropolitan area

The seismic hazard from the Lembang Fault, Indonesia, derived from InSAR and GNSS data

Natural hazards and earth system sciences


A fork of Jeelab's fantastic RTC Arduino library

Fabricating a Portable ECG Device Using AD823X Analog Front-End Microchips and Open-Source Development Validation

Portable ECG System Design Using the AD8232 Microchip and Open-Source Platform

The 6th International Electronic Conference on Sensors and Applications

Monitoring Bivalve Behavior and Physiology in the Laboratory and Field Using Open-Source Tools


Emulator for rapid prototyping of Software Defined Networks

Learning Fair Policies in Multiobjective (Deep) Reinforcement Learning with Average and Discounted Rewards

ANCHOR: logically-centralized security for Software-Defined Networks

Learning Fair Policies in Decentralized Cooperative Multi-Agent Reinforcement Learning

Last Line of Defense: Reliability Through Inducing Cyber Threat Hunting With Deception in SCADA Networks

CECT: computationally efficient congestion-avoidance and traffic engineering in software-defined cloud data centers

Strengthening SDN Security: Protocol Dialecting and Downgrade Attacks

EFFICIENT MECHANISM FOR SECURING SOFTWARE DEFINED NETWORK AGAINST ARP SPOOFING ATTACK

Model-Based Insights on the Performance, Fairness, and Stability of BBR

Network Traffic Control for Multi-homed End-hosts via SDN

Network Slicing for mMTC and URLLC Using Software-Defined Networking with P4 Switches


The Kalibr visual-inertial calibration toolbox

The Multivehicle Stereo Event Camera Dataset: An Event Camera Dataset for 3D Perception

International Conference on Robotics and Automation

The TUM VI Benchmark for Evaluating Visual-Inertial Odometry

Are We Ready for Service Robots? The OpenLORIS-Scene Datasets for Lifelong SLAM

Active Interaction Force Control for Contact-Based Inspection With a Fully Actuated Aerial Vehicle

NTU VIRAL: A visual-inertial-ranging-lidar dataset, from an aerial vehicle viewpoint

The International Journal of Robotics Research

CERBERUS: Autonomous Legged and Aerial Robotic Exploration in the Tunnel and Urban Circuits of the DARPA Subterranean Challenge

The Double Sphere Camera Model

Keyframe-based Direct Thermal-Inertial Odometry

4Seasons: A Cross-Season Dataset for Multi-Weather SLAM in Autonomous Driving

C-blox: A Scalable and Consistent TSDF-based Dense Mapping Approach


Highly-accurate & wicked fast transcript-level quantification from RNA-seq reads using selective alignment

Salmon provides fast and bias-aware quantification of transcript expression

Alignment and mapping methodology influence transcript abundance estimation

A simple guide to de novo transcriptome assembly and annotation

Accelerating functional gene discovery in osteoarthritis

Developmentally regulated activation of defense allows for rapid inhibition of infection in age-related resistance to Phytophthora capsici in cucumber fruit

A Bayesian framework for inter-cellular information sharing improves dscRNA-seq quantification

Towards selective-alignment: Bridging the accuracy gap between alignment-based and alignment-free transcript quantification

Principles of RNA recruitment to viral ribonucleoprotein condensates in a segmented dsRNA virus

A highly expressed intestinal cysteine protease of Ancylostoma ceylanicum protects vaccinated hamsters from hookworm infection

Antennal transcriptome analysis of olfactory genes and tissue expression profiling of odorant binding proteins in Semanotus bifasciatus (cerambycidae: coleoptera)


Collection of common code that's shared among different research projects in FAIR computer vision team.

TinyViT: Fast Pretraining Distillation for Small Vision Transformers

Generating Videos with Dynamics-aware Implicit Generative Adversarial Networks

Long-Short Transformer: Efficient Transformers for Language and Vision

SegViT: Semantic Segmentation with Plain Vision Transformers

Enriched CNN-Transformer Feature Aggregation Networks for Super-Resolution

pFL-Bench: A Comprehensive Benchmark for Personalized Federated Learning

Whisper-AT: Noise-Robust Automatic Speech Recognizers are Also Strong General Audio Event Taggers

DEVIANT: Depth EquiVarIAnt NeTwork for Monocular 3D Object Detection

Webly Supervised Concept Expansion for General Purpose Vision Models

A Light Recipe to Train Robust Vision Transformers


objection - runtime mobile exploration

You Shall not Repackage! Demystifying Anti-Repackaging on Android

A Framework to Secure the Development and Auditing of SSL Pinning in Mobile Applications: The Case of Android Devices

Unleashing IoT Security: Assessing the Effectiveness of Best Practices in Protecting Against Threats


This is the official development repository for BCFtools. See installation instructions and other documentation here http://samtools.github.io/bcftools/howtos/install.html

A global reference for human genetic variation

Twelve years of SAMtools and BCFtools

BCFtools/RoH: a hidden Markov model approach for detecting autozygosity from next-generation sequencing data

Sarek: A portable workflow for whole-genome sequencing analysis of germline and somatic variants

Korean Variant Archive (KOVA): a reference database of genetic variations in the Korean population

Genomic investigations of unexplained acute hepatitis in children

Assessment of Genetic Diversity and Population Structure in Iranian Cannabis Germplasm

Conformation of sister chromatids in the replicated human genome

The Welwitschia genome reveals a unique biology underpinning extreme longevity in deserts

The evolution of a counter-defense mechanism in a virus constrains its host range


Library support for Kotlin coroutines

On Evaluating the Renaissance Benchmarking Suite: Variety, Performance, and Complexity

TritanDB: Time-series Rapid Internet of Things Analytics

Fuzzing channel-based concurrency runtimes using types and effects

CQS: A Formally-Verified Framework for Fair and Abortable Synchronization


This is solc-verify, a modular verifier for Solidity.

solc-verify: A Modular Verifier for Solidity Smart Contracts

Verified Software: Theories, Tools, Experiments

SMT-Friendly Formalization of the Solidity Memory Model

PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020)

Using Fault Injection to Assess Blockchain Systems in Presence of Faulty Smart Contracts

Formal Specification and Verification of Solidity Contracts with Events

A Comparative Evaluation of Automated Analysis Tools for Solidity Smart Contracts


Apache Lucene and Solr open-source search software

A Manually-Curated Dataset of Fixes to Vulnerabilities of Open-Source Software

Indic-Transformers: An Analysis of Transformer Language Models for Indian Languages

Large expert-curated database for benchmarking document similarity detection in biomedical literature search

Database : the journal of biological databases and curation

Native Language Identification using Stacked Generalization

Native Language Identification With Classifier Stacking and Ensembles

International Conference on Computational Logic

Understanding Heart-Failure Patients EHR Clinical Features via SHAP Interpretation of Tree-Based Machine Learning Model Predictions

Norwegian Native Language Identification

Recent Advances in Natural Language Processing

SMDT: Selective Memory-Augmented Neural Document Translation


Automated testing to find logic and performance bugs in database systems

Finding bugs in database systems via query partitioning

Industry Practice of Coverage-Guided Enterprise-Level DBMS Fuzzing

Testing Database Engines via Query Plan Guidance

CERT: Finding Performance Issues in Database Systems Through the Lens of Cardinality Estimation


Python client for the ENTSO-E API (european network of transmission system operators for electricity)

The effect of price-based demand response on carbon emissions in European electricity markets: The importance of adequate carbon prices

A Collection and Categorization of Open-Source Wind and Wind Power Datasets


Image Polygonal Annotation with Python (polygon, rectangle, circle, line, point and image-level flag annotation).

Towards Large-Scale Small Object Detection: Survey and Benchmarks

Tomato Fruit Detection and Counting in Greenhouses Using Deep Learning

Person-in-WiFi: Fine-grained Person Perception using WiFi

AlphaPilot: autonomous drone racing

Digital synthesis of histological stains using micro-structured and multiplexed virtual staining of label-free tissue

Human-to-Robot Imitation in the Wild

Practices and Applications of Convolutional Neural Network-Based Computer Vision Systems in Animal Farming: A Review

SegmentMeIfYouCan: A Benchmark for Anomaly Segmentation

Automatic Evaluation of Wheat Resistance to Fusarium Head Blight Using Dual Mask-RCNN Deep Learning Frameworks in Computer Vision

HQ-ISNet: High-Quality Instance Segmentation for Remote Sensing Imagery


High performance model preprocessing library on PyTorch

Understanding data storage and ingestion for large-scale deep recommendation model training

Proceedings of the 49th Annual International Symposium on Computer Architecture

Bullion: A Column Store for Machine Learning


Solhint is an open-source project to provide a linting utility for Solidity code.

Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts

The Security Reference Architecture for Blockchains: Toward a Standardized Model for Studying Vulnerabilities, Threats, and Defenses

IEEE Communications Surveys and Tutorials

xFuzz: Machine Learning Guided Cross-Contract Fuzzing

A Security Reference Architecture for Blockchains

SolidityCheck : Quickly Detecting Smart Contract Problems Through Regular Expressions

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?

Assessing Smart Contracts Security Technical Debts

AutoMESC: Automatic Framework for Mining and Classifying Ethereum Smart Contract Vulnerabilities and Their Fixes

Soley: Identification and Automated Detection of Logic Vulnerabilities
  in Ethereum Smart Contracts Using Large Language Models

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?


Phantom Smoothed Particle Hydrodynamics and Magnetohydrodynamics code

On the cavity size in circumbinary discs

A likely flyby of binary protostar Z CMa caught in action

Circumbinary disc self-gravity governing supermassive black hole binary mergers

Monthly notices of the Royal Astronomical Society

On the rise times in FU Orionis events

Monthly Notices of the Royal Astronomical Society: Letters

GW Ori: circumtriple rings and planets

Chemical signatures of a warped protoplanetary disc

Kinematic and thermal signatures of the directly imaged protoplanet candidate around Elias 2-24

Sustained FU Orionis-type outbursts from colliding discs in stellar flybys

A massive Keplerian protostellar disk with flyby-induced spirals in the Central Molecular Zone

Characteristics of small protoplanetary disc warps in kinematic observations


OpenMMLab Self-Supervised Learning Toolbox and Benchmark

A Simple Framework for Contrastive Learning of Visual Representations

Momentum Contrast for Unsupervised Visual Representation Learning

Masked Autoencoders Are Scalable Vision Learners

Bootstrap your own latent: A new approach to self-supervised Learning

Exploring Simple Siamese Representation Learning

Unsupervised Feature Learning via Non-Parametric Instance-level Discrimination

Improved Baselines with Momentum Contrastive Learning

Unsupervised Representation Learning by Predicting Image Rotations

Unsupervised Visual Representation Learning by Context Prediction

Barlow Twins: Self-Supervised Learning via Redundancy Reduction


The Proteomics sample metadata: Standard for experimental design annotation in proteomics datasets

Deep learning boosts sensitivity of mass spectrometry-based immunopeptidomics

A proteomics sample metadata representation for multiomics integration and big data analysis

Toward a Sample Metadata Standard in Public Proteomics Repositories


Fast and memory-efficient exact attention

FlashAttention: Fast and Memory-Efficient Exact Attention with IO-Awareness

Efficient Memory Management for Large Language Model Serving with PagedAttention

FlashAttention-2: Faster Attention with Better Parallelism and Work Partitioning

TrustLLM: Trustworthiness in Large Language Models

LongNet: Scaling Transformers to 1,000,000,000 Tokens

ONE-PEACE: Exploring One General Representation Model Toward Unlimited Modalities

Simple linear attention language models balance the recall-throughput tradeoff

FlashAttention-3: Fast and Accurate Attention with Asynchrony and Low-precision

RL4CO: a Unified Reinforcement Learning for Combinatorial Optimization Library

The Languini Kitchen: Enabling Language Modelling Research at Different Scales of Compute


Apache Commons Math

A Closer Look at Real-World Patches

PROCEEDINGS 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME)

Defect Prediction Guided Search-Based Software Testing

International Conference on Automated Software Engineering

Smoke testing for machine learning: simple tests to discover severe bugs

An Initial Step Towards Organ Transplantation Based on GitHub Repository

Exploring ChatGPT's Capabilities on Vulnerability Management

An Empirical Study of Untangling Patterns of Two-Class Dependency Cycles

Java JIT Testing with Template Extraction

Automated Self-Admitted Technical Debt Tracking at Commit-Level: A Language-independent Approach


SAM Simulation Core (SSC) contains the underlying performance and financial models for SAM

Review of open source tools for PV modeling

Zenodo (CERN European Organization for Nuclear Research)

A solar energy desalination analysis tool, sedat, with data and models for selecting technologies and regions

Effect of Sampling Rate on Photovoltaic Self-Consumption in Load Shifting Simulations


netcdf4-python: python/numpy interface to the netCDF C library

Assessment of natural and anthropogenic aerosol air pollution in the Middle East using MERRA-2, CAMS data assimilation products, and high-resolution WRF-Chem model simulations

Open source QGIS toolkit for the Advanced Research WRF modelling system

Study of SO2 Pollution in the Middle East Using MERRA-2, CAMS Data Assimilation Products, and High-Resolution WRF-Chem Simulations

Journal of Geophysical Research: Atmospheres

A statistical-parametric model of tropical cyclones for hazard assessment

Natural hazards and earth system sciences

Improving dust simulations in WRF-Chem model v4.1.3 coupled with GOCART aerosol module

The AlborEX dataset: sampling of sub-mesoscale features in the Alboran Sea


Open Location Code is a library to generate short codes, called "plus codes", that can be used as digital addresses where street addresses don't exist.

A Network Sensor Fusion Approach for a Behaviour-Based Smart Energy Environment for Co-Making Spaces

QuietPlace: An Ultrasound-Based Proof of Location Protocol with Strong Identities

Semantic Identifiers and DNS Names for IoT


our classic

Scalability of High-Performance PDE Solvers

Highly Optimized Full-Core Reactor Simulations on Summit

Nek5000/RS Performance on Advanced GPU Architectures

A Study on Convolution Neural Network for Reconstructing the Temperature Field of Wall-Bounded Flows


Repository for the code of the Open Energy Platform (OEP) website. The OEP provides an interface to the Open Energy Family


Open Source Pre-training Model Framework in PyTorch & Pre-trained Model Zoo

K-BERT: Enabling Language Representation with Knowledge Graph

UER: An Open-Source Toolkit for Pre-training Models

NSP-BERT: A Prompt-based Few-Shot Learner through an Original Pre-training Task —— Next Sentence Prediction

Which Encoding is the Best for Text Classification in Chinese, English, Japanese and Korean?

Mengzi: Towards Lightweight yet Ingenious Pre-trained Models for Chinese

CSL: A Large-scale Chinese Scientific Literature Dataset

Parallel Corpus Filtering via Pre-trained Language Models

A Joint Learning Framework for the CCKS-2020 Financial Event Extraction Task

Parameter-efficient Continual Learning Framework in Industrial Real-time Text Classification System

Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Industry Track


Boogie

The Move Prover

Why Just Boogie? Translating Between Intermediate Verification Languages

Formally Validating a Practical Verification Condition Generator (extended version)

Refinement for Structured Concurrent Programs

Precise Null Pointer Analysis Through Global Value Numbering

Better Counterexamples for Dafny

Tools and Algorithms for the Construction and Analysis of Systems

Deductive Verification of Floating-Point Java Programs in KeY

Improving the "Correct Eventual Consistency" Tool

Towards Trustworthy Automated Program Verifiers: Formally Validating
  Translations into an Intermediate Verification Language (extended version)


Ride-Hailing for Autonomous Vehicles: Hyperledger Fabric-Based Secure and Decentralize Blockchain Platform

2021 IEEE International Conference on Big Data (Big Data)

Requirements for Ethereum Private Sidechains

Toward a Secure and Decentralized Blockchain-based Ride-Hailing Platform for Autonomous Vehicles

Lockless Transaction Isolation in Hyperledger Fabric

Fabric-GC: A Blockchain-based Gantt Chart System for Cross-organizational Project Management


Castro (Compressible Astrophysics): An adaptive mesh, astrophysical compressible (radiation-, magneto-)  hydrodynamics simulation code for massively parallel CPU and GPU architectures.

WHITE DWARF MERGERS ON ADAPTIVE MESHES. I. METHODOLOGY AND CODE VERIFICATION

Improved Coupling of Hydrodynamics and Nuclear Reactions via Spectral Deferred Corrections

Dynamics of Laterally Propagating Flames in X-Ray Bursts. I. Burning Front Structure

An Improved Method for Coupling Hydrodynamics with Astrophysical Reaction Networks

Dynamics of Laterally Propagating Flames in X-Ray Bursts. II. Realistic Burning and Rotation

Sensitivity of He Flames in X-Ray Bursts to Nuclear Physics

Practical Effects of Integrating Temperature with Strang Split Reactions

Comparing Early Evolution of Flames in X-Ray Bursts in Two and Three Dimensions

Sensitivity of Simulations of Double Detonation Type Ia Supernova to Integration Methodology

Extracting Insights from Astrophysics Simulations


A blockchain benchmark framework to measure performance of multiple blockchain solutions https://wiki.hyperledger.org/display/caliper

Blockchains vs. Distributed Databases: Dichotomy and Fusion

RETRACTED: Hybrid blockchain–based privacy-preserving electronic medical records sharing scheme across medical information control system

Physical Access Control Management System Based on Permissioned Blockchain

IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY

How to Databasify a Blockchain: the Case of Hyperledger Fabric

Blockchain Testing: Challenges, Techniques, and Research Directions

Health-zkIDM: A Healthcare Identity System Based on Fabric Blockchain and Zero-Knowledge Proof

Performance Tuning and Scaling Enterprise Blockchain Applications

Gromit: Benchmarking the Performance and Scalability of Blockchain Systems

Blockchains and Distributed Databases: a Twin Study.

Towards Practical Applications in Modeling Blockchain System


CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform

PULP-NN: accelerating quantized neural networks on parallel ultra-low-power RISC-V processors

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences

FPnew: An Open-Source Multi-Format Floating-Point Unit Architecture for Energy-Proportional Transprecision Computing

A Survey of the RISC-V Architecture Software Support

Dustin: A 16-Cores Parallel Ultra-Low-Power Cluster With 2b-to-32b Fully Flexible Bit-Precision and Vector Lockstep Execution Mode

Comparative Analysis and Enhancement of CFG-based Hardware-Assisted CFI Schemes

Pointing in the Right Direction - Securing Memory Accesses in a Faulty World

Asia-Pacific Computer Systems Architecture Conference

ControlPULP: A RISC-V On-Chip Parallel Power Controller for Many-Core HPC Processors with FPGA-Based Hardware-In-The-Loop Power and Thermal Emulation

A Heterogeneous RISC-V Based SoC for Secure Nano-UAV Navigation

MAFIA: Protecting the Microarchitecture of Embedded Systems Against Fault Injection Attacks

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems


Library for fast text representation and classification.

Enriching Word Vectors with Subword Information

Bag of Tricks for Efficient Text Classification

Word Translation Without Parallel Data

Pre-trained models for natural language processing: A survey

FastText.zip: Compressing text classification models

Unsupervised Machine Translation Using Monolingual Corpora Only

A Survey Of Cross-lingual Word Embedding Models

When and Why are Pre-trained Word Embeddings Useful for Neural Machine Translation?

Automated Concatenation of Embeddings for Structured Prediction

Loss in Translation: Learning Bilingual Word Mapping with a Retrieval Criterion


This repository combines the code from and supersedes the prior existing Shared, Platform, Protocol-Adapter-OSLP, Protocol-Adapter-IEC61850, Protocol-Adapter-DLMS, PublicLightingDemoApp and Integration-Tests repositories. The old repositories have been kept online for now in readonly mode to preserve the historical information.


Linux-CAN / SocketCAN user space applications

CAN-D: A Modular Four-Step Pipeline for Comprehensively Decoding Controller Area Network Data

System, Design and Experimental Validation of Autonomous Vehicle in an Unconstrained Environment

A comprehensive guide to CAN IDS data and introduction of the ROAD dataset

My other car is your car: compromising the Tesla Model X keyless entry system

IACR Transactions on Cryptographic Hardware and Embedded Systems

ReCAN – Dataset for reverse engineering of Controller Area Networks

N 2 C : Neural Network Controller Design Using Behavioral Cloning

Covert Channel-Based Transmitter Authentication in Controller Area Networks

Addressing the Lack of Comparability & Testing in CAN Intrusion Detection Research: A Comprehensive Guide to CAN IDS Data & Introduction of the ROAD Dataset


A CoAP (RFC 7252) implementation in C

SDN Architecture for 6LoWPAN Wireless Sensor Networks

MultiFuzz: A Coverage-Based Multiparty-Protocol Fuzzer for IoT Publish/Subscribe Protocols

Observing IoT Resources over ICN

Design and Implementation of Virtual Private Storage Framework Using Internet of Things Local Networks


An extensible YANG validator and converter in python

Experimental evaluation of control and monitoring protocols for optical SDN networks and equipment [Invited Tutorial]

Journal of Optical Communications and Networking

Emulating Software-Defined Disaggregated Optical Networks in a Containerized Framework

YANG2UML: Bijective Transformation and Simplification of YANG to UML

Network Programmability and Automation in Optical Networks


Energy Exascale Earth System Model source code.  NOTE:  use "maint" branches for your work.  Head of master is not validated.

A Parameterization of Sub-grid Topographical Effects on Solar Radiation in the E3SM Land Model (Version 1.0): Implementation and Evaluation Over the Tibetan Plateau

Understanding processes that control dust spatial distributions with global climate models and satellite observations

Abrupt emissions reductions during COVID-19 contributed to record summer rainfall in China

An Energy Consistent Discretization of the Nonhydrostatic Equations in Primitive Variables

Journal of Advances in Modeling Earth Systems

Separating Physics and Dynamics Grids for Improved Computational Efficiency in Spectral Element Earth System Models

Increased extreme rains intensify erosional nitrogen and phosphorus fluxes to the northern Gulf of Mexico in recent decades

Effective radiative forcing of anthropogenic aerosols in E3SMv1: historical changes, causality, decomposition, and parameterization sensitivities

A new large-scale suspended sediment model and its application over the United States

Intensified modulation of winter aerosol pollution in China by El Niño with short duration

Development of Land‐River Two‐Way Hydrologic Coupling for Floodplain Inundation in the Energy Exascale Earth System Model


Owl - OCaml Scientific Computing @ https://ocaml.xyz

Automatic differentiation in machine learning: a survey

Privacy-Preserving Personal Model Training

Owl: A General-Purpose Numerical Library in OCaml

Distributed data analytics

Functional Design of Computation Graph


Python wrapper for tshark, allowing python packet parsing using wireshark dissectors

Privacy is What We Care About: Experimental Investigation of Federated Learning on Edge Devices

Tracing Your Smart-Home Devices Conversations: A Real World IoT Traffic Data-Set

ZLeaks: Passive Inference Attacks on Zigbee based Smart Homes

Optimizing the Bluetooth Low Energy Service Discovery Process

EyeSec: A Retrofittable Augmented Reality Tool for Troubleshooting Wireless Sensor Networks in the Field

Towards Characterizing IoT Software Update Practices


jiant is an nlp toolkit

GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understanding

SuperGLUE: A Stickier Benchmark for General-Purpose Language Understanding Systems

BERT Rediscovers the Classical NLP Pipeline

What do you learn from context? Probing for sentence structure in contextualized word representations

Fine-Tuning Pretrained Language Models: Weight Initializations, Data Orders, and Early Stopping

Sentence Encoders on STILTs: Supplementary Training on Intermediate Labeled-data Tasks

BLiMP: The Benchmark of Linguistic Minimal Pairs for English

On the Stability of Fine-tuning BERT: Misconceptions, Explanations, and Strong Baselines

A Survey on Data Augmentation for Text Classification

Assessing Social and Intersectional Biases in Contextualized Word Representations


TFDS is a collection of datasets ready to use with TensorFlow, Jax, ...

Improving Robustness Without Sacrificing Accuracy with Patch Gaussian Augmentation

RLDS: an Ecosystem to Generate, Share and Use Datasets in Reinforcement Learning

2-speed network ensemble for efficient classification of incremental land-use/land-cover satellite image chips


Community curated plugins for core-lightning

Imbalance measure and proactive channel rebalancing algorithm for the Lightning Network

HIDE & SEEK: Privacy-Preserving Rebalancing on Payment Channel Networks

Wiser: Increasing Throughput in Payment Channel Networks with Transaction Aggregation

D-LNBot: A Scalable, Cost-Free and Covert Hybrid Botnet on Bitcoin's Lightning Network

Online Admission Control and Rebalancing in Payment Channel Networks


A standalone version of the readability lib

Boilerplate Removal using a Neural Sequence Labeling Model

WWW'20: COMPANION PROCEEDINGS OF THE WEB CONFERENCE 2020

Understanding Retrieval Augmentation for Long-Form Question Answering

SpeedReader: Reader Mode Made Fast and Private

WikiHowQA: A Comprehensive Benchmark for Multi-Document Non-Factoid Question Answering

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)

ClimateGPT: Towards AI Synthesizing Interdisciplinary Research on Climate Change

The Rise and Fall of Fake News sites: A Traffic Analysis

Counting Protests in News Articles: A Dataset and Semi-Automated Data Collection Pipeline

Honesty is the Best Policy: On the Accuracy of Apple Privacy Labels Compared to Apps' Privacy Policies

Extracting the Main Content of Web Pages Using the First Impression Area

Don't read, just look: Main content extraction from web pages using visually apparent features


Community Terrestrial Systems Model (includes the Community Land Model of CESM)

The Community Land Model Version 5: Description of New Features, Benchmarking, and Impact of Forcing Uncertainty

Benchmarking and parameter sensitivity of physiological and vegetation dynamics using the Functionally Assembled Terrestrial Ecosystem Simulator (FATES) at Barro Colorado Island, Panama

Beyond Static Benchmarking: Using Experimental Manipulations to Evaluate Land Model Assumptions

Model Structure and Climate Data Uncertainty in Historical Simulations of the Terrestrial Carbon Cycle (1850–2014)

Modeled Microbial Dynamics Explain the Apparent Temperature Sensitivity of Wetland Methane Emissions

Parameterization and Surface Data Improvements and New Capabilities for the Community Land Model Urban (CLMU)

Journal of advances in modeling earth systems

A machine learning approach to emulation and biophysical parameter estimation with the Community Land Model, version 5

Advances in statistical climatology, meteorology and oceanography

Assessing impacts of selective logging on water, energy, and carbon budgets and ecosystem dynamics in Amazon forests using the Functionally Assembled Terrestrial Ecosystem Simulator

Projecting circum-Arctic excess-ground-ice melt with a sub-grid representation in the Community Land Model

Enhanced causal effect of ecosystem photosynthesis on respiration during heatwaves


Package to call Python functions from the Julia language

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization

Bridging HPC Communities through the Julia Programming Language

A Neural Separation Algorithm for the Rounded Capacity Inequalities

Parametric and Non-parametric Gradient Matching for Network Inference

A unified analysis of convex and non-convex lp-ball projection problems

FeAmGen.jl: A Julia Program for Feynman Amplitude Generation

Safe Reach Set Computation via Neural Barrier Certificates


BLAS-like Library Instantiation Software Framework

High-Performance Tensor Contraction without Transposition

High-Performance Tensor Contraction without BLAS.

Parallel accelerated vector similarity calculations for genomics applications

Parallel Accelerated Custom Correlation Coefficient Calculations for Genomics Applications

BLISlab: A Sandbox for Optimizing GEMM

Supporting Mixed-domain Mixed-precision Matrix Multiplication within the BLIS Framework

IAAT: A Input-Aware Adaptive Tuning framework for Small GEMM


The electronic structure package for quantum computers.

Computing with spin qubits at the surface code error threshold

A Quantum Computing View on Unitary Coupled Cluster Theory

A Language and Hardware Independent Approach to Quantum-Classical Computing

Full-Stack Quantum Software in Practice: Ecosystem, Stakeholders and Challenges


Accessible large language models via k-bit quantization for PyTorch.

BLOOM: A 176B-Parameter Open-Access Multilingual Language Model

A Survey of Large Language Models

QLoRA: Efficient Finetuning of Quantized LLMs

LLM.int8(): 8-bit Matrix Multiplication for Transformers at Scale

A Comprehensive Overview of Large Language Models

Efficient and Effective Text Encoding for Chinese LLaMA and Alpaca

8-bit Optimizers via Block-wise Quantization

SpQR: A Sparse-Quantized Representation for Near-Lossless LLM Weight Compression

Efficient Large Language Models: A Survey

Autoregressive Model Beats Diffusion: Llama for Scalable Image Generation


ACL2 System and Books as Maintained by the Community

Efficient Certified RAT Verification

Verifying x86 Instruction Implementations

New Rewriter Features in FGL

Formal Verification of Zero-Knowledge Circuits

International Workshop on the ACL2 Theorem Prover and Its Applications

Adding 32-bit Mode to the ACL2 Model of the x86 ISA

Balancing Automation and Control for Formal Verification of Microprocessors

Fourier Series Formalization in ACL2(r)

DefunT: A Tool for Automating Termination Proofs by Using the Community Books (Extended Abstract)

Verified Implementation of an Efficient Term-Rewriting Algorithm for Multiplier Verification on ACL2

Verification of GossipSub in ACL2s


A library for scientific machine learning and physics-informed learning

Learning nonlinear operators via DeepONet based on the universal approximation theorem of operators

DeepXDE: A deep learning library for solving differential equations

fPINNs: Fractional Physics-Informed Neural Networks

A composite neural network that learns from multi-fidelity data: Application to function approximation and inverse PDE problems

Physics-informed neural networks with hard constraints for inverse design

Gradient-enhanced physics-informed neural networks for forward and inverse PDE problems

A comprehensive study of non-adaptive and residual-based adaptive sampling for physics-informed neural networks

DeepM&Mnet: Inferring the electroconvection multiphysics fields based on operator approximation by neural networks

DeepM&Mnet for hypersonics: Predicting the coupled flow and finite-rate chemistry behind a normal shock using neural-network approximation of operators

MIONet: Learning multiple-input operators via tensor product


Parameter/topology editor and molecular simulator

Biochemical and Genetic Analysis Identify CSLD3 as a beta-1,4-Glucan Synthase That Functions during Plant Cell Wall Synthesis

Solvation free energies and partition coefficients with the coarse-grained and hybrid all-atom/coarse-grained MARTINI models

Journal of computer-aided molecular design

Effects of Acetylation and Phosphorylation on Subunit Interactions in Three Large Eukaryotic Complexes

Structural and dynamical insights into the PH domain of p62 in human TFIIH

Predicting molecular properties of α‐synuclein using force fields for intrinsically disordered proteins

Proteins: Structure, Function, and Bioinformatics

Domino-like effect of C112R mutation on ApoE4 aggregation and its reduction by Alzheimer’s Disease drug candidate

Replica-Exchange Enveloping Distribution Sampling Using Generalized AMBER Force-Field Topologies: Application to Relative Hydration Free-Energy Calculations for Large Sets of Molecules

Journal of chemical information and modeling

Mechanistic insights into multiple-step transport of mitochondrial ADP/ATP carrier

Computational and structural biotechnology journal

Design of Peptides that Fold and Self-Assemble on Graphite

RmsdXNA: RMSD prediction of nucleic acid-ligand docking poses using machine-learning method


Python (3.8+) version of CLIMADA

Regional tropical cyclone impact functions for globally consistent risk assessments

Natural hazards and earth system sciences

Asset exposure data for global physical risk assessment

CLIMADA v1.4.1: towards a globally consistent adaptation options appraisal tool

Uncertainty and sensitivity analysis for probabilistic weather and climate-risk modelling: an implementation in CLIMADA v.3.1.0

Comparing an insurer's perspective on building damages with modelled damages from pan-European winter windstorm event sets: a case study from Zurich, Switzerland

Towards operational impact forecasting of building damage from winter windstorms in Switzerland

Globally consistent assessment of economic impacts of wildfires in CLIMADA v2.2

Large-scale risk assessment on snow avalanche hazard in alpine regions

Tropical cyclone-specific mortality risks and the periods of concern: A multicountry time-series study

Uncertainty and sensitivity analysis for natural risk and adaptation appraisal modeling with CLIMADA


SCION Internet Architecture

Carbon-Intelligent Global Routing in Path-Aware Networks

Leveraging the SCION Internet Architecture to Accelerate File Transfers over BitTorrent

Inter-Domain Routing with Extensible Criteria


The MongoDB Database

Large expert-curated database for benchmarking document similarity detection in biomedical literature search

Database : the journal of biological databases and curation

dictyExpress: a web-based platform for sequence data management and analytics in Dictyostelium and beyond

Automated system performance testing at MongoDB

Proceedings of the workshop on Testing Database Systems

eXtreme Modelling in Practice

Linking Extragalactic Transients and Their Host Galaxy Properties: Transient Sample, Multiwavelength Host Identification, and Database Construction

Formal verification of a distributed dynamic reconfiguration protocol

Design and Analysis of a Logless Dynamic Reconfiguration Protocol

Stop Words for Processing Software Engineering Documents: Do they Matter?

Priority-Driven Differentiated Performance for NoSQL Database-as-a-Service

The XENON1T Data Distribution and Processing Scheme


A non-validating SQL parser module for Python

Learning Contextual Representations for Semantic Parsing with Generation-Augmented Pre-Training

CodeTrans: Towards Cracking the Language of Silicon's Code Through Self-Supervised Deep Learning and High Performance Computing

Smelly Relations: Measuring and Understanding Database Schema Quality

International Conference on Software Engineering

SQLCheck: Automated Detection and Diagnosis of SQL Anti-Patterns

SIGMOD'20: PROCEEDINGS OF THE 2020 ACM SIGMOD INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness

Spinner: Automated Dynamic Command Subsystem Perturbation

Byte-Pair Encoding for Text-to-SQL Generation


A Python package to assess and improve fairness of machine learning models.

Equality of Opportunity in Supervised Learning

A Reductions Approach to Fair Classification

Fairness in Machine Learning: A Survey

Fair Regression: Quantitative Definitions and Reduction-based Algorithms

Predictability and Surprise in Large Generative Models

"What We Can't Measure, We Can't Understand": Challenges to Demographic Data Procurement in the Pursuit of Fairness

An Empirical Characterization of Fair Machine Learning For Clinical Risk Prediction

On the Privacy Risks of Algorithmic Fairness

Fair Bayesian Optimization

Fair Learning with Private Demographic Data


OpenAssistant is a chat-based assistant that understands tasks, can interact with third-party systems, and retrieve information dynamically to do so.

Training language models to follow instructions with human feedback

Instruction Tuning with GPT-4

OpenAssistant Conversations -- Democratizing Large Language Model Alignment

Instruction Tuning for Large Language Models: A Survey

AgentBench: Evaluating LLMs as Agents

Preference Ranking Optimization for Human Alignment

LLM-Blender: Ensembling Large Language Models with Pairwise Ranking and Generative Fusion

Visual Adversarial Examples Jailbreak Aligned Large Language Models

EduChat: A Large-Scale Language Model-based Chatbot System for Intelligent Education

INSTRUCTEVAL: Towards Holistic Evaluation of Instruction-Tuned Large Language Models


A library of reinforcement learning components and agents

Acme: A Research Framework for Distributed Reinforcement Learning

Contrastive Learning as Goal-Conditioned Reinforcement Learning

Munchausen Reinforcement Learning

AndroidEnv: A Reinforcement Learning Platform for Android

NeRF2Real: Sim2real Transfer of Vision-guided Bipedal Motion Skills using Neural Radiance Fields

Reverb: A Framework For Experience Replay

Chain of Thought Imitation with Procedure Cloning

Optimal Transport for Offline Imitation Learning

RLDS: an Ecosystem to Generate, Share and Use Datasets in Reinforcement Learning

Finetuning from Offline Reinforcement Learning: Challenges, Trade-offs and Practical Solutions


Exploring the Neural Algorithm of Artistic Style

GaDei: On Scale-up Training As A Service For Deep Learning

Efficient Training of Convolutional Neural Nets on Large Distributed Systems


OpenRefine is a free, open source power tool for working with messy data and improving it

A Survey of Data Quality Measurement and Monitoring Tools

Adding value to Linked Open Data using a multidimensional model approach based on the RDF Data Cube vocabulary

How well does LLM generate security tests?

Mapping the co-evolution of artificial intelligence, robotics, and the internet of things over 20 years (1998-2017)

Mapping longitudinal scientific progress, collaboration and impact of the Alzheimer’s disease neuroimaging initiative

Wisdom of Crowds Detects COVID-19 Severity Ahead of Officially Available Data

Analyzing Digital Collections Entrances: What Gets Used and Why It Matters

A survey of OpenRefine reconciliation services

SemTUI: a Framework for the Interactive Semantic Enrichment of Tabular Data

Going beyond zero-shot MT: combining phonological, morphological and semantic factors. The UdS-DFKI System at IWSLT 2017

International Workshop on Spoken Language Translation


Scenic: A Jax Library for Computer Vision Research and Beyond

ViViT: A Video Vision Transformer

Attention Bottlenecks for Multimodal Fusion

Multiview Transformers for Video Recognition

Simple Open-Vocabulary Object Detection with Vision Transformers

Simple Open-Vocabulary Object Detection

Vid2Seq: Large-Scale Pretraining of a Visual Language Model for Dense Video Captioning

TokenLearner: What Can 8 Learned Tokens Do for Images and Videos?

Scaling Open-Vocabulary Object Detection

Learning with Neighbor Consistency for Noisy Labels

SCENIC: A JAX Library for Computer Vision Research and Beyond


Automatically exported from code.google.com/p/netmap

Datacenter Traffic Control: Understanding Techniques and Tradeoffs

IEEE Communications Surveys and Tutorials

Performance Benchmarking of State-of-the-Art Software Switches for NFV

Benchmarking NFV Software Dataplanes

A Framework for Comparative Evaluation of High-Performance Virtualized Networking Mechanisms

International Conference on Cloud Computing and Services Science


GFDL's Flexible Modeling System

CPMIP: measurements of real computational performance of Earth system models in CMIP6


Julia software for fast, friendly, flexible, ocean-flavored fluid dynamics on CPUs and GPUs

Uncertainty quantification of ocean parameterizations: application to the K-Profile-Parameterization for penetrative convection

Journal of Advances in Modeling Earth Systems

Near-Inertial Waves and Turbulence Driven by the Growth of Swell


Unsupervised text tokenizer for Neural Network-based text generation.

Neural Machine Translation of Rare Words with Subword Units

Google's Neural Machine Translation System: Bridging the Gap between Human and Machine Translation

SentencePiece: A simple and language independent subword tokenizer and detokenizer for Neural Text Processing

SciBERT: A Pretrained Language Model for Scientific Text

PEGASUS: Pre-training with Extracted Gap-sentences for Abstractive Summarization

Subword Regularization: Improving Neural Network Translation Models with Multiple Subword Candidates

GLM-130B: An Open Bilingual Pre-trained Model

Beyond English-Centric Multilingual Machine Translation

Findings of the 2019 Conference on Machine Translation (WMT19)

Meeting of the Association for Computational Linguistics

CogView: Mastering Text-to-Image Generation via Transformers


A (deprecated) framework for building exercises to work with Khan Academy.

Measuring Mathematical Problem Solving With the MATH Dataset

InternLM-Math: Open Math Large Language Models Toward Verifiable
  Reasoning

Dynamic Concept Maps for eTextbook Glossaries: Design and Evaluation

Learning Beyond Pattern Matching? Assaying Mathematical Understanding in
  LLMs

A Predictive Model for Student Performance in Classrooms Using Student Interactions With an eTextbook

Comparing Authoring Experiences with Spreadsheet Interfaces vs GUIs

Proceedings of the 14th Learning Analytics and Knowledge Conference

Identifying Difficult exercises in an eTextbook Using Item Response Theory and Logged Data Analysis


code for reading and processing Allen Institute for Brain Science data

Regional, Layer, and Cell-Type-Specific Connectivity of the Mouse Default Mode Network

Gradients of functional connectivity in the mouse cortex reflect neocortical evolution

Learning from unexpected events in the neocortical microcircuit

Mouse visual cortex as a limited resource system that self-learns an ecologically-general representation

Uncovering the Connectivity Logic of the Ventral Tegmental Area

Neocortical layer 4 in adult mouse differs in major cell types and circuit organization between primary sensory areas

Decontaminate Traces From Fluorescence Calcium Imaging Videos Using Targeted Non-negative Matrix Factorization

Sharing Neurophysiology Data from the Allen Brain Observatory: Lessons Learned


Tensorforce: a TensorFlow library for applied reinforcement learning

Dopamine: A Research Framework for Deep Reinforcement Learning

A review on Deep Reinforcement Learning for Fluid Mechanics

Deep Reinforcement Learning for Join Order Enumeration

International Conference on Management of Data

Reinforcement Learning for Selective Key Applications in Power Systems: Recent Advances and Future Challenges

Robust active flow control over a range of Reynolds numbers using an artificial neural network trained through deep reinforcement learning

Tianshou: a Highly Modularized Deep Reinforcement Learning Library

Designing an adaptive production control system using reinforcement learning

Deep reinforcement learning in fluid mechanics: A promising method for both active flow control and shape optimization

水动力学研究与进展.B辑

MushroomRL: Simplifying Reinforcement Learning Research

Adaptive Behavior Generation for Autonomous Driving using Deep Reinforcement Learning with Compact Semantic States


:book::microscope::coffee: BioJava is an open-source project dedicated to providing a Java library for processing biological data.

Fidelity of RNA templated end-joining by chlorella virus DNA ligase and a novel iLock assay with improved direct RNA detection accuracy

BioJava 5: A community driven open-source bioinformatics library

Detection of circular permutations within protein structures using CE-CP

BioJava-ModFinder: identification of protein modifications in 3D structures from the Protein Data Bank

Flaky Test Sanitisation via On-the-Fly Assumption Inference for Tests with Network Dependencies

FlakyFix: Using Large Language Models for Predicting Flaky Test Fix Categories and Test Code Repair


Development version of plumed 2

Rational design of ASCT2 inhibitors using an integrated experimental-computational approach

Proceedings of the National Academy of Sciences of the United States of America

Finding multiple reaction pathways of ligand unbinding

Iterative unbiasing of quasi-equilibrium sampling

Zinc binding alters the conformational dynamics and drives the transport cycle of the cation diffusion facilitator YiiP

A thermodynamic investigation of amyloid precursor protein processing by human γ-secretase

Implementing dimer metadynamics using gromacs

Data-driven path collective variables

Hydrogen Diffusion in the Lower Mantle Revealed by Machine Learning Potentials

Good Rates From Bad Coordinates: The Exponential Average Time-dependent Rate Approach

Large-scale atomistic simulations of magnesium oxide exsolution driven by machine learning potentials: Implications for the early geodynamo


header only, dependency-free deep learning framework in C++14

Practical recommendations for gradient-based training of deep architectures

Joint Optimization of Service Caching Placement and Computation Offloading in Mobile Edge Computing Systems

Multiplier-less Artificial Neurons Exploiting Error Resiliency for Energy-Efficient Neural Computing

Eyes of Things

ARXON: A Framework for Approximate Communication over Photonic Networks-on-Chip

A JIT Compiler for Neural Network Inference

A Systematic Literature Review on Hardware Reliability Assessment Methods for Deep Neural Networks

Improving all-reduce collective operations for imbalanced process arrival patterns

Leveraging the Channel as a Sensor: Real-time Vehicle Classification Using Multidimensional Radio-fingerprinting

International Conference on Intelligent Transportation Systems

Efficient Cloth Simulation using Miniature Cloth and Upscaling Deep Neural Networks


Liquid Types For Haskell

Bounded Refinement Types

Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)

Local Refinement Typing

VerifyThis 2019: a program verification competition

Gradual Liquid Type Inference

Proceedings of the ACM on Programming Languages

An Introduction to Liquid Haskell

Structural and semantic pattern matching analysis in Haskell


CLI tool for spawning and running containers according to the OCI specification

Container-based Cluster Orchestration Systems: A Taxonomy and Future Directions

INDIGO-DataCloud: a Platform to Facilitate Seamless Access to E-Infrastructures

Enabling rootless Linux Containers in multi-user environments: the udocker tool

A Comprehensive Feature Comparison Study of Open-Source Container Orchestration Frameworks

Mining Sandboxes for Linux Containers

International Conference on Software Testing, Verification, and Validation

An Implementation of High Efficient Smart Street Light Management System for Smart City

Containers Orchestration with Cost-Efficient Autoscaling in Cloud Computing Environments

Use of Docker for deployment and testing of astronomy software

Containerization for High Performance Computing Systems: Survey and Prospects

IEEE Transactions on Software Engineering

Reference Architecture for Running Computationally Intensive Physics-Based Digital Twins of Heavy Equipment in a Heterogeneous Execution Environment


A Peer-to-peer Platform for Secure, Privacy-preserving, Decentralized Data Science

Secure and Robust Machine Learning for Healthcare: A Survey

Cohort-based federated learning services for industrial collaboration on the edge

Journal of Parallel and Distributed Computing

FedPrune: Towards Inclusive Federated Learning


Main Sigma Rule Repository

Looking Beyond IoCs: Automatically Extracting Attack Patterns from External CTI

Reproducible and Adaptable Log Data Generation for Sound Cybersecurity Experiments

Asia-Pacific Computer Systems Architecture Conference

On the Integration of Course of Action Playbooks into Shareable Cyber Threat Intelligence

ChatIDS: Explainable Cybersecurity Using Generative AI

Key Requirements for the Detection and Sharing of Behavioral Indicators of Compromise

Time-Window Group-Correlation Support vs. Individual Features: A Detection of Abnormal Users

Building Machine Learning-based Threat Hunting System from Scratch

SoK: The MITRE ATT&CK Framework in Research and Practice

VloGraph: A Virtual Knowledge Graph Framework for Distributed Security Log Analysis

Machine Learning and Knowledge Extraction

Modelling Indicators of Behaviour for Cyber Threat Hunting via Sysmon

PROCEEDINGS OF THE 2024 EUROPEAN INTERDISCIPLINARY CYBERSECURITY CONFERENCE, EICC 2024


Intel® Nervana™ reference deep learning framework committed to best performance on all hardware

TensorFlow: A system for large-scale machine learning

Deep Learning in Bioinformatics

Gradient Sparsification for Communication-Efficient Distributed Optimization

Machine Learning in Python: Main developments and technology trends in data science, machine learning, and artificial intelligence

Flexpoint: An Adaptive Numerical Format for Efficient Training of Deep Neural Networks

Scalable Deep Learning on Distributed Infrastructures: Challenges, Techniques and Tools

Compressing DMA Engine: Leveraging Activation Sparsity for Training Deep Neural Networks

Anatomy of High-Performance Deep Learning Convolutions on SIMD Architectures

CANDLE/Supervisor: a workflow framework for machine learning applied to cancer research

A Deep Convolutional Auto-Encoder with Pooling - Unpooling Layers in Caffe


XLS: Accelerated HW Synthesis

A General Purpose Transpiler for Fully Homomorphic Encryption

ChipGPT: How far are we from natural language hardware design


Easy interactive web applications with R

Interactive Pharmacometric Applications Using R and the Shiny Package

CPT: pharmacometrics & systems pharmacology

The injured sciatic nerve atlas (iSNAT), insights into the cellular and molecular basis of neural tissue degeneration and regeneration

Emergence of distinct syntenic density regimes is associated with early metazoan genomic transitions

lightr: import spectral data and metadata in R

Externally validated models for first diagnosis and risk of progression of knee osteoarthritis

TOmicsVis: An all‐in‐one transcriptomic analysis and visualization R package with Shinyapp interface

Tweaking Association Rules to Optimize Software Change Recommendations

XXXI BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2017)

A sustainable infrastructure concept for improved accessibility, reusability, and archival of research software

CPADS: a web tool for comprehensive pancancer analysis of drug sensitivity

Single-cell and bulk tissue sequencing unravels the heterogeneity of synovial microenvironment in arthrofibrosis


Guice (pronounced 'juice') is a lightweight dependency injection framework for Java 11 and above, brought to you by Google.

AutoAnnotate: A Cytoscape app for summarizing networks with semantic annotations

On the reaction to deprecation of clients of 4 + 1 popular Java APIs and the JDK

TermGenie – a web-application for pattern-based ontology class generation

mUzima Mobile Electronic Health Record (EHR) System: Development and Implementation at Scale

GitHub-OSS Fixit: Fixing bugs at scale in a Software Engineering Course

Integrating formal specifications into applications: the ProB Java API

Dependency Injection for Programming by Optimization

Engineering testable and maintainable software with Spring Boot and React

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations

How Testable is Business Software?


CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

Large Language Models for Code: Security Hardening and Adversarial Testing

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security

CodePlan: Repository-level Coding using LLMs and Planning

Why Crypto-detectors Fail: A Systematic Evaluation of Cryptographic Misuse Detection Techniques

Wasmati: An efficient static vulnerability scanner for WebAssembly

Transformer-based Vulnerability Detection in Code at EditTime: Zero-shot, Few-shot, or Fine-tuning?

Beware of the Unexpected: Bimodal Taint Analysis

Vulnerabilities in AI Code Generators: Exploring Targeted Data Poisoning Attacks

Stubbifier: Debloating Dynamic Server-Side JavaScript Applications

npm-filter: Automating the mining of dynamic information from npm packages

Study of JavaScript Static Analysis Tools for Vulnerability Detection in Node.js Packages


Gaussian processes framework in python

Constrained Efficient Global Optimization of Expensive Black-box Functions

Gaussian Processes for Big Data

When Gaussian Process Meets Big Data: A Review of Scalable GPs

Data‐Driven Materials Science: Status, Challenges, and Perspectives

BoTorch: A Framework for Efficient Monte-Carlo Bayesian Optimization

Bayesian Optimization with Safety Constraints: Safe and Automatic Parameter Tuning in Robotics

QuEst - A translation quality estimation framework

Neural Tangents: Fast and Easy Infinite Neural Networks in Python

Transferability in Machine Learning for Electronic Structure via the Molecular Orbital Basis

Journal of chemical theory and computation

On-line Active Reward Learning for Policy Optimisation in Spoken Dialogue Systems


Shared data types for building collaborative software

Real-time collaborative multi-level modeling by conflict-free replicated data types

Tackling Consistency-related Design Challenges of Distributed Data-Intensive Systems

Proceedings of the 15th ACM / IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM)

The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing

For-Each Operations in Collaborative Apps

Undo and Redo Support for Replicated Registers

Proceedings of the 11th Workshop on Principles and Practice of Consistency for Distributed Data