Re-verification of a Lip Synchronization Protocol using Robust Reachability

The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards. A symbolic algorithm for the analysis of the robustness of timed automata has been implemented. In this paper, we re-analyse an industrial case lip synchronization protocol using the new robust reachability algorithm. This lip synchronization protocol is an interesting case because timing aspects are crucial for the correctness of the protocol. Several versions of the model are considered: with an ideal video stream, with anchored jitter, and with non-anchored jitter

Arms and the Boy: On the New Festival Calendar from Arkadia

Une tablette contenant une longue inscription de la période archaïque, provenant d’Arcadie et apparue sur le marché des antiquités, a été publiée « préliminairement » en 2015. Le présent article a pour objet : (1) d’offrir une nouvelle édition du texte — après autopsie et en utilisant deux photographies — ainsi que (2) une traduction anglaise. Comme l’inscription contient une multitude de détails linguistiques et rituels, pour certains inusités, on propose également: (3) un commentaire suivi de ligne en ligne, ainsi que (4) une analyse de la graphie et du dialecte. Développant ce commentaire, une autre section de l’article (5) offre une analyse typologique du texte, l’identifiant comme un calendrier d’une fête de trois jours (τριανβρίς), répétée selon différent cycles (annuel, bisannuel/triétérique, et énnéatérique). Plusieurs communautés, sanctuaires, et divinités (en particulier, semble-t-il, Zeus), étaient impliqués dans cette fête. En guise de conclusion, un Envoi tente d’offrir une appréciation générale du contenu de la tablette: émanant peut-être du sanctuaire du Mont Lycée ou de Méthydrion, le règlement était étroitement lié aux mythes arcadiens concernant la naissance de Zeus. Plus spécialement, tous les huit ans, la défense armée de sa mère Rhéa était célébrée (il s’agit des Hoplodmia), annonçant la venue au monde du nouveau roi des dieux.In 2015, a tablet containing an archaic inscription of considerable length from Arkadia, which had appeared on the antiquities market, was “pre-published”. The present article offers: (1) a new edition of the text from autopsy and two photographs, along with (2) an English translation. Since the inscription contains many unusual linguistic and ritual details, an extensive line-by-line commentary on the text (3), as well as a study of the script and dialect (4), are also proposed. Developing this commentary, a further section (5) offers an analysis of the typology of the text, identifying it as a calendar for a three-day (τριανβρίς) festival, which recurred in different cycles (annual, biennial/trieteric, and enneateric). This festival was concerned with multiple communities, sanctuaries, and deities, perhaps especially with Zeus. By way of conclusion (Envoi), an attempt at a general appraisal of the tablet is presented: issuing perhaps from the sanctuary of Mount Lykaion or from Methydrion, the regulation was closely linked to the Arkadian myths of the birth of Zeus. Every eight years in particular, the armed defense of his mother Rhea was celebrated (the Hoplodmia), announcing the rise of the new king of the gods

Methodological issues in testing the marginal productivity theory

Previous tests of the marginal productivity theory have been criticized on several grounds reviewed by the authors. One important deficiency has been the small number of factor inputs entered in the production functions. In 1978 Gottschalk suggested a method to estimate production functions with many inputs by assuming that the production process can be split into subprocesses. This reduces the probability of multicollinearity. The authors show that the method depends on an additional assumption. Tinbergen has developed a method for avoiding this assumption. Its application to American cross-section (state) data did not alter the estimated coefficients greatly

Further restrictions on the topology of stationary black holes in five dimensions

We place further restriction on the possible topology of stationary asymptotically flat vacuum black holes in 5 spacetime dimensions. We prove that the horizon manifold can be either a connected sum of Lens spaces and "handles" $S^1 \times S^2$, or the quotient of $S^3$ by certain finite groups of isometries (with no "handles"). The resulting horizon topologies include Prism manifolds and quotients of the Poincare homology sphere. We also show that the topology of the domain of outer communication is a cartesian product of the time direction with a finite connected sum of $\mathbb R^4,S^2 \times S^2$'s and $CP^2$'s, minus the black hole itself. We do not assume the existence of any Killing vector beside the asymptotically timelike one required by definition for stationarity.Comment: LaTex, 22 pages, 9 figure

