Orbit-fitting for directly imaged objects

Population-level Eccentricity Distributions of Imaged Exoplanets and Brown Dwarf Companions: Dynamical Evidence for Distinct Formation Channels*

orbitize!: A Comprehensive Orbit-fitting Software Package for the High-contrast Imaging Community

Radial Velocity Measurements of HR 8799 b and c with Medium Resolution Spectroscopy

Deep Exploration of the Planets HR 8799 b, c, and d with Moderate-resolution Spectroscopy

Obliquity Constraints on an Extrasolar Planetary-mass Companion

Constraining the Orbit and Mass of epsilon Eridani b with Radial Velocities, Hipparcos IAD-Gaia DR2 Astrometry, and Multiepoch Vortex Coronagraphy Upper Limits

Radial Velocity Discovery of an Eccentric Jovian World Orbiting at 18 au

Obliquity Constraints on the Planetary-mass Companion HD 106906 b

GRAVITY K-band spectroscopy of HD 206893 B: brown dwarf or exoplanet

A scaled-up planetary system around a supernova progenitor


OpenEmbedded/Yocto layer for RISC-V Architecture


A FRamework for Efficient Secure COmputation

Private Machine Learning in TensorFlow using Secure Computation

Data Protection in the Era of Artificial Intelligence: Trends, Existing Solutions and Recommendations for Privacy-Preserving Technologies

A management framework for secure multiparty computation in dynamic environments

Network Operations and Management Symposium

MPC-enabled Privacy-Preserving Neural Network Training against Malicious Attack

A Performance and Resource Consumption Assessment of Secret Sharing Based Secure Multiparty Computation

SoK: Training Machine Learning Models over Multiple Sources with Privacy Preservation

A Privacy-Preserving Log-Rank Test for the Kaplan-Meier Estimator With Secure Multiparty Computation: Algorithm Development and Validation

A New Approach to Privacy-Preserving Clinical Decision Support Systems

Foundations of Programmable Secure Computation


Data driven modeling and automated discovery of dynamical systems for the SciML Scientific Machine Learning organization

Universal Differential Equations for Scientific Machine Learning

PySINDy: A comprehensive Python package for robust sparse system identification

Inferring the Structure of Ordinary Differential Equations


Intelligent Storage Acceleration Library

Optimal Repair Layering for Erasure-Coded Data Centers: From Theory to Practice

Practical Considerations in Repairing Reed-Solomon Codes

Accelerating XOR-based Erasure Coding using Program Optimization Techniques.

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

Founsure 1.0: An Erasure Code Library with Efficient Repair and Update Features

Erasure Coding for production in the EOS Open Storage system

Rapidgzip: Parallel Decompression and Seeking in Gzip Files Using Cache Prefetching

Proceedings of the 32nd International Symposium on High-Performance Parallel and Distributed Computing

Design of a Resilient, High-Throughput, Persistent Storage System for the ATLAS Phase-II DAQ System


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

WhatTheWikiFact: Fact-Checking Claims Against Wikipedia

Portuguese public procurement data for construction (2015–2022)

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

KC4MT: A High-Quality Corpus for Multilingual Machine Translation

LREC 2022: THIRTEEN INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION

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

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

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

Pacific Asia Conference on Language, Information and Computation

A multidisciplinary framework for deconstructing bots' pluripotency in
  dualistic antagonism

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


A shared API for QUBO/Ising samplers.

Open source software in quantum computing

Quantum Annealing vs. QAOA: 127 Qubit Higher-Order Ising Problems on NISQ Computers

Hybrid quantum-classical optimization for financial index tracking

Improving Quantum Annealing Performance on Embedded Problems

Supercomputing Frontiers and Innovations

Calculating Nash equilibrium on quantum annealers

Tutorial: AI-assisted exploration and active design of polymers with high intrinsic thermal conductivity

3SAT on an all-to-all-connected CMOS Ising solver chip

Omnisolver: an extensible interface to Ising spin glass solvers


Cogent Project

Cogent: uniqueness types and certifying compilation

Dargent: A Silver Bullet for Verified Data Layout Refinement

Proceedings of the ACM on programming languages

Overcoming restraint: composing verification of foreign functions with cogent


Commander is an Optimal Monte-carlo Markov chAiN Driven EstimatoR which implements fast and efficient end-to-end CMB posterior exploration through Gibbs sampling.

BeyondPlanck I. Global Bayesian analysis of the Planck Low Frequency Instrument data

In-flight polarization angle calibration for LiteBIRD: blind challenge and cosmological implications

Robustness of cosmic birefringence measurement against Galactic foreground emission and instrumental systematics

Journal of Cosmology and Astroparticle Physics

B-mode forecast of CMB-Bhārat

From BEYONDPLANCK to COSMOGLOBE: Preliminary WMAP Q-band analysis

Cosmoglobe: Towards end-to-end CMB cosmological parameter estimation without likelihood approximations


An efficient implementation of tree data structure in python 2/3.

Unsupervised Evaluation of Code LLMs with Round-Trip Correctness

VOLTA: adVanced mOLecular neTwork Analysis

Rumors Detection Based on Lifelong Machine Learning


Linux system call fuzzer

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

Understanding TEE Containers, Easy to Use? Hard to Trust

Evaluating Code Coverage for Kernel Fuzzers via Function Call Graph


cisst/SAW stack for the da Vinci Research Kit (dVRK)

Accelerating Surgical Robotics Research: A Review of 10 Years With the da Vinci Research Kit

A Robotic Recording and Playback Platform for Training Surgeons and Learning Autonomous Behaviors Using the da Vinci Surgical System

Unsupervised Identification of Surgical Robotic Actions From Small Homogeneous Datasets

Caveats on the first-generation da Vinci Research Kit: latent technical constraints and essential calibrations


On-device wake word detection powered by deep learning

Robot System Assistant (RoSA): Towards Intuitive Multi-Modal and Multi-Device Human-Robot Interaction

LookOut! Interactive Camera Gimbal Controller for Filming Long Takes

Privacy against Real-Time Speech Emotion Detection via Acoustic Adversarial Evasion of Machine Learning


Facebook AI Research's Automatic Speech Recognition Toolkit

XLS-R: Self-supervised Cross-lingual Speech Representation Learning at Scale

MLS: A Large-Scale Multilingual Dataset for Speech Research

End-to-end ASR: from Supervised to Semi-Supervised Learning with Modern Architectures

Unsupervised Speech Recognition

wav2letter++: The Fastest Open-source Speech Recognition System

International Conference on Acoustics, Speech, and Signal Processing

Iterative Pseudo-Labeling for Speech Recognition

Self-attention Networks for Connectionist Temporal Classification in Speech Recognition

Fully Convolutional Speech Recognition

Rethinking Evaluation in ASR: Are Our Models Robust Enough?

Performance-Efficiency Trade-offs in Unsupervised Pre-training for Speech Recognition


Catch common Java mistakes as compile-time errors

RacerD: compositional static race detection

Proceedings of the ACM on Programming Languages

BugSwarm: Mining and Continuously Growing a Dataset of Reproducible Failures and Fixes

What Makes a Good Commit Message?

Proceedings of the 44th International Conference on Software Engineering

Why Developers Refactor Source Code: A Mining-based Study

FLAG: Finding Line Anomalies (in code) with Generative AI

IntelliTC: Automating Type Changes in IntelliJ IDEA


The fundamental package for scientific computing with Python.

SciPy 1.0: fundamental algorithms for scientific computing in Python

Highly accurate protein structure prediction with AlphaFold

Array programming with NumPy

Highly accurate protein structure prediction for the human proteome

Accurate structure prediction of biomolecular interactions with AlphaFold 3

A foundation model for generalizable disease detection from retinal images

Restoring and attributing ancient texts using deep neural networks

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

FLEX: Unifying Evaluation for Few-Shot NLP

FluxFix: automatic isotopologue normalization for metabolic tracer analysis


Schemata and libraries for neuroscientific data

Functional connectomics spanning multiple areas of mouse visual cortex

The Sensorium competition on predicting large-scale mouse primary visual cortex activity

Pattern completion and disruption characterize contextual modulation in the visual cortex

bioRxiv : the preprint server for biology

Bipartite invariance in mouse primary visual cortex

The Dynamic Sensorium competition for predicting large-scale mouse visual cortex activity from videos.


Professional interface of the Energy Transition model.


Transfer learning / domain adaptation / domain generalization / multi-task learning etc. Papers, codes, datasets, applications, tutorials.-迁移学习

Visual Domain Adaptation with Manifold Embedded Distribution Alignment

A Review of Single-Source Deep Unsupervised Visual Domain Adaptation

Transfer Learning with Dynamic Distribution Adaptation

ACM Transactions on Intelligent Systems and Technology

AdaRNN: Adaptive Learning and Forecasting of Time Series

Easy Transfer Learning By Exploiting Intra-domain Structures

Learning What and Where to Transfer

Domain Adaptation by Class Centroid Matching and Local Manifold Self-Learning

IEEE transactions on image processing : a publication of the IEEE Signal Processing Society

Adaptive Trajectory Prediction via Transferable GNN

Exploiting Adapters for Cross-lingual Low-resource Speech Recognition

Domain-invariant Feature Exploration for Domain Generalization


MMseqs2: ultra fast and sensitive search and clustering suite

Highly accurate protein structure prediction with AlphaFold

Clustering huge protein sequence sets in linear time

Uniclust databases of clustered and deeply annotated protein sequences and alignments

A simple guide to de novo transcriptome assembly and annotation

xTrimoPGLM: Unified 100B-Scale Pre-trained Transformer for Deciphering the Language of Protein

Unraveling the functional dark matter through global metagenomics

Large-Scale Assessment of Bioinformatics Tools for Lysine Succinylation Sites

Metabolic Communication by SGLT2 Inhibition

ADOPT: intrinsic protein disorder prediction through deep bidirectional transformers

From interaction networks to interfaces, scanning intrinsically disordered regions using AlphaFold2


Ongoing analysis of COVID-19 using Galaxy, BioConda and public research infrastructures

Template switching and duplications in SARS-CoV-2 genomes give rise to insertion variants that merit monitoring

