cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.25549/usctheses-c40-318730
title: Systematic analysis of network protocol implementations

description: As networked systems become more complex, and as interactions between distributed entities become more subtle, our ability to analyze such systems has fallen behind. Failing to keep up with the ever increasing amount of software interactions that these systems can potentially be subject to can lead to software glitches which, if unmitigated, can lead to costly and embarrassing outages and even data loss. It is clear the community needs better tools to analyze these systems and to better understand their behavior under varying circumstances. ❧ Towards this end we start by presenting one such analysis specifically tailored towards the problem of protocol interoperability: the Protocol Interoperability Checker or PIC. PIC uses symbolic execution to explore the space of messages used by a protocol sender and receiver to communicate. By finding messages the sender can generate but that the receiver subsequently determines to be invalid, PIC can find scenarios where interoperability breaks down. To scale such an analysis to real-world implementations we make several key novel contributions, including joint symbolic execution that constrains the receiver-side analysis based on results from the sender, and a custom form of directed symbolic execution, that guides the analysis towards meaningful results. On mature implementations of two protocols, PIC found thousands of instances of non-interoperabilities, across multiple message types and fault causes. Many of the issues have been acknowledged as undesirable by developers and some have already been fixed. ❧ We then move on to generalize our work on PIC to address two new challenges, handling arbitrary networked systems and checking more general correctness properties. By extending joint symbolic execution with concepts borrowed from model checking, we build a more general conversational analysis. Conversational analysis implements a detailed symbolic network model that supports communication with multiple messages between multiple parties, while also considering the effects of concurrency and message loss. In effect, we create a novel approach to exploring the outcomes of a distributed system while varying both its inputs and the underlying network dynamics. We show that conversational analysis is able to analyze Redis, a popular key-value store, and perform a bounded static verification of its master-slave handshake while also reproducing a complex known bug, as well as a nuanced injected fault. ❧ Finally, we address the challenge of checking more general correctness properties. By exporting our analysis capabilities as a set of operations in a toolkit we call the Systematic Protocol Analysis Framework or SPA, we allow users to ""script"" new analyses more flexibly. These scripts then produce direct value to developers, enabling, as we show, novel systematic analyses for interoperability, security, correctness, and reliability.
DOI: 10.25549/usctheses-c40-321955
title: Cultural computational agents

description: This thesis proposes the Multi Attribute Relational Values model (called MARV) that can be used by computational agents for simulating culture specific behavior. MARV assumes that the utility of any given decision is evaluated based on a set of social and relational considerations. The degree of the importance of these considerations corresponds to the weights on the model’s attributes and is influenced by the culture of the decision maker. Assigning culture specific weights on MARV’s different attributes allows the MARV model to capture cultural variations observed in social behavior. MARV assumes that values influence decision making behavior and therefore suggests that a possible explanation for the systematic differences observed between the behavior of people from different cultures is the differences in values. An on-line framework was specifically developed for performing empirical studies within and across cultures. This framework allows people to engage in interactive games and conversations with one another. This framework was used for eliciting peoples’ MARV values and behavioral data collection from multiple cultures. Eliciting the importance assigned to the MARV attributes by people from several cultures demonstrated that the MARV values vary from one culture to another. However, the reported importance of people from one culture remained consistent under varying conditions. ❧ This thesis explores three approaches for acquiring the culture-specific weights for the MARV model attributes. These methods are the following: i. using available culture models such as the Hofstede’s model of culture, ii. using reports of the importance of the MARV attributes by people, iii. Automatic Learning of the Weights for MARV: using machine learning techniques on cultural performance data. ❧ Cultural behavior was simulated for computational agents with each of the mentioned methods. Several virtual human characters were deployed to engage in interactive games according to specific cultures. These agents played with one another and with humans. The performance of the computational agents’ behavior generated by the MARV model was compared to the actual behavior of people. The simulation results showed that MARV policies for each culture resulted in simulations that were closer to human behavior from that culture than the behavior of the other models or people of another culture.
DOI: 10.25549/usctheses-c40-365482
title: Adaptive set-based tests and multiple testing for gene-environment interactions

description: In the first part of this dissertation, I proposed a few novel set-based tests by adaptively combining marginal statistics for Gene-Environment Interactions. I also conducted a wide range of simulations to show these methods have better performance than existing methods, in both maintaining type I error and yielding high power. In the second part of the dissertation, I proposed a novel multiple testing method for Gene-Environment Interactions and showed this method can protect type I error at target level (5%) when these multiple tests are correlated (i.e. SNPs have LD), while classical Bonferroni/Sidak methods can be overly conservative. I also applied the novel set-based tests and multiple testing method to real breast cancer data and it turns out our methods are more promising to detect significant signals for Gene-Environment Interactions in real data analysis. In addition, I wrote a user-friendly R package to implement these novel methods for Gene-Environment Interactions.
DOI: 10.5281/zenodo.3241981
title: A structural model of the human serotonin transporter in an outward-occluded state: MD simulation data

