Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

152010 Full-Text Articles 183081 Authors 24453770 Downloads 332 Institutions

All Articles in Physical Sciences and Mathematics

Faceted Search

152010 full-text articles. Page 2 of 3689.

Real-Time Vision-Based Lane Detection With 1d Haar Wavelet Transform On Raspberry Pi, Vikas Reddy Sudini 2017 Utah State University

Real-Time Vision-Based Lane Detection With 1d Haar Wavelet Transform On Raspberry Pi, Vikas Reddy Sudini

All Graduate Theses and Dissertations

Rapid progress is being made towards the realization of autonomous cars. Since the technology is in its early stages, human intervention is still necessary in order to ensure hazard-free operation of autonomous driving systems. Substantial research efforts are underway to enhance driver and passenger safety in autonomous cars. Toward that end GreedyHaarSpiker, a real-time vision-based lane detection algorithm is proposed for road lane detection in different weather conditions. The algorithm has been implemented in Python 2.7 with OpenCV 3.0 and tested on a Raspberry Pi 3 Model B ARMv8 1GB RAM coupled to a Raspberry Pi camera board ...


An Exploratory Study Of Fifth-Grade Students’ Reasoning About The Relationship Between Fractions And Decimals When Using Number Line-Based Virtual Manipulatives, Scott Smith 2017 Utah State University

An Exploratory Study Of Fifth-Grade Students’ Reasoning About The Relationship Between Fractions And Decimals When Using Number Line-Based Virtual Manipulatives, Scott Smith

All Graduate Theses and Dissertations

Understanding the relationship between fractions and decimals is an important step in developing an overall understanding of rational numbers. Research has demonstrated the feasibility of technology in the form of virtual manipulatives for facilitating students’ meaningful understanding of rational number concepts. This exploratory dissertation study was conducted for the two closely related purposes: first, to investigate a sample of fifth-grade students’ reasoning regarding the relationship between fractions and decimals for fractions with terminating decimal representations while using virtual manipulative incorporating parallel number lines; second, to investigate the affordances of the virtual manipulatives for supporting the students’ reasoning about the decimal-fraction ...


Identity-Based Data Outsourcing With Comprehensive Auditing In Clouds, Yujue WANG, Qianhong WU, Bo QIN, Wenchang SHI, DENG, Robert H., Jiankun HU 2017 Singapore Management University

Identity-Based Data Outsourcing With Comprehensive Auditing In Clouds, Yujue Wang, Qianhong Wu, Bo Qin, Wenchang Shi, Deng, Robert H., Jiankun Hu

Research Collection School Of Information Systems

Cloud storage system provides facilitative file storage and sharing services for distributed clients. To address integrity, controllable outsourcing, and origin auditing concerns on outsourced files, we propose an identity-based data outsourcing (IBDO) scheme equipped with desirable features advantageous over existing proposals in securing outsourced data. First, our IBDO scheme allows a user to authorize dedicated proxies to upload data to the cloud storage server on her behalf, e.g., a company may authorize some employees to upload files to the company's cloud account in a controlled way. The proxies are identified and authorized with their recognizable identities, which eliminates ...


Diverse Stellar Haloes In Nearby Milky Way Mass Disc Galaxies., Benjamin Harmsen, Antonela Monachesi, Eric F. Bell, Roelof S. de Jong, Jeremy Bailin, David J. Radburn-Smith, Benne W. Holwerda 2017 University of Michigan-Ann Arbor

Diverse Stellar Haloes In Nearby Milky Way Mass Disc Galaxies., Benjamin Harmsen, Antonela Monachesi, Eric F. Bell, Roelof S. De Jong, Jeremy Bailin, David J. Radburn-Smith, Benne W. Holwerda

Faculty Scholarship

We have examined the resolved stellar populations at large galactocentric distances along the minor axis (from 10 kpc up to between 40 and 75 kpc), with limited major axis coverage, of six nearby highly inclined MilkyWay (MW) mass disc galaxies using Hubble Space Telescope data from the Galaxy haloes, Outer discs, Substructure, Thick discs, and Star clusters (GHOSTS) survey. We select red giant branch stars to derive stellar halo density profiles. The projected minor axis density profiles can be approximated by power laws with projected slopes of −2 to −3.7 and a diversity of stellar halo masses of 1 ...


Automatic Verification Of Finite Precision Implementations Of Linear Controllers, Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee 2017 University of Pennsylvania

Automatic Verification Of Finite Precision Implementations Of Linear Controllers, Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee

Departmental Papers (CIS)

We consider the problem of verifying finite precision implementation of linear time-invariant controllers against mathematical specifications. A specification may have multiple correct implementations which are different from each other in controller state representation, but equivalent from a perspective of input-output behavior (e.g., due to optimization in a code generator). The implementations may use finite precision computations (e.g. floating-point arithmetic) which cause quantization (i.e., roundoff) errors. To address these challenges, we first extract a controller's mathematical model from the implementation via symbolic execution and floating-point error analysis, and then check approximate input-output equivalence between the extracted model ...