No more business as usual: Agile and effective responses to emerging pathogen threats require open data and open analytics

Freely accessible ready to use global infrastructure for SARS-CoV-2 monitoring

A SARS-CoV-2 sequence submission tool for the European Nucleotide Archive


A Bayesian optimization toolbox built on TensorFlow

GIBBON: General-purpose Information-Based Bayesian OptimisatioN

Scalable Thompson Sampling using Sparse Gaussian Process Models

GAUCHE: A Library for Gaussian Processes in Chemistry

Bayesian Quantile and Expectile Optimisation

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

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

Bayesian Optimisation for Sequential Experimental Design with Applications in Additive Manufacturing

A robust multi-objective Bayesian optimization framework considering input uncertainty

Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study

Proceedings of the 19th International Conference on Mining Software Repositories

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


Bootstrap an OBO Library ontology

WormBase: a modern Model Organism Information Resource

The Monarch Initiative in 2019: an integrative data and analytic platform connecting phenotypes to genotypes across species

ROBOT: A Tool for Automating Ontology Workflows

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

An Infrastructure for Collaborative Ontology Development

Frontiers in artificial intelligence and applications

The Vertebrate Breed Ontology: Towards Effective Breed Data Standardization

An Anatomical Ontology for the Class Collembola (Arthropoda: Hexapoda)

Brazilian Archives of Biology and Technology


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

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

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

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

An E-government Interoperability Platform Supporting Personal Data Protection Regulations

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

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

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

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

Estimating Patch Propagation Times across (Blockchain) Forks


Motion Planning Environment

cuRobo: Parallelized Collision-Free Minimum-Jerk Robot Motion Generation

VaPr: Variable-Precision Tensors to Accelerate Robot Motion Planning

Canonical Subproblems for Robot Inverse Kinematics


The machine learning toolkit for time series analysis in Python

Tslearn, A Machine Learning Toolkit for Time Series Data

Temporal Phenotyping using Deep Predictive Clustering of Disease Progression

Seglearn: A Python Package for Learning Sequences and Time Series

Deep Multivariate Time Series Embedding Clustering via Attentive-Gated Autoencoder

Pacific-Asia Conference on Knowledge Discovery and Data Mining

DETECT: Deep Trajectory Clustering for Mobility-Behavior Analysis

Mapping global dynamics of benchmark creation and saturation in artificial intelligence

Interpretable Time-series Classification on Few-shot Samples

timeXplain -- A Framework for Explaining the Predictions of Time Series Classifiers

Citation cascade and the evolution of topic relevance

Temporal Convolutional Networks and Dynamic Time Warping can Drastically Improve the Early Prediction of Sepsis.


Efficient few-shot learning with Sentence Transformers

Efficient Few-Shot Learning Without Prompts

Making LLMs Worth Every Penny: Resource-Limited Text Classification in Banking

PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023

Breaking the Bank with ChatGPT: Few-Shot Text Classification for Finance

In-Context Learning for Text Classification with Many Labels

Spam-T5: Benchmarking Large Language Models for Few-Shot Email Spam Detection

Like a Good Nearest Neighbor: Practical Content Moderation with Sentence Transformers

Automated Few-shot Classification with Instruction-Finetuned Language Models

NormMark: A Weakly Supervised Markov Model for Socio-cultural Norm Discovery

Few-shot learning for sentence pair classification and its applications in software engineering

A deep learning-based approach for identifying unresolved questions on Stack Exchange Q &A communities through graph-based communication modelling


The Fortanix Rust Enclave Development Platform

Precision Health Data: Requirements, Challenges and Existing Techniques for Data Security and Privacy

SmashEx: Smashing SGX Enclaves Using Exceptions

Conference on Computer and Communications Security

Dynamic Binary Translation for SGX Enclaves

Binary Compatibility For SGX Enclaves


OpenPCDet Toolbox for LiDAR-based 3D Object Detection.

PV-RCNN: Point-Voxel Feature Set Abstraction for 3D Object Detection

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

Voxel R-CNN: Towards High Performance Voxel-based 3D Object Detection

3D Object Detection with Pointformer

PV-RCNN++: Point-Voxel Feature Set Abstraction With Local Vector Representation for 3D Object Detection

Not All Points Are Equal: Learning Highly Efficient Point-based Detectors for 3D LiDAR Point Clouds

Self-Supervised Pretraining of 3D Features on any Point-Cloud

Improving 3D Object Detection with Channel-wise Transformer

Embracing Single Stride 3D Object Detector with Sparse Transformer

Focal Sparse Convolutional Networks for 3D Object Detection


Simons Stellarator Optimizer Code

Modeling of energetic particle transport in optimized stellarators

Combined plasma-coil optimization algorithms

Direct computation of magnetic surfaces in Boozer coordinates and coil optimization for quasisymmetry

The magnetic gradient scale length explains why certain plasmas require close external magnetic coils

Direct stellarator coil optimization for nested magnetic surfaces with precise quasi-symmetry

Meta variance reduction for Monte Carlo estimation of energetic particle confinement during stellarator optimization


Project is in active development and has been moved to the EthereumJS monorepo.

Scalable and Privacy-preserving Design of On/Off-chain Smart Contracts

Decentralized Privacy-preserving Timed Execution in Blockchain-based Smart Contract Platforms

Targeting the Weakest Link: Social Engineering Attacks in Ethereum Smart Contracts


Versatile framework for multi-party computation

Privacy Preserving Vertical Federated Learning for Tree-based Models

POSEIDON: Privacy-Preserving Federated Neural Network Learning

Secure Evaluation of Quantized Neural Networks

Proceedings on Privacy Enhancing Technologies

Secure and Efficient Federated Transfer Learning

On a Generalization of Substitution-Permutation Networks: The HADES Design Strategy

Theory and Application of Cryptographic Techniques

SIRNN: A Math Library for Secure RNN Inference

MYSTIKO : : Cloud-Mediated, Private, Federated Gradient Descent

Privacy-Preserving Decentralized Exchange Marketplaces

Faster Secure Comparisons with Offline Phase for Efficient Private Set Intersection

Bicoptor: Two-round Secure Three-party Non-linear Computation without Preprocessing for Privacy-preserving Machine Learning


Provides an elaborated data model to model energy systems with a high granularity e.g. for bottom-up simulations. Additionally, useful functionalities to handle the model i/o are provided as well.


Azure Blockchain Content and Samples

Formal Specification and Verification of Smart Contracts for Azure Blockchain

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

Reactive Synthesis of Smart Contract Control Flows


CRPropa is a public astrophysical simulation framework for propagating extraterrestrial ultra-high energy particles.   https://crpropa.github.io/CRPropa3/

CRPropa 3-a public astrophysical simulation framework for propagating extraterrestrial ultra-high energy particles

CRPropa 3.1—a low energy extension based on stochastic differential equations

Propagation of ultrahigh energy cosmic rays in extragalactic magnetic fields: a view from cosmological simulations

Monthly Notices of the Royal Astronomical Society

Bayesian inference constraints on astrophysical production of ultra-high energy cosmic rays and cosmogenic neutrino flux predictions

Simulating the Galactic multi-messenger emissions with HERMES

Luminous and high-frequency peaked blazars: the origin of the gamma-ray emission from PKS 1424+240

On the relative importance of hadronic emission processes along the jet axis of active galactic nuclei

Constraints on the Intergalactic Magnetic Field Using Fermi-LAT and H.E.S.S. Blazar Observations

CRPropa 3.2: a public framework for high-energy astroparticle simulations

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


repository for the Functionally Assembled Terrestrial Ecosystem Simulator (FATES)

The Community Land Model Version 5: Description of New Features, Benchmarking, and Impact of Forcing Uncertainty

Journal of Advances in Modeling Earth Systems

Benchmarking and parameter sensitivity of physiological and vegetation dynamics using the Functionally Assembled Terrestrial Ecosystem Simulator (FATES) at Barro Colorado Island, Panama

Identification of key parameters controlling demographically structured vegetation dynamics in a land surface model: CLM4.5(FATES)

Assessing impacts of selective logging on water, energy, and carbon budgets and ecosystem dynamics in Amazon forests using the Functionally Assembled Terrestrial Ecosystem Simulator

Landsat near-infrared (NIR) band and ELM-FATES sensitivity to forest disturbances and regrowth in the Central Amazon

Supplementary material to "Implementation and evaluation of the unified stomatal optimization approach in the Functionally Assembled Terrestrial Ecosystem Simulator (FATES)"

Landsat NIR band and ELM-FATES sensitivity to forest disturbances and regrowth in the Central Amazon


Mother of All BCI Benchmarks

MOABB: trustworthy algorithm benchmarking for BCIs

Cross-Dataset Variability Problem in EEG Decoding With Deep Learning

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

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

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

Multi-Source Decentralized Transfer for Privacy-Preserving BCIs

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

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

IEEE transactions on neural networks and learning systems

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

Minimizing Subject-dependent Calibration for BCI with Riemannian Transfer Learning

International IEEE/EMBS Conference on Neural Engineering

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


Canonical source repository for PyYAML

PyCG: Practical Call Graph Generation in Python

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

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

A Unified Framework for U-Net Design and Analysis

deeplenstronomy: A dataset simulation package for strong gravitational lensing

Yamdb: easily accessible thermophysical properties of liquid metals and
  molten salts


RxJava – Reactive Extensions for the JVM – a library for composing asynchronous and event-based programs using observable sequences for the Java VM.

Verified three-way program merge

Proceedings of the ACM on Programming Languages

NullAway: Practical Type-Based Null Safety for Java

A true positives theorem for a static race detector

Bridging the GUI gap with reactive values and relations

Synthesizing replacement classes

Gait Recognition as an Authentication Method for Mobile Devices

Why Did Developers Migrate Android Applications From Java to Kotlin?

Data Flooding against Ransomware: Concepts and Implementations

Gamifying model-based engineering: the PapyGame experience

Learning to Describe Solutions for Bug Reports Based on Developer Discussions


An open platform for science on Amazon Mechanical Turk.

Evaluating Amazon's Mechanical Turk as a Tool for Experimental Behavioral Research

Interestingness Elements for Explainable Reinforcement Learning: Understanding Agents' Capabilities and Limitations