description: The uploads contain relevant data to supplement the study https://www.biorxiv.org/content/10.1101/637009v1, where the details of the methods are described.

charmm_energy_minimization.inp is the input file that was used to run an energy minimization on structural models

The two archives contain relevant MD simulation data in coordinate, parameter and trajectory files:

hSERT_Ce.tar.gz outward-open X-ray structure PDB 5I71

hSERT_Ceo.tar.gz outward-occluded structural model
DOI: 10.5281/zenodo.3241982
title: A structural model of the human serotonin transporter in an outward-occluded state: MD simulation data

description: The uploads contain relevant data to supplement the study https://www.biorxiv.org/content/10.1101/637009v1, where the details of the methods are described.

charmm_energy_minimization.inp is the input file that was used to run an energy minimization on structural models

The two archives contain relevant MD simulation data in coordinate, parameter and trajectory files:

hSERT_Ce.tar.gz outward-open X-ray structure PDB 5I71

hSERT_Ceo.tar.gz outward-occluded structural model
DOI: 10.21227/kh0d-af93
title: High Order Approximate Power Flow Solutions

description: This report outlines the derivation of the first-, second-, and third-order Taylor series expansions of the power flow solution. The derivation is carried out in complex variables via the use of Wirtinger calculus.
DOI: 10.21227/rajh-4612
title: High Order Approximate Power Flow Solutions

description: This report outlines the derivation of the first-, second-, and third-order Taylor series expansions of the power flow solution. The derivation is carried out in complex variables via the use of Wirtinger calculus.
DOI: 10.25549/pcra-c14-256346
title: The young warrior : Pentecostal monthly voor youth work and Sunday schools, vol. 01, no. 09 (1949 September)
title: De jonge strijder : Pinkstermaandblad voor jeugdwerk en zondagsschool, vol. 01, nr. 09 (1949 september)

description: Youth work and Sunday schools in Pentecostal churches Jeugdwerk en zondagschool in de Pinksterkerken
DOI: 10.25549/usctheses-c40-330516
title: Intelligent building envelopes: a design approach for integrating automation in sustainable façades

description: The building envelope is the barrier against the outdoor environment and a filter between indoor and outdoor conditions. From its earliest function as a shelter’s interface with the external environment, the “skin” has evolved to take on additional characteristics, manifesting technological advances and changing aesthetic modes. Advances in façade design have served to regulate indoor comfort conditions and, with the advent of industrial technologies, have incorporated mechanical means to accomplish this task. Such solutions, however, have been demonstrated to be environmentally taxing, thus necessitating the development of sustainable concepts and technologies, which, in turn, have given rise to sustainable high-performance façade design. ❧ Intelligent envelopes are considered to be the state-of-the-art in architecture and building technology. Automation technology offers the potential for façades to act as agents in a feedback process for decision-making regarding indoor conditions, in order to improve occupant comfort and reduce energy consumption. However, research into the concept of designing intelligent envelopes requires greater attention, and the promise of incorporating this emergent intelligent technology into architectural design has yet to be fully realized. ❧ Building upon the gaps in the literature addressing design methods and assessment of sustainable buildings, sustainable façades, and automated buildings, the dissertation analyzes the current state of the field through case studies, observation research, and interviews with experts in designing automated façades—all with a focus on tall commercial buildings. The dissertation offers a comprehensive working definition of intelligent building façades and explores the connection between theoretical design and practical implementation. Given the lack of dialogue between theory and manifestation, as well as insufficient integration of automation in sustainable façade design, the dissertation introduces recommendations that address the approach to designing façades with integrated automation, analyze synergetic environmental parameters, establish a method of multi-factorial decision-making, and allow for situational resolutions in the design strategies for automated sustainable façades. In addition, the recommendations propose principles that integrate transdisciplinary design and argumentation-and-negotiation, conveying their importance in designing intelligent façades. Reinforced by a feedback from design experts, the recommendations offer a new approach to designing façades and link the potential of intelligent integration with sustainable façade design.
DOI: 10.17632/45hmxw5hfm.1
title: Validation & Processed Data for: An Individual-Based Model for the Dispersal of I. scapularis by Ovenbirds and Wood Thrush During Fall Migration
DOI: 10.25549/usctheses-c40-355871
title: Cicero and the early Latin poets

