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 138421 - 138450 of 303829

Full-Text Articles in Physical Sciences and Mathematics

Chemical Investigations Of Diabetes Mellitus, Malaria, And Castrate-Resistant Prostate Cancer, Maggie Sparks Lookadoo Dec 2015

Chemical Investigations Of Diabetes Mellitus, Malaria, And Castrate-Resistant Prostate Cancer, Maggie Sparks Lookadoo

Masters Theses

This work studies a variety of molecules and the systems they are involved in to further understand disease and treatment of diabetes mellitus, malaria, and castrate resistant prostate cancer. The first system studied, diabetes mellitus, involves synthesis of 5 different steroidal compounds, while the other two systems, malaria and castrate-resistant prostate cancer, apply mass spectrometric-based untargeted metabolomics to study both known metabolites and unknown spectral features.

Diabetes mellitus is a result of the dysfunction and death of islet beta cells caused by the transcription of pro-inflammatory cytokines resulting in reduced insulin secretion and uncontrollable blood glucose levels. Glucocorticoids can reduce …


Experimental Limestone Dissolution And Changes In Multiscale Structure Using Small- And Ultra Small- Angle Neutron Scattering, Chad Alan Novack Dec 2015

Experimental Limestone Dissolution And Changes In Multiscale Structure Using Small- And Ultra Small- Angle Neutron Scattering, Chad Alan Novack

Masters Theses

Small angle neutron scattering (SANS), ultra-small angle neutron scattering (USANS), and backscatter electron (BSE) imaging, along with neutron computed tomography (NCT) were used in this study to experimentally quantify pore size, distribution, and connectivity of dissolved limestone geometries. Eight samples of Indiana limestone of two different initial permeabilities (2-4 mD and 70 mD ) [millidarcy] were reacted with HCl [hydrochloric acid] solutions at differing pH (2 and 4), and flow rates (0.1 and 10 cm3/min) [cubic centimeters per minute] to describe a broad range of parameters that affect limestone dissolution. NCT was first used to image the dissolution …


Testing For The Effects Of Sediment Sorting On Detrital-Zircon Age Spectra By Sampling Multiple Bedforms In Single Fluvial Channels: Case Studies From The Wood Canyon Formation (Terreneuvian) And Stirling Quartzite (Ediacaran), Southeastern Ca, Jason Gerhard Muhlbauer Dec 2015

Testing For The Effects Of Sediment Sorting On Detrital-Zircon Age Spectra By Sampling Multiple Bedforms In Single Fluvial Channels: Case Studies From The Wood Canyon Formation (Terreneuvian) And Stirling Quartzite (Ediacaran), Southeastern Ca, Jason Gerhard Muhlbauer

Masters Theses

Multiple bedforms were sampled from single fluvial channels in the Neoproterozoic (Ediacaran) upper member of the Stirling Quartzite and the Cambrian (Terreneuvian) middle member of the Wood Canyon Formation, southeastern California. Sampling strategy was designed to determine if sorting of detrital zircon populations by their textural properties can affect detrital-zircon age spectra in fluvial sandstones. Four samples derive from the middle member Wood Canyon Formation and two samples come from the upper member Stirling Quartzite. Sandstone samples vary in textural characteristics: grain sizes sampled range from fine to coarse sand, sorting ranges from moderately well to poorly sorted, and sampled …


Long-Term Impacts Of Conservation Management Practices On Soil Carbon Storage, Stability, And Utilization Under Cotton Production In West Tennessee, Candace Brooke Wilson Dec 2015

Long-Term Impacts Of Conservation Management Practices On Soil Carbon Storage, Stability, And Utilization Under Cotton Production In West Tennessee, Candace Brooke Wilson

Masters Theses

Biogeochemical cycling of soil carbon (C) is heavily influenced by conservation agricultural (CA) practices. This study examined SOC stability under three CA practices: reduced nitrogen (N) fertilizer application rate, cover cropping, and zero-tillage implemented for 31 years. Respiration rates measured from a 602-day incubation period were fitted to a double-pool first order exponential model of SOC decomposition. The active [respired] SOC pool showed distinct differences between applications of reduced (34N kg ha-1 [-1]) and high fertilization rates (101N kg ha-1) combined with tillage, and suggest that high fertilizer applications with conventional tillage allocated more C into a …


