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

Physical Sciences and Mathematics Commons

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

Discipline
Institution
Keyword
Publication Year
Publication
Publication Type
File Type

Articles 1 - 30 of 77523

Full-Text Articles in Physical Sciences and Mathematics

Matrix Multiplication, Trilinear Decompositions, Apa Algorithms, And Summation, Victor Pan Jan 2016

Matrix Multiplication, Trilinear Decompositions, Apa Algorithms, And Summation, Victor Pan

Faculty Works

Matrix multiplication (hereafter we use the acronym MM) is among the most fundamental operations of modern computations. The efficiency of its performance depends on various factors, in particular vectorization, data movement and arithmetic complexity of the computations, but here we focus just on the study of the arithmetic cost and the impact of this study on other areas of modern computing. In the early 1970s it was expected that the straightforward cubic time algorithm for MM will soon be accelerated to enable MM in nearly quadratic arithmetic time, with some far fetched implications. While pursuing this goal the mainstream research ...


Pre-Breakdown Arcing As A Proxy For Dc Dielectric Breakdown Testing Of Polymeric Insulators, Jr Dennison, Allen Andersen Oct 2015

Pre-Breakdown Arcing As A Proxy For Dc Dielectric Breakdown Testing Of Polymeric Insulators, Jr Dennison, Allen Andersen

Presentations

No abstract provided.


Mixed Weibull Distribution Model Of Dc Dielectric Breakdowns With Dual Defect Modes, Allen Andersen, Jr Dennison Oct 2015

Mixed Weibull Distribution Model Of Dc Dielectric Breakdowns With Dual Defect Modes, Allen Andersen, Jr Dennison

Presentations

No abstract provided.


An Optimal Threshold Strategy In The Two-Envelope Problem With Partial Information, Martin Egozcue, Luis Fuentes García Oct 2015

An Optimal Threshold Strategy In The Two-Envelope Problem With Partial Information, Martin Egozcue, Luis Fuentes García

Martin Egozcue

No abstract provided.


Small Satellite Verification And Assessment Test Facility With Space Environments Effects Ground-Testing Capabilities, Eric Stromberg, Crystal Frazier, Lisa Montierth Phillipps, Alex Souvall, Jr Dennison, James S. Dyer Aug 2015

Small Satellite Verification And Assessment Test Facility With Space Environments Effects Ground-Testing Capabilities, Eric Stromberg, Crystal Frazier, Lisa Montierth Phillipps, Alex Souvall, Jr Dennison, James S. Dyer

Presentations

The Utah State University Space Dynamics Laboratory (SDL) and Materials Physics Group (MPG) have developed an extensive versatile and cost-effective pre-launch test capability for verification and assessment of small satellites, system components, and spacecraft materials. The facilities can perform environmental testing, component characterization, system level hardware in-the-loop testing, and qualification testing to ensure that each element is functional, reliable, and working per its design. Unique capabilities of SDL’s Nano-Satellite Operation Verification and Assessment (NOVA) test facility include: (i) mass and moment of inertia testing using a high resolution mass measurement table to determine the center of gravity and an ...


Influence Of Thermal Treatment On Electrical And Physical Properties Of Coated Ceramics, K. Guerch, T. Paulmier, Justin Dekany, Jr Dennison, S. Guillemet-Fritsch, P. Lenormand Jun 2015

Influence Of Thermal Treatment On Electrical And Physical Properties Of Coated Ceramics, K. Guerch, T. Paulmier, Justin Dekany, Jr Dennison, S. Guillemet-Fritsch, P. Lenormand

Presentations

Technical dielectric materials and ceramics are used in many different high technology industrial areas and especially for spacecraft applications. On satellites, these materials are subjected to extreme conditions due to the space plasma environment. To survive, these ceramic insulators must have exceptional electrical and thermal properties. Boron Nitride (BN) and Aluminum Oxide (Al 2O3) are used in particular because they combine good electrical insulation and high thermal conductivity. However, BN and Al2O3 used in spacecraft interiors are exposed to critical radiation demands, where these insulators are irradiated by electrons with high energies and flux. Charged particles are trapped in the ...


Agenda: Innovations In Managing Western Water: New Approaches For Balancing Environmental, Social, And Economic Outcomes, University Of Colorado Boulder. Getches Wilkinson Center For Natural Resources, Energy, And The Environment Jun 2015

Agenda: Innovations In Managing Western Water: New Approaches For Balancing Environmental, Social, And Economic Outcomes, University Of Colorado Boulder. Getches Wilkinson Center For Natural Resources, Energy, And The Environment

