Digital Commons Network^™

On The Relation Of Constraint Answer Set Programming Languages And Algorithms, Yuliya Lierler

Computer Science Faculty Proceedings & Presentations

Recently a logic programming language AC was proposed by Mellarkod et al. (2008) to integrate answer set programming (ASP) and constraint logic programming. Similarly, Gebser et al. (2009) proposed a CLINGCON language integrating ASP and finite domain constraints. These languages allow new efficient inference algorithms that combine traditional ASP procedures and other methods in constraint programming. In this paper we show that a transition system introduced by Nieuwenhuis et al. (2006) to model SAT solvers can be extended to model the “hybrid” ACSOLVER algorithm by Mellarkod et al. developed for simple AC programs and the CLINGCON algorithm by Gebser et …

Surviving Solver Sensitivity: An Asp Practitioner’S Guide, Bryan Silverthorn, Yuliya Lierler, Marius Schneider

Computer Science Faculty Proceedings & Presentations

Answer set programming (ASP) is a declarative programming formalism that allows a practitioner to specify a problem without describing an algorithm for solving it. In ASP, the tools for processing problem specifications are called answer set solvers. Because specified problems are often NP complete, these systems often require significant computational effort to succeed. Furthermore, they offer different heuristics, expose numerous parameters, and their running time is sensitive to the configuration used. Portfolio solvers and automatic algorithm configuration systems are recent attempts to automate the problem of manual parameter tuning, and to mitigate the burden of identifying the right solver configuration. …

Testing An Instrument Using Structured Interviews To Assess Experienced Teachers’ Tpack, Judith B. Harris, Neal Grandgenett, Mark Hofer

Teacher Education Faculty Proceedings & Presentations

In 2010, the authors developed, tested, and released a reliable and valid instrument that can be used to assess the quality of inexperienced teachers’ TPACK by examining their detailed written lesson plans. In the current study, the same instrument was tested to see if it could be used to assess the TPACK evident in experienced teachers’ planning in the form of spoken responses to semi-structured interview questions. Interrater reliability was computed using both Intraclass Correlation (.870) and a score agreement (93.6%) procedure. Internal consistency (using Cronbach’s Alpha) was .895. Test-retest reliability (score agreement) was 100%. Taken together, these results demonstrate …

The Development Of Parallel Adaptive Sampling Algorithms For Analyzing Biological Networks, Kathryn Dempsey Cooper, Kanimathi Duraisamy, Sanjukta Bhowmick, Hesham Ali

Interdisciplinary Informatics Faculty Proceedings & Presentations

The availability of biological data in massive scales continues to represent unlimited opportunities as well as great challenges in bioinformatics research. Developing innovative data mining techniques and efficient parallel computational methods to implement them will be crucial in extracting useful knowledge from this raw unprocessed data, such as in discovering significant cellular subsystems from gene correlation networks. In this paper, we present a scalable combinatorial sampling technique, based on identifying maximum chordal subgraphs, that reduces noise from biological correlation networks, thereby making it possible to find biologically relevant clusters from the filtered network. We show how selecting the appropriate filter …

A Novel Multithreaded Algorithm For Extracting Maximal Chordal Subgraphs, Mahantesh Halappanavar, John Feo, Kathryn Dempsey Cooper, Hesham Ali, Sanjukta Bhowmick

Interdisciplinary Informatics Faculty Proceedings & Presentations

Chordal graphs are triangulated graphs where any cycle larger than three is bisected by a chord. Many combinatorial optimization problems such as computing the size of the maximum clique and the chromatic number are NP-hard on general graphs but have polynomial time solutions on chordal graphs. In this paper, we present a novel multithreaded algorithm to extract a maximal chordal sub graph from a general graph. We develop an iterative approach where each thread can asynchronously update a subset of edges that are dynamically assigned to it per iteration and implement our algorithm on two different multithreaded architectures - Cray …

Calm Before The Storm: The Challenges Of Cloud Computing In Digital Forensics, George Grispos, Tim Storer, William Bradley Glisson

Interdisciplinary Informatics Faculty Publications