Vcat: Dynamic Cache Management Using Cat Virtualization, Meng Xu, Linh T.X. Phan, Hyon-Young Choi, Insup Lee 2017 University of Pennsylvania

Vcat: Dynamic Cache Management Using Cat Virtualization, Meng Xu, Linh T.X. Phan, Hyon-Young Choi, Insup Lee

Departmental Papers (CIS)

This paper presents vCAT, a novel design for dynamic shared cache management on multicore virtualization platforms based on Intel’s Cache Allocation Technology (CAT). Our design achieves strong isolation at both task and VM levels through cache partition virtualization, which works in a similar way as memory virtualization, but has challenges that are unique to cache and CAT. To demonstrate the feasibility and benefits of our design, we provide a prototype implementation of vCAT, and we present an extensive set of microbenchmarks and performance evaluation results on the PARSEC benchmarks and synthetic workloads, for both static and dynamic allocations. The ...


Resilient Linear Classification: An Approach To Deal With Attacks On Training Data, Sangdon Park, James Weimer, Insup Lee 2017 University of Pennsylvania

Resilient Linear Classification: An Approach To Deal With Attacks On Training Data, Sangdon Park, James Weimer, Insup Lee

Departmental Papers (CIS)

Data-driven techniques are used in cyber-physical systems (CPS) for controlling autonomous vehicles, handling demand responses for energy management, and modeling human physiology for medical devices. These data-driven techniques extract models from training data, where their performance is often analyzed with respect to random errors in the training data. However, if the training data is maliciously altered by attackers, the effect of these attacks on the learning algorithms underpinning data-driven CPS have yet to be considered. In this paper, we analyze the resilience of classification algorithms to training data attacks. Specifically, a generic metric is proposed that is tailored to measure ...


Implementing Propensity Score Matching With Network Data: The Effect Of Gatt On Bilateral Trade, Luca De Benedictis, Bruno Arpino, Alessandra Mattei 2017 Universitat Pompeu Fabra

Implementing Propensity Score Matching With Network Data: The Effect Of Gatt On Bilateral Trade, Luca De Benedictis, Bruno Arpino, Alessandra Mattei

Luca De Benedictis

Motivated by the evaluation of the causal effect of the General Agreement on Tariffs and Trade on bilateral international trade flows, we investigate the role of network structure in propensity score matching under the assumption of strong ignorability. We study the sensitivity of causal inference with respect to the presence of characteristics of the network in the set of confounders conditional on which strong ignorability is assumed to hold. We find that estimates of the average causal effect are highly sensitive to the presence of node-level network statistics in the set of confounders. Therefore, we argue that estimates may suffer ...


The Giving Trees: The (Un)Sustainability Of Palm Oil In Indonesia, Amber Rosche 2017 Pepperdine University

The Giving Trees: The (Un)Sustainability Of Palm Oil In Indonesia, Amber Rosche

Seaver College Research And Scholarly Achievement Symposium

Palm oil is the main source of cooking oil for much of Africa, Asia and Brazil. Due to the increasingly high demand for palm oil, countries such as Indonesia and Malaysia have cleared millions of acres of tropical rainforests to create space for oil palm plantations. This deforestation has led to extreme environmental and social concerns such as the burning of peatlands, the endangerment of a number of species, including the Sumatran Tiger, rhinos and orangutans, and the displacement of native populations. Indonesia is the world’s largest consumer and producer of palm oil, producing almost half of the world ...


Stacking 2d Materials, Michael Hernandez, John C. Mann 2017 Pepperdine University

Stacking 2d Materials, Michael Hernandez, John C. Mann

Seaver College Research And Scholarly Achievement Symposium

Monolayer Transition Metal Dichalcogenides are atomically thin semi-conductors that are considered quasi 2D materials due to their extremely small thickness. It has been observed that atomically thin crystals exhibit different physical properties than their bulk counterparts due to quantum confinement effects. We are attempting discover new physical properties by developing a technique to stack two different monolayer crystals, MoS2 and MoSe2.


One-Pot Dialkylation Of Cycloalkanones And Their Ring-Closing Metathesis To Make Bridged Bicyclic Compounds, Dylan Sacenti, Ashley Yoon, Nathan Behrens 2017 Pepperdine University

One-Pot Dialkylation Of Cycloalkanones And Their Ring-Closing Metathesis To Make Bridged Bicyclic Compounds, Dylan Sacenti, Ashley Yoon, Nathan Behrens

Seaver College Research And Scholarly Achievement Symposium

No abstract provided.


Economic Evaluation Of Governor Branstad’S Water Quality Initiative, Dermot J. Hayes, Catherine L. Kling, John D. Lawrence 2017 Iowa State University

Economic Evaluation Of Governor Branstad’S Water Quality Initiative, Dermot J. Hayes, Catherine L. Kling, John D. Lawrence

Catherine Kling