Innovations in Managing Western Water: New Approaches for Balancing Environmental, Social and Economic Outcomes (Martz Summer Conference, June 11-12)

Many aspects of western water allocation and management are the product of independent and uncoordinated actions, several occurring a century or more ago. However, in this modern era of water scarcity, it is increasingly acknowledged that more coordinated and deliberate decision-making is necessary for effectively balancing environmental, social, and economic objectives. In recent years, a variety of forums, processes, and tools have emerged to better manage the connections between regions, sectors, and publics linked by shared water systems. In this event, we explore the cutting edge efforts, the latest points of contention, and the opportunities for further progress.


Castelnuovo–Mumford Regularity And Arithmetic Cohen–Macaulayness Of Complete Bipartite Subspace Arrangements, Zach Teitler, Douglas A. Torrence Jun 2015

Castelnuovo–Mumford Regularity And Arithmetic Cohen–Macaulayness Of Complete Bipartite Subspace Arrangements, Zach Teitler, Douglas A. Torrence

Mathematics Faculty Publications and Presentations

We give the Castelnuovo–Mumford regularity of arrangements of (n−2)-planes in Pn whose incidence graph is a sufficiently large complete bipartite graph, and determine when such arrangements are arithmetically Cohen–Macaulay.


Image Segmentation Using Fuzzy-Spatial Taxon Cut, Lauren Barghout May 2015

Image Segmentation Using Fuzzy-Spatial Taxon Cut, Lauren Barghout

MODVIS Workshop

Images convey multiple meanings that depend on the context in which the viewer perceptually organizes the scene. This presents a problem for automated image segmentation, because it adds uncertainty to the process of selecting which objects to include or not include within a segment. I’ll discuss the implementation of a fuzzy-logic-natural-vision-processing engine that solves this problem by assuming the scene architecture prior to processing. The scene architecture, a standardized natural-scene-perception-taxonomy comprised of a hierarchy of nested spatial-taxons. Spatial-taxons are regions (pixel-sets) that are figure-like, in that they are perceived as having a contour, are either `thing-like', or a `group ...


Video Event Understanding With Pattern Theory, Fillipe Souza, Sudeep Sarkar, Anuj Srivastava, Jingyong Su May 2015

Video Event Understanding With Pattern Theory, Fillipe Souza, Sudeep Sarkar, Anuj Srivastava, Jingyong Su

MODVIS Workshop

We propose a combinatorial approach built on Grenander’s pattern theory to generate semantic interpretations of video events of human activities. The basic units of representations, termed generators, are linked with each other using pairwise connections, termed bonds, that satisfy predefined relations. Different generators are specified for different levels, from (image) features at the bottom level to (human) actions at the highest, providing a rich representation of items in a scene. The resulting configurations of connected generators provide scene interpretations; the inference goal is to parse given video data and generate high-probability configurations. The probabilistic structures are imposed using energies ...


The Psychophysics Of Metacognition And Meta D', S A. Klein May 2015

The Psychophysics Of Metacognition And Meta D', S A. Klein

MODVIS Workshop

In the past five years there has been a surge of renewed interest in metacognition and meta d'. It is a very interesting and highly controversial area of research. It is interesting because thinking about subjective experiences provides new insight into decision making. The new book on the topic edited by Fleming and Frith, and the Matiscalco article in that book provide an excellent summary of the issues. My view is that double judgment signal detection theory, plus new approaches for multinomial modeling can provide important insights into the recent meta d' findings. I will show how improved rating scale ...


Two Correspondence Problems Easier Than One, Aaron Michaux, Zygmunt Pizlo May 2015

Two Correspondence Problems Easier Than One, Aaron Michaux, Zygmunt Pizlo

MODVIS Workshop

Computer vision research rarely makes use of symmetry in stereo reconstruction despite its established importance in perceptual psychology. Such stereo reconstructions produce visually satisfying figures with precisely located points and lines, even when input images have low or moderate resolution. However, because few invariants exist, there are no known general approaches to solving symmetry correspondence on real images. The problem is significantly easier when combined with the binocular correspondence problem, because each correspondence problem provides strong non-overlapping constraints on the solution space. We demonstrate a system that leverages these constraints to produce accurate stereo models from pairs of binocular images ...


Binocular 3d Motion Perception As Bayesian Inference, Martin Lages, Suzanne Heron May 2015

Binocular 3d Motion Perception As Bayesian Inference, Martin Lages, Suzanne Heron

MODVIS Workshop

