Containment and equivalence of weighted automata: Probabilistic and max-plus cases

This paper surveys some results regarding decision problems for probabilistic and max-plus automata, such as containment and equivalence. Probabilistic and max-plus automata are part of the general family of weighted automata, whose semantics are maps from words to real values. Given two weighted automata, the equivalence problem asks whether their semantics are the same, and the containment problem whether one is point-wise smaller than the other one. These problems have been studied intensively and this paper will review some techniques used to show (un)decidability and state a list of open questions that still remain

Acceleration of Nucleophilic CH Activation by Strongly Basic Solvents

(IPI)Ru(II)(OH)_n(H_2O)_m, 2, where IPI is the NNN-pincer ligand, 2,6-diimidizoylpyridine, is shown to catalyze H/D exchange between hydrocarbons and strongly basic solvents at higher rates than in the case of the solvent alone. Significantly, catalysis by 2 is accelerated rather than inhibited by increasing solvent basicity. The evidence is consistent with the reaction proceeding by base modulated nucleophilic CH activation

Fabric anisotropy & DEM informed two-surface hyperplasticity : constitutive formulation, asymptotic states & experimental validation.

In geotechnical analysis continuum idealisations of the bulk material still provide the most appropriate approach for engineers designing large-scale structures. In this area, the most successful framework for describing the behaviour of soils is Critical State (CS) soil mechanics. However, the findings from discrete element method (DEM) analysis, such as the uniqueness of the CS, can provide invaluable information in the development such models. This paper details the key concepts behind a two-surface hyperplasticity model (?) whose development was informed by recent DEM findings on the uniqueness of the CS. Asymptotic states of the model will be confirmed and the DEM-continuum-experimental loop will be closed through comparison of the developed model with experimental data on coarse-grained particulate media. This will demonstrate, that providing the previous stress history is accounted for, the proposed model is suitable for a variety of particulate media

Typhoon 9707 observations with the MU radar and L-band boundary layer radar

International audienceTyphoon 9707 (Opal) was observed with the VHF-band Middle and Upper atmosphere (MU) radar, an L-band boundary layer radar (BLR), and a vertical-pointing C-band meteorological radar at the Shigaraki MU Observatory in Shiga prefecture, Japan on 20 June 1997. The typhoon center passed about 80 km southeast from the radar site. Mesoscale precipitating clouds developed due to warm-moist airmass transport from the typhoon, and passed over the MU radar site with easterly or southeasterly winds. We primarily present the wind behaviour including the vertical component which a conventional meteorological Doppler radar cannot directly observe, and discuss the relationship between the wind behaviour of the typhoon and the precipitating system. To investigate the dynamic structure of the typhoon, the observed wind was divided into radial and tangential wind components under the assumption that the typhoon had an axi-symmetric structure. Altitude range of outflow ascended from 1?3 km to 2?10 km with increasing distance (within 80?260 km range) from the typhoon center, and in-flow was observed above and below the outflow. Outflow and inflow were associated with updraft and downdraft, respectively. In the tangential wind, the maximum speed of counterclockwise winds was confirmed at 1?2 km altitudes. Based on the vertical velocity and the reflectivity obtained with the MU radar and the C-band meteorological radar, respectively, precipitating clouds, accompanied by the wind behaviour of the typhoon, were classified into stratiform and convective precipitating clouds. In the stratiform precipitating clouds, a vertical shear of radial wind and the maximum speed of counterclockwise wind were observed. There was a strong reflectivity layer called a ?bright band' around the 4.2 km altitude. We confirmed strong updrafts and down-drafts below and above it, respectively, and the existence of a relatively dry layer around the bright band level from radiosonde soundings. In the convective precipitating clouds, the regions of strong and weak reflectivities were well associated with those of updraft and downdraft, respectively

Generalized β\beta-conformal change and special Finsler spaces

In this paper, we investigate the change of Finslr metrics $$L(x,y) \to\bar{L}(x,y) = f(e^{\sigma(x)}L(x,y),\beta(x,y)),$$ which we refer to as a generalized $\beta$-conformal change. Under this change, we study some special Finsler spaces, namely, quasi C-reducible, semi C-reducible, C-reducible, $C_2$-like, $S_3$-like and $S_4$-like Finsler spaces. We also obtain the transformation of the T-tensor under this change and study some interesting special cases. We then impose a certain condition on the generalized $\beta$-conformal change, which we call the b-condition, and investigate the geometric consequences of such condition. Finally, we give the conditions under which a generalized $\beta$-conformal change is projective and generalize some known results in the literature.Comment: References added, some modifications are performed, LateX file, 24 page

An Intermediate Level of BMP Signaling Directly Specifies Cranial Neural Crest Progenitor Cells in Zebrafish

The specification of the neural crest progenitor cell (NCPC) population in the early vertebrate embryo requires an elaborate network of signaling pathways, one of which is the Bone Morphogenetic Protein (BMP) pathway. Based on alterations in neural crest gene expression in zebrafish BMP pathway component mutants, we previously proposed a model in which the gastrula BMP morphogen gradient establishes an intermediate level of BMP activity establishing the future NCPC domain. Here, we tested this model and show that an intermediate level of BMP signaling acts directly to specify the NCPC. We quantified the effects of reducing BMP signaling on the number of neural crest cells and show that neural crest cells are significantly increased when BMP signaling is reduced and that this increase is not due to an increase in cell proliferation. In contrast, when BMP signaling is eliminated, NCPC fail to be specified. We modulated BMP signaling levels in BMP pathway mutants with expanded or no NCPCs to demonstrate that an intermediate level of BMP signaling specifies the NCPC. We further investigated the ability of Smad5 to act in a graded fashion by injecting smad5 antisense morpholinos and show that increasing doses first expand the NCPCs and then cause a loss of NCPCs, consistent with Smad5 acting directly in neural crest progenitor specification. Using Western blot analysis, we show that P-Smad5 levels are dose-dependently reduced in smad5 morphants, consistent with an intermediate level of BMP signaling acting through Smad5 to specify the neural crest progenitors. Finally, we performed chimeric analysis to demonstrate for the first time that BMP signal reception is required directly by NCPCs for their specification. Together these results add substantial evidence to a model in which graded BMP signaling acts as a morphogen to pattern the ectoderm, with an intermediate level acting in neural crest specification