Revisiting the Equivalence Problem for Finite Multitape Automata

The decidability of determining equivalence of deterministic multitape automata (or transducers) was a longstanding open problem until it was resolved by Harju and Karhum\"{a}ki in the early 1990s. Their proof of decidability yields a co_NP upper bound, but apparently not much more is known about the complexity of the problem. In this paper we give an alternative proof of decidability, which follows the basic strategy of Harju and Karhumaki but replaces their use of group theory with results on matrix algebras. From our proof we obtain a simple randomised algorithm for deciding language equivalence of deterministic multitape automata and, more generally, multiplicity equivalence of nondeterministic multitape automata. The algorithm involves only matrix exponentiation and runs in polynomial time for each fixed number of tapes. If the two input automata are inequivalent then the algorithm outputs a word on which they differ

GMRF Estimation under Topological and Spectral Constraints

International audienceWe investigate the problem of Gaussian Markov random field selection under a non-analytic constraint: the estimated models must be compatible with a fast inference algorithm, namely the Gaussian belief propagation algorithm. To address this question, we introduce the *-IPS framework, based on iterative proportional scaling, which incrementally selects candidate links in a greedy manner. Besides its intrinsic sparsity-inducing ability, this algorithm is flexible enough to incorporate various spectral constraints, like e.g. walk summability, and topological constraints, like short loops avoidance. Experimental tests on various datasets, including traffic data from San Francisco Bay Area, indicate that this approach can deliver, with reasonable computational cost, a broad range of efficient inference models, which are not accessible through penalization with traditional sparsity-inducing norms

Precambrian non-marine stromatolites in alluvial fan deposits, the Copper Harbor Conglomerate, upper Michigan

Laminated cryptalgal carbonates occur in the Precambrian Copper Harbor Conglomerate of northern Michigan, which was deposited in the Keweenawan Trough, an aborted proto-oceanic rift. This unit is composed of three major facies deposited by braided streams on a large alluvial-fan complex. Coarse clastics were deposited in braided channels, predominantly as longitudinal bars, whereas cross-bedded sandstones were deposited by migrating dunes or linguoid bars. Fine-grained overbank deposits accumulated in abandoned channels. Gypsum moulds and carbonate-filled cracks suggest an arid climate during deposition. Stromatolites interstratified with these clastic facies occur as laterally linked drapes over cobbles, as laterally linked contorted beds in mudstone, as oncolites, and as poorly developed mats in coarse sandstones. Stromatolites also are interbedded with oolitic beds and intraclastic conglomerates. Stromatolitic microstructure consists of alternating detrital and carbonate laminae, and open-space structures. Radial-fibrous calcite fans are superimposed on the laminae. The laminae are interpreted as algal in origin, whereas the origin of the radial fibrous calcite is problematic. The stromatolites are inferred to have grown in lakes which occupied abandoned channels on the fan surface. Standing water on a permeable alluvial fan in an arid climate requires a high water table maintained by high precipitation, or local elevation of the water table, possibly due to the close proximity of a lake. Occurrence of stromatolites in the upper part of the Copper Harbor Conglomerate near the base of the lacustrine Nonesuch Shale suggests that these depositional sites may have been near the Nonesuch Lake.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72022/1/j.1365-3091.1983.tb00713.x.pd

Strangeness nuclear physics: a critical review on selected topics

Selected topics in strangeness nuclear physics are critically reviewed. This includes production, structure and weak decay of $\Lambda$--Hypernuclei, the $\bar K$ nuclear interaction and the possible existence of $\bar K$ bound states in nuclei. Perspectives for future studies on these issues are also outlined.Comment: 63 pages, 51 figures, accepted for publication on European Physical Journal

Death and the “life review” in Halakhah

Coping with old age involves resolving the task of “integrity versus despair,” which demands a nondefensive confrontation with the inevitability of death. Halakhah (Jewish ethics) also considered this task critical in later years of life, spoke of death's inevitability, and attempted to discourage denial of death. The Jewish approach seems compatible with Butler's concept of “life review” as a reconciliation with death and a reintegration of one's identity that occurs throughout later years. While the Eriksonian goal is confronting old age with a certain capacity for “wisdom,” the rabbis maintained that such wisdom must culminate in the creative act of repentance.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/45115/1/10943_2004_Article_BF00996254.pd

Arteriopathy diagnosis in childhood arterial ischemic stroke: results of the vascular effects of infection in pediatric stroke study.

Background and purposeAlthough arteriopathies are the most common cause of childhood arterial ischemic stroke, and the strongest predictor of recurrent stroke, they are difficult to diagnose. We studied the role of clinical data and follow-up imaging in diagnosing cerebral and cervical arteriopathy in children with arterial ischemic stroke.MethodsVascular effects of infection in pediatric stroke, an international prospective study, enrolled 355 cases of arterial ischemic stroke (age, 29 days to 18 years) at 39 centers. A neuroradiologist and stroke neurologist independently reviewed vascular imaging of the brain (mandatory for inclusion) and neck to establish a diagnosis of arteriopathy (definite, possible, or absent) in 3 steps: (1) baseline imaging alone; (2) plus clinical data; (3) plus follow-up imaging. A 4-person committee, including a second neuroradiologist and stroke neurologist, adjudicated disagreements. Using the final diagnosis as the gold standard, we calculated the sensitivity and specificity of each step.ResultsCases were aged median 7.6 years (interquartile range, 2.8-14 years); 56% boys. The majority (52%) was previously healthy; 41% had follow-up vascular imaging. Only 56 (16%) required adjudication. The gold standard diagnosis was definite arteriopathy in 127 (36%), possible in 34 (9.6%), and absent in 194 (55%). Sensitivity was 79% at step 1, 90% at step 2, and 94% at step 3; specificity was high throughout (99%, 100%, and 100%), as was agreement between reviewers (κ=0.77, 0.81, and 0.78).ConclusionsClinical data and follow-up imaging help, yet uncertainty in the diagnosis of childhood arteriopathy remains. This presents a challenge to better understanding the mechanisms underlying these arteriopathies and designing strategies for prevention of childhood arterial ischemic stroke

Graph Minors and Parameterized Algorithm Design

Abstract. The Graph Minors Theory, developed by Robertson and Sey-mour, has been one of the most influential mathematical theories in pa-rameterized algorithm design. We present some of the basic algorithmic techniques and methods that emerged from this theory. We discuss its direct meta-algorithmic consequences, we present the algorithmic appli-cations of core theorems such as the grid-exclusion theorem, and we give a brief description of the irrelevant vertex technique

Quantitative MRI reveals decelerated fatty infiltration in muscles of active FSHD patients [Response]

Item does not contain fulltext1 p