A versatile pairwise aligner for genomic and spliced nucleotide sequences

Minimap2: pairwise alignment for nucleotide sequences

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

medRxiv : the preprint server for health sciences

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

New strategies to improve minimap2 alignment accuracy

A draft human pangenome reference

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

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

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

Prevotella copri increases fat accumulation in pigs fed with formula diets

Reviving the Transcriptome Studies: An Insight Into the Emergence of Single-Molecule Transcriptome Sequencing

Synthetic microbe communities provide internal reference standards for metagenome sequencing and analysis


Natural Language Processors

A Domain-independent Rule-based Framework for Event Extraction

PROCEEDINGS OF THE 53RD ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS AND THE 7TH INTERNATIONAL JOINT CONFERENCE ON NATURAL LANGUAGE PROCESSING (ACL-IJCNLP 2015): SYSTEM DEMONSTRATIONS

Eidos, INDRA, & Delphi: From Free Text to Executable Causal Models

North American Chapter of the Association for Computational Linguistics

Description of the Odin Event Extraction Framework and Rule Language

Spinning Straw into Gold: Using Free Text to Train Monolingual Alignment Models for Non-factoid Question Answering

This before That: Causal Precedence in the Biomedical Domain

An Analysis of Capsule Networks for Part of Speech Tagging in High- and Low-resource Scenarios

Proceedings of the First Workshop on Insights from Negative Results in NLP

An Unsupervised Method for Learning Representations of Multi-word Expressions for Semantic Classification

International Conference on Computational Linguistics


Python library for interactive topic model visualization. Port of the R LDAvis package.

Revealing Public Opinion Towards COVID-19 Vaccines With Twitter Data in the United States: Spatiotemporal Perspective

Understanding patterns of COVID infodemic: A systematic and pragmatic approach to curb fake news

A Multimodal Deep Log-Based User Experience (UX) Platform for UX Evaluation

Sentiment Analysis and Topic Modeling Regarding Online Classes on the Reddit Platform: Educators versus Learners

What is BitChute? Characterizing the "Free Speech" Alternative to YouTube.

Free speech or hate speech? A legal analysis of the discourse about Roma on Twitter

Information & communications technology law

COVID-SEE: Scientific Evidence Explorer for COVID-19 Related Research

Topic modelling discourse dynamics in historical newspapers

Hurdles for Developers in Cryptography

The asymmetries of the biopsychosocial model of depression in lay discourses - Topic modelling online depression forums


Deep Learning framework for Julia

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

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

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

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

Database : the journal of biological databases and curation


DFTB+ general package for performing fast atomistic simulations

A real-time time-dependent density functional tight-binding
  implementation for semiclassical excited state electron-nuclear dynamics and
  pump-probe spectroscopy simulations

Hybrid functionals for periodic systems in the density functional tight-binding method


Smart Contract Weakness Classification and Test Cases

A Security Reference Architecture for Blockchains

MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract

International Symposium on Software Reliability Engineering

xFuzz: Machine Learning Guided Cross-Contract Fuzzing

Mutation testing of smart contracts at scale

Security Threat Mitigation for Smart Contracts: A Comprehensive Survey

An Empirical Study Into the Success of Listed Smart Contracts in Ethereum

Gas limit aware mutation testing of smart contracts at scale.

To Healthier Ethereum: A Comprehensive and Iterative Smart Contract
  Weakness Enumeration


A framework for fast simulation of a generic collider experiment

The International Linear Collider: Report to Snowmass 2021

HAL (Le Centre pour la Communication Scientifique Directe)

Measuring the Higgs self-coupling via Higgs-pair production at a 100 TeV p–p collider

A tale of two portals: testing light, hidden new physics at future e+e− colliders

The Journal of high energy physics/The journal of high energy physics

Heavy resonances at energy-frontier hadron colliders

A DELPHES card for the CLIC detector

Machine Learning the Higgs-Top CP Phase.

Neutrino masses and magnetic moments of electron and muon in the Zee Model

Timing information at HL-LHC: complete determination of masses of dark matter and long lived particle

Search for lepton-flavor-violating ALPs at a future muon collider and utilization of polarization-induced effects

Jet flavour tagging for future colliders with fast simulation


Mother of All BCI Benchmarks

MOABB: trustworthy algorithm benchmarking for BCIs

Cross-Dataset Variability Problem in EEG Decoding With Deep Learning

Building Brain Invaders: EEG data of an experimental validation

2021 BEETL Competition: Advancing Transfer Learning for Subject
  Independence & Heterogenous EEG Data Sets

Brain Invaders Adaptive versus Non-Adaptive P300 Brain-Computer Interface dataset

Minimizing Subject-dependent Calibration for BCI with Riemannian Transfer Learning

International IEEE/EMBS Conference on Neural Engineering

Multi-Source Decentralized Transfer for Privacy-Preserving BCIs

IEEE transactions on neural systems and rehabilitation engineering : a publication of the IEEE Engineering in Medicine and Biology Society

An Analysis of Deep Learning Models in SSVEP-Based BCI: A Survey

Graph Neural Networks on SPD Manifolds for Motor Imagery Classification: A Perspective from the Time-Frequency Analysis

IEEE transactions on neural networks and learning systems

SPD-CNN: A plain CNN-based model using the symmetric positive definite matrices for cross-subject EEG classification with meta-transfer-learning


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

The CARMENES search for exoplanets around M dwarfs

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

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

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

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

Monthly notices of the Royal Astronomical Society

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

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

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

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

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

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


Causal Discovery in Python. It also includes (conditional) independence tests and score functions.

gCastle: A Python Toolbox for Causal Discovery

Greedy Relaxations of the Sparsest Permutation Algorithm

Causal-learn: Causal Discovery in Python

MissDAG: Causal Discovery in the Presence of Missing Data with
  Continuous Additive Noise Models

CausalRCA: Causal Inference based Precise Fine-grained Root Cause
  Localization for Microservice Applications

Original or Translated? A Causal Analysis of the Impact of Translationese on Machine Translation Performance

Independence Testing-Based Approach to Causal Discovery under
  Measurement Error and Linear Non-Gaussian Models

Evaluation of Induced Expert Knowledge in Causal Structure Learning by NOTEARS

Structure Learning with Continuous Optimization: A Sober Look and Beyond

Learning Multiscale Non-stationary Causal Structures


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

Graph Neural Networks: A Review of Methods and Applications

Benchmarking Graph Neural Networks

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

Computing Graph Neural Networks: A Survey from Algorithms to Accelerators

Simple and Effective Relation-based Embedding Propagation for Knowledge Representation Learning

CogDL: A Comprehensive Library for Graph Deep Learning

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

Graph Neural Networks: Methods, Applications, and Opportunities

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

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


RTE+RRTMGP is a set of codes for computing radiative fluxes in planetary atmospheres.


Patch-level verification for Bundler

Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages

Cleaning the NVD: Comprehensive Quality Assessment, Improvements, and Analyses

Measuring and Preventing Supply Chain Attacks on Package Managers.


GTP engine and self-play learning in Go

Accelerating Self-Play Learning in Go

Adversarial Policies Beat Superhuman Go AIs


Understand and reduce your carbon footprint  iOS & Android.


Minimal implementation of the QUIC protocol

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

FlEC: Enhancing QUIC with application-tailored reliability mechanisms

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

Interoperability-Guided Testing of QUIC Implementations using Symbolic Execution

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

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

2023 IFIP Networking Conference (IFIP Networking)

MCQUIC: Multicast and unicast in a single transport protocol


Multi-Agent Resource Optimization (MARO) platform is an instance of Reinforcement Learning as a Service (RaaS) for real-world resource optimization problems.

A Cooperative Multi-Agent Reinforcement Learning Framework for Resource Balancing in Complex Logistics Network

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

Hindsight Learning for MDPs with Exogenous Inputs

Cooperative Policy Learning with Pre-trained Heterogeneous Observation Representations


Fengshenbang-LM(封神榜大模型)是IDEA研究院认知计算与自然语言研究中心主导的大模型开源体系，成为中文AIGC和认知智能的基础设施。

Fengshenbang 1.0: Being the Foundation of Chinese Cognitive Intelligence

TableGPT: Towards Unifying Tables, Nature Language and Commands into One
  GPT

Edit Everything: A Text-Guided Generative System for Images Editing

Zero-Shot Learners for Natural Language Understanding via a Unified Multiple Choice Perspective

Evaluating Large Language Models for Radiology Natural Language Processing

DISC-LawLLM: Fine-tuning Large Language Models for Intelligent Legal
  Services

ERNIE-ViL 2.0: Multi-view Contrastive Learning for Image-Text
  Pre-training

FinEval: A Chinese Financial Domain Knowledge Evaluation Benchmark for
  Large Language Models

Reformulating Domain Adaptation of Large Language Models as
  Adapt-Retrieve-Revise

Two Heads Are Better Than One: Improving Fake News Video Detection by
  Correlating with Neighbors


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

Aggregated Contextual Transformations for High-Resolution Image Inpainting

Characterizing signal propagation to close the performance gap in unnormalized ResNets

Towards Fully Automated Manga Translation

Detection of Furigana Text in Images


An open source flight dynamics & control software library

Application specific drone simulators: Recent advances and challenges

Simulation modelling practice and theory

An Overview of the Drone Open-Source Ecosystem.

A deep reinforcement learning control approach for high-performance aircraft


The Vampire Theorem Prover

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

A Combinator-Based Superposition Calculus for Higher-Order Logic

