A toolkit for reproducible reinforcement learning research.

Benchmarking Deep Reinforcement Learning for Continuous Control

Meta-World: A Benchmark and Evaluation for Multi-Task and Meta Reinforcement Learning

A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems

Sim-to-(Multi)-Real: Transfer of Low-Level Robust Control Policies to Multiple Quadrotors

AllenAct: A Framework for Embodied AI Research

CORL: Research-oriented Deep Offline Reinforcement Learning Library

Deep Reinforcement Learning with Robust and Smooth Policy

Is the Policy Gradient a Gradient?

Heuristic-Guided Reinforcement Learning

Safe-Control-Gym: A Unified Benchmark Suite for Safe Learning-Based Control and Reinforcement Learning in Robotics


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

Haplotype-aware graph indexes

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


An enterprise friendly way of detecting and preventing secrets in code.

StarCoder: may the source be with you!

SantaCoder: don't reach for the stars!

Unveiling Memorization in Code Models

Sniffing for Codebase Secret Leaks with Known Production Secrets in Industry

Open Source Solutions for Vulnerability Assessment: A Comparative Analysis

A Comparative Study of Software Secrets Reporting by Secret Detection Tools


C library for high-throughput sequencing data formats

HTSlib: C library for reading/writing high-throughput sequencing data

Efficient in vitro and in vivo RNA editing via recruitment of endogenous ADARs using circular guide RNAs

htsget: a protocol for securely streaming genomic data

POPBAM: Tools for Evolutionary Analysis of Short Read Sequence Alignments

Clinical utility of the low-density Infinium QC genotyping Array in a genomics-based diagnostics laboratory

Kled: an ultra-fast and sensitive structural variant detection tool for long-read sequencing data

Protocol for unbiased, consolidated variant calling from whole exome sequencing data

Protocol for detecting rare and common genetic associations in whole-exome sequencing studies using MAGICpipeline


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 of 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


High-efficiency floating-point neural network inference operators for mobile, server, and Web

Efficient Deep Learning: A Survey on Making Deep Learning Models Smaller, Faster, and Better

Fast Sparse ConvNets

Rethinking Vision Transformers for MobileNet Size and Speed

The Indirect Convolution Algorithm

Smart at what cost? Characterising Mobile Deep Neural Networks in the wild

Efficient Memory Management for Deep Neural Net Inference

Performance Evaluation of Offline Speech Recognition on Edge Devices

The Two-Pass Softmax Algorithm

StreamVC: Real-Time Low-Latency Voice Conversion

Towards Understanding the Faults of JavaScript-Based Deep Learning Systems

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering


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

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

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

Sound generation in zebrafish with Bio-Opto-Acoustics

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


Apache Beam is a unified programming model for Batch and Streaming data processing.

Self-Supervised Bug Detection and Repair

Quantitative Impact Evaluation of an Abstraction Layer for Data Stream Processing Systems

International Conference on Distributed Computing Systems

On using Stack Overflow comment-edit pairs to recommend code maintenance changes

Parallel Particle Swarm Optimization Using Apache Beam

An Empirical Study on Data Leakage and Generalizability of Link Prediction Models for Issues and Commits

Recommending Code Understandability Improvements based on Code Reviews


Monero: the secure, private, untraceable cryptocurrency

An Empirical Analysis of Traceability in the Monero Blockchain

Comparison of blockchain platforms: a systematic review and healthcare examples

Journal of the American Medical Informatics Association : JAMIA

An Empirical Analysis of Linkability in the Monero Blockchain

Bulletproofs+: Shorter Proofs for a Privacy-Enhanced Distributed Ledger

An Empirical Analysis of Monero Cross-Chain Traceability

An empirical study of blockchain system vulnerabilities: modules, types, and patterns

Diving Into Blockchain's Weaknesses: An Empirical Study of Blockchain System Vulnerabilities

Correlations of Multi-input Monero Transactions

Identity Chain


Geocoding library for Python.

Remote collaboration fuses fewer breakthrough ideas

You Tweet What You Speak: A City-Level Dataset of Arabic Dialects

PROCEEDINGS OF THE ELEVENTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION (LREC 2018)

The Twitter Social Mobility Index: Measuring Social Distancing Practices With Geolocated Tweets

SALSA: A Scheduling Algorithm for LoRa to LEO Satellites

Read what you need: Controllable Aspect-based Opinion Summarization of Tourist Reviews

PROCEEDINGS OF THE 43RD INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR '20)

Using Social Media to Promote STEM Education: Matching College Students with Role Models

Extroverts tweet differently from introverts in Weibo

A Comparative Study on Distancing, Mask and Vaccine Adoption Rates from Global Twitter Trends

Leveraging Network Science for Social Distancing to Curb Pandemic Spread

IEEE access : practical innovations, open solutions


OpenMDAO repository.

Large-Scale Path-Dependent Optimization of Supersonic Aircraft

Multi-fidelity wake modelling based on Co-Kriging method

SCIENCE OF MAKING TORQUE FROM WIND (TORQUE 2016)


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

Prompting Frameworks for Large Language Models: A Survey

G3Detector: General GPT-Generated Text Detector

Check Me If You Can: Detecting ChatGPT-Generated Academic Writing using CheckGPT

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

LMs: Understanding Code Syntax and Semantics for Code Analysis

Supersonic: Learning to Generate Source Code Optimizations in C/C++


Sloc, Cloc and Code: scc is a very fast accurate code counter with complexity calculations and COCOMO estimates written in pure Go

Automatically identifying potential regressions in the layout of responsive web pages

Software testing, verification & reliability

Managing data replication and distribution in the fog with FReD

Lightweight, Multi-Stage, Compiler-Assisted Application Specialization

P2ISE: Preserving Project Integrity in CI/CD Based on Secure Elements

Bad Snakes: Understanding and Improving Python Package Index Malware Scanning

Benchmarking the Parallel 1D Heat Equation Solver in Chapel, Charm++, C++, HPX, Go, Julia, Python, Rust, Swift, and Java

How do Machine Learning Projects use Continuous Integration Practices? An Empirical Study on GitHub Actions

Lessons Learned Developing an Assembly System for WRS 2020 Assembly Challenge

Are We Speeding Up or Slowing Down? On Temporal Aspects of Code Velocity


Matrix Shadow:Lightweight CPU/GPU Matrix and Tensor  Template Library in C++/CUDA for (Deep) Machine Learning

PerforatedCNNs: Acceleration through Elimination of Redundant Convolutions

Deep Learning at Scale and at Ease

Characterizing and Detecting CUDA Program Bugs


C library for prototyping and experimenting with quantum-resistant cryptography

A Beyond-5G Authentication and Key Agreement Protocol

On PQC Migration and Crypto-Agility

Resilience Optimization of Post-Quantum Cryptography Key Encapsulation Algorithms

High-Throughput GPU Implementation of Dilithium Post-Quantum Digital Signature

Post-Quantum VRF and its Applications in Future-Proof Blockchain System

Design and Implementation of a Post-Quantum Group Authenticated Key Exchange Protocol With the LibOQS Library: A Comparative Performance Analysis From Classic McEliece, Kyber, NTRU, and Saber

Migrating Software Systems towards Post-Quantum-Cryptography -- A
  Systematic Literature Review

Enhanced post-quantum key escrow system for supervised data conflict of interest based on consortium blockchain


Daemon for easy but powerful stats aggregation

Monitoring self-adaptive applications within edge computing frameworks: A state-of-the-art review

A Capillary Computing Architecture for Dynamic Internet of Things: Orchestration of Microservices from Edge Devices to Fog and Cloud Providers

Monitoring fog computing: A review, taxonomy and open challenges

Analysis of CERN computing infrastructure and monitoring data

Towards Advanced Monitoring for Scientific Workflows

Your data is your dogfood: DevOps in the astronomical observatory

A Semantic Model for Interchangeable Microservices in Cloud Continuum Computing

Scalable and fail-safe deployment of the ATLAS Distributed Data Management system Rucio

Circllhist -- A Log-Linear Histogram Data Structure for IT Infrastructure Monitoring

Universal Tracing Interface for Multicore Processors


Modelica library for building and district energy systems developed within IBPSA Project 1

IBPSA Project 1: BIM/GIS and Modelica framework for building and community energy system design and operation - ongoing developments, lessons learned and challenges

SUSTAINABLE BUILT ENVIRONMENT D-A-CH CONFERENCE 2019 (SBE19 GRAZ)

Combined Optimal Design and Control of Hybrid Thermal-Electrical Distribution Grids Using Co-Simulation


Cinder is Meta's internal performance-oriented production version of CPython.

Gradual Soundness: Lessons from Static Python

Landscape of High-Performance Python to Develop Data Science and Machine Learning Applications

Dr Wenowdis: Specializing Dynamic Language C Extensions using Type Information


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


This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

The Simplicial Model of Univalent Foundations (after Voevodsky)

Heterogeneous substitution systems revisited

On the homotopy groups of spheres in homotopy type theory

Displayed Categories

Internalizing Representation Independence with Univalence

Formalizing category theory in Agda

Developments in Formal Proofs

Bicategories in Univalent Foundations

Formal metatheory of second-order abstract syntax

Proceedings of the ACM on programming languages

Domain Theory in Constructive and Predicative Univalent Foundations


Language-agnostic HTTP API Testing Tool

Automated test generation for REST APIs: no time to rest yet

Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis

Testing RESTful APIs: A Survey

Open Problems in Fuzzing RESTful APIs: A Comparison of Tools

Testing Real-World Healthcare IoT Application: Experiences and Lessons Learned

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering

Adaptive REST API Testing with Reinforcement Learning

Leveraging Large Language Models to Improve REST API Testing

Top-Down Model-Driven Engineering of Web Services from Extended OpenAPI Models

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


Artemis - Interactive Learning with Automated Feedback

An Analysis of Programming Course Evaluations Before and After the Introduction of an Autograder

AI-Tutoring in Software Engineering Education

2024 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET 2024

Iris: An AI-Driven Virtual Tutor For Computer Science Education

PROCEEDINGS OF THE 2024 CONFERENCE INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, VOL 1, ITICSE 2024


REMIND - REgional Model of INvestments and Development

Combining ambitious climate policies with efforts to eradicate poverty

Zenodo (CERN European Organization for Nuclear Research)

REMIND2.1: transformation and innovation dynamics of the energy-economic system within climate and sustainability limits

