Physical Sciences and Mathematics Commons^™

Mining Hierarchical Scenario-Based Specifications, David Lo, Shahar Maoz

Research Collection School Of Computing and Information Systems

Scalability over long traces, as well as comprehensibility and expressivity of results, are major challenges for dynamic analysis approaches to specification mining. In this work we present a novel use of object hierarchies over traces of inter-object method calls, as an abstraction/refinement mechanism that enables user-guided, top-down or bottom-up mining of layered scenario-based specifications, broken down by hierarchies embedded in the system under investigation. We do this using data mining methods that provide statistically significant sound and complete results modulo user-defined thresholds, in the context of Damm and Harel’s live sequence charts (LSC); a visual, modal, scenario-based, inter-object language. Thus, …

Coupled Ray-Tracing And Fokker-Planck Ebw Modeling For Spherical Tokamaks, Jakub Urban, Joan Decker, Y. Peysson, Josef Preinhaelter, Gary Taylor, Linda L. Vahala, George Vahala

Electrical & Computer Engineering Faculty Publications

The AMR (Antenna—Mode-conversion—Ray-tracing) code [1, 2] has been recently coupled with the LUKE [3] Fokker-Planck code. This modeling suite is capable of complex simulations of electron Bernstein wave (EBW) emission, heating and current drive. We employ these codes to study EBW heating and current drive performance under spherical tokamak (ST) configurations—typical NSTX discharges are employed. EBW parameters, such as frequency, antenna position and direction, are varied and optimized for particular configurations and objectives. In this way, we show the versatility of EBWs.

Activity-Aware Ecg-Based Patient Authentication For Remote Health Monitoring, Janani Sriram, Minho Shin, Tanzeem Choudhury, David Kotz

Dartmouth Scholarship

Mobile medical sensors promise to provide an efficient, accurate, and economic way to monitor patients' health outside the hospital. Patient authentication is a necessary security requirement in remote health monitoring scenarios. The monitoring system needs to make sure that the data is coming from the right person before any medical or financial decisions are made based on the data. Credential-based authentication methods (e.g., passwords, certificates) are not well-suited for remote healthcare as patients could hand over credentials to someone else. Furthermore, one-time authentication using credentials or trait-based biometrics (e.g., face, fingerprints, iris) do not cover the entire monitoring period and …

Linker-Free Modification Of Tio2 Nanorods With Pbse Nanocrystals, Krishna P. Acharya, Taiwo R. Alabi, Nicholas Schmall, Nishshanka N. Hewa-Kasakarage, Maria Kirsanova, Alexander Nemchinov, Elena Khon, Mikhail Zamkov

Physics and Astronomy Faculty Publications

We report on a colloidal synthesis of Pbse/TiO2 heterostructures, comprising small-diameter PbSe nanocrystals epitaxially grown onto the surface of TiO2 nanorods. The deposition of lead selenide onto prefabricated TiO2 nanocrystals proceeds via formation of a thin PbSe shell that subsequently breaks into sub-2-nm islands. Additional precursor injections are then used to increase the size of PbSe nanocrystals up to 5 nm. In the case of small-size PbSe, a 2.1-ns transfer of photoinduced carriers into TiO2 domain was evidenced through quenching of the PbSe band gap emission. Overall, the present synthesis demonstrates a colloidal approach to all-inorganic modification of TiO2 surfaces …

2009 York County, Virginia Shoreline Inventory Report Methods And Guidelines, Marcia Berman, Harry Berquist, Sharon Killeen, Carl Hershner, Karinna Nunez, Karen Reay, Tamia Rudnicky, Daniel E. Schatt, David Weiss

Reports

The data inventory developed for the Shoreline Inventory is based on a three tiered shoreline assessment approach. In most cases this assessment characterizes conditions that can be observed from a small boat navigating along the shoreline. The three tiered shoreline assessment approach divides the shorezone into three regions: 1) the immediate riparian zone, evaluated for land use; 2) the bank, evaluated for height, stability, cover and natural protection; and 3) the shoreline, describing the presence of shoreline structures for shore protection and recreational purposes.

The 2009 Inventory for York County was updated using on-screen, digitizing techniques in ArcMap v10.0 while …

Sand Dunes And Beaches In Virginia: Science And Management, Pamela Mason

Reports

No abstract provided.

High-Dimensional Software Engineering Data And Feature Selection, Huanjing Wang, Taghi M. Khoshgoftaar, Kehan Gao

Computer Science Faculty Publications

