Digital Commons Network^™

Model Checking Hierarchical Probabilistic Systems, Jun Sun, Songzheng Song, Yang Liu

Research Collection School Of Computing and Information Systems

Probabilistic modeling is important for random distributed algorithms, bio-systems or decision processes. Probabilistic model checking is a systematic way of analyzing finite-state probabilistic models. Existing probabilistic model checkers have been designed for simple systems without hierarchy. In this paper, we extend the PAT toolkit to support probabilistic model checking of hierarchical complex systems. We propose to use PCSP#, a combination of Hoare’s CSP with data and probability, to model such systems. In addition to temporal logic, we allow complex safety properties to be specified by non-probabilistic PCSP# model. Validity of the properties (with probability) is established by refinement checking. Furthermore, …

Evolution Of A Bluetooth Test Application Product Line: A Case Study, Narayanasamy Ramasubbu, Rajesh Krishna Balan

Research Collection School Of Computing and Information Systems

In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement firm. In this environment, customer change requests either have to be added as a standard feature in the product, or developed as a special customized version of the product. We first discuss the influential factors, such as evolving standards, market share, installed-base, and complexity, which collectively determined how the firm responded to product change requests. We then develop a predictive decision model to test the collective impact of these factors on determining …

Impact Investigation Of Reactor Fuel Operating Parameters On Reactivity For Use In Burnup Credit Applications, Tanya N. Sloma

UNLV Theses, Dissertations, Professional Papers, and Capstones

When representing the behavior of commercial spent nuclear fuel (SNF), credit is sought for the reduced reactivity associated with the net depletion of fissile isotopes and the creation of neutron-absorbing isotopes, a process that begins when a commercial nuclear reactor is first operated at power. Burnup credit accounts for the reduced reactivity potential of a fuel assembly and varies with the fuel burnup, cooling time, and the initial enrichment of fissile material in the fuel. With regard to long-term SNF disposal and transportation, tremendous benefits, such as increased capacity, flexibility of design and system operations, and reduced overall costs, provide …

A Hole In The Soul: Big Questions Is Reaching Out To A Secular World, Gerald A. Klingbeil

Faculty Publications

No abstract provided.

Multiple Visions Of Teachers' Understandings Of Mathematics, Ann Kajander, Ralph Mason, Peter Taylor, Edward Doolittle, Tom Boland, Dan Jarvis, Wes Maciejewski

Faculty Research, Scholarly, and Creative Activity

In this dialog, the notion of mathematical understanding as might be needed by classroom teachers is critically examined by mathematics educators, mathematicians, and a classroom teacher, based on the outcomes of recent work with expert classroom teachers. Terminology, assumptions and examples are discussed and analysed from a number of points of view. Ultimately, the goal is to construct common ground from which appropriate mathematics courses for future teachers might be developed and taught. The need for common terminology and a unifying framework from which to work becomes apparent as multiple interpretations and visions are discussed.

Betty Foy Sanders Department Of Art Newsletter, Georgia Southern University

Art: News & Publications (2008-2023)

• The New Landscape
• Freelancing
• Behind the Image
• Club Mud Exhibition & Sale

Tennessee Farm Bureau News - November 2010, Tennessee Farm Bureau Federation

Tennessee Farm Bureau News

No abstract provided.

