Oculoauriculovertebral spectrum: report of nine familial cases with evidence of autosomal dominant inheritance and review of the literature

Oculoauriculovertebral spectrum (OAVS; OMIM 164210) is a complex condition characterized by defects of aural, oral, mandibular and vertebral development. The aetiology of this condition is likely to be heterogeneous; most cases are sporadic, however, familial cases suggesting autosomal recessive end autosomal dominant inheritance have been reported. In this study, we describe the clinical aspects of nine familial cases with evidence of autosomal dominant inheritance and compare them with reports in the literature. Interfamilial and intrafamilial clinical variabilities were observed in this study (reinforcing the necessity of careful examination of familial members). We suggest that oculoauriculovertebral spectrum with autosomal dominant inheritance is characterized mainly by bilateral auricular involvement and rarely presents extracranial anomalies. Clin Dysmorphol 18:67-77 (C) 2009 Wolters Kluwer Health | Lippincott Williams & Wilkins.

Mandibulofacial Syndrome With Growth and Mental Retardation, Microcephaly, Ear Anomalies With Skin Tags, and Cleft Palate in a Mother and Her Son: Autosomal Dominant or X-Linked Syndrome?

We report on a Brazilian mother and her son affected with mandibulofacial dysostosis, growth and mental retardation, microcephaly, first branchial arch anomalies, and cleft palate. To date only three males and one female, all sporadic cases, with a similar condition have been reported. This article describes the first familial case with this rare condition indicating autosomal dominant or X-linked inheritance. (C) 2009 Wiley-Liss, Inc.

Non-random reef use by fishes at two dominant zones in a tropical, algal-dominated coastal reef

Habitat use and the processes which determine fish distribution were evaluated at the reef flat and reef crest zones of a tropical, algal-dominated reef. Our comparisons indicated significant differences in the majority of the evaluated environmental characteristics between zones. Also, significant differences in the abundances of twelve, from thirteen analyzed species, were observed within and between-sites. According to null models, non-random patterns of species co-occurrences were significant, suggesting that fish guilds in both zones were non-randomly structured. Unexpectedly, structural complexity negatively affected overall species richness, but had a major positive influence on highly site-attached species such as a damselfish. Depth and substrate composition, particularly macroalgae cover, were positive determinants for the fish assemblage structure in the studied reef, prevailing over factors such as structural complexity and live coral cover. Our results are conflicting with other studies carried out in coral-dominated reefs of the Caribbean and Pacific, therefore supporting the idea that the factors which may potentially influence reef fish composition are highly site-dependent and variable.

WNT5A Mutations in Patients With Autosomal Dominant Robinow Syndrome

Robinow syndrome is a skeletal dysplasia with both autosomal dominant and autosomal recessive inheritance patterns. It is characterized by short stature, limb shortening, genital hypoplasia, and craniofacial abnormalities. The etiology of dominant Robinow syndrome is unknown; however, the phenotypically more severe autosomal recessive form of Robinow syndrome has been associated with mutations in the orphan tyrosine kinase receptor, ROR2, which has recently been identified as a putative WNT5A receptor. Here, we show that two different missense mutations in WNT5A, which result in amino acid substitutions of highly conserved cysteines, are associated with autosomal dominant Robinow syndrome. One mutation has been found in all living affected members of the original family described by Meinhard Robinow and another in a second unrelated patient. These missense mutations result in decreased WNT5A activity in functional assays of zebrafish and Xenopus development. This work suggests that a WNT5A/ROR2 signal transduction pathway is important in human craniofacial and skeletal development and that proper formation and growth of these structures is sensitive to variations in WNT5A function. Developmental Dynamics 239:327-337, 2010. (C) 2009 Wiley-Liss, Inc.

Large time behaviour for functional differential equations with dominant eigenvalues of arbitrary order

The spectral theory for linear autonomous neutral functional differential equations (FDE) yields explicit formulas for the large time behaviour of solutions. Our results are based on resolvent computations and Dunford calculus, applied to establish explicit formulas for the large time behaviour of solutions of FDE. We investigate in detail a class of two-dimensional systems of FDE. (C) 2009 Elsevier Inc. All rights reserved.

Analytic Methods for the Logic of Proofs

The logic of proofs (lp) was proposed as Gdels missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for lp have not explored this closeness with S4 and contain rules whose analycity is not immediately evident. We study possible formulations of analytic tableau proof methods for lp that preserve the subformula property. Two sound and complete tableau decision methods of increasing degree of analycity are proposed, KELP and preKELP. The latter is particularly inspired on S4-proofs. The crucial role of proof constants in the structure of lp-proofs methods is analysed. In particular, a method for the abduction of proof constant specifications in strongly analytic preKELP proofs is presented; abduction heuristics and the complexity of the method are discussed.

A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

New Improvements in Automatic Structure Elucidation Using the LSD (Logic for Structure Determination) and the SISTEMAT Expert Systems

This article describes the integration of the LSD (Logic for Structure Determination) and SISTEMAT expert systems that were both designed for the computer-assisted structure elucidation of small organic molecules. A first step has been achieved towards the linking of the SISTEMAT database with the LSD structure generator. The skeletal descriptions found by the SISTEMAT programs are now easily transferred to LSD as substructural constraints. Examples of the synergy between these expert systems are given for recently reported natural products.