This paper introduces a design and fabrication pipeline for creating floating forms. Our method optimizes for buoyant equilibrium and stability of complex 3D shapes, applying a voxel-carving technique to control the mass distribution. The resulting objects achieve a desired floating pose defined by a user-specified waterline height and orientation. In order to enlarge the feasible design space,...

The verification of programs performing floating-point computations is a key issue in the development of critical software. Reasoning on floatingpoint computations is a tricky task that requires dedicated tools: floatingpoint arithmetic is not correctly handled by solvers over the reals. Several methods have been developed in order to verify programs working with floating-point numbers. Some of...

Mast seeding involves the episodic and synchronous production of large seed crops by perennial plants. The predator satiation hypothesis proposes that mast seeding maximizes seed escape because seed predators consume a decreasing proportion of available seeds with increasing seed production. However, the seed escape benefits of masting depend not only on whether predators are satiated at high l...

High speed execution of arithmetic operations and high degree of precision in real time system are of major concern in any digital signal processing (DSP). Speed of DSP depends on speed of multiplier and algorithm used. In this paper we propose Residue Number System method for fast “carry free” floating point arithmetic operations. Floating Point RNS units have obvious advantages over tradition...

Despite nearly universal support for the IEEE 754 floating-point standard on modern generalpurpose processors, a wide variety of more specialized processors do not provide hardware floating-point units and rely instead on integer-only pipelines. Ray tracing on these platforms thus requires an integer rendering process. Toward this end, we clarify the details of an existing fixed-point ray/trian...

Floating-point arithmetic provides a fast but inexact way of computing geometric predicates. In order for these predicates to be exact, it is important to rule out all the numerical situations where floating-point computations could lead to wrong results. Taking into account all the potential problems is a tedious work to do by hand. We study in this paper a floating-point implementation of a f...

Floating Point (FP) multiplication is widely used in large set of scientific and signal processing computation. Multiplication is one of the common arithmetic operations in these computations. Quadruple, double, and single precision floating point multipliers are implemented using conventional, Canonical Signed Digit (CSD), Vedic, and radix-4 Booth multiplier methods using Verilog language and ...

Free-moving “floating” grains have been linked to macrosegregation in direct-chill (DC) aluminum castings. The presence of these grains in the sump of a solidifying ingot has been acknowledged based on measurements of cast microstructures and by recent work using a turbulent jet to suspend solute-poor grains and minimize macrosegregation. Experiments in this study were designed to sample grains...