Uniform generation in trace monoids

We consider the problem of random uniform generation of traces (the elements of a free partially commutative monoid) in light of the uniform measure on the boundary at infinity of the associated monoid. We obtain a product decomposition of the uniform measure at infinity if the trace monoid has several irreducible components-a case where other notions such as Parry measures, are not defined. Random generation algorithms are then examined.Comment: Full version of the paper in MFCS 2015 with the same titl

Simulation of Green Roof Impact at Basin Scale by Using a Distributed Rainfall-Runoff Model

International audienceCurrently widespread in new urban projects, green roofs have shown a positive impact on urban runoff at the building scale, that is, decreased and slow peak discharge and decreases runoff volume. The aim was to study the possible impact of green roof at the catchment scale, more compatible with stormwater management issues. For this purpose, a distributed rainfall-runoff model (Multi-Hydro) devoted to urban environment and able to simulate the hydrological behaviour of green roof has been used to assess the green roof impact at such a scale. It has been applied on an urban catchment (Loup basin located in the Seine-Saint-Denis county, East of Paris, France) where most of the building roofs are flat and assumed to easily accept the implementation of green roof. Catchment responses to several rainfall events covering a wide range of meteorological situation have been simulated. The simulation results show that green roof can significantly reduce runoff volume and the magnitude of peak discharge (up to 80%) depending on the rainfall event and the initial saturation of the substrate

Ramification theory for varieties over a local field

We define generalizations of classical invariants of wild ramification for coverings on a variety of arbitrary dimension over a local field. For an l-adic sheaf, we define its Swan class as a 0-cycle class supported on the wild ramification locus. We prove a formula of Riemann-Roch type for the Swan conductor of cohomology together with its relative version, assuming that the local field is of mixed characteristic. We also prove the integrality of the Swan class for curves over a local field as a generalization of the Hasse-Arf theorem. We derive a proof of a conjecture of Serre on the Artin character for a group action with an isolated fixed point on a regular local ring, assuming the dimension is 2.Comment: 159 pages, some corrections are mad

Assessment of digital image correlation measurement errors: methodology and results