Software metrics collected during project development play a critical role in software quality assurance. A software practitioner is very keen on learning which software metrics to focus on for software quality prediction. While a concise set of software metrics is often desired, a typical project collects a very large number of metrics. Minimal attention has been devoted to finding the minimum set of software metrics that have the same predictive capability as a larger set of metrics – we strive to answer that question in this paper. We present a comprehensive comparison between seven commonly-used filter-based feature ranking techniques (FRT) …

A Gis Hub At Pace University, Peggy Minis, Hsui-Lin Winkler

Cornerstone 2 Reports : Community Outreach and Empowerment Through Service Learning and Volunteerism

The Thinkfinity Grant is to use technology to develop a GIS Hub at Pace University. The Hub is intended to show the larger community the work done at Pace and to show that our students and faculty are using GIS to solve geographically-based problems for communities and organizations. It also is intended to serve as a site from which users can download data to make their own maps and as a place where the larger community can find examples of maps and have the ability to manipulate maps.

What Makes Categories Difficult To Classify?, Aixin Sun, Ee Peng Lim, Ying Liu

Research Collection School Of Computing and Information Systems

In this paper, we try to predict which category will be less accurately classified compared with other categories in a classification task that involves multiple categories. The categories with poor predicted performance will be identified before any classifiers are trained and additional steps can be taken to address the predicted poor accuracies of these categories. Inspired by the work on query performance prediction in ad-hoc retrieval, we propose to predict classification performance using two measures, namely, category size and category coherence. Our experiments on 20-Newsgroup and Reuters-21578 datasets show that the Spearman rank correlation coefficient between the predicted rank of …

Trust Relationship Prediction Using Online Product Review Data, Nan Ma, Ee Peng Lim, Viet-An Nguyen, Aixin Sun

Research Collection School Of Computing and Information Systems

Trust between users is an important piece of knowledge that can be exploited in search and recommendation.Given that user-supplied trust relationships are usually very sparse, we study the prediction of trust relationships using user interaction features in an online user generated review application context. We show that trust relationship prediction can achieve better accuracy when one adopts personalized and cluster-based classification methods. The former trains one classifier for each user using user-specific training data. The cluster-based method first constructs user clusters before training one classifier for each user cluster. Our proposed methods have been evaluated in a series of experiments …

Logically Rectangular Finite Volume Methods With Adaptive Refinement On The Sphere, Marsha Berger, Donna Calhoun, Christiane Helzel, Randall Leveque

Donna Calhoun

The logically rectangular finite volume grids for two-dimensional partial differential equations on a sphere and for three-dimensional problems in a spherical shell introduced recently have nearly uniform cell size, avoiding severe Courant number restrictions. We present recent results with adaptive mesh refinement using the GEOCLAW software and demonstrate well-balanced methods that exactly maintain equilibrium solutions, such as shallow water equations for an ocean at rest over arbitrary bathymetry.

Conversion Of Vegetable And Algae Oils To Hydrocarbons Over Supported Metal Catalysts, T. Morgan, D. Grubb, E. Santillian-Jimenez, Samuel Morton, M. Crocker

Samuel A Morton

No abstract provided.

Measurements Of Electron Density, Temperature And Photoionization Cross Sections Of The Excited States Of Neon In A Discharge Plasma, Shaukat Mahmood, Nek Shaikh, M. Kalyar, Naveed Piracha, M. Baig

Naveed K. Piracha

In the present work emission and absorption spectroscopy have been used to determine the plasma parameters of neon in a hollow cathode discharge lamp. The excitation temperature is determined using the intensity ratio method and Boltzmann’s plot method whereas the electron density is determined from the Stark broadening of the spectral lines. The behavior of the optogalvanic signal as a function of laser energy has been studied for three transitions from the 2p53s [1/2]2 metastable state following ΔJ=ΔK=0, ±1 dipole selection rules. The saturation technique has been used to measure the photoionization cross section from three intermediate states 2p53p′ [1/2]1, …

A Techno-Economic Analysis Of Carbon Dioxide Bio- Mitigation Using Microalgae, Samuel Morton

Samuel A Morton

No abstract provided.

Seismic And Geodetic Constraints On Cascadia Slow Slip, Timothy I. Melbourne, Aaron G. Wech, Kenneth C. Creager

Faculty Scholarship for the Cascadia Hazards Institute

Automatically detected and located tremor epicenters from episodic tremor and slip (ETS) episodes in northern Cascadia provide a high-resolution map of Washington’s slow slip region. Thousands of epicenters from the past four ETS events from 2004 to 2008 provide detailed map-view constraints that correlate with geodetic estimates of the simultaneous slow slip. Each of these ETS events exhibits remarkable similarity in the timing and geographic distribution of tremor density and geodetically inferred slip. Analysis of the latest 15-month inter-ETS period also reveals ageodetic tremor activity similar both in duration and extent to ETS tremor. Epicenters from both ETS and inter- …

