KenLM: Faster and Smaller Language Model Queries

BLiMP: The Benchmark of Linguistic Minimal Pairs for English

An Empirical Comparison of Simple Domain Adaptation Methods for Neural Machine Translation

言語処理学会年次大会発表論文集(Web)

Fully Non-autoregressive Neural Machine Translation: Tricks of the Trade

Uncertainty-Aware Curriculum Learning for Neural Machine Translation

Meeting of the Association for Computational Linguistics

Natural Language Statistical Features of LSTM-Generated Texts

IEEE transactions on neural networks and learning systems

On the Relation between Linguistic Typology and (Limitations of) Multilingual Language Modeling

Empirical Methods in Natural Language Processing

Lower Perplexity is Not Always Human-Like

Language Modeling for Morphologically Rich Languages: Character-Aware Modeling for Word-Level Prediction

Transactions of the Association for Computational Linguistics

Extracting Parallel Sentences with Bidirectional Recurrent Neural Networks to Improve Machine Translation

Choosing the Right Word: Using Bidirectional LSTM Tagger for Writing Support Systems


Graphical Editor to create BehaviorTrees. Compliant with BehaviorTree.CPP

On the Implementation of Behavior Trees in Robotics

International Conference on Robotics and Automation

KT-BT: A Framework for Knowledge Transfer Through Behavior Trees in Multirobot Systems

Evolution of a Cognitive Architecture for Social Robots: Integrating Behaviors and Symbolic Knowledge

A Toolchain to Design, Execute, and Monitor Robots Behaviors


A Python scikit for building and analyzing recommender systems

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

New Vector-Space Embeddings for Recommender Systems

Improving Accountability in Recommender Systems Research Through Reproducibility

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

Demystifying Language Model Forgetting with Low-rank Example Associations


Asynchronous Distributed Hyperparameter Optimization.

Hyperparameter optimization: Foundations, algorithms, best practices, and open challenges

HyperNOMAD: Hyperparameter optimization of deep neural networks using mesh adaptive direct search

Emergent Communication under Competition

Limitations of weak labels for embedding and tagging

Use of static surrogates in hyperparameter optimization


This is now the official location of the Merlin project.

The Voice Conversion Challenge 2018: Promoting Development of Parallel and Nonparallel Methods

Non-Parallel Sequence-to-Sequence Voice Conversion With Disentangled Linguistic and Speaker Representations

IEEE/ACM Transactions on Audio, Speech, and Language Processing

The Lacunae of Danish Natural Language Processing

Nordic Conference of Computational Linguistics

Speaker independence of neural vocoders and their effect on parametric resynthesis speech enhancement

High-Quality Vocoding Design with Signal Processing for Speech Synthesis and Voice Conversion

Speech Synthesis for Conversational News Contents Delivery

Transactions of the Japanese society for artificial intelligence

Loss Function Considering Multiple Attributes of a Temporal Sequence for Feed-Forward Neural Networks

IEICE Transactions on Information and Systems


Reference BLEU implementation that auto-downloads test sets and reports a version string to facilitate cross-lab comparisons

A Call for Clarity in Reporting BLEU Scores

Multilingual Denoising Pre-training for Neural Machine Translation

Marian: Fast Neural Machine Translation in C++

Unifying Vision-and-Language Tasks via Text Generation

R-Drop: Regularized Dropout for Neural Networks

Data-Driven Sentence Simplification: Survey and Benchmark

International Conference on Computational Logic

How Good Are GPT Models at Machine Translation? A Comprehensive Evaluation

Is ChatGPT A Good Translator? Yes With GPT-4 As The Engine

Random Feature Attention

Incorporating BERT into Neural Machine Translation


SERV - The SErial RISC-V CPU

Don't CWEAT It

Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design

Design and Implementation of a Secure RISC-V Microprocessor

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


Powerful, automated analysis and design of quantum microwave chips & devices [Energy-Participation Ratio and more]

Energy-participation quantization of Josephson circuits

Catching and Reversing a Quantum Jump Mid-Flight

Entanglement Assisted Probe of the Non-Markovian to Markovian Transition in Open Quantum System Dynamics

Quantum feedback for measurement and control


eXtensible Neural Machine Translation

MuST-C: a Multilingual Speech Translation Corpus

North American Chapter of the Association for Computational Linguistics

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

Attention-Passing Models for Robust and Data-Efficient End-to-End Speech Translation

Cascade versus Direct Speech Translation: Do the Differences Still Make a Difference?

Toward Robust Neural Machine Translation for Noisy Input Sequences

International Workshop on Spoken Language Translation

XNMT: The eXtensible Neural Machine Translation Toolkit

Linguistic unit discovery from multi-modal inputs in unwritten languages: Summary of the "Speaking Rosetta" JSALT 2017 Workshop

Under the Morphosyntactic Lens: A Multifaceted Evaluation of Gender Bias in Speech Translation

Evaluating Gender Bias in Speech Translation

How to Split: the Effect of Word Segmentation on Gender Bias in Speech Translation


Pull current and historical baseball statistics using Python (Statcast, Baseball Reference, FanGraphs)

Exploring and Selecting Features to Predict the Next Outcomes of MLB Games

Bayesball: Bayesian Integration in Professional Baseball Batters

Learning To Describe Player Form in The MLB


EUTelescope -- A Generic Pixel Telescope Data Analysis Framework

Feasibility of track-based multiple scattering tomography

EUTelescope: A modular reconstruction framework for beam telescope data

Resolution studies with the DATURA beam telescope

The Measurement of Position Resolution of RD53A Pixel Modules


Trinity RNA-Seq de novo transcriptome assembly

The Nephila clavipes genome highlights the diversity of spider silk genes and their complex expression

Metagenomic and metatranscriptomic analysis of human prostate microbiota from patients with prostate cancer

Comprehensive Transcriptome Analyses Reveal Differential Gene Expression Profiles of Camellia sinensis Axillary Buds at Para-, Endo-, Ecodormancy, and Bud Flush Stages

Siberian larch (Larix sibirica Ledeb.) mitochondrial genome assembled using both short and long nucleotide sequence reads is currently the largest known mitogenome

Gonadal transcriptomic analysis and differentially expressed genes in the testis and ovary of the Pacific white shrimp (Litopenaeus vannamei)

A moth odorant receptor highly expressed in the ovipositor is involved in detecting host-plant volatiles

Survey of Early-Diverging Lineages of Fungi Reveals Abundant and Diverse Mycoviruses

From asymmetrical to balanced genomic diversification during rediploidization: Subgenomic evolution in allotetraploid fish

Single-cell RNA-seq analysis reveals penaeid shrimp hemocyte subpopulations and cell differentiation process

Transcriptome profiling of lentil (Lens culinaris) through the first 24 hours of Ascochyta lentis infection reveals key defence response genes


STT - The deep learning toolkit for Speech-to-Text. Training and deploying STT models has never been so easy.

What shall we do with an hour of data? Speech recognition for the un- and under-served languages of Common Voice

The Makerere Radio Speech Corpus: A Luganda Radio Corpus for Automatic Speech Recognition


A tool that automatically formats Python code to conform to the PEP 8 style guide.

The Belle II Core Software

preCICE v2: A sustainable and user-friendly coupling library


A batteries-included toolkit for the GPU-accelerated OpenMM molecular simulation engine.

A Simple Method for Automated Equilibration Detection in Molecular Simulations

Path Integral Sampler: a stochastic control approach for sampling

Antibodies to the SARS-CoV-2 receptor-binding domain that maximize breadth and resistance to viral escape

bioRxiv : the preprint server for biology

Identifying and overcoming the sampling challenges in relative binding free energy calculations of a model protein:protein complex

Enhancing Ligand and Protein Sampling Using Sequential Monte Carlo

Journal of chemical theory and computation

GROMACS Stochastic Dynamics and BAOAB Are Equivalent Configurational Sampling Algorithms.


T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks

Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities

A large-scale empirical comparison of static and dynamic test case prioritization techniques

How Do Static and Dynamic Test Case Prioritization Techniques Perform on Modern Software Systems? An Extensive Study on GitHub Projects

IEEE Transactions on Software Engineering

Assessing Test Case Prioritization on Real Faults and Mutants

Ariadne: analysis for machine learning programs

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

[Research Paper] Static JavaScript Call Graphs: A Comparative Study

Example-Based Vulnerability Detection and Repair in Java Code

CARGO: AI-Guided Dependency Analysis for Migrating Monolithic Applications to Microservices Architecture

Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis


Professional interface of the Energy Transition model.


