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

Structural and Functional Genomic Research in Model Legume Plants: The National BioResource Project (NBRP) in Japan

Lotus japonicus is a wild perennial plant with a small genome and a short life cycle. This plant is expected to play a role as the model organism of leguminous plants, which include important crop plants such as soybean (Glycine max). Legume Base, a resource centre for Lotus japonicus and Glycine max, was established in April 2004. The scope of Legume Base is the collection, development and conservation of the genetic resources of L. japonicus and G. max and the distribution of the material for utilization by the research community. DNA resources including genomic DNA clones will be also available through Legume Base web site

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

A New Experimental Approach to Evaluate Plasma-induced Damage in Microcantilever

Plasma  etching,  during  micro-fabrication  processing  is  indispensable  for  fabricating  MEMS  structures.  During  the plasma  processes,  two  major matters,  charged  ions  and  vacuum–ultraviolet  (VUV)  irradiation  damage,  take  charge  of reliability  degradation.  The  charged  ions  induce  unwanted  sidewall  etching,  generally  called  as  “notching”,  which causes  degradation  in  brittle  strength.  Furthermore,  the  VUV  irradiation  gives  rise  to  crystal  defects  on  the  etching surface.  To  overcome  the  problem,  neutral  beam  etching  (NBE),  which  use  neutral  particles  without  the  VUV irradiation,  has  been  developed.  In  order  to  evaluate  the  effect  of  the  NBE  quantitatively,  we  measured  the  resonance property of a micro-cantilever before and after NBE treatment. The thickness of damage layer (δ) times the imaginary part  of  the  complex  Young's  modulus  (Eds)  were  then  compared,  which  is  a  parameter  of  surface  damage.  Although plasma processes  make the initial surface of cantilevers damaged during their fabrication, the removal of that damage by NBE was confirmed as the reduction in δEds. NBE will realize a damage-free surface for microstructures

Leishmania isoenzyme polymorphisms in Ecuador: Relationships with geographic distribution and clinical presentation

Background: Determinants of the clinical presentation of the leishmaniases are poorly understood but Leishmania species and strain differences are important. To examine the relationship between clinical presentation, species and isoenzyme polymorphisms, 56 Leishmania isolates from distinct presentations of American tegumentary leishmaniasis (ATL) from Ecuador were analyzed. Methods: Isolates were characterized by multilocus enzyme electrophoresis for polymorphisms of 11 isoenzymes. Patients were infected in four different ecologic regions: highland and lowland jungle of the Pacific coast, Amazonian lowlands and Andean highlands. Results: Six Leishmania species constituting 21 zymodemes were identified: L. (Viannia) panamensis (21 isolates, 7 zymodemes), L. (V.) guyanensis (7 isolates, 4 zymodemes), L. (V.) braziliensis (5 isolates, 3 zymodemes), L. (Leishmania) mexicana (11 isolates, 4 zymodemes), L. (L.) amazonensis (10 isolates, 2 zymodemes) and L. (L.) major (2 isolates, 1 zymodeme). L. panamensis was the species most frequently identified in the Pacific region and was associated with several clinical variants of cutaneous disease (CL); eight cases of leishmaniasis recidiva cutis (LRC) found in the Pacific highlands were associated with 3 zymodemes of this species. Mucocutaneous leishmaniasis found only in the Amazonian focus was associated with 3 zymodemes of L. braziliensis. The papular variant of CL, Uta, found in the Andean highlands was related predominantly with a single zymodeme of L. mexicana. Conclusion: Our data show a high degree of phenotypic variation within species, and some evidence for associations between specific variants of ATL (i.e. Uta and LRC) and specific Leishmania zymodemes. This study further defines the geographic distribution of Leishmania species and clinical variants of ATL in Ecuador

Combined wind profiler-weather radar observations of orographic rainband around Kyushu, Japan in the Baiu season

International audienceA special observation campaign (X-BAIU), using various instruments (wind profilers, C-band weather radars, X-band Doppler radars, rawinsondes, etc.), was carried out in Kyushu (western Japan) during the Baiu season, from 1998 to 2002. In the X-BAIU-99 and -02 observations, a line-shaped orographic rainband extending northeastward from the Koshikijima Islands appeared in the low-level strong wind with warm-moist airs. The weather radar observation indicated that the rainband was maintained for 11h. The maximum length and width of the rainband observed in 1999 was ~200km and ~20km, respectively. The rainband observed in 2002 was not so developed compared with the case in 1999. The Froude number averaged from sea level to the top of the Koshikijima Islands (~600m) was large (>1), and the lifting condensation level was below the tops of the Koshikijima Islands. Thus, it is suggested that the clouds organizing the rainband are formed by the triggering of the mountains on the airflow passing over them. The vertical profile of horizontal wind in/around the rainband was investigated in the wind profiler observations. In the downdraft region 60km from the Koshikijima Islands, strong wind and its clockwise rotation with increasing height was observed below 3km altitude. In addition, a strong wind component perpendicular to the rainband was observed when the rainband was well developed. These wind behaviors were related to the evolution of the rainband