Alternative carbon price trajectories can avoid excessive carbon removal

Air quality co-benefits of ratcheting up the NDCs

Deep decarbonisation of buildings energy services through demand and supply transformations in a 1.5°C scenario

Long-term economic benefits of stabilizing warming without overshoot – the ENGAGE model intercomparison

Bidirectional coupling of a long-term integrated assessment model REMIND v3.0.0 with an hourly power sector model DIETER v1.0.2

The Resource Demand of Terawatt-Scale Perovskite Tandem Photovoltaics


DoWhy is a Python library for causal inference that supports explicit modeling and testing of causal assumptions. DoWhy is based on a unified language for causal inference, combining causal graphical models and potential outcomes frameworks.

A Survey on Causal Inference

DoWhy: An End-to-End Library for Causal Inference

Causality Learning: A New Perspective for Interpretable Machine Learning

Causal structure based root cause analysis of outliers

Evaluation Methods and Measures for Causal Learning Algorithms

DoWhy-GCM: An extension of DoWhy for causal inference in graphical causal models

CATE meets ML -- The Conditional Average Treatment Effect and Machine Learning

DoWhy: Addressing Challenges in Expressing and Validating Causal Assumptions

Causal Effect Identification from Multiple Incomplete Data Sources: A General Search-based Approach

Predicting Energy Consumption in Residential Buildings Using Advanced Machine Learning Algorithms


Benchmarks of approximate nearest neighbor libraries in Python

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

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

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

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

Collaborative Similarity Embedding for Recommender Systems

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

International Conference on Information and Knowledge Management

Learning to Route in Similarity Graphs

Approximate Nearest Neighbor Search on High Dimensional Data --- Experiments, Analyses, and Improvement (v1.0)


An open library for the analysis of molecular dynamics trajectories

MDTraj: a modern, open library for the analysis of molecular dynamics trajectories

Enhancing Sampling of Water Rehydration on Ligand Binding: A Comparison of Techniques

Development of a Coarse-Grained Water Forcefield via Multistate Iterative Boltzmann Inversion

Structural basis of antibody inhibition and chemokine activation of the human CC chemokine receptor 8

Computational generation of proteins with predetermined three-dimensional shapes using ProteinSolver

The nepenthesin insert in the Plasmodium falciparum aspartic protease plasmepsin V is necessary for enzyme function


OWASP CRS (Official Repository)

Peningkatan Keamanan Aplikasi Web Menggunakan Web Application Firewall (WAF) Pada Sistem Informasi Manajemen Kampus Terintegrasi

Jurnal ICT Information Communication & Technology

Architectures for Protecting Cloud Data Planes


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

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

Towards Explainable Artificial Intelligence in Banking and Financial Services

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


NLTK Source

PRIMERA: Pyramid-based Masked Sentence Pre-training for Multi-document Summarization

On the Evaluation of Neural Code Summarization

Proceedings of the 44th International Conference on Software Engineering

Generating Expressions that Refer to Visible Objects

North American Chapter of the Association for Computational Linguistics

Jointly Learning to Align and Summarize for Neural Cross-Lingual Summarization

Meeting of the Association for Computational Linguistics

Udapi: Universal API for Universal Dependencies

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

Text with Knowledge Graph Augmented Transformer for Video Captioning

BNLP: Natural language processing toolkit for Bengali language

Position-guided Text Prompt for Vision-Language Pre-training

DivGAN: Towards Diverse Paraphrase Generation via Diversified Generative Adversarial Network


INET Framework for the OMNeT++ discrete event simulator

An Overview of the Drone Open-Source Ecosystem

HTBQueue: A Hierarchical Token Bucket Implementation for the OMNeT++/INET Framework

Improvements in OMNeT++/INET Real-Time Scheduler for Emulation Mode

Wireless Link Selection Methods for Maritime Communication Access Networks—A Deep Learning Approach

Quality Control Methodology for Simulation Models of Computer Network Protocols


Zuul is a gateway service that provides dynamic routing, monitoring, resiliency, security, and more.

Circuit Breakers, Discovery, and API Gateways in Microservices

A model-driven approach for continuous performance engineering in microservice-based systems

One Size Does Not Fit All: Quantifying and Exposing the Accuracy-Latency Trade-off in Machine Learning Cloud Service APIs via Tolerance Tiers

International Symposium on Performance Analysis of Systems and Software

Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files

Convert Monolithic Application to Microservice Application


Statsmodels: statistical modeling and econometrics in Python

Highly accurate protein structure prediction with AlphaFold

Accurate structure prediction of biomolecular interactions with AlphaFold 3

ChainConsumer 0.10.2

LongEval: Guidelines for Human Evaluation of Faithfulness in Long-form Summarization

Dataset decay and the problem of sequential analyses on open datasets

A replication-linked mutational gradient drives somatic mutation accumulation and influences germline polymorphisms and genome composition in mitochondrial DNA

Detection of large-scale cloud microphysical changes within a major shipping corridor after implementation of the International Maritime Organization 2020 fuel sulfur regulations

Few-shot Controllable Style Transfer for Low-Resource Multilingual Settings

Loss of Imprinting in Human Placentas Is Widespread, Coordinated, and Predicts Birth Phenotypes

IO:I: A Near-Infrared Camera for the Liverpool Telescope


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


WebUI extension for ControlNet

IP-Adapter: Text Compatible Image Prompt Adapter for Text-to-Image Diffusion Models

Zero123++: a Single Image to Consistent Multi-view Diffusion Base Model

MagicAnimate: Temporally Consistent Human Image Animation using Diffusion Model

MagicDance: Realistic Human Dance Video Generation with Motions & Facial Expressions Transfer

FABRIC: Personalizing Diffusion Models with Iterative Feedback

X-Portrait: Expressive Portrait Animation with Hierarchical Motion Attention

Tunnel Try-on: Excavating Spatial-temporal Tunnels for High-quality Virtual Try-on in Videos

BlendScape: Enabling End-User Customization of Video-Conferencing Environments through Generative AI

Zero-shot Image Editing with Reference Imitation

SpaceBlender: Creating Context-Rich Collaborative Spaces Through Generative 3D Scene Blending

ACM Symposium on User Interface Software and Technology


Probabilistic programming with NumPy powered by JAX for autograd and JIT compilation to GPU/TPU/CPU.

Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro

Rethinking Parameter Counting in Deep Models: Effective Dimensionality Revisited

Mobility trends provide a leading indicator of changes in SARS-CoV-2 transmission

tfp.mcmc: Modern Markov Chain Monte Carlo Tools Built for Modern Hardware

Fast and robust parameter estimation with uncertainty quantification for the cardiac function

A constrained NILC method for CMB B mode observations

Real-time whole-heart electromechanical simulations using Latent Neural Ordinary Differential Equations

Adaptive Tuning for Metropolis Adjusted Langevin Trajectories

Dissecting the Gaia HR diagram II. The vertical structure of the star formation history across the Solar Cylinder

Climate & BCG: Effects on COVID-19 Death Growth Rates


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

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

Scrooge Attack: Undervolting ARM Processors for Profit: Practical experience report

An implementation and evaluation of MPTCP-based IoT router


Microsoft Quantum Development Kit Samples

A quantum engineer's guide to superconducting qubits

Overview and Comparison of Gate Level Quantum Software Platforms

A Quantum Computing View on Unitary Coupled Cluster Theory

Assessing requirements to scale to practical quantum advantage

Automatic generation of Grover quantum oracles for arbitrary data structures

Q# and NWChem: Tools for Scalable Quantum Chemistry on Quantum Computers

Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features

Interaction graph-based characterization of quantum benchmarks for improving quantum circuit mapping techniques

Developing Programming Assignments for Teaching Quantum Computing and Quantum Programming

Quantum Circuits for Functionally Controlled NOT Gates


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

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

End-to-end Named Entity Recognition from English Speech

Multimodal Hate Speech Detection in Greek Social Media


Convert TensorFlow, Keras, Tensorflow.js and Tflite models to ONNX

DeepEdgeBench: Benchmarking Deep Neural Networks on Edge Devices

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

An Empirical Study of Challenges in Converting Deep Learning Models

Reusing Deep Learning Models: Challenges and Directions in Software Engineering

ModelObfuscator: Obfuscating Model Information to Protect Deployed ML-Based Systems

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

Edge Devices Inference Performance Comparison

DeltaNN: Assessing the Impact of Computational Environment Parameters on the Performance of Image Recognition Models

Fault Localization for Buggy Deep Learning Framework Conversions in Image Recognition

Model-less Is the Best Model: Generating Pure Code Implementations to
  Replace On-Device DL Models


Create delightful software with Jupyter Notebooks

fastai: A Layered API for Deep Learning

DeepVATS: Deep Visual Analytics for Time Series


Datasets, Transforms and Models specific to Computer Vision

Deep Residual Learning for Image Recognition

ImageNet classification with deep convolutional neural networks

Very Deep Convolutional Networks for Large-Scale Image Recognition

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

Going Deeper with Convolutions

Densely Connected Convolutional Networks

SSD: Single Shot MultiBox Detector

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

Rethinking the Inception Architecture for Computer Vision

Focal Loss for Dense Object Detection


Dafny is a verification-aware programming language

Refinement Reflection: Complete Verification with SMT

Symposium on Principles of Programming Languages

Verus: Verifying Rust Programs using Linear Ghost Types

Formal Verification of the Ethereum 2.0 Beacon Chain

Towards AI-Assisted Synthesis of Verified Dafny Methods

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme

Better Counterexamples for Dafny

Tools and Algorithms for the Construction and Analysis of Systems

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny

Verification of the Incremental Merkle Tree Algorithm with Dafny

Case studies of development of verified programs with Dafny for accessibility assessment

Robustness Testing of Intermediate Verifiers


Global Superstructure/Workflow supporting the Global Forecast System (GFS)


Download market data from Yahoo! Finance's API

The CoRisk-Index: A Data-Mining Approach to Identify Industry-Specific Risk Assessments Related to COVID-19 in Real-Time

Neural Likelihoods via Cumulative Distribution Functions

Collective dynamics of stock market efficiency

Adversarial Attacks on Probabilistic Autoregressive Forecasting Models

Making sense of complex systems through resolution, relevance, and mapping entropy.

Applications of Markov Decision Process Model and Deep Learning in Quantitative Portfolio Management during the COVID-19 Pandemic

A comparative study of the MACD-base trading strategies: evidence from the US stock market


