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

Global burden of 288 causes of death and life expectancy decomposition in 204 countries and territories and 811 subnational locations, 1990–2021: a systematic analysis for the Global Burden of Disease Study 2021

Background: Regular, detailed reporting on population health by underlying cause of death is fundamental for public health decision making. Cause-specific estimates of mortality and the subsequent effects on life expectancy worldwide are valuable metrics to gauge progress in reducing mortality rates. These estimates are particularly important following large-scale mortality spikes, such as the COVID-19 pandemic. When systematically analysed, mortality rates and life expectancy allow comparisons of the consequences of causes of death globally and over time, providing a nuanced understanding of the effect of these causes on global populations. Methods: The Global Burden of Diseases, Injuries, and Risk Factors Study (GBD) 2021 cause-of-death analysis estimated mortality and years of life lost (YLLs) from 288 causes of death by age-sex-location-year in 204 countries and territories and 811 subnational locations for each year from 1990 until 2021. The analysis used 56 604 data sources, including data from vital registration and verbal autopsy as well as surveys, censuses, surveillance systems, and cancer registries, among others. As with previous GBD rounds, cause-specific death rates for most causes were estimated using the Cause of Death Ensemble model—a modelling tool developed for GBD to assess the out-of-sample predictive validity of different statistical models and covariate permutations and combine those results to produce cause-specific mortality estimates—with alternative strategies adapted to model causes with insufficient data, substantial changes in reporting over the study period, or unusual epidemiology. YLLs were computed as the product of the number of deaths for each cause-age-sex-location-year and the standard life expectancy at each age. As part of the modelling process, uncertainty intervals (UIs) were generated using the 2·5th and 97·5th percentiles from a 1000-draw distribution for each metric. We decomposed life expectancy by cause of death, location, and year to show cause-specific effects on life expectancy from 1990 to 2021. We also used the coefficient of variation and the fraction of population affected by 90% of deaths to highlight concentrations of mortality. Findings are reported in counts and age-standardised rates. Methodological improvements for cause-of-death estimates in GBD 2021 include the expansion of under-5-years age group to include four new age groups, enhanced methods to account for stochastic variation of sparse data, and the inclusion of COVID-19 and other pandemic-related mortality—which includes excess mortality associated with the pandemic, excluding COVID-19, lower respiratory infections, measles, malaria, and pertussis. For this analysis, 199 new country-years of vital registration cause-of-death data, 5 country-years of surveillance data, 21 country-years of verbal autopsy data, and 94 country-years of other data types were added to those used in previous GBD rounds. Findings: The leading causes of age-standardised deaths globally were the same in 2019 as they were in 1990; in descending order, these were, ischaemic heart disease, stroke, chronic obstructive pulmonary disease, and lower respiratory infections. In 2021, however, COVID-19 replaced stroke as the second-leading age-standardised cause of death, with 94·0 deaths (95% UI 89·2–100·0) per 100 000 population. The COVID-19 pandemic shifted the rankings of the leading five causes, lowering stroke to the third-leading and chronic obstructive pulmonary disease to the fourth-leading position. In 2021, the highest age-standardised death rates from COVID-19 occurred in sub-Saharan Africa (271·0 deaths [250·1–290·7] per 100 000 population) and Latin America and the Caribbean (195·4 deaths [182·1–211·4] per 100 000 population). The lowest age-standardised death rates from COVID-19 were in the high-income super-region (48·1 deaths [47·4–48·8] per 100 000 population) and southeast Asia, east Asia, and Oceania (23·2 deaths [16·3–37·2] per 100 000 population). Globally, life expectancy steadily improved between 1990 and 2019 for 18 of the 22 investigated causes. Decomposition of global and regional life expectancy showed the positive effect that reductions in deaths from enteric infections, lower respiratory infections, stroke, and neonatal deaths, among others have contributed to improved survival over the study period. However, a net reduction of 1·6 years occurred in global life expectancy between 2019 and 2021, primarily due to increased death rates from COVID-19 and other pandemic-related mortality. Life expectancy was highly variable between super-regions over the study period, with southeast Asia, east Asia, and Oceania gaining 8·3 years (6·7–9·9) overall, while having the smallest reduction in life expectancy due to COVID-19 (0·4 years). The largest reduction in life expectancy due to COVID-19 occurred in Latin America and the Caribbean (3·6 years). Additionally, 53 of the 288 causes of death were highly concentrated in locations with less than 50% of the global population as of 2021, and these causes of death became progressively more concentrated since 1990, when only 44 causes showed this pattern. The concentration phenomenon is discussed heuristically with respect to enteric and lower respiratory infections, malaria, HIV/AIDS, neonatal disorders, tuberculosis, and measles. Interpretation: Long-standing gains in life expectancy and reductions in many of the leading causes of death have been disrupted by the COVID-19 pandemic, the adverse effects of which were spread unevenly among populations. Despite the pandemic, there has been continued progress in combatting several notable causes of death, leading to improved global life expectancy over the study period. Each of the seven GBD super-regions showed an overall improvement from 1990 and 2021, obscuring the negative effect in the years of the pandemic. Additionally, our findings regarding regional variation in causes of death driving increases in life expectancy hold clear policy utility. Analyses of shifting mortality trends reveal that several causes, once widespread globally, are now increasingly concentrated geographically. These changes in mortality concentration, alongside further investigation of changing risks, interventions, and relevant policy, present an important opportunity to deepen our understanding of mortality-reduction strategies. Examining patterns in mortality concentration might reveal areas where successful public health interventions have been implemented. Translating these successes to locations where certain causes of death remain entrenched can inform policies that work to improve life expectancy for people everywhere. Funding: Bill & Melinda Gates Foundation