The Iterative Signature Algorithm for the analysis of large scale gene expression data

We present a new approach for the analysis of genome-wide expression data. Our method is designed to overcome the limitations of traditional techniques, when applied to large-scale data. Rather than alloting each gene to a single cluster, we assign both genes and conditions to context-dependent and potentially overlapping transcription modules. We provide a rigorous definition of a transcription module as the object to be retrieved from the expression data. An efficient algorithm, that searches for the modules encoded in the data by iteratively refining sets of genes and conditions until they match this definition, is established. Each iteration involves a linear map, induced by the normalized expression matrix, followed by the application of a threshold function. We argue that our method is in fact a generalization of Singular Value Decomposition, which corresponds to the special case where no threshold is applied. We show analytically that for noisy expression data our approach leads to better classification due to the implementation of the threshold. This result is confirmed by numerical analyses based on in-silico expression data. We discuss briefly results obtained by applying our algorithm to expression data from the yeast S. cerevisiae.Comment: Latex, 36 pages, 8 figure

The clinical pathology of heartwater. I. Haematology and blood chemistry

Clinical pathological studies were undertaken in 5 calves with experimentally-induced heartwater. The most important findings include a progressive anaemia which may be associated with bone marrow depression and fluctuations in the total and differential white cell count, of which an eosinopenia and a lymphocytosis were the most marked. A severe drop in serum protein, especially in the albumin levels, was observed in all 5 cases . This disease is probably associated with an increased capillary permeability, as the protein content of the pericardial fluid in 1 case that died, approximated that of the serum. The osmolality of the effused fluid was also higher than that of the blood. No significant changes in the serum electrolyte levels occurred, except for total calcium levels which tended to decrease to below normal during the acute stage of the disease. Marked increases in total bilirubin were recorded. This, however, was not associated with liver pathology or haemolysis and may possibly be ascribed to a fasting hyperbilirubinaemia. Darkening of plasma colour was associated with peak rises in total biluribin. Increases in both blood urea and creatinine levels indicate interference with renal glomerular filtration during the acute stage of the disease.The articles have been scanned in colour with a HP Scanjet 5590; 600dpi. Adobe Acrobat XI Pro was used to OCR the text and also for the merging and conversion to the final presentation PDF-format.lmchunu2014mn201

The Parallel Magnetoconductance of Interacting Electrons in a Two Dimensional Disordered System

The transport properties of interacting electrons for which the spin degree of freedom is taken into account are numerically studied for small two dimensional diffusive clusters. On-site electron-electron interactions tend to delocalize the electrons, while long-range interactions enhance localization. On careful examination of the transport properties, we reach the conclusion that it does not show a two dimensional metal insulator transition driven by interactions. A parallel magnetic field leads to enhanced resistivity, which saturates once the electrons become fully spin polarized. The strength of the magnetic field for which the resistivity saturates decreases as electron density goes down. Thus, the numerical calculations capture some of the features seen in recent experimental measurements of parallel magnetoconductance.Comment: 10 pages, 6 figure

Two Days Versus Five Days of Postoperative Antibiotics for Complex Appendicitis:Cost Analysis of a Randomized, Noninferiority Trial