Cloud computing is a rapidly evolving information technology (IT) phenomenon. Rather than procure, deploy and manage a physical IT infrastructure to host their software applications, organizations are increasingly deploying their infrastructure into remote, virtualized environments, often hosted and managed by third parties. This development has significant implications for digital forensic investigators, equipment vendors, law enforcement, as well as corporate compliance and audit departments (among others). Much of digital forensic practice assumes careful control and management of IT assets (particularly data storage) during the conduct of an investigation. This paper summarises the key aspects of cloud computing and analyses how established …

Completions 2012-13, Uno Office Of Institutional Effectiveness

IPEDS Completions

IPEDS Completions annual report contains the following information:

• Number of awards conferred by program, by level, and by race/ethnicity and gender of recipient
• Number of completers, separately by race/ethnicity, gender, age and level of award

Fall Enrollment (2012-13), Uno Office Of Institutional Effectiveness

IPEDS Fall Enrollment

IPEDS Fall Enrollment annual report contains the following information:

• Full- and part-time fall enrollments by level, by race/ethnicity and gender of student
• Number of students engaged in distance education, by level and location
• Age distributions by student level (odd-numbered years)
• State of residence of first-time first-year students (even-numbered years)
• Total number of students in the entering class
• Fall-to-fall retention rates of full-time and part-time, first-time degree/certificate-seeking undergraduate students (less than 4-year institutions), and first-time bachelor’s degree-seeking students (4-year institutions)

Can Information And Communication Technologies Lead To Community Capital? An Analysis Of Development, Dave Kocsis, Sajda Qureshi, Jie Xiong

Information Systems and Quantitative Analysis Faculty Proceedings & Presentations

While it is widely accepted that the increasing interconnectedness of the world economy has been fueled by the innovative uses of Information and Communication Technologies (ICTs), little attention has been paid to the increasing inequalities within developed and developing countries. These inequalities manifest themselves in the form of communities in which incomes are considerably below the rest of the country and there is a rise in poverty. This paper investigates this trend by taking a community capital perspective to investigate how ICTs may or may not enable businesses to grow. As micro-enterprises are seen to contribute to the growth of …

Public Participation In Scientific Research: A Framework For Deliberate Design, Jennifer L. Shirk, Heidi L. Ballard, Candie C. Wilderman, Tina Phillips, Andrea Wiggins, Rebecca Jordan, Ellen Mccallie, Matthew Minarchek, Bruce V. Lewenstein, Marianne E. Krasny, Rick Bonney

Information Systems and Quantitative Analysis Faculty Publications

Members of the public participate in scientific research in many different contexts, stemming from traditions as varied as participatory action research and citizen science. Particularly in conservation and natural resource management contexts, where research often addresses complex social–ecological questions, the emphasis on and nature of this participation can significantly affect both the way that projects are designed and the outcomes that projects achieve. We review and integrate recent work in these and other fields, which has converged such that we propose the term public participation in scientific research (PPSR) to discuss initiatives from diverse fields and traditions. We describe three …

Team Science: Research 2012, University Office For Research, South Dakota State University

State of Discovery South Dakota State University's Research Magazine

CONTENTS:

Wheat [Page] 2
Nutrition [Page] 4
Health Sciences [Page] 5
Mathematics and Statistics [Page] 6
Biofuels [Page] 8
Photovoltaics [Page] 10
Mountain Lions [Page] 12
GISc Center of Excellence [Page] 14
By the Numbers [Page] 16

The Journal Of Undergraduate Research: Volume 10

The Journal of Undergraduate Research

This is the complete issue of the South Dakota State University Journal of Undergraduate Research, Volume 10.

Establishment Of Photo-Activated Localization Microscopy (Palm) For Imaging Signaling Complexes On The Surfaces Of Cells, Bradley E. Iverson

The Journal of Undergraduate Research

