Comparison of max-plus automata and joint spectral radius of tropical matrices

Weighted automata over the max-plus semiring S are closely related to finitely generated semigroups of matrices over S. In this paper, we use results in automata theory to study two quantities associated with sets of matrices: the joint spectral radius and the ultimate rank. We prove that these two quantities are not computable over the tropical semiring, i.e. there is no algorithm that takes as input a finite set of matrices M and provides as output the joint spectral radius (resp. the ultimate rank) of M. On the other hand, we prove that the joint spectral radius is nevertheless approximable and we exhibit restricted cases in which the joint spectral radius and the ultimate rank are computable. To reach this aim, we study the problem of comparing functions computed by weighted automata over the tropical semiring. This problem is known to be undecidable and we prove that it remains undecidable in some specific subclasses of automata

Which Classes of Origin Graphs Are Generated by Transducers.

We study various models of transducers equipped with origin information. We consider the semantics of these models as particular graphs, called origin graphs, and we characterise the families of such graphs recognised by streaming string transducers

Undecidability of a weak version of MSO+U

We prove the undecidability of MSO on ω-words extended with the second-order predicate U1(X) which says that the distance between consecutive positions in a set X⊆N is unbounded. This is achieved by showing that adding U1 to MSO gives a logic with the same expressive power as MSO+U, a logic on ω-words with undecidable satisfiability. As a corollary, we prove that MSO on ω-words becomes undecidable if allowing to quantify over sets of positions that are ultimately periodic, i.e., sets X such that for some positive integer p, ultimately either both or none of positions x and x+p belong to X

Synthesis of molecularly imprinted polymer for glucose binding

Molecularly imprinted polymer (MIP) is an attractive technique for the synthesis of highly selective polymeric receptors having artificial generated recognition sites. These materials were synthesized with polymerizable functional monomers and crosslinker that were surrounded around the template molecule. After polymerization, a template molecule was removed leaving in the polymer selective recognition sites with shape, size and functionalities complementary to the template. This study presents a synthesis of MIP selectively for glucose binding. Glucose phosphate salt (GPS) was used as a template molecule with poly(allylamine hydrochloride) (PAA.HCl) as a functional monomer. Three types of crosslinkers which are epichlorohydrin (EPI), ethylene glycol diglycidyl ether (EDGE) and glycerol diglycidyl ether (GDE) were studied during the MIP synthesis. MIP prepared using EPI as a crosslinking showed the highest glucose binding capacity around 0.84 mg glucose/mg dried gel. The binding capacity of MIP prepared using EGDE and GDE are 0.78 mg glucose/mg gel and 0.38 mg glucose/mg gel respectively. It is also found that the increase on GPS monomer concentration will contribute to increase in glucose bindin

Collapse of optical binding under secondary irradiation

When an optically trapped and bound micrometer-sized chain of particles is subjected to a suitably oriented secondary laser beam above a threshold level of intensity, the structure will collapse. The effect arises from modifications to the interparticle energy landscapes owing to the superposition of optically induced potentials. From the theory it also emerges that, for particles separated by near-field distances, optically induced assemblies may be continuously transformed between linear, spherical, and lamellar forms. The results show scope for the optical fabrication of moldable nanoscale structures

Apparition d’hépatomes chez des canes

Guillon J.-C., Renault Lucien. Apparition d’hépatomes chez des canes. In: Bulletin de l'Académie Vétérinaire de France tome 114 n°2, 1961. pp. 94-97

Tectonic Regime as a Control Factor for Crustal Fault Zone (CFZ) Geothermal Reservoir in an Amagmatic System: A 3D Dynamic Numerical Modeling Approach

Crustal fault zones provide interesting geological targets for high-temperature geothermal energy source in naturally deep-fractured basement areas. Field and laboratory studies have shown the ability of these systems to let fluid flow down to the brittle–ductile transition. However, several key questions about exploration still exist, in particular the fundamental effect of tectonic regimes on fluid flow in fractured basement domains. Based on poro-elasticity assumption, we considered an idealized 3D geometry and realistic physical properties. We examined a model with no tectonic regime (benchmark experiment) and a model with different tectonic regimes, namely a compressional, an extensional and a strike-slip tectonic regime. Compared to the benchmark experiment, the results demonstrate that different tectonic regimes cause pressure changes in the fault/basement system. The tectonic-induced pressure changes affect convective patterns, onset of convection as well as the spatial extent of thermal plumes and the intensity of temperature anomalies. Driven by poro-elastic forces, temperature anomalies around vertical faults in a strike-slip tectonic regime have a spatial extent that should be considered in preliminary exploratory phases

Sur l’existence en France de l’hépatite à virus caneton

Guillon J.-C., Renault Lucien. Sur l'existence en France de l'hépatite à virus du caneton. In: Bulletin de l'Académie Vétérinaire de France tome 113 n°4, 1960. pp. 237-243

Contribution à l’étude de l’étiologie des affections respiratoires chez les volailles

Renault Lucien, Guillon J.-C., Palisse M. Contribution à l’étude de l’étiologie des affections respiratoires chez les volailles. In: Bulletin de l'Académie Vétérinaire de France tome 115 n°7, 1962. pp. 283-288