Digital Commons Network^™

Privacy-Preserving Formal Methods, Ning Luo

Yale Graduate School of Arts and Sciences Dissertations

Software and hardware can often exhibit undesirable behaviors, leading to catastrophic consequences. Formal methods techniques offer a vast collection of techniques to analyze and verify these systems mathematically to ensure the correctness, robustness, and safety of software and hardware systems against a specification. Despite the significant success of formal methods, privacy requirements are not considered in their design. However, formal methods are often used to verify the critical components of systems, which is valuable intellectual property. In some settings, the verification requirements are often imposed by outside parties, such as regulatory agencies or software marketplaces, that the system owners do …

Neural Processing Of Static And Dynamic Eye Gaze In Autism Spectrum Disorder, Termara Parker

Yale Graduate School of Arts and Sciences Dissertations

Atypical variations in social cognitive processing of gaze are symptomatic features of autism spectrum disorder (ASD) that may indicate aberrant joint attention mechanisms. Despite this well-known phenomenon, neural processing of gaze in ASD in real-life social interactions remains limited. This knowledge gap may be due to the limitations of conventional neuroimaging methods that require participants to be still in a confined space with significant environmental noise, potentially eliciting anxiety and discomfort. As a result, individuals from clinical populations whose sensory needs, anxiety, or difficulties in comprehending the need to remain motionless, are less able to participate in MRI studies. Functional …

Searching For The Electron Neutrino Anomaly With The Microboone Experiment Using Wire-Cell Reconstruction, Kaicheng Li

Yale Graduate School of Arts and Sciences Dissertations

The Micro Booster Neutrino Experiment (MicroBooNE) is a leading large-scale Liquid Argon Time Project Chamber (LArTPC) experiment, designed for precision neutrino physics. The main scientific objectives of MicroBooNE include the investigation of the Low Energy Excess (LEE) observed by the MiniBooNE Experiment between 2002-2019 in the Booster Neutrino Beam (BNB) at Fermilab, the measurements of neutrino-argon interactions, and the research and development of LArTPC technology. This thesis focuses on understanding the MiniBooNE LEE through charged-current electron neutrino interactions.MicroBooNE BNB data, collected between February 2016 and July 2018, is analyzed for an electron-like low energy excess (eLEE) using Wire-Cell reconstruction. Enabled …

Department Of Mathematical Sciences Newsletter, Spring 2022, University Of Montana--Missoula. Department Of Mathematical Sciences

Newsletters from the Department of Mathematical Sciences at UM

Jack Finlay: a “Mathematical Singularity” / Mark Kayll -- Howard Reinhardt 1927 – 2021: In Memoriam -- Notes from the Chair / John Bardsley -- Statistics Professors Brian Steele & Dave Patterson Retire / Dave Patterson and Jon Graham -- Experiential Learning in Data Science / Emily Stone -- Our Data Science Project Portfolio with Capsource -- Handbook of the Mathematics of the Arts and Sciences -- Dr. Carol Ulsafer 1940-2021 -- Professor Ke Wu featured on the Confluence podcast / Fred Peck -- Honor Roll of Donors -- Degree Recipients 2021-2022 -- Spring 2022 Scholarships & Awards -- Student …

Where Is Home?, Christina O'Connell

Race, Ethnicity, & Religion

“I know it is wrong to not want them to move in, but it’s the way we feel.” “If one family moves in then pretty soon there will be others.” “I think that all races should have equal opportunity. But I think they should stay within their own groups.” “Negroes and Mexicans have as much right to love as we do, but they still depreciate property.” These are all words that were written about by grandma and her two brothers when they moved to Moline, Illinois. They were born in the U.S. and had just been evicted from their apartment …

Trade, Transport And Territorial Development, Kunal Dasgupta, Arti Grover

Working Papers

The spatial distribution of economic activity is known to depend on trade costs, both international and domestic. This paper examines the interplay between these external and internal trade costs using a model of trade and production that we test with the organized manufacturing sector data for India from 1989-2009. We establish that the trade liberalization episode of the early 1990s helped spread manufacturing away from the primary region (districts closest to ports) to the secondary region between 1994 and 2000. Such dispersion of activity away from primary to secondary region was driven by high internal trade costs that insulated manufacturers …

Platform Exploitation In The Sharing Economy, Abhinav Anand, Souvik Dutta, Prithwiraj Mukherjee

Working Papers

We model a revenue sharing contract between a sharing economy platform and a freelance service provider, where the latter hides revenue from the former by canceling some assignments and performing them for cash (“platform exploitation”). The platform counters this via costly, imperfect audits with endogenous success probability, and a variable payment. We show that at equilibrium, all agent types except the highest, indulge in revenue falsification. This problem is exacerbated by the principal’s ability to extract restitution from the agent.