Governor Branstad has proposed an initiative that would significantly increase state spending on water quality. This document examines the economic costs and benefits of such a proposal. As with previous work on this topic, this economic evaluation uses the state’s Iowa Nutrient Reduction Strategy to measure costs and research results on water quality benefits from Iowa State University’s Center for Agricultural and Rural Development. In doing an economic evaluation of this type, the reader should understand these important points: 1. A calculation of Iowa Nutrient Reduction Strategy costs with current strategies can be determined. The costs in labor ...


A Two-Layer Model Of The North Atlantic Thermocline, P. P. Niiler, Edward R. Simco, R. Larue 2017 Nova Southeastern University

A Two-Layer Model Of The North Atlantic Thermocline, P. P. Niiler, Edward R. Simco, R. Larue

Edward Simco

A two-layer model of mid-oceanic thermocline is developed, and a comparison of the depth and temperature of the thermocline in this model is made with a root-mean-square description of the hydrographic structure of the North Atlantic. It is shown that the Sverdrup balance is maintained within the rms errors, and the entire estimated heat flux from the atmosphere is used to produce the observed density changes along the path of persistent flow.


Young Earth Flood Geology In The Grand Canyon, John H. Whitmore 2017 Cedarville University

Young Earth Flood Geology In The Grand Canyon, John H. Whitmore

John H. Whitmore, Ph.D.

No abstract provided.


Lies, Statistics, Mathematics And The Truth, Nathan L. Tintle 2017 Dordt College

Lies, Statistics, Mathematics And The Truth, Nathan L. Tintle

Faculty Work: Comprehensive List

"Recognizing a key distinction between mathematics and statistics is helpful in understanding how we know if a statement is true."

Posting about deductive and inductive reasoning­­­­­­­­ from In All Things - an online hub committed to the claim that the life, death, and resurrection of Jesus Christ has implications for the entire world.

http://inallthings.org/lies-statistics-mathematics-and-the-truth/


Chemistry 100-051w Online Introduction To Chemistry Fall 2015, Christina Beatty 2017 Parkland College

Chemistry 100-051w Online Introduction To Chemistry Fall 2015, Christina Beatty

Christina Beatty

No abstract provided.


Creating A Culture Of Evidence-Based Teaching Through Faculty Professional Development, Kirsten Fleming, David Polcyn 2017 California State University - San Bernardino

Creating A Culture Of Evidence-Based Teaching Through Faculty Professional Development, Kirsten Fleming, David Polcyn

Academic Chairpersons Conference Proceedings

This session will focus on leading change designed to instill a culture of equity-minded, evidence-based teaching and learning. Drawing on a community of practice model, a variety of professional development opportunities will be explored that enable STEM faculty members to redesign courses in ways that intentionally incorporates evidence-based teaching practices.


Developing And Supporting The Diversity Of Chairperson Roles, Jean Pawl, Richard Griner, Deborah Richardson, Elizabeth Nesmith 2017 Augusta University

Developing And Supporting The Diversity Of Chairperson Roles, Jean Pawl, Richard Griner, Deborah Richardson, Elizabeth Nesmith

Academic Chairpersons Conference Proceedings

A monthly Chair Professional Development program at Augusta University provides opportunity to mentor new chairpersons and foster collegiality amongst all chairpersons at a university with both liberal arts and health sciences programs. The merits and challenges of this program that addresses needs of such a diverse group will be highlighted


Leading Departments With Contingent And Tenure-Eligible Faculty: Strategies And Solutions, Diana L. Ashe, Matthew L. TenHuisen, Colleen A. Reilly 2017 University of North Carolina Wilmington

Leading Departments With Contingent And Tenure-Eligible Faculty: Strategies And Solutions, Diana L. Ashe, Matthew L. Tenhuisen, Colleen A. Reilly

Academic Chairpersons Conference Proceedings

Leadership and communication strategies for leading departments that include both contingent and tenure-eligible faculty through three case studies, dealing with 1) voting rights and other claims upon resources; 2) a lack of career milestones, making contingent faculty feel “stuck”; and 3) ways to value contributions of contingent faculty.


Atlanta University Center Faculty Publications: A Selective Bibliography, Robert W. Woodruff Library 2017 Atlanta University Center

Atlanta University Center Faculty Publications: A Selective Bibliography, Robert W. Woodruff Library

Atlanta University Center Faculty Scholarship Bibliographies

On February 28, 2006, the Robert W. Woodruff Library and the Library Advisory Council hosted an exhibit and reception to celebrate the scholarly publications of Atlanta University Center faculty. As a complement to that event, the Robert W. Woodruff Library developed the publication, Atlanta University Center Faculty Publications: A Brief Bibliography, which highlights selected scholarly and research contributions of the Atlanta University Center faculty.

The bibliography illustrates the richness of faculty contributions within each institution and across the Atlanta University Center community. The celebration has become an annual event and this compilation represents the next phase of a living document ...


Digital Commons powered by bepress