Archive
7 articles
This thesis defines a novel semantic for multicast in vehicular ad hoc networks (VANETs) and it defines a middleware, the Localized Vehicular…
The advection equation, instability of the centred scheme by von Neumann analysis, upwind and numerical diffusion, Lax-Friedrichs, Lax-Wendroff, Godunov's theorem and transmission…
Why sinusoids, the phasor and its operations, impedance and admittance of resistor, inductor and capacitor, a complete example and the phasor method…
1. Equazioni di stato per i gas ideali e per i liquidi incomprimibili 2. Trasformazioni reversibili per i gas ideali con calori…
Model checking explained simply: Kripke structures, CTL and LTL temporal logics, fixpoint algorithm proved, BDDs and bounded model checking, a wrong mutual…
This project shows the restructuring and enlargement of a traditional trullo, the typical conical stone house from southern Italy. All the drawings…
In questo capitolo vengono presentate le equazioni di bilancio della massa, dell’energia e dell’entropia nella loro forma più generale, come trattate nel…
