A semigroup S is said to have the compactness property, or CP for short, if each system of equations over a nite set of variables has an equivalent nite subsystem, that is, having exactly the same solutions in S. We prove that a completely 0-simple semigroup S satis es CP if and only if the group G in a Rees matrix representation S = M0(I; G; ;P) satis es this property. Further, a variety of co...

We consider weak lumpability of general nite homogeneous Markov chains evolving in discrete time, that is when a lumped Markov chain with respect to a partition of the initial state space is also a homogeneous Markov chain. We show that weak lumpabilityis equivalent to the existence of a decomposable polyhedral cone which is positively invariant by the transition probability matrix of the origi...

We present properties of multihead two-way probabilistic nite automata that parallel those of their deterministic and nondeterministic counterparts. We deene multihead proba-bilistic nite automata with log-space constructible transition probabilities, and we describe a simple technique to simulate these automata by standard log-space probabilistic Turing machines. Next, we represent log-space p...

We analyse the relation between innnite-dimensional frame theory and nite-dimensional models for frames as they are used for numerical algorithms. Special emphasis in this paper is on perfect reconstruction oversampled lter banks, also known as shift-invariant frames. For certain nite-dimensional models it is shown that the corresponding nite dual frame provides indeed an approximation of the d...

846 www.thelancet.com Vol 388 August 27, 2016 Zika virus has been spreading rapidly in Brazil and the Americas, with a sharp increase in the number of notifi ed microcephaly cases since September, 2015. Based on the high number of cases, and the association between Zika virus infection and microcephaly, WHO on Feb 1, 2016, declared a Public Health Emergency of International Concern. Recently, a...

Proposed in this paper is a novel approach to inverse optimization problems by the learning of neural networks. Inverse optimization here means to estimate a positive semide nite quadratic criterion function which optimizes a given solution subject to predetermined constraints. A new network architecture for inverse optimization problems is proposed to simultaneously satisfy the KuhnTucker cond...

R. Yarchoan (ed.), Cancers in People with HIV and AIDS: Progress and Challenges, DOI 10.1007/978-1-4939-0859-2_2, © Springer Science+Business Media New York 2014 Abstract AIDS-defi ning malignancies are a subset of HIV-associated malignancies that include Kaposi sarcoma, some forms of non-Hodgkin lymphoma (NHL), and invasive cervical cancer (see also Chap. 3 ). Kaposi sarcoma along with Pneumoc...

e Berlin consensus group met recently after 18 years of defi ning acute respiratory distress syndrome (ARDS) using the American European Consensus Committee (AECC) criteria because, in their words, ‘a number of issues regarding various criteria of the AECC defi nition have emerged, including a lack of explicit criteria for defi ning acute, sensitivity of PaO2/FiO2 to diff erent ventilator setti...

We consider regulated (n-dimensional) context-free array grammars of nite index, i.e., with a limited number of active areas. This research is motivated by the observation that in several practical applications of array grammars only such a bounded number of active areas is observed. Combined with diierent methods known from regulated rewriting (e.g., matrix grammars, programmed grammars, gramm...

This paper deenes and develops cycle indices for the nite classical groups. These tools are then applied to study properties of a random matrix chosen uniformly from one of these groups. Properties studied by this technique will include semisimplicity, regularity, regular semisimplicity, the characteristic polynomial, number of Jordan blocks, and average order of a matrix.