description: In my dissertation, I investigate how and why Cicero quotes early Latin poetry, with the aim of exploring the attitude of intellectuals of the 1st c. BCE to their poetic inheritance during an era when Roman writers sought to establish the origins and nature of Latin language and literature. Through analysis of Cicero’s quotations from Latin epic, tragedy, and comedy, I investigate the use of verse to express the arguments of philosophy, rhetoric, politics, and linguistics. I examine how the performative elements of the poetry cited by Cicero enrich his prose, exploring how live culture and text interact: I argue that when Cicero quotes song from Roman tragedy, such as Accius’ Philocteta, the reader is expected to “hear” its melody. I explore how Cicero—in the face of Republicanism’s collapse—turned to Ennius’ Annales to revive the images of Roman history. I also examine the intellectual influences which shaped Cicero’s attitude to poetry and quotation, such as a philosophical practice of verse citation used by the early Greek Stoics and by the Stoic characters of Cicero’s philosophical works. The project explores Cicero’s role in the development of literary canons, tracing how his interest in certain poets influenced the literary tastes of subsequent generations of Roman writers. Since Cicero is one of the main sources for the surviving fragments of early Latin poetry, I examine how his reception of Roman verse has shaped our view of these fragments, as well as our view of the period they represent.
DOI: 10.25549/usctheses-c40-360342
title: Effectiveness of the SEC’s comment letters in initial public offerings

description: This study analyzes the SEC review process and assesses the SEC’s effectiveness in regulating IPO firms’ financial disclosures. Using novel SEC review data, I examine the effect of SEC comments on IPO prospectus’ accounting quality using restatements of IPO firm financial statements. I find that 18.5% of all registrants have a material restatement, experiencing a 4% revenue decline and a 64% decrease in net income. I show that an increase in one standard deviation in accounting comments increases the likelihood of an IPO restatement by 10.3% and the severity of restatement by 6.4%. During the review process, 68.4% of all restatements of IPO prospectuses are identified by the SEC. These findings suggest that the SEC has the capacity to identify and correct accounting problems but misses a substantial number of accounting issues. To further understand the SEC’s review capability, I examine the financial restatements of the registrants after the IPO (10-K, 10-Q). I find that the number of accounting comments is not associated with post-IPO restatements. Overall, these results suggest that the SEC’s effectiveness is limited to identifying and remediating some but not all accounting issues in the IPO process.
DOI: 10.25549/usctheses-c40-372383
title: Data-driven approach for user-centered environmental control

description: The design and operation of heating, ventilation and air conditioning (HVAC) systems face conflicting goals between providing acceptable thermal comfort conditions and reducing HVAC related energy consumption. Integrating individual occupants’ thermal comfort preferences into the HVAC control logic can contribute to overcoming that conflict. Yeo, M.S. developed a data-driven model for calculating the optimal start and stop moments of HVAC system in an office building (Yang et al, 2003). Moon, J.W. developed a data-driven algorithm based control model for conditioning the indoor temperature humidity and PMV (Moon et al, 2010). The artificial neural network based model used in this study demonstrated good performance in occupants’ thermal comfort and energy saving. In this research, two occupancy conditions were considered: single occupancy condition (SOC) and multi-occupancy condition (MOC). An overall thermal discomfort (OTD) index was developed to evaluate the overall thermal comfort in MOC. The human thermal comfort experiments were conducted to collect occupants’ thermal preference by surveying their thermal comfort feedback under different environment condition in an environment chamber. Twenty-one subjects participated in the experiment wherein the environmental temperature range was changed from 18℃ to 32℃ while the relative humidity varied from 40-45% over a period of 60 minutes. Data-driven model was developed based on the experiment’s thermal comfort data. A recommended temperature range was generated in accordance with the different thermal comfort requirements. Validation experiments were conducted to test the accuracy of the data-driven model for both SOC and MOC. The performance of data-driven model has analyzed on both, thermal comfort and energy saving aspects, by comparing with the predicted mean vote (PMV) model.  Based on the results of the experiments, the data-driven approach demonstrated up to 45% more energy saving and 44.3% better thermal comfort performance than the industry PMV model-based control logic in single occupancy condition. In the multiple occupancy conditions, the data-driven approach showed up to 42% more energy saving and 41.5% better thermal comfort performance than the PMV-based control method. The potential application of a data-driven approach to solving multiple occupancy conditions was also discussed.
DOI: 10.25549/usctheses-c40-375640
title: Around 1991: racial/sexual terror and U.S. Empire

