Related papers: Satellite Quantum Modelling & Analysis Software Ve…
SModelS is a tool for the automatic interpretation of simplified-model results from the LHC. Version 1.0 of the code is now publicly available. This document provides a quick user guide for installing and running SModelS v1.0.
We present the manual for FeynMaster 2.1, a multitasking software for particle physics studies. This new version includes additional functions and is compatible with recent versions of related software. It can be downloaded in…
In this, the first in a series of three papers concerning the SuperCOSMOS Sky Survey (SSS), we give an introduction and user guide to the survey programme. We briefly describe other wide-field surveys and compare with our own. We give…
This review gives a survey of numerical algorithms and software to simulate quantum computers.It covers the basic concepts of quantum computation and quantum algorithms and includes a few examples that illustrate the use of simulation…
Quantum software plays a critical role in exploiting the full potential of quantum computing systems. As a result, it has been drawing increasing attention recently. This paper defines the term "quantum software engineering" and introduces…
We present the VECMA toolkit (VECMAtk), a flexible software environment for single and multiscale simulations that introduces directly applicable and reusable procedures for verification, validation (V&V), sensitivity analysis (SA) and…
We introduce ProjectQ, an open source software effort for quantum computing. The first release features a compiler framework capable of targeting various types of hardware, a high-performance simulator with emulation capabilities, and…
This Mathematica 5.2 package~\footnote{QDENSITY is available at http://www.pitt.edu/~tabakin/QDENSITY} is a simulation of a Quantum Computer. The program provides a modular, instructive approach for generating the basic elements that make…
This review presents an introduction to Quantum Cosmology, including the mathematical methods essential to the canonical approach, some of the existing conceptual problems and the connection of the models to possible observables.
The expansion of commercial launch capabilities has significantly increased opportunities for interplanetary small satellite (SmallSat) missions. As researchers plan for more missions beyond Earth, there is a demand for accessible tools…
State Space Models (SSM) is a MATLAB 7.0 software toolbox for doing time series analysis by state space methods. The software features fully interactive construction and combination of models, with support for univariate and multivariate…
This article provides a personal perspective on research in Automated Quantum Software Engineering (AQSE). It elucidates the motivation to research AQSE (why?), a precise description of such a framework (what?), and reflections on…
In this document and the accompanying documents we describe a data model (Simulation Data Model) describing numerical computer simulations of astrophysical systems. The primary goal of this standard is to support discovery of simulations by…
SModelS is an automatised tool for the interpretation of simplified model results from the LHC. It allows to decompose models of new physics obeying a Z2 symmetry into simplified model components, and to compare these against a large…
This paper is a general introduction to the t\={u}Q toolchain (https://github.com/QSI-BAQS/tuQ) and a discussion of its two main workflows, 'reduce and optimise' and 'draft and compile'. The t\={u}Q toolchain was designed to advance…
Modeling and documentation are two essential ingredients for the engineering discipline of software development. During the last twenty years a wide variety of description and modeling techniques as well as document formats has been…
Kwant is a Python package for numerical quantum transport calculations. It aims to be an user-friendly, universal, and high-performance toolbox for the simulation of physical systems of any dimensionality and geometry that can be described…
Open source software is becoming crucial in the design and testing of quantum algorithms. Many of the tools are backed by major commercial vendors with the goal to make it easier to develop quantum software: this mirrors how well-funded…
This manual describes the basic objectives, functionalities and uses of the toolbox for Maple (Maplesoft^TM) called Quantavo. It is intended to facilitate calculations both symbolically and numerically related to Quantum Optics. In…
This paper is an essentially self-contained and rigorous description of the fundamental principles of quantum computing from a mathematical perspective. It is intended to help mathematicians who want to get a grasp of this quickly growing…