Physical Sciences and Mathematics Commons^™

Equivalence Checking For High-Assurance Behavioral Synthesis, Kecheng Hao

Dissertations and Theses

The rapidly increasing complexities of hardware designs are forcing design methodologies and tools to move to the Electronic System Level (ESL), a higher abstraction level with better productivity than the state-of-the-art Register Transfer Level (RTL). Behavioral synthesis, which automatically synthesizes ESL behavioral specifications to RTL implementations, plays a central role in this transition. However, since behavioral synthesis is a complex and error-prone translation process, the lack of designers' confidence in its correctness becomes a major barrier to its wide adoption. Therefore, techniques for establishing equivalence between an ESL specification and its synthesized RTL implementation are critical to bring behavioral synthesis …

Air-Quality And Climatic Consequences Of Bioenergy Crop Cultivation, William Christian Porter

Dissertations and Theses

Bioenergy is expected to play an increasingly significant role in the global energy budget. In addition to the use of liquid energy forms such as ethanol and biodiesel, electricity generation using processed energy crops as a partial or full coal alternative is expected to increase, requiring large-scale conversions of land for the cultivation of bioenergy feedstocks such as cane, grasses, or short rotation coppice. With land-use change identified as a major contributor to changes in the emission of biogenic volatile organic compounds (BVOCs), many of which are known contributors to the pollutants ozone (O₃) and fine particulate matter …

Glacier Change In The North Cascades, Washington: 1900-2009, Kristina Amanda Dick

Dissertations and Theses

Glaciers respond to local climate changes making them important indicators of regional climate change. The North Cascades region of Washington is the most glaciated region in the lower-48 states with approximately 25% of all glaciers and 40% of the total ice-covered area. While there are many on-going investigations of specific glaciers, little research has addressed the entire glacier cover of the region. A reference inventory of glaciers was derived from a comparison of two different inventories dating to about 1958. The different inventories agree within 93% of total number of glaciers and 94% of total ice-covered area. To quantify glacier …

Type Classes And Instance Chains: A Relational Approach, John Garrett Morris

Dissertations and Theses

Type classes, first proposed during the design of the Haskell programming language, extend standard type systems to support overloaded functions. Since their introduction, type classes have been used to address a range of problems, from typing ordering and arithmetic operators to describing heterogeneous lists and limited subtyping. However, while type class programming is useful for a variety of practical problems, its wider use is limited by the inexpressiveness and hidden complexity of current mechanisms. We propose two improvements to existing class systems. First, we introduce several novel language features, instance chains and explicit failure, that increase the expressiveness of type …

Climate Change Impact On The Spatio-Temporal Variability Of Hydro-Climate Extremes, Mohammad Reza Najafi

Dissertations and Theses

The rising temperature of the earth due to climate change has shown to alter the variations of hydro-climate variables, including their intensities, frequencies and durations. Extreme events such as floods are, in particular, susceptible to any disturbances in climate cycles. As such it is important to provide policymakers with sufficient knowledge about the probable impacts of climate change on hydrologic extremes and most importantly on floods, which have the highest impacts on the societies. For this reason analysis of hydro-climate extremes is commonly performed using data at each site (or grid cell), however due to the limited number of extreme …

Investigations Into The Regional And Local Timescale Variations Of Subglacial Drainage Networks, Justin Hiester

Dissertations and Theses

Subglacial water plays an important role in the regulation of an ice sheet's mass balance. It may be the dominant control on the velocities of ice streams and outlet glaciers on scales of months to millennia. Recent satellite observations of ice surface elevation changes have given researchers new insights into how subglacial water is stored and transported. Localized uplift and settling of the ice surface implies that lakes exist beneath the ice sheet that are being filled and drained on relatively short time scales. %At the base of an ice sheet water can be transported through a variety of drainage …

Identification Of Cisplatin-Binding Proteins Using Agarose Conjugates Of Platinum Compounds, Takatoshi Karasawa, Martha Sibrian-Vazquez, Robert M. Strongin, Peter S. Steyger

Chemistry Faculty Publications and Presentations

Cisplatin is widely used as an antineoplastic drug, but its ototoxic and nephrotoxic side-effects, as well as the inherent or acquired resistance of some cancers to cisplatin, remain significant clinical problems. Cisplatin’s selectivity in killing rapidly proliferating cancer cells is largely dependent on covalent binding to DNA via cisplatin’s chloride sites that had been aquated. We hypothesized that cisplatin’s toxicity in slowly proliferating or terminally differentiated cells is primarily due to drug-protein interactions, instead of drug-DNA binding. To identify proteins that bind to cisplatin, we synthesized two different platinum-agarose conjugates, one with two amino groups and another with two chlorides …

Portland State University Solid Waste Assessment Report, Moonrose Doherty, Brittany Ann Brannon, Eric T. Crum

Campus Sustainability Office Publications, Reports and Presentations