The human visual system encodes monocular motion and binocular disparity input before it is integrated into a single 3D percept. Here we propose a geometric-statistical model of human 3D motion perception that solves the aperture problem in 3D by assuming that (i) velocity constraints arise from inverse projection of local 2D velocity constraints in a binocular viewing geometry, (ii) noise from monocular motion and binocular disparity processing is independent, and (iii) slower motions are more likely to occur than faster ones. In two experiments we found that instantiation of this Bayesian model can explain perceived 3D line motion direction under ...


Formal Aspects Of Non-Rigid-Shape-From-Motion Perception, Vicky Froyen, Qasim Zaidi May 2015

Formal Aspects Of Non-Rigid-Shape-From-Motion Perception, Vicky Froyen, Qasim Zaidi

MODVIS Workshop

Our world is full of objects that deform over time, for example animals, trees and clouds. Yet, the human visual system seems to readily disentangle object motions from non-rigid deformations, in order to categorize objects, recognize the nature of actions such as running or jumping, and even to infer intentions. A large body of experimental work has been devoted to extracting rigid structure from motion, but there is little experimental work on the perception of non-rigid 3-D shapes from motion (e.g. Jain, 2011). Similarly, until recently, almost all formal work had concentrated on the rigid case. In the last ...


Object Recognition And Visual Search With A Physiologically Grounded Model Of Visual Attention, Frederik Beuth, Fred H. Hamker May 2015

Object Recognition And Visual Search With A Physiologically Grounded Model Of Visual Attention, Frederik Beuth, Fred H. Hamker

MODVIS Workshop

Visual attention models can explain a rich set of physiological data (Reynolds & Heeger, 2009, Neuron), but can rarely link these findings to real-world tasks. Here, we would like to narrow this gap with a novel, physiologically grounded model of visual attention by demonstrating its objects recognition abilities in noisy scenes.

To base the model on physiological data, we used a recently developed microcircuit model of visual attention (Beuth & Hamker, in revision, Vision Res) which explains a large set of attention experiments, e.g. biased competition, modulation of contrast response functions, tuning curves, and surround suppression. Objects are represented by object-view specific neurons, learned via a trace learning approach (Antonelli et al., 2014, IEEE TAMD). A visual cortex model combines the microcircuit with neuroanatomical properties like top-down attentional processing, hierarchical-increasing receptive field sizes, and synaptic transmission delays. The visual cortex model is complemented by a model of the frontal eye field (Zirnsak et al., 2011, Eur J Neurosci).

We evaluated the model on a realistic object recognition task in which a given target has to be localized in a scene (guided visual search task), using 100 different target objects, 1000 scenes, and two backgrounds. The model achieves an accuracy of 92% at black, and of 71% at white-noise backgrounds. We found that two of the underlying, neuronal attention mechanisms are prominently relevant for guided visual search: amplification of neurons preferring the target; and suppression of neurons encoding distractors or background noise.


Modeling Visual Features To Recognize Biological Motion: A Developmental Approach, Giulio Sandini, Nicoletta Noceti, Alessandra Sciutti, Francesco Rea, Alessandro Verri, Francesca Odone May 2015

Modeling Visual Features To Recognize Biological Motion: A Developmental Approach, Giulio Sandini, Nicoletta Noceti, Alessandra Sciutti, Francesco Rea, Alessandro Verri, Francesca Odone

MODVIS Workshop

In this work we deal with the problem of designing and developing computational vision models – comparable to the early stages of the human development – using coarse low-level information.

More specifically, we consider a binary classification setting to characterize biological movements with respect to non-biological dynamic events. To this purpose, our model builds on top of the optical flow estimation, and abstract the representation to simulate the limited amount of visual information available at birth. We take inspiration from known biological motion regularities explained by the Two-Thirds Power Law, and design a motion representation that includes different low-level features, which can ...


Gal: A Stepwise Model For Automated Cloud Shadow Detection In Hico Oceanic Imagery Utilizing Guided Filter, Pixel Assignment, And Geometric Linking, Jennerpher Renee Meyers May 2015

Gal: A Stepwise Model For Automated Cloud Shadow Detection In Hico Oceanic Imagery Utilizing Guided Filter, Pixel Assignment, And Geometric Linking, Jennerpher Renee Meyers

Dissertations

Detection of cloud shadow pixels is an important step in image processing in several remote sensing ocean-color application domains, such as obtaining chlorophyll content. While shadow detection algorithms do exist, the vast majority are for over land which leaves few options for detection over water.

The detection of cloud shadow over water in HICO imagery is a unique problem. As its name implies, HICO (Hyperspectral Imager for the Coastal Ocean) imagery is produced for coastal and oceanic regions. Since land based algorithms remove water before processing, these approaches would not be applicable. The only currently published HICO shadow pixel detection ...


Mechanochemical Investigation Of A Glassy Epoxy-Amine Thermoset Subjected To Fatigue, Stephen F. Foster Mr. May 2015