Tensor Correlations Measured In 3he(E,E' Pp)N, H. Baghdasaryan, L. B. Weinstein, J. M. Laget, K. P. Adhikarii, M. Aghasyan, M. Amarian, M. Anghinolfi, H. Avakian, J. Ball, M. Battaglieri, R. P. Bennett, S. Bültmann, G. E. Dodge, C. E. Hyde, A. Klein, S. E. Kuhn, M. Mayer, C. Nepali, F. Sabatié, H. Seraydaryan, Z. W. Zhao

Physics Faculty Publications

We have measured the ³He(e,e' pp)n reaction at an incident energy of 4.7 GeV over a wide kinematic range. We identified spectator correlated pp and pn nucleon pairs by using kinematic cuts and measured their relative and total momentum distributions. This is the first measurement of the ratio of pp to pn pairs as a function of pair total momentum p_tot. For pair relative momenta between 0.3 and 0.5 GeV/c, the ratio is very small at low p_tot and rises to approximately 0.5 at large ptot. This shows the dominance of tensor over …

Low Temperature Photo-Oxidation Of Chloroperoxidase Compound Ii, Xinting Yuan, Xin Sheng, John A. Horner, Brian Bennett, Leslie W. -M. Fung, Martin Newcomb

Physics Faculty Research and Publications

Oxidation of the heme-thiolate enzyme chloroperoxidase (CPO) from Caldariomyces fumago with peroxynitrite (PN) gave the Compound II intermediate, which was photo-oxidized with 365 nm light to give a reactive oxidizing species. Cryo-solvents at pH ≈ 6 were employed, and reactions were conducted at temperatures as low as − 50 °C. The activity of CPO as evaluated by the chlorodimedone assay was unaltered by treatment with PN or by production of the oxidizing transient and subsequent reaction with styrene. EPR spectra at 77 K gave the amount of ferric protein at each stage in the reaction sequence. The PN oxidation step …

Enhanced Electrochemistry Of Nanoparticle-Embedded Polyelectrolyte Films: Interfacial Electronic Coupling And Distance Dependence, Callie E. Dowdy, Michael C. Leopold

Chemistry Faculty Publications

Factors affecting the electronic communication believed to be responsible for the enhanced solution electrochemistry observed at electrodes modified with hybrid polyelectrolyte–nanoparticle (PE–NP) film assemblies were systematically investigated. Specifically, the faradaic current and voltammetric peak splitting recorded for cyclic voltammetry of ferricyanide redox species (Fe(CN)63−/4−) at films constructed with various architectures of citrate-stabilized gold NPs embedded in polyelectrolyte films composed of poly-l-lysine and poly-S-styrene were used to establish the relative importance of both distance and electronic coupling. Layer-by-layer construction of PE–NP films allowed for the position and density of NPs to be varied within the film to assess electronic coupling between …

Bayesian Analysis Of Structural Credit Risk Models With Microstructure Noises, Shirley J. Huang, Jun Yu

Research Collection Lee Kong Chian School Of Business

In this paper a Markov chain Monte Carlo (MCMC) technique is developed for the Bayesian analysis of structural credit risk models with microstructure noises. The technique is based on the general Bayesian approach with posterior computations performed by Gibbs sampling. Simulations from the Markov chain, whose stationary distribution converges to the posterior distribution, enable exact finite sample inferences of model parameters. The exact inferences can easily be extended to latent state variables and any nonlinear transformation of state variables and parameters, facilitating practical credit risk applications. In addition, the comparison of alternative models can be based on devian information criterion …

Lsuhsc Facilities Daily Update: November 2010, Lsuhsc Property And Facilities Management

LSUHSC Facilities Daily Updates: 2010

LSUHSC Facilities Daily Updates from November 2010.

These updates describe damage and a timeline of repairs at the LSU Health Sciences Center - New Orleans campus due to Hurricane Katrina which made landfall August 29, 2005.

Lsuhsc Facilities Biweekly Update: November 2010, Lsuhsc Property And Facilities Management

LSUHSC Facilities Biweekly Updates: 2010

LSUHSC Facilities Biweekly Updates from November 5 and 19, 2010.

These updates describe damage and a timeline of repairs at the LSU Health Sciences Center - New Orleans campus due to Hurricane Katrina which made landfall August 29, 2005.

The Mathematics Of Animal Behavior: An Interdisciplinary Dialogue, Shandelle M. Henson, James L. Hayward

Faculty Publications

No abstract provided.

Upper Cretaceous Peay Bentonites (North-Central Wyoming): Provenance And Tectonics Interpretation From Ash Composition, Nazrul I. Khandaker, Carl F. Vondra, Karl E. Seifert, Malek Shami, Rochelle Cardinale, Thakur Chaturgan

Publications and Research

The Peay bentonites belong to the basal Frontier Formation (Bighorn Basin, north-central Wyoming), primarily outcrop in the Bighorn Basin, rest on an extensively bioturbated sandstone unit, the Peay Sandstone, and are generally the thinner bentonitic unit. Beds of very light gray to greenish gray bentonite are also abundant in the lower Frontier units between Kaycee and Mayoworth (Powder River Basin) and are very rarely as much as 3 m thick. Bentonite occurs within the interstratified shale, sandstone, and siltstone sequences of the lower Frontier unit throughout much of the southwestern Powder River Basin. The purpose of this study is to …

Data For Lexicography; The Central Role Of The Corpus, Allan F. Lauder

Wacana, Journal of the Humanities of Indonesia

This paper looks at the nature of data for lexicography and in particular on the central role that electronic corpora can play in providing it. Data has traditionally come from existing dictionaries, citations, and from the lexicographer's own knowledge of words, through introspection. Each of these is examined and evaluated. Then the electronic corpus is considered. Different kinds of corpora are described and key design criteria are explained, in particular the size of corpus needed for lexicography as well as the issue of representativeness and sampling. The advantages and disadvantages of corpora are weighed and compared against the other types …

Parsifal., Rev. Adolf Roeder

The Open Court

No abstract provided.

The Bible In Danger? An Appreciation And Criticism., Rev. Gabriel Oussani

The Open Court

No abstract provided.

Gains In Power From Structured Two-Sample Tests Of Means On Graphs, Laurent Jacob, Pierre Neuvial, Sandrine Dudoit

U.C. Berkeley Division of Biostatistics Working Paper Series

We consider multivariate two-sample tests of means, where the location shift between the two populations is expected to be related to a known graph structure. An important application of such tests is the detection of differentially expressed genes between two patient populations, as shifts in expression levels are expected to be coherent with the structure of graphs reflecting gene properties such as biological process, molecular function, regulation, or metabolism. For a fixed graph of interest, we demonstrate that accounting for graph structure can yield more powerful tests under the assumption of smooth distribution shift on the graph. We also investigate …

A Critical Analysis Of Payload Anomaly-Based Intrusion Detection Systems, Anthony F. Mercurio

Regis University Student Publications (comprehensive collection)

Examining payload content is an important aspect of network security, particularly in today's volatile computing environment. An Intrusion Detection System (IDS) that simply analyzes packet header information cannot adequately secure a network from malicious attacks. The alternative is to perform deep-packet analysis using n-gram language parsing and neural network technology. Self Organizing Map (SOM), PAYL over Self-Organizing Maps for Intrusion Detection (POSEIDON), Anomalous Payload-based Network Intrusion Detection (PAYL), and Anagram are next-generation unsupervised payload anomaly-based IDSs. This study examines the efficacy of each system using the design-science research methodology. A collection of quantitative data and qualitative features exposes their strengths …

2010 Warbonnet Ranch Botanical Survey, Robert F. Steinauer

Nebraska Game and Parks Commission: White Papers, Conference Presentations, and Manuscripts

The Nebraska Natural Legacy Project (Schneider et al, 2005), a statewide comprehensive wildlife conservation strategy developed by the Nebraska Game and Parks Commission (NGPC), identified the Pine Ridge and Oglala Grasslands of northwestern Nebraska as “Biologically Unique Landscapes” (BULs). Native plant community and rare plant surveys were conducted on the approximately 8,000-acre privately-owned Warbonnet Ranch. The Ranch occurs within both of the above mentioned BULs and is topographically and geologically diverse. The primary goal of this survey was to document the botanical resources of a well-managed, privately-owned, western Nebraska range and determine its potential for conservation of Nebraska’s biological diversity. …

An Attempt To Get And Keep Women Involved In Physics, Jim Crumley, Kristen Nairn, Lynn Ziegler

MapCores Faculty Publications

In this talk I will briefly review some of the obstacles to the full participation of women in the STEM disciplines. In order to increase the number of women in physics, computer science, and mathematics we have started a cohort-based program with curricular and scholarship components for women in these majors. I will present the results of our program so far and offer some advice based on our experiences.

Entanglement-Assisted Quantum Low-Density Parity-Check Codes, Yuichiro Fujiwara, David C. Clark, Peter Vandendriessche, Maarten De Boeck, Vladimir Tonchev

Department of Mathematical Sciences Publications

This article develops a general method for constructing entanglement-assisted quantum low-density parity-check (LDPC) codes, which is based on combinatorial design theory. Explicit constructions are given for entanglement-assisted quantum error-correcting codes with many desirable properties. These properties include the requirement of only one initial entanglement bit, high error-correction performance, high rates, and low decoding complexity. The proposed method produces several infinite families of codes with a wide variety of parameters and entanglement requirements. Our framework encompasses the previously known entanglement-assisted quantum LDPC codes having the best error-correction performance and many other codes with better block error rates in simulations over the …

Volume 46 - Issue 07 - Friday, October 29, 2010, Rose Thorn Staff

The Rose Thorn Archive

The Rose Thorn, Rose-Hulman's independent student newspaper.

Three-Dimensional Stereoscopic Exploration System For The Heart, Thomas Wischgoll

Computer Science and Engineering Faculty Publications

No abstract provided.

Bridging The Gap Between The Industrial Environment And The Classroom Via Project-Based Learning, Michael W. Martin

Presentation

Recent engineering education research has concluded that most engineering curricula do not promote attainment of many characteristics desired in practicing engineers. Methods to attain these characteristics include both project-based learning (PBL) and simulation of workplace situations in the educational environment. The presenter will outline the use of both PBL and workplace simulation through the implementation of a semester-long project in a senior-level Data Acquisition course taught out of the Department of Engineering Technology at Northern Michigan University. A typical undergraduate experimental analysis or data acquisition course will review topics including; sensoring, hardware requirements, testing techniques, computer integration, software use, and …

The Bison, October 29, 2010

The Bison Newspapers

No abstract provided.

Faculty Senate Meeting Minutes Oct 29, 2010, A-State Faculty Senate

Faculty Senate Minutes

No abstract provided.

Allocating Homeland Security Screening Resources Using Knapsack Problem Models, Rebecca Dreiding

Theses and Dissertations

Since the events of September 11, 2001, the federal government is focused on homeland security and the fight against terrorism. This thesis addresses the idea of terrorist groups smuggling nuclear weapons through the borders of the United States. Security screening decisions are analyzed within maritime and aviation domains using discrete optimization models, specifically knapsack problems. The focus of the maritime chapters involves a risk-based approach for prescreening intelligence classifications for primary and secondary screening decisions given limited budget and resources. Results reveal that screening decisions are dependent on prescreening classification and the efficacy of the screening technologies. The screening decisions …

Twisted Lattice Supersymmetry And Applications To Ads/Cft, Simon Catterall

Physics - All Scholarship

Review recent approaches to constructing supersymmetric lattice theories focusing in particular on the concept of topological twisting. The latter technique is shown to expose a nilpotent, scalar supersymmetry which can be implemented exactly in the lattice theory. Using these ideas a lattice action for \cN=4 super Yang-Mills in four dimensions can be written down which is gauge invariant, free of fermion doublers and respects one out of a total of 16 continuum supersymmetries. It is shown how these exact symmetries together with the large point group symmetry of the lattice strongly constrain the possible counterterms needed to renormalize the theory …