Assembly and intrahost/low-frequency variant calling for viral samples

Adaptive immunity and neutralizing antibodies against SARS-CoV-2 variants of concern following vaccination in patients with cancer: the CAPTURE study

Monkeypox outbreak in Madrid (Spain): Clinical and virological aspects

A Founder Effect Led Early SARS-CoV-2 Transmission in Spain

Functional immune responses against SARS-CoV-2 variants of concern after fourth COVID-19 vaccine dose or infection in patients with blood cancer

Imported SARS-CoV-2 Variants of Concern Drove Spread of Infections across Kenya during the Second Year of the Pandemic

Performance of SARS-CoV-2 Antigen-Detecting Rapid Diagnostic Tests for Omicron and Other Variants of Concern

Reshi: Recommending Resources for Scientific Workflow Tasks on Heterogeneous Infrastructures

Genomic Analysis of West Nile Virus Lineage 1 Detected in Mosquitoes during the 2020–2021 Outbreaks in Andalusia, Spain

Combined analyses of within-host SARS-CoV-2 viral kinetics and information on past exposures to the virus in a human cohort identifies intrinsic differences of Omicron and Delta variants

Metagenomic sequencing, molecular characterization, and Bayesian phylogenetics of imported type 2 vaccine-derived poliovirus, Spain, 2021

Frontiers in cellular and infection microbiology


A TensorFlow implementation of DeepMind's WaveNet paper

WaveNet: A Generative Model for Raw Audio

Adversarial Audio Synthesis

A Survey on Neural Speech Synthesis

Fast Wavenet Generation Algorithm

Fast Generation for Convolutional Autoregressive Models

A transformers-based approach for fine and coarse-grained classification and generation of MIDI songs and soundtracks


XQUIC Library released by Alibaba is a cross-platform implementation of QUIC and HTTP/3 protocol.

Revisiting QUIC attacks: a comprehensive review on QUIC security and a hands-on study

A Quic(k) Security Overview: A Literature Research on Implemented Security Recommendations

Proceedings of the 18th International Conference on Availability, Reliability and Security


Radar Software Toolkit (RST)

SuperDARN Observations During Geomagnetic Storms, Geomagnetically Active Times, and Enhanced Solar Wind Driving

Journal of Geophysical Research: Space Physics

The Relationship Between Large Scale Thermospheric Density Enhancements and the Spatial Distribution of Poynting Flux

Co-located Observations of the E and F-region Thermosphere during a Substorm

Identifying ground scatter and ionospheric scatter signals by using their fine structure at Ekaterinburg decametre coherent radar


Community-provided extensions to Seurat

Inferring and perturbing cell fate regulomes in human brain organoids

Ferroptotic stress promotes the accumulation of pro-inflammatory proximal tubular cells in maladaptive renal repair

CSS: cluster similarity spectrum integration of single-cell genomics data

Single-Cell RNA Sequencing Characterizes the Molecular Heterogeneity of the Larval Zebrafish Optic Tectum

Cell specialization and coordination in Arabidopsis leaves upon pathogenic attack revealed by scRNA-seq

SEraster: a rasterization preprocessing framework for scalable spatial omics data analysis

Integrating single-cell transcriptomes, chromatin accessibility, and multiomics analysis of mesoderm-induced embryonic stem cells

Dynamic single-cell regulomes characterize human peripheral blood innate lymphoid cell subpopulations


MicroPython libraries and examples that work out of the box on Pycom's IoT modules

Decentralized spectrum learning for radio collision mitigation in ultra-dense IoT networks: LoRaWAN case study and experiments

Decentralized Spectrum Learning for IoT Wireless Networks Collision Mitigation

Democratization of PV Micro-Generation System Monitoring Based on Narrowband-IoT


Sum Product Flow: An Easy and Extensible Library for Sum-Product Networks

SPFlow: An Easy and Extensible Library for Deep Probabilistic Learning using Sum-Product Networks

Sum-product networks: A survey

Probabilistic Circuits That Know What They Don't Know


Containerized Automated Radio Astronomy Calibration (CARACal) pipeline

The flickering nuclear activity of Fornax A

AGN feeding and feedback in Fornax A: kinematical analysis of the multi-phase ISM

Radio footprints of a minor merger in the Shapley Supercluster: From supercluster down to galactic scales

GASP XXXVIII: The LOFAR-MeerKAT-VLA View on the Nonthermal Side of a Jellyfish Galaxy

The MPIfR-MeerKAT Galactic Plane survey I -- System setup and early results

A MeerKAT-meets-LOFAR study of MS 1455.0 + 2232: a 590 kiloparsec ‘mini’-halo in a sloshing cool-core cluster

Monthly notices of the Royal Astronomical Society

Nature of the unusual transient AT 2018cow from HI observations of its host galaxy

HAL (Le Centre pour la Communication Scientifique Directe)

A new look at old friends - I. Imaging classical radio galaxies with uGMRT and MeerKAT

Monthly Notices of the Royal Astronomical Society

A first detection of neutral hydrogen intensity mapping on Mpc scales at z≈ 0.32 and z≈ 0.44

A MeerKAT-meets-LOFAR study of Abell 1413: a moderately disturbed non-cool-core cluster hosting a ~500 kpc 'mini'-halo


Repository for the Parallel Ice Sheet Model (PISM)

Contribution of the Greenland Ice Sheet to sea level over the next millennium

Antarctic sub-shelf melt rates via PICO

Glacial-cycle simulations of the Antarctic Ice Sheet with the Parallel Ice Sheet Model (PISM) – Part 2: Parameter ensemble analysis

Glacial-cycle simulations of the Antarctic Ice Sheet with the Parallel Ice Sheet Model (PISM) – Part 1: Boundary conditions and climatic forcing

From cyclic ice streaming to Heinrich-like events: the grow-and-surge instability in the Parallel Ice Sheet Model

A salty deep ocean as a prerequisite for glacial termination

Dynamic regimes of the Greenland Ice Sheet emerging from interacting melt-elevation and glacial isostatic adjustment feedbacks

Climate intervention on a high-emissions pathway could delay but not prevent West Antarctic Ice Sheet demise

Simulating interactive ice sheets in the multi-resolution AWI-ESM 1.2: A case study using SCOPE 1.0

Future sea level contribution from Antarctica inferred from CMIP5 model forcing and its dependence on precipitation ansatz


Vlasiator - ten letters you can count on

Vlasov methods in space physics and astrophysics

Living reviews in computational astrophysics

Magnetosheath jet properties and evolution as determined by a global hybrid-Vlasov simulation

FORESAIL‐1 CubeSat Mission to Measure Radiation Belt Losses and Demonstrate Deorbiting

Transmission of foreshock waves through Earth's bow shock

Cavitons and spontaneous hot flow anomalies in a hybrid-Vlasov global magnetospheric simulation

Magnetotail plasma eruptions driven by magnetic reconnection and kinetic instabilities

Vlasov simulation of electrons in the context of hybrid global models: An eVlasiator approach

Foreshock cavitons and spontaneous hot flow anomalies: a statistical study with a global hybrid-Vlasov simulation

Non-locality of the Earth's quasi-parallel bow shock: injection of thermal protons in a hybrid-Vlasov simulation

Physics-motivated cell-octree adaptive mesh refinement in the Vlasiator 5.3 global hybrid-Vlasov code


A multi-scale, python-based library for the modelling of solar cells and semiconductor materials


Foundational Models for State-of-the-Art Speech and Text Translation

Seamless: Multilingual Expressive and Streaming Speech Translation

SeamlessM4T: Massively Multilingual & Multimodal Machine Translation

MuTox: Universal MUltilingual Audio-based TOXicity Dataset and Zero-shot Detector

Integrating Paralinguistics in Speech-Empowered Large Language Models for Natural Conversation

Efficient Monotonic Multihead Attention

TransVIP: Speech to Speech Translation System with Voice and Isochrony Preservation


An easy-to-use reinforcement learning library for research and education.

UCB Momentum Q-learning: Correcting the bias without forgetting

Kernel-Based Reinforcement Learning: A Finite-Time Analysis

Adaptive Discretization in Online Reinforcement Learning

Near Instance-Optimal PAC Reinforcement Learning for Deterministic MDPs

Online Policy Optimization for Robust MDP

Bandits Corrupted by Nature: Lower Bounds on Regret and Robust Optimistic Algorithm

Optimistic Posterior Sampling for Reinforcement Learning with Few Samples and Tight Guarantees

Model-free Posterior Sampling via Learning Rate Randomization

Adversarial Online Multi-Task Reinforcement Learning

Entropy Regularized Reinforcement Learning with Cascading Networks


High-performance reactive message-passing based Bayesian inference engine

Reactive Message Passing for Scalable Bayesian Inference

A Bayesian Modeling Approach to Situated Design of Personalized Soundscaping Algorithms

AIDA: An Active Inference-Based Design Agent for Audio Processing Algorithms


Simple, Pythonic, text processing--Sentiment analysis, part-of-speech tagging, noun phrase extraction, translation, and more.

The citation advantage of linking publications to research data

Analyzing the hate and counter speech accounts on Twitter

Concept-Aware Denoising Graph Neural Network for Micro-Video Recommendation

Bias of AI-Generated Content: An Examination of News Produced by Large Language Models

Sentiment and Knowledge Based Algorithmic Trading with Deep Reinforcement Learning

A Comprehensive Survey on Process-Oriented Automatic Text Summarization
  with Exploration of LLM-Based Methods

pysentimiento: A Python Toolkit for Opinion Mining and Social NLP tasks

A Hybrid Framework Using PCA, EMD and LSTM Methods for Stock Market Price Prediction with Sentiment Analysis

Dictionary-based Data Augmentation for Cross-Domain Neural Machine Translation

Fact-driven Logical Reasoning.


SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

Using LLMs to Facilitate Formal Verification of RTL

AutoSVA: Democratizing Formal Verification of RTL Module Interactions

Formally Verifying WARP-V, an Open-Source TL-Verilog RISC-V Core Generator

Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs


Maplab: An Open Framework for Research in Visual-Inertial Mapping and Localization

International Conference on Robotics and Automation

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

ADVIO: An authentic dataset for visual-inertial odometry

An open‐source system for vision‐based micro‐aerial vehicle mapping, planning, and flight in cluttered environments

maplab 2.0 -- A Modular and Multi-Modal Mapping Framework

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

A Complete System for Vision-Based Micro-Aerial Vehicle Mapping, Planning, and Flight in Cluttered Environments

Long-term Large-scale Mapping and Localization Using maplab

Advanced Algorithms of Collision Free Navigation and Flocking for Autonomous UAVs


A high-performance Python-based I/O system for large (and small) deep learning problems, with strong support for PyTorch.

SpeechBrain: A General-Purpose Speech Toolkit

OpenFlamingo: An Open-Source Framework for Training Large Autoregressive Vision-Language Models

DataComp: In search of the next generation of multimodal datasets

High Performance I/O For Large Scale Deep Learning

4M: Massively Multimodal Masked Modeling

Learning Navigational Visual Representations with Semantic Map Supervision

Deep Lake: a Lakehouse for Deep Learning

MMInA: Benchmarking Multihop Multimodal Internet Agents

Transferable Tactile Transformers for Representation Learning Across Diverse Sensors and Tasks

Profiling and Improving the PyTorch Dataloader for high-latency Storage: A Technical Report


JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering -- A White Paper

Symbolic Pathfinder for SV-COMP