Controversial stimuli: Pitting neural networks against each other as models of human cognition

How Deep is the Feature Analysis underlying Rapid Visual Categorization?

Use or Consequences: Probing the Cognitive Difference Between Two Measures of Divergent Thinking

Value generalization in human avoidance learning

Can Deep Learning Recognize Subtle Human Activities?

WebQAmGaze: A Multilingual Webcam Eye-Tracking-While-Reading Dataset


A library for flexible voxel-based mapping, mainly focusing on truncated and Euclidean signed distance fields.

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

Safe Local Exploration for Replanning in Cluttered Unknown Environments for Microaerial Vehicles

International Conference on Robotics and Automation

Voxgraph: Globally Consistent, Volumetric Mapping Using Signed Distance Function Submaps

Sparse 3D Topological Graphs for Micro-Aerial Vehicle Planning

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

VDBFusion: Flexible and Efficient TSDF Integration of Range Sensor Data

C-blox: A Scalable and Consistent TSDF-based Dense Mapping Approach

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

A Unified NMPC Scheme for MAVs Navigation With 3D Collision Avoidance Under Position Uncertainty

The HAInich: A multidisciplinary vision data-set for a better understanding of the forest ecosystem


Train Ticket - A Benchmark Microservice System

Enjoy your observability: an industrial survey of microservice tracing and analysis

Automated Code-Smell Detection in Microservices Through Static Analysis: A Case Study

Advancing Static Code Analysis With Language-Agnostic Component Identification

Microvision: Static analysis-based approach to visualizing microservices in augmented reality

Automatic Extraction of Security-Rich Dataflow Diagrams for Microservice Applications written in Java

DeLag: Using Multi-Objective Optimization to Enhance the Detection of Latency Degradation Patterns in Service-Based Systems

End-to-End Test Coverage Metrics in Microservice Systems: An Automated Approach

The Microservice Dependency Matrix

PBScaler: A Bottleneck-aware Autoscaling Framework for Microservice-based Applications

Autothrottle: A Practical Bi-Level Approach to Resource Management for SLO-Targeted Microservices


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

A web service based tool to plan atmospheric research flights


:microscope: Java Code Coverage Library

Test case selection and prioritization using machine learning: a systematic literature review

Morest: Model-based RESTful API Testing with Execution Feedback

Towards Autonomous Testing Agents via Conversational Large Language Models

A pattern-based approach to detect and improve non-descriptive test names

From Monolith to Microservices: Static and Dynamic Analysis Comparison

Does Unit-Tested Code Crash? A Case Study of Eclipse


Noah Research

CLIFF: Carrying Location Information in Full Frames into Human Pose and Shape Estimation

Multimodal Token Fusion for Vision Transformers

Revisiting Mahalanobis Distance for Transformer-Based Out-of-Domain Detection

HEBO Pushing The Limits of Sample-Efficient Hyperparameter Optimisation

High-Dimensional Bayesian Optimisation with Variational Autoencoders and Deep Metric Learning

Less is More: Focus Attention for Efficient DETR

Conversation Graph: Data Augmentation, Training and Evaluation for Non-Deterministic Dialogue Management

XeroAlign: Zero-Shot Cross-lingual Transformer Alignment

CrossAligner & Co: Zero-Shot Transfer Methods for Task-Oriented Cross-lingual Natural Language Understanding

Two Parents, One Child: Dual Transfer for Low-Resource Neural Machine Translation

Meeting of the Association for Computational Linguistics


Named Data Networking Forwarding Daemon

Sovereign: Self-Contained Smart Home With Data-Centric Network and Security

A PEKS-Based NDN Strategy for Name Privacy

Expect More from the Networking: DDoS Mitigation by FITT in Named Data Networking

Named Data Networking for Genomics Data Management and Integrated Workflows

A Quadtree-based synchronization protocol for inter-server game state synchronization

NDNSD: Service Publishing and Discovery in NDN


brms R package for Bayesian generalized multivariate non-linear multilevel models using Stan

Advanced Bayesian Multilevel Modeling with the R Package brms

Bayesian Item Response Modeling in R with brms and Stan

Simple Acoustic Features Can Explain Phoneme-Based Predictions of Cortical Responses to Speech

The Positions Mainstream Left Parties Adopt on Immigration

Efficient leave-one-out cross-validation for Bayesian non-factorized normal and Student-t models

Creating effective visuals for destination marketing videos: Scenery vs people

Egocentric network characteristics of persons with Type 1 diabetes and their relationships to perceived social support and well-being

Health psychology and behavioral medicine

A multi-organ map of the human immune system across age, sex and ethnicity


The Vampire Theorem Prover

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

A Combinator-Based Superposition Calculus for Higher-Order Logic

Induction in Saturation-Based Proof Search

Exploring Transitivity in Neural NLI Models through Veridicality

Subsumption Demodulation in First-Order Theorem Proving

Logical Inferences with Comparatives and Generalized Quantifiers

Integer Induction in Saturation

Trace Logic for Inductive Loop Reasoning

SyGNS: A Systematic Generalization Testbed Based on Natural Language Semantics

Combining Event Semantics and Degree Semantics for Natural Language Inference


Adding guardrails to large language models.

Prompting Frameworks for Large Language Models: A Survey

Who Validates the Validators? Aligning LLM-Assisted Evaluation of LLM
  Outputs with Human Preferences

Privacy Preserving Prompt Engineering: A Survey

SPADE: Synthesizing Assertions for Large Language Model Pipelines


EasyNLP: A Comprehensive and Easy-to-use NLP Toolkit

BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding

Learning Transferable Visual Models From Natural Language Supervision

Distilling the Knowledge in a Neural Network

GLUE: A Multi-Task Benchmark and Analysis Platform for Natural Language Understanding

BLIP: Bootstrapping Language-Image Pre-training for Unified Vision-Language Understanding and Generation

Taming Transformers for High-Resolution Image Synthesis

Exploiting Cloze Questions for Few Shot Text Classification and Natural Language Inference

GPT Understands, Too

K-BERT: Enabling Language Representation with Knowledge Graph

CLUE: A Chinese Language Understanding Evaluation Benchmark


Code

SBFT: a Scalable and Decentralized Trust Infrastructure

DECO: Liberating Web Data Using Decentralized Oracles for TLS

A Guideline on Pseudorandom Number Generation (PRNG) in the IoT

Integrating Edge Intelligence and Blockchain: What, Why, and How

IEEE Communications Surveys and Tutorials

Private Processing of Outsourced Network Functions: Feasibility and Constructions

Systematizing core properties of pairing-based attribute-based encryption to uncover remaining challenges in enforcing access control in practice

Efficient Algorithms for Large Prime Characteristic Fields and Their Application to Bilinear Pairings

IACR Transactions on Cryptographic Hardware and Embedded Systems

On the Efficiency of Pairing-Based Authentication for Connected Vehicles: Time is Not on Our Side!

IEEE Transactions on Information Forensics and Security

A Model to Evaluate Reliability of Authentication Protocols in C-ITS Safety-Critical Applications

IEEE Transactions on Vehicular Technology

Memory Efficient Implementation of Modular Multiplication for 32-bit ARM Cortex-M4


WebGL-based viewer for volumetric data

Functional connectomics spanning multiple areas of mouse visual cortex

Cellular anatomy of the mouse primary motor cortex

The natverse, a versatile toolbox for combining and analysing neuroanatomical data

neuPrint: Analysis Tools for EM Connectomics

Large Volume Electron Microscopy and Neural Microcircuit Analysis

neuPrint: An open access tool for EM connectomics

Computational Approaches and Challenges in Spatial Transcriptomics

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

Volume EM: a quiet revolution takes shape

Neuronal circuits integrating visual motion information in Drosophila melanogaster

Petascale neural circuit reconstruction: automated methods


Semantic segmentation models with 500+ pretrained convolutional and transformer-based backbones.

UNet++: A Nested U-Net Architecture for Medical Image Segmentation

MA-Net: A Multi-Scale Attention Network for Liver and Tumor Segmentation

Accuracy on the Line: On the Strong Correlation Between Out-of-Distribution and In-Distribution Generalization

Medical Image Segmentation Using Squeeze-and-Expansion Transformers

Robust deep learning-based semantic organ segmentation in hyperspectral images

Mitigating dataset harms requires stewardship: Lessons from 1000 papers

Learning Affordance Landscapes for Interaction Exploration in 3D Environments

Individual tree crown delineation in high-resolution remote sensing images based on U-Net

Addressing materials' microstructure diversity using transfer learning

Artificial Intelligence-Based Segmentation of Residual Tumor in Histopathology of Pancreatic Cancer after Neoadjuvant Treatment


OpenStreetMap data to PostgreSQL converter

Using OpenStreetMap Data and Machine Learning to Generate Socio-Economic Indicators

ISPRS International Journal of Geo-Information

EXPLORATION OF OPEN DATA IN SOUTHEAST ASIA TO GENERATE 3D BUILDING MODELS

ISPRS annals of the photogrammetry, remote sensing and spatial information sciences

On the automated learning of air pollution prediction models from data collected by mobile sensor networks

Energy Sources, Part A: Recovery, Utilization, and Environmental Effects

Policy relevant health related liveability indicator datasets for addresses in Australia’s 21 largest cities

Pollution Prediction Model Using Data Collected by a Mobile Sensor Network

2020 5th International Conference on Smart and Sustainable Technologies (SpliTech)


The development repository for the deal.II finite element library

Scalability of High-Performance PDE Solvers

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

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

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

Gym-preCICE: Reinforcement Learning Environments for Active Flow Control


The Sherbrooke Connectivity Imaging Lab (SCIL) Python dMRI processing toolbox

Detecting microstructural deviations in individuals with deep diffusion MRI tractometry

Brain microstructural changes and fatigue after COVID-19

TractoInferno - A large-scale, open-source, multi-site database for machine learning dMRI tractography

The frontotemporal organization of the arcuate fasciculus and its relationship with speech perception in young and older amateur singers and non‐singers

Short superficial white matter and aging: A longitudinal multi-site study of 1293 subjects and 2711 sessions

Reproducible protocol to obtain and measure first-order relay human thalamic white-matter tracts