Strontium Monoxide Measurements In Methane-Air Flames, Bobby J. Wimberly Dec 2015

Strontium Monoxide Measurements In Methane-Air Flames, Bobby J. Wimberly

Masters Theses

The spectroscopy of alkaline earth metal compounds has been an area of active research for several decades. This is at least in part stimulated by the application of these compounds to practical areas ranging from technology to medicine. The use of these compounds in the field of pyrotechnics was the motivation for a series of flame emission spectroscopy (FES) experiments with strontium containing compounds. Specifically, strontium monoxide (SrO) is studied as a candidate radiator for the diagnostic of methane-air flames.

SrO emissions have been observed in flames with temperatures in the range of 1200-1600-K for two compounds: strontium hydroxide and …


Late Tertiary Tectonic Uplift In The Southern And Central Appalachians, Mary Sheela Biswal Dec 2015

Late Tertiary Tectonic Uplift In The Southern And Central Appalachians, Mary Sheela Biswal

Masters Theses

The exposed Appalachian Mountains extend about 2500 km from Newfoundland to Alabama with the highest peaks >2000 m above sea level. The last orogeny that affected Appalachian crust was the 325-260 Ma Alleghanian. Even with minimal erosion rates, it is highly unlikely that the Appalachians could have sustained such elevations for over 200 m.y., suggesting that recent tectonic uplift has produced today’s mountainous topography. The multiple phases of Tertiary uplift are related to poorly understood processes, but a large amount of data from today’s mountain chain and the adjacent Coastal Plain indicate the present high topography is anomalous and clearly …


Rapid Dissolution For Destructive Assay Of Nuclear Melt Glass, Jonathan Allen Gill Dec 2015

Rapid Dissolution For Destructive Assay Of Nuclear Melt Glass, Jonathan Allen Gill

Masters Theses

This study evaluates four methods for dissolving complex glassy debris resulting from nuclear detonations. The samples of interest simulate the glassy debris generated from a nuclear detonation’s fireball coming in contact with solid masses. Each method attempts to achieve dissolution through different approaches involving either acid digestion, alkaline digestion, or molten salt fusion. Two of the four methods were modified to retain all elements of the debris or surrogate debris. This retention is critical to the proportional relationships used in identifying fuel types and designs of nuclear weapons. Analysis is conducted with an inductively coupled time of flight mass spectrometer …


Siloxane And Silane-Functionalized Polynorbornenes As Membranes For Passive Carbon Dioxide Separation, Eunice Koheun Hong Dec 2015

Siloxane And Silane-Functionalized Polynorbornenes As Membranes For Passive Carbon Dioxide Separation, Eunice Koheun Hong

Masters Theses

In 2012, carbon dioxide (CO2) [carbon dioxide] accounted for approximately 82% [percent] of all U.S greenhouse gas emissions.1 These excessive CO2 levels have been attributed to climate changes that have a range of negative effects on human health and welfare.1 In an effort to decrease these emissions, polymeric membranes consisting of silane- and siloxane-functionalized norbornene units have been targeted as a potential solution for the passive separation of CO2 from other non-greenhouse gases. These substituted norbornene-based polymers were synthesized via vinyl-addition polymerization. Through a series of catalyst trials, commercially available palladium and nickel catalysts were compared along …


Preparation And Characterization Of Thermodynamically Controlled Polymer Nanocomposites, Jiadi Hou Dec 2015

Preparation And Characterization Of Thermodynamically Controlled Polymer Nanocomposites, Jiadi Hou

Masters Theses

The mechanical and physical properties of polymeric materials can be greatly improved by adding nanoscale additives. To mediate the dispersion of nanoparticles in polymers, it is often necessary to modify their surfaces to prevent aggregation. While polymer nanocomposites system consisting of homopolymer-grafted nanoparticles are well understood, copolymer-functionalized nanoparticles are less well understood but provide additional ways to alter dispersion through the use of chemically different comonomers. In this thesis, polystyrene nanocomposites blended with copolymer-grafted nanoparticles were prepared and studied. The particular comonomers used were methyl methacrylate and cyclohexyl methacrylate, which provides miscibility with polystyrene. Polymers with varying comonomer ratios were …


Border-Collision Bifurcations Of Cardiac Calcium Cycling, Jacob Michael Kahle Dec 2015

