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

Characteristics of gravity waves generated in a convective and a non-convective environment revealed from hourly radiosonde observation under CPEA-II campaign

Analyses of hourly radiosonde data of temperature, wind, and relative humidity during four days (two with convection and two with no convection) as a part of an intensive observation period in CPEA-2 campaign over Koto Tabang (100.32° E, 0.20° S), Indonesia, are presented. Characteristics of gravity waves in terms of dominant wave frequencies at different heights and their vertical wavelengths are shown in the lower stratosphere during a convective and non-convective period. Gravity waves with periods ~10 h and ~4–5 h were found dominant near tropopause (a region of high stability) on all days of observation. Vertical propagation of gravity waves were seen modified near heights of the three identified strong wind shears (at ~16, 20, and 25 km heights) due to wave-mean flow interaction. Between 17 and 21 km heights, meridional wind fluctuations dominated over zonal wind, whereas from 22 to 30 km heights, wave fluctuations with periods ~3–5 h and ~8–10 h in zonal wind and temperature were highly associated, suggesting zonal orientation of wave propagation. Gravity waves from tropopause region to 30 km heights were analyzed. In general, vertical wavelength of 2–5 km dominated in all the mean-removed (~ weekly mean) wind and temperature hourly profiles. Computed vertical wavelength spectra are similar, in most of the cases, to the source spectra (1–16 km height) except that of zonal wind spectra, which is broad during active convection. Interestingly, during and after convection, gravity waves with short vertical wavelength (~2 km) and short period (~2–3 h) emerged, which were confined in the close vicinity of tropopause, and were not identified on non-convective days, suggesting convection to be the source for them. Some wave features near strong wind shear (at 25 km height) were also observed with short vertical wavelengths in both convective and non-convective days, suggesting wind shear to be the sole cause of generation and seemingly not associated with deep convection below. A drop in the temperature up to ~4–5 K (after removal of diurnal component) was observed at ~16 km height near a strong wind shear (~45–55 m s⁻¹ km⁻¹) during active period of convection

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

Capability of GPM IMERG Products for Extreme Precipitation Analysis over the Indonesian Maritime Continent

Integrated Multi-satellite Retrievals for GPM (IMERG) data have been widely used to analyze extreme precipitation, but the data have never been validated for the Indonesian Maritime Continent (IMC). This study evaluated the capability of IMERG Early (E), Late (L), and Final (F) data to observe extreme rain in the IMC using the rain gauge data within five years (2016–2020). The capability of IMERG in the observation of the extreme rain index was evaluated using Kling–Gupta efficiency (KGE) matrices. The IMERG well captured climatologic characteristics of the index of annual total precipitation (PRCPTOT), number of wet days (R85p), number of very wet days (R95p), number of rainy days (R1mm), number of heavy rain days (R10mm), number of very heavy rain days (R20mm), consecutive dry days (CDD), and max 5-day precipitation (RX5day), indicated by KGE value >0.4. Moderate performance (KGE = 0–0.4) was shown in the index of the amount of very extremely wet days (R99p), the number of extremely heavy precipitation days (R50mm), max 1-day precipitation (RX1day), and Simple Daily Intensity Index (SDII). Furthermore, low performance of IMERG (KGE < 0) was observed in the consecutive wet days (CWDs) index. Of the 13 extreme rain indices evaluated, IMERG underestimated and overestimated precipitation of nine and four indexes, respectively. IMERG tends to overestimate precipitation of indexes related to low rainfall intensity (e.g., R1mm). The highest overestimation was observed in the CWD index, related to the overestimation of light rainfall and the high false alarm ratio (FAR) from the daily data. For all indices of extreme rain, IMERG showed good capability to observe extreme rain variability in the IMC. Overall, IMERG-L showed a better capability than IMERG-E and-F but with an insignificant difference. Thus, the data of IMERG-E and IMERG-L, with a more rapid latency than IMERG-F, have great potential to be used for extreme rain observation and flood modeling in the IMC

Natural infection of the sand fly Phlebotomus kazeruni by Trypanosoma species in Pakistan