Photoactivated Localization Microscopy (PALM) permits visualization of single molecules inside cells at ~10 times the resolution of existing optical microscopes. The 10-50 nanometer resolution afforded by PALM is ideally suited to studying the organization of receptor signal transduction occurring on the surfaces of cells. Initial efforts presented here focused on cells expressing Fc receptor fused to photoactivatable green fluorescent protein (paGFP). A small fraction of the paGFP molecules were photoactivated using a 405 nm laser pulse, resulting in single molecule spots that could then be imaged using 488 nm laser excitation until they photobleached. Both lasers illuminated the sample through …

Very Early Ultraviolet And Optical Observations Of The Type Ia Supernova 2009ig, Ryan J. Foley, P. J. Challis, A. V. Filippenko, M. Ganeshalingam, W. Landsman, W. Li, G. H. Marion, J. M. Silverman, R. L. Beaton, V. N. Bennert, S. B. Cenko, M. Childress, P. Guhathakurta, L. Jiang, J. S. Kalirai, R. P. Kirshner, A. Stockton, E. J. Tollerud, J. Vinkó, J. C. Wheeler, J.-H. Woo

Physics

Supernova (SN) 2009ig was discovered 17 hr after explosion by the Lick Observatory Supernova Search, promptly classified as a normal Type Ia SN (SN Ia), peaked at V = 13.5 mag, and was equatorial, making it one of the foremost SNe for intensive study in the last decade. Here, we present ultraviolet (UV) and optical observations of SN 2009ig, starting about 1 day after explosion until around maximum brightness. Our data include excellent UV and optical light curves, 25 premaximum optical spectra, and 8 UV spectra, including the earliest UV spectrum ever obtained of an SN Ia. SN 2009ig is …

Selected Studies Of Celestial Dynamics And Habitability Of Extra Solar Planetary Systems, Billy Lee Quarles

Physics Dissertations - Archive

Planetary science in various forms has become interwoven into human culture during all of known human history. The need and desire to expand our horizons has brought humans from basic forms of observation to the development of space satellites that have (in)directly observed other worlds. A major feat of this enterprise during the last half century has been the develop of numerical tools and theories to determine the orbital stability of multiple objects orbiting a central body. Two special cases of the gravitational N body problem (N = 3,4) have been investigated along with the development of a stability criterion …

Silicon Carbide At Nanoscale: Finite Single-Walled To "Infinite" Multi-Walled Tubes, Kapil Adhikari

Physics Dissertations - Archive

A systematic ab initio study of silicon carbide (SiC) nanostructures, especially finite single-walled, infinite double- and multi-walled nanotubes and nanocones is presented. Electronic and structural properties of all these nanostructures have been calculated using hybrid density functionals (B3LYP and PBE0) as implemented in the GAUSSIAN 03/09 suite of software. The unusual dependence of band gap of silicon carbide nanotubes (SiCNT) has been explained as a direct consequence of curvature effect on the ionicity of the bonds. The study of fullerene hemisphere capped, finite SiC nanotubes indicates that the carbon-capped SiC nanotubes are energetically more preferred than silicon-capped finite or hydrogen …

High Order Les For Supersonic Ramp Flow Control With Mvg, Yonghua Yan

Mathematics Dissertations - Archive

An implicitly implemented large eddy simulation by using the fifth order bandwidth-optimized WENO scheme is applied to make comprehensive studies on ramp flows with and without control at Mach 2.5 and Re=5760. Flow control in the form of microramp vortex generators (MVG) is applied. The results show that MVG can distinctly reduce the separation zone at the ramp corner and lower the boundary layer shape factor under the condition of the computation. A series of new findings are obtained about the MVG-ramp flow including the three-dimensional vortex structure generated by MVG. The mechanism about the formation vortex ring structure and …

Effects Of Vector Migration On Sylvatic Trypanosoma Cruzi Transmission, Britnee A. Crawford

Mathematics Dissertations - Archive

Vector-borne diseases have had a major impact on global health concerns since their discovery in the 1800's. A vector-borne disease is one transmitted to human or animal host via an invertebrate vector (usually an insect). Chagas' disease, caused by the parasite Trypanosoma cruzi, is transmitted via insect vectors from the Triatoma family. Although human infection with Chagas' is of importance, the disease is maintained in sylvatic (in the wild) transmission cycles. This study examines the effects of vector migration on the spread of T. cruzi in certain sylvatic cycles in the southeastern U.S. and Mexico from several angles. First, a …