End-to-End Speech Processing Toolkit

A Comparative Study on Transformer vs RNN in Speech Applications

Automatic Speech Recognition & Understanding

SpeechBrain: A General-Purpose Speech Toolkit

The fifth 'CHiME' Speech Separation and Recognition Challenge: Dataset, task and baselines

A Survey on Neural Speech Synthesis

An Overview of Voice Conversion and Its Challenges: From Statistical Modeling to Deep Learning

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

Recent Developments on ESPnet Toolkit Boosted by Conformer

ESPnet-TTS: Unified, Reproducible, and Integratable Open Source End-to-End Text-to-Speech Toolkit

ESPnet-ST: All-in-One Speech Translation Toolkit

Evaluation of Neural Architectures Trained with Square Loss vs Cross-Entropy in Classification Tasks


Contiki-NG: The OS for Next Generation IoT Devices

A Survey of Limitations and Enhancements of the IPv6 Routing Protocol for Low-Power and Lossy Networks: A Focus on Core Operations

IEEE Communications Surveys and Tutorials

ePhysio: A Wearables-Enabled Platform for the Remote Management of Musculoskeletal Diseases

A survey on Machine Learning Software-Defined Wireless Sensor Networks (ML-SDWSNs): Current status and major challenges

Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things

JMAC Protocol: A Cross-Layer Multi-Hop Protocol for LoRa

MUP: Simplifying Secure Over-The-Air Update with MQTT for Constrained IoT Devices

6TiSCH++ with Bluetooth 5 and Concurrent Transmissions

Performance Evaluation of Adaptive Autonomous Scheduling Functions for 6TiSCH Networks

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

Traffic Aware Scheduler for Time-Slotted Channel-Hopping-Based IPv6 Wireless Sensor Networks


A QUIC implementation in pure Go

A Survey on Recent Advances in Transport Layer Protocols

A First Look at QUIC in the Wild

Passive and Active Network Measurement Conference

A QUIC Implementation for ns-3

rQUIC: Integrating FEC with QUIC for Robust Wireless Communications

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)

FALCON: Fast and Accurate Multipath Scheduling using Offline and Online Learning

Delay and Energy Consumption of MQTT over QUIC: An Empirical Characterization Using Commercial-Off-The-Shelf Devices

Adding Forward Erasure Correction to QUIC

ECN with QUIC: Challenges in the Wild

Proceedings of the 2023 ACM on Internet Measurement Conference


YOLOv4 / Scaled-YOLOv4 / YOLO - Neural Networks for Object Detection (Windows and Linux version of Darknet )

You Only Look Once: Unified, Real-Time Object Detection

Focal Loss for Dense Object Detection

YOLO9000: Better, Faster, Stronger

YOLOv4: Optimal Speed and Accuracy of Object Detection

YOLOv7: Trainable bag-of-freebies sets new state-of-the-art for real-time object detectors

CSPNet: A New Backbone that can Enhance Learning Capability of CNN

Scaled-YOLOv4: Scaling Cross Stage Partial Network

You Only Look One-level Feature

You Only Learn One Representation: Unified Network for Multiple Tasks

A fast accurate fine-grain object detection model based on YOLOv4 deep neural network


GFS physics for CCPP

The Common Community Physics Package (CCPP) Framework v6


Transformers for Information Retrieval, Text Classification, NER, QA, Language Modelling, Language Generation, T5, Multi-Modal, and Conversational AI

ELECTRA: Pre-training Text Encoders as Discriminators Rather Than Generators

Personalizing Dialogue Agents: I have a dog, do you have pets too?

Supervised Multimodal Bitransformers for Classifying Images and Text

TweepFake: About detecting deepfake tweets

Emotion Detection for Social Robots Based on NLP Transformers and an Emotion Ontology

Zero-shot Fact Verification by Claim Generation

Text-mined dataset of gold nanoparticle synthesis procedures, morphologies, and size entities

Traditional Machine Learning Models and Bidirectional Encoder Representations From Transformer (BERT)–Based Automatic Classification of Tweets About Eating Disorders: Algorithm Development and Validation Study (Preprint)

DebateSum: A large-scale argument mining and summarization dataset

Claim Detection in Biomedical Twitter Posts


COLMAP - Structure-from-Motion and Multi-View Stereo

Structure-from-Motion Revisited

VideoDex: Learning Dexterity from Internet Videos

A COMPARISON BETWEEN 3D RECONSTRUCTION USING NERF NEURAL NETWORKS AND MVS ALGORITHMS ON CULTURAL HERITAGE IMAGES

The international archives of the photogrammetry, remote sensing and spatial information sciences/International archives of the photogrammetry, remote sensing and spatial information sciences

Multi view stereo with semantic priors

FEW SHOT PHOTOGRAMETRY: A COMPARISON BETWEEN NERF AND MVS-SFM FOR THE DOCUMENTATION OF CULTURAL HERITAGE

Looking Through the Glass: Neural Surface Reconstruction Against High Specular Reflections

Ātea Presence—Enabling Virtual Storytelling, Presence, and Tele-Co-Presence in an Indigenous Setting

Eiffel Tower: A deep-sea underwater dataset for long-term visual localization

The International Journal of Robotics Research

Multi-tiling Neural Radiance Field (NeRF) -- Geometric Assessment on Large-scale Aerial Datasets

Event-Based Dense Reconstruction Pipeline


Multi-platform, free open source software for visualization and image computing.

The Open Anatomy Browser: A Collaborative Web-Based Viewer for Interoperable Anatomy Atlases

CroSSED sequence, a new tool for 3D processing in geosciences using the free software 3DSlicer

Coronary Centerline Extraction from CCTA Using 3D-UNet

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

Automated lung cancer assessment on 18F-PET/CT using Retina U-Net and anatomical region segmentation

Towards More Structure: Comparing TNM Staging Completeness and Processing Time of Text-Based Reports versus Fully Segmented and Annotated PET/CT Data of Non-Small-Cell Lung Cancer

Open Source Software Sustainability Models: Initial White Paper from the Informatics Technology for Cancer Research Sustainability and Industry Partnership Work Group


Probabilistic time series modeling in Python

WaveNet: A Generative Model for Raw Audio

Temporal Fusion Transformers for Interpretable Multi-horizon Time Series Forecasting

Deep State Space Models for Time Series Forecasting

Forecasting: theory and practice

A Multi-Horizon Quantile Recurrent Forecaster

CSDI: Conditional Score-based Diffusion Models for Probabilistic Time Series Imputation

Long-term Forecasting with TiDE: Time-series Dense Encoder

Intensity-Free Learning of Temporal Point Processes

GluonTS: Probabilistic Time Series Models in Python

TSMixer: An All-MLP Architecture for Time Series Forecasting


Linux kernel source tree

Holistic Evaluation of Language Models

Deep Learning for Source Code Modeling and Generation: Models, Applications, and Challenges

CacheOut: Leaking Data on Intel CPUs via Cache Evictions

Foundation Models and Fair Use

V0LTpwn: Attacking x86 Processor Integrity from Software

An experience report on applying software testing academic results in industry: we need usable automated test generation

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE)

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

Influence analysis of Github repositories

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

Explainable Software Bot Contributions: Case Study of Automated Bug Fixes

International Workshop on Bots in Software Engineering


Optax is a gradient processing and optimization library for JAX.

Robust fine-tuning of zero-shot models

AdaBelief Optimizer: Adapting Stepsizes by the Belief in Observed Gradients

Symbolic Discovery of Optimization Algorithms

Ranger21: a synergistic deep learning optimizer

What Matters for Adversarial Imitation Learning?

Learning Optimal Conformal Classifiers

General-purpose, long-context autoregressive modeling with Perceiver AR

Inferring a Continuous Distribution of Atom Coordinates from Cryo-EM Images using VAEs

JAX-FLUIDS: A fully-differentiable high-order computational fluid dynamics solver for compressible two-phase flows

On the Sample Complexity of Stability Constrained Imitation Learning


Open-source Ethereum consensus client written in Java

Resource Analysis of Ethereum 2.0 Clients

Ethereum Proof-of-Stake under Scrutiny

The Multibillion Dollar Software Supply Chain of Ethereum

Analyzing Reward Dynamics and Decentralization in Ethereum 2.0: An Advanced Data Engineering Workflow and Comprehensive Datasets for Proof-of-Stake Incentives

Can we run our Ethereum nodes at home?


R toolkit for single cell genomics

SARS-CoV-2 Receptor ACE2 Is an Interferon-Stimulated Gene in Human Airway Epithelial Cells and Is Detected in Specific Cell Subsets across Tissues

Single-cell RNA-seq reveals new types of human blood dendritic cells, monocytes, and progenitors

Integrative single-cell analysis of transcriptional and epigenetic states in the human adult brain

Single-Cell RNA-Seq Technologies and Related Computational Data Analysis

Critical Role of Type III Interferon in Controlling SARS-CoV-2 Infection in Human Intestinal Epithelial Cells

Single-Cell Sequencing of Peripheral Mononuclear Cells Reveals Distinct Immune Response Landscapes of COVID-19 and Influenza Patients

Microenvironment drives cell state, plasticity, and drug response in pancreatic cancer

Impaired local intrinsic immunity to SARS-CoV-2 infection in severe COVID-19

Endothelial heterogeneity across distinct vascular beds during homeostasis and inflammation

Characterization of the development of the mouse cochlear epithelium at the single cell level


An API standard for single-agent reinforcement learning environments, with popular reference environments and related utilities (formerly Gym)

Gymnasium: A Standard Interface for Reinforcement Learning Environments

LapGym -- An Open Source Framework for Reinforcement Learning in Robot-Assisted Laparoscopic Surgery

OCAtari: Object-Centric Atari 2600 Reinforcement Learning Environments

Robotic Table Tennis: A Case Study into a High Speed Learning System

A Reinforcement Learning-Boosted Motion Planning Framework:
  Comprehensive Generalization Performance in Autonomous Driving

Speeding-up Evolutionary Algorithms to solve Black-Box Optimization Problems

Learning to Reach Goals via Diffusion

Signal Novelty Detection as an Intrinsic Reward for Robotics

Gym-preCICE: Reinforcement Learning Environments for Active Flow Control

Generating Code World Models with Large Language Models Guided by Monte Carlo Tree Search


OpenMMLab's next-generation platform for general 3D object detection.

nuScenes: A multimodal dataset for autonomous driving

