Fast Neural Machine Translation in C++

Marian: Fast Neural Machine Translation in C++

Edinburgh Neural Machine Translation Systems for WMT 16

Sockeye: A Toolkit for Neural Machine Translation

ParaCrawl: Web-Scale Acquisition of Parallel Corpora

Meeting of the Association for Computational Linguistics

Is Neural Machine Translation Ready for Deployment? A Case Study on 30 Translation Directions

Approaching Neural Grammatical Error Correction as a Low-Resource Machine Translation Task

Log-linear Combinations of Monolingual and Bilingual Neural Machine Translation Models for Automatic Post-Editing

Pushing the Limits of Translation Quality Estimation

Transactions of the Association for Computational Linguistics

From Research to Production and Back: Ludicrously Fast Neural Machine Translation

Empirical Methods in Natural Language Processing

Controllable Text Simplification with Lexical Constraint Loss


Interpretability and explainability of data and machine learning models

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

Explainable Artificial Intelligence Methods in Combating Pandemics: A Systematic Review

Leveraging Latent Features for Local Explanations

Model Agnostic Multilevel Explanations

Explainable AI for Bioinformatics: Methods, Tools, and Applications

Fast Sparse Decision Tree Optimization via Reference Ensembles

FAT Forensics: A Python Toolbox for Implementing and Deploying Fairness, Accountability and Transparency Algorithms in Predictive Systems

Ethically Responsible Machine Learning in Fintech


Reference implementation of an Interledger connector.

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

The rise of eBPF for non-intrusive performance monitoring

Network Operations and Management Symposium

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

Deep dive into Interledger: Understanding the Interledger ecosystem


AirCasting API and web application


A high performance and generic framework for distributed DNN training

A Quantitative Survey of Communication Optimizations in Distributed Deep Learning

DAPPLE: A Pipelined Data Parallel Approach for Training Large Models

Optimizing Network Performance for Distributed DNN Training on GPU Clusters: ImageNet/AlexNet Training in 1.5 Minutes

Egeria: Efficient DNN Training with Knowledge-Guided Layer Freezing

NetReduce: RDMA-Compatible In-Network Reduction for Distributed DNN Training Acceleration

dPRO: A Generic Profiling and Optimization System for Expediting Distributed DNN Training

DeAR: Accelerating Distributed Deep Learning with Fine-Grained All-Reduce Pipelining

Caramel: Accelerating Decentralized Distributed Deep Learning with Computation Scheduling


The Core Flight System (cFS)

Can Large Language Models Find And Fix Vulnerable Software?

Looking for related discussions on GitHub Discussions


Intel PMU profiling tools

Data Motifs: A Lens Towards Fully Understanding Big Data and AI Workloads

BigDataBench: A Scalable and Unified Big Data and AI Benchmark Suite

BigDataBench: A Dwarf-based Big Data and AI Benchmark Suite.

Scalable Communication Endpoints for MPI+Threads Applications

International Conference on Parallel and Distributed Systems

Profiling dataflow systems on multiple abstraction levels

PROCEEDINGS OF THE SIXTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS (EUROSYS '21)

CXLMemSim: A pure software simulated CXL.mem for performance characterization

PMUSpill: The Counters in Performance Monitor Unit that Leak SGX-Protected Secrets

Analysis and Optimization of GNN-Based Recommender Systems on Persistent Memory


SPU (Secure Processing Unit) aims to be a provable, measurable secure computation device, which provides computation ability while keeping your private data protected.

PUMA: Secure Inference of LLaMA-7B in Five Minutes

Online Efficient Secure Logistic Regression based on Function Secret Sharing

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management


VISTASOFT is the main software repository of the VISTA lab at Stanford University.

A massive 7T fMRI dataset to bridge cognitive neuroscience and artificial intelligence

Apparent thinning of human visual cortex during childhood is associated with myelination

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

Evaluation and statistical inference for human connectomes

Human blindsight is mediated by an intact geniculo-extrastriate pathway

Ensemble Tractography

Visual field map clusters in human frontoparietal cortex

Evaluating the Accuracy of Diffusion MRI Models in White Matter

A Network of Topographic Maps in Human Association Cortex Hierarchically Transforms Visual Timing-Selective Responses

Multifunctional Roles of the Ventral Stream in Language Models: Advanced Segmental Quantification in Post-Stroke Aphasic Patients

Cortical recycling in high-level visual cortex during childhood development


MAPL is a foundation layer of the GEOS architecture, whose original purpose is to supplement the Earth System Modeling Framework (ESMF)


NUOPC Community Mediator for Earth Prediction Systems


Sustainable transport planning with R

stplanr: A Package for Transport Planning

Cycling injury risk in Britain: A case-crossover study of infrastructural and route environment correlates


A fast and sensitive gapped read aligner

Probiotics impact the antibiotic resistance gene reservoir along the human GI tract in a person-specific and antibiotic-dependent manner

A simple guide to de novo transcriptome assembly and annotation

In vivo engineered B cells secrete high titers of broadly neutralizing anti-HIV antibodies in mice

Exomeres and supermeres: Monolithic or diverse?

Multiple roles of H2A.Z in regulating promoter chromatin architecture in human cells

A library of base editors for the precise ablation of all protein-coding genes in the mouse mitochondrial genome

Comparison of De Novo Assembly Strategies for Bacterial Genomes

International journal of molecular sciences

Molecular parallelism in fast-twitch muscle proteins in echolocating mammals

Comparative Molecular Characterization of Novel and Known Piscine Toti-Like Viruses

Multi-omics Comparative Analysis of Streptomyces Mutants Obtained by Iterative Atmosphere and Room-Temperature Plasma Mutagenesis


Non-uniform fast Fourier transform library of types 1,2,3 in dimensions 1,2,3

A parallel non-uniform fast Fourier transform library based on an "exponential of semicircle" kernel

Model-based reconstruction of non-rigid 3D motion-fields from minimal k-space data: MR-MOTUS

Efficient wide-field radio interferometry response

Continuous window functions for NFFT

A Dual-space Multilevel Kernel-splitting Framework for Discrete and Continuous Convolution

Fast Ewald summation for Stokes flow with arbitrary periodicity

Global displacement induced by rigid motion simulation during MRI acquisition

A New Version of the Adaptive Fast Gauss Transform for Discrete and Continuous Sources

Improving Power Spectral Estimation using Multitapering: Precise asteroseismic modeling of stars, exoplanets, and beyond


Capstone disassembly/disassembler framework for ARM, ARM64 (ARMv8), Alpha, BPF, Ethereum VM, HPPA, LoongArch, M68K, M680X, Mips, MOS65XX, PPC, RISC-V(rv32G/rv64G), SH, Sparc, SystemZ, TMS320C64X, TriCore, Webassembly, XCore and X86.

DeepCheck: A Non-intrusive Control-flow Integrity Checking based on Deep Learning

Boosting Neural Networks to Decompile Optimized Binaries

Proceedings of the 38th Annual Computer Security Applications Conference

ROPNN: Detection of ROP Payloads Using Deep Neural Networks

Improving AFL++ CmpLog: Tackling the bottlenecks

CASR: core dump analysis and severity reporter tool

Труды Института системного программирования РАН


ABC: System for Sequential Logic Synthesis and Formal Verification

Functional Analysis Attacks on Logic Locking

IEEE Transactions on Information Forensics and Security

Solving SAT and MaxSAT with a Quantum Annealer: Foundations, Encodings, and Preliminary Results

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

Benchmarking at the Frontier of Hardware Security: Lessons from Logic Locking

A Simulation-Guided Paradigm for Logic Synthesis and Verification

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

Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator

Tools and Algorithms for the Construction and Analysis of Systems

Quantifiable Assurance: From IPs to Platforms

Reinforcement Learning for Scalable Logic Optimization with Graph Neural Networks

SAT-based Circuit Local Improvement

An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications


Library for reading and analyzing astrophysical spectral data cubes

Orion SrcI’s Disk Is Salty

Gas velocity structure of the Orion A integral-shaped filament

Monthly notices of the Royal Astronomical Society

First Detection of Silicon-bearing Molecules in η Car

ALMA-IMF. IX. Catalog and Physical Properties of 315 SiO Outflow Candidates in 15 Massive Protoclusters

Net-zero gas inflow: deconstructing the gas consumption history of a
  massive quiescent galaxy with JWST and ALMA


The Learning Interpretability Tool: Interactively analyze ML models to understand their behavior in an extensible and framework agnostic interface.

Well-Read Students Learn Better: On the Importance of Pre-training Compact Models

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

The Language Interpretability Tool: Extensible, Interactive Visualizations and Analysis for NLP Models


A Python scikit for building and analyzing recommender systems

DARec: Deep Domain Adaptation for Cross-Domain Recommendation via Transferring Rating Patterns

New Vector-Space Embeddings for Recommender Systems

Improving Accountability in Recommender Systems Research Through Reproducibility

Application of Knowledge Graphs to Provide Side Information for Improved Recommendation Accuracy

Demystifying Forgetting in Language Model Fine-Tuning with Statistical
  Analysis of Example Associations


Windows kernel and user mode emulation.

On the effectiveness of binary emulation in malware classification

The Evolution of Volatile Memory Forensics

Quo Vadis: Hybrid Machine Learning Meta-Model based on Contextual and Behavioral Malware Representations


R Interface to the jQuery Plug-in DataTables

FibroDB: Expression Analysis of Protein-Coding and Long Non-Coding RNA Genes in Fibrosis

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

T2DB: A Web Database for Long Non-Coding RNA Genes in Type II Diabetes

DoxoDB: A Database for the Expression Analysis of Doxorubicin-Induced lncRNA Genes

ceRNAshiny: An Interactive R/Shiny App for Identification and Analysis of ceRNA Regulation


A "batteries-included" distribution of ImageJ :battery:

Validation analysis of EMDB entries

Osteoclast-mediated resorption primes the skeleton for successful integration during axolotl limb regeneration

MDA5 RNA-sensing pathway activation by Mycobacterium tuberculosis promotes innate immune subversion and pathogen survival

Dysregulated Cell–Cell Communication Characterizes Pulmonary Fibrosis

Colonic epithelial adaptation to EGFR-independent growth induces chromosomal instability and is accelerated by prior injury

Extravasation of biodegradable microspheres in the rat brain

Screening autism-associated environmental factors in differentiating human neural progenitors with fractional factorial design-based transcriptomics


Open source implementation of quantum internet simulation package

A Quantum Internet Architecture

Resource Allocation in Quantum Networks for Distributed Quantum Computing

International Conference on Smart Computing

Bug Characteristics in Quantum Software Ecosystem


SystemVerilog compiler and language services

Information Flow Coverage Metrics for Hardware Security Verification

An Investigation of Hardware Security Bug Characteristics in Open-Source
  Projects


OpenMMLab Model Compression Toolbox and Benchmark.

DARTS: Differentiable Architecture Search

Single Path One-Shot Neural Architecture Search with Uniform Sampling

DetNAS: Backbone Search for Object Detection

Channel-wise Knowledge Distillation for Dense Prediction

AutoSlim: Towards One-Shot Architecture Search for Channel Numbers

Rethinking Soft Labels for Knowledge Distillation: A Bias-Variance Tradeoff Perspective

Masked Generative Distillation

PKD: General Distillation Framework for Object Detectors via Pearson Correlation Coefficient

Avatar Knowledge Distillation: Self-ensemble Teacher Paradigm with Uncertainty

Boundary and Relation Distillation for Semantic Segmentation


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

Visual Instruction Tuning

Improved Baselines with Visual Instruction Tuning

Instruction Tuning for Large Language Models: A Survey

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

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

An Empirical Study of Scaling Instruct-Tuned Large Multimodal Models

When Do We Not Need Larger Vision Models?

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

Unified Hallucination Detection for Multimodal Large Language Models

FAITHSCORE: Evaluating Hallucinations in Large Vision-Language Models


Minimal metadata schemas for science software and code, in JSON-LD

Report on the Third Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE3)