Diversity In Corporate Boards And Firm Outcomes, Suresh Bhagavatula, Manaswini Bhalla, Manisha Goel, Balagopal Vissa

Working Papers

We examine firm performance effects of mindset diversity among corporate directors, proxied by diversity along religion and caste, a deep-rooted institution that divides India’s Hindu society into hundreds of communities. To identify directors’ caste, we build the first data-driven mapping of last names to religion and caste at different levels of granularity. Indian corporate boards strikingly lack diversity during 1999-2015. Lower board diversity worsens firm performance and value. The strongest negative effects are for the finest caste measure, along which mindsets are likely most similar. This shows that the estimated effects of diversity depend upon the granularity of its measure.

House: Homeless Opioid User Service Engagement Program. Year 1 Report, Mary Lindsey Smith Phd, Katharine Knight Mph, Evelyn Ali Bs, Thomas Chalmers Mclaughlin Msw, Phd, Katie Rosingana Ba, Tyler Egeland Ba, Mark Richards Bs, Karen Pearson Mlis, Ma

Substance Use Research & Evaluation

Homelessness and lack of stable housing is often a barrier to achieving stability for individuals who are experiencing homelessness (IWAEH) with an OUD. In order to meet the complex needs of IWAEH with OUD, the Department of Health and Human Services funded a pilot program in 2021, the Homeless Opioid Users Service Engagement (HOUSE) Program; clinicians at Greater Portland Health provide clients with low-barrier Medication Assisted Treatment (MAT), while staff at Preble Street provide casework support and rapid housing assistance to individuals who have been identified as being at high risk of overdose, are experiencing homelessness, and are diagnosed with …

Connections, 2021, University Of Montana--Missoula. Mansfield Library

Connections

No abstract provided.

Front Matter, Michigan Journal Of Gender & Law

Michigan Journal of Gender & Law

Front Matter for Volume 28, Issue 2 of Michigan Journal of Gender & Law

Postcards And Chemistry Books: Immigrant Detention Literacies, Stephanie M. Madison, Mikel W. Cole

Publications

No abstract provided.

Covid-19 Pandemic Effects On The Environment, Ken Overway, Phillips Lane

Chemistry Faculty Scholarship

The coronavirus disease of 2019 (COVID-19) pandemic has been a constant in everyone’s lives for almost the past three years now and has embedded itself into basically every part of global society and norms. The main areas where this is evident are in the major disruptions in the economic, social, and public health sectors of the world. There is one other area that has been affected by this prolonged pandemic in a multitude of ways, the environment. Our environment, both globally and regionally, has seen both positive and negative effects throughout the COVID-19 pandemic in a variety of different areas. …

Ua45/6 Commencement Program, Wku Registrar

WKU Administration Documents

Combined fall 2021 and spring 2022 commencement programs.

Campus Chronicle, Elijah Hernandez, Maria Hernandez, Emily Houck, Nick Longo, Alyssa Monroe, Halle Reynolds, Amila Saric, Jacob Tucker, Andy Langager

Campus Chronicle

No abstract provided.

Usa V. Frank Capozzi

2022 Decisions

USDC for the Middle District of Pennsylvania

A. W. V. Princeton Public Schools Board

2022 Decisions

USDC for the District of New Jersey

Usa V. Bryant Calloway

2022 Decisions

USDC for the Eastern District of Pennsylvania

Back Matter

Tenor of Our Times

No abstract provided.

Impact Of Mid-Career Education In A Transforming Work Context And Future Implications For The Executive Education Program, Gopal Mahapatra, Sadhna Dash

Working Papers

Work and the workplace have been frequently reshaping under the conditions of the Covid-19 pandemic and the evolving disruptive digital trends. Continuous learning and gaining new trending skills is the only way to thrive in the competitive world. Over the decades, executive education programs have prepared mid-career professionals for future challenges both personally and professionally. The study focuses on understanding the impact of executive education programs on the careers of mid-career professionals. We examine the reason for professionals acquiring executive education, post-program benefits gained in the form of career outcomes, and program effectiveness in meeting expectations. We collected inputs from …

Dipl 3120 Nuclear Weapons In International Security, Brian K. Muzás Ph.D.

Diplomacy Syllabi

This course provides a knowledge base and background for understanding contemporary international relations in which nuclear weapons play a central role. Currently, nuclear weapons policy is of critical importance in U.S. relations with Iran, Pakistan and North Korea. Questions of stockpiles, safety, proliferation and deployment have been ongoing with the Russian Federation since 1991 and with the previous Soviet Union dating back to the dawn of the atomic age. In addition, the real but often unacknowledged, nuclear strike capabilities of Israel play a critical role in shaping the dynamics of Middle East affairs. Since the A1 Qaeda attack of 9/11, …

Dipl 6002 International Organizations, Purnaka L. De Silva Ph.D.

Diplomacy Syllabi

