In the field of forensic biology, the term “time since intercourse (TSI)” is used to describe the approximate time elapsed between an alleged sexual assault and the collection of a Sexual Assault Evidence Collection Kit (SAECK) from a victim. The estimation of TSI, or Post Coital Interval (PCI), can be crucial information for particular cases in which the time between offense and the collection of a SAECK is in question. Oftentimes, forensic scientists must evaluate the significance of biological test results from evidence in SAECKs, but the variability in current literature complicates interpreting these results. Developing a reliable framework to estimate TSI based on a more extensive review of forensic casework would provide investigators with a fundamental tool for estimating a general timeline in which the offense occurred. This information may play an important role in supporting or refuting a narrative, or weighing the significance of the evidence at hand. This study aims to develop a dependable framework for estimating TSI in living victims based on casework received by Boston Police Department (BPD) Crime Laboratory, Boston, MA. Additionally, this study seeks to determine if any significance exists between the victim’s reported post coital activities and the collection of evidence, including the presence of intact sperm cells. The need to expand research on estimating TSI for sexual assault victims using actual forensic casework is crucial to provide a more reliable method for TSI estimation, compared to previous studies, which have generally been based on fertility studies. Between the years of 2009 and 2017, over 1,800 reported SAECKs were submitted to the Boston Police Department for evidence processing. More than 500 of these kits met the qualifications for this study, including: a living victim, smear slides prepared by a medical professional, and the identification of sperm cells during original kit processing. In order to estimate TSI, the smear slides from these cases were microscopically examined for the presence of intact sperm cells with the aid of Kernechtrot Picroindigocarmine (KPIC) stain. Based on casework received by the BPD, the maximum TSI reported for observing intact spermatozoa on vaginal smear slides was 105 hours, with an average collection time of 15 hours. The maximum TSI in which intact spermatozoa were observed on anorectal smear slides was 17.75 hours, with an average collection time of 7.9 hours. The average collection time in which intact spermatozoa on oral smear slides were observed was 6.9 hours, with a maximum reported TSI of 13.5 hours. Moreover, data from this study indicates a positive relationship between the total number of post coital activities completed before kit collection and the passage of time. Overall, this study provides reliable evidence based on actual casework samples for more accurately estimating the timeframe in which sperm evidence can be recovered after intercourse in living victims of sexual assault crimes.

The Design Workshop Archives and Digital Collection offer a unique opportunity for analysis of the archival process for landscape architecture collections. The goal of this project was to analyze the format of landscape architecture archive collections and design protocol for the creation of the Design Workshop Archives and Digital Collection. A review of best practices and experimentation has guided the appraisal and accessioning of four of Design Workshop’s Legacy Projects. The integration of a digital collection gathered from physical drawings, paper manuscripts, and computer files offers unique opportunities to establish standards and procedures for the creation of an archive at a university campus. The collaboration of professionals, archivists, and landscape architecture staff to create the archives has proven to be useful in many ways. The result is a manual composed of a review of best practices along with an account of the accessioning process undertaken in the creation of this new collection. Scholarly review of the archives evidenced the need for an altered approach to the archiving process in order to support the creation of the digital collection and the quantity of project material. Additional measures were created to appropriately represent and preserve the unique visual components of the works.

Several reports of North American bumble bee (Bombus Latreille) decline have been documented across the continent, but no study has fully assessed the geographic scope of decline. In this study I discuss the importance of Natural History Collections (NHC) in estimating historic bumble bee distributions and abundances, as well as in informing current surveys. To estimate changes in distribution and relative abundance I compare historic data assembled from a >73,000 specimen database with a contemporary 3-year survey of North American bumble bees across 382 locations in the contiguous U.S.A. Based on my results, four historically abundant bumble bees, B. affinis, B. occidentalis, B. pensylvanicus and B. terricola, have declined by 72 - 96% relative abundance across their native distribution, while B. bifarius, B. bimaculatus, B. impatiens, and B. vosnesenskii appear to be relatively stable. Finally, I provide some notes on the distribution, abundance, and frequency of Nosema bombi infections in Alaskan B. occidentalis.

Purely functional languages--with static type systems and dynamic memory management using garbage collection--are a known tool for helping programmers to reduce the number of memory errors in programs. By using such languages, we can establish correctness properties relating to memory-safety through our choice of implementation language alone. Unfortunately, the language characteristics that make purely functional languages safe also make them more difficult to apply in a low-level domain like operating systems construction. The low-level features that support the kinds of hardware manipulations required by operating systems are not typically available in memory-safe languages with garbage collection. Those that are provided may have the ability to violate memory- and type-safety, destroying the guarantees that motivate using such languages in the first place. This work demonstrates that it is possible to bridge the gap between the requirements of operating system implementations and the features of purely functional languages without sacrificing type- and memory-safety. In particular, we show that this can be achieved by isolating the potentially unsafe memory operations required by operating systems in an abstraction layer that is well integrated with a purely functional language. The salient features of this abstraction layer are that the operations it exposes are memory-safe and yet sufficiently expressive to support the implementation of realistic operating systems. The abstraction layer enables systems programmers to perform all of the low-level tasks necessary in an OS implementation, such as manipulating an MMU and executing user-level programs, without compromising the static memory-safety guarantees of programming in a purely functional language. A specific contribution of this work is an analysis of memory-safety for the abstraction layer by formalizing a meaning for memory-safety in the presence of virtual-memory using a novel application of noninterference security policies. In addition, we evaluate the expressiveness of the abstraction layer by implementing the L4 microkernel API, which has a flexible set of virtual memory management operations.

