On considère des réseaux de Petri colorés, à contraintes linéaires et pouvant posséder des arcs de lecture. Sur cette classe, on définit une sémantique concurrente en termes de processus d’ordre partiel permettant de garder explicite l’indépendance entre des tirs de transitions. L’ensemble des processus peut être représenté en utilisant la notion de dépliage symbolique. Nous montrons alors comm...

This article describes a comprehensive testing method for the thermal calibration of Thermal InfraRed Sensor (TIRS) onboard NASA's Perseverance rover. Ground-based IR detectors operating at surface Mars are subjected to inaccuracies caused by inclusion gradients in their packages. To reduce such uncertainties, it is necessary compensate effects. Here, details TIRS thermo-mechanical design and s...

In this paper, we present an algorithm to check liveness of weighted routed nets. This novel method is based on the total number of event equations for each single input subnet and on a continuous approximation of a Petri net that provides linear equation descriptions. Vivacitt des rrseaux ponddrrs routage RRsumm : Dans cet article, nous prrsentons un algorithme pour vriier la vivacitt des rrse...

The Tol2 element is a naturally occurring active transposable element found in vertebrate genomes. The Tol2 transposon system has been shown to be active from fish to mammals and considered to be a useful gene transfer vector in vertebrates. However, cis-sequences essential for transposition have not been characterized. Here we report the characterization of the minimal cis-sequence of the Tol2...

More than half a century after the discovery of transposable elements, the number of genetically defined autonomous elements that have been isolated and characterized molecularly in any one species remains surprisingly small. Because of its rich genetic history, maize (Zea mays) is, by far, the plant with the largest number of such elements. Yet, even in maize, a maximum of only two autonomous ...

The cumulative retardance Delta(t) introduced between the p and the s orthogonal linear polarizations after two successive total internal reflections (TIRs) inside a right-angle prism at complementary angles phi and 90 degrees - phi is calculated as a function of phi and prism refractive index n. Quarter-wave retardation (QWR) is obtained on retroreflection with minimum angular sensitivity when...

Myxomatosis is a rapidly lethal disease of European rabbits that is caused by myxoma virus (MYXV). The introduction of a South American strain of MYXV into the European rabbit population of Australia is the classic case of host-pathogen coevolution following cross-species transmission. The most virulent strains of MYXV for European rabbits are the Californian viruses, found in the Pacific state...

Transmission infrared spectroscopy (TIRS) has been used to investigate the surface-bound species formed in the two-step chlorination/alkylation reaction of crystalline (111)-oriented Si surfaces. Spectra were obtained after hydrogen termination, chlorine termination, and reaction of the Cl-Si(111) surface with CH(3)MgX or C(2)H(5)MgX (X = Cl, Br) to form methyl (CH(3))- or ethyl (C(2)H(5))-term...

Abstrak: Fenomena Urban Heat Island dapat dipetakan dengan parameter Suhu Permukaan Tanah (SPT) dan indeks kerapatan vegetasi (NDVI). Penelitian ini bertujuan untuk menganalisis di Kota Kendari menggunakan Landsat 8 OLI/TIRS kondisi eksisting sebaran fenomena Kendari. Proses dilakukan mengolah data citra perekaman 30 Agustus 2017. Analisis algoritma Syariz penentuan SPT yang kemudian dikorelasi...