Border-Collision Bifurcations Of Cardiac Calcium Cycling, Jacob Michael Kahle

Masters Theses

In this thesis, we study the nonlinear dynamics of calcium cycling within a cardiac cell. We develop piecewise smooth mapping models to describe intracellular calcium cycling in cardiac myocyte. Then, border-collision bifurcations that arise in these piecewise maps are investigated. These studies are carried out using both one-dimensional and two-dimensional models. Studies in this work lead to interesting insights on the stability of cardiac dynamics, suggesting possible mechanisms for cardiac alternans. Alternans is the precursor of sudden cardiac arrests, a leading cause of death in the United States.


Installation And Alignment Of The N3he Experiment, Eric Lee Plemons Dec 2015

Installation And Alignment Of The N3he Experiment, Eric Lee Plemons

Masters Theses

The n3He experiment is designed to probe the hadronic weak interaction by measuring the parity violating asymmetry between the spin of incoming neutrons and the momentum of outgoing protons following the nuclear break up of a helium three upon absorbing a neutron. Cold neutrons from the SNS are first polarized then allowed to impact a target chamber filled with helium three where the reaction occurs. Energetic particles resulting from the nuclear breakup ionize the helium three gas and are thereby detected as currents by an array of signal wires within the target chamber. In order to make a statistics limited …


Determination Of Dispersal Patterns And Characterization Of Important Habitats For Lake Sturgeon Restoration In The Upper Tennessee River System, Christina Grace Saidak Dec 2015

Determination Of Dispersal Patterns And Characterization Of Important Habitats For Lake Sturgeon Restoration In The Upper Tennessee River System, Christina Grace Saidak

Masters Theses

Lake Sturgeon, Acipenser fulvescens, are one of the slowest to reach sexual maturity and longest-lived freshwater fish species in North America. These fish are a species of special concern by the U.S. Fish and Wildlife Service, a vulnerable species by the American Fisheries Society (Jelks et al. 2008), and a threatened species in Tennessee (Chiasson et al. 1997; Williams et al. 1989). They have been reintroduced into the Upper Tennessee River system since 2000.

Since December 2013, 49 Lake Sturgeon have been implanted with ultrasonic acoustic transmitters, and 26 fixed-station receivers installed throughout the Upper Tennessee River System to …


Fast Reinforcement Learning Under Uncertainties With Self-Organizing Neural Networks, Teck-Hou Teng, Ah-Hwee Tan Dec 2015

Fast Reinforcement Learning Under Uncertainties With Self-Organizing Neural Networks, Teck-Hou Teng, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Using feedback signals from the environment, a reinforcement learning (RL) system typically discovers action policies that recommend actions effective to the states based on a Q-value function. However, uncertainties over the estimation of the Q-values can delay the convergence of RL. For fast RL convergence by accounting for such uncertainties, this paper proposes several enhancements to the estimation and learning of the Q-value using a self-organizing neural network. Specifically, a temporal difference method known as Q-learning is complemented by a Q-value Polarization procedure, which contrasts the Q-values using feedback signals on the effect of the recommended actions. The polarized Q-values …


Bring-Your-Own-Application (Byoa): Optimal Stochastic Application Migration In Mobile Cloud Computing, Jonathan David Chase, Dusit Niyato, Sivadon Chaisiri Dec 2015

Bring-Your-Own-Application (Byoa): Optimal Stochastic Application Migration In Mobile Cloud Computing, Jonathan David Chase, Dusit Niyato, Sivadon Chaisiri

Research Collection School Of Computing and Information Systems

The increasing popularity of using mobile devices in a work context, has led to the need to be able to support more powerful computation. Users no longer remain in an office or at home to conduct their activities, preferring libraries and cafes. In this paper, we consider a mobile cloud computing scenario in which users bring their own mobile devices and are offered a variety of equipment, e.g., desktop computer, smart- TV, or projector, to migrate their applications to, so as to save battery life, improve usability and performance. We formulate a stochastic optimization problem to optimize the allocation of …


Oriented Object Proposals, Shengfeng He, Rynson W. H. Lau Dec 2015

Oriented Object Proposals, Shengfeng He, Rynson W. H. Lau

Research Collection School Of Computing and Information Systems

