Lipedema is a condition characterized by swelling and enlargement of the lower limbs due to abnormal deposition of subcutaneous fat. Lipedema is an under-recognized condition, often misdiagnosed as lymphedema or dismissed as simple obesity. We present a series of pedigrees and propose that lipedema is a genetic condition with either X-linked dominant inheritance or more likely, autosomal domina...

In a traditional approach to program verification, the correctness of each procedure of a given program is encoded as a logical formula called the verification condition. It is then up to a theorem prover, like an automatic SMT solver, to analyze the verification condition in the attempt to either establish the validity of the formula (thus proving the correct correct) or find counterexamples (...

This paper describes testing of rule conditions and execution of rule actions in the Ariel active DBMS. The Ariel rule system is tightly coupled with query and update processing. Ariel rules can have conditions based on a mix of patterns , events, and transitions. For testing rule conditions, Ariel makes use of a discrimination network composed of a special data structure for testing single-rel...

In this paper we study the stability of finite difference approximations to initial-boundary hyperbolic systems. As is well-known, a proper specification of boundary conditions for such systems is essential for their solutions to be well-defined. We prove a discrete analogue of the above if the numerical boundary conditions are consistent with an inflow part of the problem, they render the over...

We describe the class of games with opacity condition, as an adequate model for security aspects of computing systems. We study their theoretical properties, relate them to reachability perfect information games and exploit this relation to discuss a search approach with heuristics, based on the directing-word problem in automata theory.

This paper is concerned with nonlinear fractional differential equations with the Caputo derivative. Existence results are obtained for terminal value problems and initial value problems with initial conditions at inner points. It is also proved that the sufficient condition in order that a locally closed subset be a viable domain is the tangency condition. As a corollary, the existence of posi...

In this paper we study the problem of minimizing condition numbers over a compact convex subset of the cone of symmetric positive semidefinite n × n matrices. We show that the condition number is a Clarke regular strongly pseudoconvex function. We prove that a global solution of the problem can be approximated by an exact or an inexact solution of a nonsmooth convex program. This asymptotic ana...

The use of condition monitoring techniques within industry to direct maintenance actions has increased rapidly over recent years to the extent that it has marked the beginning of what is likely to prove a new generation in production and maintenance management practice. There are both economic and technological reasons for this development driven by tight profit margins, high outage costs and a...

Overmilking is a matter of concern because it may affect teat condition and udder health. The historic background for overmilking is mainly based on the assumption that all milk should be removed from the udder in order to maximise the milk yield. However, breeding for high milk yields has provided cows with a high alveolar capacity, large cistern capacity, and a higher proportion of cisternal ...