description: Within the context of the Cold War, both the CIA involvement with the 1958 Baghdad Revolution and the Baathist Regime's violent takeover of Iraq created an environment of collective racial and sexual terror that played out somatically and psychically. The resulting grief produced a residue of material losses within Iraqi culture. This project intervenes in the fields of trauma studies and sexuality studies through textual analysis of the cultural production by Sam Greenlee, Sinan Antoon, Alan Ball, and Rajiv Joseph. These cultural texts document the overlapping traumas caused by U.S. Empire and the Iraqi Regime inside of what Fanon names the “psycho-affective” realm. The Cold War tactics continued with the U.S. providing military aid to both countries during the Iraq-Iran War of the 1980s. The 1991 Persian Gulf War resulted in protracted and continual bombings and sanctions, followed by the 2003 occupation, destabilization of Iraq and internally displaced Iraqis as well as Iraqi refugees dispersed globally. I read the prostitutes and rape victims in these texts as both literal and metaphoric tropes of cultural/racial betrayal and sexual exploitation; the collective corporeal subject and the national psyche bear the psychic damage from endless wars. Racial/Sexual Terror refers to the racial/sexual trauma experienced by Iraqi citizens at the hands of both U.S. Empire and the Hussein family Baathist Regime. Around 1991 argues that these male artists generate an anti-war message by routing their critiques of empire and war through the trope of the whore. The whore/rape victim’s experience with sexual humiliation/racial degradation is one way that psychic damage is a central somatic/psychic outcome of war and empire.
DOI: 10.5281/zenodo.3241744
title: Crossref metadata of COCI bibliographic resources, as of November 2018 and LCC categories of the ISBN entities in the dataset

description: The <em>all.zip</em> CSV file (zipped) contains citation counts obtained from the November 2018 dump of COCI (https://doi.org/10.6084/m9.figshare.6741422.v3) and some metadata (title, DOI, number of authors, ISBN, ISBN of the container, type of the bibliographic resource) of the related citing and cited entities obtained by using the Crossref dump downloaded in October 2018 – which is the same dump used to create the COCI data. In addition, it contains all the Library of Congress Classification (LCC) categories associated with each ISBN in the previous dataset (file <em>isbn_cat_lcc.csv</em>), according to the data retrieved using the services at http://classify.oclc.org/classify2/api_docs/index.html. Two ancillary mapping files have been also added: one (<em>ddc_to_lcc_mapping.csv</em>) for converting a Dewey Decimal Classification (DDC) categories into LCC categories, in the case the service mentioned above returned only DDC categories for some ISBN; the other (<em>lcc_to_wos_mapping.csv</em>) to map each LCC category into the related Web of Science research area.
DOI: 10.5281/zenodo.3241745
title: Crossref metadata of COCI bibliographic resources, as of November 2018

description: This CSV file (zipped) contains citation counts obtained from the November 2018 dump of COCI (https://doi.org/10.6084/m9.figshare.6741422.v3) and some metadata (title, DOI, number of authors, ISBN, ISBN of the container, type of the bibliographic resource) of the related citing and cited entities obtained by using the Crossref dump downloaded in October 2018 – which is the same dump used to create the COCI data.
DOI: 10.17632/zb878s6tkd.1
title: Data for: An Individual-Based Model for the Dispersal of I. scapularis by Ovenbird and Wood Thrush
DOI: 10.25549/pcra-c14-99674
title: Gouden-schooven-1929_0241
DOI: 10.25549/usctheses-c40-360282
title: Characterization of ErbB4 in zebrafish and mouse heart

description: Cardiovascular diseases are the leading cause of death globally due to the limited heart regeneration in human. However in zebrafish and neonatal mice, regeneration process occurs naturally by dedifferentiation and proliferation of the remaining cardiomyocytes. ErbB-4 is an essential receptor in this process mediating Neuregulin 1(Nrg 1) signaling. Nrg1 serves as a potent mitogen of mono-nucleated cardiomyocytes. After Nrg1 stimulation, ErbB-4 undergoes an ectodomain cleavage and an intracellular domain translocates to the nucleus and might function as a transcription activator. Nrg1 has been shown to be essential for zebrafish heart development and regeneration. In our study, we explored the roles of ErbB-4 signaling in these processes. We detected ErbB-4 transcripts in both uninjured and regenerating zebrafish using qRT-PCR. At the protein level, we performed western blot to check ErbB-4 protein size in fish and neonatal mouse hearts collected at different stages. We found that ErbB-4 is expressed as a truncated form in both zebrafish and neonatal mice hearts. It is also highly expressed in neonatal mouse hearts but becomes undetectable in adult hearts. In addition, we examined cellular localization of ErbB-4 in Nrg 1 induced fish with immunostaining. This truncated ErbB-4 is enriched in cardiomyocyte nuclei especially after Nrg1 induction in juvenile fish. Our results suggest that there is a different expression pattern of truncated ErbB-4 in zebrafish and mice which might reflect differences in their respective regenerative capacities.