Digital Commons Network^™

Context-Aware Statistical Debugging: From Bug Predictors To Faulty Control Flow Paths, Lingxiao Jiang, Zhendong Su

Research Collection School Of Computing and Information Systems

Effective bug localization is important for realizing automated debugging. One attractive approach is to apply statistical techniques on a collection of evaluation profiles of program properties to help localize bugs. Previous research has proposed various specialized techniques to isolate certain program predicates as bug predictors. However, because many bugs may not be directly associated with these predicates, these techniques are often ineffective in localizing bugs. Relevant control flow paths that may contain bug locations are more informative than stand-alone predicates for discovering and understanding bugs. In this paper, we propose an approach to automatically generate such faulty control flow paths …

Mining Modal Scenarios-Based Specifications From Execution Trace Of Reactive Systems, David Lo, Shahar Maoz, Siau-Cheng Khoo

Research Collection School Of Computing and Information Systems

Specification mining is a dynamic analysis process aimed at automatically inferring suggested specifications of a program from its execution traces. We describe a novel method, framework, and tool, for mining inter-object scenario-based specifications in the form of a UML2-compliant variant of Damm and Harels Live Sequence Charts (LSC). LSC extends the classical partial order semantics of sequence diagrams with temporal liveness and symbolic class level lifelines, in order to generate compact and expressive specifications. The output of our algorithm is a sound and complete set of statistically significant LSCs (i.e., satisfying given thresholds of support and confidence), mined from an …

On Improving Wikipedia Search Using Article Quality, Meiqun Hu, Ee Peng Lim, Aixin Sun, Hady Wirawan Lauw, Ba-Quy Vuong

Research Collection School Of Computing and Information Systems

Wikipedia is presently the largest free-and-open online encyclopedia collaboratively edited and maintained by volunteers. While Wikipedia offers full-text search to its users, the accuracy of its relevance-based search can be compromised by poor quality articles edited by non-experts and inexperienced contributors. In this paper, we propose a framework that re-ranks Wikipedia search results considering article quality. We develop two quality measurement models, namely Basic and PeerReview, to derive article quality based on co-authoring data gathered from articles' edit history. Compared with Wikipedia's full-text search engine, Google and Wikiseek, our experimental results showed that (i) quality-only ranking produced by PeerReview gives …

Machine-Assisted Proof Support For Validation Beyond Simulink, Chunqing Chen, Jin Song Dong, Jun Sun

Research Collection School Of Computing and Information Systems

Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we showed the idea of applying Timed Interval Calculus (TIC) to complement Simulink. In this paper, we develop machine-assisted proof support for Simulink models represented in TIC. The work is based on a generic theorem prover, Prototype Verification System (PVS). The TIC specifications of both Simulink models and requirements are transformed to PVS specifications automatically. Verification can be carried out at interval level with a high level of automation. Analysis of continuous and discrete behaviors is …

Montana Kaimin, November 1, 2007, Students Of The University Of Montana, Missoula

Montana Kaimin, 1898-present

Student newspaper of the University of Montana, Missoula.

November 1, 2007, The Daily Mississippian

Daily Mississippian (all digitized issues)

No abstract provided.

Polarization Rotation Correction In Radiometry: An Error Analysis, David G. Long, Derek Hudson, Jeffrey R. Piepmeier

Faculty Publications

Yueh proposed a method of using the third Stokes parameter TU to correct brightness temperatures such as Tv and Th for polarization rotation. This paper presents an extended error analysis of the estimation of Tv , Th, and TQ equiv Tv - Th by Yueh's method. In order to carry out the analysis, we first develop a forward model of polarization rotation that accounts for the random nature of thermal radiation, receiver noise, and (to first order) calibration. Analytic formulas are then derived for the bias, standard deviation (STD), and root-mean-square error (RMSE) of estimated TQ, Tv , and Th, …

Spartan Daily, November 1, 2007, San Jose State University, School Of Journalism And Mass Communications

Spartan Daily (School of Journalism and Mass Communications)

Volume 129, Issue 38

Reinventing Appellate Jurisdiction, Adam N. Steinman

Faculty Scholarship

