Using Sat solvers for synchronization issues in partial deterministic automata

We approach the task of computing a carefully synchronizing word of minimum length for a given partial deterministic automaton, encoding the problem as an instance of SAT and invoking a SAT solver. Our experimental results demonstrate that this approach gives satisfactory results for automata with up to 100 states even if very modest computational resources are used.Comment: 15 pages, 3 figure

On the interplay between Babai and Černý’s conjectures

Motivated by the Babai conjecture and the Černý conjecture, we study the reset thresholds of automata with the transition monoid equal to the full monoid of transformations of the state set. For automata with n states in this class, we prove that the reset thresholds are upperbounded by 2n2 -6n + 5 and can attain the value (Formula presented). In addition, we study diameters of the pair digraphs of permutation automata and construct n-state permutation automata with diameter (formula presented). © Springer International Publishing AG 2017

Burden of typhoid and paratyphoid fever in India.

BACKGROUND: In 2017, more than half the cases of typhoid fever worldwide were projected to have occurred in India. In the absence of contemporary population-based data, it is unclear whether declining trends of hospitalization for typhoid in India reflect increased antibiotic treatment or a true reduction in infection. METHODS: From 2017 through 2020, we conducted weekly surveillance for acute febrile illness and measured the incidence of typhoid fever (as confirmed on blood culture) in a prospective cohort of children between the ages of 6 months and 14 years at three urban sites and one rural site in India. At an additional urban site and five rural sites, we combined blood-culture testing of hospitalized patients who had a fever with survey data regarding health care use to estimate incidence in the community. RESULTS: A total of 24,062 children who were enrolled in four cohorts contributed 46,959 child-years of observation. Among these children, 299 culture-confirmed typhoid cases were recorded, with an incidence per 100,000 child-years of 576 to 1173 cases in urban sites and 35 in rural Pune. The estimated incidence of typhoid fever from hospital surveillance ranged from 12 to 1622 cases per 100,000 child-years among children between the ages of 6 months and 14 years and from 108 to 970 cases per 100,000 person-years among those who were 15 years of age or older. Salmonella enterica serovar Paratyphi was isolated from 33 children, for an overall incidence of 68 cases per 100,000 child-years after adjustment for age. CONCLUSIONS: The incidence of typhoid fever in urban India remains high, with generally lower estimates of incidence in most rural areas. (Funded by the Bill and Melinda Gates Foundation; NSSEFI Clinical Trials Registry of India number, CTRI/2017/09/009719; ISRCTN registry number, ISRCTN72938224.)

Theory of disk accretion onto supermassive black holes

Accretion onto supermassive black holes produces both the dramatic phenomena associated with active galactic nuclei and the underwhelming displays seen in the Galactic Center and most other nearby galaxies. I review selected aspects of the current theoretical understanding of black hole accretion, emphasizing the role of magnetohydrodynamic turbulence and gravitational instabilities in driving the actual accretion and the importance of the efficacy of cooling in determining the structure and observational appearance of the accretion flow. Ongoing investigations into the dynamics of the plunging region, the origin of variability in the accretion process, and the evolution of warped, twisted, or eccentric disks are summarized.Comment: Mostly introductory review, to appear in "Supermassive black holes in the distant Universe", ed. A.J. Barger, Kluwer Academic Publishers, in pres

Locating sex-specific evidence on clinical questions in MEDLINE: a search filter for use on OvidSP™

<p>Abstract</p> <p>Background</p> <p>Many recently published clinical studies report sex-specific data. This information may help to improve clinical decision-making for both sexes, but it is not easily accessible in MEDLINE. The aim of this project was to develop and validate a search filter that would facilitate the retrieval of studies reporting high quality sex-specific data on clinical questions.</p> <p>Methods</p> <p>A filter was developed by screening titles, abstracts and Medical Subject Headings (MeSH) in a set of 80 high quality and relevant papers, 75 of which were identified through a review of clinical guidelines and five through other means. The filter, for use on OvidSP™, consists of nine command lines for searching free text words in the title, abstract and MeSH of a paper. It was able to identify 74/80 (92.5%) of the articles from which it was derived. The filter was evaluated in a set of 622 recently published original studies on Alzheimer's disease and on asthma. It was validated against a reference of 98 studies from this set, which provided high quality, clinically relevant, sex-specific evidence. Recall and precision were used as performance measures.</p> <p>Results</p> <p>The filter demonstrated 81/98 (83%) recall and 81/125 (65%) precision in retrieving relevant articles on Alzheimer's disease and on asthma. In comparison, only 30/98 (31%) recall would have been achieved if sex-specific MeSH terms only had been used.</p> <p>Conclusion</p> <p>This sex-specific search filter performs well in retrieving relevant papers, while its precision rate is good. It performs better than a search with sex-specific MeSH. The filter can be useful to anyone seeking sex-specific clinical evidence (e.g., guideline organizations, researchers, medical educators, clinicians).</p

