Mathematics Commons^™

99mtc-Hexamethylpropyleneamine Oxime Imaging For Early Detection Of Acute Lung Injury In Rats Exposed To Hyperoxia Or Lipopolysaccharide Treatment, Said H. Audi, Anne V. Clough, Steven T. Haworth, Meetha Medhora, Mahsa Ranji, John C. Densmore, Elizabeth R. Jacobs

Biomedical Engineering Faculty Research and Publications

^99mTc-Hexamethylpropyleneamine oxime (HMPAO) is a clinical single-photon emission computed tomography biomarker of tissue oxidoreductive state. Our objective was to investigate whether HMPAO lung uptake can serve as a preclinical marker of lung injury in two well-established rat models of human acute lung injury (ALI).

Rats were exposed to >95% O₂ (hyperoxia) or treated with intratracheal lipopolysaccharide (LPS), with first endpoints obtained 24 h later. HMPAO was administered intravenously before and after treatment with the glutathione-depleting agent diethyl maleate (DEM), scintigraphy images were acquired, and HMPAO lung uptake was quantified from the images. We also measured breathing rates, heart …

Simulation And Optimization Of Ant Colony Optimization Algorithm For The Stochiastic Uncapacitated Location-Allocation Problem, Jean-Paul Arnaout, Georges Arnaout, John El Khoury

Engineering Management & Systems Engineering Faculty Publications

This study proposes a novel methodology towards using ant colony optimization (ACO) with stochastic demand. In particular, an optimizationsimulation-optimization approach is used to solve the Stochastic uncapacitated location-allocation problem with an unknown number of facilities, and an objective of minimizing the fixed and transportation costs. ACO is modeled using discrete event simulation to capture the randomness of customers’ demand, and its objective is to optimize the costs. On the other hand, the simulated ACO’s parameters are also optimized to guarantee superior solutions. This approach’s performance is evaluated by comparing its solutions to the ones obtained using deterministic data. The results …

Grnsight: A Web Application And Service For Visualizing Models Of Small- To Medium-Scale Gene Regulatory Networks, Kam D. Dahlquist, John David N. Dionisio, Ben G. Fitzpatrick, Nicole A. Anguiano, Anindita Varshneya, Britain J. Southwick, Mihir Samdarshi

Biology Faculty Works

GRNsight is a web application and service for visualizing models of gene regulatory networks (GRNs). A gene regulatory network (GRN) consists of genes, transcription factors, and the regulatory connections between them which govern the level of expression of mRNA and protein from genes. The original motivation came from our efforts to perform parameter estimation and forward simulation of the dynamics of a differential equations model of a small GRN with 21 nodes and 31 edges. We wanted a quick and easy way to visualize the weight parameters from the model which represent the direction and magnitude of the influence of …

Using In Situ Liquid Single Photon Ionization Mass Spectrometry (Spi-Ms) To Probe Lithium Polysulfide Electrolyte In Motion, Aala M. Al Hasan, Jiachao Yu, Juan Yao, Vijayakumar Murugesan, Manjula Nandasiri, Xiao-Ying Yu

STAR Program Research Presentations

The solid-liquid (s-l) interface is the most common interface encountered in electrochemical systems. The s-l interface has wide applications in energy storage, catalysis, and material sciences. In situ studies of chemical reactions taking place on the s-l interfaces can further our understanding of electron transfer and link to real-world device functions under challenging conditions. Direct probing of the solid electrode and liquid electrolyte interface has been realized using a vacuum compatible electrochemical microfluidic reactor, system for analysis at the liquid vacuum interface (SALVI) with time-of-flight secondary ion mass spectrometry (ToF-SIMS). Most recently, the electrochemical version of SALVI was integrated to …

Ogden College Of Science & Engineering Newsletter (Summer 2016), Cheryl Stevens, Dean

Ogden College of Science & Engineering Publications

No abstract provided.

Pythagorean Combinations For Lego Robot Building., Ronald I. Greenberg

Computer Science: Faculty Publications and Other Works

This paper provides tips for LEGO robot construction involving bracing or gear meshing along a diagonal using standard Botball kits.

Quantum Random Number Generation Using A Quanta Image Sensor, Emna Amri, Yacine Felk, Damien Stucki, Jiaju Ma, Eric Fossum

Dartmouth Scholarship