Induction in Saturation-Based Proof Search

Exploring Transitivity in Neural NLI Models through Veridicality

Subsumption Demodulation in First-Order Theorem Proving

Trace Logic for Inductive Loop Reasoning

SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics

Logical Inferences with Comparatives and Generalized Quantifiers

Integer Induction in Saturation

Combining Event Semantics and Degree Semantics for Natural Language Inference


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

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


A ROS/ROS2 Multi-robot Simulator for Autonomous Vehicles

LGSVL Simulator: A High Fidelity Simulator for Autonomous Driving

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

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

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

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

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

Guided Conditional Diffusion for Controllable Traffic Simulation

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

Overview of Tools Supporting Planning for Automated Driving

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


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

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

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

Subcell limiting strategies for discontinuous Galerkin spectral element methods

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

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

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

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


NASLib is a Neural Architecture Search (NAS) library for facilitating NAS research for the community by providing interfaces to several state-of-the-art NAS search spaces and optimizers.

Multi-objective Neural Architecture Search via Predictive Network Performance Optimization

How Powerful are Performance Predictors in Neural Architecture Search?

NAS-Bench-Suite: NAS Evaluation is (Now) Surprisingly Easy

NAS-Bench-Suite-Zero: Accelerating Research on Zero Cost Proxies

NASLib: A Modular and Flexible Neural Architecture Search Library

Multifidelity Reinforcement Learning with Control Variates

Shortest Edit Path Crossover: A Theory-driven Solution to the
  Permutation Problem in Evolutionary Neural Architecture Search

Efficient Automation of Neural Network Design: A Survey on Differentiable Neural Architecture Search


Parallel computing with task scheduling

Wepy: A Flexible Software Framework for Simulating Rare Events with Weighted Ensemble Resampling

The Research Software Encyclopedia: A Community Framework to Define Research Software

Simmate: a framework for materials science


A multi-cloud framework for big data analytics and embarrassingly parallel jobs, that provides an universal API for building parallel applications in the cloud ☁

Primula: a Practical Shuffle/Sort Operator for Serverless Computing

