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

Physical Sciences and Mathematics Commons™

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

2011

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 871 - 900 of 10325

Full-Text Articles in Physical Sciences and Mathematics

Smartic: Towards Building An Accurate, Robust And Scalable Specification Miner, David Lo, Siau-Cheng Khoo Nov 2011

Smartic: Towards Building An Accurate, Robust And Scalable Specification Miner, David Lo, Siau-Cheng Khoo

David LO

Improper management of software evolution, compounded by imprecise, and changing requirements, along with the “short time to market ” requirement, commonly leads to a lack of up-to-date specifications. This can result in software that is characterized by bugs, anomalies and even security threats. Software specification mining is a new technique to address this concern by inferring specifications automatically. In this paper, we propose a novel API specification mining architecture called SMArTIC (Specification Mining Architecture with Trace fIltering and Clustering) to improve the accuracy, robustness and scalability of specification miners. This architecture is constructed based on two hypotheses: (1) Erroneous traces …

Go to article

Scenario-Based And Value-Based Specification Mining: Better Together, David Lo, Shahar Maoz Nov 2011

Scenario-Based And Value-Based Specification Mining: Better Together, David Lo, Shahar Maoz

David LO

Specification mining takes execution traces as input and extracts likely program invariants, which can be used for comprehension, verification, and evolution related tasks. In this work we integrate scenario-based specification mining, which uses data-mining algorithms to suggest ordering constraints in the form of live sequence charts, an inter-object, visual, modal, scenario-based specification language, with mining of value-based invariants, which detects likely invariants holding at specific program points. The key to the integration is a technique we call scenario-based slicing, running on top of the mining algorithms to distinguish the scenario-specific invariants from the general ones. The resulting suggested specifications are …

Go to article

Lm: A Miner For Scenario-Based Specifications, Tuan Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo Nov 2011

Lm: A Miner For Scenario-Based Specifications, Tuan Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo

David LO

We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with a project management component, a wizard-like interface to the mining algorithm, a set of pre- and postprocessing extensions, and a visualization module.

Go to article

Mining Scenario-Based Specifications With Value-Based Invariants, David Lo, Shahar Maoz Nov 2011

Mining Scenario-Based Specifications With Value-Based Invariants, David Lo, Shahar Maoz

David LO

There have been a number of studies on mining candidate specifications from execution traces. Some extract specifications corresponding to value-based invariants, while others work on inferring ordering constraints. In this work, we merge our previous work on mining scenario-based specifications, extracting ordering constraints in the form of live sequence charts (LSC), a visual specification language, with Daikon, a tool for mining value-based invariants. The resulting approach strengthens the expressive power of the mined scenarios by enriching them with scenario-specific value-based invariants. The concept is illustrated using a preliminary case study on a real application.

Go to article

Classification Of Software Behaviors For Failure Detection: A Discriminative Pattern Mining Approach, David Lo, Hong Cheng, Jiawei Han, Siau-Cheng Khoo, Chengnian Sun Nov 2011

Classification Of Software Behaviors For Failure Detection: A Discriminative Pattern Mining Approach, David Lo, Hong Cheng, Jiawei Han, Siau-Cheng Khoo, Chengnian Sun

David LO

Software is a ubiquitous component of our daily life. We often depend on the correct working of software systems. Due to the difficulty and complexity of software systems, bugs and anomalies are prevalent. Bugs have caused billions of dollars loss, in addition to privacy and security threats. In this work, we address software reliability issues by proposing a novel method to classify software behaviors based on past history or runs. With the technique, it is possible to generalize past known errors and mistakes to capture failures and anomalies. Our technique first mines a set of discriminative features capturing repetitive series …

Go to article

Quark : Empirical Assessment Of Automaton-Based Specification Miners, David Lo, Siau-Cheng Khoo Nov 2011

Quark : Empirical Assessment Of Automaton-Based Specification Miners, David Lo, Siau-Cheng Khoo

David LO

Software is often built without specification. Tools to automatically extract specification from software are needed and many techniques have been proposed. One type of these specifications - temporal API specification - is often specified in the form of automaton. There has been much work on reverse engineering or mining software temporal specification, using dynamic analysis techniques; i.e., analysis of software program traces. Unfortunately, the issues of scalability, robustness and accuracy of these techniques have not been comprehensively addressed. In this paper, we describe QUARK(QUality Assurance framewoRK) that enables assessments of the performance of a specification miner in generating temporal specification …

Go to article

Mining Past-Time Temporal Rules From Execution Traces, David Lo, Siau-Cheng Khoo, Chao Liu Nov 2011

Mining Past-Time Temporal Rules From Execution Traces, David Lo, Siau-Cheng Khoo, Chao Liu

David LO

