A computer calculation with Magma shows that there is no extremal self-dual binary code C of length 72 that has an automorphism group containing either the dihedral group of order 10, the elementary abelian group of order 9, or the cyclic group of order 7. Combining this with the known results in the literature one obtains that the order of Aut(C) is either 5 or divides 24.

OBJECTIVES Invasive fungal infections (IFIs) contribute significantly to mortality and morbidity in patients receiving myelosuppressive chemotherapy for haematological malignancies. The present study investigates the overall survival (OS), infection-related mortality and changes in treatment of IFIs in our department from 1995 until 2006. METHODS Outcomes of all chemotherapy courses were retr...

Modern program analysis and model-based tools are increasingly complex and multi-faceted software systems. However, at their core is invariably a component using a logic for describing states and transformations between system states. Logic inferences engines are then critical for the functionality of these systems. A commonly adapted approach has been to use a custom solver, built and tailored...

The primary hallmark of circadian clocks is their ability to entrain to environmental stimuli. The dominant, and therefore most physiologically important, entraining stimulus comes from environmental light cycles. Here we describe the establishment and characterization of a new cell line, designated Z3, which derives from zebrafish embryos and contains an independent, light-entrainable circadia...

A theorem which is named after the American Mathematician Moris Marden states a very surprising and interesting fact concerning the relationship between the points of a triangle in the complex plane and the zeros of two complex polynomials related to this triangle. Suppose the zeroes z1, z2, and z3 of a third-degree polynomial p(z) are non-collinear. There is a unique ellipse inscribed in the t...

Abstract We present a novel length-aware solving algorithm for the quantifier-free first-order theory over regex membership predicate and linear arithmetic string length. implement evaluate this related heuristics in Z3 theorem prover. A crucial insight that underpins our is real-world formulas contain wealth of information about upper lower bounds on lengths strings, such can be used very effe...

It is shown that a sufficient condition for color confinement is given by Z 3 = 0, where Z3 denotes the renormalization constant of the color gauge field.

Abstract cvc5 is the latest SMT solver in cooperating validity checker series and builds on successful code base of CVC4. This paper serves as a comprehensive system description ’s architectural design highlights major features components introduced since CVC4 1.8. We evaluate performance all benchmarks SMT-LIB provide comparison against Z3.

We study the blowing-up of the four-dimensional Z3 orientifold of Angelantonj, Bianchi, Pradisi, Sagnotti and Stanev (ABPSS) by giving nonzero vacuum expectation values (VEV’s) to the twisted sector moduli blowing-up modes. The blowing-up procedure induces a Fayet-Iliopoulos (FI) term for the “anomalous” U(1), whose magnitude depends linearly on the VEV’s of the blowing-up modes. To preserve th...

In this paper we consider Z3-graded topological symmetries (TSs) [2, 3] in one dimensional quantum mechanics. We give a classification of one dimensional quantum systems possessing these symmetries and show that different classes correspond to a positive integer N .