Implementation of Reinforcement Learning Algorithms. Python, OpenAI Gym, Tensorflow. Exercises and Solutions to accompany Sutton's Book and David Silver's course.

AC-SUM-GAN: Connecting Actor-Critic and Generative Adversarial Networks for Unsupervised Video Summarization

IEEE Transactions on Circuits and Systems for Video Technology

Playing Atari with Hybrid Quantum-Classical Reinforcement Learning

Reinforcement Learning and Bandits for Speech and Language Processing: Tutorial, Review and Outlook

Reinforcement Learning for Generating Secure Configurations


A Python implementation of global optimization with gaussian processes.

A Tutorial on Bayesian Optimization of Expensive Cost Functions, with Application to Active User Modeling and Hierarchical Reinforcement Learning

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

PRADA: Protecting against DNN Model Stealing Attacks

Hyperparameter optimization: Foundations, algorithms, best practices, and open challenges

Unsupervised Machine Learning on a Hybrid Quantum Computer

Federated Collaborative Filtering for Privacy-Preserving Personalized Recommendation System

Weighted Random Search for CNN Hyperparameter Optimization

International Journal of Computers Communications & Control

All You Need is a Good Functional Prior for Bayesian Deep Learning

Real-Time Semantic Background Subtraction

Interventions, Where and How? Experimental Design for Causal Models at Scale


ONNXMLTools enables conversion of models to ONNX

Chinese CLIP: Contrastive Vision-Language Pretraining in Chinese

Extending Relational Query Processing with ML Inference

End-to-end Optimization of Machine Learning Prediction Queries

Proceedings of the 2022 International Conference on Management of Data


Officially supported AllenNLP models

ViLBERT: Pretraining Task-Agnostic Visiolinguistic Representations for Vision-and-Language Tasks

Incorporating Copying Mechanism in Sequence-to-Sequence Learning

Commonsense and Named Entity Aware Knowledge Grounded Dialogue Generation

Stress Test Evaluation of Biomedical Word Embeddings

Workshop on Biomedical Natural Language Processing

Improving Portuguese Semantic Role Labeling with Transformers and Transfer Learning

Using Multi-Encoder Fusion Strategies to Improve Personalized Response Selection

Extending Phrase Grounding with Pronouns in Visual Dialogues


Code for U.S. EPA’s Community Multiscale Air Quality Model (CMAQ) which helps in conducting air quality model simulations

On the implications of aerosol liquid water and phase separation for organic aerosol mass

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

The Community Multiscale Air Quality (CMAQ) model versions 5.3 and 5.3.1: system updates and evaluation.

Semivolatile POA and parameterized total combustion SOA in CMAQv5.2: impacts on source strength and partitioning

Secondary organic aerosol association with cardiorespiratory disease mortality in the United States

Ensemble forecasts of air quality in eastern China – Part 1: Model description and implementation of the MarcoPolo–Panda prediction system, version 1

Impacts of different characterizations of large-scale background on simulated regional-scale ozone over the continental United States

Drivers of Increasing Ozone during the Two Phases of Clean Air Actions in China

Ozone affected by a succession of four landfall typhoons in the Yangtze River Delta, China: major processes and health impacts

The role of emission reductions and the meteorological situation for air quality improvements during the COVID-19 lockdown period in central Europe

Improving the representation of HONO chemistry in CMAQ and examining its impact on haze over China


Hash function quality and speed tests

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

An efficient deterministic perturbation theory for selected configuration interaction methods

Hash Adaptive Bloom Filter

SetSketch: Filling the Gap between MinHash and HyperLogLog

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

A Dyadic Simulation Approach to Efficient Range-Summability


Reference mapping for single-cell genomics

Mapping single-cell data to reference atlases by transfer learning

Efficient and precise single-cell reference atlas mapping with Symphony

Query to reference single-cell integration with transfer learning

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

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


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

Deep Multivariate Time Series Embedding Clustering via Attentive-Gated Autoencoder

Pacific-Asia Conference on Knowledge Discovery and Data Mining

Seglearn: A Python Package for Learning Sequences and Time Series

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.


Python library for generating high-performance implementations of stencil kernels for weather and climate modeling from a domain-specific language (DSL).

Productivity, Portability, Performance: Data-Centric Python

SC21: INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS

Domain-Specific Multi-Level IR Rewriting for GPU


Plugins for the Ensembl Variant Effect Predictor (VEP)

Pathogenicity and selective constraint on variation near splice sites

A plugin for the Ensembl Variant Effect Predictor that uses MaxEntScan to predict variant spliceogenicity

Population-level distribution and putative immunogenicity of cancer neoepitopes

Infertility due to defective sperm flagella caused by an intronic deletion in DNAH17 that perturbs splicing

MMPatho: Leveraging Multilevel Consensus and Evolutionary Information for Enhanced Missense Mutation Pathogenic Prediction

Journal of chemical information and modeling


:house_with_garden: Fast & easy transfer learning for NLP. Harvesting language models for the industry. Focus on Question Answering.

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

Unsupervised Cross-lingual Representation Learning at Scale

Revisiting Few-sample BERT Fine-tuning

German's Next Language Model

Evaluating the Robustness of Neural Language Models to Input Perturbations

GottBERT: a pure German Language Model

Bagging BERT Models for Robust Aggression Identification

Workshop on Trolling, Aggression and Cyberbullying

GermanQuAD and GermanDPR: Improving Non-English Question Answering and Passage Retrieval

PO-EMO: Conceptualization, Annotation, and Modeling of Aesthetic Emotions in German and English Poetry

Supporting Cognitive and Emotional Empathic Writing of Students

Meeting of the Association for Computational Linguistics


The mqtt.org website

A Performance Analysis of Internet of Things Networking Protocols: Evaluating MQTT, CoAP, OPC UA

An Overview on Push-Based Communication Models for Information-Centric Networking

Gateway Controller with Deep Sensing: Learning to be Autonomic in Intelligent Internet of Things

IoT System for the Continuous Electrical and Environmental Monitoring into Mexican Social Housing Evaluated under Tropical Climate Conditions

IoT-F2CDM-LB: IoT Based Fog-to-Cloud and Data-in-Motion Architectures with Load Balancing

An Elasticity Framework for Distributed Message Queuing Telemetry Transport Brokers

VNU Journal of Science: Computer Science and Communication Engineering


Trusted side of the TEE

On The Performance of ARM TrustZone

Developing Secure Services for IoT with OP-TEE: A First Look at Performance and Usability

Minimum viable device drivers for ARM trustzone

TZ4Fabric: Executing Smart Contracts with ARM TrustZone : (Practical Experience Report)

Symposium on Reliable Distributed Systems

Where's Crypto?: Automated Identification and Classification of Proprietary Cryptographic Primitives in Binary Code

End-to-End Security for Distributed Event-driven Enclave Applications on Heterogeneous TEEs

Faulty Point Unit: ABI Poisoning Attacks on Trusted Execution Environments


A diverse suite of scalable reinforcement learning environments in JAX

Podracer architectures for scalable Reinforcement Learning

Jumanji: a Diverse Suite of Scalable Reinforcement Learning Environments in JAX

QDax: A Library for Quality-Diversity and Population-based Algorithms with Hardware Acceleration

Combinatorial Optimization with Policy Adaptation using Latent Space Search

XLand-MiniGrid: Scalable Meta-Reinforcement Learning Environments in JAX


JETSCAPE, a modular, task-based framework for simulating all aspects of heavy-ion collisions.

Inclusive jet and hadron suppression in a multistage approach

JETSCAPE v1.0 Quickstart Guide

Dynamics of Hot QCD Matter -- Current Status and Developments

Multiscale evolution of charmed particles in a nuclear medium

Jet substructure modification in a QGP from a multi-scale description of jet evolution with JETSCAPE

A new metric improving Bayesian calibration of a multistage approach studying hadron and inclusive jet suppression

Applications of emulation and Bayesian methods in heavy-ion physics

Multi-Stage Heavy Quark Transport in Ultra-relativistic Heavy-ion Collisions


A simple code complexity analyser without caring about the C/C++ header files or Java imports, supports most of the popular languages.

Towards Automating Code Review Activities

Using Pre-Trained Models to Boost Code Review Automation

The Technical Debt Dataset

Predictive Models in Software Engineering

Analysing Noisy Driver Physiology Real-Time Using Off-the-Shelf Sensors: Heart Rate Analysis Software from the Taking the Fast Lane Project

Bifrost: a Python/C++ Framework for High-Throughput Stream Processing in Astronomy

CRAFT: Customizing LLMs by Creating and Retrieving from Specialized Toolsets

