109 research outputs found
Physodes and the phenolic compounds of brown algae. Composition and significance of physodes in vivo
Get PDFHolographic bulk grating in a photopolymer for pulse stretching in a CPA laser
No full textWe report large-aperture volume Holographic Chirped Bragg Reflector recorded in a photopolymer material. It permits to realize compact optical pulse stretchers (230-ps) for femtoseconds lasers
Excitation of low-lying levels and giant resonances in Zr via 57,5 MeV polarized proton inelastic scattering
No full text
Excitation function of giant resonances as doorway states in the C* reaction between 19 and 23 MeV
No full textA logic for analyzing abstractions of graph transformation systems
No full textA technique for approximating the behaviour of graph transformation systems (GTSs) by means of Petri net-like structures has been recently defined in the literature. In this paper we introduce a monadic second-order logic over graphs expressive enough to characterise typical graph properties, and we show how its formulae can be effectively verified. More specifically, we provide an encoding of such graph formulae into quantifier-free formulae over Petri net markings and we characterise, via a type assignment system, a subclass of formulae F such that the validity of F over a GTS G is implied by the validity of the encoding of F over the Petri net approximation of G. This allows us to reuse existing verification techniques, originally developed for Petri nets, to model-check the logic, suitably enriched with temporal operators
Ulva armoricana (Ulvales, Chlorophyta) from the coasts of Brittany (France). II. Nuclear rDNA ITS sequence analysis
No full textInternational audienc
- …