Multi-tract multi-symptom relationships in pediatric concussion

Structural Connectivity Alterations in Operculo-Insular Epilepsy

Modern Technology in Multi-Shell Diffusion MRI Reveals Diffuse White Matter Changes in Young Adults With Relapsing-Remitting Multiple Sclerosis

White matter tract microstructure, macrostructure, and associated cortical gray matter morphology across the lifespan

bioRxiv : the preprint server for biology


R Interface to Keras

DeepTriangle: A Deep Learning Approach to Loss Reserving

Estimation of paddy rice leaf area index using machine learning methods based on hyperspectral data from multi-year experiments

Semantic Segmentation Deep Learning for Extracting Surface Mine Extents from Historic Topographic Maps

Native molecule sequencing by nano-ID reveals synthesis and stability of RNA isoforms

Unveiling the nuclear matter EoS from neutron star properties: a supervised machine learning approach

Journal of Cosmology and Astroparticle Physics

Machine-learning-based prediction models for high-need high-cost patients using nationwide clinical and claims data

RoFL: Robustness of Secure Federated Learning

Regional Mapping and Spatial Distribution Analysis of Canopy Palms in an Amazon Forest Using Deep Learning and VHR Images

Sparse Convolutional Neural Networks for Genome-Wide Prediction

Forecasting in Blockchain-based Local Energy Markets


A Neural Net Training Interface on TensorFlow, with focus on speed + flexibility

Deep Residual Learning for Image Recognition

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

Mask R-CNN

Squeeze-and-Excitation Networks

Feature Pyramid Networks for Object Detection

Image-to-Image Translation with Conditional Adversarial Networks

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

Unsupervised Representation Learning with Deep Convolutional Generative Adversarial Networks

Playing Atari with Deep Reinforcement Learning

Aggregated Residual Transformations for Deep Neural Networks


Various algorithms for analysing genomics data

Unscrambling cancer genomes via integrated analysis of structural variation and copy number

Genetic immune escape landscape in primary and metastatic cancer

Genetic Subgroups Inform on Pathobiology in Adult and Pediatric Burkitt Lymphoma

Enhancing sensitivity and controlling false discovery rate in somatic indel discovery

Distinct Genomic Profiles Are Associated with Treatment Response and Survival in Ovarian Cancer

Unified framework for patient-derived, tumor-organoid-based predictive testing of standard-of-care therapies in metastatic colorectal cancer

Lost by Transcription: Fork Failures, Elevated Expression, and Clinical Consequences Related to Deletions in Metastatic Colorectal Cancer

International journal of molecular sciences

Familial Occurrence of Adult Granulosa Cell Tumors: Analysis of Whole-Genome Germline Variants

Non-homologous end joining shapes the genomic rearrangement landscape of chromothripsis from mitotic errors

H&E image analysis pipeline for quantifying morphological features


Facilitating the design, comparison and sharing of deep text matching models.

Text Matching as Image Recognition

Response Ranking with Deep Matching Networks and External Knowledge in Information-seeking Conversation Systems

International ACM SIGIR Conference on Research and Development in Information Retrieval

A Hybrid Retrieval-Generation Neural Conversation Model

A study on the Interpretability of Neural Retrieval Models using DeepSHAP

PROCEEDINGS OF THE 42ND INTERNATIONAL ACM SIGIR CONFERENCE ON RESEARCH AND DEVELOPMENT IN INFORMATION RETRIEVAL (SIGIR '19)

MatchZoo: A Toolkit for Deep Text Matching

Neural IR Meets Graph Embedding: A Ranking Model for Product Search

IART: Intent-aware Response Ranking with Transformers in Information-seeking Conversation Systems

Impact of Training Dataset Size on Neural Answer Selection Models

Multi-Perspective Relevance Matching with Hierarchical ConvNets for Social Media Search

Learning to Create Better Ads: Generation and Ranking Approaches for Ad Creative Refinement


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

Shaping photovoltaic array output to align with changing wholesale electricity price profiles

Zenodo (CERN European Organization for Nuclear Research)


A multi-backend graph learning library.

Dynamic Graph CNN for Learning on Point Clouds

Graph Mining for Cybersecurity: A Survey

Minimum Topology Attacks for Graph Neural Networks

GammaGL: A Multi-Backend Library for Graph Neural Networks

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

Provable Training for Graph Contrastive Learning


RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

Farview: Disaggregated Memory with Operator Off-loading for Database Engines

Regex matching with counting-set automata

Proceedings of the ACM on Programming Languages

Linear Parsing Expression Grammars

Sequential Circuits from Regular Expressions Revisited

Tagged Deterministic Finite Automata with Lookahead

Fast Matching of Regular Patterns with Synchronizing Counting (Technical Report)

Linear Matching of JavaScript Regular Expressions

The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions

Stream Processing using Grammars and Regular Expressions

Derivative Based Extended Regular Expression Matching Supporting Intersection, Complement and Lookarounds


The Kalibr visual-inertial calibration toolbox

The Multivehicle Stereo Event Camera Dataset: An Event Camera Dataset for 3D Perception

International Conference on Robotics and Automation

The TUM VI Benchmark for Evaluating Visual-Inertial Odometry

Are We Ready for Service Robots? The OpenLORIS-Scene Datasets for Lifelong SLAM

Active Interaction Force Control for Contact-Based Inspection With a Fully Actuated Aerial Vehicle

NTU VIRAL: A visual-inertial-ranging-lidar dataset, from an aerial vehicle viewpoint

The International Journal of Robotics Research

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

The Double Sphere Camera Model

Keyframe-based Direct Thermal-Inertial Odometry

4Seasons: A Cross-Season Dataset for Multi-Weather SLAM in Autonomous Driving

C-blox: A Scalable and Consistent TSDF-based Dense Mapping Approach


zkSnark circuit compiler

Non-Interactive Zero-Knowledge for Blockchain: A Survey

Blockchain Based Zero-Knowledge Proof of Location in IoT

International Conference on Communications

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

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

Formal Verification of Zero-Knowledge Circuits

International Workshop on the ACL2 Theorem Prover and Its Applications

opp/ai: Optimistic Privacy-Preserving AI on Blockchain

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

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


Miami InSAR time-series software in Python

Small baseline InSAR time series analysis: Unwrapping error correction and noise reduction

LiCSBAS: An Open-Source InSAR Time Series Analysis Package Integrated with the LiCSAR Automated Sentinel-1 InSAR Processor

Earthquake Swarms Triggered by Groundwater Extraction Near the Dead Sea Fault

Evolution Assessment of Mining Subsidence Characteristics Using SBAS and PS Interferometry in Sanshandao Gold Mine, China

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

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

Localized uplift, widespread subsidence, and implications for sea level rise in the New York City metropolitan area

MONITORING OF LAND SURFACE DISPLACEMENT BASED ON SBAS-INSAR TIME-SERIES AND GIS TECHNIQUES: A CASE STUDY OVER THE SHIRAZ METROPOLIS, IRAN


This is the official development repository for BCFtools. See installation instructions and other documentation here http://samtools.github.io/bcftools/howtos/install.html

A global reference for human genetic variation

Twelve years of SAMtools and BCFtools

BCFtools/RoH: a hidden Markov model approach for detecting autozygosity from next-generation sequencing data

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

Korean Variant Archive (KOVA): a reference database of genetic variations in the Korean population

Genomic investigations of unexplained acute hepatitis in children

Assessment of Genetic Diversity and Population Structure in Iranian Cannabis Germplasm

Conformation of sister chromatids in the replicated human genome

The Welwitschia genome reveals a unique biology underpinning extreme longevity in deserts

The evolution of a counter-defense mechanism in a virus constrains its host range


Simulate genealogical trees and genomic sequence data using population genetic models

Efficient ancestry and mutation simulation with msprime 1.0

Coalescent Simulation with msprime

Sweepstakes reproductive success via pervasive and recurrent selective sweeps

Coupling Wright-Fisher and coalescent dynamics for realistic simulation of population-scale datasets


OpenMMLab Computer Vision Foundation

The KFIoU Loss for Rotated Object Detection

Detecting Rotated Objects as Gaussian Distributions and Its 3-D Generalization

SkySense: A Multi-Modal Remote Sensing Foundation Model Towards Universal Interpretation for Earth Observation Imagery

TransKD: Transformer Knowledge Distillation for Efficient Semantic Segmentation

High-Resolution Swin Transformer for Automatic Medical Image Segmentation

Federated Self-supervised Learning for Video Understanding

An End-to-End Multi-Task Learning Model for Image-based Table Recognition

Rethinking Image-based Table Recognition Using Weakly Supervised Methods

Proceedings of the 12th International Conference on Pattern Recognition Applications and Methods

FRNet: Frustum-Range Networks for Scalable LiDAR Segmentation

RevBiFPN: The Fully Reversible Bidirectional Feature Pyramid Network


Fuzzy String Matching in Python

Large-scale investigation of the reasons why potentially important genes are ignored

The Privacy Policy Landscape After the GDPR

PLSDB: advancing a comprehensive database of bacterial plasmids

Learning Contextual Representations for Semantic Parsing with Generation-Augmented Pre-Training

On the Potential of Lexico-logical Alignments for Semantic Parsing to SQL Queries

Studying health-related internet and mobile device use using web logs and smartphone records

Firebird: Predicting Fire Risk and Prioritizing Fire Inspections in Atlanta

Shades of BLEU, Flavours of Success: The Case of MultiWOZ

NAIL: A General Interactive Fiction Agent

Semi-supervised deep learning based named entity recognition model to parse education section of resumes


Treetracker is Greenstands open source Android app to track and verify reforestation efforts globally. NEW DEVELOPERS:  Please refer to the README for is issue milestones and topics!  https://github.com/Greenstand/treetracker-android/blob/master/README.md


PyTorch Wildlife: a Collaborative Deep Learning Framework for Conservation.

A deep active learning system for species identification and counting in camera trap images

Efficient Pipeline for Camera Trap Image Review

Perspectives on individual animal identification from biology and computer vision

Efficient Pipeline for Automating Species ID in new Camera Trap Projects

Biodiversity Information Science and Standards

The iWildCam 2019 Challenge Dataset

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

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

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

Pytorch-Wildlife: A Collaborative Deep Learning Framework for Conservation


Apache Lucene and Solr open-source search software

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

Indic-Transformers: An Analysis of Transformer Language Models for Indian Languages

Large expert-curated database for benchmarking document similarity detection in biomedical literature search

Database : the journal of biological databases and curation

Native Language Identification using Stacked Generalization

Native Language Identification With Classifier Stacking and Ensembles

International Conference on Computational Logic

Understanding Heart-Failure Patients EHR Clinical Features via SHAP Interpretation of Tree-Based Machine Learning Model Predictions

Norwegian Native Language Identification

Recent Advances in Natural Language Processing

SMDT: Selective Memory-Augmented Neural Document Translation


Repository for the Open Energy Ontology (OEO)

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


NUMA support for Linux


unofficial git repo -- report bugs/issues/pull requests on https://gitlab.torproject.org/ -- discuss proposals on tor-dev@lists.torproject

Producer Anonymity Based on Onion Routing in Named Data Networking

IEEE Transactions on Network and Service Management

Utilizing Public Blockchains for the Sybil-Resistant Bootstrapping of Distributed Anonymity Services


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

Semi-Supervised Classification with Graph Convolutional Networks

Graph Attention Networks

Inductive Representation Learning on Large Graphs

node2vec: Scalable Feature Learning for Networks

How Powerful are Graph Neural Networks?

Graph Neural Networks: A Review of Methods and Applications

Modeling Relational Data with Graph Convolutional Networks

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

Graph Convolutional Neural Networks for Web-Scale Recommender Systems

Variational Graph Auto-Encoders


This is an open-source toolkit for Heterogeneous Graph Neural Network(OpenHGNN) based on DGL.

Self-supervised Heterogeneous Graph Neural Network with Co-contrastive Learning

Multiplex Heterogeneous Graph Convolutional Network

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

Space4HGNN: A Novel, Modularized and Reproducible Platform to Evaluate Heterogeneous Graph Neural Network

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

MHNF: Multi-Hop Heterogeneous Neighborhood Information Fusion Graph Representation Learning

OpenHGNN: An Open Source Toolkit for Heterogeneous Graph Neural Network

Proceedings of the 31st ACM International Conference on Information & Knowledge Management

Automated Graph Machine Learning: Approaches, Libraries and Directions

Characterizing and Understanding HGNNs on GPUs

Zero-shot Transfer Learning within a Heterogeneous Graph via Knowledge Transfer Networks

Graph Mining for Cybersecurity: A Survey

Towards Relation-centered Pooling and Convolution for Heterogeneous Graph Learning Networks


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

OptTyper: Probabilistic Type Inference by Optimising Logical and Natural Constraints

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

Reinforcement Learning Tutor Better Supported Lower Performers in a Math Task

Do Machine Learning Models Produce TypeScript Types That Type Check?

Generation of TypeScript Declaration Files from JavaScript Code

Trace Typing: An Approach for Evaluating Retrofitted Type Systems

Automatically Assessing and Extending Code Coverage for NPM Packages

Towards a more perfect union type

SafeStrings: Representing Strings as Structured Data

Fast and Precise Type Checking for JavaScript


Scientific machine learning (SciML) benchmarks, AI for science, and (differential) equation solvers. Covers Julia, Python (PyTorch, Jax), MATLAB, R

NeuralPDE: Automating Physics-Informed Neural Networks (PINNs) with Error Approximations

Faster Policy Learning with Continuous-Time Gradients

Parallelizing Explicit and Implicit Extrapolation Methods for Ordinary Differential Equations

Differential methods for assessing sensitivity in biological models

NonlinearSolve.jl: High-Performance and Robust Solvers for Systems of
  Nonlinear Equations in Julia


molSimplify code

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

Industrial & Engineering Chemistry Research

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

Journal of chemical theory and computation

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

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

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

Physical chemistry chemical physics : PCCP

Representations and Strategies for Transferable Machine Learning Models in Chemical Discovery

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

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

Deciphering Cryptic Behavior in Bimetallic Transition Metal Complexes with Machine Learning

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


The mrremind packages contains data preprocessing for the REMIND model.


A cloud-native vector database, storage for next generation AI applications

Billion-scale similarity search with GPUs

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

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

Polysemous codes

Manu: A Cloud Native Vector Database Management System

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

Domain-specific ChatBots for Science using Embeddings


Astrophysical Multipurpose Software Environment. This is the main repository  for AMUSE

The evolution of hierarchical triple star-systems

Rate of WD-WD head-on collisions in isolated triples is too low to explain standard type Ia supernovae

On the survivability of planets in young massive clusters and its implication of planet orbital architectures in globular clusters

Monthly notices of the Royal Astronomical Society

Secular dynamics of hierarchical multiple systems composed of nested binaries, with an arbitrary number of bodies and arbitrary hierarchical structure - II. External perturbations: flybys and supernovae

Monthly Notices of the Royal Astronomical Society

The signatures of the parental cluster on field planetary systems

Collisional N-body Dynamics Coupled to Self-gravitating Magnetohydrodynamics Reveals Dynamical Binary Formation

Oort cloud Ecology

Capture of exocomets and the erosion of the Oort cloud due to stellar encounters in the Galaxy

Formation of supermassive stars in the first star clusters

Radiation shielding of protoplanetary discs in young star-forming regions


Multiresolution Adaptive Numerical Environment for Scientific Simulation

MADNESS: A Multiresolution, Adaptive Numerical Environment for Scientific Simulation

Scalable task-based algorithm for multiplication of block-rank-sparse matrices

Irregular Applications: Architectures and Algorithms

Study and evaluation of improved automatic GPU offloading method

International Journal of Parallel, Emergent and Distributed Systems

Task-Based Algorithm for Matrix Multiplication: A Step Towards Block-Sparse Tensor Computing

Combining Pseudopotential and All Electron Density Functional Theory for the Efficient Calculation of Core Spectra Using a Multiresolution Approach

Fast quantum algorithm for differential equations


The fast, light, and robust client for Ethereum-like networks.

A Survey on the Security of Blockchain Systems

A Survey on Consensus Mechanisms and Mining Strategy Management in Blockchain Networks

ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection

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

Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

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

Decentralization in Bitcoin and Ethereum Networks

Comparison of blockchain platforms: a systematic review and healthcare examples

Journal of the American Medical Informatics Association : JAMIA

Security Analysis Methods on Ethereum Smart Contract Vulnerabilities: A Survey

Blockchain-based Supply Chain Traceability: Token Recipes model Manufacturing Processes

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


Information to reproduce results from SV-COMP (MOVED, please follow the link)

Reliable benchmarking: requirements and solutions

International Journal on Software Tools for Technology Transfer (STTT)

Advances in Automatic Software Verification: SV-COMP 2020

Tools and Algorithms for Construction and Analysis of Systems

Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)