Software and computing for Run 3 of the ATLAS experiment at the LHC

Are Game Engines Software Frameworks? A Three-perspective Study

Zenodo (CERN European Organization for Nuclear Research)

Test Automation Maturity Improves Product Quality -- Quantitative Study of Open Source Projects Using Continuous Integration

Detect-Localize-Repair: A Unified Framework for Learning to Debug with CodeT5


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

Journal of Cosmology and Astroparticle Physics

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)


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

Building Your Own Trusted Execution Environments Using FPGA

Cerberus

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

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

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


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


A Data Streaming Library for Efficient Neural Network Training

LoRA Learns Less and Forgets Less

CommonCanvas: An Open Diffusion Model Trained with Creative-Commons Images

MosaicBERT: A Bidirectional Encoder Optimized for Fast Pretraining

How to Train Long-Context Language Models (Effectively)

Stretching Each Dollar: Diffusion Training from Scratch on a Micro-Budget


StellarGraph - Machine Learning on Graphs

Inductive Representation Learning on Large Graphs

Complex Embeddings for Simple Link Prediction

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

ktrain: A Low-Code Library for Augmented Machine Learning

Automated Machine Learning on Graphs: A Survey

Efficient Graph Deep Learning in TensorFlow with tf_geometric

TCL: Transformer-based Dynamic Graph Modelling via Contrastive Learning

Graph Neural Networks for Particle Tracking and Reconstruction

Graph Neural Networks: Methods, Applications, and Opportunities

Knowledge Graph Based Hard Drive Failure Prediction


The NASA Tensegrity Robotics Toolkit Simulator, a physics based simulator to research the design and control of tensegrity robots.

Simulating direct shear tests with the Bullet physics library: A validation study

Seeking Quality Diversity in Evolutionary Co-design of Morphology and Control of Soft Tensegrity Modular Robots

Proceedings of the Genetic and Evolutionary Computation Conference

A Recurrent Differentiable Engine for Modeling Tensegrity Robots Trainable with Low-Frequency Data

Real2Sim2Real Transfer for Control of Cable-driven Robots via a Differentiable Physics Engine


Materials science with Python at the atomic-scale

In operando active learning of interatomic interaction during large-scale simulations

Machine Learning: Science and Technology

Correlations of non-affine displacements in metallic glasses through the yield transition

Hybrid quantum/classical study of hydrogen-decorated screw dislocations in tungsten: Ultrafast pipe diffusion, core reconstruction, and effects on glide mechanism

A Combined Experimental and Atomistic Investigation of PTFE Double Transfer Film Formation and Lubrication in Rolling Point Contacts

Exploring the configurational space of amorphous graphene with machine-learned atomic energies

Numerical-continuation-enhanced flexible boundary condition scheme applied to mode-I and mode-III fracture

LagrangeBench: A Lagrangian Fluid Mechanics Benchmarking Suite

Melting, bubble-like expansion and explosion of superheated plasmonic nanoparticles


An automatic evaluator for instruction-following language models. Human-validated, high-quality, cheap, and fast.

ToolLLM: Facilitating Large Language Models to Master 16000+ Real-world APIs

AlpacaFarm: A Simulation Framework for Methods that Learn from Human Feedback

Yi: Open Foundation Models by 01.AI

Self-Rewarding Language Models

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

Length-Controlled AlpacaEval: A Simple Way to Debias Automatic
  Evaluators

AlpaGasus: Training A Better Alpaca with Fewer Data

SimPO: Simple Preference Optimization with a Reference-Free Reward

Camels in a Changing Climate: Enhancing LM Adaptation with Tulu 2

What Makes Good Data for Alignment? A Comprehensive Study of Automatic Data Selection in Instruction Tuning


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


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

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

The Microservice Dependency Matrix

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


Understand and reduce your carbon footprint  iOS & Android.


Open source tools for Estonian natural language processing

EstNLTK - NLP Toolkit for Estonian

EstNLTK 1.6: Remastered Estonian NLP Pipeline

PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION (LREC 2020)

Evaluating Language Tools for Fifteen EU-official Under-resourced Languages

Lexicon-Enhanced Neural Lemmatization for Estonian

HUMAN LANGUAGE TECHNOLOGIES - THE BALTIC PERSPECTIVE (HLT 2020)


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

Fengshenbang 1.0: Being the Foundation of Chinese Cognitive Intelligence

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

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

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

Evaluating Large Language Models for Radiology Natural Language Processing

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

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

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

A Survey on Large Language Models for Critical Societal Domains:
  Finance, Healthcare, and Law

TAP4LLM: Table Provider on Sampling, Augmenting, and Packing Semi-structured Data for Large Language Model Reasoning


An implementation of the Grammar of Graphics in R

Structure and evolutionary implications of the earliest (Sinemurian, Early Jurassic) dinosaur eggs and eggshells

Back from the dead; the curious tale of the predatory cyanobacterium Vampirovibrio chlorellavorus

Long-chain noncoding ribonucleic acids affect the survival and prognosis of patients with esophageal adenocarcinoma through the autophagy pathway: construction of a prognostic model

CancerSCEM: a database of single-cell expression map across various human cancers

Endogenous retroviruses drive species-specific germline transcriptomes in mammals

Implications of Climate Change: How Does Increased Water Temperature Influence Biofilm and Water Quality of Chlorinated Drinking Water Distribution Systems?

Genomic Epidemiology and Characterization of Methicillin-Resistant Staphylococcus aureus from Bloodstream Infections in China

Deciphering Genetics Underlying Stable Anaerobic Germination in Rice: Phenotyping, QTL Identification, and Interaction Analysis

Proficiency Testing of Standardized Samples Shows Very High Interlaboratory Agreement for Clinical Next-Generation Sequencing-Based Oncology Assays.

Archives of pathology & laboratory medicine

Emergence of Colistin Resistance Gene mcr-10 in Enterobacterales Isolates Recovered from Fecal Samples of Chickens, Slaughterhouse Workers, and a Nearby Resident


Grid Singularity Energy Exchange


Gnucash for Android mobile companion application.

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

Enhancing Mobile App Bug Reporting via Real-Time Understanding of Reproduction Steps

M3triCity: Visualizing Evolving Software & Data Cities

Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings

Semantic GUI Scene Learning and Video Alignment for Detecting Duplicate Video-based Bug Reports


OpenMMLab 3D Human Parametric Model Toolbox and Benchmark

SMPLer-X: Scaling Up Expressive Human Pose and Shape Estimation

TORE: Token Reduction for Efficient Human Mesh Recovery with Transformer

Zolly: Zoom Focal Length Correctly for Perspective-Distorted Human Mesh Reconstruction

SynBody: Synthetic Dataset with Layered Human Models for 3D Human Perception and Modeling

PrimDiffusion: Volumetric Primitives Diffusion for 3D Human Generation

PoseExaminer: Automated Testing of Out-of-Distribution Robustness in Human Pose and Shape Estimation

Learning Dense UV Completion for Human Mesh Recovery

Towards Robust and Expressive Whole-body Human Pose and Shape Estimation

Cloth2Body: Generating 3D Human Body Mesh from 2D Clothing


pygame (the library) is a Free and Open Source python programming language library for making multimedia applications like games built on top of the excellent SDL library. C, Python, Native, OpenGL.

Revisiting Energy Based Models as Policies: Ranking Noise Contrastive Estimation and Interpolating Energy Models

Improving Language Understanding from Screenshots

DRAST -- A Deep Learning and AST Based Approach for Bug Localization

SMAClite: A Lightweight Environment for Multi-Agent Reinforcement Learning


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

Triggerflow: Trigger-based orchestration of serverless workflows

Primula: a Practical Shuffle/Sort Operator for Serverless Computing

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

Transparent Serverless execution of Python multiprocessing applications

Bringing scaling transparency to Proteomics applications with serverless computing

Proceedings of the 2020 Sixth International Workshop on Serverless Computing


A community-driven ontology for the representation of environments

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

Ontology-Enriched Specifications Enabling Findable, Accessible, Interoperable, and Reusable Marine Metagenomic Datasets in Cyberinfrastructure Systems

MIxS-SA: a MIxS extension defining the minimum information standard for sequence data from symbiont-associated micro-organisms


A lightweight process isolation tool that utilizes Linux namespaces, cgroups, rlimits and seccomp-bpf syscall filters, leveraging the Kafel BPF language for enhanced security.

μTiles: Efficient Intra-Process Privilege Enforcement of Memory Regions


Code

SBFT: a Scalable and Decentralized Trust Infrastructure

DECO: Liberating Web Data Using Decentralized Oracles for TLS