A new quantum random number generation method is proposed. The method is based on the randomness of the photon emission process and the single photon counting capability of the Quanta Image Sensor (QIS). It has the potential to generate high-quality random numbers with remarkable data output rate. In this paper, the principle of photon statistics and theory of entropy are discussed. Sample data were collected with QIS jot device, and its randomness quality was analyzed. The randomness assessment method and results are discussed.

Longitudinal Success Of Calculus I Reform, Doug Bullock, Kathrine E. Johnson, Janet Callahan

Mathematics Faculty Publications and Presentations

This paper describes the second year of an ongoing project to transform calculus instruction at Boise State University. Over the past several years, Calculus I has undergone a complete overhaul that has involved a movement from a collection of independent, uncoordinated, personalized, lecture-based sections, into a single coherent multi-section course with an activelearning pedagogical approach. The overhaul also significantly impacted the course content and learning objectives. The project is now in its fifth semester and has reached a steady state where the reformed practices are normative within the subset of instructors who might be called upon to teach Calculus I. …

Injury Severity Data For Front And Second Row Passengers In Frontal Crashes, Theresa Atkinson, Leszek Gawarecki, Massoud S. Tavakoli

Mathematics Publications

The data contained here were obtained from the National Highway Transportation Safety Administration׳s National Automotive Sampling System – Crashworthiness Data System (NASS-CDS) for the years 2008–2014. This publically available data set monitors motor vehicle crashes in the United States, using a stratified random sample frame, resulting in information on approximately 5000 crashes each year that can be utilized to create national estimates for crashes. The NASS-CDS data sets document vehicle, crash, and occupant factors. These data can be utilized to examine public health, law enforcement, roadway planning, and vehicle design issues. The data provided in this brief are a subset …

The Eagle Programming Language, Samuel G. Horlbeck Olsen

Mathematics, Statistics, and Computer Science Honors Projects

C remains the dominant systems programming language despite many new languages attempting to take its place. Modern languages generally value abstraction and safety over speed and direct control of hardware. They are therefore not well suited to the low-level tasks for which C was designed. This paper introduces a novel programming language, Eagle, which represents a fast, elegant alternative to C. It allows low-level programming while providing optional modern features like reference counting, closures, generators, and classes. In addition to specifying this language and reviewing the current alternatives, the paper describes the implementation of a working Eagle compiler. The language …

Ogden College Of Science & Engineering Newsletter (Spring 2016), Cheryl Stevens, Dean, Ogden College Of Science & Engineering

Ogden College of Science & Engineering Publications

No abstract provided.

Off The Lip Conference - Transdisciplinary Approaches To Cognitive Innovation. Conference Proceedings, Sue Denham, Michael Punt, Edith Doove, Martha Blassnigg, Raluca Briazu, Kathryn Francis, Agi Haynes, Guy Edmonds, Adam Benjamin, Matthew Emmett, Iris Garrelfs, Christopher B. Germann, Joanna Griffin, Diane Humphrey, Bryanna Lucyk, Christie Purchase, Rachel Sansone, Emily Baxter, Amy Ione, Frank Loesche, Abigail Jackson, Alexis Kirke, Eduardo Miranda, Luke Rendell, Simon Ingram, Yutaka Nakamura, Gi Taek Ryoo, Eugenia Stamboliev, Michael Straeubig, Chun-Wei Hsu, Pinar Oztop, Mihaela Taranu, Sundar Sarukkai, James Sweeting, Minami Hirayama

Off the Lip Conference - Transdisciplinary Approaches to Cognitive Innovation

The promise of cognitive innovation as a collaborative project in the sciences, arts and humanities is that we can approach creativity as a bootstrapping cognitive process in which the energies that shape the poem are necessarily indistinguishable from those that shape the poet. For the purposes of this conference the exploration of the idea of cognitive innovation concerns an understanding of creativity that is not exclusively concerned with conscious human thought and action but also as intrinsic to our cognitive development. As a consequence, we see the possibility for cognitive innovation to provide a theoretical and practical platform from which …

Benchmark Dose Modeling With Covariates For Nanomaterials, Sarah E. Davidson

Mathematics