Specification mining is a process of extracting specifications, often from program execution traces. These specifications can in turn be used to aid program understanding, monitoring and verification. There are a number of dynamic-analysis-based specification mining tools in the literature, however none so far extract past time temporal expressions in the form of rules stating: whenever a series of events occurs, previously another series of events has happened. Rules of this format are commonly found in practice and useful for various purposes. Most rule-based specification mining tools only mine future-time temporal expression. Many past-time temporal rules like whenever a resource is …

Go to article

Specification Mining: A Concise Introduction, David Lo, Siau-Cheng Khoo, Chao Liu, Jiawei Han Nov 2011

Specification Mining: A Concise Introduction, David Lo, Siau-Cheng Khoo, Chao Liu, Jiawei Han

David LO

No abstract provided.

Go to article

Hubble Space Telescope Imaging Of Post-Starburst Quasars, S. L. Cales, M. S. Brotherton, Zhaohui Shang, Vardha N. Bennert, G. Canalizo, R. Stoll, R. Ganguly, D. Vanden Berk, C. Paul, A. Diamond-Stanic Nov 2011

Hubble Space Telescope Imaging Of Post-Starburst Quasars, S. L. Cales, M. S. Brotherton, Zhaohui Shang, Vardha N. Bennert, G. Canalizo, R. Stoll, R. Ganguly, D. Vanden Berk, C. Paul, A. Diamond-Stanic

Physics

We present images of 29 post-starburst quasars (PSQs) from a Hubble Space Telescope (HST) Advanced Camera for Surveys (ACS) Wide Field Channel Snapshot program. These broadlined active galactic nuclei (AGNs) possess the spectral signatures of massive (M burst ~ 1010 M ☉), moderate-aged stellar populations (hundreds of Myr). Thus, their composite nature provides insight into the AGN-starburst connection. We measure quasar-to-host galaxy light contributions via semi-automated two-dimensional light profile fits of point-spread-function-subtracted images. We examine the host morphologies and model the separate bulge and disk components. The HST/ACS-F606W images reveal an equal number …

Go to article

Electroproduction Of Hyperons At Low Momentum Transfer, Armando R. Acha Nov 2011

Electroproduction Of Hyperons At Low Momentum Transfer, Armando R. Acha

FIU Electronic Theses and Dissertations