Appellate jurisdiction in the federal system has been properly criticized for both its doctrinal incoherence and its procedural complexity. Although these critiques are well-founded, this Article reveals that, as applied in practice, federal courts have drawn sensible lines between interlocutory orders that are immediately appealable and those that are not. A limited category of interlocutory orders, primarily those rejecting immunities from suit, are immediately appealable as of right. All other interlocutory orders are potentially eligible for discretionary appellate review. The doctrinal morass of the present framework, however, has obscured this basically sensible structure and has led to inefficient procedures for …

Effects Of Electromagnetic Interference On Control Area Network Performance, Fei Ren, Y. Rosa Zheng, Maciej Jan Zawodniok, Jagannathan Sarangapani

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, the effects of electromagnetic interference (EMI) on control area network (CAN) communications are investigated by hardware experiments. Distinct CAN bit rates, communication cables, and networks are used to test effects of EMI on CAN bus. Waveforms of CAN data frames in EMI environment are observed and analyzed for figuring out details of effects. Experiments show that the EMI pulses frequently encountered in automobile and off-road machinery can cause the reduction of bit rates and errors in high-speed CAN communications. Replacing traditional unshielded parallel communication cables with shielded communication cables is proved to be an effective method of …

Estimation Of High-Frequency Currents From Near-Field Scan Measurements, Haixiao Weng, Daryl G. Beetner, Richard E. Dubroff, Jin Shi

Electrical and Computer Engineering Faculty Research & Creative Works

High-frequency currents on the pins of integrated circuits (ICs) and on printed circuit board (PCB) traces are needed to predict and analyze electromagnetic interference in high-speed devices. These currents can, however, be difficult to measure when traces are buried within the PCB or chip-package, especially when several current-carrying traces are in close proximity. Techniques for estimating high-frequency currents from near-field scan data are proposed in this paper. These techniques are applied to find currents on the pins of an IC, on traces buried beneath other traces in a PCB, and on traces over a slot in the ground plane. Methods …

Reclaiming The Moral In The Dispositions Debate, Terry J. Burant, Sharon Chubbuck, Joan Whipp

College of Education Faculty Research and Publications

This article addresses the current debates about the definition and assessment of dispositions in teacher education. Competing perspectives on the definitions and assessment of dispositions in teacher education are examined and critiqued, and a renewed commitment to foregrounding the moral nature of teaching is suggested. Recommendations for understanding and assessing the moral in teacher education, including the development of a code of ethics for the profession, are provided.

Living On The Edge, Paul Crego

Occasional Papers on Religion in Eastern Europe

No abstract provided.

Is A 3-Mm Intrafractional Margin Sufficient For Daily Image-Guided Intensity-Modulated Radiation Therapy Of Prostate Cancer?, Adam D Melancon, Jennifer C O'Daniel, Lifei Zhang, Rajat J Kudchadker, Deborah A Kuban, Andrew K Lee, Rex M Cheung, Renaud De Crevoisier, Susan L Tucker, Wayne D Newhauser, Radhe Mohan, Lei Dong

Faculty, Staff and Student Publications

PURPOSE: To determine whether a 3-mm isotropic target margin adequately covers the prostate and seminal vesicles (SVs) during administration of an intensity-modulated radiation therapy (IMRT) treatment fraction, assuming that daily image-guided setup is performed just before each fraction.

MATERIALS AND METHODS: In-room computed tomographic (CT) scans were acquired immediately before and after a daily treatment fraction in 46 patients with prostate cancer. An eight-field IMRT plan was designed using the pre-fraction CT with a 3-mm margin and subsequently recalculated on the post-fraction CT. For convenience of comparison, dose plans were scaled to full course of treatment (75.6 Gy). Dose coverage …

How Can We Keep Research Growing At Colleges Of Osteopathic Medicine?, Michael B. Clearfield, Peggy Smith-Barbaro, V. James Guillory, Thomas A. Cavalieri, Marc Hahn

Faculty and Staff Publications

No abstract provided.

Research Funding At Colleges Of Osteopathic Medicine: 15 Years Of Growth, Michael B. Clearfield, Peggy Smith-Barbaro, V. James Guillory, Thomas A. Cavalieri, Douglas L. Wood, Glynda F. Sharp, Marc Hahn

Faculty and Staff Publications

