Aiming to offer a framework for blended learning to the teaching of proof theory, the present paper describes an interactive tutorial, called TryLogic, teaching how to solve logical conjectures either by proofs or refutations. The paper also describes the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification,...

Fire is a dominant ecological factor in Mediterranean-type ecosystems. Management strategies include prescribed (controlled) burning, which has been used in the management of several species, such as Pinus nigra ssp laricio var. Corsicana, a pine endemic to Corsica of great ecological and economic importance. The effects of prescribed burning on Pinus laricio have been little studied. The first...

We report experiments and detailed numerical modeling of mixtures of primary reference fuel (PRF) droplets consisting of n -heptane and iso -octane with initial droplet diameters of 0.5 and 3.51 mm. The results show a quasi-steady, low temperature (or “Cool Flame” ( CF )) droplet burning mode that stems from a varying two-stage chemical kinetic behavior of the combustion chemistry. The simulati...