Citations for Software: Providing Identification, Access and Recognition for Research Software

Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4)

An Analysis of Crosswalks from Research Data Schemas to Schema.org

Nine best practices for research software registries and repositories

Software publications with rich metadata: state of the art, automated workflows and HERMES concept


pure-Python HistFactory implementation with tensors and autodiff

Search for long-lived neutral particles in pp collisions at √s=13TeV that decay into displaced hadronic jets in the ATLAS calorimeter

Reinterpretation of LHC Results for New Physics: Status and Recommendations after Run 2

Search for B^{+}→K^{+}νν[over ¯] Decays Using an Inclusive Tagging Method at Belle II.

Les Houches 2019 Physics at TeV Colliders: New Physics Working Group Report

Hunting wino and higgsino dark matter at the muon collider with disappearing tracks

SModelS Database Update v1.2.3

Search for events with a pair of displaced vertices from long-lived neutral particles decaying into hadronic jets in the ATLAS muon spectrometer in pp collisions at √(s)=13 TeV

Search for neutral long-lived particles in pp collisions at
    √(s)
 = 13 TeV that decay into displaced hadronic jets in the ATLAS calorimeter

Differentiable Matrix Elements with MadJax

neos: End-to-End-Optimised Summary Statistics for High Energy Physics


Advanced Multilanguage Interface to CVODES and IDAS

A protocol for dynamic model calibration

AMICI: High-Performance Sensitivity Analysis for Large Ordinary Differential Equation Models

Parameter estimation for dynamical systems with discrete events and logical operations

Efficient parameterization of large-scale dynamic models based on relative measurements

The first 10 years of the international coordination network for standards in systems and synthetic biology (COMBINE)

Optimization and profile calculation of ODE models using second order adjoint sensitivity analysis

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

Integration based profile likelihood calculation for PDE constrained parameter estimation problems

Optimization and uncertainty analysis of ODE models using 2nd order adjoint sensitivity analysis

A more expressive spline representation for SBML models improves code generation performance in AMICI


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

Filter List Generation for Underserved Regions

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

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

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


Image processing in Python

scikit-image: Image processing in Python

Exact Feature Distribution Matching for Arbitrary Style Transfer and Domain Generalization

Analyzing microtomography data with Python and the scikit-image library

Advanced structural and chemical imaging

Attribution-based Explanations that Provide Recourse Cannot be Robust

Feasibility of track-based multiple scattering tomography

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

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

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

Semi-Supervised Panoptic Narrative Grounding

Proceedings of the 31st ACM International Conference on Multimedia

Image Translation of Breast Ultrasound to Pseudo Anatomical Display by CycleGAN


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

FedJAX: Federated learning simulation with JAX

When should agents explore?

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


Reference mapping for single-cell genomics

Mapping single-cell data to reference atlases by transfer learning

Efficient and precise single-cell reference atlas mapping with Symphony

Query to reference single-cell integration with transfer learning

Application of Deep Learning on Single-cell RNA Sequencing Data Analysis: A Review

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


Open Global Glacier Model

The Open Global Glacier Model (OGGM) v1.0

Impact of frontal ablation on the ice thickness estimation of marine-terminating glaciers in Alaska

Initialization of a global glacier model based on present-day glacier geometry and past climate information: an ensemble approach

Reconstruction of Past Glacier Changes with an Ice-Flow Glacier Model: Proof of Concept and Validation


TFHE-rs: A Pure Rust implementation of the TFHE Scheme for Boolean and Integer Arithmetics Over Encrypted Data.


Open Source Neural Machine Translation in Torch (deprecated)

OpenNMT: Open-Source Toolkit for Neural Machine Translation

HotFlip: White-Box Adversarial Examples for NLP

Text Style Transfer: A Review and Experimental Evaluation

Text Style Transfer

Answer-driven Deep Question Generation based on Reinforcement Learning

International Conference on Computational Linguistics

An Augmented Transformer Architecture for Natural Language Generation Tasks

Analyzing Knowledge Distillation in Neural Machine Translation

International Workshop on Spoken Language Translation

Hybrid Data-Model Parallel Training for Sequence-to-Sequence Recurrent Neural Network Machine Translation

DFKI-MLT System Description for the WMT18 Automatic Post-editing Task

Proceedings of the Third Conference on Machine Translation: Shared Task Papers

Language Generation via DAG Transduction

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


A python implementation of Gate Set Tomography

Quantum logic with spin qubits crossing the surface code threshold

Detecting and tracking drift in quantum information processors

Zenodo (CERN European Organization for Nuclear Research)

Experimental Pauli-frame randomization on a superconducting qubit

Rigorous measurement error correction

Bootstrapping quantum process tomography via a perturbative ansatz

Conditionally Rigorous Mitigation of Multiqubit Measurement Errors

Establishing trust in quantum computations

Self-consistent quantum tomography with regularization

Transformer Models for Quantum Gate Set Tomography


Mobile manipulation research tools for roboticists

HomeRobot: Open-Vocabulary Mobile Manipulation

Navigating to Objects Specified by Images

Spatial-Language Attention Policies for Efficient Robot Learning


Automated CI toolchain to produce precompiled opencv-python, opencv-python-headless, opencv-contrib-python and opencv-contrib-python-headless packages.

ExplAIn: Explanatory artificial intelligence for diabetic retinopathy diagnosis

Deep Learning Based on ACR TI-RADS Can Improve the Differential Diagnosis of Thyroid Nodules

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

Automatic Ethnicity Classification from Middle Part of the Face Using Convolutional Neural Networks

Dopamine neuron morphology and output are differentially controlled by mTORC1 and mTORC2

Climatology of Convective Storms in Estonia from Radar Data and Severe Convective Environments

Model-Agnostic Post-Processing Based on Recursive Feedback for Medical Image Segmentation

German Parliamentary Corpus (GerParCor)

Towards Explainable End-to-End Prostate Cancer Relapse Prediction from H&E Images Combining Self-Attention Multiple Instance Learning with a Recurrent Neural Network

HateProof: Are Hateful Meme Detection Systems really Robust?


zkSNARK implementation in JavaScript & WASM

Blockchain Based Zero-Knowledge Proof of Location in IoT

International Conference on Communications

AMR:Autonomous Coin Mixer with Privacy Preserving Reward Distribution

ZPiE: Zero-Knowledge Proofs in Embedded Systems

Dispute-free Scalable Open Vote Network using zk-SNARKs