Mechanochemical Investigation Of A Glassy Epoxy-Amine Thermoset Subjected To Fatigue, Stephen F. Foster Mr.

Dissertations

Covalent bonds in organic molecules can be produced, altered, and broken through various sources of energy and processes. These include photochemical, thermochemical, chemical, and mechanochemical processes. Polymeric materials derive their physical properties from the time scale of motion, summation of intermolecular forces, and number of chain entanglements and crosslinks. Glassy thermoset polymers experience mechanical fatigue during dynamic stress loading and properties diminish with inevitable material failure at stress levels below the ultimate tensile strength (UTS). Damage modeling has been successful in predicting the number of cycles required to induce failure in a specimen due to stress. However, it does not ...


Video Event Recognition And Prediction Based On Temporal Structure Analysis, Kang Li May 2015

Video Event Recognition And Prediction Based On Temporal Structure Analysis, Kang Li

Computer Engineering Dissertations

The increasing ubiquitousness of multimedia information in today's world has positioned video as a favored information vehicle, and given rise to an astonishing generation of social media and surveillance footage. Consumer-grade video is becoming abundant on the Internet, and it is now easier than ever to download multimedia material of any kind and quality. This raises a series of technological demands for automatic video understanding, which has motivated the research community to guide its steps towards a better attainment of such capabilities. As a result, current trends on cognitive vision promise to recognize complex events and self-adapt to different ...


Model Of Cost-Effectiveness Of Mri For Women Of Average Lifetime Risk Of Breast Cancer, Mckenna L. Kimball Apr 2015

Model Of Cost-Effectiveness Of Mri For Women Of Average Lifetime Risk Of Breast Cancer, Mckenna L. Kimball

Scholarly and Creative Works Conference

Background: Mammography is the current standard for breast cancer detection however magnetic resonance imaging (MRI) is a more sensitive method of breast imaging. Despite MRI’s increased sensitivity, MRI has more false positives and higher costs. The purpose of this study was to determine if MRI or MRI in conjunction with mammography was a cost-effective solution for breast cancer detection in women with average lifetime risk of breast cancer.

Methods: A mathematical model was used to compare annual mammography, annual MRI, and mammography and MRI on alternate years. The model included the natural history of breast cancer, screening by mammography ...


Dissipation Rate Of Turbulent Kinetic Energy In Diel Vertical Migrations: Comparison Of Ansys Fluent Model To Measurements, Cayla Whitney Dean, Alexandre Soloviev, Amy Hirons, Tamara M. Frank, Ocean Data Technologies, Inc. Apr 2015

Dissipation Rate Of Turbulent Kinetic Energy In Diel Vertical Migrations: Comparison Of Ansys Fluent Model To Measurements, Cayla Whitney Dean, Alexandre Soloviev, Amy Hirons, Tamara M. Frank, Ocean Data Technologies, Inc.

Oceanography Faculty Proceedings, Presentations, Speeches, Lectures

No abstract provided.


Prepositional Phrase Attachment Problem Revisited: How Verbnet Can Help, Dan Bailey, Yuliya Lierler, Benjamin Susman Apr 2015

Prepositional Phrase Attachment Problem Revisited: How Verbnet Can Help, Dan Bailey, Yuliya Lierler, Benjamin Susman

Yuliya Lierler

Resolving attachment ambiguities is a pervasive problem in syntactic analysis. We propose and investigate an approach to resolving prepositional phrase attachment that centers around the ways of incorporating semantic knowledge derived from the lexico-semantic ontologies such as VERBNET and WORDNET.


Electron Penetration Range For Every Body, Anne Starley, Lisa Montierth Phillipps, Jr Dennison Apr 2015

Electron Penetration Range For Every Body, Anne Starley, Lisa Montierth Phillipps, Jr Dennison

Presentations

The penetration range of an electron into diverse materials can be estimated using an approximation fit as a function of a single parameter, N y, which describes the effective number of valence electrons. This fit is found using the Continuous-Slow Down-Approximation (CSDA), which simplifies the process of estimating an expected penetration range of a given material by applying some of the material’s key characteristics. Using the CSDA, a simple composite analytical formula is created which estimates the range or maximum penetration depth of incident electrons. This formula generates an approximation to the range using the parameter, Nv . The range ...


Calibration Of Muon Detector For Coincidence Cathodoluminescence Experiments, Kenneth Zia, Jr Dennison Apr 2015

Calibration Of Muon Detector For Coincidence Cathodoluminescence Experiments, Kenneth Zia, Jr Dennison

Presentations