Zoning Map for Erwin, Tennessee published in 1967 by the Tennessee State Planning Commission. Base map prepared in September 1965 from subdivision plats and soil conservation Aerial Photographs. Includes downtown Erwin and some surrounding areas. Some numbers were added by hand to individual properties in black ink at an indeterminate time post publication. Physical copy resides in the Government Information, Law and Maps Department of East Tennessee State University’s Sherrod Library. / https://dc.etsu.edu/rare-maps/1000/thumbnail.jpg

Indiana University-Purdue University Indianapolis (IUPUI) / Heat, cooling, and ventilation units are major energy consumers for commercial buildings, they can consume as much as 50% of the total annual power usage of a building. Coherent management of an air handling system’s energy is a key factor of reducing the energy costs and CO2 emissions that are associated with the demand for ventilating and conditioning the air in a building. The issue is that buildings are frequently over ventilated as a full assessment of the air handling unit (AHU) data is not evaluated by building operators. According to ASHRAE standards there are three key parameters that control indoor air quality (IAQ); these are the temperature, humidity, and CO2. Commonly occupancy setpoints implemented by building operators are focused on temperature and humidity control while neglecting the CO2 levels and their impact. While this may seem insignificant additional data proves to be important and can assist with energy management. Additionally, it can develop awareness of implementable procedures which conserve energy. Furthermore, data is not monitored in regard to the continuous assessment of the energy consumption with respect to analysis of opportunities to implement energy saving control strategies. By using these standards as a guide an AHUs energy can be managed more effectively by measuring the data and assessing the outputs compared to the standard. Previous research has shown that up to 75% savings for the ventilation fan energy is achievable when taking into account ASHRAE ventilation standards and controlling outside air ventilation, however, this research has omitted investigating the savings for other energy consumers associated with AHU’s operation. In order to assess the demand, it is required that the CO2 levels of the occupied zones be measured, and the outdoor air ventilation rate be adjusted based on real-time demand. The goal of the research is to assess the number of CO¬2 sensors needed to accurately measure demand-based needs for ventilation and determine an algorithm that will help building operators assess the energy savings by implementing demand-controlled ventilation (DCV) procedures. The scope of this research is to identify what sensors at minimum are required to collect the most pertinent data for implementation of a comprehensive energy saving algorithms and assess the impact on energy consumption of AHUs when demand-controlled ventilation procedures are implemented.

Tato diplomová práce vznikla za podpory ANF DATA s.r.o., Brno. Diplomová práce je vypracována v angličtině. Vstupní bariéra pro vývoj uvnitř GCC se během posledních let znatelně snížila. Na konferencích, v časopisech a na webu se objevují články s architektonickými přehledy a návody. Věci se nadále zjednodušují použitím oficiálního vnitřního jazyka GENERIC: Pro komunikaci mezi přední částí a zbytkem překladače již není nutné zabývat se obtížným a nepřehledným RTL. Přesto je práce se souborem zdrojových kódů velikosti GCC nutně složitá. Je třeba napsat určité soubory a provést určitá nastavení, oboje jen s poměrně malým množstvím dokumentace. Cílem této práce je pomoci s posledním zmíněným bodem. Práce popisuje ukázkovou přední část: Vše od vytvoření zdrojových souborů, přes různé konstrukce jazyka GENERIC, až k problémům s kompilací běhové podpory nebo používání nativního preprocesoru.

京都大学 / 0048 / 新制・課程博士 / 博士(地球環境学) / 甲第19877号 / 地環博第151号 / 新制||地環||30(附属図書館) / 32913 / 京都大学大学院地球環境学舎地球環境学専攻 / (主査)准教授 深町 加津枝, 教授 柴田 昌三, 教授 星野 敏 / 学位規則第4条第1項該当 / Doctor of Global Environmental Studies / Kyoto University / DFAM

京都大学 / 0048 / 新制・課程博士 / 博士(医学) / 甲第19558号 / 医博第4065号 / 新制||医||1013(附属図書館) / 32594 / 京都大学大学院医学研究科医学専攻 / (主査)教授 平岡 眞寛, 教授 福原 俊一, 教授 一山 智 / 学位規則第4条第1項該当 / Doctor of Medical Science / Kyoto University / DFAM

No description available.