Objective: To compare costs for 2 days versus 5 days of postoperative antibiotics within the antibiotics after an aPPendectomy In Complex appendicitis trial. Background: Recent studies suggest that restrictive antibiotic use leads to a significant reduction in hospital stays without compromising patient safety. Its potential effect on societal costs remains underexplored. Methods: This was a pragmatic, open-label, multicenter clinical trial powered for noninferiority. Patients with complex appendicitis (age ≥ 8 years) were randomly allocated to 2 days or 5 days of intravenous antibiotics after appendectomy. Patient inclusion lasted from June 2017 to June 2021 in 15 Dutch hospitals. The final follow-up was on September 1, 2021. The primary trial endpoint was a composite endpoint of infectious complications and mortality within 90 days. In the present study, the main outcome measures were overall societal costs (comprising direct health care costs and costs related to productivity loss) and cost-effectiveness. Direct health care costs were recorded based on data in the electronic patient files, complemented by a telephone follow-up at 90 days. In addition, data on loss of productivity were acquired through the validated Productivity Cost Questionnaire at 4 weeks after surgery. Cost estimates were based on prices for the year 2019. Results: In total, 1005 patients were evaluated in the "intention-to-treat" analysis: 502 patients were allocated to the 2-day group and 503 to the 5-day group. The mean difference in overall societal costs was - €625 (95% CI: -€ 958 to -€ 278) to the advantage of the 2-day group. This difference was largely explained by reduced hospital stay. Productivity losses were similar between the study groups. Restricting postoperative antibiotics to 2 days was cost-effective, with estimated cost savings of €31,117 per additional infectious complication. Conclusions: Two days of postoperative antibiotics for complex appendicitis results in a statistically significant and relevant cost reduction, as compared with 5 days. Findings apply to laparoscopic appendectomy in a well-resourced health care setting.</p

Two Days Versus Five Days of Postoperative Antibiotics for Complex Appendicitis:Cost Analysis of a Randomized, Noninferiority Trial

Objective: To compare costs for 2 days versus 5 days of postoperative antibiotics within the antibiotics after an aPPendectomy In Complex appendicitis trial. Background: Recent studies suggest that restrictive antibiotic use leads to a significant reduction in hospital stays without compromising patient safety. Its potential effect on societal costs remains underexplored. Methods: This was a pragmatic, open-label, multicenter clinical trial powered for noninferiority. Patients with complex appendicitis (age ≥ 8 years) were randomly allocated to 2 days or 5 days of intravenous antibiotics after appendectomy. Patient inclusion lasted from June 2017 to June 2021 in 15 Dutch hospitals. The final follow-up was on September 1, 2021. The primary trial endpoint was a composite endpoint of infectious complications and mortality within 90 days. In the present study, the main outcome measures were overall societal costs (comprising direct health care costs and costs related to productivity loss) and cost-effectiveness. Direct health care costs were recorded based on data in the electronic patient files, complemented by a telephone follow-up at 90 days. In addition, data on loss of productivity were acquired through the validated Productivity Cost Questionnaire at 4 weeks after surgery. Cost estimates were based on prices for the year 2019. Results: In total, 1005 patients were evaluated in the "intention-to-treat" analysis: 502 patients were allocated to the 2-day group and 503 to the 5-day group. The mean difference in overall societal costs was - €625 (95% CI: -€ 958 to -€ 278) to the advantage of the 2-day group. This difference was largely explained by reduced hospital stay. Productivity losses were similar between the study groups. Restricting postoperative antibiotics to 2 days was cost-effective, with estimated cost savings of €31,117 per additional infectious complication. Conclusions: Two days of postoperative antibiotics for complex appendicitis results in a statistically significant and relevant cost reduction, as compared with 5 days. Findings apply to laparoscopic appendectomy in a well-resourced health care setting.</p

Isolation of Cowdria ruminantium by cellular affinity chromatography and detection by an enzyme-linked immunosorbent assay

The isolation of Cowdria ruminantium by means of wheat germ lectin affinity chromatography as described in this paper permits the recovery of partially purified viable organisms under mild conditions in short time. These conclusions are based upon results of analyses of column fractions by intravenous inoculation into sheep, protein determination, electronmicroscopy and enzyme-linked immunosorbent assay. The entire purification procedure could be completed in 4-5 hours using only either infected sheep tissue or nymphae as starting material.The articles have been scanned in colour with a HP Scanjet 5590; 600dpi. Adobe Acrobat XI Pro was used to OCR the text and also for the merging and conversion to the final presentation PDF-format