The focus and aim of this Course - DIPL 6002: International Organizations - is to understand International Organizations from the vantage point of the concept of GlobaI Governance. Global governance, central to international relations, refers to the loose framework of global regulation - both institutional and normative that constrains conduct and attempts to maintain order. When we speak of order, we need to specify order for whom - states, peoples, groups, or individuals. Order may denote any regular or discernible pattern of relationships that are stable over time or may additionally refer to a condition that allows certain goals to …

Dipl 6704 Na Economic Development Of Africa, Fredline M’Cormack-Hale Phd

Diplomacy Syllabi

Of the four major less developed regions in the world (East and South Asia, Latin America and Africa), Sub-Saharan Africa (hereafter SSA) has performed the worst economically since 1975. Why has this been the case? Explaining this poor economic development has occupied development theorists, aid agencies, international institutions and African governments and people alike. The focus is often on what has gone wrong; with little attention paid to the inherent strengths that African cultures and societies possess.

The purpose of this course is to examine the reasons advanced to explain the underdevelopment of Africa through a primarily political economy framework, …

Training Pre-Service Early Childhood Educators In Physical Activity (Teach): Protocol For A Quasi-Experimental Study, Patricia Tucker, Brianne A. Bruijns, Kristi B. Adamo, Shauna M. Burke, Valerie Carson, Rachel Heydon, Jennifer D. Irwin, Andrew M. Johnson, Patti Jean Naylor, Brian W. Timmons, Leigh M. Vanderloo

Paediatrics Publications

Background: Early childhood educators (ECEs) influence young children’s early uptake of positive health behaviours in childcare settings and serve as important daytime role models. As such, it is imperative that post-secondary early childhood education programs provide students with the foundational knowledge and professional training required to confidently facilitate quality active play opportunities for young children. The primary objective of the Training pre-service EArly CHildhood educators in physical activity (TEACH) study is to develop and implement an e-Learning course in physical activity and sedentary behaviour to facilitate improvements in: pre-service ECEs’ self-efficacy and knowledge to lead physical activity and outdoor play …

Full Issue, Journal Editors

Yalobusha Review

No abstract provided.

Extremism And Its Effects On Idaho Legislation, Steve D. Sutherland

IPS/BAS 495 Undergraduate Capstone Projects

The Capstone Project covers, through documented interviews and insights, practitioners, journalists, and researchers that have endeavored to recognize and reconcile the effects of extremism in Idaho legislation. The referenced articles and academic journals also shed light on how this is not unique to the Gem State and how it is manifesting and evolving within the United States. This paper describes my approaches to researching this topic and the challenges of its polarization and political realities. I cover how creating an innovative approach can bring together different perspectives. Emotional intelligence is vital in exploring a hot-button issue such as this. Awareness …

Reinventing Training At Lamb Weston, Clint G. Irvin

IPS/BAS 495 Undergraduate Capstone Projects

My Capstone project was about building a new training book for the operators in my facility to aid them in operating the equipment more efficiently. I did this by using the integrative thinking process and applying it to the choices I made during the process of this project.

Owyhee Canyon Trail Clean-Up And Restoration, Douglas A. Simpson

IPS/BAS 495 Undergraduate Capstone Projects

• This was a project that was done to help keep the BLM from shutting down an amazing trail due to lack of maintenance and riders leaving trash behind.
• A group of volunteers, myself and my family performed maintenance on the trail and we cleaned up all of the loose trash that had been left behind.

A Pilot Program To Improve Patient And Family Experience Scores And Quality Of Care Of The Hispanic Population In An Urban Pediatric Emergency Department., David C. Kruger

Doctor of Nursing Practice Projects

Problem Description: Emergency Department (ED) patients express decreased patient and family experience (PFE) scores when they feel disrespected (such as experiencing long wait times), experience ineffective communication, or have difficulty accessing care. These issues could lead to inequalities and adverse health care outcomes, especially among those of different races and ethnic backgrounds. The goal of this quality improvement (QI) project was to evaluate the PFE scores and the quality of care of the Hispanic population at a thirty-five-bed emergency department within a freestanding pediatric, academic medical center located in a large urban area.

Rationale: The theoretical framework guiding this QI …

The Role Of Risk In Farmland Contract Choices, Chelsea Arnold, Jisang Yu, Mykel Taylor, Leah H. Palm-Forster, Simanti Banerjee

Department of Agricultural Economics: Faculty Publications

Understanding the role of risk in farmland leasing contract choices is important to assess the welfare consequences of farm policies or environmental changes that affect production risk. We use a unique dataset of landowners and tenants in Kansas to examine the role of risk in their farmland leasing contract choices. We find that greater production risk and more risk-averse landowners encourage fixed cash rent contracts. As many variables can potentially affect contract choices, we use a penalized regression to show that the inclusion of relationship variables leads to little change in the main results.