Conference on Computer and Communications Security

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

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

IEEE Transactions on Information Forensics and Security

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

IACR Transactions on Cryptographic Hardware and Embedded Systems

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

IEEE Transactions on Vehicular Technology

CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver


FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package

Deterministic computation of the characteristic polynomial in the time of matrix multiplication

Fast Matrix Multiplication and Symbolic Computation

Implementations of efficient univariate polynomial matrix algorithms and application to bivariate resultants

Block-Krylov techniques in the context of sparse-FGLM algorithms

On fast multiplication of a matrix by its transpose

International Symposium on Symbolic and Algebraic Computation

Exact computations with quasiseparable matrices


ClimaAtmos.jl is a library for building atmospheric circulation models that is designed from the outset to leverage data assimilation and machine learning tools. We welcome contributions!


Boost.Multiprecision

Implementation of high-precision computation capabilities into the open-source dynamic simulation framework YADE

Impact of Mass-Gap on the Dispersion Interaction of Nanoparticles with Graphene out of Thermal Equilibrium

Engineering Uniform Sampling of Graphs with a Prescribed Power-law Degree Sequence


Data-driven model reduction library with an emphasis on large scale parallelism and linear subspace methods

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

Reduced order models for Lagrangian hydrodynamics

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

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

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

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


Bitcoin Improvement Proposals

Blockchain Technology Overview

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

Hijacking Bitcoin: Routing Attacks on Cryptocurrencies

Atomic Cross-Chain Swaps

Decentralization in Bitcoin and Ethereum Networks

Concurrency and Privacy with Payment-Channel Networks

Bitcoin Meets Strong Consistency

Survey: Sharding in Blockchains

Detecting Mixing Services via Mining Bitcoin Transaction Network With Hybrid Motifs

The Unreasonable Effectiveness of Address Clustering


Clean PyTorch implementations of imitation and reward learning algorithms

imitation: Clean Imitation Learning Implementations

SOCIALGYM: A Framework for Benchmarking Social Robot Navigation

On The Fragility of Learned Reward Functions

CEIL: Generalized Contextual Imitation Learning

DERAIL: Diagnostic Environments for Reward And Imitation Learning

Inferring Versatile Behavior from Demonstrations by Matching Geometric Descriptors

Deconfounding Imitation Learning with Variational Inference

General Characterization of Agents by States they Visit

Transferable Reward Learning by Dynamics-Agnostic Discriminator Ensemble

Learning to Stabilize High-dimensional Unknown Systems Using Lyapunov-guided Exploration


Download and process satellite imagery in Python using Sentinel Hub services.

APPLICATION OF TEMPORAL CONVOLUTIONAL NEURAL NETWORK FOR THE CLASSIFICATION OF CROPS ON SENTINEL-2 TIME SERIES

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


Mobile vision models and code

FBNet: Hardware-Aware Efficient ConvNet Design via Differentiable Neural Architecture Search

FBNetV2: Differentiable Neural Architecture Search for Spatial and Channel Dimensions

ChamNet: Towards Efficient Network Design through Platform-Aware Model Adaptation


jMetal: a framework for multi-objective optimization with metaheuristics

jMetalPy: a Python Framework for Multi-Objective Optimization with Metaheuristics

Merge Nondominated Sorting Algorithm for Many-Objective Optimization

Machine Learning and Data Analytics for Design and Manufacturing of High-Entropy Materials Exhibiting Mechanical or Fatigue Properties of Interest

A Novel Self-Adaptive Mixed-Variable Multiobjective Ant Colony Optimization Algorithm in Mobile Edge Computing

Rank-based Non-dominated Sorting

Introducing Interactions in Multi-Objective Optimization of Software Architectures


Low level access to RISC-V processors


This is the home of Geo Open Accessibility Tool (GOAT)

Population Disaggregation on the Building Level Based on Outdated Census Data

ISPRS International Journal of Geo-Information


Bear is a tool that generates a compilation database for clang tooling.

Validating Static Warnings via Testing Code Fragments

International Symposium on Software Testing and Analysis

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments

FuzzSlice: Pruning False Positives in Static Analysis Warnings through Function-Level Fuzzing

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

FuzzerAid: Grouping Fuzzed Crashes Based On Fault Signatures

CERNLIB status


Tools to process and analyze deep sequencing data.

deepTools2: a next generation web server for deep-sequencing data analysis

Chromatin-associated RNA sequencing (ChAR-seq) maps genome-wide RNA-to-DNA contacts

The changing mouse embryo transcriptome at whole tissue and single-cell resolution

The Polycomb-Dependent Epigenome Controls β Cell Dysfunction, Dedifferentiation, and Diabetes

SETD2 loss perturbs the kidney cancer epigenetic landscape to promote metastasis and engenders actionable dependencies on histone chaperone complexes

Downy Mildew effector HaRxL21 interacts with the transcriptional repressor TOPLESS to promote pathogen susceptibility

TCR-independent CD137 (4-1BB) signaling promotes CD8+-exhausted T cell proliferation and terminal differentiation.

Transcription-induced domains form the elementary constraining building blocks of bacterial chromosomes

YY1 Regulates Glucose Homeostasis Through Controlling Insulin Transcription in Pancreatic β-Cells

The transcription factor HIF2α partakes in the differentiation block of acute myeloid leukemia


Damn Vulnerable Web Application (DVWA)

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

Scalable Learning of Intrusion Responses through Recursive Decomposition

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

Vulnerable web application framework

Intrusion Tolerance for Networked Systems through Two-Level Feedback
  Control

Analisis Perbandingan Kinerja Tool Website Directory Brute Force dengan Target Website DVWA

IT Intrusion Detection Using Statistical Learning and Testbed Measurements


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


Community Atmosphere Model

Enforcing conservation of axial angular momentum in the atmospheric general circulation model CAM6

Importance of ice nucleation and precipitation on climate with the Parameterization of Unified Microphysics Across Scales version 1 (PUMASv1)

A new simplified parameterization of secondary organic aerosol in the Community Earth System Model Version 2 (CESM2; CAM6.3)


YOLOv3 in PyTorch > ONNX > CoreML > TFLite

YOLOv3: An Incremental Improvement

YOLOX: Exceeding YOLO Series in 2021

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

Black-box Explanation of Object Detectors via Saliency Maps

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

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

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

Benchmarking Adversarial Patch Against Aerial Detection

Deep Directly-Trained Spiking Neural Networks for Object Detection

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


A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies

Semantically Enriched Data Access Policies in eHealth

An automated model-based test oracle for access control systems

International Conference/Workshop on Automation of Software Test

Implementation of Privacy and Security for a Genomic Information System Based on Standards

Content privacy enforcement models in decentralized online social networks: State of play, solutions, limitations, and future directions

XACML for Mobility (XACML4M)—An Access Control Framework for Connected Vehicles

XACML Extension for Graphs: Flexible Authorization Policy Specification and Datastore-Independent Enforcement


Datasets, tools, and benchmarks for representation learning of code.

Open Graph Benchmark: Datasets for Machine Learning on Graphs

CodeSearchNet Challenge: Evaluating the State of Semantic Code Search

GraphCodeBERT: Pre-training Code Representations with Data Flow

Traceability Transformed: Generating more Accurate Links with Pre-Trained BERT Models

An Empirical Study on the Usage of BERT Models for Code Completion

An Empirical Study on the Usage of Transformer Models for Code Completion

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

Improving Code Summarization with Block-wise Abstract Syntax Tree Splitting

Are we building on the rock? on the importance of data preprocessing for code summarization

StructCoder: Structure-Aware Transformer for Code Generation


SoftVC VITS Singing Voice Conversion

The Singing Voice Conversion Challenge 2023

SingFake: Singing Voice Deepfake Detection

FSD: An Initial Chinese Dataset for Fake Song Detection

Detecting Voice Cloning Attacks via Timbre Watermarking

CoMoSVC: Consistency Model-based Singing Voice Conversion

Vits-Based Singing Voice Conversion Leveraging Whisper and Multi-Scale F0 Modeling

Using Joint Training Speaker Encoder With Consistency Loss to Achieve Cross-Lingual Voice Conversion and Expressive Voice Conversion

BiSinger: Bilingual Singing Voice Synthesis

VITS-Based Singing Voice Conversion System with DSPGAN Post-Processing for SVCC2023

SingVisio: Visual Analytics of Diffusion Model for Singing Voice
  Conversion


An optimized graphs package for the Julia programming language

Learning with Combinatorial Optimization Layers: a Probabilistic Approach

