Acquiring annotated data at scale with rare diseases or conditions remains a challenge. It would be extremely useful to have method that controllably synthesizes images can correct such underrepresentation. Assuming proper latent representation, the idea of “latent vector arithmetic” could offer means achieving synthesis. A representation must encode fidelity input data, preserve invariance and...

The long term goal of this research is the development of a new approach to scientiic computing in which declarative methods derived from constraint logic programming are used to minimize the avoidable errors that can be made when developing scientiic software. The main approach we will pursue is to explore the beneets and challenges of viewing scientiic computing as interval arithmetic constra...

We present a robust implementation of the Beneath-Beyond algorithm for computing convex hulls in arbitrary dimension. Certain techniques used are of independent interest in the implementation of geometric algorithms. In particular, two important, and often complementary, issues are studied, namely exact arithmetic and degeneracy. We focus on integer arithmetic and propose a general and eecient ...

In this paper, we present YalAA, a new library for affine arithmetic. Recently, affine arithmetic has been given increased attention even from outside the traditional verified computing community, for example, in the areas of circuit design, GPU based rendering of implicit objects and global optimization. Furthermore, several improvements to the original affine model were proposed. However, a f...

This paper describes the eve (Expressive Velocity Engine) library, an object oriented C++ library designed to ease the process of writting efficient numerical applications using AltiVec, the SIMD extension designed by Apple, Motorola and IBM. AltiVec-powered applications typically show off a relative speed up of 4 to 16 but need a complex and awkward programmation style. By using various templa...

This paper presents the way of speeding up the route from the theoretical design with Simulink/Matlab, via behavioral simulation in fixed-point arithmetic to the implementation on either FPGA or custom silicon. This has been achieved by porting the netlist of the Simulink system description into the VHDL. At the first instance, the Simulink-to-VHDL converter has been designed to use structural ...

What will prevent most users to turn from standard arithmetic to interval arithmetic is the common belief that on any real-life program, interval arithmetic will return much too pessimistic bounds to their solution. Although some adequate set of reenements usually yields satisfactory results with interval arithmetic, an interval-novice would most certainly not spend the time to look into the de...

We present POLAR (The source code can be found at https://github.com/ChaoHuang2018/POLAR_Tool . The full version of this paper https://arxiv.org/abs/2106.13867. ), a POLynomial ARithmetic-based framework for efficient time-bounded reachability analysis neural-network controlled systems. Existing approaches leveraging the standard Taylor Model (TM) arithmetic approximating controller cannot deal...

We characterize the relationship between the simultaneously recorded quantities of rodent grid cell firing and the position of the rat. The formalization reveals various properties of grid cell activity when considered as a neural code for representing and updating estimates of the rat's location. We show that, although the spatially periodic response of grid cells appears wasteful, the code is...