In the last decade, the use of engineered nanomaterials (ENMs) such as titanium dioxide (TiO2), carbon nanotubes (CNTs), carbon nanofibers (CNFs), as well as a variety of other materials have become increasingly popular in commerce because of their many beneficial properties (e.g. ability to manufacture products that are lighter, stronger, and/or more compact). However, according to the National Institute of Occupational Safety and Health, with the development of new nanotechnology it is prudent to ensure the health and safety of workers who are producing or using these materials at the forefront. For many ENMs, occupational exposure limits (OELs) are not …

Unique Characterization Of Materials With Memory, John Murrough Golden

Articles

In general, materials with linear memory constitutive relations are characterized by a relaxation function. This leads to a situation where the free energy for most materials with memory is not unique. There is a convex set of free energy functionals with a minimum and a maximum element. An alternative procedure is proposed which characterizes a material by the kernel of the rate of dissipation functional. Using some recent results, we find that a unique free energy and relaxation function may then be deduced. An example is given for discrete spectrum materials. Also, the new results are used to show that …

Geometric Deformations Of Sodalite Frameworks, Ciprian Borcea, Ileana Streinu

Computer Science: Faculty Publications

In mathematical crystallography and computational materials science, it is important to infer flexibility properties of framework materials from their geometric representation. We study combinatorial, geometric and kinematic properties for frameworks modeled on sodalite.

Applying Dijkstra Algorithm For Solving Neutrosophic Shortest Path Problem, Florentin Smarandache, Luige Vladareanu, Said Broumi, Assia Bakali, Muhammad Akram

Branch Mathematics and Statistics Faculty and Staff Publications

The selection of shortest path problem is one the classic problems in graph theory. In literature, many algorithms have been developed to provide a solution for shortest path problem in a network. One of common algorithms in solving shortest path problem is Dijkstra’s algorithm. In this paper, Dijkstra’s algorithm has been redesigned to handle the case in which most of parameters of a network are uncertain and given in terms of neutrosophic numbers. Finally, a numerical example is given to explain the proposed algorithm.

Multi-Type Display Calculus For Propositional Dynamic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We introduce a multi-type display calculus for Propositional Dynamic Logic (PDL). This calculus is complete w.r.t. PDL, and enjoys Belnap-style cut-elimination and subformula property.

Multi-Type Display Calculus For Dynamic Epistemic Logic, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimić

Engineering Faculty Articles and Research

In the present paper, we introduce a multi-type display calculus for dynamic epistemic logic, which we refer to as Dynamic Calculus. The displayapproach is suitable to modularly chart the space of dynamic epistemic logics on weaker-than-classical propositional base. The presence of types endows the language of the Dynamic Calculus with additional expressivity, allows for a smooth proof-theoretic treatment, and paves the way towards a general methodology for the design of proof systems for the generality of dynamic logics, and certainly beyond dynamic epistemic logic. We prove that the Dynamic Calculus adequately captures Baltag-Moss-Solecki’s dynamic epistemic logic, and enjoys Belnap-style cut …

Tool Support For Reasoning In Display Calculi, Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Engineering Faculty Articles and Research

We present a tool for reasoning in and about propositional sequent calculi. One aim is to support reasoning in calculi that contain a hundred rules or more, so that even relatively small pen and paper derivations become tedious and error prone. As an example, we implement the display calculus D.EAK of dynamic epistemic logic. Second, we provide embeddings of the calculus in the theorem prover Isabelle for formalising proofs about D.EAK. As a case study we show that the solution of the muddy children puzzle is derivable for any number of muddy children. Third, there is a set of meta-tools, …

Risk And Safety Of Complex Network Systems, Xiao-Bing Hu, Adrian V. Gheorghe, Mark S. Leeson, Supeng Leng, Julien Bourgeois, Xiaobo Qu

Engineering Management & Systems Engineering Faculty Publications

No abstract provided.

A Hierarchical Statistical Engineering Modeling Methodology, Teddy Steven Cotter

Engineering Management & Systems Engineering Faculty Publications

In the ASEM-IAC 2015, Cotter (2015) proposed a systemic joint deterministic-stochastic dynamic causal Bayesian statistical engineering model that addressed the knowledge gap needed to integrate deterministic mathematical engineering models within a stochastic framework. However, Cotter did not specify the modeling methodology through which statistical engineering models could be developed, diagnosed, and applied to predict systemic mission performance. This paper updates research into the development a hierarchical statistical engineering modeling methodology and sets forth the initial theoretical foundation for the methodology.