Anticancer Activity And Biophysical Reactivity Of Copper Complexes Of 2-(Benzo[D][1,3]Dioxol-5-Ylmethylene)-N-Alkylhydrazinecarbothioamides, Floyd A. Beckford, Jeffrey Thessing, Alyssa Stott, Alvin A. Holder, Oleg G. Poluektov, Liya Li, Navindra P. Seeram

Faculty Publications

A series of copper complexes were synthesized from benzo[d][1,3]dioxole-5-carbaldehyde (piperonal) thiosemicarbazones (RHpTSC where R = H, CH3, C2H5 or C6H5 (Ph)). The complexes show interesting variations in geometry depending on the thiosemicarbazone; a dinuclear complex [Cu(HpTSC)Cl]2, a mononuclear complex [Cu(RHpTSC)2Cl2] (R = CH3 or C2H5) and another mononuclear complex [Cu(PhHpTSC)(PhpTSC)Cl] was generated. The complexes bind in a moderately strong fashion to DNA with binding constants on the order of 10⁴ M^{− 1}. They are also strong binders of human serum albumin with binding constants near 10⁴ M^{− 1}. The complexes show good in vitro …

Report And Reflections From Year One Of The Nsf Gk- 12 Program At Usm, Sherry S. Herron, J. Hanna, K. Wingo

Faculty Publications

No abstract provided.

Quantifying Cell-To-Cell Variations In Lithium Ion Batteries, Shriram Santhanagopalan, Ralph E. White

Faculty Publications

Lithium ion batteries have conventionally been manufactured in small capacities but large volumes for consumer electronics applications. More recently, the industry has seen a surge in the individual cell capacities, as well as the number of cells used to build modules and packs. Reducing cell-to-cell and lot-to-lot variations has been identified as one of the major means to reduce the rejection rate when building the packs as well as to improve pack durability. The tight quality control measures have been passed on from the pack manufactures to the companies building the individual cells and in turn to the components. This …

Coming Out Of The Dungeon: Mathematics And Role-Playing Games, Kris H. Green

Mathematical and Computing Sciences Faculty/Staff Publications

After hiding it for many years, I have a confession to make.

Throughout middle school and high school my friends and I would gather almost every weekend, spending hours using numbers, probability, and optimization to build models that we could use to simulate almost anything.

That’s right. My big secret is simple. I was a high school mathematical modeler.

Of course, our weekend mathematical models didn’t bear any direct relationship to the models we explored in our mathematics and science classes. You would probably not even recognize our regular gatherings as mathematical exercises. If you looked into the room, you’d …

Science, C. Mackenzie Brown

Religion Faculty Research

No abstract provided.

A Detailed Record Of Shallow Hydrothermal Fluid Flow In The Sierra Nevada Magmatic Arc From Low-Δ18o Skarn Garnets, M. E. D'Errico, J. S. Lackey, Benjamin E. Surpless, S. L. Loewy, J. L. Wooden, J. D. Barnes, A. Strickland, J. W. Valley

Earth and Environmental Geosciences Faculty Research

Garnet from skarns exposed at Empire Mountain, Sierra Nevada (California, United States) batholith, have variable δ¹⁸O values including the lowest known δ¹⁸O values of skarn garnet (–4.0‰) in North America. Such values indicate that surface-derived meteoric water was a significant component of the fluid budget of the skarn-forming hydrothermal system, which developed in response to shallow emplacement (∼3.3 km) of the 109 Ma quartz diorite of Empire Mountain. Values of δ¹⁸O, measured in situ across single garnet crystals by secondary ion mass spectrometry, vary considerably (up to 7‰) and sometimes abruptly, indicating variable mixing …

Holocene Earthquakes And Late Pleistocene Slip Rate Estimates On The Wassuk Range Fault Zone, Nevada, Usa, J. M. Bormann, Benjamin E. Surpless, M. W. Caffee, S. G. Wesnousky

Earth and Environmental Geosciences Faculty Research