In this paper, we propose a new approach to generate oriented object proposals (OOPs) to reduce the detection error caused by various orientations of the object. To this end, we propose to efficiently locate object regions according to pixelwise object probability, rather than measuring the objectness from a set of sampled windows. We formulate the proposal generation problem as a generative probabilistic model such that object proposals of different shapes (i.e., sizes and orientations) can be produced by locating the local maximum likelihoods. The new approach has three main advantages. First, it helps the object detector handle objects of different …


Content-Based Visual Landmark Search Via Multimodal Hypergraph Learning, Lei Zhu, Jialie Shen, Hai Jin, Ran Zheng, Liang Xie Dec 2015

Content-Based Visual Landmark Search Via Multimodal Hypergraph Learning, Lei Zhu, Jialie Shen, Hai Jin, Ran Zheng, Liang Xie

Research Collection School Of Computing and Information Systems

While content-based landmark image search has recently received a lot of attention and became a very active domain, it still remains a challenging problem. Among the various reasons, high diverse visual content is the most significant one. It is common that for the same landmark, images with a wide range of visual appearances can be found from different sources and different landmarks may share very similar sets of images. As a consequence, it is very hard to accurately estimate the similarities between the landmarks purely based on single type of visual feature. Moreover, the relationships between landmark images can be …


Capstone Projects Mining System For Insights And Recommendations, Melvrivk Aik Chun Goh, Swapna Gottipati, Venky Shankararaman Dec 2015

Capstone Projects Mining System For Insights And Recommendations, Melvrivk Aik Chun Goh, Swapna Gottipati, Venky Shankararaman

Research Collection School Of Computing and Information Systems

In this paper, we present a classification based system to discover knowledge and trends in higher education students’ projects. Essentially, the educational capstone projects provide an opportunity for students to apply what they have learned and prepare themselves for industry needs. Therefore mining such projects gives insights of students’ experiences as well as industry project requirements and trends. In particular, we mine capstone projects executed by Information Systems students to discover patterns and insights related to people, organization, domain, industry needs and time. We build a capstone projects mining system (CPMS) based on classification models that leverage text mining, natural …


A Layered Hidden Markov Model For Predicting Human Trajectories In A Multi-Floor Building, Qian Li, Hoong Chuin Lau Dec 2015

A Layered Hidden Markov Model For Predicting Human Trajectories In A Multi-Floor Building, Qian Li, Hoong Chuin Lau

Research Collection School Of Computing and Information Systems

Tracking and modeling huge amount of users’ movement in a multi-floor building by using wireless devices is a challenging task, due to crowd movement complexity and signal sensing accuracy. In this paper, we use Layered Hidden Markov Model (LHMM) to fit the spatial-temporal trajectories (with large number of missing values). We decompose the problem into distinct layers that Hidden Markov Models (HMMs) are operated at different spatial granularities separately. Baum-Welch algorithm and Viterbi algorithm are used for finding the probable location sequences at each layer. By measuring the predicted result of trajectories, we compared the predicted results of both single …


Learning And Controlling Network Diffusion In Dependent Cascade Models, Jiali Du, Pradeep Varakantham, Akshat Kumar, Shih-Fen Cheng Dec 2015

Learning And Controlling Network Diffusion In Dependent Cascade Models, Jiali Du, Pradeep Varakantham, Akshat Kumar, Shih-Fen Cheng

Research Collection School Of Computing and Information Systems

Diffusion processes have increasingly been used to represent flow of ideas, traffic and diseases in networks. Learning and controlling the diffusion dynamics through management actions has been studied extensively in the context of independent cascade models, where diffusion on outgoing edges from a node are independent of each other. Our work, in contrast, addresses (a) learning diffusion taking management actions to alter the diffusion dynamics to achieve a desired outcome in dependent cascade models. A key characteristic of such dependent cascade models is the flow preservation at all nodes in the network. For example, traffic and people flow is preserved …


A Bayesian Recommender Model For User Rating And Review Profiling, Mingming Jiang, Dandan Song, Lejian Liao, Feida Zhu Dec 2015

A Bayesian Recommender Model For User Rating And Review Profiling, Mingming Jiang, Dandan Song, Lejian Liao, Feida Zhu

Research Collection School Of Computing and Information Systems

