Search results for "termini"

Amount of nonconstructivity in deterministic finite automata

2010

AbstractWhen D. Hilbert used nonconstructive methods in his famous paper on invariants (1888), P. Gordan tried to prevent the publication of this paper considering these methods as non-mathematical. L.E.J. Brouwer in the early twentieth century initiated intuitionist movement in mathematics. His slogan was “nonconstructive arguments have no value for mathematics”. However, P. Erdös got many exciting results in discrete mathematics by nonconstructive methods. It is widely believed that these results either cannot be proved by constructive methods or the proofs would have been prohibitively complicated. The author (Freivalds, 2008) [10] showed that nonconstructive methods in coding theory are…

Local Normal Forms for First-Order Logic with Applications to Games and Automata

1999

Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…

From Nerode's congruence to Suffix Automata with mismatches

2009

AbstractIn this paper we focus on the minimal deterministic finite automaton Sk that recognizes the set of suffixes of a word w up to k errors. As first result we give a characterization of the Nerode’s right-invariant congruence that is associated with Sk. This result generalizes the classical characterization described in [A. Blumer, J. Blumer, D. Haussler, A. Ehrenfeucht, M. Chen, J. Seiferas, The smallest automaton recognizing the subwords of a text, Theoretical Computer Science, 40, 1985, 31–55]. As second result we present an algorithm that makes use of Sk to accept in an efficient way the language of all suffixes of w up to k errors in every window of size r of a text, where r is the…

Extending formal language hierarchies to higher dimensions

1999

Evaluation of linkage of bipolar affective disorder to chromosome 18 in a sample of 57 German families.

1999

Previously reported linkage of bipolar affective disorder to DNA markers on chromosome 18 was reexamined in a large sample of German bipolar families. Twenty-three short tandem repeat markers were investigated in 57 families containing 103 individuals with bipolar I disorder (BPI), 26 with bipolar II disorder (BPII), nine with schizoaffective disorder of the bipolar type (SA/BP), and 38 individuals with recurrent unipolar depression (UPR). Evidence for linkage was tested with parametric and non-parametric methods under two definitions of the affected phenotype. Analysis of all 57 families revealed no robust evidence for linkage. Following previous reports we performed separate analyses afte…

Meta-analysis of genome-wide linkage scans of attention deficit hyperactivity disorder

2008

Contains fulltext : 69243.pdf (Publisher’s version ) (Closed access) Genetic contribution to the development of attention deficit hyperactivity disorder (ADHD) is well established. Seven independent genome-wide linkage scans have been performed to map loci that increase the risk for ADHD. Although significant linkage signals were identified in some of the studies, there has been limited replications between the various independent datasets. The current study gathered the results from all seven of the ADHD linkage scans and performed a Genome Scan Meta Analysis (GSMA) to identify the genomic region with most consistent linkage evidence across the studies. Genome-wide significant linkage (P(S…

Molecular findings and clinical data in a cohort of 150 patients with anophthalmia/microphthalmia

2013

Anophthalmia and microphthalmia (AM) are the most severe malformations of the eye, corresponding respectively to reduced size or absent ocular globe. Wide genetic heterogeneity has been reported and different genes have been demonstrated to be causative of syndromic and non-syndromic forms of AM. We screened seven AM genes [GDF6 (growth differentiation factor 6), FOXE3 (forkhead box E3), OTX2 (orthodenticle protein homolog 2), PAX6 (paired box 6), RAX (retina and anterior neural fold homeobox), SOX2 (SRY sex determining region Y-box 2), and VSX2 (visual system homeobox 2 gene)] in a cohort of 150 patients with isolated or syndromic AM. The causative genetic defect was identified in 21% of t…

Distinctive Patterns of Intraclonal Diversification In IGHV1-2*04 Immunoglobulin Receptors of Patients with Splenic Marginal Zone Lymphoma: A of Ongo…

2011

Abstract Abstract 2638 We recently demonstrated that over 30% of cases with splenic marginal-zone lymphoma (SMZL) express distinctive immunoglobulin (IG) receptors that utilize a single polymorphic variant of the IGHV1-2 gene (IGHV1-2*04) and also exhibit restricted antigen-binding site motifs and precise targeting of somatic hypermutation (SHM). On these grounds, we proposed the existence of molecular subtypes of SMZL defined by immunogenetic analysis of the IG receptors with implications for selection by specific (super) antigenic element(s) in the development of at least a major subset of SMZL. In order to gain insight as to whether antigen involvement is relevant only prior to the malig…

Sexual selection for genetic quality: disentangling the roles of male and female behaviour

2009

According to the good genes model of sexual selection, females choose males of good heritable genetic quality to obtain offspring with high fitness. However, better mating success of high-quality males can also be brought about by direct interference competition between males, or simply through elevated activity of high-quality males. We examined the roles of different processes leading to sexual selection for genetic quality in Drosophila montana. We manipulated genetic quality of male flies by inducing mutations with ionizing radiation. We then recorded the effects of inherited heterozygous mutations on several aspects of mating behaviour of males and females in two experiments. We found …

Genetic Variability of Hepatitis C Virus before and after Combined Therapy of Interferon plus Ribavirin

2008

We present an analysis of the selective forces acting on two hepatitis C virus genome regions previously postulated to be involved in the viral response to combined antiviral therapy. One includes the three hypervariable regions in the envelope E2 glycoprotein, and the other encompasses the PKR binding domain and the V3 domain in the NS5A region. We used a cohort of 22 non-responder patients to combined therapy (interferon alpha-2a plus ribavirin) for which samples were obtained before initiation of therapy and after 6 or/and 12 months of treatment. A range of 25-100 clones per patient, genome region and time sample were sequenced. These were used to detect general patterns of adaptation, t…