StarCraft II Learning Environment

Deep Reinforcement Learning: An Overview

StarCraft II: A New Challenge for Reinforcement Learning

SCC: an efficient deep reinforcement learning agent mastering the game of StarCraft II

Overview of Software Agent Platforms Available in 2023

Iterated Reasoning with Mutual Information in Cooperative and Byzantine Decentralized Teaming

REPAINT: Knowledge Transfer in Deep Reinforcement Learning

Deep Reinforcement Learning

MSC: A Dataset for Macro-Management in StarCraft II

Causal Reinforcement Learning: A Survey

COA-GPT: Generative Pre-trained Transformers for Accelerated Course of
  Action Development in Military Operations


Intel staging area for llvm.org contribution. Home for Intel LLVM-based projects.

Data Parallel C++

Accelerating Encrypted Computing on Intel GPUs

A Performance-Portable SYCL Implementation of CRK-HACC for Exascale

C-for-Metal: High Performance SIMD Programming on Intel GPUs

Tunable and Portable Extreme-Scale Drug Discovery Platform at Exascale: the LIGATE Approach

Proceedings of the 20th ACM International Conference on Computing Frontiers

Achieving Near-Native Runtime Performance and Cross-Platform Performance Portability for Random Number Generation Through SYCL Interoperability

Evaluating the performance portability of SYCL across CPUs and GPUs on bandwidth-bound applications

Porting Batched Iterative Solvers onto Intel GPUs with SYCL

Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis

Open SYCL on heterogeneous GPU systems: A case of study

Lessons Learned Migrating CUDA to SYCL: A HEP Case Study with ROOT RDataFrame


A framework for rapid development of reliable asynchronous software.

Randomized testing of distributed systems with probabilistic guarantees

Proceedings of the ACM on Programming Languages

Reliable State Machines: A Framework for Programming Reliable Cloud Services

Building Reliable Cloud Services Using P# (Experience Report)

Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains


A data generation pipeline for creating semi-realistic synthetic multi-object videos with rich annotations such as instance segmentation masks, depth maps, and optical flow.

Kubric: A scalable dataset generator

Conditional Object-Centric Learning from Video

NeSF: Neural Semantic Fields for Generalizable Semantic Segmentation of 3D Scenes

Differentiable Patch Selection for Image Recognition

Learning rigid dynamics with face interaction graph networks

Coarse-to-Fine Amodal Segmentation with Shape Prior

Neural Fourier Transform: A General Approach to Equivariant Representation Learning

Patch-based Object-centric Transformers for Efficient Video Generation

Learning rigid-body simulators over implicit shapes for large-scale
  scenes and vision

Grouped Discrete Representation Guides Object-Centric Learning


The high-performance database for modern applications

Columnar Storage and List-based Processing for Graph Database Management Systems

Distributed graphs: in search of fast, low-latency, resource-efficient, semantics-rich Big-Data processing.


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


SchNetPack - Deep Neural Networks for Atomistic Systems

SchNet: A continuous-filter convolutional neural network for modeling quantum interactions

Accurate and scalable graph neural network force field and molecular dynamics with direct force architecture

Energy-Motivated Equivariant Pretraining for 3D Molecular Graphs

SchNetPack 2.0: A neural network toolbox for atomistic machine learning

Characterizing Uncertainty in Machine Learning for Chemistry

Journal of chemical information and modeling

Molecular dynamics simulations of heat transport using machine-learned potentials: A mini-review and tutorial on GPUMD with neuroevolution potentials

LagrangeBench: A Lagrangian Fluid Mechanics Benchmarking Suite

Machine Learning Interatomic Potentials for Reactive Hydrogen Dynamics at Metal Surfaces Based on Iterative Refinement of Reaction Probabilities

Stress and heat flux via automatic differentiation

NG+ : A Multi-Step Matrix-Product Natural Gradient Method for Deep Learning


Neuronal Morphology Analysis Tool

Comprehensive Morpho-Electrotonic Analysis Shows 2 Distinct Classes of L2 and L3 Pyramidal Neurons in Human Temporal Cortex

A tool for mapping microglial morphology, morphOMICs, reveals brain-region and sex-dependent phenotypes

Experimentally-constrained biophysical models of tonic and burst firing modes in thalamocortical neurons

A Systematic Evaluation of Interneuron Morphology Representations for Cell Type Discrimination

HippoUnit: A software tool for the automated testing and systematic comparison of detailed models of hippocampal neurons based on electrophysiological data

Thalamic control of sensory processing and spindles in a biophysical somatosensory thalamoreticular circuit model of wakefulness and sleep

Reconstructing the brain: from image stacks to neuron synthesis

Predicting Synaptic Connectivity for Large-Scale Microcircuit Simulations Using Snudda


Automatically exported from code.google.com/p/v-hacd

Domain Randomization and Generative Models for Robotic Grasping

Label-Efficient Learning on Point Clouds using Approximate Convex Decompositions

Learning Multi-Step Manipulation Tasks from A Single Human Demonstration

SRL-VIC: A Variable Stiffness-Based Safe Reinforcement Learning for Contact-Rich Robotic Tasks

AiAReSeg: Catheter Detection and Segmentation in Interventional Ultrasound using Transformers


Bayesian haplotype-based genetic polymorphism discovery and genotyping.

Haplotype-based variant detection from short-read sequencing

A comprehensive assessment of somatic mutation detection in cancer using whole-genome sequencing

Whole genome sequencing in clinical and public health microbiology

De novo variants in neurodevelopmental disorders with epilepsy

Chromosome-scale genome assembly provides insights into rye biology, evolution and agronomic potential

Discovery of MRSA active antibiotics using primary sequence from the human microbiome

The evolution and population diversity of human-specific segmental duplications

A cell-based model system links chromothripsis with hyperploidy

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

Comparing a few SNP calling algorithms using low-coverage sequencing data


A synthetic data generator for text recognition

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

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

Generating Synthetic Data for Text Recognition

TextDiffuser: Diffusion Models as Text Painters

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

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

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

OmniPrint: A Configurable Printed Character Synthesizer

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

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


LIBLINEAR -- A Library for Large Linear Classification

CoType: Joint Extraction of Typed Entities and Relations with Knowledge Bases

The Blessing of Dimensionality: Separation Theorems in the Thermodynamic Limit

Implicit Kernel Learning

Indirect Supervision for Relation Extraction using Question-Answer Pairs


Non-Intrusive Load Monitoring Toolkit (nilmtk)

NILMTK: An Open Source Toolkit for Non-intrusive Load Monitoring

International Conference on Future Energy Systems

An electrical load measurements dataset of United Kingdom households from a two-year longitudinal study

Analysis Co-Sparse Coding for Energy Disaggregation

Unsupervised algorithm for disaggregating low-sampling-rate electricity consumption of households

Noiseless Privacy: Definition, Guarantees, and Applications

Investigating the Performance Gap between Testing on Real and Denoised Aggregates in Non-Intrusive Load Monitoring

Recurrent Transform Learning

Noiseless Privacy


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


A Game of Hackers (CTF Scoreboard & Game Manager)

NIZKCTF: A Noninteractive Zero-Knowledge Capture-the-Flag Platform

An Empirical Evaluation of LLMs for Solving Offensive Security
  Challenges

NYU CTF Dataset: A Scalable Open-Source Benchmark Dataset for Evaluating
  LLMs in Offensive Security


Sampling profiler for Python programs

Scalene: Scripting-Language Aware Profiling for Python

Toward Efficient Interactions between Python and Native Libraries

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

Triangulating Python Performance Issues with Scalene


A handy guide to financial support for open source

GitHub Sponsors: Exploring a New Way to Contribute to Open Source

Proceedings of the 44th International Conference on Software Engineering

Open-source Software Sustainability Models: Initial White Paper From the Informatics Technology for Cancer Research Sustainability and Industry Partnership Working Group

"My GitHub Sponsors profile is live!" Investigating the Impact of Twitter/X Mentions on GitHub Sponsors


Face recognition using Tensorflow

FaceNet: A Unified Embedding for Face Recognition and Clustering

DeepFakes: a New Threat to Face Recognition? Assessment and Detection

AI Benchmark: Running Deep Neural Networks on Android Smartphones

On the Reconstruction of Face Images from Deep Face Templates

SER-FIQ: Unsupervised Estimation of Face Image Quality Based on Stochastic Embedding Robustness

Semantically Decomposing the Latent Spaces of Generative Adversarial Networks

A Comprehensive Study on Face Recognition Biases Beyond Demographics

Face Recognition: Primates in the Wild

Mitigating dataset harms requires stewardship: Lessons from 1000 papers

Fast Geometrically-Perturbed Adversarial Faces


This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.

Machine Learning at the Network Edge: A Survey

Resource-efficient Machine Learning in 2 KB RAM for the Internet of Things

International Conference on Machine Learning

FastGRNN: A Fast, Accurate, Stable and Tiny Kilobyte Sized Gated Recurrent Neural Network

ProtoNN: Compressed and Accurate kNN for Resource-scarce Devices

DROCC: Deep Robust One-Class Classification

Machine Learning on Mainstream Microcontrollers

Efficient Acceleration of Deep Learning Inference on Resource-Constrained Edge Devices: A Review

TinyML: Enabling of Inference Deep Learning Models on Ultra-Low-Power IoT Edge Devices for AI Applications

Personalized Federated Learning through Local Memorization

RNNPool: Efficient Non-linear Pooling for RAM Constrained Inference


Hybrid Quantum-Classical Machine Learning in TensorFlow

TensorFlow Quantum: A Software Framework for Quantum Machine Learning

Differentiable Quantum Architecture Search

Entangling Quantum Generative Adversarial Networks

Programming Quantum Neural Networks on NISQ Systems: An Overview of Technologies and Methodologies

Quantum Generative Diffusion Model

An Empirical Study of Bugs in Quantum Machine Learning Frameworks

QuOp_MPI: A framework for parallel simulation of quantum variational algorithms

QAOA.jl: Toolkit for the Quantum and Mean-Field Approximate Optimization Algorithms


an open-source implementation of sequence-to-sequence based speech processing engine

GigaSpeech: An Evolving, Multi-domain ASR Corpus with 10,000 Hours of Transcribed Audio

Improving Transformer-based Speech Recognition Using Unsupervised Pre-training

Speech SIMCLR: Combining Contrastive and Reconstruction Objective for Self-supervised Speech Representation Learning

DiDiSpeech: A Large Scale Mandarin Speech Corpus

A Further Study of Unsupervised Pre-training for Transformer Based Speech Recognition

Automatic Speech Recognition And Limited Vocabulary: A Survey


dcm2nii DICOM to NIfTI converter: compiled versions available from NITRC

MRIQC: Advancing the automatic prediction of image quality in MRI from unseen sites