Incremental Dead State Detection in Logarithmic Time

Wireless Network Scheduling With Discrete Propagation Delays: Theorems and Algorithms

Topological benchmarking of algorithms to infer Gene Regulatory Networks from Single-Cell RNA-seq Data


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

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

Adiabatic Quantum Computing for Logistic Transport Optimization


Virtual Engine for Android(Support 14.0 in business version)

Mascara: A Novel Attack Leveraging Android Virtualization

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

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

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


NWChem: Open Source High-Performance Computational Chemistry

NWChem: Past, present, and future

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

A Filon-like integration strategy for calculating exact exchange in periodic boundary conditions: a plane-wave DFT implementation

Reproducibility of density functional approximations: How new functionals should be reported.

Periodic Plane-Wave Electronic Structure Calculations on Quantum Computers


A hyperparameter optimization framework

Optuna: A Next-generation Hyperparameter Optimization Framework

AutoML to Date and Beyond: Challenges and Opportunities

TabLLM: Few-shot Classification of Tabular Data with Large Language Models

CleanML: A Study for Evaluating the Impact of Data Cleaning on ML Classification Tasks

Fast and Accurate Network Embeddings via Very Sparse Random Projection

An empirical comparison of neural networks and machine learning algorithms for EEG gait decoding

Graph Warp Module: an Auxiliary Module for Boosting the Power of Graph Neural Networks in Molecular Graph Analysis

Multiplex Heterogeneous Graph Convolutional Network

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

Neural graph embeddings as explicit low-rank matrix factorization for link prediction

HLDC: Hindi Legal Documents Corpus


A Julia library for efficient tensor computations and tensor network calculations

The ITensor Software Library for Tensor Network Calculations

DMRG Approach to Optimizing Two-Dimensional Tensor Networks

Disentangling Interacting Systems with Fermionic Gaussian Circuits: Application to the Single Impurity Anderson Model


Chebfun:  numerical computing with functions.

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

Analytic solution of the SEIR epidemic model via asymptotic approximant

Chebyshev Subdivision and Reduction Methods for Solving Multivariable Systems of Equations

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

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


WebGL point cloud viewer for large datasets

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

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

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

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

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

METHODOLOGY AND MEANING OF THE 3D MODELLING OF THE LOST BAALSHAMIN TEMPLE IN PALMYRA


Optimism is Ethereum, scaled.

Exploring Blockchain Technology through a Modular Lens: A Survey

Specular: Towards Secure, Trust-minimized Optimistic Blockchain Execution

Sequencer Level Security


Workflow Engine for Kubernetes

Computational Strategies for Scalable Genomics Analysis

An Open-Source Experimentation Framework for the Edge Cloud Continuum

How Can AI be Distributed in the Computing Continuum? Introducing the Neural Pub/Sub Paradigm

Adaptive Resource Allocation for Workflow Containerization on Kubernetes

Object Detection in Driving Datasets Using a High-Performance Computing Platform: A Benchmark Study

A Pragmatical Approach to Anomaly Detection Evaluation in Edge Cloud Systems

Smart5Grid Solutions for enhanced TSO grid observability and manageability in massive RES penetration environment


Transportation Fuels Reporting System


TIGRE: Tomographic Iterative GPU-based Reconstruction Toolbox

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

Optimization for customized trajectories in cone beam computed tomography

Fixing Nonconvergence of Algebraic Iterative Reconstruction with an Unmatched Backprojector

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

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

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

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

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

On Krylov Methods for Large Scale CBCT Reconstruction

Extension of the open-source TIGRE toolbox for proton imaging


JavaSMT - Unified Java API for SMT solvers.

A Survey of Satisfiability Modulo Theory

JavaSMT 3: Interacting with SMT Solvers in Java

Abstraction Refinement for Emptiness Checking of Alternating Data Automata

Tools and Algorithms for Construction and Analysis of Systems


Open standard for machine learning interoperability

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

GShard: Scaling Giant Models with Conditional Computation and Automatic Sharding

Pruning and Quantization for Deep Neural Network Acceleration: A Survey

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

MLPerf Inference Benchmark

Deep Learning and Its Application to LHC Physics

Annual Review of Nuclear and Particle Science

YOLO-Pose: Enhancing YOLO for Multi Person Pose Estimation Using Object Keypoint Similarity Loss

MobileOne: An Improved One millisecond Mobile Backbone

EfficientViT: Memory Efficient Vision Transformer with Cascaded Group Attention

The Deep Learning Compiler: A Comprehensive Survey

IEEE Transactions on Parallel and Distributed Systems


AsciiDoc Source


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

Will Dependency Conflicts Affect My Program's Semantics?

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

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

The Query Translation Landscape: a Survey

Formal Description and Automatic Generation of Learning Spaces Based on Ontologies

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

SEMANTIC WEB: ESWC 2015 SATELLITE EVENTS

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

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

Semantic Data Management in Data Lakes

Streamlining Knowledge Graph Construction with a façade: The SPARQL Anything project


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

Smart Contracts on the Move

Blockchain Consensus Algorithms: A Survey

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

Verilay: A Verifiable Proof of Stake Chain Relay

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

On the Security of Permissioned Blockchain Solutions for IoT Applications

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


The mrremind packages contains data preprocessing for the REMIND model.


A fork and successor of the Sulley Fuzzing Framework

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

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

International Conference on Applied Electronics

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

Leveraging Operational Technology and the Internet of Things to Attack Smart Buildings

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

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

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

IEEE Transactions on Dependable and Secure Computing

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

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

Extracting Protocol Format as State Machine via Controlled Static Loop Analysis


A chess library for Python, with move generation and validation, PGN parsing and writing, Polyglot opening book reading, Gaviota tablebase probing, Syzygy tablebase probing, and UCI/XBoard engine communication

Chess as a Testbed for Language Model State Tracking

The Chess Transformer: Mastering Play using Generative Language Models

ChessGPT: Bridging Policy Learning and Language Modeling

SentiMATE: Learning to play Chess through Natural Language Processing

Improved Reinforcement Learning with Curriculum

Evidence of Learned Look-Ahead in a Chess-Playing Neural Network


A scala implementation of the Lightning Network.

Concurrency and Privacy with Payment-Channel Networks

Topological Analysis of Bitcoin's Lightning Network

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

Blockchain-Based Payment Channel Networks: Challenges and Recent Advances

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

Probing Channel Balances in the Lightning Network

A centrality analysis of the Lightning Network

Analysis and Probing of Parallel Channels in the Lightning Network

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

How Lightning’s Routing Diminishes its Anonymity


Awesome video understanding toolkits based on PaddlePaddle. It supports video data annotation tools, lightweight RGB and skeleton based action recognition model, practical applications for video tagging and sport action detection.

Spatial Temporal Graph Convolutional Networks for Skeleton-Based Action Recognition

SlowFast Networks for Video Recognition

TSM: Temporal Shift Module for Efficient Video Understanding

Is Space-Time Attention All You Need for Video Understanding?

Video Swin Transformer

Temporal Segment Networks for Action Recognition in Videos

BMN: Boundary-Matching Network for Temporal Action Proposal Generation

ActBERT: Learning Global-Local Video-Text Representations

Collaborative Video Object Segmentation by Multi-Scale Foreground-Background Integration

T2VLAD: Global-Local Sequence Alignment for Text-Video Retrieval


MONAI Label is an intelligent open source image labeling and learning tool.

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

ECONet: Efficient Convolutional Online Likelihood Network for Scribble-based Interactive Segmentation

Code-Free Development and Deployment of Deep Segmentation Models for Digital Pathology

Adaptive Multi-scale Online Likelihood Network for AI-assisted Interactive Segmentation

Integrating Artificial Intelligence Tools in the Clinical Research Setting: The Ovarian Cancer Use Case


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

Identifying Secure Operating Ranges for DER Control Using Bilevel Optimization


Quickly search, compare, and analyze genomic and metagenomic data sets.

Large-scale sequence comparisons with sourmash

Lightweight compositional analysis of metagenomes with FracMinHash and minimum metagenome covers

Debiasing FracMinHash and deriving confidence intervals for mutation rates across a wide range of evolutionary distances

An encoding of genome content for machine learning


Next generation FEniCS problem solving environment

Basix: a runtime finite element basis evaluation library

preCICE v2: A sustainable and user-friendly coupling library

Automating the formulation and resolution of convex variational problems: applications from image processing to computational mechanics

MetaFEM: A generic FEM solver by meta-expressions

Projection-based reduced order modeling of an iterative scheme for linear thermo-poroelasticity