Certifying Zero-Knowledge Circuits with Refinement Types

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

zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials

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

opp/ai: Optimistic Privacy-Preserving AI on Blockchain


A library OS for Linux multi-process applications, with Intel SGX support

Building Your Own Trusted Execution Environments Using FPGA

SoK: A Systematic Review of TEE Usage for Developing Trusted Applications

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

Cerberus

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


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

PennyLane: Automatic differentiation of hybrid quantum-classical computations

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

Hybrid quantum programming with PennyLane Lightning on HPC platforms


Inference code for Llama models

LLaMA: Open and Efficient Foundation Language Models

Llama 2: Open Foundation and Fine-Tuned Chat Models

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

Zero-Shot Information Extraction via Chatting with ChatGPT

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

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

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

On the Exploitability of Instruction Tuning

KoLA: Carefully Benchmarking World Knowledge of Large Language Models

The Foundation Model Transparency Index


Deep learning software to decode EEG, ECG or MEG signals

EEGNet: a compact convolutional neural network for EEG-based brain–computer interfaces

Deep learning with convolutional neural networks for EEG decoding and visualization

An extended clinical EEG dataset with 15,300 automatically labelled recordings for pathology decoding

Amplifying Pathological Detection in EEG Signaling Pathways through Cross-Dataset Transfer Learning

Motor Imagery Decoding Using Ensemble Curriculum Learning and Collaborative Training

An overview of open source Deep Learning-based libraries for Neuroscience


StellarGraph - Machine Learning on Graphs

Inductive Representation Learning on Large Graphs

Complex Embeddings for Simple Link Prediction

Adversarial Examples on Graph Data: Deep Insights into Attack and Defense

ktrain: A Low-Code Library for Augmented Machine Learning

Automated Machine Learning on Graphs: A Survey

Efficient Graph Deep Learning in TensorFlow with tf_geometric

TCL: Transformer-based Dynamic Graph Modelling via Contrastive Learning

Graph Neural Networks: Methods, Applications, and Opportunities

Graph Neural Networks for Particle Tracking and Reconstruction

Knowledge Graph Based Hard Drive Failure Prediction


R Interface to Torch

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

Interpreting Deep Neural Networks with the Package innsight

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

Flexible and efficient spatial extremes emulation via variational autoencoders


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

Simulations of Quantum Circuits with Approximate Noise using qsim and Cirq

Faster Schrödinger-style simulation of quantum circuits

Logical Abstractions for Noisy Variational Quantum Algorithm Simulation

Learnability and Complexity of Quantum Samples


OpenMMLab Video Perception Toolbox. It supports Video Object Detection (VID), Multiple Object Tracking (MOT), Single Object Tracking (SOT), Video Instance Segmentation (VIS) with a unified framework.

Simple Online and Realtime Tracking with a Deep Association Metric

Simple Online and Realtime Tracking

International Conference on Information Photonics

SiamRPN++: Evolution of Siamese Visual Tracking with Very Deep Networks

Deep Feature Flow for Video Recognition

Flow-Guided Feature Aggregation for Video Object Detection

Probabilistic Regression for Visual Tracking

StrongSORT: Make DeepSORT Great Again

Observation-Centric SORT: Rethinking SORT for Robust Multi-Object Tracking

Sequence Level Semantics Aggregation for Video Object Detection

DanceTrack: Multi-Object Tracking in Uniform Appearance and Diverse Motion


The Arcade Learning Environment (ALE) -- a platform for AI research.

The Arcade Learning Environment: An Evaluation Platform for General Agents

PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI)

Unmasking Clever Hans predictors and assessing what machines really learn

Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents

A Benchmark Environment Motivated by Industrial Control Problems

IEEE Symposium Series on Computational Intelligence

Reuse of Neural Modules for General Video Game Playing

Temporal Difference Uncertainties as a Signal for Exploration

Atari-5: Distilling the Arcade Learning Environment down to Five Games

Towards AGI in Computer Vision: Lessons Learned from GPT and Large Language Models

Improving Experience Replay through Modeling of Similar Transitions' Sets


GERBIL - General Entity annotatoR Benchmark

End-to-End Neural Entity Linking

Old is Gold: Linguistic Driven Approach for Entity and Relation Linking of Short Text

North American Chapter of the Association for Computational Linguistics

QALD-9-plus: A Multilingual Dataset for Question Answering over DBpedia and Wikidata Translated by Native Speakers

QaldGen: Towards Microbenchmarking of Question Answering Systems over Knowledge Graphs

Ranking Archived Documents for Structured Queries on Semantic Layers

JCDL'18: PROCEEDINGS OF THE 18TH ACM/IEEE JOINT CONFERENCE ON DIGITAL LIBRARIES

Distributed Entity Disambiguation with Per-Mention Learning


The Topics API

Routing with Privacy for Drone Package Delivery Systems

Measuring Re-identification Risk

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

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


Clone this repo to build Frida

MiniWarner: An Novel and Automatic Malicious Phishing Mini-apps Detection Approach

FirmwareDroid: Security Analysis of the Android Firmware EcoSystem

Diffie-Hellman Picture Show: Key Exchange Stories from Commercial VoWiFi
  Deployments


GRR Rapid Response: remote live forensics for incident response

Forensic Analysis of Docker Swarm Cluster using Grr Rapid Response Framework

International Journal of Advanced Computer Science and Applications

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

Forensic analysis of the Windows telemetry for diagnostics

DBJoules: An Energy Measurement Tool for Database Management Systems

The Shape of Alerts: Detecting Malware Using Distributed Detectors by Robustly Amplifying Transient Correlations

Increasing Windows security by hardening PC configurations


Apache Parquet Format

Pairtools: From sequencing data to chromosome contacts

bioRxiv : the preprint server for biology

SARS-CoV2 billion-compound docking

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

ACM/IEEE Joint Conference on Digital Libraries

Extensible Data Skipping

Columnar Formats for Schemaless LSM-based Document Stores

ROOT I/O compression improvements for HEP analysis

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


Federated Deep Learning in PaddlePaddle

Advances and Open Problems in Federated Learning

LEAF: A Benchmark for Federated Settings

A Survey on Federated Learning Systems: Vision, Hype and Reality for Data Privacy and Protection

Federated Learning for Internet of Things: Recent Advances, Taxonomy, and Open Challenges

Context Autoencoder for Self-Supervised Representation Learning

TiFL: A Tier-based Federated Learning System

Trustworthy AI: A Computational Perspective

Blockchain for federated learning toward secure distributed machine learning systems: a systemic survey

Soft Computing - A Fusion of Foundations, Methodologies and Applications

Automatic Sleep Staging: Recent Development, Challenges, and Future Directions

FedLab: A Flexible Federated Learning Framework


This is the git repository matching the Bioconductor package xcms: LC/MS and GC/MS Data Analysis

Feature-based Molecular Networking in the GNPS Analysis Environment

TidyMass: An Object-oriented Reproducible Analysis Framework for LC-MS Data

Integrated Analysis of the Transcriptome and Metabolome Revealed Candidate Genes Involved in GA3-Induced Dormancy Release in Leymus chinensis Seeds

International journal of molecular sciences

UHPLC-IM-Q-ToFMS analysis of maradolipids, found exclusively in Caenorhabditis elegans dauer larvae

Comparative metabolic profiling of the mycelium and fermentation broth of Penicillium restrictum from Peucedanum praeruptorum rhizosphere


Video and Image Analytics for Multiple Environments

2017 Robotic Instrument Segmentation Challenge


Lightning ⚡ fast forecasting with statistical and econometric models.

Large Language Models Are Zero-Shot Time Series Forecasters

Chronos: Learning the Language of Time Series

MOMENT: A Family of Open Time-series Foundation Models

Sequential Monte Carlo Learning for Time Series Structure Discovery

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

HierarchicalForecast: A Reference Framework for Hierarchical Forecasting in Python


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

Guided Conditional Diffusion for Controllable Traffic Simulation

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

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

Language-Guided Traffic Simulation via Scene-Level Diffusion

Overview of Tools Supporting Planning for Automated Driving


A fast and extensible framework to connect any device with your browser and backend applications

Governance of Autonomous Agents on the Web: Challenges and Opportunities

Relativistic Digital Twin: Bringing the IoT to the Future

Applying the Web of Things Abstraction to Bluetooth Low Energy Communication

Securing SDN-Based IoT Group Communication


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

LightGBM: A Highly Efficient Gradient Boosting Decision Tree

CatBoost: unbiased boosting with categorical features

CatBoost: gradient boosting with categorical features support

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

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

Machine Learning and Deep Learning -- A review for Ecologists

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

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

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

The ASHRAE Great Energy Predictor III competition: Overview and results

Science and Technology for the Built Environment


Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.

Advances and Open Problems in Federated Learning

CrypTFlow2: Practical 2-Party Secure Inference

nGraph-HE: A Graph Compiler for Deep Learning on Homomorphically Encrypted Data

Privacy-Preserving Machine Learning With Fully Homomorphic Encryption for Deep Neural Network

POSEIDON: Privacy-Preserving Federated Neural Network Learning

Homomorphic Encryption for Machine Learning in Medicine and Bioinformatics