In January of 2013, the Campus Sustainability Office (CSO) of Portland State University (PSU) contacted Community Environmental Services (CES) with the request to conduct a landfill-bound waste assessment for the University’s 50-acre downtown campus, located in Portland, Oregon. CES is a research and service unit within the Center for Urban Studies at Portland State University. PSU is a state university that was founded in 1946, is home to Oregon’s largest undergraduate and graduate enrollment, and is the only public university in the state located in a major metropolitan city. Portland State is world-renowned for its sustainability initiatives, and has had …

Mapping Human-Environment Connections On The Olympic Peninsula: An Atlas Of Landscape Values, Rebecca J. Mclain, Lee Cerveny, Diane Besser, David Banis, Alexa Todd, Stephanie Rohdy, Corinna Kimball-Brown

Occasional Papers in Geography

Occasional Papers in Geography Publication No. 7

The advent of computerized mapping has land managers’ ability to map the biophysical services provided by forested ecosystems. However, mapping the cultural services of those systems is more challenging. Human ecology mapping (HEM), which provides spatially-explicit depictions of the complex connections between humans and their environment, is an approach that can be used to improve understandings of the cultural services associated with landscapes. This atlas provides an overview of what HEM is and draws on experiences with a pilot project on the Olympic Peninsula in western Washington to illustrate what HEM data looks …

Effects Of Extraneous Surface Charges On The Enhanced Raman Scattering From Metallic Nanoparticles, H. Y. Chung, P. T. Leung, D. P. Tsai

Physics Faculty Publications and Presentations

Motivating by recent experiments on surface enhanced Raman scattering (SERS) from colloidal solutions, we present here a simple model to elucidate the effects of extraneous surface charges on the enhanced Raman signal. The model is based on the well-established Gersten-Nitzan model coupled to the modified Mie scattering theory of Bohren and Hunt in the long wavelength approximation. We further introduce corrections from the modified long wavelength approximation to the Gersten-Nitzan model for the improvement of its accuracy. Our results show that the surface charge will generally lead to a blueshift in the resonance frequency and greater enhancements in the SERS …

Based On Repeated Experience, System For Modification Of Expression And Negating Overload From Media And Optimizing Referential Efficiency, Peter R. Badovinatz, Veronika M. Megler

Computer Science Faculty Publications and Presentations

Content items are revealed to a user based on whether they have been previously reviewed by the user. A number of content items are thus received over time. The content items may be discrete content items, or may be portions of a content stream, and may be received over different media. For each content item, it is determined whether the content item was previously reviewed by a user. Where the content item was not previously reviewed, the item is revealed to the user, such as by being displayed or announced to the user. Where the content item was previously reviewed, …

Guinform: Interactive Fiction For Gui Prototyping, Tesca Fitzgerald

Computer Science Faculty Publications and Presentations

There are many methods of rapidly prototyping a graphical user interface (GUI), the most prominent being paper prototyping and wireframe prototyping. In paper prototyping, the developer creates a physical GUI prototype using simple materials such as paper, pencils, and tabbed cards. Paper prototyping, while easy to implement, leads to unrealistic and awkward user interaction. Wireframe prototyping involves the use of simplified software tools to develop a primitive version of the proposed user interface. This method enables graceful interaction, but requires major implementation e↵ort. I propose a middle ground: a method of rapid, interactive GUI prototyping using Interactive Fiction (IF) tools. …

Interview With Candace Russo, Linus Pauling Institute, 2013 (Audio), Candace Russo

All Sustainability History Project Oral Histories

Interview of Candace Russo by Kevin Foster in Corvallis, Oregon on May 31st, 2013.

The interview index is available for download.

Interview With Carter Latendresse, Catlin Gabel School, 2013 (Audio), Carter Latendresse

All Sustainability History Project Oral Histories

Interview of Carter Latendresse by Carmen Vigil at Catlin Gabel School on May 30th, 2013.

The interview index is available for download.

Climate Change Impacts On Precipitation Extremes Over The Columbia River Basin Based On Downscaled Cmip5 Climate Scenarios, Ghulam Hussain Dars

Dissertations and Theses

Hydro-climate extreme analysis helps understanding the process of spatio-temporal variation of extreme events due to climate change, and it is an important aspect in designing hydrological structures, forecasting floods and an effective decision making in the field of water resources design and management. The study evaluates extreme precipitation events over the Columbia River Basin (CRB), the fourth largest basin in the U.S., by simulating four CMIP5 global climate models (GCMs) for the historical period (1970-1999) and future period (2041-2070) under RCP85 GHG scenario.

We estimated the intensity of extreme and average precipitation for both winter (DJF) and summer (JJA) seasons …

Interview With Vida Shore, Alameda Elementary, 2013 (Audio), Vida Shore

All Sustainability History Project Oral Histories

Interview of Vida Shore by Brianna Demko at Alameda Elementary in NE Portland, Oregon on May 24th, 2013.

The interview index is available for download.

Interview With Jaylen Schmitt, Alameda Elementary, 2013 (Audio), Jaylen Schmitt

All Sustainability History Project Oral Histories

Interview of Jaylen Schmitt by Brianna Demko at Alameda Elementary School in NE Portland, Oregon on May 24th, 2013.

The interview index is available for download.

Interview With Linda Colwell, Eat, Think, Grow, 2013 (Audio), Linda Colwell