Design and analysis of an exactly divergence-free hybridised discontinuous Galerkin method for incompressible flows on meshes with quadrilateral cells

Preconditioning for a Phase-Field Model with Application to Morphology Evolution in Organic Semiconductors

Deterministic and statistical calibration of constitutive models from full-field data with parametric physics-informed neural networks


Facebook AI Research Sequence-to-Sequence Toolkit written in Python.

Diverse Beam Search: Decoding Diverse Solutions from Neural Sequence Models

Lightweight Adapter Tuning for Multilingual Speech Translation

Pre-training for Speech Translation: CTC Meets Optimal Transport


The VerCors verification toolset for verifying parallel and concurrent software

Correct program parallelisations

International Journal on Software Tools for Technology Transfer (STTT)

Alpinist: An Annotation-Aware GPU Program Optimizer

Tools and Algorithms for the Construction and Analysis of Systems

Verification of Shared-Reading Synchronisers


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


Creative Commons Attribution 4.0 International

Working draft of the proposed RISC-V V vector extension

Ara: A 1-GHz+ Scalable and Energy-Efficient RISC-V Vector Processor With Multiprecision Floating-Point Support in 22-nm FD-SOI

Snitch: A Tiny Pseudo Dual-Issue Processor for Area and Energy Efficient Execution of Floating-Point Intensive Workloads

A ''New Ara'' for Vector Computing: An Open Source Highly Efficient RISC-V V 1.0 Vector Processor Design

Vitruvius+: An Area-Efficient RISC-V Decoupled Vector Coprocessor for High Performance Computing Applications

ACM Transactions on Architecture and Code Optimization (TACO)

A Low-Power Transprecision Floating-Point Cluster for Efficient Near-Sensor Data Analytics

dCSR: A Memory-Efficient Sparse Matrix Representation for Parallel Neural Network Inference

Vortex: OpenCL Compatible RISC-V GPGPU

Short Reasons for Long Vectors in HPC CPUs: A Study Based on RISC-V

Sparq: A Custom RISC-V Vector Processor for Efficient Sub-Byte Quantized Inference

Spatz: Clustering Compact RISC-V-Based Vector Units to Maximize Computing Efficiency


InSAR Scientific Computing Environment version 2

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

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

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

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

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

Processing methodology for the ITS_LIVE Sentinel-1 ice velocity product

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

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

Extensional Earthquakes in the Absence of Magma in Northern Afar: Insights From InSAR

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

Natural hazards and earth system sciences


Reference implementations of MLPerf™ training benchmarks

MLPerf Inference Benchmark

MLPerf Training Benchmark

BigDL: A Distributed Deep Learning Framework for Big Data

Loss Aware Post-training Quantization

Large-Batch Training for LSTM and Beyond

Tensor Casting: Co-Designing Algorithm-Architecture for Personalized Recommendation Training

Benchmarking Contemporary Deep Learning Hardware and Frameworks:A Survey of Qualitative Metrics

Towards Fair Federated Recommendation Learning: Characterizing the Inter-Dependence of System and Data Heterogeneity

Scalable Realistic Recommendation Datasets through Fractal Expansions

Efficient Sequence Packing without Cross-contamination: Accelerating Large Language Models without Impacting Performance


RetDec is a retargetable machine-code decompiler based on LLVM.

Code Translation with Compiler Representations

Large Language Models for Code Analysis: Do LLMs Really Do Their Job?

Decoding the Secrets of Machine Learning in Malware Classification: A Deep Dive into Datasets, Feature Extraction, and Model Performance

Deep-Learning-based Vulnerability Detection in Binary Executables

Improving type information inferred by decompilers with supervised machine learning

Experimental Toolkit for Manipulating Executable Packing

GraphBinMatch: Graph-based Similarity Learning for Cross-Language Binary and Source Code Matching

Unifying Pointer Analyses for Polyglot Inter-operations through Summary Specialization


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


Fiona reads and writes geographic data files

A 30 m Resolution Surface Water Mask Including Estimation of Positional and Thematic Differences Using Landsat 8, SRTM and OpenStreetMap: A Case Study in the Murray-Darling Basin, Australia

Trackintel: An open-source Python library for human mobility analysis

A WEBGIS FRAMEWORK FOR SEMI-AUTOMATED GEODATABASE UPDATING ASSISTED BY DEEP LEARNING

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

Using Open-Access Data to Explore Relations between Urban Landscapes and Diarrhoeal Diseases in Côte d’Ivoire

International journal of environmental research and public health

Python for Smarter Cities: Comparison of Python libraries for static and interactive visualisations of large vector data


Apache Commons Collections

Darwinian data structure selection

A comprehensive study of pseudo-tested methods

Sentinel: A Hyper-Heuristic for the Generation of Mutant Reduction Strategies

IEEE Transactions on Software Engineering

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

DJXPerf: Identifying Memory Inefficiencies via Object-Centric Profiling for Java

Design, implementation, and application of GPU-based Java bytecode interpreters

Proceedings of the ACM on Programming Languages

The Impact of Systematic Edits in History Slicing

Test Oracle Automation in the era of LLMs


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

Gaussian Approximation Potentials: a brief tutorial introduction

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

An accurate and transferable machine learning potential for carbon

Extending the accuracy of the SNAP interatomic potential form

Development of a machine learning potential for graphene

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

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

Machine-learned interatomic potentials for alloys and alloy phase diagrams

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

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


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

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

h2oGPT: Democratizing Large Language Models

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

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

Demonstration of DB-GPT: Next Generation Data Interaction System
  Empowered by Large Language Models


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


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

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

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

Broadband dynamic rupture modeling with fractal fault roughness, frictional heterogeneity, viscoelasticity and topography: the 2016 Mw 6.2 Amatrice, Italy earthquake

Yet Another Tensor Toolbox for Discontinuous Galerkin Methods and Other Applications

ACM Transactions on Mathematical Software

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

Journal of Geophysical Research: Solid Earth

Rupture Dynamics of Cascading Earthquakes in a Multiscale Fracture Network

Fault-size dependent fracture energy explains multi-scale seismicity and cascading earthquakes

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

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

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


Migrate C code to Rust

Code Translation with Compiler Representations

Translating C to safer Rust

Exploring and Unleashing the Power of Large Language Models in Automated Code Translation

Multilingual Code Co-Evolution Using Large Language Models

Ownership guided C to Rust translation

Exploring the Impact of the Output Format on the Evaluation of Large Language Models for Code Translation

Zenodo (CERN European Organization for Nuclear Research)

Semantic Analysis of Macro Usage for Portability

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


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

Engineering and Experimentally Benchmarking Open Source MQTT Broker Implementations

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


The IDAES Process Systems Engineering Framework

Dynamic Modeling and Nonlinear Model Predictive Control of a Moving Bed Chemical Looping Combustion Reactor

Massive Monte Carlo simulations-guided interpretable learning of two-dimensional Curie temperature

OneStopTuner: An End to End Architecture for JVM Tuning of Spark Applications


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


A Framework for Building Robust Shiny Apps

Biodose Tools: an R shiny application for biological dosimetry

International journal of radiation biology

The Rockerverse: Packages and Applications for Containerisation with R

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

Developing best practices for genotyping-by-sequencing analysis in the construction of linkage maps

CANVS: an easy-to-use application for the analysis and visualization of mass spectrometry-based protein-protein interaction/association data


The P programming language.

Compositional programming and testing of dynamic distributed systems

Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)

Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains


PINT is not TEMPO3 -- Software for high-precision pulsar timing

Relativistic Shapiro delay measurements of an extremely massive millisecond pulsar

A NICER View of PSR J0030+0451: Millisecond Pulsar Parameter Estimation

A NICER View of the Massive Pulsar PSR J0740+6620 Informed by Radio Timing and XMM-Newton Spectroscopy

A repeating fast radio burst

The NANOGrav 15 yr Data Set: Observations and Timing of 68 Millisecond Pulsars

Stingray: A Modern Python Library for Spectral Timing

Constraining the Neutron Star Mass-Radius Relation and Dense Matter Equation of State with NICER. I. The Millisecond Pulsar X-Ray Data Set

The NANOGrav 12.5 yr Data Set: Observations and Narrowband Timing of 47 Millisecond Pulsars

The Astrophysical Journal Supplement Series

PINT: A Modern Software Package for Pulsar Timing

Gammapy - A prototype for the CTA science tools


A collection of pre-trained, state-of-the-art models in the ONNX format

Surgical Data Science -- from Concepts toward Clinical Translation

Serving DNNs like Clockwork: Performance Predictability from the Bottom Up

The Deep Learning Compiler: A Comprehensive Survey