Optical full-field measurement methods such as Digital Image Correlation (DIC) are increasingly used in the field of experimental mechanics, but they still suffer from a lack of information about their metrological performances. To assess the performance of DIC techniques and give some practical rules for users, a collaborative work has been carried out by the Workgroup “Metrology” of the French CNRS research network 2519 “MCIMS (Mesures de Champs et Identification en Mécanique des Solides / Full-field measurement and identification in solid mechanics, http://www.ifma.fr/lami/gdr2519)”. A methodology is proposed to assess the metrological performances of the image processing algorithms that constitute their main component, the knowledge of which being required for a global assessment of the whole measurement system. The study is based on displacement error assessment from synthetic speckle images. Series of synthetic reference and deformed images with random patterns have been generated, assuming a sinusoidal displacement field with various frequencies and amplitudes. Displacements are evaluated by several DIC packages based on various formulations and used in the French community. Evaluated displacements are compared with the exact imposed values and errors are statistically analyzed. Results show general trends rather independent of the implementations but strongly correlated with the assumptions of the underlying algorithms. Various error regimes are identified, for which the dependence of the uncertainty with the parameters of the algorithms, such as subset size, gray level interpolation or shape functions, is discussed

Majorations explicites de fonctions de Hilbert-Samuel géométrique et arithmétique

International audienceBy using the $\mathbb R$-filtration approach of Arakelov geometry, one establishes explicit upper bounds for geometric and arithmetic Hilbert-Samuel function for line bundles on projective varieties and hermitian line bundles on arithmetic projective varieties

Optical character recognition on heterogeneous SoC for HD automatic number plate recognition system

Automatic number plate recognition (ANPR) systems are becoming vital for safety and security purposes. Typical ANPR systems are based on three stages: number plate localization (NPL), character segmentation (CS), and optical character recognition (OCR). Recently, high definition (HD) cameras have been used to improve their recognition rates. In this paper, four algorithms are proposed for the OCR stage of a real-time HD ANPR system. The proposed algorithms are based on feature extraction (vector crossing, zoning, combined zoning, and vector crossing) and template matching techniques. All proposed algorithms have been implemented using MATLAB as a proof of concept and the best one has been selected for hardware implementation using a heterogeneous system on chip (SoC) platform. The selected platform is the Xilinx Zynq-7000 All Programmable SoC, which consists of an ARM processor and programmable logic. Obtained hardware implementation results have shown that the proposed system can recognize one character in 0.63 ms, with an accuracy of 99.5% while utilizing around 6% of the programmable logic resources. In addition, the use of the heterogenous SoC consumes 36 W which is equivalent to saving around 80% of the energy consumed by the PC used in this work, whereas it is smaller in size by 95%

Multilocus microsatellite analysis of European and African Candida glabrata isolates

This study aimed to elucidate the genetic relatedness and epidemiology of 127 clinical and environmental Candida glabrata isolates from Europe and Africa using multilocus microsatellite analysis. Each isolate was first identified using phenotypic and molecular methods and subsequently, six unlinked microsatellite loci were analyzed using automated fluorescent genotyping. Genetic relationships were estimated using the minimum-spanning tree (MStree) method. Microsatellite analyses revealed the existence of 47 different genotypes. The fungal population showed an irregular distribution owing to the over-representation of genetically different infectious haplotypes. The most common genotype was MG-9, which was frequently found in both European and African isolates. In conclusion, the data reported here emphasize the role of specific C. glabrata genotypes in human infections for at least some decades and highlight the widespread distribution of some isolates, which seem to be more able to cause disease than others.This research was supported in part by the EU Mare Nostrum (EUMN-III Call) program of the European Union, grant agreement number 2011-4050/001-EMA2. Dr Sanae Rharmitt was the recipient of a scholarship (10 months) signed within the EUMN program for PhD students (F.S. 1.04.11.01 UORI) under the supervision of Prof Orazio Romeo.info:eu-repo/semantics/publishedVersio

Isolation, Identification, and Characterization of Phosphate-Solubilizing Bacteria from Tunisian Soils

Soil microorganisms play an important role in maintaining natural ecological balance through active participation in carbon, nitrogen, sulfur, and phosphorous cycles. Phosphate-solubilizing bacteria (PSB) are of high importance in the rhizosphere, enhancing the solubilization of inorganic phosphorus complexes into soluble forms available for plant nutrition. The investigation of this species of bacteria is of major interest in agriculture, as they can be used as biofertilizers for crops. In the present study, 28 isolates of PSB were obtained after the phosphate enrichment of soil samples from five Tunisian regions. Five PSB species were identified by 16S rRNA gene sequencing including Pseudomonas fluorescens, P. putida, and P. taiwanensis, Stenotrophomonas maltophilia, and Pantoea agglomerans. Solid and liquid Pikovskaya’s (PVK) and National Botanical Research Institute’s (NBRIP) media containing insoluble tricalcium phosphate were used for the evaluation of the phosphate solubilization ability of the bacterial isolates by two methods: visual evaluation of the solubilization zone around colonies (halo) and determination of solubilized phosphates in liquid medium by the colorimetric method of the vanado-molybdate yellow. Based on the results of the halo method, the isolate of each species that showed the higher phosphate solubilization index was selected for evaluation of phosphate solubilization by the colorimetric method. In the liquid media, the bacterial isolates showed phosphate solubilization ranging from 535.70 to 618.57 µg mL−1 in the NBRIP medium, and 374.20 to 544.28 µg mL−1 in the PVK medium, with the highest values produced by P. fluorescens. The best phosphate solubilization ability and higher reduction in broth pH, which indicates higher organic acid production, were achieved in NBRIP broth for most of the PSB. Strong correlations were observed between the average capability of PSB to solubilize phosphates and both the pH and total phosphorous content in the soil. The production of the hormone indole acetic acid (IAA), which can promote plant growth, was observed for all five PSB species. Among them, P. fluorescens obtained from the forest soil of northern Tunisia showed the highest production of IAA (50.4 ± 0.9 µg mL−1).This research was partially supported by the Smart Cities Research Center under the grant UIDB/05567/2020 funded by The Portuguese Foundation for Science and Technology (FCT—Fundação para a Ciência e a Tecnologia, Portugal). The authors wish to acknowledge the Ministry of Higher Education and Scientific Research in Tunisia, which has facilitated the work performed.info:eu-repo/semantics/publishedVersio

Use of FreeStyle Libre Flash Monitor Register in the Netherlands (FLARE-NL1):Patient Experiences, Satisfaction, and Cost Analysis

In patients with diabetes mellitus (DM), adequate glucose control is of major importance. When treatment schemes become more complicated, proper self-management through intermittent self-measurement of blood glucose (SMBG), among others, becomes crucial in achieving this goal. In the last decade, continuous glucose monitoring (CGM) has been on the rise, providing not only intermittent information but also information on continuous glucose trends. The FreeStyle Libre (FSL) Flash CGM system is a CGM system mainly used for patients with DM and is designed based on the same techniques as early CGMs. Compared with earlier CGMs, the FSL is factory calibrated, has no automated readings or direct alarms, and is cheaper to use. Although less accurate compared with the gold standard for SMBG, users report high satisfaction because it is easy to use and can help users monitor glucose trends. The Flash Monitor Register in the Netherlands (FLARE-NL) study aims to assess the effects of FSL Flash CGM use in daily practice. The study has a before-after design, with each participant being his or her own control. Users will be followed for at least 1 year. The endpoints include changes in HbA1c, frequency and severity of hypoglycemias, and quality of life. In addition, the effects of its use on work absenteeism rate, diabetes-related hospital admission rate, and daily functioning (including sports performance) will be studied. Furthermore, cost-benefit analysis based on the combination of registered information within the health insurance data will be investigated. Ultimately, the data gathered in this study will help increase the knowledge and skills of the use of the Flash CGM in daily practice and assess the financial impact on the use of the Flash CGM within the Dutch healthcare system

Performance of the FreeStyle Libre Flash glucose monitoring system in patients with type 1 and 2 diabetes mellitus

OBJECTIVE: To evaluate the performance of the FreeStyle Libre Flash continuous glucose monitoring (FSL-CGM) system against established central laboratory methods. RESEARCH DESIGN AND METHODS: 20 subjects (8 type 1 diabetes mellitus, 12 type 2 diabetes mellitus) were analyzed. FSL-CGM sensor measurements (inserted in arm and abdomen) were compared with capillary blood glucose results analyzed with StatStrip as semigold standard. The glucose response after a standardized oral glucose load was measured by FSL-CGM and capillary samples analyzed by perchloric acid hexokinase (PCA-HK) method, StatStrip and FSL test strip (FSLC), and a commonly used CGM system (iPro2). RESULTS: FSL-CGM arm sensor readings showed 85.5% of paired readings falling within Clarke Error Grid (ISO 15197:2013) zone A when compared with StatStrip. For FSL-CGM abdomen and FSLC, these percentages were 64% and 98%, respectively. The overall correlation of FSL-CGM in the arm and the StatStrip indicates a performance with lower results with the FSL-CGM in the arm than expected based on the StatStrip in the lower glucose ranges, and higher results than expected in the higher ranges. Following a standardized glucose load, a slower rise in glucose level was observed for FSL-CGM arm as compared with PCA-HK, StatStrip, FSLC, and iPro2 during the first 45–60 min after glucose load ingestion. CONCLUSIONS: Certain matters need attention while using the FSL-CGM in daily life including the observed lower values in the lower ranges, and the underestimation of the effect of a meal on glucose response. These effects of such deviations can partly be overcome by optimizing the available user instructions. TRIAL REGISTRATION NUMBER: TC5348; results