PROCEEDINGS OF THE 2020 21ST INTERNATIONAL MIDDLEWARE CONFERENCE INDUSTRIAL TRACK (MIDDLEWARE INDUSTRY '20)

Triggerflow: Trigger-based orchestration of serverless workflows

Transparent Serverless execution of Python multiprocessing applications

Bringing scaling transparency to Proteomics applications with serverless computing

Proceedings of the 2020 Sixth International Workshop on Serverless Computing


Fit interpretable models. Explain blackbox machine learning.

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

InterpretML: A Unified Framework for Machine Learning Interpretability

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

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

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

Benchmarking and survey of explanation methods for black box models

Trustworthy AI: A Computational Perspective

A Survey of Deep Learning for Scientific Discovery

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

Galaxy Zoo: probabilistic morphology through Bayesian CNNs and active learning


Marabou Neural Network Verification Framework for Python

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

Parallelization Techniques for Verifying Neural Networks

A Review of Formal Methods applied to Machine Learning

Global optimization of objective functions represented by ReLU networks

Efficient Neural Network Analysis with Sum-of-Infeasibilities

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

Toward Certified Robustness Against Real-World Distribution Shifts

Verifying Quantized Neural Networks using SMT-Based Model Checking

From Robustness to Explainability and Back Again

SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks


cell detection in calcium imaging recordings

Mesoscale cortical dynamics reflect the interaction of sensory evidence and temporal expectation during perceptual decision-making

Fos ensembles encode and shape stable spatial maps in the hippocampus

A bright and high-performance genetically encoded Ca2+ indicator based on mNeonGreen fluorescent protein

Hippocampal place codes are gated by behavioral engagement

Respiration-Locking of Olfactory Receptor and Projection Neurons in the Mouse Olfactory Bulb and Its Modulation by Brain State

A stable, distributed code for cue value in mouse cortex during reward learning

Complexity of frequency receptive fields predicts tonotopic variability across species

Minute-scale oscillatory sequences in medial entorhinal cortex

PatchWarp: Corrections of non-uniform image distortions in two-photon calcium imaging data by patchwork affine transformations

Effective and efficient neural networks for spike inference from in vivo calcium imaging


Model reduction library with an emphasis on large scale parallelism and linear subspace methods

Space-time reduced order model for large-scale linear dynamical systems with application to Boltzmann transport problems

Reduced order models for Lagrangian hydrodynamics

Local Lagrangian reduced-order modeling for Rayleigh-Taylor instability
  by solution manifold decomposition

Data-scarce surrogate modeling of shock-induced pore collapse process

Pressio: Enabling projection-based model reduction for large-scale nonlinear dynamical systems

Certified data-driven physics-informed greedy auto-encoder simulator


Tools for diffing and merging of Jupyter notebooks.

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

Ten Simple Rules for Reproducible Research in Jupyter Notebooks.

ReproduceMeGit: A Visualization Tool for Analyzing Reproducibility of Jupyter Notebooks

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

Workshop on AI Engineering - Software Engineering for AI

Computational reproducibility of Jupyter notebooks from biomedical
  publications

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


Pcap editing and replay tools for *NIX and Windows - Users please download source from

Generating Practical Adversarial Network Traffic Flows Using NIDSGAN

IoTreeplay: Synchronous Distributed Traffic Replay in IoT Environments

Challenges in Net Neutrality Violation Detection: A Case Study of Wehe Tool


Medical imaging toolkit for deep learning

TorchIO: A Python library for efficient loading, preprocessing, augmentation and patch-based sampling of medical images in deep learning

Computer methods and programs in biomedicine

SAM: Self-supervised Learning of Pixel-wise Anatomical Embeddings in
  Radiological Images

Generative Adversarial Networks for Image Augmentation in Agriculture: A
  Systematic Review

Cooperative Training and Latent Space Data Augmentation for Robust Medical Image Segmentation

Weakly Supervised Learning Significantly Reduces the Number of Labels
  Required for Intracranial Hemorrhage Detection on Head CT

DeepAD: A Robust Deep Learning Model of Alzheimer's Disease Progression
  for Real-World Clinical Applications

Anatomy-Aware Lymph Node Detection in Chest CT using Implicit Station
  Stratification


A free and open database for farming and gardening knowledge. You can grow anything!


High performance radio data processing pipeline

A Synoptic VLBI Technique for Localizing Nonrepeating Fast Radio Bursts with CHIME/FRB

Localizing FRBs through VLBI with the Algonquin Radio Observatory 10 m Telescope

TONE: A CHIME/FRB Outrigger Pathfinder for localizations of Fast Radio
  Bursts using Very Long Baseline Interferometry

A fast radio burst localized at detection to a galactic disk using very
  long baseline interferometry


The devkit of the nuScenes dataset.

nuScenes: A multimodal dataset for autonomous driving

CoverNet: Multimodal Behavior Prediction using Trajectory Sets

Panoptic Nuscenes: A Large-Scale Benchmark for LiDAR Panoptic Segmentation and Tracking

Geometry-based Distance Decomposition for Monocular 3D Object Detection

Regularizing Nighttime Weirdness: Efficient Self-supervised Monocular Depth Estimation in the Dark

Rethinking Range View Representation for LiDAR Segmentation

LaserMix for Semi-Supervised LiDAR Semantic Segmentation

Segment Any Point Cloud Sequences by Distilling Vision Foundation Models

DEVIANT: Depth EquiVarIAnt NeTwork for Monocular 3D Object Detection

Robo3D: Towards Robust and Reliable 3D Perception against Corruptions


Damn Vulnerable Web Application (DVWA)

CICIoT2023: A Real-Time Dataset and Benchmark for Large-Scale Attacks in IoT Environment

Automated Security Response through Online Learning with Adaptive Conjectures

Vulnerable web application framework

Scalable Learning of Intrusion Responses through Recursive Decomposition

Conjectural Online Learning with First-order Beliefs in Asymmetric Information Stochastic Games


multi-purpose lens modeling software package

TDCOSMO: XII. Improved Hubble constant measurement from lensing time delays using spatially resolved stellar kinematics of the lens galaxy

OSTI OAI (U.S. Department of Energy Office of Scientific and Technical Information)

LensWatch: I. Resolved HST Observations and Constraints on the
  Strongly-Lensed Type Ia Supernova 2022qmx ("SN Zwicky")

Measuring line-of-sight shear with Einstein rings: a proof of concept

A large population of strongly lensed faint submillimetre galaxies in
  future dark energy surveys inferred from JWST imaging

The impact of human expert visual inspection on the discovery of strong gravitational lenses

The discovery of a z=0.7092 OH megamaser with the MIGHTEE survey

Accelerating galaxy dynamical modeling using a neural network for joint lensing and kinematic analyses

Varstrometry for Off-nucleus and Dual Subkiloparsec AGN (VODKA). SDSS J1608+2716: A Subarcsecond Quadruply Lensed Quasar at z = 2.575


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


Low level access to RISC-V processors


docTR (Document Text Recognition) - a seamless, high-performing & accessible library for OCR-related tasks powered by Deep Learning.

An End-to-End Trainable Neural Network for Image-Based Sequence Recognition and Its Application to Scene Text Recognition

LinkNet: Exploiting Encoder Representations for Efficient Semantic Segmentation

Visual Communications and Image Processing

Real-time Scene Text Detection with Differentiable Binarization

Show, Attend and Read: A Simple and Strong Baseline for Irregular Text Recognition

MASTER: Multi-Aspect Non-local Network for Scene Text Recognition

DocILE Benchmark for Document Information Localization and Extraction

Text Detection Forgot About Document OCR

Handwriting Declines With Human Aging: A Machine Learning Study

TorchBench: Benchmarking PyTorch with High API Surface Coverage


YOLOv3 in PyTorch > ONNX > CoreML > TFLite

YOLOv3: An Incremental Improvement

YOLOX: Exceeding YOLO Series in 2021

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

Black-box Explanation of Object Detectors via Saliency Maps

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

The Norm Must Go On: Dynamic Unsupervised Domain Adaptation by Normalization

An Efficient Domain-Incremental Learning Approach to Drive in All Weather Conditions

Application-Specific Evaluation of a Weed-Detection Algorithm for Plant-Specific Spraying

Animal Detection in Man-made Environments

Benchmarking Adversarial Patch Against Aerial Detection


Emulator for rapid prototyping of Software Defined Networks

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

ANCHOR: logically-centralized security for Software-Defined Networks

Learning Fair Policies in Decentralized Cooperative Multi-Agent Reinforcement Learning

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

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

Strengthening SDN Security: Protocol Dialecting and Downgrade Attacks

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

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

EFFICIENT MECHANISM FOR SECURING SOFTWARE DEFINED NETWORK AGAINST ARP SPOOFING ATTACK

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


objection - runtime mobile exploration

You Shall not Repackage! Demystifying Anti-Repackaging on Android

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


Fast and flexible reference benchmarks

On Provable Copyright Protection for Generative Models

Feature-Learning Networks Are Consistent Across Widths At Realistic
  Scales

MosaicBERT: A Bidirectional Encoder Optimized for Fast Pretraining

Quantized Distributed Training of Large Models with Convergence
  Guarantees

Beyond Implicit Bias: The Insignificance of SGD Noise in Online Learning


Free Public Transport Assistant without Ads or Tracking


Definition and DDLs for the OMOP Common Data Model (CDM)

Comparison of Cardiovascular and Safety Outcomes of Chlorthalidone vs Hydrochlorothiazide to Treat Hypertension

A new paradigm for accelerating clinical data science at Stanford
  Medicine

Correction: KETOS: Clinical decision support and machine learning as a service – A training and deployment platform based on Docker, OMOP-CDM, and FHIR Web Services

Web services for data warehouses: OMOP and PCORnet on i2b2

Journal of the American Medical Informatics Association : JAMIA

CREATE: Cohort Retrieval Enhanced by Analysis of Text from Electronic Health Records using OMOP Common Data Model

Comparison of Clinical Characteristics Between Clinical Trial Participants and Nonparticipants Using Electronic Health Record Data

Treatment Patterns for Chronic Comorbid Conditions in Patients With Cancer Using a Large-Scale Observational Data Network

Transformation of Electronic Health Records and Questionnaire Data to OMOP CDM: A Feasibility Study Using SG_T2DM Dataset

OpenPVSignal: Advancing Information Search, Sharing and Reuse on Pharmacovigilance Signals via FAIR Principles and Semantic Web Technologies

Preliminary exploration of survival analysis using the OHDSI common data model: a case study of intrahepatic cholangiocarcinoma

BMC medical informatics and decision making


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

Secure top most significant genome variants search: iDASH 2017 competition

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

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

Util::Lookup: Exploiting key decoding in cryptographic libraries

Secure and Efficient Trajectory-Based Contact Tracing using Trusted Hardware

An Efficient and Secure Scheme of Verifiable Computation for Intel SGX

Guardian: Symbolic Validation of Orderliness in SGX Enclaves


Efficiently computes derivatives of numpy code.

Convolutional Networks on Graphs for Learning Molecular Fingerprints

Automatic differentiation in machine learning: a survey

Pymoo: Multi-Objective Optimization in Python

Gradient-based Hyperparameter Optimization through Reversible Learning

Entropy-SGD: Biasing Gradient Descent Into Wide Valleys

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

Deep Gaussian Processes for Regression using Approximate Expectation Propagation

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

Black-box α-divergence Minimization

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


PyTorch Wildlife: a Collaborative Deep Learning Framework for Conservation.

Efficient Pipeline for Camera Trap Image Review

Perspectives on individual animal identification from biology and computer vision

The iWildCam 2019 Challenge Dataset

Efficient Pipeline for Automating Species ID in new Camera Trap Projects

Biodiversity Information Science and Standards

Automated wildlife image classification: An active learning tool for ecological applications

U-Infuse: Democratization of Customizable Deep Learning for Object Detection

Fisheye transformation enhances deep-learning-based single-cell phenotyping by including cellular microenvironment


RISC-V Proxy Kernel

CURE: A Security Architecture with CUstomizable and Resilient Enclaves

Intelligent Security Monitoring System Based on RISC-V SoC

Enabling Virtual Memory Research on RISC-V with a Configurable TLB Hierarchy for the Rocket Chip Generator.

PiDRAM: An FPGA-based Framework for End-to-end Evaluation of Processing-in-DRAM Techniques


A Python library for creating LaTeX files

Validation of an automated scoring program for a digital complex figure copy task within healthy aging and stroke.

SRG/eROSITA and XMM-Newton observations of Vela Jr


Python package built to ease deep learning on graph, on top of existing DL frameworks.

Semi-Supervised Classification with Graph Convolutional Networks

Graph Attention Networks

Inductive Representation Learning on Large Graphs

node2vec: Scalable Feature Learning for Networks

How Powerful are Graph Neural Networks?

Modeling Relational Data with Graph Convolutional Networks

Graph Neural Networks: A Review of Methods and Applications

Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks

Graph Convolutional Neural Networks for Web-Scale Recommender Systems

Gated Graph Sequence Neural Networks


The largest hub of ready-to-use datasets for ML models with fast, easy-to-use and efficient data manipulation tools

Datasets: A Community Library for Natural Language Processing

Compacter: Efficient Low-Rank Hypercomplex Adapter Layers

TED-LIUM 3: twice as much data and corpus repartition for experiments on speaker adaptation

Parameter-efficient Multi-task Fine-tuning for Transformers via Shared Hypernetworks

Large-scale chemical language representations capture molecular structure and properties

FLEX: Unifying Evaluation for Few-Shot NLP

ATTEMPT: Parameter-Efficient Multi-task Tuning via Attentional Mixtures of Soft Prompts

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

Simplified Data Wrangling with ir_datasets

SIGIR '21 - PROCEEDINGS OF THE 44TH INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL

Explanation-Based Human Debugging of NLP Models: A Survey


The Tripal package is  a suite of Drupal modules for creating biological (genomic, genetic, breeding) websites. Visit the Tripal homepage at http://tripal.info for documentation, support, and other information.  The Drupal project page is at http://drupal.org/project/tripal.

15 years of GDR: New data and functionality in the Genome Database for Rosaceae

AgBioData consortium recommendations for sustainable genomics and genetics databases for agriculture

Database : the journal of biological databases and curation

Tripal Developer Toolkit


Open standard for machine learning interoperability

Deep Graph Library: A Graph-Centric, Highly-Performant Package for Graph
  Neural Networks

GShard: Scaling Giant Models with Conditional Computation and Automatic Sharding

MLPerf Inference Benchmark

Pruning and Quantization for Deep Neural Network Acceleration: A Survey

Empowering Things With Intelligence: A Survey of the Progress, Challenges, and Opportunities in Artificial Intelligence of Things

Deep Learning and Its Application to LHC Physics

Annual review of nuclear and particle science

The Deep Learning Compiler: A Comprehensive Survey

IEEE transactions on parallel and distributed systems

Pythia: AI-assisted Code Completion System

Hardware and Software Optimizations for Accelerating Deep Neural Networks: Survey of Current Trends, Challenges, and the Road Ahead

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


TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Fast and Precise Type Checking for JavaScript

OptTyper: Probabilistic Type Inference by Optimising Logical and Natural
  Constraints

An Empirical Study on Using Multi-Labels for Issues in GitHub

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

Do Machine Learning Models Produce TypeScript Types that Type Check?

Generation of TypeScript Declaration Files from JavaScript Code

Reinforcement learning tutor better supported lower performers in a math task

Automatically Assessing and Extending Code Coverage for NPM Packages

SafeStrings: Representing Strings as Structured Data

Towards a more perfect union type


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

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

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

Explanation-based Finetuning Makes Models More Robust to Spurious Cues

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

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

Aligning Semantic in Brain and Language: A Curriculum Contrastive Method for Electroencephalography-to-Text Generation

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

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

CoAScore: Chain-of-Aspects Prompting for NLG Evaluation

Unitxt: Flexible, Shareable and Reusable Data Preparation and Evaluation
  for Generative AI


RADICAL-Pilot

Using Pilot Systems to Execute Many Task Workloads on Supercomputers

High-throughput Binding Affinity Calculations at Extreme Scales

Executing Dynamic and Heterogeneous Workloads on Super Computers

Design and Performance Characterization of RADICAL-Pilot on Titan


AsciiDoc Source


Snabb: Simple and fast packet networking

MoonGen: A Scriptable High-Speed Packet Generator

User Space Network Drivers

The Case for Writing Network Drivers in High-Level Programming Languages

Me Love (SYN-)Cookies: SYN Flood Mitigation in Programmable Data Planes

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

Remote Procedure Call as a Managed System Service

Metronome: Adaptive and Precise Intermittent Packet Retrieval in DPDK

Marie Russo: An Oral History of the Italian Settlement House.

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

International Conference on Cloud Computing and Services Science


molSimplify code

Strategies and Software for Machine Learning Accelerated Discovery in Transition Metal Chemistry

Industrial & engineering chemistry research

Learning from Failure: Predicting Electronic Structure Calculation Outcomes with Machine Learning Models

Journal of chemical theory and computation

New Strategies for Direct Methane-to-Methanol Conversion from Active Learning Exploration of 16 Million Catalysts

Large-scale comparison of 3d and 4d transition metal complexes illuminates the reduced effect of exchange on second-row spin-state energetics

Physical chemistry chemical physics/PCCP. Physical chemistry chemical physics

A Database of Ultrastable MOFs Reassembled from Stable Fragments with
  Machine Learning Models

Representations and Strategies for Transferable Machine Learning Models in Chemical Discovery.

Machine learning models predict calculation outcomes with the
  transferability necessary for computational catalysis

Deciphering Cryptic Behavior in Bimetallic Transition Metal Complexes with Machine Learning

The journal of physical chemistry letters

Exploiting Ligand Additivity for Transferable Machine Learning of
  Multireference Character Across Known Transition Metal Complex Ligands

Two Wrongs Can Make a Right: A Transfer Learning Approach for Chemical Discovery with Chemical Accuracy


Rust for C++ programmers

How do programmers use unsafe rust?

Proceedings of the ACM on programming languages

Borrowing Safe Pointers from Rust in SPARK

Safe Pointers in SPARK 2014


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

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

International Conference on Software Engineering

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

IEEE Communications surveys and tutorials/IEEE communications surveys and tutorials

A Security Reference Architecture for Blockchains

xFuzz: Machine Learning Guided Cross-Contract Fuzzing

SolidityCheck : Quickly Detecting Smart Contract Problems Through
  Regular Expressions

Assessing Smart Contracts Security Technical Debts

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

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


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

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

Principles of Dataset Versioning: Exploring the Recreation/Storage Tradeoff

How different are different diff algorithms in Git?

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

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

Inference of Static Semantics for Incomplete C Programs

Symposium on Principles of Programming Languages

Desensitisation of Notch signalling through dynamic adaptation in the nucleus

A Framework for Blockchain-Based Applications

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

IEEE transactions on visualization and computer graphics

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

Pamukkale University Journal of Engineering Sciences


A fork and successor of the Sulley Fuzzing Framework

Pythia: Grammar-Based Fuzzing of REST APIs with Coverage-guided Feedback and Learning-based Mutations.

PropFuzz — An IT-security fuzzing framework for proprietary ICS protocols

International Conference on Applied Electronics

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

Berserker: ASN.1-based Fuzzing of Radio Resource Control Protocol for 4G and 5G

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

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

ESRFuzzer: an enhanced fuzzing framework for physical SOHO router devices to discover multi-Type vulnerabilities

Discovery and Identification of Memory Corruption Vulnerabilities on Bare-Metal Embedded Devices

IEEE Transactions on Dependable and Secure Computing/IEEE transactions on dependable and secure computing

ICPFuzzer: proprietary communication protocol fuzzing by using machine learning and feedback strategies

PS-Fuzz: Efficient Graybox Firmware Fuzzing Based on Protocol State


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

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

pyannote.audio: neural building blocks for speaker diarization

TristouNet: Triplet Loss for Speaker Turn Embedding

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

The Third DIHARD Diarization Challenge

Generative Spoken Dialogue Language Modeling

End-to-end Domain-Adversarial Voice Activity Detection

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

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

The DKU-DukeECE Diarization System for the VoxCeleb Speaker Recognition
  Challenge 2022


A library for easy and efficient manipulation of tensor networks.

TensorNetwork: A Library for Physics and Machine Learning

Differentiable Quantum Architecture Search

TensorNetwork for Machine Learning

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

Lectures on Quantum Tensor Networks

Tensor-based algorithms for image classification

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

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

TeNeS: Tensor network solver for quantum lattice systems

TensorNetwork on TensorFlow: Entanglement Renormalization for quantum
  critical lattice models


DESI simulations

The DESI Experiment Part II: Instrument Design

The Spectroscopic Data Processing Pipeline for the Dark Energy Spectroscopic Instrument

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

Journal of Cosmology and Astroparticle Physics

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

Deep Learning of DESI Mock Spectra to Find Damped Lyα Systems

The Astrophysical journal. Supplement series/Astrophysical journal. Supplement series

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

Monthly Notices of the Royal Astronomical Society

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

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

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

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


Fast numerical array expression evaluator for Python, NumPy, Pandas, PyTables and more

Faster ICA by preconditioning with Hessian approximations

HOPE: A Python Just-In-Time compiler for astrophysical computations

Simple, parallel virtual machines for extreme computations

Laying the foundation of the effective-one-body waveform models SEOBNRv5: Improved accuracy and efficiency for spinning nonprecessing binary black holes

Toward Efficient Interactions between Python and Native Libraries

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

Massively parallel implementation in Python of a pseudo-spectral DNS
  code for turbulent flows

Functional Decomposition: A new method for search and limit setting

Quantifying the Location Error of Precipitation Nowcasts


Wave Energy Converter Simulator (WEC-Sim), an open-source code for simulating wave energy converters.


PaddleScience is SDK and library for developing AI-driven scientific computing applications based on PaddlePaddle.

Implicit Neural Representations with Periodic Activation Functions

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

Physics Informed Deep Learning (Part I): Data-driven Solutions of Nonlinear Partial Differential Equations

Gradient Surgery for Multi-Task Learning

Deep Hidden Physics Models: Deep Learning of Nonlinear Partial Differential Equations

tempoGAN: A Temporally Coherent, Volumetric GAN for Super-resolution Fluid Flow

Physics-informed neural networks with hard constraints for inverse design

FourCastNet: A Global Data-driven High-resolution Weather Model using
  Adaptive Fourier Neural Operators

Combining Differentiable PDE Solvers and Graph Neural Networks for Fluid Flow Prediction

Transformers for Modeling Physical Systems


The Open Modeling Framework for smart grid cost-benefit analysis.


The modular galaxy image simulation toolkit.  Documentation:

Weak lensing for precision cosmology

Annual review of astronomy and astrophysics

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

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

Publications of the Astronomical Society of Japan

The DES Science Verification weak lensing shear catalogues

THE THIRD GRAVITATIONAL LENSING ACCURACY TESTING (GREAT3) CHALLENGE HANDBOOK

Dark Energy Survey Year 1 results: curved-sky weak lensing mass map

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

Weak lensing shear calibration with simulations of the HSC survey

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

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


A fresh approach to string manipulation in R

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

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

Genome streamlining in a minute herbivore that manipulates its host plant

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

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

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

International journal of molecular sciences

Measuring inferential importance of taxa using taxon influence indices

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

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

NFP: An R Package for Characterizing and Comparing of Annotated Biological Networks


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

Review of Open Source Tools for PV Modeling

Zenodo (CERN European Organization for Nuclear Research)

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

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


RISC-V Opcodes


Open-source low code data preparation library in python. Collect, clean and visualization your data in python with a few lines of code.

Lux: Always-on Visualization Recommendations for Exploratory Dataframe
  Workflows

DataPrep.EDA: Task-Centric Exploratory Data Analysis for Statistical Modeling in Python

SIGMOD '21: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA


Data mining for materials science

Recent advances and applications of deep learning methods in materials science

Benchmarking materials property prediction methods: the Matbench test set and Automatminer reference algorithm

A transferable machine-learning framework linking interstice distribution and plastic heterogeneity in metallic glasses

Predicting the propensity for thermally activated β events in metallic glasses via interpretable machine learning

Machine learning in materials modeling—fundamentals and the opportunities in 2D materials

Predicting thermoelectric properties from crystal graphs and material descriptors - first application for functional materials.


Image-to-Image Translation in PyTorch

Unpaired Image-to-Image Translation using Cycle-Consistent Adversarial Networks

Strong-Weak Distribution Alignment for Adaptive Object Detection

Deep MR to CT Synthesis using Unpaired Data

Democratising deep learning for microscopy with ZeroCostDL4Mic

Unsupervised Bidirectional Cross-Modality Adaptation via Deeply Synergistic Image and Feature Alignment for Medical Image Segmentation

On Data Augmentation for GAN Training

Detecting GAN generated Fake Images using Co-occurrence Matrices

nucleAIzer: A Parameter-free Deep Learning Framework for Nucleus Segmentation Using Image Style Transfer

Reusing Discriminators for Encoding: Towards Unsupervised Image-to-Image Translation

MisGAN: Learning from Incomplete Data with Generative Adversarial Networks


An open source loadflow based on PowSyBl


The Rails app behind iNaturalist.org


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

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

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

Semantic Identifiers and DNS Names for IoT


Advanced virtual prototyping for cyber-physical systems using RISC-V: implementation, verification and challenges


A deep learning framework for molecular docking

Protein-Ligand Scoring with Convolutional Neural Networks

Journal of chemical information and modeling

GNINA 1.0: Molecular Docking with Deep Learning

Recent advances and applications of deep learning methods in materials science

Hidden Bias in the DUD-E Dataset Leads to Misleading Performance of Deep Learning in Structure-Based Virtual Screening

DEEPScreen: high performance drug–target interaction prediction with convolutional neural networks using 2-D structural compound representations

Visualizing Convolutional Neural Network Protein-Ligand Scoring

Journal of molecular graphics & modelling/Journal of molecular graphics and modelling

DiffBP: Generative Diffusion of 3D Molecules for Target Protein Binding

A Review on Parallel Virtual Screening Softwares for High Performance
  Computers

Ligand Pose Optimization with Atomic Grid-Based Convolutional Neural Networks.

On-the-fly Prediction of Protein Hydration Densities and Free Energies
  using Deep Learning


Curated list of open-source quantum software projects.

Noisy intermediate-scale quantum (NISQ) algorithms

OpenQL: A Portable Quantum Programming Framework for Quantum Accelerators

QUBO formulations for the graph isomorphism problem and related problems

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

QAC: Quantum-computing Aided Composition


A high performance caching library for Java

Randomized Admission Policy for Efficient Top-k and Frequency Estimation

TimeCrypt: Encrypted Data Stream Processing at Scale with Cryptographic Access Control

HUGE: An Efficient and Scalable Subgraph Enumeration System

Understanding Application-Level Caching in Web Applications: A Comprehensive Introduction and Survey of State-of-the-Art Approaches

SALSA: Self-Adjusting Lean Streaming Analytics

Automation of application-level caching in a seamless way

Learning Future Reference Patterns for Efficient Cache Replacement Decisions

Self-adjusting Advertisement of Cache Indicators with Bandwidth Constraints

On the Power of False Negative Awareness in Indicator-based Caching Systems

RLCache: Automated Cache Management Using Reinforcement Learning


Bring data to life with SVG, Canvas and HTML. :bar_chart::chart_with_upwards_trend::tada:

Exploring TCGA Pan-Cancer Data at the UCSC Cancer Genomics Browser

Lotus Base: An integrated information portal for the model legume Lotus japonicus

Categorizing the Content of GitHub README Files

Converting Basic D3 Charts into Reusable Style Templates

Designing and defining dynamic protein cage nanoassemblies in solution

PoSSuM v.2.0: data update and a new function for investigating ligand analogs and target proteins of small-molecule drugs

Understanding Public Opinions from Geosocial Media

ISPRS international journal of geo-information

A Search for Improved Performance in Regular Expressions

Innovative Visualizations Shed Light on Avian Nocturnal Migration

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


Private chat with local GPT with document, images, video, etc. 100% private, Apache 2.0. Supports oLLaMa, Mixtral, llama.cpp, and more. Demo: https://gpt.h2o.ai/ https://codellama.h2o.ai/

Xiezhi: An Ever-Updating Benchmark for Holistic Domain Knowledge
  Evaluation

h2oGPT: Democratizing Large Language Models

Examining User-Friendly and Open-Sourced Large GPT Models: A Survey on
  Language, Multimodal, and Scientific GPT Models

H2O Open Ecosystem for State-of-the-art Large Language Models


Lightweight, general, scalable C++ library for finite element methods

MFEM: a modular finite element methods library

Computers and Mathematics with Applications

Scalability of High-Performance PDE Solvers

Reduced order models for Lagrangian hydrodynamics

LaSDI: Parametric Latent Space Dynamics Identification

Local Lagrangian reduced-order modeling for Rayleigh-Taylor instability
  by solution manifold decomposition

An adaptive scalable fully implicit algorithm based on stabilized finite element for reduced visco-resistive MHD

Low-order preconditioning for the high-order finite element de Rham
  complex

Numerical results for adaptive (negative norm) constrained first order system least squares formulations

Proximal Galerkin: A structure-preserving finite element method for
  pointwise bound constraints

Magnetic Field Simulations Using Explicit Time Integration With Higher Order Schemes


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

FAST-LIO2: Fast Direct LiDAR-Inertial Odometry

ConvPoint: Continuous Convolutions for Point Cloud Processing

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

IEEE transactions on pattern analysis and machine intelligence

Classification of Aerial Photogrammetric 3D Point Clouds

Direct LiDAR Odometry: Fast Localization with Dense Point Clouds

SPlit: An Optimal Method for Data Splitting

On generation of node distributions for meshless PDE discretizations

Of Traits and Trees: Probabilistic Distances under Continuous Trait Models for Dissecting the Interplay among Phylogeny, Model, and Data

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

Autonomous Cave Surveying With an Aerial Robot


YOLOX is a high-performance anchor-free YOLO, exceeding yolov3~v5 with MegEngine, ONNX, TensorRT, ncnn, and OpenVINO supported. Documentation: https://yolox.readthedocs.io/

YOLOX: Exceeding YOLO Series in 2021

PPE detector: a YOLO-based architecture to detect personal protective equipment (PPE) for construction sites

RumexWeeds: A grassland dataset for agricultural robotics

Workshop on Autonomous Driving at CVPR 2021: Technical Report for Streaming Perception Challenge

SSGD: A smartphone screen glass dataset for defect detection

A Computer Vision-based System for Surgical Waste Detection

International journal of advanced computer science and applications/International journal of advanced computer science & applications

Image-based quantification ofArabidopsis thalianastomatal aperture from leaf images

Towards Better Explanations for Object Detection


A fast line-by-line code for high-resolution infrared molecular spectra


Library for fast text representation and classification.

Enriching Word Vectors with Subword Information

Bag of Tricks for Efficient Text Classification

Word Translation Without Parallel Data

Pre-trained models for natural language processing: A survey

FastText.zip: Compressing text classification models

Unsupervised Machine Translation Using Monolingual Corpora Only

A Survey of Cross-lingual Word Embedding Models

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

Universal Neural Machine Translation for Extremely Low Resource Languages

StarSpace: Embed All The Things!


A Framework for Building Robust Shiny Apps

The Rockerverse: Packages and Applications for Containerisation with R

Biodose Tools: an R shiny application for biological dosimetry

International journal of radiation biology

A streamlined workflow for conversion, peer review, and publication of genomics metadata as omics data papers

COMplex mental health PAThways (COMPAT) Study: A mixed methods study to inform an evidence-based service delivery model for people with complex needs: Study protocol


Public repository for the PM4Py (Process Mining for Python) project.

Trace Encoding in Process Mining: a survey and benchmarking

Leveraging Large Language Models (LLMs) for Process Mining (Technical
  Report)

Graph-Based Token Replay for Online Conformance Checking


Occlum is a memory-safe, multi-process library OS for Intel SGX

Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX

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

Golden Grain: Building a Secure and Decentralized Model Marketplace for MLaaS

Understanding TEE Containers, Easy to Use? Hard to Trust


NeuralProphet: A simple forecasting package

Forecasting: theory and practice

NeuralProphet: Explainable Forecasting at Scale

AR-Net: A simple Auto-Regressive Neural Network for time-series

Boosted Embeddings for Time Series Forecasting


Data parallel C++ mathematical object library

Hadronic Light-by-Light Scattering Contribution to the Muon Anomalous Magnetic Moment from Lattice QCD

Grid: A next generation data parallel C++ QCD library

Status and future perspectives for lattice gauge theory calculations to the exascale and beyond

Proton decay matrix elements on the lattice at physical pion mass

Theoretical aspects of quantum electrodynamics in a finite volume with periodic boundary conditions

Multi-Grid Lanczos

Near-conformal dynamics in a chirally broken system

Gradient flow step-scaling function for SU(3) with ten fundamental flavors

Testing Fermion Universality at a Conformal Fixed Point

Lattice QCD Calculation of the Pion Mass Splitting


MONAI Tutorials

UNETR: Transformers for 3D Medical Image Segmentation

Rapid artificial intelligence solutions in a pandemic—The COVID-19-20 Lung CT Lesion Segmentation Challenge

DiNTS: Differentiable Neural Network Topology Search for 3D Medical Image Segmentation

Unsupervised Brain Anomaly Detection and Segmentation with Transformers

Cats: Complementary CNN and Transformer Encoders for Segmentation

Tackling the class imbalance problem of deep learning-based head and neck organ segmentation


SpikingJelly is an open-source deep learning framework for Spiking Neural Network (SNN) based on PyTorch.

Temporal Efficient Training of Spiking Neural Network via Gradient
  Re-weighting

Spikformer: When Spiking Neural Network Meets Transformer

Recent Advances on Neural Network Pruning at Initialization

Neural Architecture Search for Spiking Neural Networks

Neuromorphic Data Augmentation for Training Spiking Neural Networks

AutoSNN: Towards Energy-Efficient Spiking Neural Networks

SpikingJelly: An open-source machine learning infrastructure platform for spike-based intelligence

Exploring Lottery Ticket Hypothesis in Spiking Neural Networks

TCJA-SNN: Temporal-Channel Joint Attention for Spiking Neural Networks

STSC-SNN: Spatio-Temporal Synaptic Connection with temporal convolution and attention for spiking neural networks


Go engine with no human-provided knowledge, modeled after the AlphaGo Zero paper.

Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm

Accelerating Self-Play Learning in Go

Explain Your Move: Understanding Agent Actions Using Focused Feature Saliency

Conditionally Elicitable Dynamic Risk Measures for Deep Reinforcement Learning

The Game Is Not over Yet—Go in the Post-AlphaGo Era

Practical Massively Parallel Monte-Carlo Tree Search Applied to Molecular Design

Learning to Play the Chess Variant Crazyhouse Above World Champion Level With Deep Neural Networks and Human Data

Mobile Networks for Computer Go

Efficiently Mastering the Game of NoGo with Deep Reinforcement Learning Supported by Domain Knowledge

Are AlphaZero-like Agents Robust to Adversarial Perturbations?


SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization

Sequential Model-Based Optimization for General Algorithm Configuration

On Hyperparameter Optimization of Machine Learning Algorithms: Theory and Practice

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

Recurrent Neural Networks for Time Series Forecasting: Current status and future directions

NAS-Bench-101: Towards Reproducible Neural Architecture Search

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

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

Benchmark and Survey of Automated Machine Learning Frameworks

Phoenics: A Bayesian Optimizer for Chemistry

A Survey of Automatic Parameter Tuning Methods for Metaheuristics

IEEE transactions on evolutionary computation


State-of-the-art 2D and 3D Face Analysis Project

VGGFace2: A dataset for recognising faces across pose and age

MS-Celeb-1M: A Dataset and Benchmark for Large-Scale Face Recognition

Stacked Dense U-Nets with Dual Transformers for Robust Face Alignment

The 2021 NIST Speaker Recognition Evaluation

Racial Faces in the Wild: Reducing Racial Bias by Information Maximization Adaptation Network

Linkage Based Face Clustering via Graph Convolution Network

Sub-center ArcFace: Boosting Face Recognition by Large-Scale Noisy Web Faces

Partial FC: Training 10 Million Identities on a Single Machine

ElasticFace: Elastic Margin Loss for Deep Face Recognition

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


AIMET is a library that provides advanced quantization and compression techniques for trained neural network models.

Neural Network Quantization with AI Model Efficiency Toolkit (AIMET)

FP8 versus INT8 for efficient deep learning inference

A Practical Mixed Precision Algorithm for Post-Training Quantization

Quadapter: Adapter for GPT-2 Quantization

KD-Lib: A PyTorch library for Knowledge Distillation, Pruning and
  Quantization

SketchINR: A First Look into Sketches as Implicit Neural Representations

Softmax Bias Correction for Quantized Generative Models

INT-FP-QSim: Mixed Precision and Formats For Large Language Models and
  Vision Transformers


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

Improving Robustness Without Sacrificing Accuracy with Patch Gaussian Augmentation

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

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


Fast, flexible and easy to use probabilistic modelling in Python.

Pomegranate: fast and flexible probabilistic modeling in python

Similar genomic proportions of copy number variation within gray wolves and modern dog breeds inferred from whole genome sequencing

Towards Using Probabilistic Models to Design Software Systems with Inherent Uncertainty

Exponential family measurement error models for single-cell CRISPR
  screens

Classification of Human Whole-Body Motion using Hidden Markov Models


Linux-based partitioning hypervisor

Look Mum, no VM Exits! (Almost)

Virtualizing mixed-criticality systems: A survey on industrial trends and issues

Virtualizing Programmable Logic Controllers: Toward a Convergent Approach

Boomerang: Real-Time I/O Meets Legacy Systems

Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN

Towards a RISC-V Open Platform for Next-generation Automotive ECUs

Mediterranean Conference on Embedded Computing

vLibOS: Babysitting OS Evolution with a Virtualized Library OS


Main code for Parcels (Probably A Really Computationally Efficient Lagrangian Simulator)

Parcels v0.9: prototyping a Lagrangian ocean analysis framework for the petascale age

Persistence and material coherence of a mesoscale ocean eddy

Speeding up Python-based Lagrangian Fluid-Flow Particle Simulations via Dynamic Collection Data Structures.


The PubSub implementation for go-libp2p

GossipSub: Attack-Resilient Message Propagation in the Filecoin and
  ETH2.0 Networks

PnyxDB: a Lightweight Leaderless Democratic Byzantine Fault Tolerant Replicated Datastore

Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from
  Misbehaving Peers


A Coq library for Homotopy Type Theory

The Simplicial Model of Univalent Foundations (after Voevodsky)

Univalence for inverse diagrams and homotopy canonicity

Mathematical Structures in Computer Science

Brouwer's fixed-point theorem in real-cohesive homotopy type theory

Semantics of higher inductive types

Mathematical proceedings of the Cambridge Philosophical Society

HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics

The HoTT Library: A formalization of homotopy type theory in Coq

Coq Coq correct! verification of type checking and erasure for Coq, in Coq

Proceedings of the ACM on programming languages

On the homotopy groups of spheres in homotopy type theory

Axiomatic Foundations and Algorithms for Deciding Semantic Equivalences of SQL Queries

Homotopy type theory and Voevodsky's univalent foundations


BLAS-like Library Instantiation Software Framework

High-Performance Tensor Contraction without Transposition

High-Performance Tensor Contraction without BLAS.

Parallel accelerated vector similarity calculations for genomics applications

Parallel Accelerated Custom Correlation Coefficient Calculations for
  Genomics Applications

BLISlab: A Sandbox for Optimizing GEMM

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

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


Swift for TensorFlow

Don't Unroll Adjoint: Differentiating SSA-Form Programs

JANUS: Fast and Flexible Deep Learning via Symbolic Graph Execution of Imperative Programs

Labyrinth: Compiling Imperative Control Flow to Parallel Dataflows


Caffe: a fast open framework for deep learning.

Fully Convolutional Networks for Semantic Segmentation

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

Region-Based Convolutional Networks for Accurate Object Detection and Segmentation

Fast R-CNN

Caffe: Convolutional Architecture for Fast Feature Embedding

ShuffleNet: An Extremely Efficient Convolutional Neural Network for Mobile Devices

Recent advances in convolutional neural networks

ImageNet-trained CNNs are biased towards texture; increasing shape bias improves accuracy and robustness

Remote Sensing Image Scene Classification: Benchmark and State of the Art

Delving into Transferable Adversarial Examples and Black-box Attacks


Python (3.8+) version of CLIMADA

Asset exposure data for global physical risk assessment

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

Regional tropical cyclone impact functions for globally consistent risk assessments

Natural hazards and earth system sciences

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

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

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

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

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


ACL2 System and Books as Maintained by the Community

Efficient Certified RAT Verification

Verifying x86 Instruction Implementations

New Rewriter Features in FGL

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

Fourier Series Formalization in ACL2(r)

Formal Verification of Zero-Knowledge Circuits

International Workshop on the ACL2 Theorem Prover and Its Applications

Balancing Automation and Control for Formal Verification of Microprocessors

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


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

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

A Survey of Large Language Models

QLoRA: Efficient Finetuning of Quantized LLMs

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

Efficient and Effective Text Encoding for Chinese LLaMA and Alpaca

8-bit Optimizers via Block-wise Quantization

A Comprehensive Overview of Large Language Models

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

Stable and low-precision training for large-scale vision-language models

LQ-LoRA: Low-rank Plus Quantized Matrix Decomposition for Efficient
  Language Model Finetuning


OpenStudio is a cross-platform collection of software tools to support whole building energy modeling using EnergyPlus and advanced daylight analysis using Radiance.


A Monte Carlo simulation package for radio neutrino detectors

Targeting ultra-high energy neutrinos with the ARIANNA experiment

NuRadioMC: simulating the radio emission of neutrinos from interaction to detector

Tau neutrinos in the next decade: from GeV to EeV

The Next-Generation Radio Neutrino Observatory -- Multi-Messenger Neutrino Astrophysics at Extreme Energies

ARIANNA: Current developments and understanding the ice for neutrino detection

Reconstructing the arrival direction of neutrinos in deep in-ice radio detectors


A unified, comprehensive and efficient recommendation library

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

Improving Graph Collaborative Filtering with Neighborhood-enriched Contrastive Learning

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

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

A Comprehensive Survey on Trustworthy Recommender Systems

Explanation Guided Contrastive Learning for Sequential Recommendation

AdaMCT: Adaptive Mixture of CNN-Transformer for Sequential Recommendation

Recent Advances in RecBole: Extensions with more Practical
  Considerations

Towards a More User-Friendly and Easy-to-Use Benchmark Library for Recommender Systems

Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval

Improving Micro-video Recommendation by Controlling Position Bias


A unified framework for privacy-preserving data analysis and machine learning

A Survey of Trustworthy Federated Learning with Perspectives on Security, Robustness and Privacy

MPCViT: Searching for Accurate and Efficient MPC-Friendly Vision Transformer with Heterogeneous Attention


Node.js scraper to get data from Google Play

User Experience of Cognitive Behavioral Therapy Apps for Depression: An Analysis of App Functionality and User Reviews

User Experiences of Social Support From Companion Chatbots in Everyday Contexts: Thematic Analysis

User-documented food consumption data from publicly available apps: an analysis of opportunities and challenges for nutrition research

User Perspectives of Mood-Monitoring Apps Available to Young People: Qualitative Content Analysis

Clinician Perspectives and Design Implications in Using Patient-Generated Health Data to Improve Mental Health Practices: Mixed Methods Study

Real‐world data using mHealth apps in rhinitis, rhinosinusitis and their multimorbidities

Mobile Apps to Fight the COVID-19 Crisis

International Conference on Data Technologies and Applications

Where is Your App Frustrating Users?

Proceedings of the 44th International Conference on Software Engineering

Rating analysis and BERTopic modeling of consumer versus regulated mHealth app reviews in Germany

Pregnancy Apps for Self-Monitoring: Scoping Review of the Most Popular Global Apps Available in Australia

International journal of environmental research and public health


A transparent, highly scalable and cryptographically verifiable data store.

Paxos vs Raft

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

Think Global, Act Local: Gossip and Client Audits in Verifiable Data Structures.

Verifiable Light-Weight Monitoring for Certificate Transparency Logs

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Automated Verification of Go Programs via Bounded Model Checking

Zenodo (CERN European Organization for Nuclear Research)

Software Distribution Transparency and Auditability

GlassDB: An Efficient Verifiable Ledger Database System Through
  Transparency

Key Event Receipt Infrastructure (KERI)

A Blueprint for Interoperable Blockchains

Aggregation-Based Gossip for Certificate Transparency


Apache Ant is a Java-based build tool.

Learning Quick Fixes from Code Repositories

Broken External Links on Stack Overflow

Using Distributed Representation of Code for Bug Detection.

Ammonia: an approach for deriving project-specific bug patterns

BugPre: an intelligent software version-to-version bug prediction system using graph convolutional neural networks


Main repository for the NREL-supported OpenFAST whole-turbine and FAST.Farm wind farm simulation codes.

ExaWind: A multifidelity modeling and simulation environment for wind energy

Augmented Kalman filter with a reduced mechanical model to estimate tower loads on a land-based wind turbine: a step towards digital-twin simulations

Land-based wind turbines with flexible rail transportable blades – Part I: Conceptual design and aeroservoelastic performance

Constrained Power Reference Control for Wind Turbines

DTUWEC: an open-source DTU Wind Energy Controller with advanced industrial features

SCIENCE OF MAKING TORQUE FROM WIND (TORQUE 2020), PTS 1-5

Optimization-based calibration of hydrodynamic drag coefficients for a semisubmersible platform using experimental data of an irregular sea state

Model-based closed-loop wind farm control for power maximization using Bayesian Optimization: a large eddy simulation study

Model tests of a 10 MW semi-submersible floating wind turbine under waves and wind using hybrid method to integrate the rotor thrust and moments

Numerical simulations of ice accretion on wind turbine blades: are performance losses due to ice shape or surface roughness?

Control of a Floating Wind Turbine on a Novel Actuated Platform


A flexible, high-performance 3D simulator for Embodied AI research.

Habitat: A Platform for Embodied AI Research

Habitat 2.0: Training Home Assistants to Rearrange their Habitat

Occupancy Anticipation for Efficient Exploration and Navigation

A Survey on Human-aware Robot Navigation

SoundSpaces 2.0: A Simulation Platform for Visual-Acoustic Learning

Multi-skill Mobile Manipulation for Object Rearrangement

Habitat 3.0: A Co-Habitat for Humans, Avatars and Robots

Map-merging Algorithms for Visual SLAM: Feasibility Study and Empirical Evaluation

Learning Navigational Visual Representations with Semantic Map Supervision

Learning with a Mole: Transferable latent spatial representations for
  navigation without reconstruction


Sequential model-based optimization with a  `scipy.optimize` interface

Accelerated Hierarchical Density Based Clustering

The physiological effects of noninvasive brain stimulation fundamentally differ across the human cortex

ASNets: Deep Learning for Generalised Planning

Journal of artificial intelligence research/The journal of artificial intelligence research

ENTMOOT: A Framework for Optimization over Ensemble Tree Models

HEBO Pushing The Limits of Sample-Efficient Hyperparameter Optimisation

Composite Adversarial Attacks

Event generator tuning using Bayesian optimization

Rocketsled: a software library for optimizing high-throughput computational searches

DINCAE 2.0: multivariate convolutional neural network with error estimates to reconstruct sea surface temperature satellite and altimetry observations

Robust Walking Based on MPC With Viability Guarantees


Python tools for querying and manipulating BIDS datasets.

BIDS apps: Improving ease of use, accessibility, and reproducibility of neuroimaging data analysis methods

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

Open and reproducible neuroimaging: From study inception to publication

PyBIDS: Python tools for BIDS datasets

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

Neuroscout, a unified platform for generalizable and reproducible fMRI research

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

The BIDS Toolbox: A web service to manage brain imaging datasets


Light-weight, simple and fast XML parser for C++ with XPath support

PhysiCell: An open source physics-based cell simulator for 3-D multicellular systems

Phoebe: a high-performance framework for solving phonon and electron Boltzmann transport equations

Phoebe: a collection of Phonon and Electron Boltzmann Equation solvers

When 3D-Aided 2D Face Recognition Meets Deep Learning: An extended UR2D for Pose-Invariant Face Recognition


Non-Linear Least Squares Minimization, with flexible Parameter settings, based on scipy.optimize, and with many additional classes and methods for curve fitting.

Reduction of the proton radius discrepancy by 3σ

Predictive constitutive modelling of arteries by deep learning

Constraining particle acceleration in Sgr A* with simultaneous GRAVITY, Spitzer, NuSTAR and Chandra observations

Gaia Gaps and the Physics of Low-mass Stars. I. The Fully Convective Boundary

Pulse energy distribution for RRAT J0139+33 according to observations at the 111 MHz frequency

The emission and scintillation properties of RRAT J2325−0530 at 154 MHz and 1.4 GHz

Publications of the Astronomical Society of Australia/Publications Astronomical Society of Australia

Constraining cosmological and galaxy parameters using strong gravitational lensing systems

Investigation of the properties of four rotating radio transients at 111 MHz

Monthly Notices of the Royal Astronomical Society

Extragalactic FXT Candidates Discovered by Chandra (2014-2022)

Analysis of the Spatiotemporal Evolution of the Maurienne Swarm (French Alps) Based on Earthquake Clustering


The Python Spectroscopic Data Reduction Pipeline

A Luminous Quasar at Redshift 7.642

Pōniuā‘ena: A Luminous z = 7.5 Quasar Hosting a 1.5 Billion Solar Mass Black Hole

A Significantly Neutral Intergalactic Medium Around the Luminous z = 7 Quasar J0252–0503

Probing Early Supermassive Black Hole Growth and Quasar Evolution with Near-infrared Spectroscopy of 37 Reionization-era Quasars at 6.3 < z ≤ 7.64

The X-SHOOTER/ALMA Sample of Quasars in the Epoch of Reionization. I. NIR Spectral Modeling, Iron Enrichment, and Broad Emission Line Properties

First Spectroscopic Study of a Young Quasar

Revealing the Accretion Physics of Supermassive Black Holes at Redshift z ∼ 7 with Chandra and Infrared Observations

The role of galaxies and AGN in reionizing the IGM – III. IGM–galaxy cross-correlations at z ∼ 6 from eight quasar fields with DEIMOS and MUSE

Monthly notices of the Royal Astronomical Society

CGM 2 I: The Extent of the Circumgalactic Medium Traced by Neutral Hydrogen

The Little Cub: Discovery of an Extremely Metal-poor Star-forming Galaxy in the Local Universe


Repository for MPAS models and shared framework releases.

Evaluation of a Unique Approach to High-Resolution Climate Modelling using the Model for Prediction Across Scales (MPAS) version 5.1

Towards multiscale modeling of ocean surface turbulent mixing using coupled MPAS-Ocean v6.3 and PALM v5.0

The Compressional Beta Effect: Analytical Solution, Numerical Benchmark, and Data Analysis

Anelastic equatorial waves with the complete Coriolis terms


The Text Encoding Initiative Guidelines

TEI and LMF crosswalks

Deep encoding of etymological information in TEI

TermITH-Eval: a French Standard-Based Resource for Keyphrase Extraction Evaluation

Lightweight Grammatical Annotation in the TEI: New Perspectives

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

From manuscript catalogues to a handbook of Syriac literature: Modeling an infrastructure for Syriaca.org

Journal of data mining and digital humanities

Analyzing and Visualizing Uncertain Knowledge: The Use of TEI Annotations in the PROVIDEDH Open Science Platform

Wake up, standOff!

The Digital Enhancement of a Discipline
 Byzantine Sigillography and Digital Humanities


Tools (written in C using htslib) for manipulating next-generation sequencing data

Twelve years of SAMtools and BCFtools

Local regulation of gene expression by lncRNA promoters, transcription and splicing

Genetic Drivers of Epigenetic and Transcriptional Variation in Human Immune Cells

B cells sustain inflammation and predict response to immune checkpoint blockade in human melanoma

The journal of investigative dermatology/Journal of investigative dermatology

The Implication of Early Chromatin Changes in X Chromosome Inactivation

Fast and accurate alignment of long bisulfite-seq reads

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

Genome-wide association mapping of date palm fruit traits

Ancient introgression drives adaptation to cooler and drier mountain habitats in a cypress species complex

De novo analysis of transcriptome reveals genes associated with leaf abscission in sugarcane (Saccharum officinarum L.)


Bayesian Evolutionary Analysis Sampling Trees

Emerging Coxsackievirus A6 Causing Hand, Foot and Mouth Disease, Vietnam

Global radiation in a rare biosphere soil diatom

Spatial and temporal fluctuations in COVID-19 fatality rates in Brazilian hospitals

Estimating effective population size changes from preferentially sampled genetic sequences

Phylogeographic analysis of human influenza A and B viruses in Myanmar, 2010–2015

Genomic epidemiology of SARS-CoV-2 transmission lineages in Ecuador

medRxiv : the preprint server for health sciences

Genomic assessment of invasion dynamics of SARS-CoV-2 Omicron BA.1

The early SARS-CoV-2 epidemic in Senegal was driven by the local emergence of B.1.416 and the introduction of B.1.1.420 from Europe

A Variational Approach to Bayesian Phylogenetic Inference

Enhancing global preparedness during an ongoing pandemic from partial and noisy data


Unsupervised text tokenizer for Neural Network-based text generation.

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

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

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

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

Massively Multilingual Sentence Embeddings for Zero-Shot Cross-Lingual Transfer and Beyond

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

Beyond English-Centric Multilingual Machine Translation

Findings of the 2019 Conference on Machine Translation (WMT19)

Meeting of the Association for Computational Linguistics

CogView: Mastering Text-to-Image Generation via Transformers

S(+)-ketamine for control of perioperative pain and prevention of post thoracotomy pain syndrome: a randomized, double-blind study.


Simple and easily configurable grid world environments for reinforcement learning

Towards the Systematic Reporting of the Energy and Carbon Footprints of Machine Learning

BabyAI: A Platform to Study the Sample Efficiency of Grounded Language Learning

Recurrent Independent Mechanisms

InfoBot: Transfer and Exploration via the Information Bottleneck

Emergent Complexity and Zero-shot Transfer via Unsupervised Environment Design

Generalization in Reinforcement Learning with Selective Noise Injection and Information Bottleneck

RIDE: Rewarding Impact-Driven Exploration for Procedurally-Generated Environments

The NetHack Learning Environment

Prioritized Level Replay

Learning with AMIGo: Adversarially Motivated Intrinsic Goals


C library for prototyping and experimenting with quantum-resistant cryptography

On PQC Migration and Crypto-Agility

A Beyond-5G Authentication and Key Agreement Protocol

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

Resilience Optimization of Post-Quantum Cryptography Key Encapsulation Algorithms

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


State of the art mutation testing system for the JVM

Automatic Generation of Pull Request Descriptions

Automatic test improvement with DSpot: a study with ten mature open-source projects

Is the Stack Distance Between Test Case and Method Correlated With Test Effectiveness?

PROCEEDINGS OF EASE 2019 - EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING

Mutation testing in the wild: findings from GitHub

Attention: Not Just Another Dataset for Patch-Correctness Checking


Bio-Formats is a Java library for reading and writing data in life sciences image file formats. It is developed by the  Open Microscopy Environment. Bio-Formats is released under the  GNU General Public License (GPL); commercial licenses are available from  Glencoe Software.

Learning Semantic Program Embeddings with Graph Interval Neural Network

OME-NGFF: scalable format strategies for interoperable bioimaging data

From Whole-slide Image to Biomarker Prediction: A Protocol for
  End-to-End Deep Learning in Computational Pathology

Brain endothelium-derived extracellular vesicles containing amyloid-beta induce mitochondrial alterations in neural progenitor cells

Extracellular vesicles and circulating nucleic acids


A Kademlia DHT implementation on go-libp2p

Kadabra: Adapting Kademlia for the Decentralized Web

Content Censorship in the InterPlanetary File System


Daemon for easy but powerful stats aggregation

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

Journal of systems and software/The Journal of systems and software

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

Monitoring and controlling ATLAS data management: The Rucio web user interface

A Semantic Model for Interchangeable Microservices in Cloud Continuum Computing

Monitoring fog computing: A review, taxonomy and open challenges

Analysis of CERN computing infrastructure and monitoring data

Your data is your dogfood: DevOps in the astronomical observatory.

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

Towards Advanced Monitoring for Scientific Workflows

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


Experiment-independent toolkit for (charged) particle track reconstruction in (high energy) physics experiments implemented in modern C++

Software framework for the Super Charm-Tau factory detector project

Tracking with A Common Tracking Software

Implementation of ACTS for STCF track reconstruction

Requirements, Status, and Plans for Track Reconstruction at the sPHENIX Experiment


Simple Python style checker in one Python file

Pretraining Language Models with Human Preferences

Controlling Conditional Language Models without Catastrophic Forgetting

Energy-Based Models for Code Generation under Compilability Constraints

On Code Reuse from StackOverflow: An Exploratory Study on Jupyter Notebook


Pangeo website + discussion of general issues related to the project.


[ARCHIVED] The C++ parallel algorithms library. See https://github.com/NVIDIA/cccl

Revisiting Huffman Coding: Toward Extreme Performance on Modern GPU Architectures

Comparison of parallel sorting algorithms

kEDM: A Performance-portable Implementation of Empirical Dynamic Modeling using Kokkos

Practice and Experience in Advanced Research Computing

Cornerstone: Octree Construction Algorithms for Scalable Particle Simulations

Proceedings of the Platform for Advanced Scientific Computing Conference

Theoretical and numerical investigation of internal conical refraction of structured light beams

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

A parallel priority queue with fast updates for GPU architectures

GPU-Accelerated Interaction-Aware Motion Prediction

G-CoReCCD: a GPU-based simulator of the charge transport in fully-depleted CCDs

Certified SAT solving with GPU accelerated inprocessing


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

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

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

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

Mining Sandboxes for Linux Containers

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

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

Containers Orchestration with Cost-Efficient Autoscaling in Cloud
  Computing Environments

Use of Docker for deployment and testing of astronomy software

Containerization for High Performance Computing Systems: Survey and Prospects

IEEE transactions on software engineering

MigrOS: Transparent Operating Systems Live Migration Support for Containerised RDMA-applications


Main Sigma Rule Repository

Reproducible and Adaptable Log Data Generation for Sound Cybersecurity Experiments

Asia-Pacific Computer Systems Architecture Conference

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

Looking Beyond IoCs: Automatically Extracting Attack Patterns from External CTI

Time-Window Based Group-Behavior Supported Method for Accurate Detection of Anomalous Users

ChatIDS: Explainable Cybersecurity Using Generative AI

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

Machine learning and knowledge extraction

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

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

Bootstrapping a Natural Language Interface to a Cyber Security Event Collection System using a Hybrid Translation Approach


Pre-built implicit layer architectures with O(1) backprop, GPUs, and stiff+non-stiff DE solvers, demonstrating scientific machine learning (SciML) and physics-informed machine learning methods

Universal Differential Equations for Scientific Machine Learning

DiffEqFlux.jl - A Julia Library for Neural Differential Equations

NeuralFMU: Towards Structural Integration of FMUs into Neural Networks

NeuralFMU: Presenting a Workflow for Integrating Hybrid NeuralODEs into Real-World Applications


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

Internalizing Representation Independence with Univalence

Developments in Formal Proofs

Formalizing category theory in Agda

Bicategories in Univalent Foundations

Software Citation in Theory and Practice

Domain Theory in Constructive and Predicative Univalent Foundations

Formal metatheory of second-order abstract syntax

Proceedings of the ACM on programming languages


Intel(R) Extension for Scikit-learn is a seamless way to speed up your Scikit-learn application

Dimensionality Reduction Meets Message Passing for Graph Node Embeddings

DeepTrust: A Reliable Financial Knowledge Retrieval Framework For
  Explaining Extreme Pricing Anomalies


A model generator for energy system modelling and optimisation (LP/MILP).

oemof.solph—A model generator for linear and mixed-integer linear optimisation of energy systems


Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

Securify: Practical Security Analysis of Smart Contracts

Slither: A Static Analysis Framework for Smart Contracts

International Workshop on Emerging Trends in Software Engineering for Blockchain

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

Dissecting Ponzi schemes on Ethereum: identification, analysis, and impact

Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

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

International Conference on Software Engineering

SoK: Decentralized Finance (DeFi)

Harvey: A Greybox Fuzzer for Smart Contracts

Systematic Review of Security Vulnerabilities in Ethereum Blockchain Smart Contract

Empirical Vulnerability Analysis of Automated Smart Contracts Security
  Testing on Blockchains


A modular high-level library to train embodied AI agents across a variety of tasks and environments.

Habitat: A Platform for Embodied AI Research

On Evaluation of Embodied Navigation Agents

Habitat 2.0: Training Home Assistants to Rearrange their Habitat

Habitat-Matterport 3D Dataset (HM3D): 1000 Large-scale 3D Environments
  for Embodied AI

ObjectNav Revisited: On Evaluation of Embodied Agents Navigating to Objects.

Sim2Real Predictivity: Does Evaluation in Simulation Predict Real-World Performance?

International Conference on Robotics and Automation

A Survey on Human-aware Robot Navigation

Habitat-Matterport 3D Semantics Dataset

Uncertainty-driven Planner for Exploration and Navigation

Multi-skill Mobile Manipulation for Object Rearrangement


Fetch Standard

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

CORSICA: Cross-Origin Web Service Identification

Information Leaks via Safari's Intelligent Tracking Prevention

Sharding and HTTP/2 connection reuse revisited


Proposed compiler and language changes for GHC and GHC/Haskell

A quick look at impredicativity

Higher-order type-level programming in Haskell

A Role for Dependent Types in Haskell (Extended version)

Kindly Bent to Free Us

Staging with class: a specification for typed template Haskell

Reasoning about the garden of forking paths

Seeking stability by being lazy and shallow: lazy and shallow instantiation is user friendly

Kinds are calling conventions

Prisma : A Tierless Language for Enforcing Contract-client Protocols in Decentralized Applications

A Specification for Typed Template Haskell


SymEngine is a fast symbolic manipulation library, written in C++

The deal.II finite element library: Design, features, and insights

Transcriptome-guided parsimonious flux analysis improves predictions with metabolic networks in complex environments

PyCFTBoot: A flexible interface for the conformal bootstrap

Evolving interpretable plasticity for spiking networks

QuCAT: quantum circuit analyzer tool in Python

COMANDO: A Next-Generation Open-Source Framework for Energy Systems Optimization

Investigating the potential for a limited quantum speedup on protein lattice problems

Computing with B-series

SymForce: Symbolic Computation and Code Generation for Robotics

On compact packings of the plane with circles of three radii


Bandit is a tool designed to find common security issues in Python code.

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

Vulnerabilities in AI Code Generators: Exploring Targeted Data Poisoning
  Attacks

On Code Reuse from StackOverflow: An Exploratory Study on Jupyter Notebook