A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

Real-time collaborative multi-level modeling by conflict-free replicated data types

OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)

Keep CALM and CRDT On

The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing

Collabs: A Flexible and Performant CRDT Collaboration Framework

Mutating etcd Towards Edge Suitability


Fast Go Application Scanner

LZR: Identifying Unexpected Internet Services

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

Predicting IPv4 services across all ports

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

Deep dive into the IoT backend ecosystem

Proceedings of the 22nd ACM Internet Measurement Conference

Network Scanning and Mapping for IIoT Edge Node Device Security

International Conference on Applied Electronics

Classifying Network Vendors at Internet Scale

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

Characterizing the VPN Ecosystem in the Wild

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

Pushing Alias Resolution to the Limit


Project overview, general documentation, and white papers. The CWA development ends on May 31, 2023. You still can warn other users until April 30, 2023. More information:

Best Practice Guidance for Digital Contact Tracing Apps: A Cross-disciplinary Review of the Literature

Nationwide rollout reveals efficacy of epidemic control through digital contact tracing

Listening to Bluetooth Beacons for Epidemic Risk Mitigation

Bluetooth-based COVID-19 Proximity Tracing Proposals: An Overview

CiRA: A Tool for the Automatic Detection of Causal Relationships in Requirements Artifacts.

Risk Model of German Corona Warning App - Reloaded


A framework for quantum computing

Qibo: a framework for quantum simulation with hardware acceleration

Quantum autoencoders with enhanced data encoding

Machine Learning: Science and Technology

An open-source modular framework for quantum computing

Determining probability density functions with adiabatic quantum computing

Quantum computation capability verification protocol for noisy intermediate-scale quantum devices with the dihedral coset problem

Quantum Data Management: From Theory to Opportunities

Bug Characteristics in Quantum Software Ecosystem

Exact analytical relation between the entropies and the dominant eigenvalue of random reduced density matrices


An interactive explorer for single-cell transcriptomics data

cellxgene: a performant, scalable exploration platform for high dimensional sparse matrices

Comparison of visualization tools for single-cell RNAseq data

Single Cell Explorer, collaboration-driven tools to leverage large-scale single cell RNA-seq data

Interactive single-cell data analysis using Cellar

Accelerating single-cell genomic analysis with GPUs

Endothelial versus pronephron fate decision is modulated by the transcription factors Cloche/Npas4l, Tal1, and Lmo2

Polyphony: an Interactive Transfer Learning Framework for Single-Cell Data Analysis

IEEE transactions on visualization and computer graphics

Cyclone: an accessible pipeline to analyze, evaluate, and optimize multiparametric cytometry data

bioRxiv : the preprint server for biology

Cytosplore-Transcriptomics: a scalable inter-active framework for single-cell RNA sequencing data analysis

Adult Human, but Not Rodent, Spermatogonial Stem Cells Retain States with a Foetal-like Signature


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


Workflow Description Language - Specification and Implementations

Towards complete and error-free genome assemblies of all vertebrate species

A simple guide to de novo transcriptome assembly and annotation

Accelerating bioinformatics implementation in public health

Unifying package managers, workflow engines, and containers: Computational reproducibility with BioNix

A comprehensive genomic and transcriptomic dataset of triple-negative breast cancers

A versatile workflow to integrate RNA-seq genomic and transcriptomic data into mechanistic models of signaling pathways