The Wassuk Range fault zone is an 80‐km‐long, east‐dipping, high‐angle normal fault that flanks the eastern margin of the Wassuk Range in central Nevada. Observations from two alluvial fan systems truncated by the fault yield information on the vertical slip rate and Holocene earthquake history along the range front. At the apex of the Rose Creek alluvial fan, radiocarbon dating of offset stratigraphy exposed in two fault trenches shows that multiple earthquakes resulted in 7.0 m of vertical offset along the fault since ∼9400 cal B.P. These data yield a Holocene vertical slip rate of 0.7±0.1  mm/yr. The south trench …

A New Simulation-Based Conflict Indicator As A Surrogate Measure Of Safety, Chen Wang

Theses and Dissertations--Civil Engineering

Traffic safety is one of the most essential aspects of transportation engineering. However, most crash prediction models are statistically-based prediction methods, which require significant efforts in crash data collection and may not be applied in particular traffic environments due to the limitation of data sources. Traditional traffic conflict studies are mostly field-based studies depending on manual counting, which is also labor-intensive and oftentimes inaccurate. Nowadays, simulation tools are widely utilized in traffic conflict studies. However, there is not a surrogate indicator that is widely accepted in conflict studies.

The primary objective of this research is to develop such a reliable …

Noninvasive Assessment And Modeling Of Diabetic Cardiovascular Autonomic Neuropathy, Siqi Wang

Theses and Dissertations--Biomedical Engineering

Noninvasive assessment of diabetic cardiovascular autonomic neuropathy (AN): Cardiac and vascular dysfunctions resulting from AN are complications of diabetes, often undiagnosed. Our objectives were to: 1) determine sympathetic and parasympathetic components of compromised blood pressure regulation in patients with polyneuropathy, and 2) rank noninvasive indexes for their sensitivity in diagnosing AN. Continuous 12-lead electrocardiography (ECG), blood pressure (BP), respiration, regional blood flow and bio-impedance were recorded from 12 able-bodied subjects (AB), 7 diabetics without (D0), 7 with possible (D1) and 8 with definite polyneuropathy (D2), during 10 minutes supine control, 30 minutes 70-degree head-up tilt and 5 minutes supine recovery. …

Minimality And Duality Of Tail-Biting Trellises For Linear Codes, Elizabeth A. Weaver

Theses and Dissertations--Mathematics

Codes can be represented by edge-labeled directed graphs called trellises, which are used in decoding with the Viterbi algorithm. We will first examine the well-known product construction for trellises and present an algorithm for recovering the factors of a given trellis. To maximize efficiency, trellises that are minimal in a certain sense are desired. It was shown by Koetter and Vardy that one can produce all minimal tail-biting trellises for a code by looking at a special set of generators for a code. These generators along with a set of spans comprise what is called a characteristic pair, and we …

Hilbert Polynomials And Strongly Stable Ideals, Dennis Moore

Theses and Dissertations--Mathematics

Strongly stable ideals are important in algebraic geometry, commutative algebra, and combinatorics. Prompted, for example, by combinatorial approaches for studying Hilbert schemes and the existence of maximal total Betti numbers among saturated ideals with a given Hilbert polynomial, three algorithms are presented. Each of these algorithms produces all strongly stable ideals with some prescribed property: the saturated strongly stable ideals with a given Hilbert polynomial, the almost lexsegment ideals with a given Hilbert polynomial, and the saturated strongly stable ideals with a given Hilbert function. Bounds for the complexity of our algorithms are included. Also included are some applications for …

Analytic And Topological Combinatorics Of Partition Posets And Permutations, Jiyoon Jung

Theses and Dissertations--Mathematics

In this dissertation we first study partition posets and their topology. For each composition c we show that the order complex of the poset of pointed set partitions is a wedge of spheres of the same dimension with the multiplicity given by the number of permutations with descent composition c. Furthermore, the action of the symmetric group on the top homology is isomorphic to the Specht module of a border strip associated to the composition. We also study the filter of pointed set partitions generated by knapsack integer partitions. In the second half of this dissertation we study descent …