A high resolution study of the H(e,e'K+)Λ,Σ0 reaction was performed at Hall A, TJNAF as part of the hypernuclear experiment E94-107. One important ingredient to the measurement of the hypernuclear cross section is the elementary cross section for production of hyperons, Λ and Σ0. This reaction was studied using a hydrogen (i.e. a proton) target. Data were taken at very low Q2 (∼0.07 (GeV/c)2) and W∼2.2 GeV. Kaons were detected along the direction of q, the momentum transferred by the incident electron (θCM~6°). In addition, there are few data available regarding electroproduction …

Go to article

V344 Lyrae: A Touchstone Su Uma Cataclysmic Variable In The Kepler Field, Matt A. Wood, Martin D. Still, Steve B. Howell, John K. Cannizzo, Alan P. Smale Nov 2011

V344 Lyrae: A Touchstone Su Uma Cataclysmic Variable In The Kepler Field, Matt A. Wood, Martin D. Still, Steve B. Howell, John K. Cannizzo, Alan P. Smale

Aerospace, Physics, and Space Science Faculty Publications

We report on the analysis of the Kepler short-cadence (SC) light curve of V344 Lyr obtained during 2009 June 20 through 2010 March 19 (Q2-Q4). The system is an SU UMa star showing dwarf nova (DN) outbursts and superoutbursts, and promises to be a touchstone for CV studies for the foreseeable future. The system displays both positive and negative superhumps with periods of 2.20 and 2.06 hr, respectively, and we identify an orbital period of 2.11 hr. The positive superhumps have a maximum amplitude of ~0.25 mag, the negative superhumps have a maximum amplitude of ~0.8 mag, and the orbital …

Go to article

The Autonomy House: Team Las Vegas Conceptual Design, University Of Nevada, Las Vegas. Solar Decathlon Team. Nov 2011

The Autonomy House: Team Las Vegas Conceptual Design, University Of Nevada, Las Vegas. Solar Decathlon Team.

DesertSol: Planning and Design

An overview of a net-zero energy concept house developed for the 2013 Solar Decathlon. Document uses original project name "Autonomy House".

Go to article

Team Las Vegas Solar Decathlon 2013: Technical Proposal, University Of Nevada, Las Vegas. Solar Decathlon Team. Nov 2011

Team Las Vegas Solar Decathlon 2013: Technical Proposal, University Of Nevada, Las Vegas. Solar Decathlon Team.

DesertSol: Planning and Design

Team Las Vegas is proposing an elegant, sustainable, and innovative home design that aims to be net zero energy as part of participation in the 2013 Solar Decathlon supported by the Department of Energy and the National Renewable Energy Laboratory (NREL). The home will be constructed and tested at the 2013 Solar Decathlon competition at a location to be determined by NREL. Imagine a home that captures energy instead of reflecting sunlight; one that filters rainwater and sequesters carbon in its vegetation and soils; one that actually gives back to the ecosystem in which it resides, and supports sustainability for …

Go to article

Topological Properties Of Invariant Sets For Anosov Maps With Holes, Skyler C. Simmons Nov 2011

Topological Properties Of Invariant Sets For Anosov Maps With Holes, Skyler C. Simmons

Theses and Dissertations

We begin by studying various topological properties of invariant sets of hyperbolic toral automorphisms in the linear case. Results related to cardinality, local maximality, entropy, and dimension are presented. Where possible, we extend the results to the case of hyperbolic toral automorphisms in higher dimensions, and further to general Anosov maps.

Go to article

Sequence Stratigraphy Of Basal Oquirrh Group Caronates (Bashkirian) Thorpe Hills, Lake Mountain, Wasatch Front, Utah, Andrew D. Derenthal Nov 2011

Sequence Stratigraphy Of Basal Oquirrh Group Caronates (Bashkirian) Thorpe Hills, Lake Mountain, Wasatch Front, Utah, Andrew D. Derenthal

Theses and Dissertations

The Early Pennsylvanian (Bashkirian/Morrowan) Bridal Veil Limestone of north-central Utah was deposited in the eastern portion of the rapidly subsiding Oquirrh basin. The 420 meter-thick Bridal Veil Limestone displays distinct cyclicity formed by stacked, meter to decameter scale high-frequency sequences and their constituent parasequences. Though no one ideal cycle may be defined for the Bridal Veil Limestone, each high-frequency sequence and parasequence contains a general shallowing upward trend that ranges from anaerobic to dysaerobic mudstone at the base to skeletal wackestone to mud-dominated packstone, capped by heterozoan grain-rich carbonates or siliciclastic tidalites. Cycles bounded by exposure surfaces, indicated by micro-brecciation, …

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Part 1 Project Overview, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Part 1 Project Overview, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Information About Course: Course Syllabus, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Information About Course: Course Syllabus, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 1, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 1, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 8, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 8, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 6, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 6, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 3, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 3, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 4, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 4, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 7, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 7, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 5, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 5, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 2, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Weekly Assignment Document 2, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Part 3 Project Overview, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Part 3 Project Overview, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Part 2 Project Overview, Robert Martello, Jonathan Stolk Nov 2011

Fall 2010 Ahse 2110, Sci 1410: The Stuff Of History: Materials And Culture In Ancient, Revolutionary And Contemporary Times: Course Materials: Part 2 Project Overview, Robert Martello, Jonathan Stolk

Jonathan Stolk

The STUFF of History is an integrated course activity that combines the knowledge, skills, and attitudes of materials science and history of technology. The term “integrated” applies to every aspect of this course: both instructors are present at (nearly) all times; both instructors assess every major assignment jointly; every major assignment contains elements from both portions of this course; and you receive one grade for all eight credits. We think that that this integration comes very naturally: the subjects complement one another and the use of two perspectives produces a deep, provocative understanding.

Go to article

Wind Charged Plug-In Hybrid Electric Vehicle, John Patten, Nathan Christensen, Steven Srivastava, Gary Nola Nov 2011

Wind Charged Plug-In Hybrid Electric Vehicle, John Patten, Nathan Christensen, Steven Srivastava, Gary Nola

john a patten

With the emergence of electric vehicles (EVs), hybrid vehicles HVs) and plug-in hybrid electric vehicles (PHEVs) from a variety of automotive manufacturers, the electrical grid will need to meet new challenges in supplying the electricity required to charge these vehicles. To help supply the electricity needed by these vehicles, we compared the electricity consumption of a modified Toyota Prius (PHEV) and the output of a small residential wind turbine over the course of one year. Our research seeks to determine whether a small residential wind turbine can supply the necessary electricity demanded by the PHEV annually.

Go to article

The Impact Of Driving Conditions On Phev Battery Performance, Nathan Christensen, John Patten, Steven Srivastava, Gary P. Nola Nov 2011

The Impact Of Driving Conditions On Phev Battery Performance, Nathan Christensen, John Patten, Steven Srivastava, Gary P. Nola

john a patten

The battery performance of a modified Prius with a 5 kWh plug-in battery was documented for a year to determine the impact of environmental conditions and user attributes on vehicle performance. Both fuel economy and pure electrical efficiency were compared to ambient temperature. The fuel economy has a positive relationship with ambient temperature until approximately 70˚F where the efficiency begins to drop. Electrical performance has a positive linear relationship with ambient temperature. With the emergence of electric vehicles (EVs) and PHEVs from a variety of automotive manufacturers, information on EV and PHEV performance for consumers will become more important.

Go to article

The Fierce Green Fire: Vol. 2 Issue 10, Wofford College Environmental Studies Program Nov 2011

The Fierce Green Fire: Vol. 2 Issue 10, Wofford College Environmental Studies Program

The Fierce Green Fire

No abstract provided.

Go to article

First Prev Next Last