Tools and Algorithms for Construction and Analysis of Systems

Java Pathfinder at SV-COMP 2019 (Competition Contribution)

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

Design, implementation, and application of GPU-based Java bytecode interpreters

Proceedings of the ACM on Programming Languages

PASDA: A partition-based semantic differencing approach with best effort classification of undecided cases


Containerized radio interferometry scripting framework -- NB: Classic version is no longer in active development, use stimela 2! See README for details.

The MeerKAT Galaxy Cluster Legacy Survey I. Survey Overview and Highlights.

Primary beam effects of radio astronomy antennas - II. Modelling MeerKAT L-band beams

DeepSource: Point Source Detection using Deep Learning

Collimated synchrotron threads linking the radio lobes of ESO 137-006

The flickering nuclear activity of Fornax A

A MeerKAT view of pre-processing in the Fornax A group

Neutral hydrogen gas within and around NGC 1316

Nature of the unusual transient AT 2018cow from HI observations of its host galaxy

KERN

Towards the first detection of strongly lensed H I emission


Fast Python Collaborative Filtering for Implicit Feedback Datasets

Surprise: A Python library for recommender systems

Evaluating Stochastic Rankings with Expected Exposure

International Conference on Information and Knowledge Management

LensKit for Python: Next-Generation Software for Recommender Systems Experiments

Two-sided fairness in rankings via Lorenz dominance

Revisiting Popularity and Demographic Biases in Recommender Evaluation and Effectiveness

Reinforcement Routing on Proximity Graph for Efficient Recommendation

Optimizing generalized Gini indices for fairness in rankings

Music Playlist Continuation by Learning from Hand-Curated Examples and Song Features.

Fast online ranking with fairness of exposure

Personalizing Similar Product Recommendations in Fashion E-commerce


ChampSim is an open-source trace based simulator maintained at Texas A&M University and through the support of the computer architecture community.

Pythia: A Customizable Hardware Prefetching Framework Using Online Reinforcement Learning

PROCEEDINGS OF 54TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, MICRO 2021

Branch Prediction Is Not A Solved Problem: Measurements, Opportunities, and Future Directions

PROCEEDINGS OF THE 2019 IEEE INTERNATIONAL SYMPOSIUM ON WORKLOAD CHARACTERIZATION (IISWC 2019)

Hermes: Accelerating Long-Latency Load Requests via Perceptron-Based Off-Chip Load Prediction

Fine-grained address segmentation for attention-based variable-degree prefetching

Proceedings of the 19th ACM International Conference on Computing Frontiers

An In-Memory Analog Computing Co-Processor for Energy-Efficient CNN Inference on Mobile Devices

Leaking Control Flow Information via the Hardware Prefetcher

A Storage-Effective BTB Organization for Servers

Puppeteer: A Random Forest Based Manager for Hardware Prefetchers Across the Memory Hierarchy

TransforMAP: Transformer for Memory Access Prediction

Phases, Modalities, Temporal and Spatial Locality: Domain Specific ML Prefetcher for Accelerating Graph Analytics


A Python-based toolbox of various methods in decision making, uncertainty quantification and statistical emulation: multi-fidelity, experimental design, Bayesian optimisation, Bayesian quadrature, etc.

BoTorch: A Framework for Efficient Monte-Carlo Bayesian Optimization

Deep Gaussian Processes for Multi-fidelity Modeling

Emulation of physical processes with Emukit

BOFFIN TTS: Few-Shot Speaker Adaptation by Bayesian Optimization

Meta-Surrogate Benchmarking for Hyperparameter Optimization

A Multi-Fidelity Emulator for the Matter Power Spectrum using Gaussian Processes

Preferential Batch Bayesian Optimization

Hyperparameter Transfer Learning with Adaptive Complexity

Residual Gaussian Process: A Tractable Nonparametric Bayesian Emulator for Multi-fidelity Simulations

Bayesian Optimisation for Sequential Experimental Design with Applications in Additive Manufacturing


To speedup and simplify image labeling/ annotation process with multiple supported formats.

A Deep Learning Method for the Impact Damage Segmentation of Curve-Shaped CFRP Specimens Inspected by Infrared Thermography

Literature Review on Ship Localization, Classification, and Detection Methods Based on Optical Sensors and Neural Networks

t-EVA: Time-Efficient t-SNE Video Annotation

Teaching Computer Vision for Ecology


Libint: high-performance library for computing Gaussian integrals in quantum mechanics

ChemiQ: A Chemistry Simulator for Quantum Computer

Real-Time Equation-of-Motion Coupled-Cluster Cumulant Green's Function Method: Heterogeneous Parallel Implementation Based on the Tensor Algebra for Many-Body Methods Infrastructure.

Computing and Compressing Electron Repulsion Integrals on FPGAs

Validation of the GreenX library time-frequency component for efficient
  GW and RPA calculations


Brain Imaging Analysis Kit

Facilitating open-science with realistic fMRI simulation: validation and application

A Bayesian method for reducing bias in neural representational similarity analysis

Matrix-normal models for fMRI analysis

Incorporating structured assumptions with probabilistic graphical models in fMRI data analysis

Interaction-Grounded Learning with Action-inclusive Feedback

Brain network reconfiguration for narrative and argumentative thought


PicoRV32 - A Size-Optimized RISC-V CPU

ISA Extensions for Finite Field Arithmetic

IACR Transactions on Cryptographic Hardware and Embedded Systems

Exploring eFPGA-based Redaction for IP Protection

MIRACLE: MIcRo-ArChitectural Leakage Evaluation.

BRISC-V: An Open-Source Architecture Design Space Exploration Toolbox

Symposium on Field Programmable Gate Arrays

JuxtaPiton: Enabling Heterogeneous-ISA Research with RISC-V and SPARC FPGA Soft-cores

IOb-Cache: A High-Performance Configurable Open-Source Cache

A Semi-Formal Verification Methodology for Efficient Configuration Coverage of Highly Configurable Digital Designs

IBTIDA: Fully open-source ASIC implementation of Chisel-generated System on a Chip

eLIMInate: a Leakage-focused ISE for Masked Implementation

Design and Evaluation Frameworks for Advanced RISC-based Ternary Processor


Stellarator Equilibrium and Optimization Suite

The DESC stellarator code suite Part 3: Quasi-symmetry optimization

The DESC Stellarator Code Suite Part I: Quick and accurate equilibria computations

The DESC Stellarator Code Suite Part II: Perturbation and continuation methods


Python library for Representational Similarity Analysis

Beyond core object recognition: Recurrent processes account for object recognition under occlusion

Value generalization in human avoidance learning

Comparing representational geometries using whitened unbiased-distance-matrix similarity

Stability of motor representations after paralysis

S1 represents multisensory contexts and somatotopic locations within and outside the bounds of the cortical homunculus

Statistical inference on representational geometries

Shared neural representations and temporal segmentation of political content predict ideological similarity

Prediction error processing and sharpening of expected information across the face-processing hierarchy

Evidence for shared conceptual representations for sign and speech

Does Ipsilateral Remapping Following Hand Loss Impact Motor Control of the Intact Hand?


Calculation engine for the Energy Transition Model


Resource Entitlement Management System is a tool for managing access rights to resources, such as research datasets.

Common ELIXIR Service for Researcher Authentication and Authorisation

GA4GH Passport standard for digital identity and access permissions


A Simulation Environment to train Robots in Large Realistic Interactive Scenes

iGibson 1.0: A Simulation Environment for Interactive Tasks in Large Realistic Scenes

Interactive Gibson Benchmark: A Benchmark for Interactive Navigation in Cluttered Environments

iGibson 2.0: Object-Centric Simulation for Robot Learning of Everyday Household Tasks

A Survey on Human-aware Robot Navigation


MuJoCo is a physics engine for detailed, efficient rigid body simulations with contacts. mujoco-py allows using MuJoCo from Python 3.

Nengo and low-power AI hardware for robust, embedded neurorobotics

Fault-Tolerant Federated Reinforcement Learning with Theoretical Guarantee

DoorGym: A Scalable Door Opening Environment And Baseline Agent

Conditioning Sparse Variational Gaussian Processes for Online Decision-making

Deep Reinforcement Learning

Learning Sparse Rewarded Tasks from Sub-Optimal Demonstrations

Self-Adaptive Imitation Learning: Learning Tasks with Delayed Rewards from Sub-optimal Demonstrations

THIRTY-SIXTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FOURTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE / TWELVETH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE

Characterization of continuum robot arms under reinforcement learning and derived improvements

Karolos: An Open-Source Reinforcement Learning Framework for Robot-Task Environments

Deep Generative Models for Decision-Making and Control


This program converts MATLAB®/Octave figures to TikZ/pgfplots figures for smooth integration into LaTeX.

Photon Counting Histogram Expectation Maximization Algorithm for Characterization of Deep Sub-Electron Read Noise Sensors

On the optimal measurement of conversion gain in the presence of dark noise.

Journal of the Optical Society of America. A, Optics, image science, and vision

Experimental Verification of PCH-EM Algorithm for Characterizing DSERN Image Sensors


Synthetic data generators for tabular and time-series data

Improved Training of Wasserstein GANs

Wasserstein GAN

Modeling Tabular data using Conditional GAN

On Convergence and Stability of GANs

Using GANs for Sharing Networked Time Series Data: Challenges, Initial Promise, and Open Questions

Generating Multi-Categorical Samples with Generative Adversarial Networks

Standardised Metrics and Methods for Synthetic Tabular Data Evaluation

Task-Oriented Prediction and Communication Co-Design for Haptic Communications

Enhancing Network Intrusion Detection Performance using Generative
  Adversarial Networks


A platform for impacted communities to understand their local air quality and advocate for environmental justice.


An implementation of Scalable service-Oriented MiddlewarE over IP

A Service-Oriented Real-Time Communication Scheme for AUTOSAR Adaptive Using OPC UA and Time-Sensitive Networking

An Authentication and Secure Communication Scheme for In-Vehicle Networks Based on SOME/IP

Design of a CANFD to SOME/IP Gateway Considering Security for In-Vehicle Networks

Protecting SOME/IP Communication via Authentication Ticket

Authenticated and Secure Automotive Service Discovery with DNSSEC and DANE


NoSQL Redis and Memcache traffic generation and benchmarking tool.

Memory DoS Attacks in Multi-tenant Clouds: Severity and Mitigation

Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders

Kollaps: Decentralized and Dynamic Topology Emulation

TEEMon: A continuous performance monitoring framework for TEEs

Concerto: Dynamic Processor Scaling for Distributed Data Systems with Replication

Async-fork: Mitigating Query Latency Spikes Incurred by the Fork-based Snapshot Mechanism from the OS Level

Application-Oriented Data Migration to Accelerate In-Memory Database on Hybrid Memory

ROVN: Replica Placement for Distributed Data System with Heterogeneous Memory Devices

WELES: Policy-driven Runtime Integrity Enforcement of Virtual Machines

Design and Implementation of Burst Buffer Over-Subscription Scheme for HPC Storage Systems


:bar_chart: A universal enrichment tool for interpreting omics data

clusterProfiler 4.0: A universal enrichment tool for interpreting omics data

PRMD: an integrated database for plant RNA modifications

Effects of sex and aging on the immune cell landscape as assessed by single-cell transcriptomic analysis

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

clusterProfiler: An universal enrichment tool for functional and comparative study

Survival Analysis of Multi-Omics Data Identifies Potential Prognostic Markers of Pancreatic Ductal Adenocarcinoma

