REGULAR PAPERS User Requirements Notation: The First Ten Years, The Next Ten Years (Invited Paper) Daniel Amyot and Gunter Mussbacher Stochastic Process Algebra with Value-Passing and Weak Time Restrictions Guang Zheng, Jinzhao Wu, and Aiping Lu Study on Visual Knowledge Structure Reasoning Huimin Lu, Liang Hu, and Gang Liu An Automated X-corner Detection Algorithm (AXDA) Fuqing Zhao, Chunmiao ...

OBJECTIVE The aim of the present study was to establish noninvasive diagnostic models for liver fibrosis and assess their predictive accuracy (AC). METHODS A total of 349 patients with chronic hepatitis B virus infection were evaluated, who underwent liver biopsy and pathologic examination at Beijing Ditan Hospital affiliated to Capital Medical University. Patients were subdivided in disease-...

We have performed a high-precision Monte Carlo study of the dynamic critical behavior of the Swendsen–Wang algorithm for the two-dimensional 3state Potts model. We find that the Li–Sokal bound (τint,E ≥ const × CH) is almost but not quite sharp. The ratio τint,E/CH seems to diverge either as a small power (≈ 0.08) or as a logarithm.

The purpose of this paper is to prove connections among the asymptotic behavior of the magnetization, the structure of the phase transitions, and a class of polynomials that we call the Ginzburg–Landau polynomials. The model under study is a mean-field version of a lattice spin model due to Blume and Capel. It is defined by a probability distribution that depends on the parameters β and K , whi...

We introduce a model of automaton for picture language recognition which is based on tiles and is called Wang automaton, since its description relies on the notation of Wang systems. Wang automata combine features of both online tessellation acceptors and 4-ways automata: as in online tessellation acceptors, computation assigns states to each picture position; as in 4-way automata, the input he...

We study the discrete-to-continuum limit of the helical XY S -spin system on the lattice Z . We scale the interaction parameters in order to reduce the model to a spin chain in the vicinity of the Landau-Lifschitz point and we prove that at the same energy scaling under which the S -model presents scalar chirality transitions, the cost of every vectorial chirality transition is now zero. In add...

The stability of a steadily propagating planar premixed flame has been the subject of numerous studies since Darrieus and Landau showed that in their model flames are unstable to perturbations of any wavelength. Moreover, the instability was shown to persist even for very small wavelengths, i.e. there was no high-wavenumber cutoff of the instability. In addition to the Darrieus–Landau instabili...

Eight chemical transport models participate in a model intercomparison study for East Asia, MICS-Asia II. This paper analyzes calculated results for particulate matter of sulfate, nitrate and ammonium through comparisons with each other and with monthly measurements at EANET (the acid deposition monitoring network in East Asia) and daily measurements at Fukue, Japan. To the EANET measurements, ...

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

We perform the global stability analysis for a viral infection model with two types of immune response. The model is formulated as a system of delay differential equations. We determine the global dynamics in terms of the basic reproduction number using Lyapunov functionals. Our results on the global stability of the infected equilibrium answer the conjecture offered in the paper [K. Wang, W. W...