We introduce a new class of high-porosity microstructures, called “single-scale laminates,” made from arrays of parallel walls. They are extremal, in the sense that no stiffer structure exists with the same total mass. They are simple, in the sense of being easy to describe, and perhaps to manufacture. And they are universal: for any high-porosity microstructure there is a single-scale laminate...

In this paper, we propose a new approach to building synchronization primitives, dubbed “lwlocks” (short for light-weight locks). The primitives are optimized for small memory footprint while maintaining efficient performance in low contention scenarios. A read-write lwlock occupies 4 bytes, a mutex occupies 4 bytes (2 if deadlock detection is not required), and a condition variable occupies 4 ...

3D whole body, electro-optical scanners have facilitated the creation of personalised, realistic human models. However, realism comes at the cost of a large number of polygons that may surpass the time/accuracy requirement set for rendering/computation in a variety of application systems. We present new automatic constraints that approximate the symmetry of human body parts. These feature const...

This development provides a framework for container types like sets and maps such that generated code implements these containers with different (efficient) data structures. Thanks to type classes and refinement during code generation, this light-weight approach can seamlessly replace Isabelle’s default setup for code generation. Heuristics automatically pick one of the available data structure...

Owing to unprecedented climate change issues in recent times, global automotive industry is striving hard in developing novel functional materials to improve vehicle’s fuel efficiency. It is believed that more than a quarter of all combined greenhouse gas emissions (GHG) are associated with road transport vehicles. All these facts in association with heightened consumer awareness and energy sec...

The major technical challenge is to design the individual weight measuring point without using load cell or pressure sensor, since it will increase cost of the equipment. So our system incorporates low cost optical based weight measurement. In addition to this, we measure the severity of loss of sensation in the foot by introducing Vibro-tactile threshold sensation technique. By using this tech...

Abstract Origami is a traditional art form of paper folding that originated in east Asia. In recent decades, the concept origami has been extensively used to design deployable structures. Due strict space and load capacity limitations aircraft spacecraft, equipment they carried must be light weight. The origami-based structures provide possibility for carrying more aerospace equipment. This an ...