Global Alliance for Genomics and Health Meets Bioconductor: Toward Reproducible and Agile Cancer Genomics at Cloud Scale

Evaluation of tools for describing, reproducing and reusing scientific workflows

Ten simple rules for large-scale data processing

Leveraging Large Language Models to Build and Execute Computational Workflows


High-quality implementations of standard and SOTA methods on a variety of tasks.

A survey of uncertainty in deep neural networks

Nuanced Metrics for Measuring Unintended Bias with Real Data for Text Classification

Simple and Principled Uncertainty Estimation with Deterministic Deep Learning via Distance Awareness

Hyperparameter Ensembles for Robustness and Uncertainty Quantification

Training independent subnetworks for robust prediction

A Simple Fix to Mahalanobis Distance for Improving Near-OOD Detection

Plex: Towards Reliability using Pretrained Large Model Extensions

Uncertainty Baselines: Benchmarks for Uncertainty & Robustness in Deep Learning

On Mixup Regularization

Soft Calibration Objectives for Neural Networks


Library for fast text representation and classification.

Enriching Word Vectors with Subword Information

Bag of Tricks for Efficient Text Classification

Word Translation Without Parallel Data

Pre-trained models for natural language processing: A survey

FastText.zip: Compressing text classification models

Unsupervised Machine Translation Using Monolingual Corpora Only

A Survey of Cross-lingual Word Embedding Models

When and Why are Pre-trained Word Embeddings Useful for Neural Machine Translation?

Automated Concatenation of Embeddings for Structured Prediction

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


A Portable Graphic Format for TeX

Feynman Integrals

Matter dependence of the four-loop QCD cusp anomalous dimension: from small angles to all angles

AutomaTikZ: Text-Guided Synthesis of Scientific Vector Graphics with TikZ

DiagrammerGPT: Generating Open-Domain, Open-Platform Diagrams via LLM Planning

dynamite: An R Package for Dynamic Multivariate Panel Models

Yquant: Typesetting quantum circuits in a human-readable language

High-accuracy numerical models of Brownian thermal noise in thin mirror coatings

Intermediate charge-breaking phases and symmetry non-restoration in the 2-Higgs-Doublet Model

Visualizing 2x2 Normal-Form Games: twoxtwogame LaTeX Package


Production-Grade Container Scheduling and Management

Performance Evaluation of Microservices Architectures using Containers

About Microservices, Containers and their Underestimated Impact on Network Performance

Boundary-Aware Segmentation Network for Mobile and Web Applications

AiiDAlab – an ecosystem for developing, executing, and sharing scientific workflows

Development of the CMS detector for the CERN LHC Run 3

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

Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP

Smart Containers Schedulers for Microservices Provision in Cloud-Fog-IoT Networks. Challenges and Opportunities

On Byzantine fault tolerance in multi-master Kubernetes clusters

Being a Mentor in open source projects


Python healpix maps tools

The Dark Energy Survey: Data Release 1

The Astrophysical Journal Supplement Series

Weak Lensing for Precision Cosmology

Annual Review of Astronomy and Astrophysics

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

Stellar Streams Discovered in the Dark Energy Survey

The Dark Energy Survey Data Release 2

Planck intermediate results. LVII. Joint Planck LFI and HFI data processing

HAL (Le Centre pour la Communication Scientifique Directe)

Dark Energy Survey Year 3 Results: Photometric Data Set for Cosmology

NIFTY – Numerical Information Field Theory - A versatile PYTHON library for signal inference

The meaning of WISE colours - I. The Galaxy and its satellites

Cross-correlating Planck CMB lensing with SDSS: lensing-lensing and galaxy-lensing cross-correlations


:snake: Complete C99 parser in pure Python

Generating Adversarial Examples for Holding Robustness of Source Code Processing Models

THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE

Modular Tree Network for Source Code Representation Learning

Deep Learning for Bug-Localization in Student Programs

Communication-Closed Asynchronous Protocols

TreeCaps: Tree-Based Capsule Networks for Source Code Processing

Automatic Loop Kernel Analysis and Performance Modeling With Kerncraft

International Workshop on Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems

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

Interpretation-Based Violation Witness Validation for C: NITWIT

Automatic Creation of High-bandwidth Memory Architectures from Domain-specific Languages: The Case of Computational Fluid Dynamics

Learning to Make Compiler Optimizations More Effective


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

Trace Encoding in Process Mining: a survey and benchmarking

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

Graph-Based Token Replay for Online Conformance Checking

PM4Py.LLM: a Comprehensive Module for Implementing PM on LLMs


An extensible YANG validator and converter in python

Experimental evaluation of control and monitoring protocols for optical SDN networks and equipment [Invited Tutorial]

Journal of Optical Communications and Networking

Emulating Software-Defined Disaggregated Optical Networks in a Containerized Framework

YANG2UML: Bijective Transformation and Simplification of YANG to UML

Network Programmability and Automation in Optical Networks

Zenodo (CERN European Organization for Nuclear Research)


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

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

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

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

Understanding TEE Containers, Easy to Use? Hard to Trust

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

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


Data parallel C++ mathematical object library

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

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

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

Proton decay matrix elements on the lattice at physical pion mass

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

Multi-Grid Lanczos

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

Near-conformal dynamics in a chirally broken system

Nonperturbative determination of β functions for SU(3) gauge theories with 10 and 12 fundamental flavors using domain wall fermions

Lattice QCD Calculation of the Pion Mass Splitting


An open source smart contract platform

When Services Computing Meets Blockchain: Challenges and Opportunities

Challenges and Common Solutions in Smart Contract Development

IEEE Transactions on Software Engineering

Characterizing and Detecting WebAssembly Runtime Bugs

Demystifying Software Release Note Issues on GitHub

A Survey on EOSIO Systems Security: Vulnerability, Attack, and Mitigation

Designing for Participation and Change in Digital Institutions

Understanding the Evolution of Blockchain Ecosystems: A Longitudinal Measurement Study of Bitcoin, Ethereum, and EOSIO

Technology Review of Blockchain Data Privacy Solutions


MONAI Tutorials

UNETR: Transformers for 3D Medical Image Segmentation

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

Rapid Artificial Intelligence Solutions in a Pandemic - The COVID-19-20 Lung CT Lesion Segmentation Challenge

Unsupervised Brain Anomaly Detection and Segmentation with Transformers

Cats: Complementary CNN and Transformer Encoders for Segmentation

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

Unconditional Latent Diffusion Models Memorize Patient Imaging Data

Feasibility of artificial intelligence-based decision supporting system in tolvaptan prescription for autosomal dominant polycystic kidney disease


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

ArcFace: Additive Angular Margin Loss for Deep Face Recognition

IEEE Transactions on Pattern Analysis and Machine Intelligence

VGGFace2: A dataset for recognising faces across pose and age

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

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

RetinaFace: Single-stage Dense Face Localisation in the Wild

The 2021 NIST Speaker Recognition Evaluation

DataComp: In search of the next generation of multimodal datasets

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

Linkage Based Face Clustering via Graph Convolution Network

ElasticFace: Elastic Margin Loss for Deep Face Recognition


Creative Commons Attribution Share Alike 4.0 International

Publications from Trail of Bits

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

SoK: Decentralized Finance (DeFi) Attacks

What are the Actual Flaws in Important Smart Contracts (and How Can We Find Them)?

Risk assessment at AGI companies: A review of popular risk assessment techniques from other safety-critical industries


Verified Software Toolchain

VST-Floyd: A Separation Logic Tool to Verify Correctness of C Programs

Verified Correctness and Security of mbedTLS HMAC-DRBG

Conference on Computer and Communications Security

Proof Pearl: Magic Wand as Frame

Compositional Pre-processing for Automated Reasoning in Dependent Type Theory

Bringing Iris into the Verified Software Toolchain

Efficient Extensional Binary Tries

An Iris Instance for Verifying CompCert C Programs

Proceedings of the ACM on programming languages

VST-Flow: Fine-grained low-level reasoning about real-world C code

Verifying Programs with Logic and Extended Proof Rules: Deep Embedding vs. Shallow Embedding


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

Improving Robustness Without Sacrificing Accuracy with Patch Gaussian Augmentation

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

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


scikit-learn: machine learning in Python

Scikit-learn: Machine Learning in Python

SAGA: A Fast Incremental Gradient Method With Support for Non-Strongly Convex Composite Objectives

Accelerated Hierarchical Density Based Clustering

Unmasking Clever Hans predictors and assessing what machines really learn

Assessing and tuning brain decoders: Cross-validation, caveats, and guidelines

A blood atlas of COVID-19 defines hallmarks of disease severity and specificity

Prediction of Acute Kidney Injury after Liver Transplantation: Machine Learning Approaches vs. Logistic Regression Model

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

The Shape of Learning Curves: a Review

Machine Learning in Business Process Monitoring: A Comparison of Deep Learning and Classical Approaches Used for Outcome Prediction


Lightweight library to build and train neural networks in Theano

A survey on deep learning in medical image analysis

Distillation as a Defense to Adversarial Perturbations against Deep Neural Networks

Deep Convolutional Neural Networks and Data Augmentation for Environmental Sound Classification

Deep learning for computational biology

Neural NILM: Deep Neural Networks Applied to Energy Disaggregation

BuildSys'15 : proceedings of the 2nd ACM International Conference on Embedded Systems for Energy-Efficient Buildings : November 4-5, 2015, Seoul, South Korea. ACM Conference on Embedded Systems for Energy-Efficient Buildings (2nd : 2015...

ML-Leaks: Model and Data Independent Membership Inference Attacks and Defenses on Machine Learning Models

Learning Representations from EEG with Deep Recurrent-Convolutional Neural Networks

Generative and Discriminative Voxel Modeling with Convolutional Neural Networks

Modeling Temporal Dynamics and Spatial Configurations of Actions Using Two-Stream Recurrent Neural Networks

Group sparse regularization for deep neural networks


eBPF-based Networking, Security, and Observability

Lic-Sec: an enhanced AppArmor Docker security profile generator

Synthesizing Safe and Efficient Kernel Extensions for Packet Processing

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers

Safe and Efficient Remote Application Code Execution on Disaggregated NVM Storage with eBPF

Aggregation-Based Gossip for Certificate Transparency

