Bias detection

Python framework for designing & analyzing superconducting quantum chips. Lite-by-default, headless-friendly, EDA-grade.

Implementation of SDDP to Emission Financing Control - work in progress

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

Source code for our DMKD paper "Integer-Programming Ensemble of Temporal-Relations Classifiers".

Code for our pre-print "Mixed-Integer Path-Stable Optimisation, with Applications in Model-Predictive Control of Water Systems"

Source code for the AAAI 2020 paper "Pursuit of Low-Rank Models of Time-Varying Matrices Robust to Sparse and Measurement Noise" (https://arxiv.org/abs/1809.03550)

Source code for the AAAI 2019 paper "On-Line Learning of Linear Dynamical Systems: Exponential Forgetting in Kalman Filters" (https://arxiv.org/abs/1809.05870)

Entropy Penalised SDP

Terra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.

A collection of Jupyter notebooks using Qiskit

Aqua provides a library and tools to build applications for noisy quantum computers.

Aer is a high performance simulator for quantum circuits that includes noise models

Ignis provides tools for quantum hardware verification, noise characterization, and error correction.

Qiskit is an open-source framework for working with noisy quantum computers at the level of pulses, circuits, and algorithms.

Data for our paper in Operations Research Proceedings 2007, 409-414

Source code for our paper in Annals of Operations Research 194 (1), 71-87.

Source code for Computers & Operations Research 37 (3), 582-597

A Python-embedded modeling language for convex optimization problems.

A C++ Algorithmic Differentiation Package: Home Page

COIN-OR Interior Point Optimizer IPOPT

COIN-OR Branch-and-Cut solver

A python Linear Programming API

Qiskit is an open-source SDK for working with quantum computers at the level of circuits, algorithms, and application modules.

Audur - A Platform for Synchrophasor/PMU-Based Power System Wide-Area Control System Implementation

PSST - Power System Simulation Toolbox

An open-source library for mathematical programming

Quarks Documentation Project

An open-source Java library for Constraint Programming