The natural infection of phlebotomine sand flies by Leishmania parasites was surveyed in a desert area of Pakistan where cutaneous leishmaniasis is endemic. Out of 220 female sand flies dissected, one sand fly, Phlebotomus kazeruni, was positive for flagellates in the hindgut. Analyses of cytochrome b (cyt b), glycosomal glyceraldehyde phosphate dehydrogenase (gGAPDH) and small subunit ribosomal RNA (SSU rRNA) gene sequences identified the parasite as a Trypanosoma species of probably a reptile or amphibian. This is the first report of phlebotomine sand flies naturally infected with a Trypanosoma species in Pakistan. The possible infection of sand flies with Trypanosoma species should be taken into consideration in epidemiological studies of vector species in areas where leishmaniasis is endemic

Evaluation of GPM IMERG Performance Using Gauge Data over Indonesian Maritime Continent at Different Time Scales

Accurate precipitation observations are crucial for water resources management and as inputs for a gamut of hydrometeorological applications. Precipitation data from Integrated Multi-Satellite Retrievals for Global Precipitation Measurement (GPM) (IMERG) have recently been widely used to complement traditional rain gauge systems. However, the satellite precipitation data needs to be validated before being widely used in the applications and this is still missing over the Indonesian maritime continent (IMC). We conducted a validation of the IMERG product version 6 for this region. The evaluation was carried out using gauge data in the period from 2016 to 2020 for three types of IMERG: Early (E), Late (L), and Final (F) from annual, monthly, daily and hourly data. In general, the annual and monthly data from IMERG showed a good correlation with the rain gauge, with the mean correlation coefficient (CC) approximately 0.54–0.78 and 0.62–0.79, respec-tively. About 80% of stations in the IMC area showed a very good correlation between gauge data and IMERG-F estimates (CC = 0.7–0.9). For the daily assessment, the CC value was in the range of 0.39 to 0.44 and about 40% of stations had a correlation of 0.5–0.7. IMERG had a fairly good ability to detect daily rain in which the average probability of detection (POD) for all stations was above 0.8. However, the false alarm ratio (FAR) value is quite high (<0.5). For hourly data, IMERG’s performance was still poor with CC around 0.03–0.28. For all assessments, IMERG generally overesti-mated rainfall in comparison with rain gauge. The accuracy of the three types of IMERG in IMC was also influenced by season and topography. The highest and lowest CC values were observed for June–July–August and December–January–February, respectively. However, categorical statistics (POD, FAR and critical success index) did not show any clear seasonal variation. The CC value decreased with higher altitude, but with slight difference for each IMERG type. For all assessments conducted, IMERG-F generally showed the best rainfall observations in IMC, but with slightly difference from IMERG-E and IMERG-L. Thus, IMERG-E and IMERG-L data that had a faster latency than IMERG-F show potential to be used in rainfall observations in IMC

Extensive Copy-Number Variation of Young Genes across Stickleback Populations

MM received funding from the Max Planck innovation funds for this project. PGDF was supported by a Marie Curie European Reintegration Grant (proposal nr 270891). CE was supported by German Science Foundation grants (DFG, EI 841/4-1 and EI 841/6-1). The funders had no role in study design, data collection and analysis, decision to publish, or preparation of the manuscript

Chromosomal-level assembly of the Asian Seabass genome using long sequence reads and multi-layered scaffolding

We report here the ~670 Mb genome assembly of the Asian seabass (Lates calcarifer), a tropical marine teleost. We used long-read sequencing augmented by transcriptomics, optical and genetic mapping along with shared synteny from closely related fish species to derive a chromosome-level assembly with a contig N50 size over 1 Mb and scaffold N50 size over 25 Mb that span ~90% of the genome. The population structure of L. calcarifer species complex was analyzed by re-sequencing 61 individuals representing various regions across the species' native range. SNP analyses identified high levels of genetic diversity and confirmed earlier indications of a population stratification comprising three clades with signs of admixture apparent in the South-East Asian population. The quality of the Asian seabass genome assembly far exceeds that of any other fish species, and will serve as a new standard for fish genomics