PointPillars: Fast Encoders for Object Detection from Point Clouds

Scalability in Perception for Autonomous Driving: Waymo Open Dataset

Designing Network Design Spaces

Center-based 3D Object Detection and Tracking

Deep Hough Voting for 3D Object Detection in Point Clouds

3DSSD: Point-based 3D Single Stage Object Detector

From Points to Parts: 3D Object Detection from Point Cloud with Part-aware and Part-aggregation Network

FCOS3D: Fully Convolutional One-Stage Monocular 3D Object Detection

BEVDet: High-performance Multi-camera 3D Object Detection in Bird-Eye-View


NL-Augmenter  →  A Collaborative Repository of Natural Language Transformations

Holistic Evaluation of Language Models

Multi-lingual Evaluation of Code Generation Models

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

ReCode: Robustness Evaluation of Code Generation Models

Automatic Construction of Evaluation Suites for Natural Language Generation Datasets

Bias Mitigation in Machine Translation Quality Estimation

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

AugCSE: Contrastive Sentence Embedding with Diverse Augmentations

Multimodal Robustness for Neural Machine Translation

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing

Causally Estimating the Sensitivity of Neural NLP Models to Spurious Features


Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

In-Context Learning with Many Demonstration Examples

Using Machine Learning at Scale in HPC Simulations with SmartSim: An Application to Ocean Climate Modeling

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

CAP-VMs: Capability-Based Isolation and Sharing for Microservices

Beyond Textual Issues: Understanding the Usage and Impact of GitHub Reactions

Zenodo (CERN European Organization for Nuclear Research)

HyperLogLog: Exponentially Bad in Adversarial Settings

Designing Interoperable Health Care Services Based on Fast Healthcare Interoperability Resources: Literature Review

xVDB: A High-Coverage Approach for Constructing a Vulnerability Database

Galleon: Reshaping the Square Peg of NFV

Using FLOSS for Storing, Processing and Linking Corpus Data


Parsl - a Python parallel scripting library

Parsl: Pervasive Parallel Programming in Python

IEEE International Symposium on High-Performance Parallel Distributed Computing

A unified analysis of four cosmic shear surveys


UMAP: Uniform Manifold Approximation and Projection for Dimension Reduction

Dimensionality reduction for visualizing single-cell data using UMAP

The single-cell transcriptional landscape of mammalian organogenesis

SARS-CoV-2 Receptor ACE2 Is an Interferon-Stimulated Gene in Human Airway Epithelial Cells and Is Detected in Specific Cell Subsets across Tissues

Decoding myofibroblast origins in human kidney fibrosis

Understanding How Dimension Reduction Tools Work: An Empirical Approach to Deciphering t-SNE, UMAP, TriMAP, and PaCMAP for Data Visualization

Parametric UMAP embeddings for representation and semi-supervised learning

Baricitinib treatment resolves lower-airway macrophage inflammation and neutrophil recruitment in SARS-CoV-2-infected rhesus macaques

Single-cell analysis of germinal-center B cells informs on lymphoma cell of origin and outcome

A Survey of Deep Learning for Scientific Discovery


A PyTorch Extension:  Tools for easy mixed precision and distributed training in Pytorch

nnU-Net: a self-configuring method for deep learning-based biomedical image segmentation

Unsupervised Learning of Visual Features by Contrasting Cluster Assignments

Longformer: The Long-Document Transformer

MMDetection: Open MMLab Detection Toolbox and Benchmark

UNITER: UNiversal Image-TExt Representation Learning

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

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

HERO: Hierarchical Encoder for Video+Language Omni-representation Pre-training

Large-Scale Adversarial Training for Vision-and-Language Representation Learning

UNITER: Learning UNiversal Image-TExt Representations


OSS implementation of the TCG TPM2 Software Stack (TSS2)

TPM-FAIL: TPM meets Timing and Lattice Attacks

Cryptographic Considerations for Automation and SCADA Systems Using Trusted Platform Modules

Technical Report on a Virtual CTAP2 WebAuthn Authenticator


OpenMM is a toolkit for molecular simulation using high performance GPU code.

Highly accurate protein structure prediction for the human proteome

OpenMM 7: Rapid development of high performance algorithms for molecular dynamics

OpenMM 8: Molecular Dynamics Simulation with Machine Learning Potentials

Enhancing Sampling of Water Rehydration on Ligand Binding: A Comparison of Techniques

Adaptive Ensemble Biomolecular Applications at Scale

Path probability ratios for Langevin dynamics—Exact and approximate

Structural basis of antibody inhibition and chemokine activation of the human CC chemokine receptor 8


PyTorch3D is FAIR's library of reusable components for deep learning with 3D data

NeRF: Representing Scenes as Neural Radiance Fields for View Synthesis

Accelerating 3D Deep Learning with PyTorch3D

Mesh R-CNN

SynSin: End-to-end View Synthesis from a Single Image

MeshSDF: Differentiable Iso-Surface Extraction

NeRS: Neural Reflectance Surfaces for Sparse-view 3D Reconstruction in the Wild

Image GANs meet Differentiable Rendering for Inverse Graphics and Interpretable 3D Neural Rendering

Neural Mesh Flow: 3D Manifold Mesh Generation via Diffeomorphic Flows

GIF: Generative Interpretable Faces

Implicit Mesh Reconstruction from Unannotated Image Collections


Interactive Data Visualization in the browser, from  Python

Highly accurate protein structure prediction with AlphaFold

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

Hardware-accelerated interactive data visualization for neuroscience in Python

Plotly-Resampler: Effective Visual Analytics for Large Time Series

Teddy: Automatic Recommendation of Pythonic Idiom Usage For Pull-Based Software Projects

A Review of Open Source Software Tools for Time Series Analysis

Identifying Emergent Leadership in OSS Projects Based on Communication Styles

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

Metrics-Based Evaluation and Comparison of Visualization Notations

Intertwining Communities: Exploring Libraries that Cross Software Ecosystems


The official git repository for Contiki, the open source OS for the Internet of Things

The 10 Research Topics in the Internet of Things

A Comprehensive Study on LPWANs With a Focus on the Potential of LoRa/LoRaWAN Systems

Secure Authentication and Credential Establishment in Narrowband IoT and 5G

A CoAP-Based Network Access Authentication Service for Low-Power Wide Area Networks: LO-CoAP-EAP

Technical Report : ContikiMAC vs X-MAC performance analysis

The Presence, Trends, and Causes of Security Vulnerabilities in Operating Systems of IoT’s Low-End Devices

An In-Depth Review on Blockchain Simulators for IoT Environments

Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things

A Novel, Highly Integrated Simulator for Parallel and Distributed Systems

ACM Transactions on Architecture and Code Optimization (TACO)

Framework of IoT Services over Unidirectional Visible Lights Communication Networks


a Python API for your car

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

Hybrid Quantum-Classical Neural Network for Cloud-supported In-Vehicle Cyberattack Detection

CANMatch: A Fully Automated Tool for CAN Bus Reverse Engineering Based on Frame Matching

IEEE Transactions on Vehicular Technology

TTIDS: Transmission-Resuming Time-Based Intrusion Detection System for Controller Area Network (CAN)

Bit-Level Automotive Controller Area Network Message Reverse Framework Based on Linear Regression

X-CANIDS: Signal-Aware Explainable Intrusion Detection System for Controller Area Network-Based In-Vehicle Network

CarTwin—Development of a Digital Twin for a Real-World In-Vehicle CAN Network

CA-CRE: Classification Algorithm-Based Controller Area Network Payload Format Reverse-Engineering Method


OrientDB is the most versatile DBMS supporting Graph, Document, Reactive, Full-Text and Geospatial models in one Multi-Model product. OrientDB can run distributed (Multi-Master), supports SQL, ACID Transactions, Full-Text indexing and Reactive Queries.

RefDiff: Detecting Refactorings in Version Histories

An automatically created novel bug dataset and its validation in bug prediction

Behind the Scenes: On the Relationship Between Developer Experience and Refactoring

Stress-testing remote model querying APIs for relational and graph-based stores

Using Information Flow to estimate interference between developers same
  method contributions


Apache HBase

Predicting Flaky Tests Categories using Few-Shot Learning

A Novel Refactoring and Semantic Aware Abstract Syntax Tree Differencing
  Tool and a Benchmark for Evaluating the Accuracy of Diff Tools

The Tiny Time-series Transformer: Low-latency High-throughput Classification of Astronomical Transients using Deep Model Compression

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

InK: In-Kernel Key-Value Storage with Persistent Memory


Stores documents used by the TensorFlow developer community

TF-Replicator: Distributed Machine Learning for Researchers

An Experience Report on Machine Learning Reproducibility: Guidance for Practitioners and TensorFlow Model Garden Contributors

Towards ML Engineering: A Brief History Of TensorFlow Extended (TFX)

Survey on Software Tools that Implement Deep Learning Algorithms on Intel/x86 and IBM/Power8/Power9 Platforms

Supercomputing Frontiers and Innovations

GPU Accelerated Automatic Differentiation With Clad


An IBC relayer for ibc-go

The Interblockchain Communication Protocol: An Overview

TrustBoost: Boosting Trust among Interoperable Blockchains

Interchain Timestamping for Mesh Security


Mesa is an open-source Python library for agent-based modeling, ideal for simulating complex systems and exploring emergent behaviors.

Overview of Software Agent Platforms Available in 2023

Agent-based simulations for protecting nursing homes with prevention and vaccination strategies

Modelling flocks of birds and colonies of ants from the bottom up

International Journal on Software Tools for Technology Transfer (STTT)

A new formulation of compartmental epidemic modelling for arbitrary distributions of incubation and removal times

Integrated Planning of Multi-energy Grids: Concepts and Challenges

Growing the simulation ecosystem: introducing Mesa Data to provide transparent, accessible, and extensible data pipelines for simulation development

A simple formulation of non-Markovian SEIR

Hypothesis: A plastically-produced phenotype predicts host specialization and can precede subsequent mutations in bacteriophage

Modelling Opaque Bilateral Market Dynamics in Financial Trading:
  Insights from a Multi-Agent Simulation Study


A fast and secure runtime for WebAssembly

Automatically eliminating speculative leaks from cryptographic code with blade

Symposium on Principles of Programming Languages

AccTEE: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting

MIDDLEWARE'19: PROCEEDINGS OF THE 2019 MIDDLEWARE'19: 20TH INTERNATIONAL MIDDLEWARE CONFERENCE