De novo transcriptome and phytochemical analyses reveal differentially expressed genes and characteristic secondary metabolites in the original oolong tea (Camellia sinensis) cultivar ‘Tieguanyin’ compared with cultivar ‘Benshan’

Integrated Analysis to Evaluate the Prognostic Value of Signature mRNAs in Glioblastoma Multiforme

Single-cell profiling reveals pathogenic role and differentiation trajectory of granzyme K+CD8+ T cells in primary Sjögren’s syndrome

Radiation increases COL1A1, COL3A1, and COL1A2 expression in breast cancer

Profiling mouse cochlear cell maturation using 10× Genomics single-cell transcriptomics


LlamaIndex is a data framework for your LLM applications

14 examples of how LLMs can transform materials science and chemistry: a reflection on a large language model hackathon

RA-DIT: Retrieval-Augmented Dual Instruction Tuning

Personal LLM Agents: Insights and Survey about the Capability, Efficiency and Security

RAPTOR: Recursive Abstractive Processing for Tree-Organized Retrieval

PoisonedRAG: Knowledge Poisoning Attacks to Retrieval-Augmented
  Generation of Large Language Models

MechGPT, a language-based strategy for mechanics and materials modeling that connects knowledge across scales, disciplines and modalities

BioinspiredLLM: Conversational Large Language Model for the Mechanics of Biological and Bio-inspired Materials

Privacy-Preserving In-Context Learning for Large Language Models

Augmented Large Language Models with Parametric Knowledge Guiding

ReST meets ReAct: Self-Improvement for Multi-Step Reasoning LLM Agent


Construction and Comparison of High-Dimensional Sobol' Generators

Application of quasi-Monte Carlo methods to elliptic PDEs with random diffusion coefficients - a survey of analysis and implementation

Algorithm 958: Lattice Builder: A General Software Tool for Constructing Rank-1 Lattice Rules

ACM Transactions on Mathematical Software

Guaranteed Conservative Fixed Width Confidence Intervals Via Monte Carlo Sampling

Quasi-Monte Carlo Software


WRF-Hydro model code


System evaluation of the Intel optane byte-addressable NVM

Proceedings of the International Symposium on Memory Systems

Persistent Memory I/O Primitives

Building blocks for persistent memory

Replicating Persistent Memory Key-Value Stores with Efficient RDMA Abstraction

I/O Transit Caching for PMem-based Block Device


NSGA2, NSGA3, R-NSGA3, MOEAD, Genetic Algorithms (GA), Differential Evolution (DE), CMAES, PSO

Multi-Objective Hyperparameter Optimization in Machine Learning—An Overview

Multi-objective optimization via equivariant deep hypervolume approximation


Genome annotation with AUGUSTUS

BRAKER2: automatic eukaryotic genome annotation with GeneMark-EP+ and AUGUSTUS supported by a protein database

Genome evolution and diversity of wild and cultivated potatoes

Impacts of allopolyploidization and structural variation on intraspecific diversification in Brassica rapa

De novo phased assembly of the Vitis riparia grape genome

Genomic and Metabolomic Analyses of the Medicinal Fungus Inonotus hispidus for Its Metabolite’s Biosynthesis and Medicinal Application

Hedgehog signaling controls segmentation dynamics and diversity via msx1 in a spider embryo

Cepharanthine analogs mining and genomes of Stephania accelerate anti-coronavirus drug discovery

A High-Quality Haplotype-Resolved Genome of Common Bermudagrass (Cynodon dactylon L.) Provides Insights Into Polyploid Genome Stability and Prostrate Growth

Comparative Genomic Analysis and Metabolic Potential Profiling of a Novel Culinary-Medicinal Mushroom, Hericium rajendrae (Basidiomycota)

Subgenome dominance shapes novel gene evolution in the decaploid pitcher plantNepenthes gracilis


A collection of infrastructure and tools for research in neural network interpretability.

The Building Blocks of Interpretability

Feature Visualization

Multimodal datasets: misogyny, pornography, and malignant stereotypes

Adversarial Robustness as a Prior for Learned Representations

Summit: Scaling Deep Learning Interpretability by Visualizing Activation and Attribution Summarizations

Activation Atlas

Differentiable Image Parameterizations

Leveraging Sparse Linear Layers for Debuggable Deep Networks

An Atari Model Zoo for Analyzing, Visualizing, and Comparing Deep Reinforcement Learning Agents

Explainable AI for Bioinformatics: Methods, Tools, and Applications


Signal-level algorithms for MinION data

Tracking Changes in SARS-CoV-2 Spike: Evidence that D614G Increases Infectivity of the COVID-19 Virus

Real-time, portable genome sequencing for Ebola surveillance

A complete bacterial genome assembled de novo using only nanopore sequencing data

Telomere-to-telomere assembly of a complete human X chromosome

Nanopore native RNA sequencing of a human poly(A) transcriptome

D614G Spike Mutation Increases SARS CoV-2 Susceptibility to Neutralization

Fast and sensitive mapping of nanopore sequencing reads with GraphMap

MinION Analysis and Reference Consortium: Phase 1 data release and analysis

Nanopore Sequencing Technology and Tools: Computational Analysis of the Current State, Bottlenecks, and Future Directions

Research in Computational Molecular Biology

In vitro selection of Remdesivir resistance suggests evolutionary predictability of SARS-CoV-2


Arb has been merged into FLINT -- use https://github.com/flintlib/flint/ instead

Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic

Computing Hypergeometric Functions Rigorously

Outgoing solutions and radiation boundary conditions for the ideal atmospheric scalar wave equation in helioseismology

ESAIM: Mathematical Modelling and Numerical Analysis

Scarcity of congruences for the partition function

How to split a tera-polynomial

GLoW: novel methods for wave-optics phenomena in gravitational lensing


JSON for Modern C++

The NIST REFPROP Database for Highly Accurate Properties of Industrially Important Fluids

Industrial & engineering chemistry research

NetKet: A machine learning toolkit for many-body quantum systems

Molassembler: Molecular Graph Construction, Modification, and Conformer Generation for Inorganic and Organic Molecules

Journal of chemical information and modeling

STADS: Software Testing as Species Discovery

Deeply learning deep inelastic scattering kinematics

Incorporating Topological Representation in 3D City Models

ISPRS International Journal of Geo-Information

SAGE: a Monte Carlo simulation framework for experiments with germanium detectors

iMOKA: k-mer based software to analyze large collections of sequencing data

Anonymous and Confidential File Sharing over Untrusted Clouds

Symposium on Reliable Distributed Systems

ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts


D-Wave Systems extension of the NetworkX Python package for graphs and graph algorithms.

Benchmarking Advantage and D-Wave 2000Q quantum annealers with exact cover problems

Solving the Traveling Salesman Problem on the D-Wave Quantum Computer

Comparing Three Generations of D-Wave Quantum Annealers for Minor Embedded Combinatorial Optimization Problems

4-clique Network Minor Embedding for Quantum Annealers


⛔ DEPRECATED – See https://github.com/ageron/handson-ml3 instead.

Encoding High-Cardinality String Categorical Variables

IEEE Transactions on Knowledge and Data Engineering

Non-Euclidean Universal Approximation

Versatile Verification of Tree Ensembles

Learning Sub-Patterns in Piecewise Continuous Functions

Measuring the Algorithmic Convergence of Randomized Ensembles: The Regression Setting


A 2D chart library for Java applications (JavaFX, Swing or server-side).

ChatUniTest: A Framework for LLM-Based Test Generation

A comprehensive study of pseudo-tested methods

Sentinel: A Hyper-Heuristic for the Generation of Mutant Reduction Strategies

IEEE Transactions on Software Engineering

Active Learning of Discriminative Subgraph Patterns for API Misuse Detection

Using mutation testing to measure behavioural test diversity

International Conference on Software Testing, Verification and Validation Workshops

Predictive Monitoring against Pattern Regular Languages

Contextual Predictive Mutation Testing


Amplicon sequencing analysis workflow using DADA2 and QIIME2

DADA2: High-resolution sample inference from Illumina amplicon data

The nf-core framework for community-curated bioinformatics pipelines

Interpretations of Environmental Microbial Community Studies Are Biased by the Selected 16S rRNA (Gene) Amplicon Sequencing Pipeline

Arsenic mobilization by anaerobic iron-dependent methane oxidation

Identification of Bull Semen Microbiome by 16S Sequencing and Possible Relationships with Fertility

Prokaryotic and eukaryotic microbial diversity from three soda lakes in the East African Rift Valley determined by amplicon sequencing

Bacterial diversity in semen from stallions in three European countries evaluated by 16S sequencing

In Vitro Incubations Do Not Reflect In Vivo Differences Based on Ranking of Low and High Methane Emitters in Dairy Cows

Animals : an open access journal from MDPI

Diversity Profiling of Seed Associated Endophytic Microbiome in Important Species of Caricaceae Family


OWL API main repository

An ontology-guided semantic data integration framework to support integrative data analysis of cancer survival

BMC medical informatics and decision making

Get GO! Retrieving GO Data Using AmiGO, QuickGO, API, Files, and Tools

Methods in molecular biology (Clifton, N.J.)

A Rule-Based Reasoner for Underwater Robots Using OWL and SWRL

Development Experience of a Context-Aware System for Smart Irrigation Using CASO and IRRIG Ontologies

Integroly: Automatic Knowledge Graph Population from Social Big Data in the Political Marketing Domain

The CaLiGraph Ontology as a Challenge for OWL Reasoners

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

OWLSIZ: An isiZulu CNL for structured knowledge validation

Leveraging Algorithms to Improve Decision-Making Workflows for Genomic Data Access and Management

Extraction of common conceptual components from multiple ontologies


A framework for large scale recommendation algorithms.

Wide & Deep Learning for Recommender Systems

DeepFM: A Factorization-Machine based Neural Network for CTR Prediction

Learning deep structured semantic models for web search using clickthrough data

