Dall’Italia a São Paulo... da São Paulo all’Italia

1nonenoneLazzari F.;Lazzari, Francesc

Vacuum spacetimes with an isometry

In vacuum space-times the exterior derivative of a Killing vector field is a two-form that satisfies Maxwell equations without electromagnetic sources. Using the algebraic structure of this two-form we have set up a new formalism for the study of vacuum space-times with an isometry.Comment: 5 pages, sprocl.sty with LateX 2.09; Contribution to the Spanish Relativity Meeting (ERE 2000), Valladolid, Spain, 6-9.September, 200

HyAuLib: Modelling Hybrid Automata in Modelica

none2A library of components for modelling hybrid automata in a natural fashion has been implemented in Modelica. This library exploits and extends the free Modelica library StateGraph to the modelling and simulation of deterministic hybrid systems described by the hybrid automaton formalism. In this contribution, the library’s main features are described and its flexibility highlighted by developing models for two classic hybrid systems literature examples.T. Pulecchi; F. CasellaT., Pulecchi; Casella, Francesc

Foraminiferi bentonici e metalli in traccia: implicazioni ambientali.

none4Quaderni del Centro di Geobiologia, Università degli Studi di Urbino "Carlo Bo",openR. COCCIONI; F. FRONTALINI; A. MARSILI; F. TROIANICoccioni, Rodolfo; Frontalini, Fabrizio; Marsili, Andrea; Troiani, Francesc

Coleman's power series and Wiles' reciprocity for rank 1 Drinfeld modules

We introduce the formalism of Coleman's power series for rank 1 Drinfeld modules and apply it to formulate and prove the analogue of Wiles' explicit reciprocity law in this setting.Comment: To appear in JN