— We prove uniqueness of the Kerr black holes within the connected, non-degenerate, analytic class of regular vacuum black holes. Résumé (Sur l’unicité de trous noirs stationnaires dans le vide). — On démontre l’unicité de trous noirs de Kerr dans la classe de trous noirs connexes, analytiques, réguliers, non-dégénérés, solutions des équations d’Einstein du vide.

We focus on the emptiness problem for alternating parity tree automata. The usual technique to tackle this problem first removes alternation, going to non-determinism, and then checks emptiness by reduction to a two-player perfect-information parity game. In this note, we give an alternative roadmap to this problem by providing a direct reduction to the emptiness problem to solving an imperfect...

— We prove uniqueness of the Kerr black holes within the connected, non-degenerate, analytic class of regular vacuum black holes. Résumé (Sur l’unicité de trous noirs stationnaires dans le vide). — On démontre l’unicité de trous noirs de Kerr dans la classe de trous noirs connexes, analytiques, réguliers, non-dégénérés, solutions des équations d’Einstein du vide.

Antimicrobial activity of a commercial olive leaf extract (OLE) against Bacillus cereus, Listeria monocytogenes, Staphylococcus aureus, Escherichia coli O157:H7, Biotype I, Salmonella Enteritidis and Typhimurium was tested by disc diffusion assay. The Gram negative bacteria in this study were more sensitive to OLE than negatives. highest antimicrobial on L. monocytogenes which yielded the large...

Abstract To maximise tenderness, minimise cooking loss, and decrease the adverse effects on colour of beef short ribs, third-order multiple regression models were used to optimise processing parameters during pulsed electric fields (PEF) followed by sous vide (SV) processing. Electric field strength (EFS) specific energy (SE) PEF ranged from 0 0.85 kV/cm 110.96 kJ/kg, respectively, SV for 12, 2...