21,313 research outputs found
Energy and environmental performances of small and innovative solar cooling systems
The development of renewable energy technologies is a critical tool for reducing climate change and the reliance on fossil fuels. However, renewable energy technologies cannot be considered totally clean because they require energy consumption and have environmental impacts that cannot be neglected during their life cycle. This paper presents the results of two researches related to the application of solar thermal system for building heating and cooling. It is focused on small and compact systems of two different typologies. An innovative compact Solar DEC system is analysed in terms of potential competitor of stand alone electrically driven HVAC systems. The performances of small absorption chillers coupled with low temperature solar collectors is investigated by the means of Life Cycle Assessment approach in order to highlight their environmental impacts also during manufacturing and end-of-life phases.Bajada New Energy, General Membrane, EcoGroup, Econetique, Energy Investment, JMV Vibro Blocks, Solar Engineering, Solar Solutionspeer-reviewe
Quantifying Information Leaks Using Reliability Analysis
acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4We report on our work-in-progress into the use of reliability analysis to quantify information leaks. In recent work we have proposed a software reliability analysis technique that uses symbolic execution and model counting to quantify the probability of reaching designated program states, e.g. assert violations, under uncertainty conditions in the environment. The technique has many applications beyond reliability analysis, ranging from program understanding and debugging to analysis of cyber-physical systems. In this paper we report on a novel application of the technique, namely Quantitative Information Flow analysis (QIF). The goal of QIF is to measure information leakage of a program by using information-theoretic metrics such as Shannon entropy or Renyi entropy. We exploit the model counting engine of the reliability analyzer over symbolic program paths, to compute an upper bound of the maximum leakage over all possible distributions of the confidential data. We have implemented our approach into a prototype tool, called QILURA, and explore its effectiveness on a number of case studie
First-Year Papers Cover Page and Editorial Board
EDITORS
(in alphabetical order)
Andrew Calabrese
Glory Kim
Linh Le
Phong Quach
Chinmay Rayarikar
Cionna Rosenthal
Sarah Talcott
Elizabeth Valenzuela
Phillip Winser
Editors were drawn from the Class of 2018 Deans’ Scholars
Editing, Layout, and Publishing
Tennyson O’Donnell, Director, Allan K. Smith Center for Writing and Rhetoric, and Allan K. Smith Lecturer in English Composition
Dania Field, Coordinator of First-Year Academic Experiences
Amy Harrell, Librarian, Digital Projects
The First-Year Papers were established in 1996-1997 to recognize the excellent written work of the first-year students at Trinity College. Each year, submissions are drawn from First-Year Seminars and from courses associated with the Cities, Guided Studies, InterArts, and Interdisciplinary Science Programs.
The First-Year Papers
Volume 19, 2014 – 2015
Published by Trinity College
Hartford, Connecticut, September 201
Villanova University School of Law Commencement Program - Class of 2014
The Program for the Commencement Exercises of the 59th graduating class of the Villanova University School of Law in 201
- …