PROCEEDINGS OF THE 22ND ACM INTERNATIONAL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT (CIKM'13)

Deep & Cross Network for Ad Click Predictions

Modeling Task Relationships in Multi-task Learning with Multi-gate Mixture-of-Experts

AutoInt: Automatic Feature Interaction Learning via Self-Attentive Neural Networks

PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON INFORMATION & KNOWLEDGE MANAGEMENT (CIKM '19)

Deep Learning Recommendation Model for Personalization and Recommendation Systems

MIND: A Large-scale Dataset for News Recommendation

Meeting of the Association for Computational Linguistics

Progressive Layered Extraction (PLE): A Novel Multi-Task Learning (MTL) Model for Personalized Recommendations

RECSYS 2020: 14TH ACM CONFERENCE ON RECOMMENDER SYSTEMS

Behavior Sequence Transformer for E-commerce Recommendation in Alibaba


An easy-to-use LLMs quantization package with user-friendly apis, based on GPTQ algorithm.

A Survey of Large Language Models

GPTQ: Accurate Post-Training Quantization for Generative Pre-trained Transformers

PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback

ShortGPT: Layers in Large Language Models are More Redundant Than You
  Expect

QLLM: Accurate and Efficient Low-Bitwidth Quantization for Large Language Models

FwdLLM: Efficient FedLLM using Forward Gradient

LLMCad: Fast and Scalable On-device Large Language Model Inference

Decoding Compressed Trust: Scrutinizing the Trustworthiness of Efficient
  LLMs Under Compression

IntactKV: Improving Large Language Model Quantization by Keeping Pivot
  Tokens Intact

PrivateLoRA For Efficient Privacy Preserving LLM


Hidden Markov Models in Python, with scikit-learn like API

Endogenous variation in ventromedial prefrontal cortex state dynamics during naturalistic viewing reflects affective experience

A parsimonious description of global functional brain organization in three spatiotemporal patterns

WormPose: Image synthesis and convolutional networks for pose estimation in C. elegans

Multiple perspectives HMM-based feature engineering for credit card fraud detection

Improving condition- and environment-invariant place recognition with semantic place categorization

Implementation and Assessment of an Intelligent Motor Tele-Rehabilitation Platform

Fake News Detection using Stance Classification: A Survey

Learning, Improving, and Generalizing Motor Skills for the Peg-in-Hole Tasks Based on Imitation Learning and Self-Learning

A Hybrid Hidden Markov Model for Pipeline Leakage Detection

Recovering from External Disturbances in Online Manipulation through State-Dependent Revertive Recovery Policies


A flexible free and unlimited python tool to translate between different languages in a simple way using multiple translators.

WhatTheWikiFact: Fact-Checking Claims Against Wikipedia

Portuguese public procurement data for construction (2015–2022)

GCDT: A Chinese RST Treebank for Multigenre and Multilingual Discourse Parsing

KC4MT: A High-Quality Corpus for Multilingual Machine Translation

LREC 2022: THIRTEEN INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION

Implementing Deep Learning-Based Approaches for Article Summarization in Indian Languages

Examining Forgetting in Continual Pre-training of Aligned Large Language Models

KC4Align: Improving Sentence Alignment method for Low-resource Language Pairs

Pacific Asia Conference on Language, Information and Computation

A multidisciplinary framework for deconstructing bots' pluripotency in
  dualistic antagonism

tmn at SemEval-2023 Task 9: Multilingual Tweet Intimacy Detection Using XLM-T, Google Translate, and Ensemble Learning


[NeurIPS'23 Oral] Visual Instruction Tuning (LLaVA) built towards GPT-4V level capabilities and beyond.

Visual Instruction Tuning

Improved Baselines with Visual Instruction Tuning

Instruction Tuning for Large Language Models: A Survey

LLaVAR: Enhanced Visual Instruction Tuning for Text-Rich Image Understanding

Cheap and Quick: Efficient Vision-Language Instruction Tuning for Large Language Models

VideoLLaMA 2: Advancing Spatial-Temporal Modeling and Audio Understanding in Video-LLMs

An Empirical Study of Scaling Instruct-Tuned Large Multimodal Models

Unified Hallucination Detection for Multimodal Large Language Models

Safety Fine-Tuning at (Almost) No Cost: A Baseline for Vision Large
  Language Models

When Do We Not Need Larger Vision Models?


An open source python package for processing and analysis of 4D STEM data.

Recent advances and applications of deep learning methods in materials science

Correlative image learning of chemo-mechanics in phase-transforming solids

Cryogenic 4D-STEM analysis of an amorphous-crystalline polymer blend: Combined nanocrystalline and amorphous phase mapping

Iterative Phase Retrieval Algorithms for Scanning Transmission Electron Microscopy

Direct Imaging of the Crystalline Domains and Their Orientation in the PS-b-PEO Block Copolymer with 4D-STEM


AI for tomography

Boosting Active Learning via Improving Test Performance

AITom: Open-source AI platform for cryo-electron tomography data analysis

Active Learning to Classify Macromolecular Structures in situ for Less Supervision in Cryo-Electron Tomography

Few shot domain adaptation for in situ macromolecule structural classification in cryo-electron tomograms

Cryo-shift: Reducing domain shift in cryo-electron subtomograms with unsupervised domain adaptation and randomization


DCC/UC3 collaboration for a data management planning tool

Data Management Planning: How Requirements and Solutions are Beginning to Converge

Next-Generation Data Management Plans: Global, Machine-Actionable, FAIR

International Journal of Digital Curation

Application Profile for Machine-Actionable Data Management Plans

A Landscape Survey of ActiveDMPs

"You say potato, I say potato" - Mapping Digital Preservation and Research Data Management Concepts towards Collective Curation and Preservation Strategies

Zenodo (CERN European Organization for Nuclear Research)

Data management plans as linked open data: exploiting ARGOS FAIR and machine actionable outputs in the OpenAIRE research graph


N-body and hydro analysis tools for Python 3. (Older versions support Python 2.)

Dark matter cores all the way down

The stellar mass-halo mass relation of isolated field dwarfs: a critical test of ΛCDM at the edge of galaxy formation

A Superbubble Feedback Model for Galaxy Simulations

Understanding the shape and diversity of dwarf galaxy rotation curves in ΛCDM

Adaptive Techniques for Clustered N-Body Cosmological Simulations

The case for a cold dark matter cusp in Draco

Monthly notices of the Royal Astronomical Society

The formation of ultradiffuse galaxies in the RomulusC galaxy cluster simulation

The formation of stellar nuclear discs in bar-induced gas inflows

The formation of isolated ultradiffuse galaxies in romulus25

Simulating disc galaxy bulges that are consistent with observed scaling relations

Monthly Notices of the Royal Astronomical Society: Letters


A Bayesian optimization toolbox built on TensorFlow

GIBBON: General-purpose Information-Based Bayesian OptimisatioN

Scalable Thompson Sampling using Sparse Gaussian Process Models

GAUCHE: A Library for Gaussian Processes in Chemistry

Bayesian Quantile and Expectile Optimisation

Inducing Point Allocation for Sparse Gaussian Processes in High-Throughput Bayesian Optimisation

Trieste: Efficiently Exploring The Depths of Black-box Functions with TensorFlow

Bayesian Optimisation for Sequential Experimental Design with Applications in Additive Manufacturing

A robust multi-objective Bayesian optimization framework considering input uncertainty

A penalisation method for batch multi-objective Bayesian optimisation with application in heat exchanger design

Challenges in migrating imperative deep learning programs to graph execution

Proceedings of the 19th International Conference on Mining Software Repositories


Image processing in Python

Exact Feature Distribution Matching for Arbitrary Style Transfer and Domain Generalization

Analyzing microtomography data with Python and the scikit-image library

Advanced structural and chemical imaging

Feasibility of track-based multiple scattering tomography

Attribution-based Explanations that Provide Recourse Cannot be Robust

Iterative static field map estimation for off‐resonance correction in non‐Cartesian susceptibility weighted imaging

From Academia to Software Development: Publication Citations in Source Code Comments

Semi-Supervised Panoptic Narrative Grounding

Proceedings of the 31st ACM International Conference on Multimedia

DiCOVA-Net: Diagnosing COVID-19 using Acoustics based on Deep Residual Network for the DiCOVA Challenge 2021

Image Translation of Breast Ultrasound to Pseudo Anatomical Display by CycleGAN

Generating Adversarial Examples with an Optimized Quality


The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

The ExAC browser: displaying reference data information from over 60 000 exomes

Discovering community patterns in open-source: a systematic approach and its evaluation

MDR: an integrative DNA N6-methyladenine and N4-methylcytosine modification database for Rosaceae

An E-government Interoperability Platform Supporting Personal Data Protection Regulations

Which Pull Requests Get Accepted and Why? A study of popular NPM Packages

Developing a knowledge base to support the annotation of ultrasound images of ectopic pregnancy

Graphs from Features: Tree-Based Graph Layout for Feature Analysis

GHTraffic: A Dataset for Reproducible Research in Service-Oriented Computing

Estimating Patch Propagation Times across (Blockchain) Forks

Genetic diversity of 1,845 rhesus macaques improves genetic variation interpretation and identifies disease models


Deliver web apps with confidence

To Type or Not to Type? A Systematic Comparison of the Software Quality of JavaScript and TypeScript Applications on GitHub

An empirical study of Linespots: A novel past-fault algorithm

Software testing, verification & reliability

CAOS: a tool for OpenStack accounting management

A Benchmarking Proposal for DevOps Practices on Open Source Software Projects

An Empirical Comparison of Ethnic and Gender Diversity of DevOps and non-DevOps Contributions to Open-Source Projects

Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications


A distributed approximate nearest neighborhood search (ANN) library which provides a high quality vector index build, search and distributed online serving toolkits for large scale vector search scenario.

A Comprehensive Survey and Experimental Comparison of Graph-Based Approximate Nearest Neighbor Search

Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval

SPANN: Highly-efficient Billion-scale Approximate Nearest Neighborhood Search

SPANN: Highly-efficient Billion-scale Approximate Nearest Neighbor Search

Manu: A Cloud Native Vector Database Management System

Survey of Vector Database Management Systems

ParlayANN: Scalable and Deterministic Parallel Graph-Based Approximate Nearest Neighbor Search Algorithms

Similarity search in the blink of an eye with compressed indices

Navigable Proximity Graph-Driven Native Hybrid Queries with Structured and Unstructured Constraints

Fast and Exact Nearest Neighbor Search in Hamming Space on Full-Text Search Engines


SRA Tools

Database resources of the National Center for Biotechnology Information

Accurate, scalable cohort variant calls using DeepVariant and GLnexus

damidseq_pipeline: an automated pipeline for processing DamID sequencing datasets

Genome-wide study of hair colour in UK Biobank explains most of the SNP heritability

An improved zebrafish transcriptome annotation for sensitive and comprehensive detection of cell type-specific genes

DISCO: a database of Deeply Integrated human Single-Cell Omics data

Environmental and epigenetic regulation of Rider retrotransposons in tomato

Unique Molecular Identifiers reveal a novel sequencing artefact with implications for RNA-Seq based gene expression analysis

Microbiomes in the Challenger Deep slope and bottom-axis sediments

A chromosome-level genome sequence of Chrysanthemum seticuspe, a model species for hexaploid cultivated chrysanthemum


Decentralized deep learning in PyTorch. Built to train models on thousands of volunteers across the world.

Towards Crowdsourced Training of Large Neural Networks using Decentralized Mixture-of-Experts

Distributed Deep Learning in Open Collaborations

Moshpit SGD: Communication-Efficient Decentralized Training on Heterogeneous Unreliable Devices

Secure Distributed Training at Scale

Training Transformers Together

How Can We Train Deep Learning Models Across Clouds and Continents? An Experimental Study

ATOM: Asynchronous Training of Massive Models for Deep Learning in a
  Decentralized Environment


PyTorch Extension Library of Optimized Autograd Sparse Matrix Operations

Sketch-GNN: Scalable Graph Neural Networks with Sublinear Training Complexity

Characterizing the Efficiency of Graph Neural Network Frameworks with a Magnifying Glass


Self describing hashes - for future proofing

Astraea: A Decentralized Blockchain Oracle

COVID‐19 and future pandemics: A blockchain‐based privacy‐aware secure borderless travel solution from electronic health records

Unified InterPlanetary Smart Parking Network for Maximum End-User Flexibility


A python implementation of Gate Set Tomography

Computing with spin qubits at the surface code error threshold

Detecting and tracking drift in quantum information processors

Rigorous measurement error correction

Experimental Pauli-frame randomization on a superconducting qubit

Bootstrapping quantum process tomography via a perturbative ansatz

Conditionally Rigorous Mitigation of Multiqubit Measurement Errors.

Establishing trust in quantum computations

Self-consistent quantum tomography with regularization

Transformer Models for Quantum Gate Set Tomography


A blocking, shuffling and loss-less compression library that can be faster than `memcpy()`.

Test Set Diameter: Quantifying the Diversity of Sets of Test Cases

A Low-Cost, Flexible and Portable Volumetric Capturing System

Signal-Image Technology and Internet-Based Systems

Interpretation-enabled Software Reuse Detection Based on a Multi-Level Birthmark Model

LiDetector: License Incompatibility Detection for Open Source Software

Stability Analysis of Inline ZFP Compression for Floating-Point Data in Iterative Methods

ROOT I/O compression algorithms and their performance impact within Run 3


A versatile pairwise aligner for genomic and spliced nucleotide sequences

Minimap2: pairwise alignment for nucleotide sequences

The Architecture of SARS-CoV-2 Transcriptome

Temporal Detection and Phylogenetic Assessment of SARS-CoV-2 in Municipal Wastewater

medRxiv : the preprint server for health sciences

New strategies to improve minimap2 alignment accuracy

A draft human pangenome reference

Nanopore sequencing and the Shasta toolkit enable efficient de novo assembly of eleven human genomes

Multiple spillovers from humans and onward transmission of SARS-CoV-2 in white-tailed deer

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

Prevotella copri increases fat accumulation in pigs fed with formula diets

Nanopore sequencing of long ribosomal DNA amplicons enables portable and simple biodiversity assessments with high phylogenetic resolution across broad taxonomic scale

Semi-automated assembly of high-quality diploid human reference genomes


Data Assimilation Research Testbed

Beyond ecosystem modeling: A roadmap to community cyberinfrastructure for ecological data‐model integration

The GUARDIAN system-a GNSS upper atmospheric real-time disaster information and alert network

The potential for geostationary remote sensing of NO 2 to improve weather prediction

A preliminary evaluation of FY-4A visible radiance data assimilation by the WRF (ARW v4.1.1)/DART (Manhattan release v9.8.0)-RTTOV (v12.3) system for a tropical storm case

Improving ensemble data assimilation through Probit-space Ensemble Size Expansion for Gaussian Copulas (PESE-GC)


zkSNARK implementation in JavaScript & WASM

Blockchain Based Zero-Knowledge Proof of Location in IoT

International Conference on Communications

AMR:Autonomous Coin Mixer with Privacy Preserving Reward Distribution

ZPiE: Zero-Knowledge Proofs in Embedded Systems

Certifying Zero-Knowledge Circuits with Refinement Types

Dispute-free Scalable Open Vote Network using zk-SNARKs

FORT: Right-Proving and Attribute-Blinding Self-Sovereign Authentication

zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials

opp/ai: Optimistic Privacy-Preserving AI on Blockchain

zkTax: A pragmatic way to support zero-knowledge tax disclosures

Benchmarking ZK-Friendly Hash Functions and SNARK Proving Systems for
  EVM-compatible Blockchains


Modular Ocean Model

SPEAR: The Next Generation GFDL Modeling System for Seasonal to Multidecadal Prediction and Projection

Journal of Advances in Modeling Earth Systems

GFDL's SPEAR Seasonal Prediction System: Initialization and Ocean Tendency Adjustment (OTA) for Coupled Model Predictions

Substantial global influence of anthropogenic aerosols on tropical cyclones over the past 40 years

Parameterization of Submesoscale Symmetric Instability in Dense Flows Along Topography

A weakened AMOC may prolong greenhouse gas–induced Mediterranean drying even with significant and rapid climate change mitigation

On Energy Cascades in General Flows: A Lagrangian Application


Proteomics search software with integrated calibration, PTM discovery, bottom-up, top-down and LFQ capabilities

O-Pair Search with MetaMorpheus for O-glycopeptide Characterization

Cleavable Cross-Linkers and Mass Spectrometry for the Ultimate Task of Profiling Protein-Protein Interaction Networks in Vivo.

A solution to the long-standing problem of actin expression and purification

Targeted Proteomic Quantitation of NRF2 Signaling and Predictive Biomarkers in HNSCC

Combined proteomic and biochemical analyses redefine the consensus sequence requirement for epidermal growth factor-like domain hydroxylation

Lysosomal cathepsin D mediates endogenous mucin glycodomain catabolism in mammals

The annotation and function of the Parkinson’s and Gaucher disease-linked geneGBA1has been concealed by its protein-coding pseudogeneGBAP1

Characterization of protein isoform diversity in human umbilical vein endothelial cells via long-read proteogenomics

Recent Contributions of Proteomics to Our Understanding of Reversible Nε-Lysine Acylation in Bacteria


Julia package for function approximation

Dedalus: A flexible framework for numerical simulations with spectral methods

The automatic solution of partial differential equations using a global spectral method

A practical framework for infinite-dimensional linear algebra

Fast polynomial transforms based on Toeplitz and Hankel matrices

The foundations of spectral computations via the Solvability Complexity Index hierarchy

A fast and well-conditioned spectral method for singular integral equations

Spectral Galerkin methods for transfer operators in uniformly expanding dynamics

On the Computation of Geometric Features of Spectra of Linear Operators on Hilbert Spaces

The "good" Boussinesq equation: a Riemann-Hilbert approach

Computing Spectral Measures and Spectral Types


An Extensible Deep Learning Library

MM1: Methods, Analysis & Insights from Multimodal LLM Pre-training

GSPMD: General and Scalable Parallelization for ML Computation Graphs

From Scarcity to Efficiency: Improving CLIP Training via Visual-enriched Captions

Less is More: Removing Text-regions Improves CLIP Training Efficiency and Robustness

MOFI: Learning Image Representations from Noisy Entity Annotated Images

MM1.5: Methods, Analysis & Insights from Multimodal LLM Fine-tuning

Theory, Analysis, and Best Practices for Sigmoid Self-Attention


The PennyLane-Lightning plugin provides a fast state-vector simulator written in C++ for use with PennyLane

PennyLane: Automatic differentiation of hybrid quantum-classical computations

All you need is spin: SU(2) equivariant variational quantum circuits based on spin networks

Hybrid quantum programming with PennyLane Lightning on HPC platforms


A friendly package for Kepler & TESS time series analysis in Python.

The CARMENES search for exoplanets around M dwarfs

Carolina Digital Repository (University of North Carolina at Chapel Hill)

The L 98-59 System: Three Transiting, Terrestrial-size Planets Orbiting a Nearby M Dwarf

Survey of Li-rich Giants among Kepler and LAMOST Fields: Determination of Li-rich Giants' Evolutionary Phase

An unusually low density ultra-short period super-Earth and three mini-Neptunes around the old star TOI-561

An ultra-short-period transiting super-Earth orbiting the M3 dwarf TOI-1685

TOI-2076 and TOI-1807: Two Young, Comoving Planetary Systems within 50 pc Identified by TESS that are Ideal Candidates for Further Follow Up

Mass and density of the transiting hot and rocky super-Earth LHS 1478 b (TOI-1640 b)

Searching for Small Circumbinary Planets. I. The STANLEY Automated Algorithm and No New Planets in Existing Systems

An enhanced slope in the transmission spectrum of the hot Jupiter WASP-104b

Long rotation period main-sequence stars from Kepler SAP light curves


Python Simulation Tool for Fractured and Deformable Porous Media

DuMux 3 – an open-source simulator for solving flow and transport problems in porous media with a focus on model coupling

Computers and Mathematics with Applications

PorePy: an open-source software for simulation of multiphysics processes in fractured porous media

Dual Virtual Element Method for Discrete Fractures Networks

Verification benchmarks for single-phase flow in three-dimensional fractured porous media

Conforming, non-conforming and non-matching discretization couplings in discrete fracture network simulations

PorePy: An Open-Source Simulation Tool for Flow and Transport in Deformable Fractured Rocks

Numerical Methods for Flow in Fractured Porous Media

Dual virtual element method in presence of an inclusion

Implementation of mixed-dimensional models for flow in fractured porous media

Numerical computation of stress-permeability relationships of fracture networks in a shale rock


The Topics API

Routing with Privacy for Drone Package Delivery Systems

Measuring Re-identification Risk

On the Robustness of Topics API to a Re-Identification Attack

Interest-disclosing Mechanisms for Advertising are Privacy-Exposing (not Preserving)


GTP engine and self-play learning in Go

Accelerating Self-Play Learning in Go

Adversarial Policies Beat Superhuman Go AIs

Explaining How a Neural Network Play the Go Game and Let People Learn

Can Go AIs be adversarially robust?

Mastering Chess with a Transformer Model


A Python implementation of LightFM, a hybrid recommendation algorithm.

CoNet: Collaborative Cross Networks for Cross-Domain Recommendation

Conference on Information and Knowledge Management

Metadata Embeddings for User and Item Cold-start Recommendations

Collaborative Similarity Embedding for Recommender Systems

GPT4Rec: A Generative Framework for Personalized Recommendation and User Interests Interpretation

Transfer Meets Hybrid: A Synthetic Approach for Cross-Domain Collaborative Filtering with Text

Sampling-Decomposable Generative Adversarial Recommender

Fast Variational AutoEncoder with Inverted Multi-Index for Collaborative Filtering

Automatic playlist continuation using a hybrid recommender system combining features from text and audio

RECSYS CHALLENGE'18: PROCEEDINGS OF THE ACM RECOMMENDER SYSTEMS CHALLENGE 2018

Online POI Recommendation: Learning Dynamic Geo-Human Interactions in Streams

Cross-Domain Meta-Learner for Cold-Start Recommendation

IEEE Transactions on Knowledge and Data Engineering


Deep Scalable Sparse Tensor Network Engine (DSSTNE) is an Amazon developed library for building Deep Learning (DL) machine learning (ML) models

GossipGraD: Scalable Deep Learning using Gossip Communication based Asynchronous Gradient Descent

TensorFlow Estimators: Managing Simplicity vs. Flexibility in High-Level Machine Learning Frameworks

AutoShard: Automated Embedding Table Sharding for Recommender Systems

INVITED: Computation on Sparse Neural Networks and its Implications for Future Hardware


NGBoost: Natural Gradient Boosting for Probabilistic Prediction

The impact of imputation quality on machine learning classifiers for datasets with missing values

mirkwood: Fast and Accurate SED Modeling Using Machine Learning

Multivariate Probabilistic Regression with Natural Gradient Boosting

On Uncertainty Estimation by Tree-based Surrogate Models in Sequential Model-based Optimization

Relationship between Successive Flares in the Same Active Region and SHARP Parameters

TRIAGE: Characterizing and auditing training data for improved regression


python Parameter EStimation TOolbox

A protocol for dynamic model calibration

pyPESTO: a modular and scalable tool for parameter estimation for dynamic models

Efficient gradient-based parameter estimation for dynamic models using qualitative data

Quantifying tissue growth, shape and collision via continuum models and Bayesian inference


Translate manga/image 一键翻译各类图片内文字 https://cotrans.touhou.ai/

Aggregated Contextual Transformations for High-Resolution Image Inpainting

Characterizing signal propagation to close the performance gap in unnormalized ResNets

Towards Fully Automated Manga Translation

Detection of Furigana Text in Images


A QT application, a OGC web map server, a collaboration server to plan atmospheric research flights.

A web service based tool to plan atmospheric research flights


The XENON1T raw data processor [deprecated]

Convolutional neural networks for direct detection of dark matter

Journal of Physics G: Nuclear and Particle Physics

Correlated single- and few-electron backgrounds milliseconds after interactions in dual-phase liquid xenon time projection chambers

A semi-supervised approach to dark matter searches in direct detection data with machine learning

Journal of Cosmology and Astroparticle Physics

Commissioning of a dual-phase xenon TPC at Nikhef

Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment

Finding dark matter faster with explicit profile likelihoods


Livermore Big Artificial Neural Network Toolkit

The History Began from AlexNet: A Comprehensive Survey on Deep Learning Approaches

Parallelizing Training of Deep Generative Models on Massive Scientific Datasets

A Survey and Empirical Evaluation of Parallel Deep Learning Frameworks

DeepFoldit -- A Deep Reinforcement Learning Neural Network Folding Proteins


A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles

LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World

Drift with Devil: Security of Multi-Sensor Fusion based Localization in High-Level Autonomous Driving under GPS Spoofing

Identification of Road-Surface Type Using Deep Neural Networks for Friction Coefficient Estimation

Guided Conditional Diffusion for Controllable Traffic Simulation

Dirty Road Can Attack: Security of Deep Learning based Automated Lane Centering under Physical-World Attack

LiDAR and Camera Fusion Approach for Object Distance Estimation in Self-Driving Vehicles

Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles

Language-Guided Traffic Simulation via Scene-Level Diffusion

Too Afraid to Drive: Systematic Discovery of Semantic DoS Vulnerability in Autonomous Driving Planning under Physical-World Attacks


Trixi.jl: Adaptive high-order numerical simulations of conservation laws in Julia

Adaptive numerical simulations with Trixi.jl: A case study of Julia for scientific computing

Subcell limiting strategies for discontinuous Galerkin spectral element methods

A purely hyperbolic discontinuous Galerkin approach for self-gravitating gas dynamics

Stability issues of entropy-stable and/or split-form high-order schemes

SummationByPartsOperators.jl: A Julia library of provably stable discretization techniques with mimetic properties

Convergence of discontinuous Galerkin schemes for the Euler equations via dissipative weak solutions

Monolithic Convex Limiting for Legendre-Gauss-Lobatto Discontinuous Galerkin Spectral Element Methods


The Vampire Theorem Prover

Do Neural Models Learn Systematicity of Monotonicity Inference in Natural Language?

A Combinator-Based Superposition Calculus for Higher-Order Logic

Induction in Saturation-Based Proof Search

Exploring Transitivity in Neural NLI Models through Veridicality

Subsumption Demodulation in First-Order Theorem Proving

Logical Inferences with Comparatives and Generalized Quantifiers

Integer Induction in Saturation

Trace Logic for Inductive Loop Reasoning

SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics

Combining Event Semantics and Degree Semantics for Natural Language Inference


Fast inference engine for Transformer models

Attention Is All You Need

Self-Attention with Relative Position Representations

PanGu-Coder2: Boosting Large Language Models for Code with Ranking Feedback

Re-Translation Strategies For Long Form, Simultaneous, Spoken Language Translation

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

Towards Large Language Models as Copilots for Theorem Proving in Lean

Fine-tuning Large Language Models for Adaptive Machine Translation

Domain-Specific Text Generation for Machine Translation

Domain Terminology Integration into Machine Translation: Leveraging Large Language Models

Emilia: An Extensive, Multilingual, and Diverse Speech Dataset for Large-Scale Speech Generation


High-quality single file implementation of Deep Reinforcement Learning algorithms with research-friendly features (PPO, DQN, C51, DDPG, TD3, SAC, PPG)

Distributed Prioritized Experience Replay

PettingZoo: Gym for Multi-Agent Reinforcement Learning

CleanRL: High-quality Single-file Implementations of Deep Reinforcement Learning Algorithms

Approximately Solving Mean Field Games via Entropy-Regularized Deep Reinforcement Learning

EnvPool: A Highly Parallel Reinforcement Learning Environment Execution Engine

Tonic: A Deep Reinforcement Learning Library for Fast Prototyping and Benchmarking

OmniSafe: An Infrastructure for Accelerating Safe Reinforcement Learning Research

Efficient Offline Policy Optimization with a Learned Model

Robust Policy Optimization in Deep Reinforcement Learning

Improving Deep Reinforcement Learning by Reducing the Chain Effect of
  Value and Policy Churn


The easiest way to use deep metric learning in your application. Modular, flexible, and extensible. Written in PyTorch.

Momentum Contrast for Unsupervised Visual Representation Learning

A Metric Learning Reality Check

PyTorch Metric Learning

metric-learn: Metric Learning Algorithms in Python

SL-DML: Signal Level Deep Metric Learning for Multimodal One-Shot Action Recognition

Papillary Thyroid Carcinoma Landscape and Its Immunological Link With Hashimoto Thyroiditis at Single-Cell Resolution

Frontiers in cell and developmental biology

Supervised Metric Learning for Music Structure Features

Aurora Image Classification with Deep Metric Learning

Hierarchical Average Precision Training for Pertinent Image Retrieval

A framework to enhance generalization of deep metric learning methods using general discriminative feature learning and class adversarial neural networks


A fast, distributed, high performance gradient boosting (GBT, GBDT, GBRT, GBM or MART) framework based on decision tree algorithms, used for ranking, classification and many other machine learning tasks.

LightGBM: A Highly Efficient Gradient Boosting Decision Tree

CatBoost: unbiased boosting with categorical features

CatBoost: gradient boosting with categorical features support

Query-Efficient Hard-label Black-box Attack:An Optimization-based Approach

Machine Learning and Deep Learning -- A review for Ecologists

Deep Embedding Forest: Forest-based Serving with Deep Embedding Features

Modeling the Sequential Dependence among Audience Multi-step Conversions with Multi-task Learning in Targeted Display Advertising

PhageAI - Bacteriophage Life Cycle Recognition with Machine Learning and Natural Language Processing

The ASHRAE Great Energy Predictor III competition: Overview and results

Science and Technology for the Built Environment

Machine Learning Prediction Models for Chronic Kidney Disease Using National Health Insurance Claim Data in Taiwan


a gaggle of deep neural architectures for text ranking and question answering, designed for Pyserini

Passage Re-ranking with BERT

Document Ranking with a Pretrained Sequence-to-Sequence Model

Two Contrasting Data Annotation Paradigms for Subjective NLP Tasks

Improving Passage Retrieval with Zero-Shot Question Generation

Fact-Checking Complex Claims with Program-Guided Reasoning

Rapidly Bootstrapping a Question Answering Dataset for COVID-19

Learning Discrete Representations via Constrained Clustering for Effective and Efficient Dense Retrieval

Clickbait Spoiling via Question Answering and Passage Retrieval

MultiVerS: Improving scientific claim verification with weak supervision and full-document context

Rank-LIME: Local Model-Agnostic Feature Attribution for Learning to Rank


Gaussian Process Optimization using GPy

A Tutorial on Bayesian Optimization

AutoML: A survey of the state-of-the-art

Batch Bayesian Optimization via Local Penalization

SMILES Enumeration as Data Augmentation for Neural Network Modeling of Molecules

Bayesian Optimization is Superior to Random Search for Machine Learning Hyperparameter Tuning: Analysis of the Black-Box Optimization Challenge 2020

JEDI-net: a jet identification algorithm based on interaction networks

Data Augmentation of Spectral Data for Convolutional Neural Network (CNN) Based Deep Chemometrics

Sherpa: Robust Hyperparameter Optimization for Machine Learning

Learning search spaces for Bayesian optimization: Another view of hyperparameter transfer learning

Greed Is Good: Exploration and Exploitation Trade-offs in Bayesian Optimisation

ACM Transactions on Evolutionary Learning and Optimization


Marabou Neural Network Verification Framework for Python

The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results

Parallelization Techniques for Verifying Neural Networks

A Review of Formal Methods applied to Machine Learning

The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results

Efficient Neural Network Analysis with Sum-of-Infeasibilities

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Global optimization of objective functions represented by ReLU networks

Toward Certified Robustness Against Real-World Distribution Shifts

From Robustness to Explainability and Back Again


Fit interpretable models. Explain blackbox machine learning.

Opportunities and Challenges in Explainable Artificial Intelligence (XAI): A Survey

InterpretML: A Unified Framework for Machine Learning Interpretability

One Explanation Does Not Fit All: A Toolkit and Taxonomy of AI Explainability Techniques

Big-Data Science in Porous Materials: Materials Genomics and Machine Learning

Interpretable deep learning: interpretation, interpretability, trustworthiness, and beyond

Benchmarking and survey of explanation methods for black box models

Trustworthy AI: A Computational Perspective

Human-Centered Explainable AI (XAI): From Algorithms to User Experiences

A comprehensive taxonomy for explainable artificial intelligence: a systematic survey of surveys on methods and concepts

A Survey of Deep Learning for Scientific Discovery


Dataflow compiler for QNN inference on FPGAs

hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power Machine Learning Devices

A comprehensive review of Binary Neural Network

Real-time artificial intelligence for accelerator control: A study at the Fermilab Booster

Memory-Efficient Dataflow Inference for Deep CNNs on FPGA

SAMO: Optimised Mapping of Convolutional Neural Networks to Streaming Architectures

A2Q: Accumulator-Aware Quantization with Guaranteed Overflow Avoidance

On the RTL Implementation of FINN Matrix Vector Compute Unit

Quantized Neural Networks for Low-Precision Accumulation with Guaranteed Overflow Avoidance

Tiny Classifier Circuits: Evolving Accelerators for Tabular Data


The development repository for the deal.II finite element library

Scalability of High-Performance PDE Solvers

Friedrichs Learning: Weak Solutions of Partial Differential Equations via Deep Learning

ATUS-PRO: A FEM-based solver for the time-dependent and stationary Gross–Pitaevskii equation

A Hermite-like basis for faster matrix-free evaluation of interior penalty discontinuous Galerkin operators

Gym-preCICE: Reinforcement Learning Environments for Active Flow Control


BlackJAX is a Bayesian Inference library designed for ease of use, speed and modularity.

GPJax: A Gaussian Process Framework in JAX

Using wavelets to capture deviations from smoothness in galaxy-scale strong lenses

Re-Envisioning Numerical Information Field Theory (NIFTy.re): A Library
  for Gaussian Processes and Variational Inference

BlackJAX: Composable Bayesian inference in JAX

candl: cosmic microwave background analysis with a differentiable likelihood

Multimass modelling of Milky Way globular clusters - II. present-day black hole populations

Liesel: A Probabilistic Programming Framework for Developing Semi-Parametric Regression Models and Custom Bayesian Inference Algorithms

Bayesian cross-validation by parallel Markov Chain Monte Carlo


Tools for diffing and merging of Jupyter notebooks.

Ten simple rules for writing and sharing computational analyses in Jupyter Notebooks

Ten Simple Rules for Reproducible Research in Jupyter Notebooks

Computational reproducibility of Jupyter notebooks from biomedical publications

ReproduceMeGit: A Visualization Tool for Analyzing Reproducibility of Jupyter Notebooks

Towards Productizing AI/ML Models: An Industry Perspective from Data Scientists

Workshop on AI Engineering - Software Engineering for AI

Testing with Jupyter notebooks: NoteBook VALidation (nbval) plug-in for pytest


ChatGLM-6B: An Open Bilingual Dialogue Language Model | 开源双语对话语言模型

GPTQ: Accurate Post-Training Quantization for Generative Pre-trained Transformers

C-Eval: A Multi-Level Multi-Discipline Chinese Evaluation Suite for Foundation Models

Fast Transformer Decoding: One Write-Head is All You Need

ChatGLM: A Family of Large Language Models from GLM-130B to GLM-4 All
  Tools

X-LLM: Bootstrapping Advanced Large Language Models by Treating Multi-Modalities as Foreign Languages

MM-LLMs: Recent Advances in MultiModal Large Language Models

Zero-Shot Cross-Lingual Summarization via Large Language Models

KoLA: Carefully Benchmarking World Knowledge of Large Language Models

Evaluating Instruction-Tuned Large Language Models on Code Comprehension and Generation

RETA-LLM: A Retrieval-Augmented Large Language Model Toolkit


Transportation planning and traffic simulation software for creating cities friendlier to walking, biking, and public transit

Open source tools for geographic analysis in transport planning


An Extensible Toolkit for Finetuning and Inference of Large Foundation Models. Large Models for All.

Fast Inference from Transformers via Speculative Decoding

RAFT: Reward rAnked FineTuning for Generative Foundation Model Alignment

Towards Mitigating Hallucination in Large Language Models via Self-Reflection

LMFlow: An Extensible Toolkit for Finetuning and Inference of Large Foundation Models

Mitigating the Alignment Tax of RLHF

LISA: Layerwise Importance Sampling for Memory-Efficient Large Language
  Model Fine-Tuning


zkSnark circuit compiler

Non-Interactive Zero-Knowledge for Blockchain: A Survey

Blockchain Based Zero-Knowledge Proof of Location in IoT

ElectAnon: A Blockchain-Based, Anonymous, Robust and Scalable Ranked-Choice Voting Protocol

Analysis and Application of Verifiable Computation Techniques in Blockchain Systems for the Energy Sector

Formal Verification of Zero-Knowledge Circuits

International Workshop on the ACL2 Theorem Prover and Its Applications

zkFDL: An efficient and privacy-preserving decentralized federated learning with zero knowledge proof

opp/ai: Optimistic Privacy-Preserving AI on Blockchain

Kick Bad Guys Out! Zero-Knowledge-Proof-Based Anomaly Detection in Federated Learning

Benchmarking ZK-Friendly Hash Functions and SNARK Proving Systems for
  EVM-compatible Blockchains


Efficiently computes derivatives of NumPy code.

Convolutional Networks on Graphs for Learning Molecular Fingerprints

Automatic differentiation in machine learning: a survey

Pymoo: Multi-Objective Optimization in Python

Gradient-based Hyperparameter Optimization through Reversible Learning

Entropy-SGD: biasing gradient descent into wide valleys

Right for the Right Reasons: Training Differentiable Models by Constraining their Explanations

Deep Gaussian Processes for Regression using Approximate Expectation Propagation

Pymanopt: A Python Toolbox for Optimization on Manifolds using Automatic Differentiation

Deep Learning Based Regression and Multiclass Models for Acute Oral Toxicity Prediction with Automatic Chemical Feature Extraction

Sticking the Landing: Simple, Lower-Variance Gradient Estimators for Variational Inference


Code coverage for Solidity smart-contracts

SuMo: A Mutation Testing Strategy for Solidity Smart Contracts

TxT: Real-Time Transaction Encapsulation for Ethereum Smart Contracts

IEEE Transactions on Information Forensics and Security

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


An ontology of gross anatomy covering metazoa. Works in concert with https://github.com/obophenotype/cell-ontology

Uberon, an integrative multi-species anatomy ontology

Unification of multi-species vertebrate anatomy ontologies for comparative biology in Uberon

The Bgee suite: integrated curated expression atlas and comparative transcriptomics in animals

Ontology Development Kit: a toolkit for building, maintaining and standardizing biomedical ontologies

Specimen, biological structure, and spatial ontologies in support of a Human Reference Atlas

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

Taxonomy-Based Approaches to Quality Assurance of Ontologies

Extending and using anatomical vocabularies in the stimulating peripheral activity to relieve conditions project


Package manager and build abstraction tool for FPGA/ASIC development

X-HEEP: An Open-Source, Configurable and Extendible RISC-V Microcontroller for the Exploration of Ultra-Low-Power Edge Accelerators

Embedded LUKS (E-LUKS): A Hardware Solution to IoT Security

An Integrated Digital System Design Framework With On-Chip Functional Verification and Performance Evaluation

Control and Diagnostics System Generator for Complex FPGA-Based Measurement Systems

NSF Integrated Circuit Research, Education and Workforce Development Workshop Final Report


Repository for the Open Energy Ontology (OEO)

Introducing the Open Energy Ontology: Enhancing data interpretation and interfacing in energy systems analysis


The JTS Topology Suite is a Java library for creating and manipulating vector geometry.

A Survey on Spatio-temporal Data Analytics Systems

Semantic Referee: A Neural-Symbolic Framework for Enhancing Geospatial Semantic Segmentation

A large-scale solar dynamics observatory image dataset for computer vision applications

Assessment and Benchmarking of Spatially Enabled RDF Stores for the Next Generation of Spatial Data Infrastructure

ISPRS International Journal of Geo-Information

CartAGen: an Open Source Research Platform for Map Generalization

J-CO: A Platform-Independent Framework for Managing Geo-Referenced JSON Data Sets

A Semantic Approach for Building System Operations: Knowledge Representation and Reasoning

Client-side versus server-side geographic data processing performance comparison: Data and code

Automatic Diversity in the Software Supply Chain


Example applications using the wolfSSL lightweight SSL/TLS library

Guardian: Symbolic Validation of Orderliness in SGX Enclaves

EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.


Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants

An Evaluation Dataset for Intent Classification and Out-of-Scope Prediction

Rasa: Open Source Language Understanding and Dialogue Management

Benchmarking Natural Language Understanding Services for building Conversational Agents

Few-shot Natural Language Generation for Task-Oriented Dialog

One Explanation Does Not Fit All: The Promise of Interactive Explanations for Machine Learning Transparency

A Comparison of Natural Language Understanding Platforms for Chatbots in Software Engineering

IEEE Transactions on Software Engineering

Hierarchical Multi-Task Natural Language Understanding for Cross-domain Conversational AI: HERMIT NLU

A Survey on Deep Learning Toolkits and Libraries for Intelligent User Interfaces

Few-Shot Generalization Across Dialogue Tasks

Improving Access to Justice with Legal Chatbots


Tools for curating biomedical training data for large-scale language modeling

Transfer Learning in Biomedical Natural Language Processing: An Evaluation of BERT and ELMo on Ten Benchmarking Datasets

BigBIO: A Framework for Data-Centric Biomedical Natural Language Processing

In-BoXBART: Get Instructions into Biomedical Multi-Task Learning


The Swift Programming Language

DiffTaichi: Differentiable Programming for Physical Simulation

Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients

Learned discretizations for passive scalar advection in a two-dimensional turbulent flow

Reachability types: tracking aliasing and separation in higher-order functional programs

Proceedings of the ACM on Programming Languages

How Successful Are Open Source Contributions From Countries With Different Levels of Human Development?

Swift for TensorFlow: A portable, flexible platform for deep learning

Future Directions for Optimizing Compilers

Duration Estimation Models for Open Source Software Projects

International Journal of Information Technology and Computer Science

Optimization of Swift Protocols

Zenodo (CERN European Organization for Nuclear Research)

Data-Driven Decisions and Actions in Today's Software Development


Neural building blocks for speaker diarization: speech activity detection, speaker change detection, overlapped speech detection, speaker embedding

Ego4D: Around the World in 3,000 Hours of Egocentric Video

pyannote.audio: neural building blocks for speaker diarization

TristouNet: Triplet Loss for Speaker Turn Embedding

Bayesian HMM clustering of x-vector sequences (VBx) in speaker diarization: theory, implementation and analysis on standard tasks

The Third DIHARD Diarization Challenge

Generative Spoken Dialogue Language Modeling

End-to-end Domain-Adversarial Voice Activity Detection

AVA-AVD: Audio-Visual Speaker Diarization in the Wild

The ByteDance Speaker Diarization System for the VoxCeleb Speaker Recognition Challenge 2021

Predicting challenge moments from students' discourse: A comparison of GPT-4 to two traditional natural language processing approaches

Proceedings of the 14th Learning Analytics and Knowledge Conference


A library for accelerating Transformer models on NVIDIA GPUs, including using 8-bit floating point (FP8) precision on Hopper and Ada GPUs, to provide better performance with lower memory utilization in both training and inference.

Megatron-LM: Training Multi-Billion Parameter Language Models Using Model Parallelism

Reducing Activation Recomputation in Large Transformer Models

FP8 Formats for Deep Learning

Training Transformers with 4-bit Integers

Zamba: A Compact 7B SSM Hybrid Model

FLUX: Fast Software-based Communication Overlap On GPUs Through Kernel Fusion

u-μP: The Unit-Scaled Maximal Update Parametrization

NeMo-Aligner: Scalable Toolkit for Efficient Model Alignment

DistTrain: Addressing Model and Data Heterogeneity with Disaggregated
  Training for Multimodal Large Language Models

Stretching Each Dollar: Diffusion Training from Scratch on a Micro-Budget


Scalable Multi-Agent RL Training School for Autonomous Driving

SMARTS: Scalable Multi-Agent Reinforcement Learning Training School for Autonomous Driving

A Survey on Safety-Critical Driving Scenario Generation—A Methodological Perspective

Learning to Simulate Self-Driven Particles System with Coordinated Policy Optimization

An Introduction to Multi-Agent Reinforcement Learning and Review of its Application to Autonomous Mobility

CRITERIA: a New Benchmarking Paradigm for Evaluating Trajectory Prediction Models for Autonomous Driving

NeurIPS 2022 Competition: Driving SMARTS

Multi-Agent Reinforcement Learning for Autonomous Driving: A Survey


A set of BIDS compatible datasets with empty raw data files that can be used for writing lightweight software tests.

EEG-BIDS, an extension to the brain imaging data structure for electroencephalography

MEG-BIDS, the brain imaging data structure extended to magnetoencephalography

iEEG-BIDS, extending the Brain Imaging Data Structure specification to human intracranial electrophysiology

Open and reproducible neuroimaging: From study inception to publication

PET-BIDS, an extension to the brain imaging data structure for positron emission tomography

Good scientific practice in EEG and MEG research: Progress and perspectives

ASL-BIDS, the brain imaging data structure extension for arterial spin labeling

Microscopy-BIDS: An Extension to the Brain Imaging Data Structure for Microscopy Data

BIDS-EEG: an extension to the Brain Imaging Data Structure (BIDS) Specification for electroencephalography

MEG-BIDS: an extension to the Brain Imaging Data Structure for magnetoencephalography


A machine learning software for extracting information from scholarly documents

CORD-19: The COVID-19 Open Research Dataset

Galactica: A Large Language Model for Science

S2ORC: The Semantic Scholar Open Research Corpus

CERMINE: automatic extraction of structured metadata from scientific literature

International Journal on Document Analysis and Recognition (IJDAR)

scite: a smart citation index that displays the context of citations and classifies their intent using deep learning

Mitigating dataset harms requires stewardship: Lessons from 1000 papers

The Semantic Scholar Open Data Platform

Comparing published scientific journal articles to their pre-print versions

International Journal on Digital Libraries

Nougat: Neural Optical Understanding for Academic Documents

Progress in climate change adaptation research


SeqAn's official repository.

Technology dictates algorithms: Recent developments in read alignment

Terabase-scale metagenome coassembly with MetaHipMer

Detection of Network Motif Based on a Novel Graph Canonization Algorithm from Transcriptional Regulation Networks

Family reunion via error correction: an efficient analysis of duplex sequencing data


MineRL Competition for Sample Efficient Reinforcement Learning - Python Package

MineRL: A Large-Scale Dataset of Minecraft Demonstrations

MineDreamer: Learning to Follow Instructions via Chain-of-Imagination
  for Simulated-World Control

Animal-AI 3: What's New & Why You Should Care


Core Python Web Archiving Toolkit for replay and recording of web archives

MementoMap Framework for Flexible and Adaptive Web Archive Profiling

Exploring the Dominance of the English Language on the Websites of EU Countries

From archive to analysis: accessing web archives at scale through a cloud-based interface

International Journal of Digital Humanities

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

Making Changes in Webpages Discoverable: A Change-Text Search Interface for Web Archives

Collecting 16K archived web pages from 17 public web archives

BESOCIAL: A Sustainable Knowledge Graph-Based Workflow for Social Media Archiving

Impact of HTTP Cookie Violations in Web Archives


A library for easy and efficient manipulation of tensor networks.

Differentiable quantum architecture search

TensorNetwork: A Library for Physics and Machine Learning

TensorNetwork for Machine Learning

lambeq: An Efficient High-Level Python Library for Quantum NLP

Lectures on Quantum Tensor Networks

Tensor-based algorithms for image classification

COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry

TensorNetwork on TensorFlow: A Spin Chain Application Using Tree Tensor Networks

TeNeS: Tensor network solver for quantum lattice systems

TensorNetwork on TensorFlow: Entanglement Renormalization for quantum critical lattice models


Specifications of SAM/BAM and related high-throughput sequencing file formats

Twelve years of SAMtools and BCFtools

Nanopore sequencing and assembly of a human genome with ultra-long reads

GA4GH: International policies and standards for data sharing across genomic research and healthcare

VariantValidator: Accurate validation, mapping, and formatting of sequence variation descriptions

RADIA: RNA and DNA Integrated Analysis for Somatic Mutation Detection

Mapping genetic variations to three-dimensional protein structures to enhance variant interpretation: a proposed framework

Genomic exploration of sequential clinical isolates reveals a distinctive molecular signature of persistent Staphylococcus aureus bacteraemia

Inheritance of paternal DNA damage by histone-mediated repair restriction

GeneMed: An Informatics Hub for the Coordination of Next-Generation Sequencing Studies that Support Precision Oncology Clinical Trials

elPrep: High-Performance Preparation of Sequence Alignment/Map Files for Variant Calling


Framework for evaluating ANNS algorithms on billion scale datasets.

Results of the NeurIPS'21 Challenge on Billion-Scale Approximate Nearest Neighbor Search

BANG: Billion-Scale Approximate Nearest Neighbor Search using a Single GPU


Multi-Joint dynamics with Contact. A general purpose physics simulator.

MuJoCo: A physics engine for model-based control

RoCo: Dialectic Multi-Robot Collaboration with Large Language Models

Toward General-Purpose Robots via Foundation Models: A Survey and Meta-Analysis

RoboCasa: Large-Scale Simulation of Everyday Tasks for Generalist Robots

HumanoidBench: Simulated Humanoid Benchmark for Whole-Body Locomotion and Manipulation

DexDLO: Learning Goal-Conditioned Dexterous Policy for Dynamic Manipulation of Deformable Linear Objects

Animal-AI 3: What's New & Why You Should Care

Open-Source Reinforcement Learning Environments Implemented in MuJoCo with Franka Manipulator


The Guardian is an innovative open-source platform that streamlines the creation, management, and verification of digital environmental assets. It leverages a customizable Policy Workflow Engine and Web3 technology to ensure transparent and fraud-proof operations, making it a key tool for transforming sustainability practices and carbon markets.


A feature-rich command-line audio/video downloader

The MeVer DeepFake Detection Service: Lessons Learnt from Developing and Deploying in the Wild

SlideSpeech: A Large Scale Slide-Enriched Audio-Visual Corpus

Detecting Misinformation in Multimedia Content through Cross-Modal
  Entity Consistency: A Dual Learning Approach

We Care: Multimodal Depression Detection and Knowledge Infused Mental Health Therapeutic Response Generation

Short Film Dataset (SFD): A Benchmark for Story-Level Video
  Understanding

SlideAVSR: A Dataset of Paper Explanation Videos for Audio-Visual Speech Recognition


Emoji for everyone. https://twemoji.twitter.com/

Recipes for Safety in Open-domain Chatbots

Bot-Adversarial Dialogue for Safe Conversational Agents

North American Chapter of the Association for Computational Linguistics

Telemedicine in Heart Failure During COVID-19: A Step Into the Future

Boomerang: Redundancy Improves Latency and Throughput in Payment-Channel Networks

The nature of conflict in community pharmacy – A pilot study of pharmacists’ experiences during the COVID-19 pandemic

Research in social & administrative pharmacy : RSAP

StarVector: Generating Scalable Vector Graphics Code from Images

SVGEditBench: A Benchmark Dataset for Quantitative Assessment of LLM's
  SVG Editing Capabilities


RStan, the R interface to Stan

brms: An R Package for Bayesian Multilevel Models Using Stan

Revealing neuro-computational mechanisms of reinforcement learning and decision-making with the hBayesDM package

Bayesian linear mixed models using Stan: A tutorial for psychologists, linguists, and cognitive scientists

Compositional Proteomics: Effects of Spatial Constraints on Protein Quantification Utilizing Isobaric Tags

Real-time estimation of the epidemic reproduction number: Scoping review of the applications and challenges

Bayesian evaluation of behavior change interventions: a brief introduction and a practical example

Health psychology and behavioral medicine

Bayesian Methods for Exoplanet Science

Joint Modeling of Individual Trajectories, Within-Individual Variability, and a Later Outcome: Systolic Blood Pressure Through Childhood and Left Ventricular Mass in Early Adulthood

eggCounts: a Bayesian hierarchical toolkit to model faecal egg count reductions

varstan: An R package for Bayesian analysis of structured time series models with Stan


Reinforcement Learning environments based on the 1993 game Doom :godmode:

ViZDoom: A Doom-based AI Research Platform for Visual Reinforcement Learning

ViZDoom Competitions: Playing Doom from Pixels

Automated Curriculum Learning by Rewarding Temporally Rare Events

TLeague: A Framework for Competitive Self-Play based Distributed Multi-Agent Reinforcement Learning

Causal Reinforcement Learning: A Survey

Deep Reinforcement Learning Models Predict Visual Responses in the Brain: A Preliminary Result


Confidential Consortium Framework

CCF: A Framework for Building Confidential Verifiable Replicated Services

AMP: Authentication of Media via Provenance

Preventing Machine Learning Poisoning Attacks Using Authentication and Provenance

Understanding TEE Containers, Easy to Use? Hard to Trust

Confidential Consortium Framework: Secure Multiparty Applications with Confidentiality, Integrity, and High Availability

IA-CCF: Individual Accountability for Permissioned Ledgers

RZcoin: Ethereum-Based Decentralized Payment with Optional Privacy Service

Smart Casual Verification of the Confidential Consortium Framework

Vronicle: A System for Producing Videos with Verifiable Provenance


20+ high-performance LLMs with recipes to pretrain, finetune and deploy at scale.

Llama 2: Open Foundation and Fine-Tuned Chat Models

Pythia: A Suite for Analyzing Large Language Models Across Training and Scaling

TinyLlama: An Open-Source Small Language Model

Large Language Models are Efficient Learners of Noise-Robust Speech Recognition

MotionLLM: Understanding Human Behaviors from Human Motions and Videos

GenTranslate: Large Language Models are Generative Multilingual Speech and Machine Translators

Be like a Goldfish, Don't Memorize! Mitigating Memorization in Generative LLMs

Cleaner Pretraining Corpus Curation with Neural Web Scraping

A 4D Hybrid Algorithm to Scale Parallel Training to Thousands of GPUs

Cross-Architecture Transfer Learning for Linear-Cost Inference
  Transformers


Anything can happen in the next half hour (including spectral timing made easy)!

The corona contracts in a black-hole transient

PINT: A Modern Software Package for Pulsar Timing

Hack weeks as a model for data science education and collaboration

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

All at Once: Transient Pulsations, Spin-down, and a Glitch from the Pulsating Ultraluminous X-Ray Source M82 X-2

A black hole X-ray binary at ∼100 Hz: multiwavelength timing of MAXI J1820+070 with HiPERCAM and NICER

Monthly Notices of the Royal Astronomical Society: Letters

The Evolution of the Broadband Temporal Features Observed in the Black-hole Transient MAXI J1820+070 with Insight-HXMT

Kepler K2 observations of the transitional millisecond pulsar PSR J1023+0038

Optical, X-ray, and γ-ray observations of the candidate transitional millisecond pulsar 4FGL J0427.8-6704

Monthly notices of the Royal Astronomical Society

The evolution of rapid optical/X-ray timing correlations in the initial hard state of MAXI J1820+070

On the Statistical Properties of Cospectra

The Astrophysical Journal Supplement Series


Fast Go Application Scanner

LZR: Identifying Unexpected Internet Services

Spoki: Unveiling a New Wave of Scanners through a Reactive Network Telescope

Deep dive into the IoT backend ecosystem

Proceedings of the 22nd ACM Internet Measurement Conference

Predicting IPv4 Services Across All Ports

SIGCOMM '22: PROCEEDINGS OF THE 2022 ACM SIGCOMM 2022 CONFERENCE

Network Scanning and Mapping for IIoT Edge Node Device Security

International Conference on Applied Electronics

Classifying Network Vendors at Internet Scale

A Time-efficient Multi-Protocol Probe Scheme for Fine-grain IoT Device Identification

Characterizing the VPN Ecosystem in the Wild

The Closed Resolver Project: Measuring the Deployment of Inbound Source Address Validation

Stratosphere: Finding Vulnerable Cloud Storage Buckets


Package for calculation of small angle scattering models using OpenCL.


Libraries for applying sparsification recipes to neural networks with a few lines of code, enabling faster and smaller models

Quantized Neural Networks: Training Neural Networks with Low Precision Weights and Activations

Fast Algorithms for Convolutional Neural Networks

The Optimal BERT Surgeon: Scalable and Accurate Second-Order Pruning for Large Language Models

Prune Once for All: Sparse Pre-Trained Language Models

M-FAC: Efficient Matrix-Free Approximations of Second-Order Information

GMP*: Well-Tuned Gradual Magnitude Pruning Can Outperform Most BERT-Pruning Methods

Sparse*BERT: Sparse Models Generalize To New tasks and Domains


A guidance language for controlling large language models.

Chain-of-Thought Prompting Elicits Reasoning in Large Language Models

Sparks of Artificial General Intelligence: Early experiments with GPT-4

AutoGen: Enabling Next-Gen LLM Applications via Multi-Agent Conversation

Automatic Chain of Thought Prompting in Large Language Models

ART: Automatic multi-step reasoning and tool-use for large language models

Cognitive Architectures for Language Agents

Cumulative Reasoning with Large Language Models

RAG vs Fine-tuning: Pipelines, Tradeoffs, and a Case Study on Agriculture

Are Large Language Model-based Evaluators the Solution to Scaling Up Multilingual Evaluation?

MechGPT, a language-based strategy for mechanics and materials modeling that connects knowledge across scales, disciplines and modalities