36 research outputs found
Studio delle sollecitazioni nel sistema di pressa passiva di Ignitor
On the title-page: Associazione EURATOM-ENEA sulla FusioneConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
Modello termico delle bobine poloidali
On the title-page: Associazione EURATOM-ENEA sulla FusioneConsiglio Nazionale delle Ricerche - Biblioteca Centrale - P.le Aldo Moro, 7 , Rome / CNR - Consiglio Nazionale delle RichercheSIGLEITItal
Membrane technologies for the storage as methane of energy generated by wind power and other renewable sources
Methane Production from H2 + CO2 Reaction: An Open Molecular Science Case for Computational and Experimental Studies
The article illustrates the synergy between theoretical/computational advances and advanced experimental achievements to pursue green chemistry and circular economy technological implementations. The specific green chemistry focus concerns the production of carbon neutral fuels by converting waste carbon dioxide into methane. Both theoretical-computational and technological means were adopted to design a functional option implementing a heterogeneous catalysis process (Paul Sabatier (PS) catalytic reduction) to convert carbon dioxide into methane, and to further drive its evolution towards the employment of an alternative homogeneous gas phase plasma assisted technology. The details of both the theoretical and the experimental components of the study are presented and discussed. Future potential developments, including industrial ones, are outlined that are also from innovative collaborative economic prosumer model perspectives
An Imperative Pure Calculus
© 2016 The Authors. Published by Elsevier B.V. We present a simple calculus where imperative features are modeled by just rewriting source code terms, rather than by modifying an auxiliary structure which mimics physical memory. Formally, this is achieved by the block construct, introducing local variable declarations, which also plays the role of store when such declarations have been evaluated. In this way, we obtain a language semantics which is more abstract, and directly represents at the syntactic level constraints on aliasing, allowing simpler reasoning about related properties. We illustrate this possibility by a simple extension of the standard type system which assigns a capsule tag to expressions that will reduce to (values representing) isolated portions of store