Exact Algorithm For Sampling The 2d Ising Spin Glass, Alan Middleton, Creighton K. Thomas

Physics - All Scholarship

A sampling algorithm is presented that generates spin glass configurations of the 2D Edwards-Anderson Ising spin glass at finite temperature, with probabilities proportional to their Boltzmann weights. Such an algorithm overcomes the slow dynamics of direct simulation and can be used to study long-range correlation functions and coarse-grained dynamics. The algorithm uses a correspondence between spin configurations on a regular lattice and dimer (edge) coverings of a related graph: Wilson's algorithm [D. B. Wilson, Proc. 8th Symp. Discrete Algorithms 258, (1997)] for sampling dimer coverings on a planar lattice is adapted to generate samplings for the dimer problem corresponding to …

Fold And Thrust Partitioning In A Contracting Fold Belt: Insights From The 1931 Mach Earthquake In Baluchistan, Walter Szeliga, Roger Bilham, Daniel Schelling, Din Mohamed Kakar, Sarosh Lodi

Faculty Scholarship for the Cascadia Hazards Institute

Surface deformation associated with the 27 August 1931 earthquake near Mach in Baluchistan is quantified from spirit-leveling data and from detailed structural sections of the region interpreted from seismic reflection data constrained by numerous well logs. Mean slip on the west dipping Dezghat/Bannh fault system amounted to 1.2 m on a 42 km x 72 km thrust plane with slip locally attaining 3.2 m up dip of an inferred locking line at approximately 9 km depth. Slip also occurred at depths below the interseismic locking line. In contrast, negligible slip occurred in the 4 km near the interseismic locking line. …

Water As A Complex System: Understanding The Dynamics In A Changing Environment, Heejun Chang

Systems Science Friday Noon Seminar Series

The water resources system is constantly evolving over space and time at a range of scales. Human-induced climate change and land development are probably two major driving forces of water resource system changes. However, the impacts of such changes are region specific, which depend on watershed characteristics such as topography and geology. Numerical simulation models are useful tools for understanding the system dynamics by allowing the multiple interactions of system components. I will introduce case studies of the Pacific Northwest that examine how changing climate and population growth affect regional water resources at multiple spatial and temporal scales and explain …

Atmospheric Soluble Dust Records From A Tibetan Ice Core: Possible Climate Proxies And Teleconnection With The Pacific Decadal Oscillation, B. Grigholm, Paul Andrew Mayewski, Shichang Kang, Y. Zhang, S. Kaspari, Sharon B. Sneed, Q. Zhang

Earth Science Faculty Scholarship

In autumn 2005, a joint expedition between the University of Maine and the Institute of Tibetan Plateau Research recovered three ice cores from Guoqu Glacier (33 degrees 34'37.80 '' N, 91 degrees 10'35.3 '' E, 5720 m above sea level) on the northern side of Mt. Geladaindong, central Tibetan Plateau. Isotopes ( delta(18)O), major soluble ions (Na(+), K(+), Mg(2+), Ca(2+), Cl(-), NO(3)(-), SO(4)(2-)), and radionuclide (beta-activity) measurements from one of the cores revealed a 70-year record (1935-2005). Statistical analysis of major ion time series suggests that atmospheric soluble dust species dominate the chemical signature and that background dust levels conceal …

Similarity Of Nutrient Uptake And Root Dimensions Of Engelmann Spruce And Subalpine Fir At Two Contrasting Sites In Colorado, Melissa S. Lucash, Ruth D. Yanai, Karis J. Mcfarlane, Sarah E. Kulpa, Dustin M. Wood

Environmental Science and Management Faculty Publications and Presentations

Nutrient uptake capacity is an important parameter in modeling nutrient uptake by plants. Researchers commonly assume that uptake capacity measured for a species can be used across sites. We tested this assumption by measuring the nutrient uptake capacity of intact roots of Engelmann spruce (Picea engelmanni Parry) and subalpine fir (Abies lasiocarpa (Hook.) Nutt.) at Loch Vale Watershed and Fraser Experimental Forest in the Rocky Mountains of central Colorado. Roots still attached to the tree were exposed to one of three concentrations of nutrient solutions for time periods ranging from 1 to 96h, and solutions were analyzed for ammonium, …

Whispers From The Cosmos: Listeing To Gravity's Hidden Message, Shane L. Larson

Public Talks

No abstract provided.

The White Dwarfs Within 20 Parsecs Of The Sun: Kinematics And Statistics, Edward M. Sion, J. B. Holberg, Terry D. Oswalt, George P. Mccook, Richard Wasatonic