IEEE Transactions on Parallel and Distributed Systems

Deep learning in electron microscopy

Machine Learning: Science and Technology

Provable Repair of Deep Neural Networks

Compiling ONNX Neural Network Models Using MLIR

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

An Empirical Study of Pre-Trained Model Reuse in the Hugging Face Deep Learning Model Registry

FairCal: Fairness Calibration for Face Verification

Promoting High Diversity Ensemble Learning with EnsembleBench

PTMTorrent: A Dataset for Mining Open-source Pre-trained Model Packages


Hurricane Analysis and Forecast System


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


SMAC3: A Versatile Bayesian Optimization Package for Hyperparameter Optimization

Sequential Model-Based Optimization for General Algorithm Configuration

On Hyperparameter Optimization of Machine Learning Algorithms: Theory and Practice

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

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

NAS-Bench-101: Towards Reproducible Neural Architecture Search

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

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

Benchmark and Survey of Automated Machine Learning Frameworks

Hyperparameter optimization: Foundations, algorithms, best practices, and open challenges


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

Anatomy of High-Performance Deep Learning Convolutions on SIMD Architectures

Fast Matrix-Free Evaluation of Discontinuous Galerkin Finite Element Operators

Scalability of High-Performance PDE Solvers

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

Efficient Implementation of ADER Discontinuous Galerkin Schemes for a Scalable Hyperbolic PDE Engine

Optimizing Deep Learning Recommender Systems' Training On CPU Cluster Architectures

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

PolyDL: Polyhedral Optimizations for Creation of High Performance DL primitives

Tensor Processing Primitives: A Programming Abstraction for Efficiency and Portability in Deep Learning Workloads

libCEED: Fast algebra for high-order element-based discretizations


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

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

Spikformer: When Spiking Neural Network Meets Transformer

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

Neural Architecture Search for Spiking Neural Networks

SpikeGPT: Generative Pre-trained Language Model with Spiking Neural Networks

Neuromorphic Data Augmentation for Training Spiking Neural Networks

AutoSNN: Towards Energy-Efficient Spiking Neural Networks

Exploring Lottery Ticket Hypothesis in Spiking Neural Networks

Optical flow estimation from event-based cameras and spiking neural networks

Learning Delays in Spiking Neural Networks using Dilated Convolutions with Learnable Spacings


Message Passing Neural Networks for Molecule Property Prediction

Analyzing Learned Molecular Representations for Property Prediction

Journal of chemical information and modeling

Multi-Objective Molecule Generation using Interpretable Substructures

Evaluating Scalable Uncertainty Estimation Methods for Deep Learning-Based Molecular Property Prediction

Deep learning identifies synergistic drug combinations for treating COVID-19

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

Transfer learning for solvation free energies: From quantum chemistry to experiments

DeepGraphMol, a multi-objective, computational strategy for generating molecules with desirable properties: a graph convolution and reinforcement learning approach

Few-shot Conformal Prediction with Auxiliary Tasks

Characterizing Uncertainty in Machine Learning for Chemistry

A hybrid framework for improving uncertainty quantification in deep learning-based QSAR regression modeling

Discovery of senolytics using machine learning


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

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

Accelerating Self-Play Learning in Go

Explain Your Move: Understanding Agent Actions Using Focused Feature Saliency

Deep Reinforcement Learning

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

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

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

Mobile Networks for Computer Go

Are AlphaZero-like Agents Robust to Adversarial Perturbations?

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


Microsoft Cognitive Toolkit (CNTK), an open source deep-learning toolkit

QSGD: Communication-Efficient SGD via Gradient Quantization and Encoding

Convergence of Edge Computing and Deep Learning: A Comprehensive Survey

IEEE Communications Surveys and Tutorials

The History Began from AlexNet: A Comprehensive Survey on Deep Learning Approaches

Achieving Human Parity in Conversational Speech Recognition

The Microsoft 2017 Conversational Speech Recognition System

CNTK: Microsoft's Open-Source Deep-Learning Toolkit

The Microsoft 2016 Conversational Speech Recognition System

Compressing DMA Engine: Leveraging Activation Sparsity for Training Deep Neural Networks

Medical image analysis based on deep learning approach

A First Look at Deep Learning Apps on Smartphones


Deployment scripts & config for Sock Shop

A Self-Adaptive Approach for Managing Applications and Harnessing Renewable Energy for Sustainable Cloud Computing

IEEE Transactions on Sustainable Computing

iBrownout: An Integrated Approach for Managing Energy and Brownout in Container-Based Clouds

The μTOSCA toolchain: Mining, analyzing, and refactoring microservice‐based architectures

CausalRCA: Causal inference based precise fine-grained root cause localization for microservice applications

On the Nature of Issues in Five Open Source Microservices Systems: An Empirical Study

PROCEEDINGS OF EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING (EASE 2021)

NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge

On Representing Resilience Requirements of Microservice Architecture Systems

On Representing and Eliciting Resilience Requirements of Microservice Architecture Systems.

KubeHound: Detecting Microservices' Security Smells in Kubernetes Deployments

Hawk: DevOps-driven Transparency and Accountability in Cloud Native Systems


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 v.s. Shallow Embedding


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

Towards Scalable Dataframe Systems

Vaex: big data exploration in the era of Gaia

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

Proceedings of the International Astronomical Union

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

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


Next generation cryptocurrency network

Comparison of blockchain platforms: a systematic review and healthcare examples

Journal of the American Medical Informatics Association : JAMIA

Delay and Communication Tradeoffs for Blockchain Systems with Lightweight IoT Clients

Dynamic Cryptography Integrated Secured Decentralized Applications with Blockchain Programming

Wasit Journal of Computer and Mathematics Science

IPchain: Securing IP Prefix Allocation and Delegation with Blockchain

Blockchain-based TLS Notary Service


The pytest framework makes it easy to write small tests, yet scales to support complex functional testing

The Impact of Pathway Database Choice on Statistical Enrichment Analysis and Predictive Modeling

Deeptime: a Python library for machine learning dynamical models from time series data

Short communication: Landlab v2.0: a software package for Earth surface dynamics

Causal Discovery Toolbox: Uncover causal relationships in Python

LiPyphilic: A Python toolkit for the analysis of lipid membrane simulations

Formalizing Atom-typing and the Dissemination of Force Fields with Foyer

ChemKED: A Human‐ and Machine‐Readable Data Standard for Chemical Kinetics Experiments

Reciprocalspaceship: A Python Library for Crystallographic Data Analysis

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

Identifying Planetary Transit Candidates in TESS Full-frame Image Light Curves via Convolutional Neural Networks


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

KARGAMobile: Android app for portable, real-time, easily interpretable analysis of antibiotic resistance genes via nanopore sequencing

Frontiers in bioengineering and biotechnology


Mathematical Components

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

Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages

A Formalization of Convex Polyhedra Based on the Simplex Method

Validating Mathematical Structures

Deep Generation of Coq Lemma Names Using Elaborated Terms

A trustful monad for axiomatic reasoning with probability and nondeterminism

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

Extending Equational Monadic Reasoning with Monad Transformers

PutnamBench: Evaluating Neural Theorem-Provers on the Putnam
  Mathematical Competition

Reflexive tactics for algebra, revisited


FuzzBench - Fuzzer benchmarking as a service.

Effective Seed Scheduling for Fuzzing with Graph Centrality Analysis

Fuzzing Symbolic Expressions

International Conference on Software Engineering

Taxonomy of Security Weaknesses in Java and Kotlin Android Apps

Efficient Greybox Fuzzing to Detect Memory Errors

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

SBFT Tool Competition 2023 -- Fuzzing Track

Systematic Assessment of Fuzzers using Mutation Analysis

Explainable Fuzzer Evaluation

Fuzzing Configurations of Program Options - RCR Report

ACM Transactions on Software Engineering and Methodology

Improving AFL++ CmpLog: Tackling the bottlenecks


Caffe: a fast open framework for deep learning.

Fully Convolutional Networks for Semantic Segmentation

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

Region-Based Convolutional Networks for Accurate Object Detection and Segmentation

Fast R-CNN

Caffe: Convolutional Architecture for Fast Feature Embedding

ShuffleNet: An Extremely Efficient Convolutional Neural Network for Mobile Devices

Recent advances in convolutional neural networks

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

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

Delving into Transferable Adversarial Examples and Black-box Attacks


GEOS-Chem "Science Codebase" repository.  Contains GEOS-Chem science routines, run directory generation scripts, and interface code.  This repository is used as a submodule within the GCClassic and GCHP wrappers, as well as in other modeling contexts (external ESMs).

