how to cite this article: barzegar m, malaki m, sadegi-hokmabadi e. joubert syndrome with variable features: presentation of two cases. iran j child neurol. 2013  spring;7(2):43-46.   abstract joubert syndrome is a very rare disorder characterized by respiratory irregularities, nystagmus, hypotonia, and global developmental delay with abnormalities of cerebellum. we present two cases of this sy...

In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. This model has been already considered in the realm of semistructured data, timed automata and extended temporal logics. This paper shows that satisfiability for the two-variable fragment FO(∼,<,+1) of firstorder logic with data equality test ∼, is decidable over finite and over infin...

This article presents the Two Variable Per Inequality abstract domain (TVPI domain for short). This so-called weakly-relational domain is able to express systems of linear inequalities where each inequality has at most two variables. The domain represents a sweet-point in the performance-cost tradeoff between the faster Octagon domain and the more expressive domain of general convex polyhedra. ...

Based on results of Digne-Michel-Lehrer (2003) we give two formulae for two-variable Green functions attached to Lusztig induction in a finite reductive group. We present applications explicit computation these functions, conjectures Malle and Rotilio, scalar products between inductions Gelfand-Graev characters.