Three dimensional microscopy images present significant potential to enhance biomedical studies. This paper presents an automated method for quantitative analysis of 3D primary vessel structures with histology whole slide images. With registered microscopy images of liver tissue, we identify primary vessels with an improved variational level set framework at each 2D slide. We propose a Vessel D...

We compare one round diffusion characteristics of the block cipher Spectr-H64 to those of AES-Rijndael and Safer K-64, in terms of the Avalanche Weight Distribution (AWD) criterion and observe a weakness in the round transformation of Spectr-H64. We exploit this weakness to break one round of Spectr-H64 extracting half of the key bits, and develop a chosen plaintext slide attack against the ove...

Abstract Water-slide manufacturers are constantly searching for innovative designs that maximize the rider’s fun while complying with safety requirements. However, current state-of-the-art does not offer any simulation tool capable of aiding design phase before manufacture in an affordable computational time. In this paper, we present a novel approach using smooth surface models together Saint ...

Abstract The Storegga Slide is the largest known exposed submarine landslide in world, which triggered a tsunami that inundated coasts of northern Europe ~8,150 years ago. Previous studies suggested removal 50–70 m sediment from slide scar segment, contributing half total volume up to 3200 km³. However, new echosounder profiles and sedimentological constraints show most material within had alre...

A new slide latex agglutination test was compared with microscopy and culture for diagnosing vaginal candidosis in 367 women attending a genitourinary medicine clinic. Vaginal candidosis occurred in 10% of the patients, and 7% had commensal carriage of Candida spp. The slide latex agglutination test was superior to microscopy in immediate diagnosis and was rapid and simple to perform. Of the pa...

In this paper we present a formal proof of total correctness for Infosoft e-Detailing 1.0 distributed presentation software using Isabelle proof assistant. We model execution of a distributed software as a transition system with a global state that is composed of states of the system’s components and show that under a certain progress assumption, after a presenter switches the current slide to ...

IN this outstanding 2"x2" Slide Projector, Bausch & Lomb has utilized the experience gained in manufacturing motion picture optical systems to give the user screen images of professional quality from black and white or color slides. Despite the exceptional brilliance of the screen images, slide temperature is kept within safe limits for all normal projection. The Bausch & Lomb 2"x2" Slide Proje...

Multimodal alignment between classroom lecture utterances and lecture slide components is one of the crucial problems to realize a multimodal e-Learning application. This paper proposes the new method for the automatic alignment, and formulates the alignment as the integer linear programming (ILP) problem to maximize the score function which consists of three factors: the similarity score betwe...