Intuitively, not only do ratings include abundant information for learning user preferences, but also reviews accompanied by ratings. However, most existing recommender systems take rating scores for granted and discard the wealth of information in accompanying reviews. In this paper, in order to exploit user profiles' information embedded in both ratings and reviews exhaustively, we propose a Bayesian model that links a traditional Collaborative Filtering (CF) technique with a topic model seamlessly. By employing a topic model with the review text and aligning user review topics with "user attitudes" (i.e., abstract rating patterns) over the same distribution, our method achieves …


Superimposed And Auxiliary Dunes Of The Northern Namib Sand Sea: A Ground-Penetrating Radar Study, Clayton K. Chandler Dec 2015

Superimposed And Auxiliary Dunes Of The Northern Namib Sand Sea: A Ground-Penetrating Radar Study, Clayton K. Chandler

Theses and Dissertations

Understanding modern features allows for their use as analogues for understanding the environments of the past and even environments on other planetary bodies. This study uses Ground-Penetrating Radar (GPR) to image the near surface sedimentary structures on a large linear dune in the northern Namib Sand Sea and image the sedimentary structure of an auxiliary dune. GPR data was collected using a 200 MHz antenna with a continuous scan method and was processed by removing direct arrival, gain balancing, migration and more which produced the highest resolution imagery from this region to date. Large dune data was analyzed to determine …


Facilitating Corpus Annotation By Improving Annotation Aggregation, Paul L. Felt Dec 2015

Facilitating Corpus Annotation By Improving Annotation Aggregation, Paul L. Felt

Theses and Dissertations

Annotated text corpora facilitate the linguistic investigation of language as well as the automation of natural language processing (NLP) tasks. NLP tasks include problems such as spam email detection, grammatical analysis, and identifying mentions of people, places, and events in text. However, constructing high quality annotated corpora can be expensive. Cost can be reduced by employing low-cost internet workers in a practice known as crowdsourcing, but the resulting annotations are often inaccurate, decreasing the usefulness of a corpus. This inaccuracy is typically mitigated by collecting multiple redundant judgments and aggregating them (e.g., via majority vote) to produce high quality consensus …


Cooling Before Super-Eruption: No Role For Rejuvenation In The Cottonwood Wash Tuff Magma Body, Southern Great Basin Ignimbrite Province, Utah And Nevada, Keryn Tobler Ross Dec 2015

Cooling Before Super-Eruption: No Role For Rejuvenation In The Cottonwood Wash Tuff Magma Body, Southern Great Basin Ignimbrite Province, Utah And Nevada, Keryn Tobler Ross

Theses and Dissertations

The model of rejuvenation of a near-solidus crystal mush to produce large volumes of crystal-rich magma is tested here by analyzing the mineralogical, chemical, modal, and physical characteristics of the 31.1 Ma super-eruptive (2000 km3) Cottonwood Wash Tuff. It is the oldest in a series of three so-called "monotonous intermediate" ignimbrites from the Indian Peak-Caliente volcanic field in southern Utah and Nevada. A crystal-rich (~50% Pl > Qz ≈ Hbl ≈ Bt > Mag ≈ Ilm > Cpx + Zrn + Ap+ Po) dacite (62 - 69 wt% SiO2), the Cottonwood Wash Tuff is similar in age, volume, mineralogy, crystallinity, and elemental composition …


Hand-Portable Capillary Liquid Chromatography Instrumentation, Sonika Sharma Dec 2015

Hand-Portable Capillary Liquid Chromatography Instrumentation, Sonika Sharma

Theses and Dissertations

This dissertation focuses on the development of hand-portable capillary liquid chromatography (LC) instrumentation. In this work, battery-operable nano-flow pumping systems (isocratic and gradient) were developed and integrated with portable UV-absorption detectors for capillary LC. The systems were reduced in size to acceptable weights and power usage for field operation. A major advantage of the pumps is that they do not employ a splitter, since they were specifically designed for capillary column use, thereby greatly reducing solvent consumption and waste generation. UV-absorption detectors were specifically designed and optimized for on-column detection to minimize extra-column band broadening. Initially, an isocratic nano-flow pumping …


Virtual Humans And Photorealism: The Effect Of Photorealism Of Interactive Virtual Humans In Clinical Virtual Environment On Affective Responses, Himanshu Chaturvedi Dec 2015