A 204-subject multimodal neuroimaging dataset to study language processing

An Open MRI Dataset For Multiscale Neuroscience

Classification of parotid gland tumors by using multimodal MRI and deep learning

Recommended Implementation of Quantitative Susceptibility Mapping for Clinical Research in The Brain: A Consensus of the ISMRM Electro-Magnetic Tissue Properties Study Group

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

Extra-Virgin Olive Oil Enhances the Blood–Brain Barrier Function in Mild Cognitive Impairment: A Randomized Controlled Trial

A radiomics-based decision support tool improves lung cancer diagnosis in combination with the Herder score in large lung nodules

Reproducible Evaluation of Diffusion MRI Features for Automatic Classification of Patients with Alzheimer’s Disease

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


Scriptable database and system performance benchmark

TrustShadow: Secure Execution of Unmodified Applications with ARM TrustZone

MOBISYS'17: PROCEEDINGS OF THE 15TH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS, APPLICATIONS, AND SERVICES

DeFog: Fog Computing Benchmarks

Power Consumption of Virtualization Technologies: An Empirical Investigation

International Conference on Utility and Cloud Computing

A Survey on Edge Performance Benchmarking

Mining Sandboxes for Linux Containers

International Conference on Software Testing, Verification, and Validation

Computing Server Power Modeling in a Data Center: Survey, Taxonomy, and Performance Evaluation

From zero to fog: Efficient engineering of fog‐based Internet of Things applications

Automated Reasoning and Detection of Specious Configuration in Large Systems with Symbolic Execution

Performance Evaluation of Different Raspberry Pi Models for a Broad Spectrum of Interests

International Journal of Advanced Computer Science and Applications

Where Is My Training Bottleneck? Hidden Trade-Offs in Deep Learning Preprocessing Pipelines

Proceedings of the 2022 International Conference on Management of Data


VISSL is FAIR's library of extensible, modular and scalable components for SOTA Self-Supervised Learning with images.

An Image is Worth 16x16 Words: Transformers for Image Recognition at Scale

Learning Transferable Visual Models From Natural Language Supervision

A Simple Framework for Contrastive Learning of Visual Representations

Momentum Contrast for Unsupervised Visual Representation Learning

Emerging Properties in Self-Supervised Vision Transformers

Unsupervised Feature Learning via Non-Parametric Instance-level Discrimination

Unsupervised Learning of Visual Features by Contrasting Cluster Assignments

Unsupervised Representation Learning by Predicting Image Rotations

Unsupervised Learning of Visual Representations by Solving Jigsaw Puzzles

BEiT: BERT Pre-Training of Image Transformers


Training neural models with structured signals.

Explaining and Harnessing Adversarial Examples

Virtual Adversarial Training: A Regularization Method for Supervised and Semi-Supervised Learning

Low-Dimensional Hyperbolic Knowledge Graph Embeddings

How to Find Your Friendly Neighborhood: Graph Attention Design with Self-Supervision

LibKGE - A knowledge graph embedding library for reproducible research

PROCEEDINGS OF THE 2020 CONFERENCE ON EMPIRICAL METHODS IN NATURAL LANGUAGE PROCESSING: SYSTEM DEMONSTRATIONS

Graph Agreement Models for Semi-Supervised Learning

Graph-RISE: Graph-Regularized Image Semantic Embedding

Neural Clustering Processes


MEV-Boost allows Ethereum validators to source high-MEV blocks from a competitive builder marketplace

Ethereum's Proposer-Builder Separation: Promises and Realities

Ethereum Proof-of-Stake Consensus Layer: Participation and Decentralization

Time is Money: Strategic Timing Games in Proof-of-Stake Protocols

Price of MEV: Towards a Game Theoretical Approach to MEV

The cost of artificial latency in the PBS context


Land Information System Framework

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

Impacts of Fully Coupling Land Surface and Flood Models on the Simulation of Large Wetlands' Water Dynamics: The Case of the Inner Niger Delta

Journal of Advances in Modeling Earth Systems

Irrigation characterization improved by the direct use of SMAP soil moisture anomalies within a data assimilation system

Diverging Trends in Rain‐On‐Snow Over High Mountain Asia

Assimilation of Remotely Sensed Leaf Area Index Enhances the Estimation of Anthropogenic Irrigation Water Use

Journal of advances in modeling earth systems

Performance of Different Crop Models in Simulating Soil Temperature

SMAP retrieval assimilation improves soil moisture estimation across irrigated areas in South Asia


OpenHands: Code Less, Make More

A Survey on Large Language Models for Code Generation

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

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

Agentless: Demystifying LLM-based Software Engineering Agents

How to Understand Whole Software Repository?

AI Agents That Matter

CodeRAG-Bench: Can Retrieval Augment Code Generation?

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

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

ResearchArena: Benchmarking LLMs' Ability to Collect and Organize Information as Research Agents


Main Portal page for the Jackson project

Initialize once, start fast: application initialization at build time

Mining API Usage Scenarios from Stack Overflow

Understanding How and Why Developers Seek and Analyze API-Related Opinions

TILT: A GDPR-Aligned Transparency Information Language and Toolkit for Practical Privacy Engineering

Stepwise API usage assistance using n-gram language models

Automatic API Usage Scenario Documentation from Technical Q&A Sites

A Survey of JSON-compatible Binary Serialization Specifications

Syntactic Vs. Semantic similarity of Artificial and Real Faults in Mutation Testing Studies

Augmenting Diffs With Runtime Information

Enhancing CryptoGuards Deployability for Continuous Software Security Scanning


Fast DNS Lookup Library and CLI Tool

The CNAME of the Game: Large-scale Analysis of DNS-based Tracking Evasion

ZDNS: A Fast DNS Toolkit for Internet Measurement

Proceedings of the 22nd ACM Internet Measurement Conference

Addressing the challenges of modern DNS a comprehensive tutorial

Study on Domain Name System (DNS) Abuse: Technical Report


Imaging, analysis, and simulation software for radio interferometry

First M87 Event Horizon Telescope Results. IV. Imaging the Central Supermassive Black Hole

First M87 Event Horizon Telescope Results. VII. Polarization of the Ring

Black Hole Spin Signature in the Black Hole Shadow of M87 in the Flaring State

HIGH-RESOLUTION LINEAR POLARIMETRIC IMAGING FOR THE EVENT HORIZON TELESCOPE

Interferometric Imaging Directly with Closure Phases and Closure Amplitudes

The Size, Shape, and Scattering of Sagittarius A* at 86 GHz: First VLBI with ALMA

Event Horizon Telescope observations of the jet launching and collimation in Centaurus A

Geometric modeling of M87* as a Kerr black hole or a non-Kerr compact object

Dynamical Imaging with Interferometry

Simulations of imaging the event horizon of Sagittarius A* from space


Machine Learning Toolkit for Kubernetes

Management of Machine Learning Lifecycle Artifacts: A Survey

Towards Data-centric Graph Machine Learning: Review and Outlook

Semi-Automated Methods for BIBFRAME Work Entity Description

Improving the Performance of Deep Learning for Wireless Localization

Deployment of ML Models using Kubeflow on Different Cloud Providers

SmartChoices: Augmenting Software with Learned Implementations


The official repo of Qwen (通义千问) chat & pretrained large language model proposed by Alibaba Cloud.

LoRA: Low-Rank Adaptation of Large Language Models

QLoRA: Efficient Finetuning of Quantized LLMs

Qwen-VL: A Versatile Vision-Language Model for Understanding, Localization, Text Reading, and Beyond

Qwen Technical Report

WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct

YaRN: Efficient Context Window Extension of Large Language Models

Qwen-Audio: Advancing Universal Audio Understanding via Unified Large-Scale Audio-Language Models

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

Skywork: A More Open Bilingual Foundation Model

LauraGPT: Listen, Attend, Understand, and Regenerate Audio with GPT


An Open Source Machine Learning Framework for Everyone

TensorFlow: A system for large-scale machine learning

Highly accurate protein structure prediction with AlphaFold

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems

Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference

Theano: A Python framework for fast computation of mathematical expressions

Highly accurate protein structure prediction for the human proteome

Speech Commands: A Dataset for Limited-Vocabulary Speech Recognition

To prune, or not to prune: exploring the efficacy of pruning for model compression

Reconstructing cell cycle and disease progression using deep learning

Structured Sequence Modeling with Graph Convolutional Recurrent Networks


A Python wrapper for Google Tesseract

It Takes Two to TANGO: Combining Visual and Textual Information for Detecting Duplicate Video-Based Bug Reports

Deep learning-based NLP Data Pipeline for EHR Scanned Document Information Extraction

Comparing Sentence-Level Suggestions to Message-Level Suggestions in AI-Mediated Communication

Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems

MailTrout: A Machine Learning Browser Extension for Detecting Phishing Emails

Multimodal Pipeline for Collection of Misinformation Data from Telegram

Chandojnanam: A Sanskrit Meter Identification and Utilization System

Predicting Cell Cleavage Timings from Time-Lapse Videos of Human Embryos

Assisting News Media Editors with Cohesive Visual Storylines

Reddit financial image post sentiment dataset

Sketch2FullStack: Generating Skeleton Code of Full Stack Website and Application from Sketch using Deep Learning and Computer Vision


Specification of the Cypher property graph query language

G-CORE: A Core for Future Graph Query Languages

Graph Pattern Matching in GQL and SQL/PGQ

GPC: A Pattern Calculus for Property Graphs

Semantic Foundations of Seraph Continuous Graph Query Language


TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Formal Verification of Multi-Paxos for Distributed Consensus

The TLA+ Toolbox

Extreme modelling in practice

Design and Analysis of a Logless Dynamic Reconfiguration Protocol

IoT Capabilities Composition and Decomposition: A Systematic Review

MET: Model Checking-Driven Explorative Testing of CRDT Designs and
  Implementations


Hash function quality and speed tests

Modern Approaches to Exact Diagonalization and Selected Configuration Interaction with the Adaptive Sampling CI Method

Journal of chemical theory and computation

An efficient deterministic perturbation theory for selected configuration interaction methods

Hash Adaptive Bloom Filter

SetSketch: Filling the Gap between MinHash and HyperLogLog

UltraLogLog: A Practical and More Space-Efficient Alternative to HyperLogLog for Approximate Distinct Counting

A Dyadic Simulation Approach to Efficient Range-Summability


Semantic cache for LLMs. Fully integrated with LangChain and llama_index.

Large Language Models as Tool Makers

Prompting Frameworks for Large Language Models: A Survey

CacheGen: Fast Context Loading for Language Model Applications

GPTCache: An Open-Source Semantic Cache for LLM Applications Enabling Faster Answers and Cost Savings

Proceedings of the 3rd Workshop for Natural Language Processing Open Source Software (NLP-OSS 2023)