Aggregation-Based Certificate Transparency Gossip

BPF-oF: Storage Function Pushdown Over the Network


Caffe: a fast open framework for deep learning.

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

ZynqNet: An FPGA-Accelerated Embedded Convolutional Neural Network

Fast and robust multiple ColorChecker detection using deep convolutional neural networks

MoRS: An Approximate Fault Modelling Framework for Reduced-Voltage SRAMs

μ-cuDNN: Accelerating Deep Learning Frameworks with Micro-Batching


Linux-based partitioning hypervisor

Look Mum, no VM Exits! (Almost)

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

Virtualizing Programmable Logic Controllers: Toward a Convergent Approach

Boomerang: Real-Time I/O Meets Legacy Systems

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

Autonomous Vehicles: Open-Source Technologies, Considerations, and Development

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

Mediterranean Conference on Embedded Computing

On Temporal Isolation Assessment in Virtualized Railway Signaling as a Service Systems

vLibOS: Babysitting OS Evolution with a Virtualized Library OS


Public repo for HF blog posts

Long-Context Language Modeling with Parallel Context Encoding

Text and data mining exceptions in the development of generative AI models: What the EU member states could learn from the Japanese "nonenjoyment" purposes?

The Journal of World Intellectual Property

Evaluating and Explaining Large Language Models for Code Using Syntactic Structures

Ecosystem of Large Language Models for Code

Improving In-Context Learning with Prediction Feedback for Sentiment Analysis


A powerful  Android chart view / graph view library, supporting line- bar- pie- radar- bubble- and candlestick charts as well as scaling, panning and animations.

Empowering Children with ASD and Their Parents: Design of a Serious Game for Anxiety and Stress Reduction

Verified three-way program merge

Proceedings of the ACM on Programming Languages

Haystack: A Multi-Purpose Mobile Vantage Point in User Space

Refactoring Graphs: Assessing Refactoring over Time

A Smartphone-Based System for Automated Bedside Detection of Crackle Sounds in Diffuse Interstitial Pneumonia Patients

Context Mining of Sedentary Behaviour for Promoting Self-Awareness Using a Smartphone

m-SFT: A Novel Mobile Health System to Assess the Elderly Physical Condition

Design and Experimental Validation of a Compact Low-Cost Weather Station for Solar Photovoltaic Applications

Towards Context-Aware Smart Healthcare Platform

IJEEC - INTERNATIONAL JOURNAL OF ELECTRICAL ENGINEERING AND COMPUTING

Feasibility of a Waistband-Type Wireless Wearable Electrocardiogram Monitoring System Based on a Textile Electrode: Development and Usability Study


a basic OpenSCENARIO player

SafeBench: A Benchmarking Platform for Safety Evaluation of Autonomous Vehicles

The ConScenD Dataset: Concrete Scenarios from the highD Dataset According to ALKS Regulation UNECE R157 in OpenX

One Ontology to Rule Them All: Corner Case Scenarios for Autonomous Driving

ScenarioNet: Open-Source Platform for Large-Scale Traffic Scenario Simulation and Modeling

A Taxonomy for Quality in Simulation-Based Development and Testing of Automated Driving Systems

Methodological challenges of scenario generation validation: A rear-end crash-causation model for virtual safety assessment

Automatic Odometry-Less OpenDRIVE Generation From Sparse Point Clouds

2023 IEEE 26th International Conference on Intelligent Transportation Systems (ITSC)

CARLA-Autoware-Bridge: Facilitating Autonomous Driving Research with a
  Unified Framework for Simulation and Module Development

Automatic Traffic Scenario Conversion from OpenSCENARIO to CommonRoad


A library for scientific machine learning and physics-informed learning

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

DeepXDE: A deep learning library for solving differential equations

fPINNs: Fractional Physics-Informed Neural Networks

A composite neural network that learns from multi-fidelity data: Application to function approximation and inverse PDE problems

Physics-informed neural networks with hard constraints for inverse design

Gradient-enhanced physics-informed neural networks for forward and inverse PDE problems

A comprehensive study of non-adaptive and residual-based adaptive sampling for physics-informed neural networks

DeepM&Mnet: Inferring the electroconvection multiphysics fields based on operator approximation by neural networks

DeepM&Mnet for hypersonics: Predicting the coupled flow and finite-rate chemistry behind a normal shock using neural-network approximation of operators

MIONet: Learning multiple-input operators via tensor product


Multibody Dynamics Library designed for Free Floating Robots

Incremental Semiparametric Inverse Dynamics Learning

International Conference on Robotics and Automation

Simultaneous Floating-Base Estimation of Human Kinematics and Joint Torques

A Control Architecture with Online Predictive Planning for Position and Torque Controlled Walking of Humanoid Robots

Dynamic Complementarity Conditions and Whole-Body Trajectory Optimization for Humanoid Robot Locomotion

Predictive Whole-Body Control of Humanoid Robot Locomotion

Large-scale Kernel Methods and Applications to Lifelong Robot Learning


GNU toolchain for RISC-V, including GCC

PiDRAM: A Holistic End-to-end FPGA-based Framework for Processing-in-DRAM

Test-driving RISC-V Vector hardware for HPC

Approximate CPU Design for IoT End-Devices with Learning Capabilities

RISC-V Instruction Set Extensions for Lightweight Symmetric Cryptography

IACR Transactions on Cryptographic Hardware and Embedded Systems

Backporting RISC-V Vector assembly

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

RISC-Vlim, a RISC-V Framework for Logic-in-Memory Architectures

Is RISC-V ready for HPC prime-time: Evaluating the 64-core Sophon SG2042 RISC-V CPU

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

HIVE: Scalable Hardware-Firmware Co-Verification Using Scenario-Based Decomposition and Automated Hint Extraction

Design and implementation of a synchronous Hardware Performance Monitor
  for a RISC-V space-oriented processor


The "Yellow Paper": Ethereum's formal specification

A Survey on the Security of Blockchain Systems

Optimized Execution of Business Processes on Blockchain

Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing

Selfish Mining in Ethereum

New kids on the block: an analysis of modern blockchains

Clockwork Finance: Automated Analysis of Economic Security in Smart Contracts

Atomic Crosschain Transactions for Ethereum Private Sidechains

Survey of crosschain communications protocols

Precise Attack Synthesis for Smart Contracts

Blockchain Use in IoT for Privacy-Preserving Anti-Pandemic Home Quarantine


tensorboard for pytorch (and chainer, mxnet, numpy, ...)

Convolutional neural networks for classification of Alzheimer's disease: Overview and reproducible evaluation

Horizon: Facebook's Open Source Applied Reinforcement Learning Platform

On (Emergent) Systematic Generalisation and Compositionality in Visual Referential Games with Straight-Through Gumbel-Softmax Estimator

A Decreasing Scaling Transition Scheme from Adam to SGD

GammaLearn - first steps to apply Deep Learning to the Cherenkov Telescope Array data

ReferentialGym: A Nomenclature and Framework for Language Emergence & Grounding in (Visual) Referential Games.

CogIE: An Information Extraction Toolkit for Bridging Texts and CogNet

Meeting of the Association for Computational Linguistics

Visual Referential Games Further the Emergence of Disentangled Representations

Meta-Referential Games to Learn Compositional Learning Behaviours


OpenDILab Decision AI Engine. The Most Comprehensive Reinforcement Learning Framework B.P.

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

Addressing Function Approximation Error in Actor-Critic Methods

Dueling Network Architectures for Deep Reinforcement Learning

Transformer-XL: Attentive Language Models Beyond a Fixed-Length Context

Generative Adversarial Imitation Learning

Curiosity-driven Exploration by Self-supervised Prediction

Hindsight Experience Replay

QMIX: Monotonic Value Function Factorisation for Deep Multi-Agent Reinforcement Learning

IMPALA: Scalable Distributed Deep-RL with Importance Weighted Actor-Learner Architectures

A Distributional Perspective on Reinforcement Learning


The MongoDB Database

Large expert-curated database for benchmarking document similarity detection in biomedical literature search

Database : the journal of biological databases and curation

dictyExpress: a web-based platform for sequence data management and analytics in Dictyostelium and beyond

Automated system performance testing at MongoDB

Proceedings of the workshop on Testing Database Systems

Extreme modelling in practice

Linking Extragalactic Transients and Their Host Galaxy Properties: Transient Sample, Multiwavelength Host Identification, and Database Construction

Formal verification of a distributed dynamic reconfiguration protocol

Design and Analysis of a Logless Dynamic Reconfiguration Protocol

Stop Words for Processing Software Engineering Documents: Do they Matter?

Priority-Driven Differentiated Performance for NoSQL Database-as-a-Service

The XENON1T Data Distribution and Processing Scheme


functorch is JAX-like composable function transforms for PyTorch.

End-to-end symbolic regression with transformers

Theseus: A Library for Differentiable Nonlinear Optimization

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

Diffusion Models for Causal Discovery via Topological Ordering

MTP-GO: Graph-Based Probabilistic Multi-Agent Trajectory Prediction With Neural ODEs

Diagnosing and Fixing Manifold Overfitting in Deep Generative Models

Thinking Two Moves Ahead: Anticipating Other Users Improves Backdoor Attacks in Federated Learning

Evaluation of Differentially Constrained Motion Models for Graph-Based Trajectory Prediction

Neural Implicit Manifold Learning for Topology-Aware Density Estimation

Uncertainty Estimation for Computed Tomography with a Linearised Deep Image Prior


R Interface to Python

ROC and AUC with a Binary Predictor: a Potentially Misleading Metric

scds: Computational Annotation of Doublets in Single Cell RNA Sequencing Data

Advances in spatial transcriptomic data analysis

scvi-tools: a library for deep probabilistic analysis of single-cell omics data

A Tidy Data Model for Natural Language Processing using cleanNLP

TAS-Seq is a robust and sensitive amplification method for bead-based scRNA-seq

Dynamic Changes in Uterine NK Cell Subset Frequency and Function Over the Menstrual Cycle and Pregnancy

Single-Cell Analysis Revealed the Role of CD8+ Effector T Cells in Preventing Cardioprotective Macrophage Differentiation in the Early Phase of Heart Failure