Publications

We present the kinematical properties, distribution of spectroscopic subtypes, and stellar population subcomponents of the white dwarfs within 20 pc of the Sun.We find no convincing evidence of halo white dwarfs in the total 20 pc sample of 129 white dwarfs nor is there convincing evidence of genuine thick disk subcomponent members within 20 parsecs. Virtually, the entire 20 pc sample likely belongs to the thin disk. The total DA to non-DA ratio of the 20 pc sample is 1.6, a manifestation of deepening envelope convection which transforms DA stars with sufficiently thin H surface layers into non-DAs. The addition …

Scope And Mechanistic Investigations On The Solvent-Controlled Regio- And Stereoselective Formation Of Enol Esters From The Ruthenium-Catalyzed Coupling Reaction Of Terminal Alkynes And Carboxylic Acids, Chae S. Yi, Ruili Gao

Chemistry Faculty Research and Publications

The ruthenium-hydride complex (PCy₃)₂(CO)RuHCl was found to be a highly effective catalyst for the alkyne-to-carboxylic acid coupling reaction to give synthetically useful enol ester products. A strong solvent effect was observed for the ruthenium catalyst in modulating the activity and selectivity; the coupling reaction in CH₂Cl₂ led to the regioselective formation of gem-enol ester products, while the stereoselective formation of (Z)-enol esters was obtained in THF. The coupling reaction was found to be strongly inhibited by PCy₃. The coupling reaction of both PhCO₂H/PhC≡CD and PhCO_{2 …}

Green Buildings: An Asset Manager's Dream Or Nightmare?, Linda Too

Linda Too

The mounting evidence on climate change has thrust the sustainability issue to the forefront of many political agendas. Current research has provided many business cases for sustainable design and construction. While commercial green buildings have been the mainstay, the green phenomenon has also spread to educational facilities. This paper provides a case study of the new Mirvac School of Sustainable Development Building at Bond University, Gold Coast, Australia. With its extensive green features, it is applying to be the first six-star rated green educational building in Australia. To this end, the management of green buildings will be a challenge for …

Photo Highlights Of The 10th Kentucky Grazing Conference, Kentucky Grazing Conference

Kentucky Grazing Conference

No abstract provided.

Forage Spokesman Information, Tom Flowers, Vince Rawe, Caldwell Willig

Kentucky Grazing Conference

No abstract provided.

Animal Welfare--Animal Rights: Role Of Grazing, Roy Burris

Kentucky Grazing Conference

The care and handling of farm animals has drawn a lot of media attention lately. Some well-publicized events have given our industry the proverbial black-eye and led to a chain of events that has left livestock producers feeling very vulnerable to negative attacks. Although these events have been very isolated, they have had some very farreaching effects. Could they have been prevented? How? What do we do now?

Extended Grazing And Reduced Stored Feed, Edward N. Ballard

Kentucky Grazing Conference

Feed costs represent the major cost in most livestock production systems. A recently completed analysis of 225 Standardized Performance Analysis (SPA) Beef Cow Records on herds in Illinois and Iowa showed that feed cost was the overriding factor determining profitability, explaining over 57 percent of the herd-to-herd variation. Typically the cost of supplying nutrients to ruminant livestock is much greater using harvested feedstuffs as opposed to grazing pastures or crop residues. The primary function of a grassland farm is to convert solar energy to marketable livestock products in the most efficient manner. The fewer steps between the animal product and …

Stored Feed Needs: How Much? What Quality?, Jeff Lehmkuhler

Kentucky Grazing Conference

Feed resources are the largest variable expense in beef production systems outside the initial investment in the livestock. When we look at Standardized Performance Analysis (SPA) information from Texas and Minnesota, states that are at the extreme from an environment stance, the projected costs for maintaining a beef cow are strikingly similar. It is important to note that these costs include all expenses and opportunity costs. Getting back to the SPA information, in 2007 the annual cost to maintain a cow in Texas was determined to be roughly $590 while the Minnesota value was near $610 or only about $20/cow …

Tall Fescue Grazing Research, Glen Aiken

Kentucky Grazing Conference

‘Kentucky-31’ tall fescue, like it or hate it, covers 5 million acres of Kentucky and if you do not have it on your farm, it is likely that one of your bordering neighbors does! Tall fescue owes its persistence and productivity in large part to a fungal endophyte that infects most plants. This endophyte produces an array of alkaloids that benefit the plant in tolerating heat, drought, and grazing. Unfortunately, the endophyte also produces ergot alkaloids that can cause “fescue toxicosis” in cattle. Cattle inflicted with toxicosis have reduced dry matter intake, elevated body temperature, and often retain their winter …