SEED: Domain-Specific Data Curation With Large Language Models

Towards Optimizing the Costs of LLM Usage

MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation

Cache me if you Can: an Online Cost-aware Teacher-Student framework to Reduce the Calls to Large Language Models

MeanCache: User-Centric Semantic Cache for Large Language Model Based Web Services

Efficient Prompt Caching via Embedding Similarity


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


nanobind: tiny and efficient C++/Python bindings

Efficient phase-space generation for hadron collider event simulation

Motions in Microseconds via Vectorized Sampling-Based Planning

AMReX and pyAMReX: Looking Beyond ECP

CGAL Made More Accessible

hictk: blazing fast toolkit to work with .hic and .cool files


An Extensible Deep Learning Library

GSPMD: General and Scalable Parallelization for ML Computation Graphs

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

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

VeCLIP: Improving CLIP Training via Visual-enriched Captions

MOFI: Learning Image Representations from Noisy Entity Annotated Images


Core tools required for running Canlab Matlab toolboxes. The heart of this toolbox is object-oriented tools that enable interactive analysis of neuroimaging data and simple scripts using high-level commands tailored to neuroimaging analysis.

A neuromarker for drug and food craving distinguishes drug users from non-users

Human Extinction Learning Is Accelerated by an Angiotensin Antagonist via Ventromedial Prefrontal Cortex and Its Connections With Basolateral Amygdala

Dorsal premammillary projection to periaqueductal gray controls escape vigor from innate and conditioned threats

An fMRI-Based Brain Marker of Individual Differences in Delay Discounting

The Journal of neuroscience : the official journal of the Society for Neuroscience

Brain markers predicting response to cognitive‐behavioral therapy for social anxiety disorder: an independent replication of Whitfield-Gabrieli et al. 2015

Functional brain reconfiguration during sustained pain

Neural and computational underpinnings of biased confidence in human reinforcement learning

Placebo treatment affects brain systems related to affective and cognitive processes, but not nociceptive pain

bioRxiv : the preprint server for biology

Reward modality modulates striatal responses to reward anticipation in ADHD: Effects of affiliative and food stimuli

Developing a novel dual-injection FDG-PET imaging methodology to study the functional neuroanatomy of gait


LiteSpeed QUIC and HTTP/3 Library

A Survey on Recent Advances in Transport Layer Protocols

IEEE Communications Surveys and Tutorials

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

QUIC on the Highway: Evaluating Performance on High-rate Links

2023 IFIP Networking Conference (IFIP Networking)

A hands-on gaze on HTTP/3 security through the lens of HTTP/2 and a public dataset

QUIC is not Quick Enough over Fast Internet


Minimal implementation of the QUIC protocol

QUIC-FEC: Bringing the benefits of Forward Erasure Correction to QUIC

FlEC: Enhancing QUIC with application-tailored reliability mechanisms

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

Proceedings of the Workshop on the Evolution, Performance, and Interoperability of QUIC

MCQUIC: Multicast and unicast in a single transport protocol


Lattice algorithms using floating-point arithmetic

Molecular simulation of flow-enhanced nucleation in n-eicosane melts under steady shear and uniaxial extension.

Six-loop anomalous dimension of twist-two operators in planar N=4 SYM theory

Twist-2 at seven loops in planar N = 4 SYM theory: full result and analytic properties

Sparse Recovery With Integrality Constraints

Non-planar universal anomalous dimension of twist-two operators with general Lorentz spin at four loops in N=4 SYM theory

HyperDegrade: From GHz to MHz Effective CPU Frequencies

Déjà Vu: Side-Channel Analysis of Mozilla's NSS

Conference on Computer and Communications Security

Sieve, Enumerate, Slice, and Lift:

SALSA PICANTE: a machine learning attack on LWE with binary secrets

Self-dual DeepBKZ for finding short lattice vectors


Massively Parallel Deep Reinforcement Learning.

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

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

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

Dynamic Datasets and Market Environments for Financial Reinforcement Learning

Robust nonlinear set-point control with reinforcement learning

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


FinRL-Meta: Dynamic datasets and market environments for FinRL.

Isaac Gym: High Performance GPU-Based Physics Simulation For Robot Learning


AdAway is a free and open source ad blocker for Android.

PI-Link: A Ground-Truth Dataset of Links Between Pull-Requests and Issues in GitHub

ML-Augmented Automation for Recovering Links Between Pull-Requests and Issues on GitHub


Fast inference engine for Transformer models

Attention Is All You Need

Self-Attention with Relative Position Representations

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

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

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

Fine-tuning Large Language Models for Adaptive Machine Translation

Towards Large Language Models as Copilots for Theorem Proving in Lean

Domain-Specific Text Generation for Machine Translation

Findings of the Word-Level AutoCompletion Shared Task in WMT 2023

Proceedings of the Eighth Conference on Machine Translation

Domain Terminology Integration into Machine Translation: Leveraging Large Language Models


A multilingual dialog corpus

A Large-Scale Chinese Short-Text Conversation Dataset

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

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

Using GANs to Synthesise Minimum Training Data for Deepfake Generation

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

The Springer series on challenges in machine learning

A Counselling Corpus in Cantonese

Workshop on Spoken Language Technologies for Under-resourced Languages


a modeling environment tailored to parameter estimation in dynamical systems

COVID-19 outbreak in Wuhan demonstrates the limitations of publicly available case numbers for epidemiological modeling

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

A New Approximation Approach for Transient Differential Equation Models

Cell-to-cell variability in JAK2/STAT5 pathway components and cytoplasmic volumes defines survival threshold in erythroid progenitor cells

Model-based analysis of response and resistance factors of cetuximab treatment in gastric cancer cell lines

Extensions of ℓ1 regularization increase detection specificity for cell-type specific parameters in dynamic models

Optimal Experimental Design Based on Two-Dimensional Likelihood Profiles

COVID-19 outbreak in Wuhan demonstrates the limitations of publicly available case numbers for epidemiological modelling.

Estimating chain length for time delays in dynamical systems using profile likelihood


:id: A python library for accurate and scalable fuzzy matching, record deduplication and entity-resolution.

Corruption Risk in Contracting Markets: A Network Science Perspective

(Almost) All of Entity Resolution

Scientific authorship and collaboration network analysis on malaria research in Benin: papers indexed in the web of science (1996–2016)

Exploratory Data Analysis and Classification of a New Arabic Online Extremism Dataset

PsySafe: A Comprehensive Framework for Psychological-based Attack, Defense, and Evaluation of Multi-agent System Safety

Accelerating Column Generation via Flexible Dual Optimal Inequalities with Application to Entity Resolution

Integrating Historical Person Registers as Linked Open Data in the WarSampo Knowledge Graph

Ground Truth Inference for Weakly Supervised Entity Matching

Semantic Systems. In the Era of Knowledge Graphs: 16th International Conference on Semantic Systems, SEMANTiCS 2020, Amsterdam, The Netherlands, September 7–10, 2020, Proceedings

FOPPA: an open database of French public procurement award notices from 2010–2020


A Python Library for Outlier and Anomaly Detection, Integrating Classical and Deep Learning Techniques

PyOD: A Python Toolbox for Scalable Outlier Detection

ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions

ADBench: Anomaly Detection Benchmark

XGBOD: Improving Supervised Outlier Detection with Unsupervised Representation Learning

International Joint Conference on Neural Network

SUOD: Accelerating Large-Scale Unsupervised Heterogeneous Outlier Detection

Do deep neural networks contribute to multivariate time series anomaly detection?

Automating Outlier Detection via Meta-Learning

LEAD1.0: A Large-scale Annotated Dataset for Energy Anomaly Detection in Commercial Buildings

A Large-scale Study on Unsupervised Outlier Model Selection: Do Internal Strategies Suffice?

Deep Anomaly Detection under Labeling Budget Constraints


P4 language tutorials

Heavy-Hitter Detection Entirely in the Data Plane

Packet Transactions: High-level Programming for Line-Rate Switches

A survey on data plane programming with P4: Fundamentals, advances, and applied research

P4-IPsec: Site-to-Site and Host-to-Site VPN with IPsec in P4-Based SDN

Shortcutting Fast Failover Routes in the Data Plane

Symposium on Architectures for Networking and Communications Systems

LAMP: Prompt Layer 7 Attack Mitigation with Programmable Data Planes