Twine: An Embedded Trusted Runtime for WebAssembly

International Conference on Data Engineering

TEMPOS: QoS Management Middleware for Edge Cloud Computing FaaS in the Internet of Things

Isolation Without Taxation: Near Zero Cost Transitions for SFI

A fast in-place interpreter for WebAssembly

Characterizing and Detecting WebAssembly Runtime Bugs

Fuzzm: Finding Memory Bugs through Binary-Only Instrumentation and Fuzzing of WebAssembly

Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode

On the Use of Web Assembly in a Serverless Context

Lecture notes in business information processing


CTFs as you need them

An Analysis and Evaluation of Open Source Capture the Flag Platforms as Cybersecurity e-Learning Tools

Cybercompetitions: A survey of competitions, tools, and systems to support cybersecurity education

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

PocketCTF: A Fully Featured Approach for Hosting Portable Attack and Defense Cybersecurity Exercises


This repository is moving to: https://github.com/npm/cli

We don't need another hero?

Lags in the release, adoption, and propagation of npm vulnerability fixes

What is the Connection Between Issues, Bugs, and Enhancements?

Flexible and Optimal Dependency Management via Max-SMT

Using Answer Set Programming for HPC Dependency Solving

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


DyNet: The Dynamic Neural Network Toolkit

End-to-End Relation Extraction using LSTMs on Sequences and Tree Structures

A Primer on Neural Network Models for Natural Language Processing

Simple and Accurate Dependency Parsing Using Bidirectional LSTM Feature Representations

Deep multi-task learning with low level tasks supervised at lower layers

PROCEEDINGS OF THE 54TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2016), VOL 2

Multilingual Part-of-Speech Tagging with Bidirectional Long Short-Term Memory Models and Auxiliary Loss

Controlling Linguistic Style Aspects in Neural Language Generation

Improving Hypernymy Detection with an Integrated Path-based and Distributional Method

Incorporating Structural Alignment Biases into an Attentional Neural Translation Model

Neural Machine Translation and Sequence-to-sequence Models: A Tutorial


OpenMMLab Pre-training Toolbox and Benchmark

Deep Residual Learning for Image Recognition

Attention Is All You Need

Very Deep Convolutional Networks for Large-Scale Image Recognition

Squeeze-and-Excitation Networks

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

Rethinking the Inception Architecture for Computer Vision

MobileNetV2: Inverted Residuals and Linear Bottlenecks

Swin Transformer: Hierarchical Vision Transformer using Shifted Windows

ShuffleNet: An Extremely Efficient Convolutional Neural Network for Mobile Devices

Searching for MobileNetV3


The Sphinx documentation generator

CoSMoMVPA: Multi-Modal Multivariate Pattern Analysis of Neuroimaging Data in Matlab/GNU Octave

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

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

PyLabRobot: An Open-Source, Hardware Agnostic Interface for Liquid-Handling Robots and Accessories

bioRxiv : the preprint server for biology

Integration of Structured Biological Data Sources using Biological Expression Language

TestGenEval: A Real World Unit Test Generation and Test Completion
  Benchmark


MindSpore is a new open source deep learning training/inference framework that could be used for mobile, edge and cloud scenarios.

Pre-Trained Models: Past, Present and Future

Fourier Contour Embedding for Arbitrary-Shaped Text Detection

On Efficient Training of Large-Scale Deep Learning Models: A Literature Review

Enabling Resource-Efficient AIoT System With Cross-Level Optimization: A Survey

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

IEEE Transactions on Network and Service Management

Efficient and Systematic Partitioning of Large and Deep Neural Networks for Parallelization

Adapting for the COVID-19 pandemic in Ecuador, a characterization of hospital strategies and patients

4K-Resolution Photo Exposure Correction at 125 FPS with ~8K Parameters

cedar: Optimized and Unified Machine Learning Input Data Pipelines

MLink: Linking Black-Box Models from Multiple Domains for Collaborative Inference


The wolfSSL library is a small, fast, portable implementation of TLS/SSL for embedded devices to the cloud.  wolfSSL supports up to TLS 1.3 and DTLS 1.3!

CopyCat: Controlled Instruction-Level Attacks on Enclaves

Remote attestation of confidential VMs using ephemeral vTPMs

Util::Lookup: Exploiting key decoding in cryptographic libraries

Online Template Attacks: Revisited

IACR Transactions on Cryptographic Hardware and Embedded Systems

MAMBO-V: Dynamic Side-Channel Leakage Analysis on RISC-V

WitheredLeaf: Finding Entity-Inconsistency Bugs with LLMs

Implementation of Elliptical Curve Cryptography Based Diffie-Hellman Key Exchange Mechanism in Contiki Operating System for Internet of Things

International journal of electrical and electronics research

NestedSGX: Bootstrapping Trust to Enclaves within Confidential VMs


AWS SDK for Python

Auptimizer - an Extensible, Open-Source Framework for Hyperparameter Tuning

A Cloud-Based Data Storage and Visualization Tool for Smart City IoT: Flood Warning as an Example Application

Build and Execution Environment (BEE): an Encapsulated Environment Enabling HPC Applications Running Everywhere

Static Analysis for AWS Best Practices in Python Code

The ATLAS EventIndex

The spatial allocation of attention in an interactive environment

Cognitive research: principles and implications

Development of a High Throughput Cloud-Based Data Pipeline for 21 cm Cosmology

Now or never: noticing occurs early in sustained inattentional blindness

Why E.T. Can't Phone Home: A Global View on IP-based Geoblocking at
  VoWiFi


A topic-centric list of HQ open datasets.

Forecasting: theory and practice

Data stream clustering: a review

Event-based Failure Prediction in Distributed Business Processes

YouTube AV 50K: An Annotated Corpus for Comments in Autonomous Vehicles

Artificial Intelligence and Natural Language

Technology investigation on time series classification and prediction

Era of Intelligent Systems in Healthcare

Network Structures of Collective Intelligence: The Contingent Benefits of Group Discussion

Case Study on Privacy-Aware Social Media Data Processing in Disaster Management

ISPRS International Journal of Geo-Information

An investigation of licensing of datasets for machine learning based on the GQM model


The repository for high quality TypeScript type definitions.

Detecting locations in JavaScript programs affected by breaking library changes

Proceedings of the ACM on Programming Languages

OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints

Do Machine Learning Models Produce TypeScript Types That Type Check?

Generation of TypeScript Declaration Files from JavaScript Code

Learning Type Inference for Enhanced Dataflow Analysis


ObsPy: A Python Toolbox for seismology/seismological observatories.

PyNose: A Test Smell Detector For Python

Detecting Spontaneous Neural Oscillation Events in Primate Auditory Cortex

Spatio‐Temporal Evolution of Earthquake Static Stress Drop Values in the 2016–2017 Central Italy Seismic Sequence

Journal of Geophysical Research: Solid Earth

Seismicity and seismotectonics of the Albstadt Shear Zone in the northern Alpine foreland

Small Magnitude Events Highlight the Correlation Between Hydraulic Fracturing Injection Parameters, Geological Factors, and Earthquake Occurrence

NEW PHOTOMETRY AND SPECTROSCOPY OF DW CANCRI

Revista Mexicana de Astronomía y Astrofísica


Tool for producing high quality forecasts for time series data that has multiple seasonality with linear or non-linear growth.

Transfer Graph Neural Networks for Pandemic Forecasting

Analysis of the COVID-19 pandemic by SIR model and machine learning technics for forecasting

ONLINE FORECASTING OF COVID-19 CASES IN NIGERIA USING LIMITED DATA

A joint model for IT operation series prediction and anomaly detection

Comparative prediction of confirmed cases with COVID-19 pandemic by machine learning, deterministic and stochastic SIR models

Failure diagnosis and trend‐based performance losses routines for the detection and classification of incidents in large‐scale photovoltaic systems

Progress in Photovoltaics: Research and Applications

Understand Waiting Time in Transaction Fee Mechanism: An Interdisciplinary Perspective

Forecasting the Consumer Price Index (CPI) of Ecuador: A Comparative Study of Predictive Models

International Journal on Advanced Science, Engineering and Information Technology

Visualization and machine learning for forecasting of COVID-19 in Senegal

Text2Analysis: A Benchmark of Table Question Answering with Advanced Data Analysis and Unclear Queries


A Java serialization/deserialization library to convert Java Objects into JSON and back

IoFClime: The fuzzy logic and the Internet of Things to control indoor temperature regarding the outdoor ambient conditions

ChatUniTest: A Framework for LLM-Based Test Generation

Recommending API Function Calls and Code Snippets to Support Software Development

Mining API usage scenarios from stack overflow

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

Extracting Concise Bug-Fixing Patches from Human-Written Patches in Version Control Systems

Unit Test Case Generation with Transformers and Focal Context

Open-source smartphone app and tools for measuring, quantifying, and visualizing technology use

A3Test: Assertion-Augmented Automated Test Case Generation

A comprehensive study of pseudo-tested methods


C Bounded Model Checker

CBMC: The C Bounded Model Checker

Model checking boot code from AWS data centers

Model Checking C++ Programs

YOGAR-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement

Tools and Algorithms for Construction and Analysis of Systems

An Efficient Floating-Point Bit-Blasting API for Verifying C Programs

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification

Benchmarking Software Model Checkers on Automotive Code

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs

JBMC: A Bounded Model Checking Tool for Java Bytecode

Towards establishing formal verification and inductive code synthesis in the PLC domain


Python module for quantum chemistry

Recent developments in the PySCF program package

Theoretical prediction of magnetic exchange coupling constants from broken-symmetry coupled cluster calculations

Towards an exact electronic quantum many-body treatment of Kondo
  correlation in magnetic impurities

Green/WeakCoupling: Implementation of fully self-consistent finite-temperature many-body perturbation theory for molecules and solids

Tensor hypercontraction for fully self-consistent imaginary-time GF2 and
  GWSOX methods: theory, implementation, and role of the Green's function
  second-order exchange for intermolecular interactions


P4_16 reference compiler

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

P4-Compatible High-Level Synthesis of Low Latency 100 Gb/s Streaming Packet Parsers in FPGAs

Symposium on Field Programmable Gate Arrays

Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing

Petr4: Formal Foundations for P4 Data Planes

P4TE: PISA Switch Based Traffic Engineering in Fat-Tree Data Center Networks

