Clarifying and compiling C/C++ concurrency: from C++11 to POWER

The upcoming C and C++ revised standards add concurrency to the languages, for the first time, in the form of a subtle *relaxed memory model* (the *C++11 model*). This aims to permit compiler optimisation and to accommodate the differing relaxed-memory behaviours of mainstream multiprocessors, combining simple semantics for most code with high-performance *low-level atomics* for concurrency libraries. In this paper, we first establish two simpler but provably equivalent models for C++11, one for the full language and another for the subset without consume operations. Subsetting further to the fragment without low-level atomics, we identify a subtlety arising from atomic initialisation and prove that, under an additional condition, the model is equivalent to sequential consistency for race-free programs

Potential of Wild Yeast From Banana to Control Colletotrichum Musae Fungi Caused Anthracnose Disease and Its Short Antagonistic Mechanism Assay

Anthracnose caused by Colletotrichum musae is one of several important disease in banana fruit. An effective, cheap, and safe control method are necessary as a postharvest disease control alternative. This research aimed to obtain and identify wild yeast from banana which was isolated from its peel that has antagonist ability effectively in controlling anthracnose disease of banana fruit. This research was started with an isolation of C. musae and yeast from banana, followed by in vivo assay with count percentage antagonist level, slide culture, and in vivo assay to know pathogen incubation stage and incident disease level. The yeast that isolated from ambon variety was Candida sp. and Pichia sp. Metchnikowia sp. from kepok variety respectively

Classification of polynomials from C^2 to C with one critical value

We give the classification, up to homeomorphisms, of reduced complex polynomials with 2 variables with one critical value.Comment: 17 pages, LaTeX2e, 2 figures, 2 tabulars. To appear in Mathematische Zeitscrift. One remark changed after theorem

Oxidation resistance of ODS alloy PM2000 from 880°C to 1400°C

Oxidation resistance of ODS alloy PM2000 from 880°C to 1400°

A remark on a polynomial mapping from \C^n to \C^n

We provide relations of the results obtained in the articles \cite{ThuyCidinha} and \cite{VuiThang}. Moreover, we provides some examples to illustrate these relations, using the software {\it Maple} to complete the complicate calculations of the examples. We give some discussions on these relations.Comment: arXiv admin note: text overlap with arXiv:1503.0807

The Beckman-Quarles theorem for continuous mappings from C^n to C^n

Let varphi_n:C^n times C^n->C, varphi_n((x_1,...,x_n),(y_1,...,y_n))=sum_{i=1}^n (x_i-y_i)^2. We say that f:C^n->C^n preserves distance d>=0, if for each X,Y in C^n varphi_n(X,Y)=d^2 implies varphi_n(f(X),f(Y))=d^2. We prove: if n>=2 and a continuous f:C^n->C^n preserves unit distance, then f has a form I circ (rho,...,rho), where I:C^n->C^n is an affine mapping with orthogonal linear part and rho:C->C is the identity or the complex conjugation. For n >=3 and bijective f the theorem follows from Theorem 2 in [8].Comment: 10 pages, LaTeX2e, the version which appeared in Aequationes Mathematica

On a singular variety associated to a polynomial mapping from \C^n to \C^{n-1}

We construct a singular variety ${\mathcal{V}}_G$ associated to a polynomial mapping G : \C^{n} \to \C^{n - 1} where $n \geq 2$. We prove that in the case G : \C^{3} \to \C^{2}, if $G$ is a local submersion but is not a fibration, then the homology and the intersection homology with total perversity (with compact supports or closed supports) in dimension two of the variety ${\mathcal{V}}_G$ is not trivial. In the case of a local submersion G : \C^{n} \to \C^{n - 1} where $n \geq 4$, the result is still true with an additional condition