VCL is a visual and formal language for abstract specification of software systems. Its novelty lies in its capacity to describe predicates visually. This paper presents work-in-progress on a tool for VCL; the tool version presented here supports the VCL notations of structural and assertion diagrams (a subset of the whole VCL suite), enabling the generation of Z specifications from them.

BACKGROUND We have identified the cardiomyopathy-susceptibility gene vinculin (VCL) mutation M94I may account for a sudden unexplained nocturnal death syndrome (SUNDS) case. We addressed whether VCL common variant D841H is associated with SUNDS. METHODS AND RESULTS In 8 of 120 SUNDS cases, we detected an East Asian common VCL variant p.Asp841His (D841H). Comparing the H841 allele frequency of...

Sudden unexplained nocturnal death syndrome (SUNDS) remains an autopsy negative disorder with unclear etiology. Vinculin (VCL) was linked to sudden arrhythmia death in VCL knockout mice prior to the appearance of cardiomyopathy. We hypothesized VCL mutations underlie risk for SUNDS. A rare heterozygous variant VCL-M94I was found in a SUNDS victim who suffered sudden nocturnal tachypnea and lack...

Computational fluid dynamics simulations result in large multivariate data sets with information such as pressure, temperature and velocity available at grid points for a sequence of steps. Velocity data is typically visualized by displaying a particle animation or streamlines. We present an efficient method for calculating particle paths based on velocity data from curvilinear grids. In order ...

PURPOSE This study aimed to investigate the protective effects of isolated and co-administration of vitamin E (VitE) and dexamethasone (DEX) on varicocele (VCL)-induced damages in testicular tissue. MATERIALS AND METHODS Wistar rats were divided into five groups (n=6), including; control-sham, non-treated VCL-induced, VitE-treated VCL-induced (VitE, 150 mg/kg, orally), DEX-administrated VCL-i...

Use of the Global Positioning System (GPS) for quantifying athletic performance is common in many team sports. The effect of running velocity on measurement validity is well established, but the influence of rapid directional change is not well understood in team sport applications. This effect was systematically evaluated using multidirectional and curvilinear adaptations of a validated soccer...

This paper presents the Visual Contract Language (VCL). VCL is a new visual language for abstract software specification at level of requirements. It is designed to be visual, formal and modular, and aims at expressing precisely structural and behavioural properties of software systems. VCL takes an approach to behavioral modelling based on design by contract that emphasises modularity.

We present in this paper a new strategy of handwriting or hand drawing velocity modeling Based on the Beta theory. The introduced approach aims to improve the interpretability of the dynamic profile model, reduce the data redundancy, and ameliorate the features accuracy. Indeed, we showed that the curvilinear velocity of handwritten or hand drawn trajectory can be rebuilt by superposing two com...

In this paper, a rapidly deployable PCS architecture based on our novel resource management scheme, namely, virtual cell layout (VCL), is introduced. VCL is used to develop new selforganization and routing procedures, which mitigate the scalability problem of infrastructureless routing and resource management. In VCL, the communication area is tessellated with regularly shaped fixed size virtua...