TenSEAL: A Library for Encrypted Tensor Operations Using Homomorphic Encryption

EVA: an encrypted vector arithmetic language and compiler for efficient homomorphic computation

Programming Language Design and Implementation

Encrypted Control for Networked Systems: An Illustrative Introduction and Current Challenges

SoK: Fully Homomorphic Encryption Compilers


Visual Object Tagging Tool: An electron app for building end to end Object Detection Models from Images and Videos.

Surgical Data Science -- from Concepts toward Clinical Translation

On Creating Benchmark Dataset for Aerial Image Interpretation: Reviews, Guidances, and Million-AID

A field-tested robotic harvesting system for iceberg lettuce.

Tools, techniques, datasets and application areas for object detection in an image: a review

Deep Learning for Retail Product Recognition: Challenges and Techniques

Computational intelligence and neuroscience

ROAD: The Road Event Awareness Dataset for Autonomous Driving

MONAI Label: A framework for AI-assisted Interactive Labeling of 3D Medical Images

Towards a better understanding of annotation tools for medical imaging: a survey

Archaeologic Machine Learning for Shipwreck Detection Using Lidar and Sonar

Automated Muzzle Detection and Biometric Identification via Few-Shot Deep Transfer Learning of Mixed Breed Cattle


Quantum hardware module and drivers for Qibo.

Qibo: a framework for quantum simulation with hardware acceleration

A quantum analytical Adam descent through parameter shift rule using Qibo

Qibolab: an open-source hybrid quantum operating system


Integrative Genomics Viewer. Fast, efficient, scalable visualization tool for genomics data and annotations

Merqury: reference-free quality, completeness, and phasing assessment for genome assemblies

Classification and clustering of RNA crosslink-ligation data reveal complex structures and homodimers

Pergola: Boosting Visualization and Analysis of Longitudinal Data by Unlocking Genomic Analysis Tools


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

Using the Data Quality Dashboard to Improve the EHDEN Network

Scalable Infrastructure Supporting Reproducible Nationwide Healthcare Data Analysis toward FAIR Stewardship

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


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

GPJax: A Gaussian Process Framework in JAX

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

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

candl: cosmic microwave background analysis with a differentiable likelihood

BlackJAX: Composable Bayesian inference in JAX

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

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

Bayesian cross-validation by parallel Markov Chain Monte Carlo


An open source implementation of CLIP.

Learning Transferable Visual Models From Natural Language Supervision

LAION-5B: An open large-scale dataset for training next generation image-text models

LAION-400M: Open Dataset of CLIP-Filtered 400 Million Image-Text Pairs

CoCa: Contrastive Captioners are Image-Text Foundation Models

EVA: Exploring the Limits of Masked Visual Representation Learning at Scale

Reproducible scaling laws for contrastive language-image learning

LiT: Zero-Shot Transfer with Locked-image text Tuning

Large-scale Contrastive Language-Audio Pretraining with Feature Fusion and Keyword-to-Caption Augmentation

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

Sigmoid Loss for Language Image Pre-Training


Tools for diffing and merging of Jupyter notebooks.

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

Ten Simple Rules for Reproducible Research in Jupyter Notebooks

Computational reproducibility of Jupyter notebooks from biomedical publications

ReproduceMeGit: A Visualization Tool for Analyzing Reproducibility of Jupyter Notebooks

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

Workshop on AI Engineering - Software Engineering for AI

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


TorchMultimodal is a PyTorch library for training state-of-the-art multimodal multi-task models at scale.

Masked Autoencoders Are Scalable Vision Learners

Hierarchical Text-Conditional Image Generation with CLIP Latents

BLIP-2: Bootstrapping Language-Image Pre-training with Frozen Image Encoders and Large Language Models

Align before Fuse: Vision and Language Representation Learning with Momentum Distillation

CoCa: Contrastive Captioners are Image-Text Foundation Models

MDETR - Modulated Detection for End-to-End Multi-Modal Understanding

FLAVA: A Foundational Language And Vision Alignment Model

Masked Autoencoders that Listen

OmniVL:One Foundation Model for Image-Language and Video-Language Tasks

LAVIS: A One-stop Library for Language-Vision Intelligence

Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations)


PyWavelets - Wavelet Transforms in Python

Machine-learning-based diagnostics of EEG pathology

Distributed radiomics as a signature validation study using the Personal Health Train infrastructure

Frequency-dependent Template Profiles for High-precision Pulsar Timing

A Fast Radio Burst Discovered in FAST Drift Scan Survey

Hippocampal sharp wave-ripples and the associated sequence replay emerge from structured synaptic interactions in a network model of area CA3

Classification of multiwavelength transients with machine learning

Monthly Notices of the Royal Astronomical Society

A systematic review of Python packages for time series analysis

Analysis of constant-Q filterbank based representations for speech emotion recognition

Automatic Kalman-filter-based wavelet shrinkage denoising of 1D stellar spectra

A Novel Framework for Synchrophasor Based Online Recognition and Efficient Post-Mortem Analysis of Disturbances in Power Systems


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

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

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

EFFICIENT MECHANISM FOR SECURING SOFTWARE DEFINED NETWORK AGAINST ARP SPOOFING ATTACK

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


Library of derived climate variables, ie climate indicators, based on xarray.


A deep learning library for video understanding research.

SlowFast Networks for Video Recognition

Multiscale Vision Transformers

X3D: Expanding Architectures for Efficient Video Recognition

Masked Feature Prediction for Self-Supervised Visual Pre-Training

MViTv2: Improved Multiscale Vision Transformers for Classification and Detection

PyTorchVideo: A Deep Learning Library for Video Understanding

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

AutoVideo: An Automated Video Action Recognition System

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

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


Example notebooks that show how to apply quantum computing with Amazon Braket.

Shuttle-Exploiting Attacks and Their Defenses in Trapped-Ion Quantum Computers

Adiabatic Quantum Computing for Logistic Transport Optimization


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

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

Web services for data warehouses: OMOP and PCORnet on i2b2

Journal of the American Medical Informatics Association : JAMIA

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

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

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

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


Virtual Engine for Android(Support 14.0 in business version)

Mascara: A Novel Attack Leveraging Android Virtualization

You Can't Always Get What You Want: Towards User-Controlled Privacy on Android

Flexible Installability of Android Apps with App-level Virtualization based Decomposition

VEDRANDO: A Novel Way to Reveal Stealthy Attack Steps on Android through Memory Forensics


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

A Survey on Spatio-temporal Data Analytics Systems

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

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

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

ISPRS International Journal of Geo-Information

CartAGen: an Open Source Research Platform for Map Generalization

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

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

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

Automatic Diversity in the Software Supply Chain


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

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

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


Package manager and build abstraction tool for FPGA/ASIC development

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

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

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

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

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


Bayesian Phylogenetic Inference Using Graphical Models and an Interactive Model-Specification Language

Quantifying MCMC Exploration of Phylogenetic Tree Space

Early Arrival and Climatically-Linked Geographic Expansion of New World Monkeys from Tiny African Ancestors

Phycas: Software for Bayesian Phylogenetic Analysis

Improving the performance of Bayesian phylogenetic inference under relaxed clock models

The rise of grasslands is linked to atmospheric CO2 decline in the late Palaeogene

A skyline birth-death process for inferring the population size from a reconstructed tree with occurrences


WebGL point cloud viewer for large datasets

Melite Civitas Romana in 3D: Virtualization Project of the Archaeological Park and Museum of the Domus Romana of Rabat, Malta

THE CASE FOR LOW-COST, PERSONALIZED VISUALIZATION FOR ENHANCING NATURAL HAZARD PREPAREDNESS

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

A HIGHLY SCALABLE DATA MANAGEMENT SYSTEM FOR POINT CLOUD AND FULL WAVEFORM LIDAR DATA

Ontological Entities for Planning and Describing Cultural Heritage 3D Models Creation

DEVELOPMENT OF A GEO-ANALYTICS PLATFORM FOR POST-DISASTER GROUND ASSESSMENT


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

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

FLEX: Unifying Evaluation for Few-Shot NLP

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


An extension of Open3D to address 3D Machine Learning tasks

PointPillars: Fast Encoders for Object Detection from Point Clouds

KPConv: Flexible and Deformable Convolution for Point Clouds

PointRCNN: 3D Object Proposal Generation and Detection from Point Cloud

RandLA-Net: Efficient Semantic Segmentation of Large-Scale Point Clouds

Open3D: A Modern Library for 3D Data Processing

Point Transformer

Point-Voxel CNN for Efficient 3D Deep Learning

Submanifold Sparse Convolutional Networks


A high-performance distributed training framework for Reinforcement Learning

Machine learning for intelligent optical networks: A comprehensive survey

Journal of Network and Computer Applications

Learning to run a Power Network Challenge: a Retrospective Analysis

Artificial Intelligence for Prosthetics - challenge solutions

The Springer series on challenges in machine learning

Action Set Based Policy Optimization for Safe Power Grid Management

Efficient and Robust Reinforcement Learning with Uncertainty-based Value Expansion

OpenGraphGym-MG: Using Reinforcement Learning to Solve Large Graph Optimization Problems on MultiGPU Systems