P4Testgen: An Extensible Test Oracle For P4

Data-Plane Security Applications in Adversarial Settings

Unleashing Dynamic Pipeline Reconfiguration of P4 Switches for Efficient Network Monitoring

Design Principles for Packet Deparsers on FPGAs

Testing Compilers for Programmable Switches Through Switch Hardware Simulation


QuTiP: Quantum Toolbox in Python

The SLH framework for modeling quantum input-output networks

QuTiP-BoFiN: A bosonic and fermionic numerical hierarchical-equations-of-motion library with applications in light-harvesting, quantum control, and single-molecule electronics

Accurate Methods for the Analysis of Strong-Drive Effects in Parametric Gates

QuantumFed: A Federated Learning Framework for Collaborative Quantum Training

Bug Characteristics in Quantum Software Ecosystem

On the Unraveling of Open Quantum Dynamics


A set of command line tools (in Java) for manipulating high-throughput sequencing (HTS) data and formats such as SAM/BAM/CRAM and VCF.

A high-fidelity Cas9 mutant delivered as a ribonucleoprotein complex enables efficient gene editing in human hematopoietic stem and progenitor cells

Genetic Drivers of Epigenetic and Transcriptional Variation in Human Immune Cells

Assessment of Blood Tumor Mutational Burden as a Potential Biomarker for Immunotherapy in Patients With Non–Small Cell Lung Cancer With Use of a Next-Generation Sequencing Cancer Gene Panel

Microbial Succession and Flavor Production in the Fermented Dairy Beverage Kefir

Whole genome sequencing of canids reveals genomic regions under selection and variants influencing morphology

The genome sequence of Sea-Island cotton (Gossypium barbadense) provides insights into the allopolyploidization and development of superior spinnable fibres

The monoclonal antibody combination REGEN-COV protects against SARS-CoV-2 mutational escape in preclinical and human studies

The genome evolution and domestication of tropical fruit mango

SNP2TFBS – a database of regulatory SNPs affecting predicted transcription factor binding site affinity

SARS-CoV-2 infection in hamsters and humans results in lasting and unique systemic perturbations after recovery


Redis Java client

Security, Performance and Energy Trade-Offs of Hardware-Assisted Memory Protection Mechanisms

Symposium on Reliable Distributed Systems

Security, Performance and Energy Implications of Hardware-Assisted Memory Protection Mechanisms on Event-Based Streaming Systems

Design and Implementation of Fragmented Clouds for Evaluation of Distributed Databases

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


OpenZeppelin Contracts is a library for secure smart contract development.

A Survey on Ethereum Systems Security: Vulnerabilities, Attacks, and Defenses

solc-verify: A Modular Verifier for Solidity Smart Contracts

Verified Software: Theories, Tools, Experiments

The State of Ethereum Smart Contracts Security: Vulnerabilities, Countermeasures, and Tool Support

Vyper: A Security Comparison with Solidity Based on Common Vulnerabilities

A Security Case Study for Blockchain Games

Why Do Smart Contracts Self-Destruct? Investigating the Selfdestruct Function on Ethereum

Integrating the IoT and Blockchain Technology for the Next Generation of Mining Inspection Systems

Blockchain Vulnerabilities in Practice

An empirical analysis of source code metrics and smart contract resource consumption

Journal of Software: Evolution and Process

Energy Trading on a Peer-to-Peer Basis between Virtual Power Plants Using Decentralized Finance Instruments


The fastai deep learning library

Deep Residual Learning for Image Recognition

Universal Language Model Fine-tuning for Text Classification

Regularizing and Optimizing LSTM Language Models

fastai: A Layered API for Deep Learning

Physics-constrained deep learning for high-dimensional surrogate modeling and uncertainty quantification without labeled data

AI Feynman: a Physics-Inspired Method for Symbolic Regression

A Baseline for Few-Shot Image Classification

All You Need is "Love": Evading Hate-speech Detection

Automated Pavement Crack Segmentation Using U-Net-Based Convolutional Neural Network

A Poisson-Gaussian Denoising Dataset with Real Fluorescence Microscopy Images


The uncompromising Python code formatter

jiant: A Software Toolkit for Research on General-Purpose Text Understanding Models

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)

PyThaiNLP: Thai Natural Language Processing in Python

CodeAgent: Enhancing Code Generation with Tool-Integrated Agent Systems for Real-World Repo-level Coding Challenges

Learning Transformer Programs

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

diagNNose: A Library for Neural Activation Analysis

MaD GUI: An Open-Source Python Package for Annotation and Analysis of Time-Series Data

PyXAB – A Python Library for ��-Armed Bandit and Online Blackbox Optimization Algorithms

KiSSim: Predicting off-targets from structural similarities in the kinome

Zenodo (CERN European Organization for Nuclear Research)


Label Studio is a multi-type data labeling and annotation tool with standardized output format

Paraphrasing evades detectors of AI-generated text, but retrieval is an effective defense

Classification aware neural topic model for COVID-19 disinformation categorisation

Large language models effectively leverage document-level context for literary translation, but critical errors persist

Semantic Image Segmentation: Two Decades of Research

Read, Attend, and Code: Pushing the Limits of Medical Codes Prediction from Clinical Notes by Machines

RAGTruth: A Hallucination Corpus for Developing Trustworthy Retrieval-Augmented Language Models

OneLabeler: A Flexible System for Building Data Labeling Tools

PROCEEDINGS OF THE 2022 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI' 22)

Effectiveness of Mining Audio and Text Pairs from Public Data for Improving ASR Systems for Low-Resource Languages

Label Sleuth: From Unlabeled Text to a Classifier in a Few Hours

GROOT: Learning to Follow Instructions by Watching Gameplay Videos


A toolkit for making real world machine learning and data analysis applications in C++

What makes fake images detectable? Understanding properties that generalize

On the Reconstruction of Face Images from Deep Face Templates

A Comprehensive Performance Evaluation of Deformable Face Tracking "In-the-Wild"

International journal of computer vision

Deep learning in electron microscopy

Machine Learning: Science and Technology

TRECVID 2020: A comprehensive campaign for evaluating video retrieval tasks across multiple application domains

Deep Learning Based Computer Generated Face Identification Using Convolutional Neural Network

Self-supervised learning for audio-visual speaker diarization

Near Perfect GAN Inversion

GAIA: Zero-shot Talking Avatar Generation

Small, sparse, but substantial: techniques for segmenting small agricultural fields using sparse ground data


The MATLAB toolbox for MEG, EEG and iEEG analysis

The Human Connectome Project: A retrospective

A 204-subject multimodal neuroimaging dataset to study language processing

Enhancing reproducibility in developmental EEG research: BIDS, cluster-based permutation tests, and effect sizes

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

Characterization of the Stages of Creative Writing With Mobile EEG Using Generalized Partial Directed Coherence

Caulking the Leakage Effect in MEEG Source Connectivity Analysis

Simultaneous MRI-EEG during a motor imagery neurofeedback task: an open access brain imaging dataset for multi-modal data integration

A framework for quantifying the coupling between brain connectivity and heartbeat dynamics: Insights into the disrupted network physiology in Parkinson's disease

Removing ocular artifacts from magnetoencephalographic data on naturalistic reading of continuous texts

Classification of Parkinson’s disease with dementia using phase locking factor of event-related oscillations to visual and auditory stimuli


The java implementation of Apache Dubbo. An RPC and microservice framework.

What Makes a Good Commit Message?

Proceedings of the 44th International Conference on Software Engineering

AUGER: Automatically Generating Review Comments with Pre-training Models

The significance of bug report elements

Automated Identification of On-hold Self-admitted Technical Debt

An In-depth Study of Java Deserialization Remote-Code Execution Exploits and Vulnerabilities

ACM Transactions on Software Engineering and Methodology

White-Box Fuzzing RPC-Based APIs with EvoMaster: An Industrial Case Study

On the Use of Mutation in Injecting Test Order-Dependency

TEP-GNN: Accurate Execution Time Prediction of Functional Tests using Graph Neural Networks

Towards a catalog of composite refactorings

A Novel Refactoring and Semantic Aware Abstract Syntax Tree Differencing
  Tool and a Benchmark for Evaluating the Accuracy of Diff Tools


Object Detection toolkit based on PaddlePaddle. It supports object detection, instance segmentation, multiple object tracking and real-time multi-person keypoint detection.

Deep Residual Learning for Image Recognition

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

Microsoft COCO: Common Objects in Context

You Only Look Once: Unified, Real-Time Object Detection

SSD: Single Shot MultiBox Detector

Mask R-CNN

Focal Loss for Dense Object Detection

Feature Pyramid Networks for Object Detection

MobileNetV2: Inverted Residuals and Linear Bottlenecks

Swin Transformer: Hierarchical Vision Transformer using Shifted Windows


The official sources for the RDKit library

Accurate structure prediction of biomolecular interactions with AlphaFold 3

Low Data Drug Discovery with One-shot Learning

Optimization of Molecules via Deep Reinforcement Learning

SMILES Enumeration as Data Augmentation for Neural Network Modeling of Molecules

GraphNVP: An Invertible Flow Model for Generating Molecular Graphs

Large-scale chemical language representations capture molecular structure and properties

Deep Generative Models for 3D Linker Design

Journal of chemical information and modeling

Improving Chemical Autoencoder Latent Space and Molecular De Novo Generation Diversity with Heteroencoders

A unified drug–target interaction prediction framework based on knowledge graph and recommendation system

Learning To Navigate The Synthetically Accessible Chemical Space Using Reinforcement Learning


An open autonomous driving platform

DeepTest: Automated Testing of Deep-Neural-Network-driven Autonomous Cars

A Survey of Autonomous Driving: Common Practices and Emerging Technologies

Formal Security Analysis of Neural Networks using Symbolic Intervals

Baidu Apollo EM Motion Planner

Invisible for both Camera and LiDAR: Security of Multi-Sensor Fusion based Perception in Autonomous Driving Under Physical-World Attacks

SAVIOR: Towards Bug-Driven Hybrid Testing

A Survey on Multimodal Large Language Models for Autonomous Driving

Adversarial Objects Against LiDAR-Based Autonomous Driving Systems

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

Augmented LiDAR Simulator for Autonomous Driving

International Conference on Robotics and Automation


Autoscaling components for Kubernetes

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

Elascale: Autoscaling and Monitoring as a Service

Practical Efficient Microservice Autoscaling with QoS Assurance