Context: Colleges of osteopathic medicine (COMs) trying to stimulate research and develop research infrastructures must overcome the challenge of obtaining adequate funding to support growing research interests. The authors examine changes in research funding at COMs during the past 15 years.

Objectives: To track 1999-2004 data on COM research funding, COM faculty size, educational backgrounds of principal investigators receiving funding, and funding institutions. To compare these data with published results from 1989 to 1999.

Methods: Data on number of grants, funding amounts by extramural source, percent of total dollars by extramural source, percent of total dollars by COM, and total …

How To Solve (Or Avoid) The Exactions Problem, Richard A. Epstein

Missouri Law Review

It is my great honor to deliver the Earl F. Nelson lecture for the year 2007. I have never met Mr. Nelson, but I have looked at the roster of distinguished people who have spoken in this lecture series, and I am pleased to have my name added to such an august list. I would also like to add my tribute to Dale Whitman, to whom this Conference has been dedicated. I regard him as a one-man version of Mr. Inside and Mr. Outside, a reference to - for those of you who remember - the old Army teams from …

Real Estate Practice In The Twenty-First Century, Ann M. Burkhart

Missouri Law Review

The next century will bring profound changes in real estate law and in the ways that it is practiced. This prediction may seem rather unremarkable for any area of law or for almost any other area of human endeavor. But the changes in real estate law will be exceptional because of their relative rapidity and comprehensiveness. Real estate law, perhaps more than any other area, has changed very slowly since the beginning of the common law legal system. The mortgage, which will be the engine for this century's developments, is a particularly striking example of this slow rate of evolution.' …

Trust And Community: The Common Interest Community As Metaphor And Paradox, Paula A. Franzese, Steven Siegel

Missouri Law Review

This Article explores the power of trust to shape where we live and how we live. It aims to provide a new set of first principles to reshape the common interest community (CIC) paradigm, so that the promise of social trust, rather than control and punishment, can enhance the cultural and economic success of this Goliath of residential living.

Doctrines Of Waste In A Landscape Of Waste, John A. Lovett

Missouri Law Review

While I do not deny that classic waste cases - conflicts between life tenants and future interest holders over alleged instances of voluntary waste - are less common today than they used to be (but perhaps not as uncommon as some might think), my goals in this article are to reawaken readers to the importance of waste doctrine, to suggest that the great days of waste may not be completely in the past, to recommend some new uses for waste cases as teaching tools, and generally to urge a renewed appreciation for waste - an appreciation that Dale Whitman, for …

Mortgage Law In China: Comparing Theory And Practice, Gregory M. Stein

Missouri Law Review

This Article examines Chinese mortgage law as it actually operates in the field, focusing on both legal and business issues. During the summer of 2005, I interviewed dozens of Chinese and Western lawyers, bankers, real estate developers, government officials, judges, economists, real estate consultants, law professors, business professors, real estate agents, law students, and recent homebuyers. Their comments offer reliable insights into how China's real estate markets truly function. The discussion that follows draws on these conversations to examine China's budding mortgage law practices, including how they developed, how they comport with or differ from written laws, and what questions …

Teaching Property - A Conceptual Approach, Dale A. Whitman

Missouri Law Review

The property course has shrunk. This fact is well-documented, and is obvious to anyone who has taught the course over any appreciable length of time. For many decades, Property received six credits in most law schools - typically three in the Fall and three in the Winter semester of the first year. Now, few schools give the course more than four or five credits, and some have cut it to three. The change seems to have occurred mainly over the last two decades. While it is doubtful that many Property teachers would have chosen this reduction, it is now an …

Tipping Point: Missouri Single Subject Provision, Alexander R. Knoll

Missouri Law Review

The Missouri single subject provision, which requires that each bill enacted by the Missouri Legislature contain a single subject, is one of the great equalizers in backroom politics. Simply put, it is a hurdle that prevents legislators from hijacking the legislative process by attaching an unrelated provision to a proposed bill. This is a practice that many of our Federal legislators find to be a daily occurrence, but one that our state politicians are prevented from doing under the single subject provision of the Missouri Constitution. However, even with the broad prohibition outlined in the single subject provision, for the …