Transcriptome Alteration in the Diabetic Heart by Rosiglitazone: Implications for Cardiovascular Mortality

BACKGROUND: Recently, the type 2 diabetes medication, rosiglitazone, has come under scrutiny for possibly increasing the risk of cardiac disease and death. To investigate the effects of rosiglitazone on the diabetic heart, we performed cardiac transcriptional profiling and imaging studies of a murine model of type 2 diabetes, the C57BL/KLS-lepr(db)/lepr(db) (db/db) mouse. METHODS AND FINDINGS: We compared cardiac gene expression profiles from three groups: untreated db/db mice, db/db mice after rosiglitazone treatment, and non-diabetic db/+ mice. Prior to sacrifice, we also performed cardiac magnetic resonance (CMR) and echocardiography. As expected, overall the db/db gene expression signature was markedly different from control, but to our surprise was not significantly reversed with rosiglitazone. In particular, we have uncovered a number of rosiglitazone modulated genes and pathways that may play a role in the pathophysiology of the increase in cardiac mortality as seen in several recent meta-analyses. Specifically, the cumulative upregulation of (1) a matrix metalloproteinase gene that has previously been implicated in plaque rupture, (2) potassium channel genes involved in membrane potential maintenance and action potential generation, and (3) sphingolipid and ceramide metabolism-related genes, together give cause for concern over rosiglitazone's safety. Lastly, in vivo imaging studies revealed minimal differences between rosiglitazone-treated and untreated db/db mouse hearts, indicating that rosiglitazone's effects on gene expression in the heart do not immediately turn into detectable gross functional changes. CONCLUSIONS: This study maps the genomic expression patterns in the hearts of the db/db murine model of diabetes and illustrates the impact of rosiglitazone on these patterns. The db/db gene expression signature was markedly different from control, and was not reversed with rosiglitazone. A smaller number of unique and interesting changes in gene expression were noted with rosiglitazone treatment. Further study of these genes and molecular pathways will provide important insights into the cardiac decompensation associated with both diabetes and rosiglitazone treatment

Repair, regenerative and supportive therapies of the annulus fibrosus: achievements and challenges

Lumbar discectomy is a very effective therapy for neurological decompression in patients suffering from sciatica due to hernia nuclei pulposus. However, high recurrence rates and persisting post-operative low back pain in these patients require serious attention. In the past decade, tissue engineering strategies have been developed mainly targeted to the regeneration of the nucleus pulposus (NP) of the intervertebral disc. Accompanying techniques that deal with the damaged annulus fibrous are now increasingly recognised as mandatory in order to prevent re-herniation to increase the potential of NP repair and to confine NP replacement therapies. In the current review, the requirements, achievements and challenges in this quickly emerging field of research are discussed

Gravitational Lensing in Astronomy

Deflection of light by gravity was predicted by General Relativity and observationaly confirmed in 1919. In the following decades various aspects of the gravitational lens effect were explored theoretically, among them the possibility of multiple or ring-like images of background sources, the use of lensing as a gravitational telescope on very faint and distant objects, and the possibility to determine Hubble's constant with lensing. Only relatively recently gravitational lensing became an observational science after the discovery of the first doubly imaged quasar in 1979. Today lensing is a booming part of astrophysics. In addition to multiply-imaged quasars, a number of other aspects of lensing have been discovered since, e.g. giant luminous arcs, quasar microlensing, Einstein rings, galactic microlensing events, arclets, or weak gravitational lensing. By now literally hundreds of individual gravitational lens phenomena are known. Although still in its childhood, lensing has established itself as a very useful astrophysical tool with some remarkable successes. It has contributed significant new results in areas as different as the cosmological distance scale, the large scale matter distribution in the universe, mass and mass distribution of galaxy clusters, physics of quasars, dark matter in galaxy halos, or galaxy structure.Comment: Review article for "Living Reviews in Relativity", see http://www.livingreviews.org . 41 pages, latex, 22 figures (partly in GIF format due to size constraints). High quality postscript files can be obtained electronically at http://www.aip.de:8080/~jkw/review_figures.htm