Autoscaling Pods on an On-Premise Kubernetes Infrastructure QoS-Aware

Memtrade: A Disaggregated-Memory Marketplace for Public Clouds

PBScaler: A Bottleneck-Aware Autoscaling Framework for Microservice-Based Applications

Collective Autoscaling for Cloud Microservices


This is the repo for Vue 2. For Vue 3, go to https://github.com/vuejs/core

COMPARISON OF FRONT-END FRAMEWORKS FOR WEB APPLICATIONS DEVELOPMENT

A Large-Scale Study on Source Code Reviewer Recommendation

Software Engineering and Advanced Applications

Guide Picker is a comprehensive design tool for visualizing and selecting guides for CRISPR experiments

Are Game Engines Software Frameworks? A Three-perspective Study

Cupid: Leveraging ChatGPT for More Accurate Duplicate Bug Report Detection

RNSum: A Large-Scale Dataset for Automatic Release Note Generation via Commit Logs Summarization

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

Exploring Relevant Artifacts of Release Notes: The Practitioners' Perspective

VectorMap-GR: A local scale operational management tool for entomological monitoring, to support vector control activities in Greece and the Mediterranean Basin

Current research in parasitology & vector-borne diseases


It's not just a linter that annoys you!

SWE-bench: Can Language Models Resolve Real-World GitHub Issues?

SWE-agent: Agent-Computer Interfaces Enable Automated Software
  Engineering

The Prevalence of Code Smells in Machine Learning projects

Making Python Code Idiomatic by Automatic Refactoring Non-Idiomatic Python Code with Pythonic Idioms

A Large-Scale Security-Oriented Static Analysis of Python Packages in PyPI

Teaching Code LLMs to Use Autocompletion Tools in Repository-Level Code Generation

PyLabRobot: An Open-Source, Hardware Agnostic Interface for Liquid-Handling Robots and Accessories

bioRxiv : the preprint server for biology

STALL+: Boosting LLM-based Repository-level Code Completion with Static
  Analysis

A syntax-guided multi-task learning approach for Turducken-style code generation

TestGenEval: A Real World Unit Test Generation and Test Completion
  Benchmark


Data-Centric Pipelines and Data Versioning

Container-based bioinformatics with Pachyderm

Management of Machine Learning Lifecycle Artifacts: A Survey

Big Data Workflows: Locality-Aware Orchestration Using Software Containers

Locality-Aware Workflow Orchestration for Big Data

Management of Emergent Digital EcoSystems

An Empirical Study of Challenges in Machine Learning Asset Management


Fast key-value DB in Go.

Enabling Efficient Updates in KV Storage via Hashing: Design and Performance Evaluation

DVID: Distributed Versioned Image-Oriented Dataservice

Proteus: A Self-Designing Range Filter

Proceedings of the 2022 International Conference on Management of Data

The Early Microbenchmark Catches the Bug -- Studying Performance Issues Using Micro- and Application Benchmarks

Proceedings of the IEEE/ACM 16th International Conference on Utility and Cloud Computing

Short Paper: Debt Representation in UTXO Blockchains


A game theoretic approach to explain the output of any machine learning model.

A Unified Approach to Interpreting Model Predictions

Axiomatic Attribution for Deep Networks

Learning Important Features Through Propagating Activation Differences

SmoothGrad: removing noise by adding noise

Consistent Individualized Feature Attribution for Tree Ensembles

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

Explainable AI Methods - A Brief Overview

Explaining by Removing: A Unified Framework for Model Explanation

Improving performance of deep learning models with axiomatic attribution priors and expected gradients

CXPlain: Causal Explanations for Model Interpretation under Uncertainty


Samples for Hyperledger Fabric

Towards a Mechanism for Protecting Seller’s Interest of Cash on Delivery by using Smart Contract in Hyperledger

International Journal of Advanced Computer Science and Applications

Chaos Engineering For Understanding Consensus Algorithms Performance in Permissioned Blockchains

Sustainable Health-Related Quality of Life in Older Adults as Supported by the vINCI Technology

Evaluating Blockchain Application Requirements and their Satisfaction in Hyperledger Fabric

Facing to Latency of Hyperledger Fabric for Blockchain-Enabled IoT: Modeling and Analysis

A Scalable Multi-Layered Blockchain Architecture for Enhanced EHR
  Sharing and Drug Supply Chain Management


flannel is a network fabric for containers, designed for Kubernetes

A Comparative Study of Containers and Virtual Machines in Big Data Environment

About Microservices, Containers and their Underestimated Impact on Network Performance

ClouNS - a Cloud-Native Application Reference Model for Enterprise Architects

A Black-box Monitoring Approach to Measure Microservices Runtime Performance

ACM Transactions on Architecture and Code Optimization (TACO)

Context-Aware Kubernetes Scheduler for Edge-native Applications on 5G

Journal of communications software and systems

CASPER: Carbon-Aware Scheduling and Provisioning for Distributed Web Services

International Green and Sustainable Computing Conference

UMBRELLA: A One-Stop Shop Bridging the Gap From Lab to Real-World IoT Experimentation

A Pragmatical Approach to Anomaly Detection Evaluation in Edge Cloud Systems

A Portable Load Balancer with ECMP Redundancy for Container Clusters

IEICE Transactions on Information and Systems

bypass4netns: Accelerating TCP/IP Communications in Rootless Containers


The AI developer platform. Use Weights & Biases to train and fine-tune models, and manage models from experimentation to production.

TeenyTinyLlama: open-source tiny language models trained in Brazilian
  Portuguese

Generative AI for Pull Request Descriptions: Adoption, Impact, and Developer Interventions

DuluthNLP at SemEval-2021 Task 7: Fine-Tuning RoBERTa Model for Humor Detection and Offense Rating

Meeting of the Association for Computational Linguistics

RoPINN: Region Optimized Physics-Informed Neural Networks

Adaptive Robotic Arm Control with a Spiking Recurrent Neural Network on a Digital Accelerator

Predicting Emotion Intensity in Polish Political Texts: Comparing Supervised Models and Large Language Models in a Resource-Poor Language


Making large AI models cheaper, faster and more accessible

Colossal-AI: A Unified Deep Learning System For Large-Scale Parallel Training

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

Understanding LLMs: A Comprehensive Overview from Training to Inference

A Survey on Efficient Training of Transformers

A Survey on Mixture of Experts

Elixir: Train a Large Language Model on a Small GPU Cluster

Possibilities of Using De Novo Design for Generating Diverse Functional Food Enzymes

International journal of molecular sciences

Colossal-Auto: Unified Automation of Parallelization and Activation Checkpoint for Large-scale Models

Enhancing Role-playing Systems through Aggressive Queries: Evaluation
  and Improvement

EventRL: Enhancing Event Extraction with Outcome Supervision for Large
  Language Models


Style and Grammar Checker for 25+ Languages

Improving Conditional Sequence Generative Adversarial Networks by Stepwise Evaluation

LeSpell - A Multi-Lingual Benchmark Corpus of Spelling Errors to Develop Spellchecking Methods for Learner Language

LREC 2022: THIRTEEN INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION

Dataset versus reality: Understanding model performance from the perspective of information need

Modeling Derivational Morphology in Ukrainian

International Conference on Computational Semantics

ALaRM: Align Language Models via Hierarchical Rewards Modeling

RLens: A Computer-aided Visualization System for Supporting Reflection on Language Learning under Distributed Tutorship


The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

Random testing for C and C++ compilers with YARPGen

Proceedings of the ACM on Programming Languages

Benchmarking a New Paradigm: An Experimental Analysis of a Real Processing-in-Memory Architecture

ScaleHLS: A New Scalable High-Level Synthesis Framework on Multi-Level Intermediate Representation

Compiling ONNX Neural Network Models Using MLIR

情報処理学会論文誌プログラミング（PRO）

PACStack: an Authenticated Call Stack

High Performance Code Generation in MLIR: An Early Case Study with GEMM

Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries

Dataflow-based pruning for speeding up superoptimization

Distinguishing the Knowable from the Unknowable with Language Models

FPL: fast Presburger arithmetic through transprecision


A modern JavaScript utility library delivering modularity, performance, & extras.

Code-based Vulnerability Detection in Node.js Applications: How far are we?

Accelerating JavaScript static analysis via dynamic shortcuts

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

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

MPA_Pathway_Tool: User-Friendly, Automatic Assignment of Microbial Community Data on Metabolic Pathways

Towards Measuring Vulnerabilities and Exposures in Open-Source Packages


Anserini is a Lucene toolkit for reproducible information retrieval research

BEIR: A Heterogenous Benchmark for Zero-shot Evaluation of Information Retrieval Models

Document Expansion by Query Prediction

Simple Applications of BERT for Ad Hoc Document Retrieval

QAnswer: Towards Question Answering Search over Websites

Critically Examining the "Neural Hype": Weak Baselines and the Additivity of Effectiveness Gains from Neural Ranking Models

TREC-COVID: Constructing a Pandemic Information Retrieval Test Collection

The Neural Hype and Comparisons Against Weak Baselines

Distilling Dense Representations for Ranking using Tightly-Coupled Teachers

A Neural Corpus Indexer for Document Retrieval

Query Resolution for Conversational Search with Limited Supervision

PROCEEDINGS OF THE 43RD INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR '20)


Creative Commons Attribution 4.0 International

Security vulnerability database inclusive of CVEs and GitHub originated security advisories from the world of open source software.

On the Effect of Transitivity and Granularity on Vulnerability Propagation in the Maven Ecosystem

On the Security Blind Spots of Software Composition Analysis

VFCFinder: Seamlessly Pairing Security Advisories and Patches


A WebGL accelerated JavaScript library for training and deploying ML models.

TensorFlow.js: Machine Learning for the Web and Beyond

Front-end deep learning web apps development and deployment: a review

Applied intelligence (Dordrecht, Netherlands)

CPPE-5: Medical Personal Protective Equipment Dataset

Distillation of crop models to learn plant physiology theories using machine learning

Zenodo (CERN European Organization for Nuclear Research)

JSDoop and TensorFlow.js: Volunteer Distributed Web Browser-Based Neural Network Training

Towards Understanding the Faults of JavaScript-Based Deep Learning Systems

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering

Studying the Impact of TensorFlow and PyTorch Bindings on Machine Learning Software Quality


The Rust package manager

An Empirical Study of Yanked Releases in the Rust Package Registry

IEEE Transactions on Software Engineering

