1,721,042 research outputs found
Manuale Operativo per la Gestione degli Impianti di Disinfezione dell'Acqua con Impiego di Sostanze a Base di Cloro
No full text
Nuove Tecniche per l'Abbattimento e il Controllo dei Composti Organo-alogenati nelle Acque
No full text
The dynamics of oxygen storage in model TWCs: CO oxidation over Ceria –Zirconia and Rh/CeO2-ZrO2 catalysts measured under stationary, pulsed and oscillanting conditions 6th meeting of the North America Catalyst Society,May 30- June 4, 1999 Boston
No full text
Speeding up Static Analysis with the Split Operator
No full textIn the context of static analysis based on Abstract Interpretation, we propose a new abstract operator modeling the split of control flow paths: The goal of the operator is to enable a more efficient analysis when using abstract domains that are computationally expensive, having no effect on precision. Focusing on the case of conditional branches guarded by numeric linear constraints, we provide a preliminary experimental evaluation showing that, by using the split operator, we can achieve significant efficiency improvements for a static analysis based on the domain of convex polyhedra. We also briefly discuss the applicability of this new operator to different, possibly non-numeric abstract domains
Iridium and rhodium nitrosyl complexes with methylated 1,10-phenanthroline and 2,2'-bipyridine ligands
No full textA quick method for emergency evacuation design in work places
No full textTo guarantee the safety of workers in premises it is necessary to design an egress-system capable to ensure a safe evacuation during an emergency. To supplement the design tools with an analytical method that permits to assess in a fast and simple way the performance of premises egress-system, in this work the PASS (Preliminary Assessment of the egress-System Safety) method has been presented and applied. The comparison among PASS, STEPS® (a FSE evacuation model) and a real fire drill observations has shown the capabilities of the PASS method as a quick tool for emergency evacuation planning during the pre-design process. This permits a rapid preliminary definition of the main egress-system characteristics and a focused use of FSE's software, reducing thus the overall computing time necessary for the design. Copyright © 2010, AIDIC Servizi S.r.l
Some Recent Progress in the Preparation, Characterization and Catalytic Applications of Ceria-based Materials
No full text- …