All Sustainability History Project Oral Histories

Interview of Linda Colwell by Loraine Decker on May 24th, 2013.

Local Quantum Protocols For Separable Measurements With Many Parties, Scott M. Cohen

Physics Faculty Publications and Presentations

In a recent paper [ S. M. Cohen Phys. Rev. A 84 052322 (2011)], we showed how to construct a protocol for implementing a bipartite, separable quantum measurement using only local operations on subsystems and classical communication between parties (LOCC) within any fixed number of rounds of communication, whenever such a protocol exists. Here, we generalize that construction to one that applies for any number of parties. One important observation is that the construction automatically determines the ordering of the parties' measurements, overcoming a significant apparent difficulty in designing protocols for more than two parties. We also present various other …

Interview With Maggie Michaels, Portland Public Schools, 2013 (Audio), Maggie Michaels

All Sustainability History Project Oral Histories

Interview of Maggie Michaels by Carmen Vigil in NE Portland, Oregon on May 23rd, 2013.

The interview index is available for download.

Establishing Foundations For Investigating Inquiry-Oriented Teaching, Estrella Maria Salas Johnson

Dissertations and Theses

The Teaching Abstract Algebra for Understanding (TAAFU) project was centered on an innovative abstract algebra curriculum and was designed to accomplish three main objectives: to produce a set of multi-media support materials for instructors, to understand the challenges faced by mathematicians as they implemented this curriculum, and to study how this curriculum supports student learning of abstract algebra. Throughout the course of the project I took the lead investigating the teaching and learning in classrooms using the TAAFU curriculum. My dissertation is composed of three components of this research. First, I will report on a study that aimed to describe …

Interview With Richard "Brick" Street, Grant High School, 2013 (Audio), Richard Street

All Sustainability History Project Oral Histories

Interview of Richard "Brick" Street by Ciji Dieringer at Grant High School in Portland, Oregon on May 22nd, 2013.

The interview index is available for download.

Interview With Nicole Hoffmann, Abernathy School, 2013 (Audio), Nicole Hoffmann

All Sustainability History Project Oral Histories

Interview of Nicole Hoffmann by Nichole Bull at Portland State University on May 21st, 2013.

The interview index is available for download.

Interview With Susan Wiencke, Madison High School, 2013 (Audio), Susan Wiencke

All Sustainability History Project Oral Histories

Interview of Susan Wiencke by Ciji Dieringer on May 15th, 2013.

The interview index is available for download.

Interview With Justin Davidson, Candy Lane Elementary, 2013 (Audio), Justin Davidson

All Sustainability History Project Oral Histories

Interview of Justin Davidson by Nicole Bull at Candy Lane Elementary in Milwaukie, Oregon on May 15th, 2013.

The interview index is available for download.

Interview With Courtney Leeds, Candy Lane Elementary, 2013 (Audio), Courtney Leeds

All Sustainability History Project Oral Histories

Interview of Courtney Leeds by Nicole Bull at Candy Lane Elementary in Portland, Oregon on May 15th, 2013.

The interview index is available for download.

Interview With Kristine Garnero Obbink, Portland Public School, 2013 (Audio), Kristine Garnero Obbink

All Sustainability History Project Oral Histories

Interview of Kristine Garnero Obbink by Loraine Decker at 705 N. Killingsworth St., Portland, Oregon on May 14th, 2013.

The interview index is available for download.

Interview With Julie Corpron, Raleigh Park Elementary Garden, 2013 (Audio), Julie Corpron

All Sustainability History Project Oral Histories

Interview of Julie Corpron by Margret Harburg May 14th, 2013.

The interview index is available for download.

Characterization Of Mesoscopic Fluid Films For Applications In Spm Imaging And Fabrication Of Nanostructures On Responsive Materials, Xiaohua Wang

Dissertations and Theses

This dissertation focuses on characterization of the mesoscopic fluid film, testing its behavior in different application scenarios, including its role in near-field scanning probe microscopy imaging, contribution to the phononic mechanism in nanotribology phenomena, utilizing it as a natural environment in the study of carbohydrate-protein interactions, and harnessing it as bridge to transport ions in the fabrication of nanostructures on responsive polymer materials.

Due to their high resolution and versatile applications in a variety of fields, the family of scanning probe microscopy (SPM) has found widespread acceptance as an analytical and fabrication tool. However, the working mechanism of SPM that …

Photonic Near-Field Imaging In Multiphoton Photoemission Electron Microscopy, Joseph Fitzgerald, Robert Campbell Word, S. D. Saliba, Rolf Kӧnenkamp

Physics Faculty Publications and Presentations

We report the observation of optical near fields in a photonic waveguide of conductive indium tin oxide (ITO) using multiphoton photoemission electron microscopy (PEEM). Nonlinear two-photon photoelectron emission is enhanced at field maxima created by interference between incident 410-nm and coherently excited guided photonic waves, providing strong phase contrast. Guided modes are observed under both transverse magnetic field (TM) and transverse electric field (TE) polarized illuminations and are consistent with classical electromagnetic theory. Implications on the role of multiphoton PEEM in optical near-field imaging are discussed.