Flexible and Optimal Dependency Management via Max-SMT

Using Answer Set Programming for HPC Dependency Solving

A Review of Attacks Against Language-Based Package Managers


Open-source simulator for autonomous driving research.

Augmented LiDAR Simulator for Autonomous Driving

International Conference on Robotics and Automation

Scenic: a language for scenario specification and data generation

Scene-Graph Augmented Data-Driven Risk Assessment of Autonomous Vehicle Decisions

Learning Across Tasks and Domains

Sensor Fusion in Autonomous Vehicle with Traffic Surveillance Camera System: Detection, Localization, and AI Networking

Introducing Intermediate Domains for Effective Self-Training during Test-Time

Review of wheeled mobile robot collision avoidance under unknown environment

Optimizing LiDAR Placements for Robust Driving Perception in Adverse
  Conditions

TARGET: Automated Scenario Generation from Traffic Rules for Testing Autonomous Vehicles

Graph Reinforcement Learning-Based Decision-Making Technology for Connected and Autonomous Vehicles: Framework, Review, and Future Trends


Kedro is a toolbox for production-ready data science. It uses software engineering best practices to help you create data engineering and data science pipelines that are reproducible, maintainable, and modular.

Collective knowledge: organizing research projects as a database of reusable components and portable workflows with common interfaces

CodeReef: an open platform for portable MLOps, reusable automation actions and reproducible benchmarking

The Collective Knowledge project: making ML models more portable and reproducible with open APIs, reusable best practices and MLOps

ZnTrack -- Data as Code


JavaScript player library / DASH & HLS client / MSE-EME player

Internet-Scale Video Streaming over NDN

Evaluation of the Performance of Adaptive HTTP Streaming Systems

The simulation study on the multipath adaptive video transmission

Adaptive Bitrate Streaming Over Cellular Networks: Rate Adaptation and
  Data Savings Strategies

Unveiling ChatGPT's Usage in Open Source Projects: A Mining-based Study

Looney Tunes: Exposing the Lack of DRM Protection in Indian Music Streaming Services


Bayesian Modeling and Probabilistic Programming in Python

Probabilistic programming in Python using PyMC3

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

A LOFAR census of non-recycled pulsars: average profiles, dispersion measures, flux densities, and spectra

Probabilistic Programming in Python using PyMC

SGR-like behaviour of the repeating FRB 121102

Journal of Cosmology and Astroparticle Physics

THE DISTANCE DUALITY RELATION FROM STRONG GRAVITATIONAL LENSING

SensibleSleep: A Bayesian Model for Learning Sleep Patterns from Smartphone Events

COSMIC EVOLUTION OF BLACK HOLES AND SPHEROIDS. V. THE RELATION BETWEEN BLACK HOLE MASS AND HOST GALAXY LUMINOSITY FOR A SAMPLE OF 79 ACTIVE GALAXIES

Is the Universe transparent?

Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D, Particles, fields, gravitation, and cosmology

Discovery of the secondary eclipse of HAT-P-11 b


Structured, pluggable logging for Go.

Hero: On the Chaos When PATH Meets Modules

ZTSFC: A Service Function Chaining-Enabled Zero Trust Architecture

SecDocker: Hardening the Continuous Integration Workflow


A curated repository of Neuro-AI papers.

Deep Supervised, but Not Unsupervised, Models May Explain IT Cortical Representation

Deep neural networks: a new framework for modelling biological vision and brain information processing

Deep Neural Networks Rival the Representation of Primate IT Cortex for Core Visual Object Recognition

Deep learning for AI

Deep Learning: The Good, the Bad, and the Ugly.

A thousand brains: toward biologically constrained AI

Learning About the World by Learning About Images

Current Directions in Psychological Science


Dear Sir or Madam, May I introduce the GYAFC Dataset: Corpus, Benchmarks and Metrics for Formality Style Transfer

A Review of Text Style Transfer using Deep Learning

IEEE Transactions on Artificial Intelligence

A Comprehensive Survey of Natural Language Generation Advances from the Perspective of Digital Deception


Character-level Convolutional Networks for Text Classification

Making Pre-trained Language Models Better Few-shot Learners

The Pile: An 800GB Dataset of Diverse Text for Language Modeling

Prompt Waywardness: The Curious Case of Discretized Interpretation of Continuous Prompts


SRDiff: Single Image Super-Resolution with Diffusion Probabilistic Models

HighRes-net: Recursive Fusion for Multi-Frame Super-Resolution of Satellite Imagery


Robust bayesian online changepoint detection with model selection

An Evaluation of Change Point Detection Algorithms

Doubly Robust Bayesian Inference for Non-Stationary Streaming Data with β-Divergences

Data segmentation for time series based on a general moving sum approach

Monitoring Deforestation Using Multivariate Bayesian Online Changepoint Detection with Outliers

Online Robust and Adaptive Learning from Data Streams


| MobileGaze: Reat-Time Gaze Estimation models using ResNet 18/34/50, MobileNet v2 and MobileOne s0-s4  | In PyTorch >> ONNX

Deep Residual Learning for Image Recognition

MobileNetV2: Inverted Residuals and Linear Bottlenecks

Gaze360: Physically Unconstrained Gaze Estimation in the Wild

MobileOne: An Improved One millisecond Mobile Backbone

Sample and Computation Redistribution for Efficient Face Detection

L2CS-Net: Fine-Grained Gaze Estimation in Unconstrained Environments

Weakly-Supervised Physically Unconstrained Gaze Estimation


Detecting and Correcting for Label Shift with Black Box Predictors

B-tests: Low Variance Kernel Two-Sample Tests

FastMMD: Ensemble of Circular Discrepancy for Efficient Two-Sample Test


A Python implementation of Partial Least Squares (PLS) decomposition

Examining litter specific variability in mice and its impact on neurodevelopmental studies

Assessment of white matter hyperintensity severity using multimodal magnetic resonance imaging

Variation in subcortical anatomy: relating interspecies differences, heritability, and brain-behavior relationships

A latent clinical-anatomical dimension relating metabolic syndrome to brain structure and cognition

bioRxiv : the preprint server for biology


Learning Adversarially Fair and Transferable Representations

Controllable Guarantees for Fair Outcomes via Contrastive Information Estimation

Learning fair representation with a parametric integral probability metric

Learning Fair Rule Lists


Q^2: Evaluating Factual Consistency in Knowledge-Grounded Dialogues via Question Generation and Question Answering

Improving Factual Consistency for Knowledge-Grounded Dialogue Systems via Knowledge Enhancement and Alignment

Pointwise Mutual Information Based Metric and Decoding Strategy for Faithful Generation in Document Grounded Dialogs


A mini library for Policy Gradients with Parameter-based Exploration, with reference implementation of the ClipUp optimizer (https://arxiv.org/abs/2008.02387) from NNAISENSE.

Adam: A Method for Stochastic Optimization

Evolution Strategies as a Scalable Alternative to Reinforcement Learning

Simple random search provides a competitive approach to reinforcement learning

Modern Evolution Strategies for Creativity: Fitting Concrete Images and Abstract Concepts

ClipUp: A Simple and Powerful Optimizer for Distribution-based Policy Evolution


C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC

A MLIR Dialect for Quantum Assembly Languages

Enabling Retargetable Optimizing Compilers for Quantum Accelerators via a Multi-Level Intermediate Representation

Enabling Multi-threading in Heterogeneous Quantum-Classical Programming Models


Code for Environment Inference for Invariant Learning (ICML 2021 Paper)

Out-of-distribution Prediction with Invariant Risk Minimization: The Limitation and An Effective Fix

Decorr: Environment Partitioning for Invariant Learning and OOD Generalization

Mitigating Simplicity Bias in Deep Learning for Improved OOD Generalization and Robustness


[NeurIPS 2021] "G-PATE: Scalable Differentially Private Data Generator via Private Aggregation of Teacher Discriminators" by Yunhui Long*, Boxin Wang*, Zhuolin Yang, Bhavya Kailkhura, Aston Zhang, Carl A. Gunter, Bo Li

k-SALSA: k-Anonymous Synthetic Averaging of Retinal Images via Local Style Alignment

A Unified View of Differentially Private Deep Generative Modeling

DPAF: Image Synthesis via Differentially Private Aggregation in Forward Phase


Soft Actor-Critic: Off-Policy Maximum Entropy Deep Reinforcement Learning with a Stochastic Actor

TD-MPC2: Scalable, Robust World Models for Continuous Control

Seizing Serendipity: Exploiting the Value of Past Success in Off-Policy Actor-Critic


X-ModalNet: A semi-supervised deep cross-modal network for classification of remote sensing data

Isprs Journal of Photogrammetry and Remote Sensing

Correlational Neural Networks

Common Representation Learning Using Step-based Correlation Multi-Modal CNN


Uncertainty Weighted Actor-Critic for Offline Reinforcement Learning

Mildly Conservative Q-Learning for Offline Reinforcement Learning

Double Check Your State Before Trusting It: Confidence-Aware Bidirectional Offline Model-Based Imagination

State Advantage Weighting for Offline RL

Robust Offline Reinforcement Learning with Gradient Penalty and Constraint Relaxation


This is a repository of vendor-agnostic workflows provided for those interested in deploying Security Orchestration, Automation, and Response capabilities within their organizations.

PHOENI2X – A European Cyber Resilience Framework With Artificial-Intelligence-Assisted Orchestration, Automation & Response Capabilities for Business Continuity and Recovery, Incident Response, and Information Exchange


Machine learning for transportation data imputation and prediction.

MissForest—non-parametric missing value imputation for mixed-type data

Recurrent Neural Networks for Multivariate Time Series with Missing Values

Graph Signal Processing: Overview, Challenges and Applications

Bayesian CP Factorization of Incomplete Tensors with Automatic Rank Determination

IEEE transactions on pattern analysis and machine intelligence

Efficient missing data imputing for traffic flow by considering temporal and spatial dependence

Transportation Research Part C: Emerging Technologies

A Bayesian tensor decomposition approach for spatiotemporal traffic data imputation

Tensor based missing traffic data completion with spatial–temporal correlation

Physica A: Statistical Mechanics and its Applications

Spatial-temporal traffic speed patterns discovery and incomplete data recovery via SVD-combined tensor decomposition

Missing traffic data imputation and pattern discovery with a Bayesian augmented tensor factorization model

A brief overview of machine learning methods for short-term traffic forecasting and future directions