Lilikoi V2.0: a deep learning–enabled, personalized pathway-based R package for diagnosis and prognosis predictions using metabolomics data

The current state of single-cell proteomics data analysis


Vitis AI is Xilinx’s development stack for AI inference on Xilinx hardware platforms, including both edge devices and Alveo cards.

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

Fast convolutional neural networks on FPGAs with hls4ml

Machine Learning: Science and Technology

DNNVM: End-to-End Compiler Leveraging Heterogeneous Optimizations on FPGA-Based CNN Accelerators

A Systematic Assessment of Embedded Neural Networks for Object Detection

IEEE International Conference on Emerging Technologies and Factory Automation

WinoCNN: Kernel Sharing Winograd Systolic Array for Efficient Convolutional Neural Network Acceleration on FPGAs

Efficient Edge-AI Application Deployment for FPGAs

Accurate, Low-latency, Efficient SAR Automatic Target Recognition on FPGA

International Conference on Field-Programmable Logic and Applications

Resource-constrained FPGA implementation of YOLOv2

Adaptive Subsampling for ROI-Based Visual Tracking: Algorithms and FPGA Implementation

Understanding the Potential of FPGA-Based Spatial Acceleration for Large Language Model Inference


UNSUPPORTED Fork of OpenSSL 1.1.1 that includes prototype quantum-resistant algorithms and ciphersuites based on liboqs PLEASE SWITCH TO OQS-Provider for OpenSSL 3

Secure IoT in the Era of Quantum Computers-Where Are the Bottlenecks?

Resilience Optimization of Post-Quantum Cryptography Key Encapsulation Algorithms


Track emissions from Compute and recommend ways to reduce their impact on the environment.

On the Opportunities and Risks of Foundation Models

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

Data-Centric Green AI An Exploratory Empirical Study

Shrinking Bigfoot: Reducing wav2vec 2.0 footprint

BioReader: a Retrieval-Enhanced Text-to-Text Transformer for Biomedical Literature

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

Energy Efficiency of Training Neural Network Architectures: An Empirical Study

Experimental Standards for Deep Learning in Natural Language Processing Research

Towards Energy-Aware Federated Traffic Prediction for Cellular Networks

Watt For What: Rethinking Deep Learning's Energy-Performance Relationship

A Survey on Energy Consumption and Environmental Impact of Video Streaming


forward and reverse mode automatic differentiation primitives for Julia Base + StdLibs

Learning with Combinatorial Optimization Layers: a Probabilistic Approach


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

StarCoder: may the source be with you!

SantaCoder: don't reach for the stars!

Unveiling Memorization in Code Models

Sniffing for Codebase Secret Leaks with Known Production Secrets in Industry

Open Source Solutions for Vulnerability Assessment: A Comparative Analysis

A Comparative Study of Software Secrets Reporting by Secret Detection Tools


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

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

Fast Sparse ConvNets

Rethinking Vision Transformers for MobileNet Size and Speed

The Indirect Convolution Algorithm

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

Efficient Memory Management for Deep Neural Net Inference

Performance Evaluation of Offline Speech Recognition on Edge Devices

The Two-Pass Softmax Algorithm

Towards Understanding the Faults of JavaScript-Based Deep Learning Systems

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

StreamVC: Real-Time Low-Latency Voice Conversion


Voilà turns Jupyter notebooks into standalone web applications

Appyters: Turning Jupyter Notebooks into data-driven web apps

Symphony: Composing Interactive Interfaces for Machine Learning

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

Simulation and evaluation of sustainable climate trajectories for aviation

Notable: On-the-fly Assistant for Data Storytelling in Computational Notebooks

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

ManiVault: A Flexible and Extensible Visual Analytics Framework for High-Dimensional Data

PRISMA: A robust and intuitive tool for high-throughput processing of chemical spectra


Coronavirus COVID-19 (2019-nCoV) Data Repository and Dashboard for South Africa

Rapid epidemic expansion of the SARS-CoV-2 Omicron variant in southern Africa

Covid-19: Open-Data Resources for Monitoring, Modeling, and Forecasting the Epidemic

The Spread of SARS-CoV-2 Variant Omicron with a Doubling Time of 2.0–3.3 Days Can Be Explained by Immune Evasion

COVID-19 pandemic dynamics in South Africa and epidemiological characteristics of three variants of concern (Beta, Delta, and Omicron)

medRxiv : the preprint server for health sciences

Cost-effectiveness of public health strategies for COVID-19 epidemic control in South Africa: a microsimulation modelling study

The spread of SARS-CoV-2 variant Omicron with the doubling time of 2.0–3.3 days can be explained by immune evasion

Use of Available Data To Inform The COVID-19 Outbreak in South Africa: A Case Study

Application of optimal control to the dynamics of COVID-19 disease in South Africa

The global response: How cities and provinces around the globe tackled Covid-19 outbreaks in 2021

The Lancet regional health. Southeast Asia

A vaccination model for COVID-19 in Gauteng, South Africa


OSv, a new operating system for the cloud.

A Security Perspective on Unikernels

EXPLORING TIMEOUT AS A PERFORMANCE AND AVAILABILITY FACTOR OF DISTRIBUTED REPLICATED DATABASE SYSTEMS

Loupe: Driving the Development of OS Compatibility Layers

Is Parallel Programming Hard, And, If So, What Can You Do About It? (Second Edition)


CLI and Rust libraries for low-level manipulation of WebAssembly modules

WASMixer: Binary Obfuscation for WebAssembly

WASM-MUTATE: Fast and Effective Binary Diversification for WebAssembly


A high performance implementation of HDBSCAN clustering.

Accelerated Hierarchical Density Based Clustering

Manifold learning of four-dimensional scanning transmission electron microscopy

Intent Mining from past conversations for conversational agent

XMMPZCAT: A catalogue of photometric redshifts for X-ray sources

How much does a word weigh? Weighting word embeddings for word sense induction

The (im)possibility of strong chemical tagging

Growth factor signaling predicts therapy resistance mechanisms and defines neuroblastoma subtypes

Projection Path Explorer: Exploring Visual Patterns in Projected Decision-making Paths

ACM Transactions on Interactive Intelligent Systems

Endogenous tagging of Unc-13 reveals nanoscale reorganization at active zones during presynaptic homeostatic potentiation

A Network-Based Approach to QAnon User Dynamics and Topic Diversity During the COVID-19 Infodemic


OpenMDAO repository.

Large-Scale Path-Dependent Optimization of Supersonic Aircraft

Multi-fidelity wake modelling based on Co-Kriging method

SCIENCE OF MAKING TORQUE FROM WIND (TORQUE 2016)


Parallel solvers for sparse linear systems featuring multigrid methods.

ExaWind: A multifidelity modeling and simulation environment for wind energy

PyAMG: Algebraic Multigrid Solvers in Python

Disks as Inhomogeneous, Anisotropic Gaussian Random Fields

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

Parallel performance of algebraic multigrid domain decomposition

Numerical Linear Algebra with Applications

Analysis of optimal preconditioners for CutFEM

Space-time hexahedral finite element methods for parabolic evolution problems

Parallel Performance of Algebraic Multigrid Domain Decomposition (AMG-DD)

Optimal preconditioners for a Nitsche stabilized fictitious domain finite element method

A Multi-GPU Aggregation-Based AMG Preconditioner for Iterative Linear Solvers


Plenum Byzantine Fault Tolerant Protocol

Blockchain Consensus Algorithms: A Survey

Full-text Search for Verifiable Credential Metadata on Distributed Ledgers

Key Event Receipt Infrastructure (KERI)

A Note on the Blockchain Trilemma for Decentralized Identity: Learning from Experiments with Hyperledger Indy


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

Automatically identifying potential regressions in the layout of responsive web pages

Software testing, verification & reliability

Lightweight, Multi-Stage, Compiler-Assisted Application Specialization

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

Managing data replication and distribution in the fog with FReD

Bad Snakes: Understanding and Improving Python Package Index Malware Scanning

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

Lessons Learned Developing an Assembly System for WRS 2020 Assembly Challenge

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

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


Tensorforce: a TensorFlow library for applied reinforcement learning

Dopamine: A Research Framework for Deep Reinforcement Learning

A review on Deep Reinforcement Learning for Fluid Mechanics

Deep Reinforcement Learning for Join Order Enumeration

International Conference on Management of Data

Reinforcement Learning for Selective Key Applications in Power Systems: Recent Advances and Future Challenges

Robust active flow control over a range of Reynolds numbers using an artificial neural network trained through deep reinforcement learning

Tianshou: a Highly Modularized Deep Reinforcement Learning Library

Designing an adaptive production control system using reinforcement learning

Deep reinforcement learning in fluid mechanics: A promising method for both active flow control and shape optimization

水动力学研究与进展.B辑

MushroomRL: Simplifying Reinforcement Learning Research

Adaptive Behavior Generation for Autonomous Driving using Deep Reinforcement Learning with Compact Semantic States


Neural Network Compression Framework for enhanced OpenVINO™ inference

Outlier Suppression: Pushing the Limit of Low-bit Transformer Language Models

Neural Network Compression Framework for fast model inference

Shears: Unstructured Sparsity with Neural Low-rank Adapter Search


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


matplotlib: plotting with Python

Highly accurate protein structure prediction with AlphaFold

Highly accurate protein structure prediction for the human proteome

Accurate structure prediction of biomolecular interactions with AlphaFold 3

A foundation model for generalizable disease detection from retinal images

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

DisCoPy: Monoidal Categories in Python

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

Updated constraints on amplitude and tilt of the tensor primordial spectrum

Atmospheric Reconnaissance of TRAPPIST-1 b with JWST/NIRISS: Evidence for Strong Stellar Contamination in the Transmission Spectra

PDE-Refiner: Achieving Accurate Long Rollouts with Neural PDE Solvers


OCI Image Format

The role of metadata in reproducible computational research

Reference Architecture for Running Computationally Intensive Physics-Based Digital Twins of Heavy Equipment in a Heterogeneous Execution Environment

A Qualitative and Quantitative Analysis of Container Engines

A sustainable infrastructure concept for improved accessibility, reusability, and archival of research software

Containerization in ATLAS Software Development and Data Production