Effective Multi-Agent Deep Reinforcement Learning Control with Relative Entropy Regularization


100 numpy exercises (with solutions)

DS-1000: A Natural and Reliable Benchmark for Data Science Code Generation

Comparison of Machine Learning Classifiers to Predict Patient Survival and Genetics of GBM: Towards a Standardized Model for Clinical Implementation


Browser extension that automatically fills out cookie popups based on your preferences

Dark Patterns after the GDPR: Scraping Consent Pop-ups and Demonstrating their Influence

PROCEEDINGS OF THE 2020 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS (CHI'20)

Circumvention by design -- dark patterns in cookie consents for online news outlets

Are cookie banners indeed compliant with the law

The Internet with Privacy Policies: Measuring The Web Upon Consent


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

Towards Large-Scale Small Object Detection: Survey and Benchmarks

Tomato Fruit Detection and Counting in Greenhouses Using Deep Learning

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

AlphaPilot: autonomous drone racing

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

Human-to-Robot Imitation in the Wild

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

SegmentMeIfYouCan: A Benchmark for Anomaly Segmentation

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

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


Ontop is a platform to query relational databases as Virtual RDF Knowledge Graphs using SPARQL

Will Dependency Conflicts Affect My Program's Semantics?

Enhancing virtual ontology based access over tabular data with Morph-CSV

Toward a Practical Digital Twin Platform Tailored to the Requirements of Industrial Energy Systems

The Query Translation Landscape: a Survey

Formal Description and Automatic Generation of Learning Spaces Based on Ontologies

How to Stay Ontop of Your Data: Databases, Ontologies and More

SEMANTIC WEB: ESWC 2015 SATELLITE EVENTS

OBDA for the Web: Creating Virtual RDF Graphs On Top of Web Data Sources

Enhancing OBDA Query Translation over Tabular Data with Morph-CSV.

Seeing the whole picture: integrated pre-surgery reports with PreOptique

Database Concepts in a Domain Ontology

Information Technology and Management Science


SeqAn's official repository.

Technology dictates algorithms: Recent developments in read alignment

Terabase-scale metagenome coassembly with MetaHipMer

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

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


Grounded SAM: Marrying Grounding DINO with Segment Anything & Stable Diffusion & Recognize Anything - Automatically Detect , Segment and Generate Anything

Segment Anything

Grounding DINO: Marrying DINO with Grounded Pre-Training for Open-Set Object Detection

DINO: DETR with Improved DeNoising Anchor Boxes for End-to-End Object Detection

Segment Everything Everywhere All at Once

Segment Anything in High Quality

Multimodal Foundation Models: From Specialists to General-Purpose Assistants

Grounded SAM: Assembling Open-World Models for Diverse Visual Tasks

InstructEdit: Improving Automatic Masks for Diffusion-based Image Editing With User Instructions

An Alternative to WSSS? An Empirical Study of the Segment Anything Model (SAM) on Weakly-Supervised Semantic Segmentation Problems

Weakly-Supervised Semantic Segmentation with Image-Level Labels: from Traditional Models to Foundation Models


On the suitability of blockchain platforms for IoT applications: Architectures, security, privacy, and performance

Smart Contracts on the Move

Blockchain Consensus Algorithms: A Survey

Shard Scheduler: object placement and migration in sharded account-based blockchains

Verilay: A Verifiable Proof of Stake Chain Relay

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

On the Security of Permissioned Blockchain Solutions for IoT Applications

PROCEEDINGS OF THE 2020 6TH IEEE CONFERENCE ON NETWORK SOFTWARIZATION (NETSOFT 2020): BRIDGING THE GAP BETWEEN AI AND NETWORK SOFTWARIZATION


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

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

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

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

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

IEEE Transactions on Dependable and Secure Computing

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

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

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis


A repo for distributed training of language models with Reinforcement Learning via Human Feedback (RLHF)

Direct Preference Optimization: Your Language Model is Secretly a Reward Model

Fine-Tuning Language Models from Human Preferences

OpenAssistant Conversations -- Democratizing Large Language Model Alignment

RRHF: Rank Responses to Align Language Models with Human Feedback without tears

HuatuoGPT, towards Taming Language Model to Be a Doctor

Training Socially Aligned Language Models on Simulated Social Interactions

Explore, Establish, Exploit: Red Teaming Language Models from Scratch

Aligning Large Language Models through Synthetic Feedback

The Wisdom of Hindsight Makes Language Models Better Instruction Followers

Fine-Tuning Language Models with Advantage-Induced Policy Alignment


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

Llama 2: Open Foundation and Fine-Tuned Chat Models

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

TinyLlama: An Open-Source Small Language Model

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

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

MotionLLM: Understanding Human Behaviors from Human Motions and Videos

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

Pre-training Small Base LMs with Fewer Tokens

Cleaner Pretraining Corpus Curation with Neural Web Scraping

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


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

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

Fast Algorithms for Convolutional Neural Networks

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

Prune Once for All: Sparse Pre-Trained Language Models

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

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

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


InSAR Scientific Computing Environment version 2

Rapid flood and damage mapping using synthetic aperture radar in response to Typhoon Hagibis, Japan

Urban Flood Detection with Sentinel-1 Multi-Temporal Synthetic Aperture Radar (SAR) Observations in a Bayesian Framework: A Case Study for Hurricane Matthew

Autonomous Repeat Image Feature Tracking (autoRIFT) and Its Application for Tracking Ice Displacement

Nearby fault interaction within the double-vergence suture in eastern Taiwan during the 2022 Chihshang earthquake sequence

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

Processing methodology for the ITS_LIVE Sentinel-1 ice velocity product

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

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

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

Natural hazards and earth system sciences

Estimating Forest Stand Height in Savannakhet, Lao PDR Using InSAR and Backscatter Methods with L-Band SAR Data


Package for calculation of small angle scattering models using OpenCL.


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


CARMA Platform is built on robot operating system (ROS) and utilizes open source software (OSS) that enables Cooperative Driving Automation (CDA) features to allow Automated Driving Systems to interact and cooperate with infrastructure and other vehicles through communication. Doxygen Source Code Documentation :

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

Networked Roadside Perception Units for Autonomous Driving

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

X-CAR: An Experimental Vehicle Platform for Connected Autonomy Research

IEEE Intelligent Transportation Systems Magazine


Platform to host Capture the Flag competitions

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

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

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


The Rails app behind iNaturalist.org


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

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

Open source QGIS toolkit for the Advanced Research WRF modelling system

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

Journal of Geophysical Research: Atmospheres

A statistical-parametric model of tropical cyclones for hazard assessment

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

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


Plot on map projections (with coastlines and political boundaries) using matplotlib

A circulation-based performance atlas of the CMIP5 and 6 models for regional climate studies in the Northern Hemisphere mid-to-high latitudes

Status of Earthquake Early Warning in Switzerland

A circulation-based performance atlas of the CMIP5 and 6 models for regional climate studies in the northern hemisphere

Zenodo (CERN European Organization for Nuclear Research)

Long-Term Ship Position Prediction Using Automatic Identification System (AIS) Data and End-to-End Deep Learning

LaCulturaNonSiFerma -- Report su uso e la diffusione degli hashtag delle istituzioni culturali italiane durante il periodo di lockdown

Genetic diversity of the mantellid frog Blommersia blommersae, and description of a new anuran species from south-eastern Madagascar


Evidently is an open-source ML and LLM observability framework. Evaluate, test, and monitor any AI-powered system or data pipeline. From tabular data to Gen AI. 100+ metrics.

SuperNOVA: Design Strategies and Opportunities for Interactive Visualization in Computational Notebooks

Data+Shift: Supporting visual investigation of data distribution shifts by data scientists

Frouros: A Python library for drift detection in machine learning systems


libAtoms/QUIP molecular dynamics framework: https://libatoms.github.io

Gaussian Approximation Potentials: a brief tutorial introduction

Achieving DFT accuracy with a machine-learning interatomic potential: Thermomechanics and defects in bcc ferromagnetic iron

An accurate and transferable machine learning potential for carbon.

Extending the accuracy of the SNAP interatomic potential form

Development of a machine learning potential for graphene

Neuroevolution machine learning potentials: Combining high accuracy and low cost in atomistic simulations and application to heat transport

86 PFLOPS Deep Potential Molecular Dynamics simulation of 100 million atoms with ab initio accuracy

Machine-learned interatomic potentials for alloys and alloy phase diagrams

Machine-learning interatomic potential for radiation damage and defects in tungsten

Modeling refractory high-entropy alloys with efficient machine-learned interatomic potentials: Defects and segregation


TEASER - Tool for Energy Analysis and Simulation for Efficient Retrofit

TEASER: an open tool for urban energy modelling of building stocks

Journal of Building Performance Simulation

Flexible electricity use for heating in markets with renewable energy

Connecting Dynamic Heat Demands of Buildings with Borehole Heat Exchanger Simulations for Realistic Monitoring and Forecast

EUROPEAN GEOSCIENCES UNION GENERAL ASSEMBLY 2021, EGU DIVISION ENERGY, RESOURCES & ENVIRONMENT, ERE


This fork of BVLC/Caffe is dedicated to improving performance of this deep learning framework when running on CPU, in particular Intel® Xeon processors.

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

Mixed Precision Training of Convolutional Neural Networks using Integer Operations

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

Deep Learning at 15PF: Supervised and Semi-Supervised Classification for Scientific Data

Restructuring Batch Normalization to Accelerate CNN Training

LMNet: Real-time Multiclass Object Detection on CPU Using 3D LiDAR

Scale out for large minibatch SGD: Residual network training on ImageNet-1K with improved accuracy and reduced time to train

Deep Neural Networks for Physics Analysis on low-level whole-detector data at the LHC

Scalable Distributed DNN Training using TensorFlow and CUDA-Aware MPI: Characterization, Designs, and Performance Evaluation

IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing

Toward Understanding Deep Learning Framework Bugs


A library for mechanistic interpretability of GPT-style language models

Towards Automated Circuit Discovery for Mechanistic Interpretability

Eliciting Latent Predictions from Transformers with the Tuned Lens

Copy Suppression: Comprehensively Understanding an Attention Head

Ten Hard Problems in Artificial Intelligence We Must Get Right

Transformer Mechanisms Mimic Frontostriatal Gating Operations When
  Trained on Human Working Memory Tasks

Sparse Autoencoders Enable Scalable and Reliable Circuit Identification
  in Language Models


A scientific software for the numerical simulation of seismic wave phenomena and earthquake dynamics

Stress, rigidity and sediment strength control megathrust earthquake and tsunami dynamics

Linked 3-D modelling of megathrust earthquake-tsunami events: from subduction to tsunami run up

Broadband Dynamic Rupture Modeling With Fractal Fault Roughness, Frictional Heterogeneity, Viscoelasticity and Topography: The 2016 Mw 6.2 Amatrice, Italy Earthquake

Yet Another Tensor Toolbox for Discontinuous Galerkin Methods and Other Applications

ACM Transactions on Mathematical Software

The state of pore fluid pressure and 3D megathrust earthquake dynamics

Journal of Geophysical Research: Solid Earth

Fault size–dependent fracture energy explains multiscale seismicity and cascading earthquakes

Rupture Dynamics of Cascading Earthquakes in a Multiscale Fracture Network

Dueling dynamics of low-angle normal fault rupture with splay faulting and off-fault damage

Dynamic Rupture Models, Fault Interaction and Ground Motion Simulations for the Segmented Húsavík‐Flatey Fault Zone, Northern Iceland

How does thermal pressurization of pore fluids affect 3D strike-slip earthquake dynamics and ground motions?


PyPSA-Earth: A flexible Python-based open optimisation model to study energy system futures around the world.


Barebone MQTT broker that can run on any stream server, the node way

Intelligent One-Class Classifiers for the Development of an Intrusion Detection System: The MQTT Case Study

Migrating from Microservices to Serverless: An IoT Platform Case Study

Evaluation of IoT self-healing mechanisms using fault-injection in message brokers

Proceedings of the 4th International Workshop on Software Engineering Research and Practice for the IoT

Security assessment of common open source MQTT brokers and clients


A command line tool (and Python library) for archiving Twitter JSON

A large-scale COVID-19 Twitter chatter dataset for open scientific research -- an international collaboration

Unsupervised User Stance Detection on Twitter

How social learning amplifies moral outrage expression in online social networks

Viral Visualizations: How Coronavirus Skeptics Use Orthodox Data Practices to Promote Unorthodox Science Online

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

Fighting the COVID-19 Infodemic in Social Media: A Holistic Perspective and a Call to Arms

MM-COVID: A Multilingual and Multidimensional Data Repository for CombatingCOVID-19 Fake New

#Election2020: the first public Twitter dataset on the 2020 US Presidential election

CoVaxxy: A Collection of English-language Twitter Posts About COVID-19 Vaccines

Arabic Fake News Detection: Comparative Study of Neural Networks and Transformer-Based Approaches

Tweets in Time of Conflict: A Public Dataset Tracking the Twitter Discourse on the War Between Ukraine and Russia


nnU-Net. Framework for out-of-the box biomedical image segmentation. Can do inference on both gpu(if cuda available) and cpu(if cuda not available)

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

TransFuse: Fusing Transformers and CNNs for Medical Image Segmentation

nnU-Net: Self-adapting Framework for U-Net-Based Medical Image Segmentation

The state of the art in kidney and kidney tumor segmentation in contrast-enhanced CT imaging: Results of the KiTS19 Challenge

nnU-Net for Brain Tumor Segmentation

Diffusion Models for Implicit Image Segmentation Ensembles

Deep Learning Based Brain Tumor Segmentation: A Survey

nnU-Net: Breaking the Spell on Successful Medical Image Segmentation.

AMOS: A Large-Scale Abdominal Multi-Organ Benchmark for Versatile Medical Image Segmentation

Federated Learning Enables Big Data for Rare Cancer Boundary Detection


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

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

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

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

An Energy Consistent Discretization of the Nonhydrostatic Equations in Primitive Variables

Journal of Advances in Modeling Earth Systems

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

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

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

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

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

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


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

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

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

ZLeaks: Passive Inference Attacks on Zigbee based Smart Homes

Optimizing the Bluetooth Low Energy Service Discovery Process

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

Towards Characterizing IoT Software Update Practices


Uplift modeling and causal inference with machine learning algorithms

Causal Effect Inference with Deep Latent-Variable Models

Quasi-Oracle Estimation of Heterogeneous Treatment Effects

A Survey on Causal Inference

Adapting Neural Networks for the Estimation of Treatment Effects

CausalML: Python Package for Causal Machine Learning

A Unified Survey of Treatment Effect Heterogeneity Modelling and Uplift Modelling

Surgical or percutaneous coronary revascularization for heart failure: an in silico model using routinely collected health data to emulate a clinical trial

Causal Learning for Socially Responsible AI

A unified survey of treatment effect heterogeneity modeling and uplift modeling

Causal inference in drug discovery and development


Flang is a Fortran language front-end designed for integration with LLVM.

LLOV: A Fast Static Data-Race Checker for OpenMP Programs

ACM Transactions on Architecture and Code Optimization (TACO)

Bridging Control-Centric and Data-Centric Optimization

Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization

An LLVM Instrumentation Plug-in for Score-P

Proceedings of the Fourth Workshop on the LLVM Compiler Infrastructure in HPC

Online Application Guidance for Heterogeneous Memory Systems


Python library for creating PEG parsers

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

Detector-based component model abstraction for microservice-based systems

Identifying Domain-Based Cyclic Dependencies in Microservice APIs Using Source Code Detectors

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness

Generation of logic designs for efficiently solving ordinary differential equations on field programmable gate arrays


The gem5 Simulator: Version 20.0+

Multi Fluxon Storage and its Implications for Microprocessor Design

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

A RISC-V SystemC-TLM simulator

An Efficient Runtime Validation Framework based on the Theory of Refinement

PANDA: Architecture-Level Power Evaluation by Unifying Analytical and Machine Learning Solutions

RVCoreP-32IC: A high-performance RISC-V soft processor with an efficient fetch unit supporting the compressed instructions

Randomized Testing of RISC-V CPUs Using Direct Instruction Injection

Permissionless Refereed Tournaments


Six Degrees of Domain Admin

Practical Fixed-Parameter Algorithms for Defending Active Directory Style Attack Graphs

Automated Cyber Defence: A Review

Defending Active Directory by Combining Neural Network based Dynamic Program and Evolutionary Diversity Optimisation

The epidemiology of lateral movement: exposures and countermeasures with network contagion models

Investigating the Ecosystem of Offensive Information Security Tools

Limited Query Graph Connectivity Test

Catch Me if You Can: Effective Honeypot Placement in Dynamic AD Attack Graphs

Optimizing Cyber Response Time on Temporal Active Directory Networks Using Decoys

Increasing Windows security by hardening PC configurations


Manipulate audio with a simple and easy high level interface

Half-Truth: A Partially Fake Audio Detection Dataset

Spoofed training data for speech spoofing countermeasure can be efficiently created using neural vocoders

Effects of Soundscape Complexity on Urban Noise Annoyance Ratings: A Large-Scale Online Listening Experiment

International journal of environmental research and public health

Performance Evaluation of RNN with Hyperbolic Secant in Gate Structure through Application of Parkinson’s Disease Detection

A Text-to-Speech Pipeline, Evaluation Methodology, and Initial Fine-Tuning Results for Child Speech Synthesis

Paralinguistic singing attribute recognition using supervised machine learning for describing the classical tenor solo singing voice in vocal pedagogy

EURASIP journal on audio, speech, and music processing

Attacker Attribution of Audio Deepfakes

Can we use Common Voice to train a Multi-Speaker TTS system?

Evaluating Web-Based Automatic Transcription for Alzheimer Speech Data: Transcript Comparison and Machine Learning Analysis

Multichannel acoustic source and image dataset for the cocktail party effect in hearing aid and implant users


A benchmarking framework for the Julia language

Robust benchmarking in noisy environments

Uncertainty propagation with functionally correlated quantities

Tensors.jl — Tensor Computations in Julia

The Rank-Reduced Kalman Filter: Approximate Dynamical-Low-Rank Filtering In High Dimensions

Generalized Sampling in Julia

N-Step-Ahead Optimal Control of a Compartmental Model of COVID-19

Journal of Control, Automation and Electrical Systems

Approximate Douglas–Rachford algorithm for two-sets convex feasibility problems

Efficient generation of random rotation matrices in four dimensions

Wireless Network Scheduling With Discrete Propagation Delays: Theorems and Algorithms


Multi-resolution ocean general circulation model.

Abrupt Climate and Weather Changes Across Time Scales

Scalability and some optimization of the Finite-volumE Sea ice-Ocean Model, Version 2.0 (FESOM2)

Nudging allows direct evaluation of coupled climate models with in situ observations: a case study from the MOSAiC expedition

Simple algorithms to compute meridional overturning and barotropic streamfunctions on unstructured meshes

The Impact of Different Atmospheric CO2 Concentrations on Large Scale Miocene Temperature Signatures

The Parareal Algorithm Applied to the FESOM 2 Ocean Circulation Model

Considerable Uncertainty of Simulated Arctic Temperature Change in the Mid‐Holocene Due To Initial Ocean Perturbation


A standalone version of the readability lib

Boilerplate Removal using a Neural Sequence Labeling Model

WWW'20: COMPANION PROCEEDINGS OF THE WEB CONFERENCE 2020

Understanding Retrieval Augmentation for Long-Form Question Answering

SpeedReader: Reader Mode Made Fast and Private

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

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

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

ClimateGPT: Towards AI Synthesizing Interdisciplinary Research on Climate Change

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

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

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

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


Standard Energy Efficiency Data (SEED) Platform™ is a web-based application that helps organizations easily manage data on the energy performance of large groups of buildings.


Out-of-Core hybrid Apache Arrow/NumPy DataFrame for Python, ML, visualization and exploration of big tabular data at a billion rows per second

Towards Scalable Dataframe Systems

Vaex: big data exploration in the era of Gaia

Interactive (statistical) visualisation and exploration of a billion objects with vaex

Proceedings of the International Astronomical Union

On the Energy Consumption of Different Dataframe Processing Libraries -- An Exploratory Study

Radar measurements for the article "Dynamic differential reflectivity calibration using vertical profiles in rain and snow"

Zenodo (CERN European Organization for Nuclear Research)


Package to call Python functions from the Julia language

Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization

Bridging HPC Communities through the Julia Programming Language

A Neural Separation Algorithm for the Rounded Capacity Inequalities

Parametric and Non-parametric Gradient Matching for Network Inference

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

FeAmGen.jl: A Julia Program for Feynman Amplitude Generation

Safe Reach Set Computation via Neural Barrier Certificates


Next generation cryptocurrency network

Comparison of blockchain platforms: a systematic review and healthcare examples

Journal of the American Medical Informatics Association : JAMIA

Delay and Communication Tradeoffs for Blockchain Systems with Lightweight IoT Clients

Dynamic Cryptography Integrated Secured Decentralized Applications with Blockchain Programming

Wasit Journal of Computer and Mathematics Science

IPchain: Securing IP Prefix Allocation and Delegation with Blockchain

Blockchain-based TLS Notary Service


FuzzBench - Fuzzer benchmarking as a service.

Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis

Fuzzing Symbolic Expressions

International Conference on Software Engineering

Taxonomy of Security Weaknesses in Java and Kotlin Android Apps

Efficient Greybox Fuzzing to Detect Memory Errors

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

SBFT Tool Competition 2023 - Fuzzing Track

Systematic Assessment of Fuzzers using Mutation Analysis

Explainable Fuzzer Evaluation

Fuzzing Configurations of Program Options - RCR Report

ACM Transactions on Software Engineering and Methodology

Improving AFL++ CmpLog: Tackling the bottlenecks


Mathematical Components

Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis

A Formalization of Convex Polyhedra Based on the Simplex Method

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

Validating Mathematical Structures

Deep Generation of Coq Lemma Names Using Elaborated Terms

A trustful monad for axiomatic reasoning with probability and nondeterminism

Measure Construction by Extension in Dependent Type Theory with Application to Integration

Extending Equational Monadic Reasoning with Monad Transformers

Reflexive tactics for algebra, revisited

Roosterize: Suggesting Lemma Names for Coq Verification Projects Using Deep Learning


Sparkling Water provides H2O functionality inside Spark cluster

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

A Survey on Spark Ecosystem: Big Data Processing Infrastructure, Machine Learning, and Applications

Performance Evaluation of Apache Spark Vs MPI: A Practical Case Study on Twitter Sentiment Analysis


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


Easily train or fine-tune SOTA computer vision models with one open source training library. The home of Yolo-NAS.

Deep Residual Learning for Image Recognition

Very Deep Convolutional Networks for Large-Scale Image Recognition

Going Deeper with Convolutions

Densely Connected Convolutional Networks

SSD: Single Shot MultiBox Detector

Squeeze-and-Excitation Networks

MobileNetV2: Inverted Residuals and Linear Bottlenecks

YOLOv3: An Incremental Improvement

EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks

Distilling the Knowledge in a Neural Network


An open framework for Federated Learning.

A Field Guide to Federated Optimization

Federated Learning Enables Big Data for Rare Cancer Boundary Detection

OpenFL: the open federated learning library

Machine Learning in Prostate MRI for Prostate Cancer: Current Status and Future Opportunities

Personalized Federated Learning With Graph

Federated Learning for Computationally Constrained Heterogeneous Devices: A Survey

Federated Learning for Medical Image Analysis: A Survey

FL_PyTorch: optimization research simulator for federated learning

Proceedings of the 2nd ACM International Workshop on Distributed Machine Learning

Split Federated Learning for 6G Enabled-Networks: Requirements, Challenges and Future Directions

A Comprehensive Review and a Taxonomy of Edge Machine Learning: Requirements, Paradigms, and Techniques


The most comprehensive database of Chinese poetry 最全中华古诗词数据库,  唐宋两朝近一万四千古诗人,  接近5.5万首唐诗加26万宋诗.  两宋时期1564位词人，21050首词。

AnchiBERT: A Pre-Trained Model for Ancient Chinese Language Understanding and Generation

Yu Sheng: Human-in-Loop Classical Chinese Poetry Generation System

Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations

Towards Effective Ancient Chinese Translation: Dataset, Model, and Evaluation

Kanbun-LM: Reading and Translating Classical Chinese in Japanese Methods by Language Models


TextAttack   is a Python framework for adversarial attacks, data augmentation, and model training in NLP https://textattack.readthedocs.io/en/master/

Generating Natural Language Adversarial Examples

A Survey of Data Augmentation Approaches for NLP

TextAttack: A Framework for Adversarial Attacks, Data Augmentation, and Adversarial Training in NLP

BERT-ATTACK: Adversarial Attack Against BERT Using BERT

BAE: BERT-based Adversarial Examples for Text Classification

A Survey on Text Classification: From Shallow to Deep Learning

PromptBench: Towards Evaluating the Robustness of Large Language Models on Adversarial Prompts

Supporting Clustering with Contrastive Learning

Reevaluating Adversarial Examples in Natural Language

MGTBench: Benchmarking Machine-Generated Text Detection


Apache Ant is a Java-based build tool.

Learning Quick Fixes from Code Repositories

Broken External Links on Stack Overflow

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

Using Distributed Representation of Code for Bug Detection

Ammonia: an approach for deriving project-specific bug patterns

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

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


DeepSpeed is a deep learning optimization library that makes distributed training and inference easy, efficient, and effective.

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

VideoMAE: Masked Autoencoders are Data-Efficient Learners for Self-Supervised Video Pre-Training

ZeRO: Memory Optimizations Toward Training Trillion Parameter Models

Using DeepSpeed and Megatron to Train Megatron-Turing NLG 530B, A Large-Scale Generative Language Model

GIT: A Generative Image-to-text Transformer for Vision and Language

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

ZeRO-Offload: Democratizing Billion-Scale Model Training

UnifiedSKG: Unifying and Multi-Tasking Structured Knowledge Grounding with Text-to-Text Language Models

ZeroQuant: Efficient and Affordable Post-Training Quantization for Large-Scale Transformers

Parallel Physics-Informed Neural Networks via Domain Decomposition


Material UI: Comprehensive React component library that implements Google's Material Design. Free forever.

An Empirical Analysis of UI-based Flaky Tests

Investigating the Impact of Continuous Integration Practices on the Productivity and Quality of Open-Source Projects

AN INTEGRATED APPROACH FOR LINKED DATA BROWSING

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

Data+Shift: Supporting visual investigation of data distribution shifts by data scientists

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


An end-to-end PyTorch framework for image and video classification

Squeeze-and-Excitation Networks

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

EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks

Decoupled Weight Decay Regularization

mixup: Beyond Empirical Risk Minimization

Exploring the Limits of Weakly Supervised Pretraining

Large Batch Training of Convolutional Networks

Fast and Accurate Model Scaling

Prescriptive and Descriptive Approaches to Machine-Learning Transparency

EXTENDED ABSTRACTS OF THE 2022 CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, CHI 2022


A python Linear Programming API

Volume-Optimal Cycle: Tightest Representative Cycle of a Generator in Persistent Homology

Sensitivity and spectral control of network lasers

Player Chemistry: Striving for a Perfectly Balanced Soccer Team

ROI-Constrained Bidding via Curriculum-Guided Bayesian Reinforcement Learning

Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining

Faking feature importance: A cautionary tale on the use of differentially-private synthetic data

An outer-approximation guided optimization approach for constrained neural network inverse problems

A Deep Reinforcement Learning Approach for Finding Non-Exploitable Strategies in Two-Player Atari Games

Testing the Consistency of Performance Scores Reported for Binary Classification Problems

A matheuristic algorithm for the single-source capacitated facility location problem and its variants

Diddy: a Python toolbox for infinite discrete dynamical systems


Validated, scalable, community developed variant calling, RNA-seq and small RNA analysis

A review of bioinformatic pipeline frameworks

A single-cell survey of Drosophila blood

Type 1 conventional dendritic cells are systemically dysregulated early in pancreatic carcinogenesis

Estimating genotype error rates from high-coverage next-generation sequence data

Comprehensive Molecular Profiling Identifies FOXM1 as a Key Transcription Factor for Meningioma Proliferation

Mature Human White Adipocytes Cultured under Membranes Maintain Identity, Function, and Can Transdifferentiate into Brown-like Adipocytes

Cpipe: a shared variant detection pipeline designed for diagnostic settings

Wnt and Notch signaling govern self-renewal and differentiation in a subset of human glioblastoma stem cells

Multi-faceted epigenetic dysregulation of gene expression promotes esophageal squamous cell carcinoma

Molecular stratification of endometrioid ovarian carcinoma predicts clinical outcome


MACE is a deep learning inference framework optimized for mobile heterogeneous computing platforms.

Convergence of Edge Computing and Deep Learning: A Comprehensive Survey

IEEE Communications Surveys and Tutorials

Fast Algorithms for Convolutional Neural Networks

Pruning and Quantization for Deep Neural Network Acceleration: A Survey

A First Look at Deep Learning Apps on Smartphones

MNN: A Universal and Efficient Inference Engine

Deep Learning on Mobile Devices - A Review

On-Device Neural Net Inference with Mobile GPUs

LFFD: A Light and Fast Face Detector for Edge Devices

Mind Your Weight(s): A Large-scale Study on Insufficient Machine Learning Model Protection in Mobile Apps

MoGA: Searching Beyond MobileNetV3


Open data project for small-scale food growers


Scenic: A Jax Library for Computer Vision Research and Beyond

ViViT: A Video Vision Transformer

Attention Bottlenecks for Multimodal Fusion

Multiview Transformers for Video Recognition

Simple Open-Vocabulary Object Detection with Vision Transformers

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

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

Scaling Open-Vocabulary Object Detection

SCENIC: A JAX Library for Computer Vision Research and Beyond

Learning with Neighbor Consistency for Noisy Labels

REVEAL: Retrieval-Augmented Visual-Language Pre-Training with Multi-Source Multimodal Knowledge Memory


Unsupervised text tokenizer for Neural Network-based text generation.

Neural Machine Translation of Rare Words with Subword Units

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

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

SciBERT: A Pretrained Language Model for Scientific Text

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

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

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

Beyond English-Centric Multilingual Machine Translation

Findings of the 2019 Conference on Machine Translation (WMT19)

Meeting of the Association for Computational Linguistics

CogView: Mastering Text-to-Image Generation via Transformers


Monero: the secure, private, untraceable cryptocurrency

An Empirical Analysis of Traceability in the Monero Blockchain

Comparison of blockchain platforms: a systematic review and healthcare examples

An Empirical Analysis of Linkability in the Monero Blockchain

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

An Empirical Analysis of Monero Cross-Chain Traceability

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

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

Correlations of Multi-input Monero Transactions


C library for prototyping and experimenting with quantum-resistant cryptography

On PQC Migration and Crypto-Agility

A Beyond-5G Authentication and Key Agreement Protocol

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

Resilience Optimization of Post-Quantum Cryptography Key Encapsulation Algorithms

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

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

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

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


jsoup: the Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety.

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

Putting the Semantics into Semantic Versioning

A comprehensive study of pseudo-tested methods

Developer-centric test amplification

Evaluating data-flow coverage in spectrum-based fault localization

Cerebro: Static Subsuming Mutant Selection

IEEE Transactions on Software Engineering

Commit-Aware Mutation Testing

International Conference on Software Maintenance

An approach and benchmark to detect behavioral changes of commits in continuous integration

Predicting Crash Fault Residence via Simplified Deep Forest Based on A Reduced Feature Set

On the use of commit-relevant mutants


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

PerforatedCNNs: Acceleration through Elimination of Redundant Convolutions

Deep Learning At Scale and At Ease

Characterizing and Detecting CUDA Program Bugs


YOLOv5  in PyTorch > ONNX > CoreML > TFLite

Path Aggregation Network for Instance Segmentation

A Comprehensive Review of YOLO Architectures in Computer Vision: From YOLOv1 to YOLOv8 and YOLO-NAS

A Forest Fire Detection System Based on Ensemble Learning

Target-aware Dual Adversarial Learning and a Multi-scenario Multi-Modality Benchmark to Fuse Infrared and Visible for Object Detection

Comparing YOLOv3, YOLOv4 and YOLOv5 for Autonomous Landing Spot Detection in Faulty UAVs

Score-based diffusion models for accelerated MRI

YOLO-v1 to YOLO-v8, the Rise of YOLO and Its Complementary Nature toward Digital Manufacturing and Industrial Defect Detection

No More Strided Convolutions or Pooling: A New CNN Building Block for Low-Resolution Images and Small Objects

Slim-neck by GSConv: a lightweight-design for real-time detector architectures

Alpha-IoU: A Family of Power Intersection over Union Losses for Bounding Box Regression


A fork of OpenAI Baselines, implementations of reinforcement learning algorithms

Proximal Policy Optimization Algorithms

Continuous control with deep reinforcement learning

Playing Atari with Deep Reinforcement Learning

Asynchronous Methods for Deep Reinforcement Learning

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

Trust Region Policy Optimization

Addressing Function Approximation Error in Actor-Critic Methods

Prioritized Experience Replay

Generative Adversarial Imitation Learning

Soft Actor-Critic Algorithms and Applications


ArrayFire: a general purpose GPU library.

On the impact of quantum computing technology on future developments in high-performance scientific computing

A symmetry-derived mechanism for atomic resolution imaging

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

Flashlight: Enabling Innovation in Tools for Machine Learning

grim: A Flexible, Conservative Scheme for Relativistic Fluid Theories

A versatile software systolic execution model for GPU memory-bound kernels

PROCEEDINGS OF SC19: THE INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS

GPU-Accelerated Atomistic Energy Barrier Calculations of Skyrmion Annihilations

Characterizing and Detecting CUDA Program Bugs

"Equation missing" : A Cross-Platform Programming Framework for Quantum-Accelerated Scientific Computing

Distributed and parallel sparse convex optimization for radio interferometry with PURIFY

LLAMA: The low‐level abstraction for memory access


Toolkit for creating, sharing and using natural language prompts.

Language Models are Few-Shot Learners

Finetuned Language Models Are Zero-Shot Learners

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

Multitask Prompted Training Enables Zero-Shot Task Generalization

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

Holistic Evaluation of Language Models

PromptSource: An Integrated Development Environment and Repository for Natural Language Prompts

A Comprehensive Capability Analysis of GPT-3 and GPT-3.5 Series Models

Discovering Latent Knowledge in Language Models Without Supervision

Rationale-Augmented Ensembles in Language Models


music21 is a Toolkit for Computational Musicology

Establishing Human-Robot Trust through Music-Driven Robotic Emotion Prosody and Gesture

BacHMMachine: An Interpretable and Scalable Model for Algorithmic Harmonization for Four-part Baroque Chorales


PlaidML is a framework for making deep learning work everywhere.

Deep metabolome: Applications of deep learning in metabolomics

Computational and structural biotechnology journal

Stripe: Tensor Compilation via the Nested Polyhedral Model

Efficient Execution of Quantized Deep Learning Models: A Compiler Approach

Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation


Taxonomies used in MISP taxonomy system and can be used by other information sharing tool.

Decaying Indicators of Compromise

Taxonomy driven indicator scoring in MISP threat intelligence platforms

Multimodal Classification of Onion Services for Proactive Cyber Threat Intelligence Using Explainable Deep Learning

Fingerpointing False Positives

Open Dataset of Phishing and Tor Hidden Services Screen-captures


Canonical sources for HOL4 theorem-proving system.   Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

TacticToe: Learning to Prove with Tactics

A Verified Certificate Checker for Finite-Precision Error Bounds in Coq and HOL4

Deep Reinforcement Learning for Synthesizing Functions in Higher-Order Logic

A Mechanised Semantics for HOL with Ad-hoc Overloading

Logic Programming and Automated Reasoning

Beyond Games: A Systematic Review of Neural Monte Carlo Tree Search Applications

Tree Neural Networks in HOL4

A Formalization of Unique Solutions of Equations in Process Algebra

Learned Provability Likelihood for Tactical Search

Unique Solutions of Contractions, CCS, and their HOL Formalisation

Further Formalization of the Process Algebra CCS in HOL4