Slurred Speech And Double Vision: Missouri's Supreme Court Is Unsteady On Dwi Standard, Alison K. Spinden

Missouri Law Review

Supreme Court Justice Potter Stewart observed that "[t]he art of being a judge, if there is such an art, is in announcing clear rules in the context of... infinitely varied cases, rules that can be understood and observed by conscientious government officials. This might be excellent advice for Missouri's judges to consider. After nearly fifteen years of struggling to formulate the proper standard for appellate review of a trial court's finding of probable cause, courts appear to be as unsettled on the issue as ever. In no context is this clearer than in cases involving charges of driving while intoxicated …

In Re N.L.B. V. Lentz: The Missouri Supreme Court's Unwarranted Extension Of A Putative Father's Constitutional Protections, Lauren Standlee

Missouri Law Review

In Lentz, the Missouri Supreme Court granted an unwed father leave to intervene in an adoption, despite the fact that he had failed to bring himself into the realm of constitutionally protected putative fathers. This note explains why the holding of the Lentz court subverted the intent of Missouri's adoption statutes and its putative father registry, and argues that an unwed biological father who has not filed a valid paternity action, registered with the putative father registry, or demonstrated a substantial commitment to the responsibilities of parenthood should not be entitled to the additional constitutional protections available to diligent putative …

Sex And Shock Jocks: An Analysis Of The Howard Stern And Bob & Tom Shows, Lawrence Soley

College of Communication Faculty Research and Publications

Studies of mass media show that sexual content has increased during the past three decades and is now commonplace. Research studies have examined the sexual content of many media, but not talk radio. A subcategory of talk radio, called “shock jock” radio, has been repeatedly accused of being indecent and sexually explicit. This study fills in this gap in the literature by presenting a short history and an exploratory content analysis of shock jock radio. The content analysis compares the sexual discussions of two radio talk shows: Infinity’s Howard Stern Show and Clear Channel’s Bob & Tom Show.

Payton's "Light From The Christian East: An Introduction To The Orthodox Tradition" And Letham's "Through Western Eyes: Eastern Orthodoxy: A Reformed Perspective" - Book Review, Donald Fairbairn

Occasional Papers on Religion in Eastern Europe

No abstract provided.

Forward-Jet Production In Deep Inelastic Ep Scattering At Hera, S. Chekanov, M. Derrick, S. Magill, B. Musgrave, D. Nicholass, J. Repond, R. Yoshida, Margarita C. K. Mattingly, M. Jechow, N. Pavel, A. G. Yagües Molina, S. Antonelli, P. Antonioli, G. Bari, M. Basile, L. Bellagamba, M. Bindi, D. Boscherini, A. Bruni, G. Bruni, L. Cifarelli, F. Cindolo, A. Contin, M. Corradi, S. De Pasquale, G. Iacobucci, A. Margotti, R. Nania, A. Polini, G. Sartorelli, A. Zichichi

Faculty Publications

Forward jet cross sections have been measured in neutral current deep inelastic scattering at low Bjorken-x with the ZEUS detector at HERA using an integrated luminosity of 81.8 pb-1. Measurements are presented for inclusive forward jets as well as for forward jets accompanied by a dijet system. The explored phase space, with jet pseudorapidity up to 4.3 is expected to be particularly sensitive to the dynamics of QCD parton evolution at low x. The measurements are compared to fixed-order QCD calculations and to leading-order parton-shower Monte Carlo models. © 2007 Springer-Verlag / Società Italiana di Fisica.

Vacancy Localization In The Square Dimer Model, Mark Bowick, J. Bouttier, Emmanuel Guitter, Monwhea Jeng

Physics - All Scholarship

We study the classical dimer model on a square lattice with a single vacancy by developing a graph-theoretic classification of the set of all configurations which extends the spanning tree formulation of close-packed dimers. With this formalism, we can address the question of the possible motion of the vacancy induced by dimer slidings. We find a probability 57/4-10Sqrt[2] for the vacancy to be strictly jammed in an infinite system. More generally, the size distribution of the domain accessible to the vacancy is characterized by a power law decay with exponent 9/8. On a finite system, the probability that a vacancy …

The Register, 2007-10-31, North Carolina Agricutural And Technical State University

NCAT Student Newspapers

No abstract provided.