PROCEEDINGS OF THE 2018 SYMPOSIUM ON ARCHITECTURES FOR NETWORKING AND COMMUNICATIONS SYSTEMS (ANCS '18)

P4-IPsec: Implementation of IPsec Gateways in P4 with SDN Control for Host-to-Site Scenarios


sslscan tests SSL/TLS enabled services to discover supported cipher suites

Accurate TLS Fingerprinting using Destination Context and Knowledge Bases

Towards Design and Development of a Data Security and Privacy Risk Management Framework for WBAN Based Healthcare Applications

White paper on cybersecurity in the healthcare sector. The HEIR solution


User space software for Intel(R) Resource Director Technology

A Quantitative Analysis and Guidelines of Data Streaming Accelerator in Modern Intel Xeon Scalable Processors

Hera: A Heterogeneity-Aware Multi-Tenant Inference Server for Personalized Recommendations

Alioth: A Machine Learning Based Interference-Aware Performance Monitor for Multi-Tenancy Applications in Public Cloud


Scalable embedding, reasoning, ranking for images and sentences with CLIP

SemEval-2020 Task 1: Unsupervised Lexical Semantic Change Detection

User Preference-aware Fake News Detection

Hate speech detection and racial bias mitigation in social media based on BERT model

OpenChat: Advancing Open-source Language Models with Mixed-Quality Data

SBERT-WK: A Sentence Embedding Method by Dissecting BERT-Based Word Models

Comparison of Diverse Decoding Methods from Conditional Language Models

Multi-label Categorization of Accounts of Sexism using a Neural Framework

Building and Using Personal Knowledge Graph to Improve Suicidal Ideation Detection on Social Media

Universal Text Representation from BERT: An Empirical Study

Transfer Learning from Transformers to Fake News Challenge Stance Detection (FNC-1) Task


BESS: Berkeley Extensible Software Switch

NFVactor: A Resilient NFV System Using the Distributed Actor Model

Benchmarking NFV Software Dataplanes

MTS: Bringing Multi-Tenancy to Virtual Networking


Ethereum smart contract fuzzer

ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection

PROCEEDINGS OF THE 2018 33RD IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMTED SOFTWARE ENGINEERING (ASE' 18)

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

Zenodo (CERN European Organization for Nuclear Research)

sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts

Harvey: A Greybox Fuzzer for Smart Contracts

Understanding Security Issues in the NFT Ecosystem

How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection

International Symposium on Software Testing and Analysis

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

SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds

Targeted Greybox Fuzzing with Static Lookahead Analysis

Oracle-Supported Dynamic Exploit Generation for Smart Contracts


Open source drivers for the Kinect for Windows v2 device

Calibrate Multiple Consumer RGB-D Cameras for Low-Cost and Efficient 3D Indoor Mapping

mRI: Multi-modal 3D Human Pose Estimation Dataset using mmWave, RGB-D, and Inertial Sensors

Pulse Based Time-of-Flight Range Sensing

3D Measurement of Large Deformations on a Tensile Structure during Wind Tunnel Tests Using Microsoft Kinect V2

A Multiple-View Geometric Model for Specularity Prediction on General Curved Surfaces


Core modules used by the GMS

Role of TP53 mutations in the origin and evolution of therapy-related acute myeloid leukaemia

Cellular stressors contribute to the expansion of hematopoietic clones of varying leukemic potential

A general approach for detecting expressed mutations in AML cells using single cell RNA-sequencing

ViromeScan: a new tool for metagenomic viral community profiling

Fermented-Food Metagenomics Reveals Substrate-Associated Differences in Taxonomy and Health-Associated and Antibiotic Resistance Determinants

Meta-analysis of cheese microbiomes highlights contributions to multiple aspects of quality

Distinct actions of the fermented beverage kefir on host behaviour, immunity and microbiome gut-brain modules in the mouse

Antimicrobial use and production system shape the fecal, environmental, and slurry resistomes of pig farms

HumanMycobiomeScan: a new bioinformatics tool for the characterization of the fungal fraction in metagenomic samples

Resistance-promoting effects of ependymoma treatment revealed through genomic analysis of multiple recurrences in a single patient


Library support for Kotlin coroutines

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

TritanDB: Time-series Rapid Internet of Things Analytics

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

Fuzzing channel-based concurrency runtimes using types and effects

Proceedings of the ACM on Programming Languages


Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.

Secure top most significant genome variants search: iDASH 2017 competition

PCT-TEE: Trajectory-based Private Contact Tracing System with Trusted Execution Environment

Util::Lookup: Exploiting key decoding in cryptographic libraries

Building and Maintaining a Third-Party Library Supply Chain for Productive and Secure SGX Enclave Development

Secure and Efficient Trajectory-Based Contact Tracing using Trusted Hardware

An Efficient and Secure Scheme of Verifiable Computation for Intel SGX

Guardian: Symbolic Validation of Orderliness in SGX Enclaves


Chebfun:  numerical computing with functions.

Computing with Functions in Spherical and Polar Geometries I. The Sphere

Analytic solution of the SEIR epidemic model via asymptotic approximant

A Functional Package for Automatic Solution of Ordinary Differential Equations with Spectral Methods

Chebyshev Subdivision and Reduction Methods for Solving Multivariable Systems of Equations

Path-Following Methods for Calculating Linear Surface Wave Dispersion Relations on Vertical Shear Flows


:seedling: Blockchain for planetary regeneration


A C library for parsing/normalizing street addresses around the world. Powered by statistical NLP and open geo data.

The gender gap in science: How long until women are equally represented?

An End-to-end Point of Interest (POI) Conflation Framework

Leveraging Subword Embeddings for Multinational Address Parsing

"Breaking" Disasters: Predicting and Characterizing the Global News Value of Natural and Man-made Disasters

Automatic Identification of Addresses: A Systematic Literature Review

ISPRS International Journal of Geo-Information

Multinational Address Parsing: A Zero-Shot Evaluation

Deepparse : An Extendable, and Fine-Tunable State-Of-The-Art Library for Parsing Multinational Street Addresses

Fighting crime with Transformers: Empirical analysis of address parsing methods in payment data


TIGRE: Tomographic Iterative GPU-based Reconstruction Toolbox

Optical diffraction tomography with finite object support for the minimization of missing cone artifacts

Optimization for customized trajectories in cone beam computed tomography

Fixing Nonconvergence of Algebraic Iterative Reconstruction with an Unmatched Backprojector

A general method for motion compensation in x-ray computed tomography

Arbitrarily large iterative tomographic reconstruction on multiple GPUs using the TIGRE toolbox

TIGRE-VarianCBCT for on-board cone-beam computed tomography, an open-source toolkit for imaging, dosimetry and clinical research

Physica medica : PM : an international journal devoted to the applications of physics to medicine and biology : official journal of the Italian Association of Biomedical Physics (AIFB)

Principles for an Implementation of a Complete CT Reconstruction Tool Chain for Arbitrary Sized Data Sets and Its GPU Optimization

On Krylov methods for large-scale CBCT reconstruction

Extension of the open-source TIGRE toolbox for proton imaging


Evaluate: A library for easily evaluating machine learning models and datasets.

Evaluate & Evaluation on the Hub: Better Best Practices for Data and Model Measurements

Open Domain Multi-document Summarization: A Comprehensive Study of Model Brittleness under Retrieval

Comparing Abstractive Summaries Generated by ChatGPT to Real Summaries Through Blinded Reviewers and Text Classification Algorithms

TARJAMAT: Evaluation of Bard and ChatGPT on Machine Translation of Ten Arabic Varieties

SeqGPT: An Out-of-the-box Large Language Model for Open Domain Sequence Understanding

Explanation-based Finetuning Makes Models More Robust to Spurious Cues

CoAScore: Chain-of-Aspects Prompting for NLG Evaluation

CoGenesis: A Framework Collaborating Large and Small Language Models for
  Secure Context-Aware Instruction Following

The Whole Truth and Nothing But the Truth: Faithful and Controllable Dialogue Response Generation with Dataflow Transduction and Constrained Decoding

Deep Learning Model Reuse in the HuggingFace Community: Challenges, Benefit and Trends


Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.

Continuous Integration, Delivery and Deployment: A Systematic Review on Approaches, Tools, Challenges and Practices

Principles of Dataset Versioning: Exploring the Recreation/Storage Tradeoff

How different are different diff algorithms in Git?

An image-based data-driven analysis of cellular architecture in a developing tissue

Byzantine Eventual Consistency and the Fundamental Limits of Peer-to-Peer Databases

Inference of Static Semantics for Incomplete C Programs

Symposium on Principles of Programming Languages

Desensitisation of Notch signalling through dynamic adaptation in the nucleus

A Framework for Blockchain-Based Applications

Preserving Command Line Workflow for a Package Management System Using ASCII DAG Visualization

IEEE transactions on visualization and computer graphics

Analysis of function-call graphs of open-source software systems using complex network analysis

Pamukkale University Journal of Engineering Sciences


DESI simulations

The DESI Experiment Part II: Instrument Design

The Spectroscopic Data Processing Pipeline for the Dark Energy Spectroscopic Instrument

DESI 2024 IV: Baryon Acoustic Oscillations from the Lyman Alpha Forest

LyaCoLoRe: Synthetic Datasets for Current and Future Lyman-α
  Forest BAO Surveys

Journal of Cosmology and Astroparticle Physics

A tomographic map of the large-scale matter distribution using the eBOSS
  Stripe 82 Ly-α forest

Optimal 1D Lyα Forest Power Spectrum Estimation – III. DESI early data

The Dark Energy Spectroscopic Instrument: One-dimensional power spectrum from first Lyman-α forest samples with Fast Fourier Transform

Detecting neutral hydrogen at z greater than or similar to 3 in large spectroscopic surveys of quasars

Monthly Notices of the Royal Astronomical Society

The effect of quasar redshift errors on Lyman-α forest correlation functions

Broad Absorption Line Quasars in the Dark Energy Spectroscopic Instrument Early Data Release


A scala implementation of the Lightning Network.

Concurrency and Privacy with Payment-Channel Networks

Topological Analysis of Bitcoin's Lightning Network

A comprehensive survey on smart contract construction and execution: paradigms, tools, and systems

Blockchain-Based Payment Channel Networks: Challenges and Recent Advances

The CLoTH Simulator for HTLC Payment Networks with Introductory Lightning Network Performance Results

Probing Channel Balances in the Lightning Network

A centrality analysis of the Lightning Network

Analysis and Probing of Parallel Channels in the Lightning Network

On the Anonymity of Peer-To-Peer Network Anonymity Schemes Used by Cryptocurrencies

How Lightning's Routing Diminishes its Anonymity


The ctypes-based simple ImageMagick binding for Python

TabLeX: A Benchmark Dataset for Structure and Content Information Extraction from Scientific Tables

ICDAR 2021 Competition on Scientific Table Image Recognition to LaTeX

Tables to LaTeX: structure and content extraction from scientific tables

International Journal on Document Analysis and Recognition (IJDAR)


Implementation of SYCL and C++ standard parallelism for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous programming models. Lets applications adapt themselves to all the hardware in the system - even at runtime!

Accelerated Neural Networks on OpenCL Devices Using SYCL-DNN

Proceedings of the International Workshop on OpenCL

High-speed turbulent flows towards the exascale: STREAmS-2 porting and performance

Code Generation from Simulink Models with Task and Data Parallelism

International Conference on Bioinformatics

Assessing opportunities of SYCL for biological sequence alignment on GPU-based systems

IMPaCT: Interval MDP Parallel Construction for Controller Synthesis of Large-Scale Stochastic Systems

Open SYCL on heterogeneous GPU systems: A case of study

Lessons Learned Migrating CUDA to SYCL: A HEP Case Study with ROOT RDataFrame

Experiences Building an MLIR-Based SYCL Compiler


The modular galaxy image simulation toolkit.  Documentation:

GalSim: The modular galaxy image simulation toolkit

Weak Lensing for Precision Cosmology

Annual Review of Astronomy and Astrophysics

Dark Energy Survey Year 1 Results: The Photometric Data Set for Cosmology

The first-year shear catalog of the Subaru Hyper Suprime-Cam Subaru Strategic Program Survey

Publications of the Astronomical Society of Japan

The DES Science Verification weak lensing shear catalogues

THE THIRD GRAVITATIONAL LENSING ACCURACY TESTING (GREAT3) CHALLENGE HANDBOOK

The Astrophysical Journal Supplement Series

GREAT3 results - I. Systematic errors in shear estimation and the impact of real galaxy morphology

Weak lensing shear calibration with simulations of the HSC survey

im3shape: a maximum likelihood galaxy shear measurement code for cosmic gravitational lensing

Characterization and photometric performance of the Hyper Suprime-Cam Software Pipeline


A fresh approach to string manipulation in R

Are words pre-activated probabilistically during sentence comprehension? Evidence from new data and a Bayesian random-effects meta-analysis using publicly available data

RevEcoR: an R package for the reverse ecology analysis of microbiomes

Genome streamlining in a minute herbivore that manipulates its host plant

Systematic Bioinformatic Analyses of Nutrigenomic Modifications by Polyphenols Associated with Cardiometabolic Health in Humans—Evidence from Targeted Nutrigenomic Studies

Inhibition of Soluble Epoxide Hydrolase Is Protective against the Multiomic Effects of a High Glycemic Diet on Brain Microvascular Inflammation and Cognitive Dysfunction

Spatially Enriched Paralog Rearrangements Argue Functionally Diverse Ribosomes Arise during Cold Acclimation in Arabidopsis

International journal of molecular sciences

Metagenomic Detection of Divergent Insect- and Bat-Associated Viruses in Plasma from Two African Individuals Enrolled in Blood-Borne Surveillance

Measuring inferential importance of taxa using taxon influence indices

Locomotion behavior of dairy cows on traditional summer mountain farms in comparison with modern cubicle housing without access to pasture

Heredabilidad y tendencias genéticas para caracteres del crecimiento en bovinos criollos


M.I.T General Circulation Model master code and documentation repository

Antarctic Sea Ice Control on the Depth of North Atlantic Deep Water

Dynamic Europa ocean shows transient Taylor columns and convection driven by ice melting and salinity

Limited Impact of Thwaites Ice Shelf on Future Ice Loss From Antarctica

Impact of icebergs on the seasonal submarine melt of Sermeq Kujalleq

Attractors and bifurcation diagrams in complex climate models

Data for Decadal variability of ice-shelf melt in the Amundsen Sea driven by freshwater fluxes

Zenodo (CERN European Organization for Nuclear Research)


Curated list of open-source quantum software projects.

Noisy intermediate-scale quantum (NISQ) algorithms

OpenQL : A Portable Quantum Programming Framework for Quantum Accelerators

QUBO formulations for the graph isomorphism problem and related problems

Quantum++: A modern C++ quantum computing library

Quantum Computing Toolkit From Nuts and Bolts to Sack of Tools

QAC: Quantum-computing Aided Composition

Playing with a Quantum Computer


DeepRec is a high-performance recommendation deep learning framework based on TensorFlow. It is hosted in incubation in LF AI & Data Foundation.

MaskNet: Introducing Feature-Wise Multiplication to CTR Ranking Models by Instance-Guided Mask

Clustered Embedding Learning for Recommender Systems

Experimental Analysis of Large-scale Learnable Vector Storage Compression

GBA: A Tuning-free Approach to Switch between Synchronous and Asynchronous Training for Recommendation Model


A scalable overlay networking tool with a focus on performance, simplicity and security

Engineering and Experimentally Benchmarking Open Source MQTT Broker Implementations

SPON: Enabling Resilient Inter-Ledgers Payments with an Intrusion-Tolerant Overlay


nanoflann: a C++11 header-only library for Nearest Neighbor (NN) search with KD-trees

ConvPoint: Continuous Convolutions for Point Cloud Processing

Learning Semantic Segmentation of Large-Scale Point Clouds With Random Sampling

IEEE transactions on pattern analysis and machine intelligence

SPlit: An Optimal Method for Data Splitting

Direct LiDAR Odometry: Fast Localization with Dense Point Clouds

CLASSIFICATION OF AERIAL PHOTOGRAMMETRIC 3D POINT CLOUDS

On generation of node distributions for meshless PDE discretizations

Classification of Aerial Photogrammetric 3D Point Clouds

Bridging the computational gap between mesoscopic and continuum modeling of red blood cells for fully resolved blood flow

Autonomous Cave Surveying With an Aerial Robot

The ETH-MAV Team in the MBZ International Robotics Challenge


Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart contract technology allows businesses to transact directly, with value.

ParBlockchain: Leveraging Transaction Parallelism in Permissioned Blockchain Systems

Assessing Security and Performances of Consensus algorithms for Permissioned Blockchains

FireLedger: A High Throughput Blockchain Consensus Protocol

Towards Global Asset Management in Blockchain Systems

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

AdaChain: A Learned Adaptive Blockchain

Corda Security Ontology: Example of Post-Trade Matching and Confirmation

A Blockchain-Based Spatial Crowdsourcing System for Spatial Information Collection Using a Reward Distribution

The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocol Design and Implementation

Requirement Analyses and Evaluations of Blockchain Platforms per
  Possible Use Cases


CasADi is a symbolic framework for numeric optimization implementing automatic differentiation in forward and reverse modes on sparse matrix-valued computational graphs. It supports self-contained C-code generation and interfaces state-of-the-art codes such as SUNDIALS, IPOPT etc. It can be used from C++, Python or Matlab/Octave.

Nonlinear Model Predictive Control with Enhanced Actuator Model for Multi-Rotor Aerial Vehicles with Generic Designs

Journal of Intelligent and Robotic Systems

Nonlinear Model Predictive Control with Actuator Constraints for Multi-Rotor Aerial Vehicles

DICE2013R-mc: A Matlab / CasADi Implementation of Vanilla DICE 2013R

Fast integrators with sensitivity propagation for use in CasADi

Optimization Alternatives for Robust Model-based Design of Synthetic Biological Circuits


WebAssembly (Wasm) interpreter.

Potential of WebAssembly for Embedded Systems

Mediterranean Conference on Embedded Computing

Characterizing and Detecting WebAssembly Runtime Bugs

VM Matters: A Comparison of WASM VMs and EVMs in the Performance of Blockchain Smart Contracts

A Low-Latency Optimization of a Rust-Based Secure Operating System for Embedded Devices


U.S. National Reporting Platform for the Sustainable Development Goals


A CoAP (RFC 7252) implementation in C

SDN Architecture for 6LoWPAN Wireless Sensor Networks

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

Observing IoT Resources over ICN

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


LST prototype testbench chain

Physics Performance of the Large Size Telescope prototype of the Cherenkov Telescope Array

Deep-learning-driven event reconstruction applied to simulated data from a single Large-Sized Telescope of CTA

Camera Calibration of the CTA-LST prototype

Proceedings of 37th International Cosmic Ray Conference — PoS(ICRC2021)

Detection of the 2021 Outburst of RS Ophiuchi with the LST-1

Full LST-1 data reconstruction with the use of convolutional neural networks

LSTOSA: Onsite processing pipeline for the CTA Larged-Sized Telescope prototype

Calibration and performance of the readout system based on switched capacitor arrays for the Large-Sized Telescope of the Cherenkov Telescope Array

Ground-based and Airborne Instrumentation for Astronomy VIII

LST-1 observations of an enormous flare of BL Lacertae in 2021

Proceedings of 38th International Cosmic Ray Conference — PoS(ICRC2023)

A novel image-correction method for cloud-affected observations with Imaging Atmospheric Cherenkov Telescopes


Creative Commons Attribution Share Alike 4.0 International

A repository of custom scripts to be used with Sentinel Hub

Ulyssys Water Quality Viewer Technical Description Supplementary


Library for specialized dense and sparse matrix operations, and deep learning primitives.

Anatomy of High-Performance Deep Learning Convolutions on SIMD Architectures

Fast Matrix-Free Evaluation of Discontinuous Galerkin Finite Element Operators

ACM Transactions on Mathematical Software

Scalability of High-Performance PDE Solvers

ExaHyPE: An engine for parallel dynamically adaptive simulations of wave problems

Efficient implementation of ADER discontinuous Galerkin schemes for a scalable hyperbolic PDE engine

Optimizing Deep Learning Recommender Systems' Training On CPU Cluster Architectures

The SpECTRE Cauchy-characteristic evolution system for rapid, precise waveform extraction

FFT Convolutions are Faster than Winograd on Modern CPUs, Here is Why

PolyDL: Polyhedral Optimizations for Creation of High Performance DL primitives

Tensor processing primitives


Approximate Nearest Neighbors in C++/Python optimized for memory usage and loading/saving to disk

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

Siam R-CNN: Visual Tracking by Re-Detection

Efficient integration of heterogeneous single-cell transcriptomes using Scanorama

BBKNN: fast batch alignment of single cell transcriptomes

Efficient Algorithms for t-distributed Stochastic Neighborhood Embedding

Multilingual Universal Sentence Encoder for Semantic Retrieval

Visualizing Large-scale and High-dimensional Data

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

IEEE Transactions on Knowledge and Data Engineering

ANN-Benchmarks: A Benchmarking Tool for Approximate Nearest Neighbor Algorithms

SpectralNet: Spectral Clustering using Deep Neural Networks


A Python SDK for interacting with quantum devices on Amazon Braket

Mitiq: A software package for error mitigation on noisy quantum computers

qRobot: A Quantum Computing Approach in Mobile Robot Order Picking and Batching Problem Solver Optimization

QFaaS: A Serverless Function-as-a-Service Framework for Quantum Computing

Compiler Optimization for Quantum Computing Using Reinforcement Learning

Optimization of Robot-Trajectory Planning with Nature-Inspired and Hybrid Quantum Algorithms

A protocol for the use of cloud-based quantum computers for logical network analysis of biological systems


A curated list of awesome frameworks, libraries and software for the Java programming language.

OJXPerf: Featherlight Object Replica Detection for Java Programs

Proceedings of the 44th International Conference on Software Engineering

Antipatterns in Software Classification Taxonomies

LabelGit: A Dataset for Software Repositories Classification using Attributed Dependency Graphs

Using Structural and Semantic Information to Identify Software Components


WhisperX:  Automatic Speech Recognition with Word-level Timestamps (& Diarization)

Robust Speech Recognition via Large-Scale Weak Supervision

WhisperX: Time-Accurate Speech Transcription of Long-Form Audio

VideoVista: A Versatile Benchmark for Video Understanding and Reasoning

Sensing of inspiration events from speech: comparison of deep learning and linguistic methods


Firmware Analysis Tool

Vulnerabilities in IoT Devices for Smart Home Environment

PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS SECURITY AND PRIVACY (ICISSP)

Leveraging operational technology and the Internet of things to attack smart buildings

Code Injection Attacks in Wireless-Based Internet of Things (IoT): A Comprehensive Review and Practical Implementations

FIRM-COV: High-Coverage Greybox Fuzzing for IoT Firmware via Optimized Process Emulation

FirmHunter: State-Aware and Introspection-Driven Grey-Box Fuzzing towards IoT Firmware

Beyond the Hype: A Real-World Evaluation of the Impact and Cost of Machine Learning-Based Malware Detection

A Study on the Digital Forensic Investigation Method of Clever Malware in IoT Devices

Towards Characterizing IoT Software Update Practices

ColdPress: An Extensible Malware Analysis Platform for Threat Intelligence

A Natural Language Processing Approach for Instruction Set Architecture Identification


A lightweight, object-oriented finite state machine implementation in Python with many extensions

State Machine Based Human-Bot Conversation Model and Services

KERN

Avgust: automating usage-based test generation from videos of app executions

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Using Finite-State Machines to Automatically Scan Classical Greek Hexameter


BLAS-like Library Instantiation Software Framework

High-Performance Tensor Contraction without Transposition

High-Performance Tensor Contraction without BLAS.

Parallel Accelerated Vector Similarity Calculations for Genomics Applications

Parallel Accelerated Custom Correlation Coefficient Calculations for Genomics Applications

BLISlab: A Sandbox for Optimizing GEMM

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

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


The iconic SVG, font, and CSS toolkit

Breaking the borders: an investigation of cross-ecosystem software packages

Intertwining Ecosystems: A Large Scale Empirical Study of Libraries that Cross Software Ecosystems

Intertwining Communities: Exploring Libraries that Cross Software Ecosystems


:twisted_rightwards_arrows: Neural Network (NN) Streamer, Stream Processing Paradigm for Neural Network Apps/Devices.

NNStreamer: Stream Processing Paradigm for Neural Networks, Toward Efficient Development and Execution of On-Device AI Applications

NNStreamer: Efficient and Agile Development of On-Device AI Systems

Toward Among-Device AI from On-Device AI with Stream Pipelines


POT : Python Optimal Transport

Optimal Transport for structured data with application on graphs

Wasserstein Weisfeiler-Lehman Graph Kernels

Optimal Transport for Multi-source Domain Adaptation under Target Shift

Community Detection on Networks with Ricci Flow

Fused Gromov-Wasserstein distance for structured objects: theoretical foundations and mathematical properties

Wasserstein Discriminant Analysis

Fairness Violations and Mitigation under Covariate Shift

Proceedings of the 2021 ACM Conference on Fairness, Accountability, and Transparency

A single-cell atlas of the mouse and human prostate reveals heterogeneity and conservation of epithelial progenitors

Projection Robust Wasserstein Distance and Riemannian Optimization

Matching Code and Law: Achieving Algorithmic Fairness with Optimal Transport


IOTA Reference Implementation

On the Resilience of DAG-Based Distributed Ledgers in IoT Applications

Properties of the Tangle for Uniform Random and Random Walk Tip Selection

International Congress on Blockchain and Applications

Understanding blockchain: Definitions, architecture, design, and system comparison

StreamNet: A DAG System with Streaming Graph Computing

Committee selection in DAG distributed ledgers and applications

A survey of data transfer and storage techniques in prevalent cryptocurrencies and suggested improvements


A unified, comprehensive and efficient recommendation library

RecBole: Towards a Unified, Comprehensive and Efficient Framework for Recommendation Algorithms

Improving Graph Collaborative Filtering with Neighborhood-enriched Contrastive Learning

RecBole 2.0: Towards a More Up-to-Date Recommendation Library

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

A Comprehensive Survey on Trustworthy Recommender Systems

Explanation Guided Contrastive Learning for Sequential Recommendation

AdaMCT: Adaptive Mixture of CNN-Transformer for Sequential Recommendation

Improving Micro-video Recommendation by Controlling Position Bias

Intent-aware Recommendation via Disentangled Graph Contrastive Learning

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence

Recent Advances in RecBole: Extensions with more Practical Considerations


sourcecode for reading sensor data


Suite of tools for deploying and training deep learning models using the JVM. Highlights include model import for keras, tensorflow, and onnx/pytorch, a modular and tiny c++ library for running math code and a java based math library on top of the core c++ library. Also includes samediff: a pytorch/tensorflow like library for running deep learn...

LambdaNet: Probabilistic Type Inference using Graph Neural Networks

Deep learning in electron microscopy

Machine Learning: Science and Technology

Toward Understanding Deep Learning Framework Bugs

Flashlight: Enabling Innovation in Tools for Machine Learning

The Linear Algebra Mapping Problem. Current State of Linear Algebra Languages and Libraries

Typesafe abstractions for tensor operations (short paper)

An exploratory study on the introduction and removal of different types of technical debt in deep learning frameworks

Applications of Neural Networks in Biomedical Data Analysis

An Intrusion Response System utilizing Deep Q-Networks and System Partitions

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


FastAPI framework, high performance, easy to learn, fast to code, ready for production

Efficient Memory Management for Large Language Model Serving with PagedAttention

BugsInPy: a database of existing bugs in Python programs to enable controlled testing and debugging studies

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

OPTIMADE, an API for exchanging materials data

How AI Processing Delays Foster Creativity: Exploring Research Question Co-Creation with an LLM-based Agent

Deep Anatomical Federated Network (Dafne): an open client/server framework for the continuous collaborative improvement of deep-learning-based medical image segmentation

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness

GazePointAR: A Context-Aware Multimodal Voice Assistant for Pronoun Disambiguation in Wearable Augmented Reality

Translation Word-Level Auto-Completion: What can we achieve out of the box?

Spacerini: Plug-and-play Search Engines with Pyserini and Hugging Face

Poisoned ChatGPT Finds Work for Idle Hands: Exploring Developers' Coding Practices with Insecure Suggestions from Poisoned AI Models


Plant phenotyping with image analysis

PlantCV v2: Image analysis software for high-throughput plant phenotyping

A Data-Driven Perspective on the Colours of Metal-Organic Frameworks


Computational framework for reinforcement learning in traffic control

Flow: A Modular Learning Framework for Mixed Autonomy Traffic

Lagrangian Control through Deep-RL: Applications to Bottleneck Decongestion

International Conference on Intelligent Transportation Systems

Simulation to Scaled City: Zero-Shot Policy Transfer for Traffic Control via Autonomous Vehicles

Zero-Shot Autonomous Vehicle Policy Transfer: From Simulation to Real-World via Adversarial Learning

International Conference on Control and Automation

DRLE: Decentralized Reinforcement Learning at the Edge for Traffic Light Control in the IoV

Reinforcement Learning Based Oscillation Dampening: Scaling up Single-Agent RL algorithms to a 100 AV highway field operational test


tools for working with genome variation graphs

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

Computational pan-genomics: status, promises and challenges

Major improvements to the Heliconius melpomene genome assembly used to confirm 10 chromosome fusion events in 6 million years of butterfly evolution

High-Accuracy HLA Type Inference from Whole-Genome Sequencing Data Using Population Reference Graphs

Indexing Variation Graphs

Workshop on Algorithm Engineering and Experimentation

A pangenome reference of 36 Chinese populations

Computational aspects underlying genome to phenome analysis in plants

The Plant journal : for cell and molecular biology

Bovine breed-specific augmented reference graphs facilitate accurate sequence read mapping and unbiased variant discovery

Sequence tube maps: making graph genomes intuitive to commuters

seq-seq-pan: building a computational pan-genome data structure on whole genome alignment


cve-search - a tool to perform local searches for known vulnerabilities

ATVHunter: Reliable Version Detection of Third-Party Libraries for Vulnerability Identification in Android Applications

Just-in-time software vulnerability detection: Are we there yet?

Adaptive MTD Security using Markov Game Modeling

Improving ICS Cyber Resilience through Optimal Diversification of Network Resources

One Bad Apple Spoils the Barrel: Understanding the Security Risks Introduced by Third-Party Components in IoT Firmware

Discovering Command and Control Channels Using Reinforcement Learning

CyMed: A Framework for Testing Cybersecurity of Connected Medical Devices

Towards Measuring Vulnerabilities and Exposures in Open-Source Packages


Free open-source photogrammetry software tools

Feature matching for multi-epoch historical aerial images

Isprs Journal of Photogrammetry and Remote Sensing

Surface Rupture Kinematics and Coseismic Slip Distribution during the 2019 Mw7.1 Ridgecrest, California Earthquake Sequence Revealed by SAR and Optical Images

3D reconstruction from spherical images: A review of techniques, applications, and prospects

An evaluation of Deep Learning based stereo dense matching dataset shift from aerial images and a large scale stereo dataset

International Journal of Applied Earth Observation and Geoinformation


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

A Survey of Data Quality Measurement and Monitoring Tools

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

How well does LLM generate security tests?

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

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

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

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

A survey of OpenRefine reconciliation services

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

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

International Workshop on Spoken Language Translation


Security oriented software fuzzer. Supports evolutionary, feedback-driven fuzzing based on code coverage (SW and HW based)

The Art, Science, and Engineering of Fuzzing: A Survey

Smart Greybox Fuzzing

SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities

Conference on Computer and Communications Security

DeepHunter: Hunting Deep Neural Network Defects via Coverage-Guided Fuzzing

WEIZZ: automatic grey-box fuzzing for structured binary formats

International Symposium on Software Testing and Analysis

Stateful Greybox Fuzzing

Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis

SmartSeed: Smart Seed Generation for Efficient Fuzzing

A Review of Machine Learning Applications in Fuzzing

SNPSFuzzer: A Fast Greybox Fuzzer for Stateful Network Protocols Using Snapshots


Computational toolbox for large scale Calcium Imaging Analysis, including movie handling, motion correction, source extraction, spike deconvolution and result visualization.

Efficient and accurate extraction of in vivo calcium signals from microendoscopic video data

Fast online deconvolution of calcium imaging data

Nontoxic, double-deletion-mutant rabies viral vectors for retrograde targeting of projection neurons

OnACID: Online Analysis of Calcium Imaging Data in Real Time

Converting an allocentric goal into an egocentric steering signal

Complementary lateral hypothalamic populations resist hunger pressure to balance nutritional and social needs

Sound generation in zebrafish with Bio-Opto-Acoustics

Rapid detection of neurons in widefield calcium imaging datasets after training with synthetic data

Differences in the Electrophysiological Properties of Mouse Somatosensory Layer 2/3 Neurons In Vivo and Slice Stem from Intrinsic Sources Rather than a Network-Generated High Conductance State

Statistically unbiased prediction enables accurate denoising of voltage imaging data


HuggingGPT: Solving AI Tasks with ChatGPT and its Friends in Hugging Face

AgentVerse: Facilitating Multi-Agent Collaboration and Exploring Emergent Behaviors

Multi-Agent Collaboration: Harnessing the Power of Intelligent LLM Agents

TPTU: Large Language Model-based AI Agents for Task Planning and Tool Usage

AgentTuning: Enabling Generalized Agent Abilities for LLMs

Large Language Models for Robotics: A Survey

Dynamic LLM-Agent Network: An LLM-agent Collaboration Framework with Agent Team Optimization

BOLAA: Benchmarking and Orchestrating LLM-augmented Autonomous Agents

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

MetaAgents: Simulating Interactions of Human Behaviors for LLM-based Task-oriented Coordination via Collaborative Generative Agents


Mirror of Apache Struts

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

Refactoring Debt: Myth or Reality? An Exploratory Study on the Relationship Between Technical Debt and Refactoring

On the Use of Mutation in Injecting Test Order-Dependency

VFFINDER: A Graph-Based Approach for Automated Silent Vulnerability-Fix Identification

Internal Quality Evolution of Open-Source Software Systems

Executable Trigger-Action Comments


OptiKey - Full computer control and speech with your eyes

Development of an Eye Tracking-Based Human-Computer Interface for Real-Time Applications

Assessing the Usability of Gaze-Adapted Interface against Conventional Eye-based Input Emulation

Zenodo (CERN European Organization for Nuclear Research)

Cue-bot: A Conversational Agent for Assistive Technology

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics: System Demonstrations

CueBot: Cue-Controlled Response Generation for Assistive Interaction Usages

Workshop on Speech and Language Processing for Assistive Technologies


Conversion between Traditional and Simplified Chinese

Analogical Reasoning on Chinese Morphological and Semantic Relations

MLQA: Evaluating Cross-lingual Extractive Question Answering

Adversarial Training for Unsupervised Bilingual Lexicon Induction

PROCEEDINGS OF THE 55TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2017), VOL 1

A Span-Extraction Dataset for Chinese Machine Reading Comprehension

Empirical Methods in Natural Language Processing

Earth Mover's Distance Minimization for Unsupervised Bilingual Lexicon Induction

DRCD: a Chinese Machine Reading Comprehension Dataset

Read, Listen, and See: Leveraging Multimodal Information Helps Chinese Spell Checking

NL-Augmenter: A Framework for Task-Sensitive Natural Language Augmentation

A Report on the Third VarDial Evaluation Campaign

The Past Mistake is the Future Wisdom: Error-driven Contrastive Probability Optimization for Chinese Spell Checking


This repo includes ChatGPT prompt curation to use ChatGPT better.

Orca: Progressive Learning from Complex Explanation Traces of GPT-4

ChatGPT: A Meta-Analysis after 2.5 Months

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

Effective Prompt Extraction from Language Models

G3Detector: General GPT-Generated Text Detector

Prompting Frameworks for Large Language Models: A Survey

On the Detectability of ChatGPT Content: Benchmarking, Methodology, and Evaluation through the Lens of Academic Writing

Talkin' 'Bout AI Generation: Copyright and the Generative-AI Supply Chain

ChatGPT: Understanding Code Syntax and Semantics

SEED: Domain-Specific Data Curation With Large Language Models


OpenQuake Engine: a software for Seismic Hazard and Risk Analysis

Integrating faults and past earthquakes into a probabilistic seismic hazard model for peninsular Italy

Natural hazards and earth system sciences

Integrated Seismic Risk Assessment in Nepal

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


A Kademlia DHT implementation on go-libp2p

Content Censorship in the InterPlanetary File System

Kadabra: Adapting Kademlia for the Decentralized Web


Web app for visualizing pathogen evolution

A small number of early introductions seeded widespread transmission of SARS-CoV-2 in Québec, Canada

Genomic epidemiology supports multiple introductions and cryptic transmission of Zika virus in Colombia

Genetic and Antigenic Characterization of an Expanding H3 Influenza A Virus Clade in U.S. Swine Visualized by Nextstrain

Whole-Genome-Based Helicobacter pylori Geographic Surveillance: A Visualized and Expandable Webtool

A Multiplexed, Tiled PCR Method for Rapid Whole-Genome Sequencing of Infectious Spleen and Kidney Necrosis Virus (ISKNV) in Tilapia

SARS-CoV-2 Within-Host and in vitro Genomic Variability and Sub-Genomic RNA Levels Indicate Differences in Viral Expression Between Clinical Cohorts and in vitro Culture

SARS-CoV-2 Pandemic Tracing in Italy Highlights Lineages with Mutational Burden in Growing Subsets

International journal of molecular sciences

In field use of water samples for genomic surveillance of ISKNV infecting tilapia fish in Lake Volta, Ghana

Contrasting Distribution of SARS-CoV-2 Lineages across Multiple Rounds of Pandemic Waves in West Bengal, the Gateway of East and North-East States of India


Collective communications library with various primitives for multi-machine training.

Accurate, Large Minibatch SGD: Training ImageNet in 1 Hour

A Survey on Distributed Machine Learning

Deep Learning Recommendation Model for Personalization and Recommendation Systems

PyTorch Distributed: Experiences on Accelerating Data Parallel Training

CrypTen: Secure Multi-Party Computation Meets Machine Learning

A Quantitative Survey of Communication Optimizations in Distributed Deep Learning

Natural Compression for Distributed Deep Learning

Communication-Efficient Federated Learning With Compensated Overlap-FedAvg

Orchestrating the Development Lifecycle of Machine Learning-Based IoT Applications: A Taxonomy and Survey

Communication-Efficient Distributed Deep Learning: A Comprehensive Survey


Liquid Types For Haskell

Bounded Refinement Types

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

Local Refinement Typing

Gradual Liquid Type Inference

Proceedings of the ACM on Programming Languages

An Introduction to Liquid Haskell

Structural and semantic pattern matching analysis in Haskell


NVIDIA® TensorRT™ is an SDK for high-performance deep learning inference on NVIDIA GPUs. This repository contains the open source components of TensorRT.

The Deep Learning Compiler: A Comprehensive Survey

IEEE Transactions on Parallel and Distributed Systems

EdgeNeXt: Efficiently Amalgamated CNN-Transformer Architecture for Mobile Vision Applications

Heterogeneous Ground and Air Platforms, Homogeneous Sensing: Team CSIRO Data61's Approach to the DARPA Subterranean Challenge

Adopting the YOLOv4 Architecture for Low-Latency Multispectral Pedestrian Detection in Autonomous Driving

MQBench: Towards Reproducible and Deployable Model Quantization Benchmark

ANT: Exploiting Adaptive Numerical Data Type for Low-bit Deep Neural Network Quantization

Real-Time Monocular Human Depth Estimation and Segmentation on Embedded Systems

Inference-Optimized AI and High Performance Computing for Gravitational Wave Detection at Scale

Fast-Tracker 2.0: Improving Autonomy of Aerial Tracking with Active Vision and Human Location Regression

Easy and Efficient Transformer: Scalable Inference Solution For Large NLP Model


⟁ Tendermint Core (BFT Consensus) in Go

Blockchain Consensus Protocols in the Wild

A Survey on Blockchain Interoperability: Past, Present, and Future Trends

The latest gossip on BFT consensus

HotStuff: BFT Consensus in the Lens of Blockchain

Cross-chain deals and adversarial commerce

Deconstructing Blockchains: A Comprehensive Survey on Consensus, Membership and Structure

A Byzantine Fault-Tolerant Consensus Library for Hyperledger Fabric

Cogsworth: Byzantine View Synchronization

A Secure and Intelligent Data Sharing Scheme for UAV-Assisted Disaster Rescue

Blockmania: from Block DAGs to Consensus


Example models using DeepSpeed

DeepSpeed-Chat: Easy, Fast and Affordable RLHF Training of ChatGPT-like Models at All Scales

LightSeq2: Accelerated Training for Transformer-Based Models on GPUs

AceGPT, Localizing Large Language Models in Arabic

Singularity: Planet-Scale, Preemptive and Elastic Scheduling of AI Workloads

A Hybrid Tensor-Expert-Data Parallelism Approach to Optimize Mixture-of-Experts Training

AxoNN: An asynchronous, message-driven parallel framework for extreme-scale deep learning

DeepSpeed-VisualChat: Multi-Round Multi-Image Interleave Chat via Multi-Modal Causal Attention

Red Teaming Game: A Game-Theoretic Framework for Red Teaming Language Models

OpenRLHF: An Easy-to-use, Scalable and High-performance RLHF Framework

ARGS: Alignment as Reward-Guided Search


QUDA is a library for performing calculations in lattice QCD on GPUs.

A per-cent-level determination of the nucleon axial coupling from quantum chromodynamics

Towards grounding nuclear physics in QCD

Progress in Particle and Nuclear Physics

Two-nucleon S -wave interactions at the SU(3) flavor-symmetric point with mud≈ msphys: A first lattice QCD calculation with the stochastic Laplacian Heaviside method

A Framework for Lattice QCD Calculations on GPUs

International Parallel and Distributed Processing Symposium

Evaluation of disconnected quark loops for hadron structure using GPUs

FK /Fπ from Möbius domain-wall fermions solved on gradient-flowed HISQ ensembles

Status of Lattice QCD Determination of Nucleon Form Factors and Their Relevance for the Few-GeV Neutrino Program

Annual Review of Nuclear and Particle Science

CL2QCD - Lattice QCD based on OpenCL

Simulating the Weak Death of the Neutron in a Femtoscale Universe with Near-Exascale Computing

Scale setting the Möbius domain wall fermion on gradient-flowed HISQ action using the omega baryon mass and the gradient-flow scales t0 and w0


Hackable and optimized Transformers building blocks, supporting a composable construction.

Attention Is All You Need

LLaMA: Open and Efficient Foundation Language Models

Longformer: The Long-Document Transformer

Big Bird: Transformers for Longer Sequences

DINOv2: Learning Robust Visual Features without Supervision

Rethinking Attention with Performers

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

MetaFormer is Actually What You Need for Vision

On Layer Normalization in the Transformer Architecture

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


Jupyter metapackage for installation, docs and chat

Open Education Science

Experimenting with reproducibility: a case study of robustness in bioinformatics

The organization and development of cortical interneuron presynaptic circuits are area specific

Easy-to-Use Cloud Computing for Teaching Data Science

Journal of Statistics and Data Science Education

Using Computational Essays to Scaffold Professional Physics Practice

Jupyter as Common Technology Platform for Interactive HPC Services

Proceedings of the Practice and Experience on Advanced Research Computing

Bacatá: Notebooks for DSLs, Almost for Free

The Art, Science, and Engineering of Programming

MIT SuperCloud Portal Workspace: Enabling HPC Web Application Deployment

IEEE High Performance Extreme Computing Conference

Jupyter Notebooks in Undergraduate Mobile Robotics Courses: Educational Tool and Case Study

Jupyter Notebooks for the study of advanced topics in Fluid Mechanics

Computer Applications in Engineering Education


An open source python library for automated feature engineering

Techniques for Automated Machine Learning

Large Language Models for Automated Data Science: Introducing CAAFE for Context-Aware Automated Feature Engineering

Towards Explainable Artificial Intelligence in Banking and Financial Services

Cardea: An Open Automated Machine Learning Framework for Electronic Health Records

The Technological Emergence of AutoML: A Survey of Performant Software and Applications in the Context of Industry

That Escalated Quickly: An ML Framework for Alert Prioritization


Savoury implementation of the QUIC transport protocol and HTTP/3

An Early Benchmark of Quality of Experience Between HTTP/2 and HTTP/3 using Lighthouse

PROGNOSIS: Closed-Box Analysis of Network Protocol Implementations

SIGCOMM '21: PROCEEDINGS OF THE 2021 ACM SIGCOMM 2021 CONFERENCE

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

QUIC on the Highway: Evaluating Performance on High-rate Links

2023 IFIP Networking Conference (IFIP Networking)

A QUIC(K) Way Through Your Firewall?

QUIC Hunter: Finding QUIC Deployments and Identifying Server Libraries Across the Internet

Revisiting WiFi offloading in the wild for V2I applications

Evaluating the Benefits: Quantifying the Effects of TCP Options, QUIC, and CDNs on Throughput

Proceedings of the Applied Networking Research Workshop

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

PBQ-Enhanced QUIC: QUIC with Deep Reinforcement Learning Congestion Control Mechanism


Fetch Standard

Cross-Origin State Inference (COSI) Attacks: Leaking Web Site States through XS-Leaks

CORSICA: Cross-Origin Web Service Identification

Sharding and HTTP/2 connection reuse revisited

Information Leaks via Safari's Intelligent Tracking Prevention


Open Cyber Threat Intelligence Platform

Investigating Sharing of Cyber Threat Intelligence and Proposing A New Data Model for Enabling Automation in Knowledge Representation and Exchange

OSINT-Based LPC-MTD and HS-Decoy for Organizational Defensive Deception

Towards an Improved Taxonomy of Attacks Related to Digital Identities and Identity Management Systems


Repository of yara rules

Malware Makeover: Breaking ML-based Static Analysis by Modifying Executable Bytes

Query-Efficient Black-Box Attack Against Sequence-Based Malware Classifiers

Machine Learning Framework to Analyze IoT Malware Using ELF and Opcode Features

I-MAD: Interpretable malware detector using Galaxy Transformer

Packer Detection for Multi-Layer Executables Using Entropy Analysis

Against All Odds: Winning the Defense Challenge in an Evasion Competition with Diversification

ChatIDS: Explainable Cybersecurity Using Generative AI

Assessing the Effectiveness of YARA Rules for Signature-Based Malware Detection and Classification

Towards practical intrusion detection system over encrypted traffic*

MVDroid: an android malicious VPN detector using neural networks


Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library,  for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Dask, Flink and DataFlow

XGBoost: A Scalable Tree Boosting System

MoleculeNet: A Benchmark for Molecular Machine Learning

A comparative analysis of gradient boosting algorithms

pdp: An R Package for Constructing Partial Dependence Plots

SecureBoost: A Lossless Federated Learning Framework

Novel Feature Extraction, Selection and Fusion for Effective Malware Family Classification

Accelerated Discovery of Organic Polymer Photocatalysts for Hydrogen Evolution from Water through the Integration of Experiment and Theory

Journal of the American Chemical Society

What Can Transformers Learn In-Context? A Case Study of Simple Function Classes

DeepMood: Modeling Mobile Phone Typing Dynamics for Mood Detection

EGBMMDA: Extreme Gradient Boosting Machine for MiRNA-Disease Association prediction


Cloud Carbon Footprint is a tool to estimate energy use (kilowatt-hours) and carbon emissions (metric tons CO2e) from public cloud usage

eco2AI: Carbon Emissions Tracking of Machine Learning Models as the First Step Towards Sustainable AI


AMD ROCm™ Software - GitHub Home

A Framework for Designing Efficient Deep Learning-Based Genomic Basecallers

Adaptive Computing in Robotics, Leveraging ROS 2 to Enable Software-Defined Hardware for FPGAs

SPARTA: Spatial Acceleration for Efficient and Scalable Horizontal Diffusion Weather Stencil Computation

ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP

BitGNN: Unleashing the Performance Potential of Binary Graph Neural Networks on GPUs


Extremely fast non-cryptographic hash algorithm

Wormhole: A Fast Ordered Index for In-memory Data Management

SPAA '10: PROCEEDINGS OF THE TWENTY-SECOND ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES

Data Poisoning Attacks to Local Differential Privacy Protocols

COBS: a Compact Bit-Sliced Signature Index

Dynamic Feature Induction: The Last Gist to the State-of-the-Art

North American Chapter of the Association for Computational Linguistics

To Petabytes and beyond: recent advances in probabilistic and signal processing algorithms and their application to metagenomics

BagMinHash - Minwise Hashing Algorithm for Weighted Sets

Hash Adaptive Bloom Filter

Peeling Close to the Orientability Threshold: Spatial Coupling in Hashing-Based Data Structures

uBFT: Microsecond-Scale BFT using Disaggregated Memory

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

copMEM: Finding maximal exact matches via sampling both genomes


Kernel source tree for Raspberry Pi-provided kernel builds. Issues unrelated to the linux kernel should be posted on the community forum at https://forums.raspberrypi.com/

Minimum viable device drivers for ARM trustzone

Ellipsis: Towards Efficient System Auditing for Real-Time Systems

MVAM: Multi-variant Attacks on Memory for IoT Trust Computing

Scrooge Attack: Undervolting ARM Processors for Profit.

Open-source milligram-scale, four channel, automated protein purification system

An implementation and evaluation of MPTCP-based IoT router


flake8 is a python tool that glues together pycodestyle, pyflakes, mccabe, and third-party plugins to check the style and quality of some python code.

Ariadne: analysis for machine learning programs

Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages

A Large-Scale Comparison of Python Code in Jupyter Notebooks and Scripts

cmaes : A Simple yet Practical Python Library for CMA-ES

Integration of Structured Biological Data Sources using Biological Expression Language


Repo for external large-scale work

LLaMA: Open and Efficient Foundation Language Models

OPT: Open Pre-trained Transformer Language Models

Galactica: A Large Language Model for Science

A Comprehensive Survey of AI-Generated Content (AIGC): A History of Generative AI from GAN to ChatGPT

Generative Language Models and Automated Influence Operations: Emerging Threats and Potential Mitigations

Auditing large language models: a three-layered approach

Scaling Autoregressive Multi-Modal Models: Pretraining and Instruction Tuning

Scaling Laws for Generative Mixed-Modal Language Models

MEGABYTE: Predicting Million-byte Sequences with Multiscale Transformers

On the Exploitability of Instruction Tuning


Open source annotation tool for machine learning practitioners.

Garbage in, garbage out?

Proceedings of the 2020 Conference on Fairness, Accountability, and Transparency

A Survey of Deep Learning for Scientific Discovery

Can We Automate Scientific Reviewing?

WNUT-2020 Task 2: Identification of Informative COVID-19 English Tweets

PsyQA: A Chinese Dataset for Generating Long Counseling Text for Mental Health Support

"Garbage In, Garbage Out" Revisited: What Do Machine Learning Application Papers Report About Human-Labeled Training Data?

SWSR: A Chinese Dataset and Lexicon for Online Sexism Detection

End-to-end Named Entity Recognition from English Speech

"Short is the Road that Leads from Fear to Hate": Fear Speech in Indian WhatsApp Groups

Multimodal Hate Speech Detection in Greek Social Media


The Python package installer

Better Context Makes Better Code Language Models: A Case Study on Function Call Argument Completion

Flexible and Optimal Dependency Management via Max-SMT

Using Answer Set Programming for HPC Dependency Solving

causalgraph: A Python Package for Modeling, Persisting and Visualizing Causal Graphs Embedded in Knowledge Graphs


Arm NN ML Software. The code here is a read-only mirror of https://review.mlplatform.org/admin/repos/ml/armnn

AI Benchmark: Running Deep Neural Networks on Android Smartphones

AI Benchmark: All About Deep Learning on Smartphones in 2019

Impact of Thermal Throttling on Long-Term Visual Inference in a CPU-based Edge Device

TinyML Platforms Benchmarking

Quantune: Post-training quantization of convolutional neural networks using extreme gradient boosting for fast deployment

Landing AI on Networks: An Equipment Vendor Viewpoint on Autonomous Driving Networks

IEEE Transactions on Network and Service Management

Ultra-Efficient On-Device Object Detection on AI-Integrated Smart Glasses with TinyissimoYOLO

GPUReplay: A 50-KB GPU Stack for Client ML

TinyML-Based Fall Detection for Connected Personal Mobility Vehicles

Computers, materials & continua/Computers, materials & continua (Print)


ArduPlane, ArduCopter, ArduRover, ArduSub source

Accuracy of Trajectory Tracking Based on Nonlinear Guidance Logic for Hydrographic Unmanned Surface Vessels

Security and Privacy in the Emerging Cyber-Physical World: A Survey

IEEE Communications Surveys and Tutorials

An Autonomous Surface Vehicle for Long Term Operations

UAV-Based and WebRTC-Based Open Universal Framework to Monitor Urban and Industrial Areas

Design and implementation of low cost thrust benchmarking system (TBS) in application for small scale electric UAV propeller characterization

The Prototype Monitoring System for Pollution Sensing and Online Visualization with the Use of a UAV and a WebRTC-Based Platform

Path Planner for Autonomous Exploration of Underground Mines by Aerial Vehicles

Improvements in learning to control perched landings

3D Simulation of Flight Control System for Quad Tilt Rotor UAV Based on Flightgear

IOP Conference Series: Earth and Environmental Science

Control System Architecture for Automatic Recovery of Fixed-Wing Unmanned Aerial Vehicles in a Moving Arrest System

Journal of Intelligent and Robotic Systems


Tom's Obvious, Minimal Language

Allpix(2): A modular simulation framework for silicon detectors

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

A Real Time Processing system for big data in astronomy: Applications to HERA

User Manual for the Corryvreckan Test Beam Data Reconstruction Framework, Version 1.0

Refactoring Neural Networks for Verification

pySEOBNR: a software package for the next generation of effective-one-body multipolar waveform models

TurboPy: A lightweight python framework for computational physics

DataCurator.jl: Efficient, portable, and reproducible validation, curation, and transformation of large heterogeneous datasets using human-readable recipes compiled into machine verifiable templates

Property-Based Testing in Simulation for Verifying Robot Action Execution in Tabletop Manipulation


ClosedXML is a .NET library for reading, manipulating and writing Excel 2007+ (.xlsx, .xlsm) files. It aims to provide an intuitive and user-friendly interface to dealing with the underlying OpenXML API.

TUTA: Tree-based Transformers for Generally Structured Table Pre-training

TableSense: Spreadsheet Table Detection with Convolutional Neural Networks

THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE

Structure and Design of HoloGen


Drag & drop UI to build your customized LLM flow

From Prompt Injections to SQL Injection Attacks: How Protected is Your LLM-Integrated Web Application?

MeTMaP: Metamorphic Testing for Detecting False Vector Matching Problems in LLM Augmented Generation

A RAG-based Question Answering System Proposal for Understanding Islam: MufassirQAS LLM

Jigsaw: Supporting Designers to Prototype Multimodal Applications by Chaining AI Foundation Models