Improving the prediction of an atmospheric chemistry transport model using gradient-boosted regression trees

Influences of oceanic ozone deposition on tropospheric photochemistry

Low-NO atmospheric oxidation pathways in a polluted megacity

Grid-independent high-resolution dust emissions (v1.0) for chemical transport models: application to GEOS-Chem (12.5.0)

Enabling high-performance cloud computing for Earth science modeling on over a thousand cores: application to the GEOS-Chem atmospheric chemistry model

Journal of Advances in Modeling Earth Systems

Implementation of Yale Interactive terrestrial Biosphere model v1.0 into GEOS-Chem v12.0.0: a tool for biosphere–chemistry interactions

Vertical profiles of light absorption and scattering associated with black carbon particle fractions in the springtime Arctic above 79° N

Comparison of model and ground observations finds snowpack and blowing snow both contribute to Arctic tropospheric reactive bromine

Implementation and evaluation of the GEOS-Chem chemistry module version 13.1.2 within the Community Earth System Model v2.1

Comparing the Importance of Iodine and Isoprene on Tropospheric Photochemistry


Warning: This project does not have any current developer. See bellow.

Explaining and Harnessing Adversarial Examples

Qualitatively characterizing neural network optimization problems

Pylearn2: a machine learning research library

Knowledge Matters: Importance of Prior Information for Optimization

Analyzing noise in autoencoders and deep networks

Fraternal Dropout

Securing AI-based Healthcare Systems using Blockchain Technology: A State-of-the-Art Systematic Literature Review and Future Research Directions

A Generation Method of Immunological Memory in Clonal Selection Algorithm by Using Restricted Boltzmann Machines


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

Deep Residual Learning for Image Recognition

Very Deep Convolutional Networks for Large-Scale Image Recognition

Going Deeper with Convolutions

Densely Connected Convolutional Networks

SSD: Single Shot MultiBox Detector

Squeeze-and-Excitation Networks

MobileNetV2: Inverted Residuals and Linear Bottlenecks

YOLOv3: An Incremental Improvement

EfficientNet: Rethinking Model Scaling for Convolutional Neural Networks

Distilling the Knowledge in a Neural Network


Node.js scraper to get data from Google Play

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

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

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

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

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

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

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

Where is Your App Frustrating Users?

Proceedings of the 44th International Conference on Software Engineering

Mobile Apps to Fight the COVID-19 Crisis

International Conference on Data Technologies and Applications

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

International journal of environmental research and public health


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

Generating Natural Language Adversarial Examples

A Survey of Data Augmentation Approaches for NLP

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

BERT-ATTACK: Adversarial Attack Against BERT Using BERT

BAE: BERT-based Adversarial Examples for Text Classification

A Survey on Text Classification: From Shallow to Deep Learning

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

Supporting Clustering with Contrastive Learning

Reevaluating Adversarial Examples in Natural Language

MGTBench: Benchmarking Machine-Generated Text Detection


The Charm++ parallel programming system. Visit https://charmplusplus.org/ for more information.

Performance Evaluation of Python Parallel Programming Models: Charm4Py and mpi4py

Runtime Support for Performance Portability on Heterogeneous Distributed Platforms

Towards Performance Portable Programming for Distributed Heterogeneous Systems

Simulating gravitational motion, gas dynamics, and structure in the cosmos


UWB @ DIACR-Ita: Lexical Semantic Change Detection with CCA and Orthogonal Transformation

Convolutional Neural Networks for Sentence Classification

Model-Agnostic Meta-Learning for Fast Adaptation of Deep Networks

DeepWalk: Online Learning of Social Representations

PROCEEDINGS OF THE 20TH ACM SIGKDD INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING (KDD'14)

Neural Collaborative Filtering

Wide & Deep Learning for Recommender Systems

Deep Neural Networks for YouTube Recommendations

PROCEEDINGS OF THE 10TH ACM CONFERENCE ON RECOMMENDER SYSTEMS (RECSYS'16)

Factorization Machines

DeepFM: A Factorization-Machine based Neural Network for CTR Prediction

Session-based Recommendations with Recurrent Neural Networks


Creative Commons Attribution Share Alike 4.0 International

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

Survey of crosschain communications protocols

Atomic Crosschain Transactions for Ethereum Private Sidechains

Precise Attack Synthesis for Smart Contracts

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


Automated modeling and machine learning framework FEDOT

Automated evolutionary approach for the design of composite machine learning pipelines

Hybrid and Automated Machine Learning Approaches for Oil Fields Development: the Case Study of Volve Field, North Sea

Towards Generative Design of Computationally Efficient Mathematical Models with Evolutionary Learning

Short-Term River Flood Forecasting Using Composite Models and Automated Machine Learning: The Case Study of Lena River

Multi-Objective Evolutionary Design of Composite Data-Driven Models

Automated data-driven approach for gap filling in the time series using evolutionary learning

Model-agnostic multi-objective approach for the evolutionary discovery of mathematical models


Deep Residual Learning for Image Recognition

DeePMD-kit: A deep learning package for many-body potential energy representation and molecular dynamics

End-to-end Symmetry Preserving Inter-atomic Potential Energy Model for Finite and Extended Systems

Recent advances and applications of deep learning methods in materials science

DeePMD-kit v2: A software package for deep potential models

Forces are not Enough: Benchmark and Critical Evaluation for Machine Learning Force Fields with Molecular Simulations

Choosing the right molecular machine learning potential

Dissolving salt is not equivalent to applying a pressure on water

MLatom 2: An Integrative Platform for Atomistic Machine Learning

Realistic phase diagram of water from "first principles" data-driven quantum simulations


GraalPy – A high-performance embeddable Python 3 runtime for Java

Debugging Native Extensions of Dynamic Languages

Proceedings of the 15th International Conference on Managed Languages & Runtimes - ManLang '18

SecV: Secure Code Partitioning via Multi-Language Secure Values

Proceedings of the 24th International Middleware Conference on ZZZ


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

A Survey on Energy Consumption and Environmental Impact of Video Streaming

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


Trax — Deep Learning with Clear Code and Speed

Reformer: The Efficient Transformer

Rethinking Attention with Performers

Program Synthesis with Large Language Models

Advantage-Weighted Regression: Simple and Scalable Off-Policy Reinforcement Learning

Sparse is Enough in Scaling Transformers

Masked Language Modeling for Proteins via Linearly Scalable Long-Context Transformers

Learnable Fourier Features for Multi-Dimensional Spatial Positional Encoding

Hierarchical Transformers Are More Efficient Language Models

Incremental Sampling Without Replacement for Sequence Models

Improving Transformer-Based Neural Machine Translation with Prior Alignments


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

Convergence of Edge Computing and Deep Learning: A Comprehensive Survey

IEEE Communications Surveys and Tutorials

Fast Algorithms for Convolutional Neural Networks

Pruning and Quantization for Deep Neural Network Acceleration: A Survey

A First Look at Deep Learning Apps on Smartphones

MNN: A Universal and Efficient Inference Engine

Deep Learning on Mobile Devices - A Review

On-Device Neural Net Inference with Mobile GPUs

LFFD: A Light and Fast Face Detector for Edge Devices

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

MoGA: Searching Beyond MobileNetV3


Fast, modular reference implementation of Instance Segmentation and Object Detection algorithms in PyTorch.

Mask R-CNN

CCNet: Criss-Cross Attention for Semantic Segmentation

Gliding Vertex on the Horizontal Bounding Box for Multi-Oriented Object Detection

IEEE transactions on pattern analysis and machine intelligence

Dynamic R-CNN: Towards High Quality Object Detection via Dynamic Training

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

FUNSD: A Dataset for Form Understanding in Noisy Scanned Documents

kPAM: KeyPoint Affordances for Category-Level Robotic Manipulation

Boundary-preserving Mask R-CNN

Micro-Batch Training with Batch-Channel Normalization and Weight Standardization

Shakedrop Regularization for Deep Residual Learning


MMdnn is a set of tools to help users inter-operate among different deep learning frameworks. E.g. model conversion and visualization. Convert models between Caffe, Keras, MXNet, Tensorflow, CNTK, PyTorch Onnx and CoreML.

MLModelCI: An Automatic Cloud Platform for Efficient MLaaS

MM '20: PROCEEDINGS OF THE 28TH ACM INTERNATIONAL CONFERENCE ON MULTIMEDIA

An Orchestrated Empirical Study on Deep Learning Frameworks and Platforms

CAAD 2018: Powerful None-Access Black-Box Attack Based on Adversarial Transformation Network