A muon scintillation detector has been calibrated by measuring the magnitude and angular dependence of high energy cosmic background radiation events. Optimizing dark current as a function of voltage across the photomultiplier tube (PMT) detector was essential for accurate counting of current pulses as narrow as the counts in the PMT. Measurements of the crosssection zenith angle were also optimized by sweeping the detector across the horizon and from the zenith to nadir angle. The detector is now operating within proper Poisson distribution statistics for counting particle experiments, and is ready for the next step in determining coincidence between the ...


Random Multipliers Numerically Stabilize Gaussian And Block Gaussian Elimination: Proofs And An Extension To Low-Rank Approximation, Victor Pan, Xiaodong Yan Apr 2015

Random Multipliers Numerically Stabilize Gaussian And Block Gaussian Elimination: Proofs And An Extension To Low-Rank Approximation, Victor Pan, Xiaodong Yan

Faculty Works

We study two applications of standard Gaussian random multipliers. At first we prove that with a probability close to 1 such a multiplier is expected to numerically stabilize Gaussian elimination with no pivoting as well as block Gaussian elimination. Then, by extending our analysis, we prove that such a multiplier is also expected to support low-rank approximation of a matrix without customary oversampling. Our test results are in good accordance with this formal study. The results remain similar when we replace Gaussian multipliers with random circulant or Toeplitz multipliers, which involve fewer random parameters and enable faster multiplication. We formally ...


Global Holomorphic Functions In Several Noncommuting Variables, Jim Agler, John E. Mccarthy Apr 2015

Global Holomorphic Functions In Several Noncommuting Variables, Jim Agler, John E. Mccarthy

Mathematics Faculty Publications

We define a free holomorphic function to be a function that is locally, with respect to the free topology, a bounded nc-function. We prove that free holomorphic functions are the functions that are locally uniformly approximable by free polynomials. We prove a realization formula and an Oka-Weil theorem for free analytic functions.


An Extensible Technology Framework For Cyber Security Education, Frank Jordan Sheen Apr 2015

An Extensible Technology Framework For Cyber Security Education, Frank Jordan Sheen

All Theses and Dissertations

Cyber security education has evolved over the last decade to include new methods of teaching and technology to prepare students. Instructors in this field of study often deal with a subject matter that has rigid principles, but changing ways of applying those principles. This makes maintaining courses difficult. This case study explored the kind of teaching methods, technology, and means used to explain these concepts. This study shows that generally, cyber security courses require more time to keep up to date. It also evaluates one effort, the NxSecLab, on how it attempted to relieve the administrative issues in teaching these ...


Authentication Melee: A Usability Analysis Of Seven Web Authentication Systems, Scott Ruoti Apr 2015

Authentication Melee: A Usability Analysis Of Seven Web Authentication Systems, Scott Ruoti

All Theses and Dissertations

Passwords continue to dominate the authentication landscape in spite of numerous proposals to replace them. Even though usability is a key factor in replacing passwords, very few alternatives have been subjected to formal usability studies and even fewer have been analyzed using a standard metric. We report the results of four within-subjects usability studies for seven web authentication systems. These systems span federated, smartphone, paper tokens, and email-based approaches. Our results indicate that participants prefer single sign-on systems. We utilize the Systems Usability Scale (SUS) as a standard metric for empirical analysis and find that it produces reliable, replicable results ...


Focused Exhumation Along Megathrust Splay Faults In Prince William Sound, Alaska, Peter J. Haeussler, Phillip A. Armstrong, Lee M. Liberty, Kelly M. Ferguson, Shaun P. Finn, Jeanette C. Arkle, Thomas L. Pratt Apr 2015

Focused Exhumation Along Megathrust Splay Faults In Prince William Sound, Alaska, Peter J. Haeussler, Phillip A. Armstrong, Lee M. Liberty, Kelly M. Ferguson, Shaun P. Finn, Jeanette C. Arkle, Thomas L. Pratt

Geosciences Faculty Publications and Presentations

Megathrust splay faults are a common feature of accretionary prisms and can be important for generating tsunamis during some subduction zone earthquakes. Here we provide new evidence from Alaska that megathrust splay faults have been conduits for focused exhumation in the last 5 Ma. In most of central Prince William Sound, published and new low-temperature thermochronology data indicate little to no permanent rock uplift over tens of thousands of earthquake cycles. However, in southern Prince William Sound on Montague Island, apatite (U–Th)/He ages are as young as 1.1 Ma indicating focused and rapid rock uplift. Montague Island ...


Introduction To Targeted Learning, Laura Balzer Apr 2015

Introduction To Targeted Learning, Laura Balzer

Laura B. Balzer

No abstract provided.