Virtual Humans And Photorealism: The Effect Of Photorealism Of Interactive Virtual Humans In Clinical Virtual Environment On Affective Responses, Himanshu Chaturvedi

All Theses

The ability of realistic vs stylized representations of virtual characters to elicit emotions in users has been an open question for researchers and artists alike. We designed and performed a between subjects experiment using a medical virtual reality simulation to study the differences in the emotions aroused in participants while interacting with realistic and stylized virtual characters. The experiment included three conditions each of which presented a different representation of the virtual character namely; photo-realistic, non-photorealistic cartoon-shaded and non-photorealistic charcoal-sketch. The simulation used for the experiment, called the Rapid Response Training System was developed to train nurses to identify symptoms …


Feasibility Study Of Porous Media Compressed Air Energy Storage In South Carolina, United States Of America, Alexandra-Selene Jarvis Dec 2015

Feasibility Study Of Porous Media Compressed Air Energy Storage In South Carolina, United States Of America, Alexandra-Selene Jarvis

All Theses

Renewable Energy Systems (RES) such as solar and wind, are expected to play a progressively significant role in electricity production as the world begins to move away from an almost total reliance on nonrenewable sources of power. In the US there is increasing investment in RES as the Department of Energy (DOE) expands its wind power network to encompass the use of offshore wind resources in places such as the South Carolina (SC) Atlantic Coastal Plain. Because of their unstable nature, RES cannot be used as reliable grid-scale power sources unless power is somehow stored during excess production and recovered …


Multiplier Operator On Framed Hilbert Spaces, Haodong Li Dec 2015

Multiplier Operator On Framed Hilbert Spaces, Haodong Li

All Theses

Very often the operators that we study appear most naturally in highly non-diagonal representation. The main goal of spectral theory is to solve this problem by exhibiting for many operators a natural orthonormal basis with respect to which the operators have diagonal representations. However, this can be done only for certain classes of operators. The most important such class is probably the class of compact operators. The problem is that it is often hard to tell whether an operator is compact looking at its non-diagonal representation. In this thesis, we will study a class of operators for which we can …


Comparative Aquatic Toxicity Of A Commercial Naphthenic Acid And Processes For Mitigating Risks, Ciera Kinley Dec 2015

Comparative Aquatic Toxicity Of A Commercial Naphthenic Acid And Processes For Mitigating Risks, Ciera Kinley

All Theses

Comparative toxicity data can inform predictions of relative risk, and can be used to implement strategies for altering exposures to mitigate risk. Naphthenic acids (NAs) are a complex group of carboxylic acids that naturally occur in petroleum sources and energy-derived process waters (e.g. refinery effluents and oil sands process affected waters). These compounds are relatively persistent in water and can be a source of toxicity to aquatic organisms. In the first experiment of this thesis, responses of sentinel aquatic organisms to 7-d exposures of commercial (Fluka) NAs were measured (in terms of acute toxicity) to discern relative sensitivities. In terms …


What Students Think And How They Really Perform In Chemistry, Ross Hudson Nov 2015

What Students Think And How They Really Perform In Chemistry, Ross Hudson

Dr Ross Hudson

This research was part of a larger study into student performance in senior chemistry with regard to question type and content. This paper examines student perceptions about question type and context and compares these perceptions to actual performance. How students perceive different types of questions and how it influences their self-belief and motivation were the focus of this study. Student responses to different styles or types of questions have been well researched over time. In this study Year 11 chemistry students were quizzed about their preferences to Multiple-Choice questions and Open Response question types and how the presence of each …


Disjunctive Answer Set Solvers Via Templates, Remi Brochenin, Yuliya Lierler, Marco Maratea Nov 2015

Disjunctive Answer Set Solvers Via Templates, Remi Brochenin, Yuliya Lierler, Marco Maratea

Yuliya Lierler

Answer set programming is a declarative programming paradigm oriented towards difficult combinatorial search problems. A fundamental task in answer set programming is to compute stable models, i.e., solutions of logic programs. Answer set solvers are the programs that perform this task. The problem of deciding whether a disjunctive program has a stable model is ΣP2-complete. The high complexity of reasoning within disjunctive logic programming is responsible for few solvers capable of dealing with such programs, namely dlv, gnt, cmodels, clasp and wasp. In this paper, we show that transition systems introduced by Nieuwenhuis, Oliveras, and Tinelli to model and analyze …