13,773,931 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
Linfieldpdx, 2014
Linfieldpdx, an annual newsletter for Linfield College\u27s nursing and health sciences alumni and friends, features stories about alumni, the campus, and programs. Included in this issue: notes from the dean Kozy brings experience, energy classes study health abroad Lloydena V. Grimes Award changes add energy to student lif
Understory 2014
“Art is the struggle to be, in a particular sort
of way, virtuous.” —Iris Murdoch
Indeed, when we embark on any creative adventure
it is with the purpose of conveying a certain truth; an
emotion, an idea that brings us together and reminds us
of the innate consciousness that dwells within.
Understory is emblematic of this; where individuals
intent on honing their craft can join others to become a
part of something greater, their work immortalized to
become a time capsule. Decades from now a volume of
Understory may be discovered on a dusty bookshelf in
some forgotten corner and the lucky explorer who finds it
shall be enlightened by pages of gold.
We, as editors of Understory 2014, have worked
very hard this year to put together a journal that showcases
the very best of the University of Alaska Anchorage
undergraduate student work. We hope you enjoy your
journey through this issue as much as we have enjoyed ours.
Thank you to the English and Art Departments,
for the staff and faculty’s unerring support of our club;
to Provost Baker, for seeing and believing in the vision
of Understory; and to our club’s faculty advisor, Douglass
Bourne, for his guidance and tireless assistance. Finally,
thank you to the wonderful students who submit such
excellent work each year. Without your passion for the
arts, we would not be here.Staff / Letter from the Editors / Glass Blower / Writing / Obsolete Evolution / Permafrost / Phoenix / Untitled / Ratio / Tripping / Abiogenesis / My Heart Beats for You / Meeting of the Fingerprint Lines / You Are No Stranger / Nightmare Fuel / Cane-Sugar / Gossamer Strands / Panthera Gold / Butterfly / A Mantis Too Far / Long and Winding Road / Chasing Shadows / Merisunas / Chequer Grove / Modzilla / Beans / Little Red and Mr. Wolf / In Memoriam, Joel Fletcher Armstrong / Glance / Courage / Uranium Waltz / Danger / Journey to the West / Antumbra / Roaring Like a Lion / Pre-boarding / Untitled / How Do You Say a Word / Fishing for Doom/ Contributor
2014 Roster
2014 Women\u27s Track and Field, George Fox University
2014 Program
2014 Women\u27s Lacrosse Program, George Fox Universit
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
- …