Digital Commons Network^™

Cs 302-01: Client Server Databases, Karen Meyer

Computer Science & Engineering Syllabi

No abstract provided.

Cs/Mth 317/517: Numerical Methods For Digital Computers - Ii, Ronald F. Taylor

Computer Science & Engineering Syllabi

Continuation of CS/MTH/316/516. Introduction to numerical methods used in the sciences. Methods for solving matrix eigenvalue problems, initial value and boundary value problem for ordinary differential equations (ODEs). Study of standard types of partial differential equations (PDEs) with applications. Solution techniques for systems of nonlinear equations. Discussion of sources of errors in numerical methods. Special topics and applications presented as schedule permits. 4 credit hours. Prerequisites: CS 316, MTH 233, 253, or 355. Programming course prerequisites: EGR 153 or CEG 220 or CS 241.

Palindrome-Polynomials With Roots On The Unit Circle, John Konvalina, Valentin Matache

Mathematics Faculty Publications

Given a polynomial f(x) of degree n, let fr(x) denote its reciprocal, i.e., fr(x) = xnf(1=x). If a polynomial is equal to its reciprocal, we call it a palindrome since the coefficients are the same when read backwards or forwards. In this mathematical note we show that palindromes whose coefficients satisfy a certain magnitude-condition must have a root on the unit circle...

Services Report Fy 2004, Uno Office Of Research And Creative Activity

Services Reports

This Service Report features: Information about The Office of Sponsored Programs and Research; Awards by College/Unit FY 2002 - 2004; Submissions by College/Unit, FY 2002 - 2004; UNO FY 2004 External Submissions; UNOmaha FY2004 External Grant Awards; and UNO FY 2004 Nebraska Research Initiative (NRI) Submissions.

Superionicity In Na3Po4: A Molecular Dynamics Simulation, Wei-Guo Yin, Jianjun Liu, Chun-Gang Duan, Wai-Ning Mei, Robert W. Smith, John R. Hardy

Physics Faculty Publications

Fast ionic conduction in solid Na₃PO₄ is studied by use of molecular dynamics simulation based on the modified Lu-Hardy approach. We obtain reasonable agreement with experiment for the structural transition and diffusion of the sodium ions. All the sodium ions are found to contribute comparably to the high ionic conductivity. The results of the simulation are discussed in terms of the relative magnitude of the two proposed transport mechanisms: percolation and paddle-wheel. It appears to us that the percolation mechanism dominates the sodium diffusion.

Large Dielectric Constant And Maxwell-Wagner Relaxation In Bi2/3cu3ti4o12, Jianjun Liu, Chun-Gang Duan, Wei-Guo Yin, Wai-Ning Mei, Robert W. Smith, John R. Hardy

Physics Faculty Publications

We studied frequency and temperature dependences of impedance, electric modulus, and dielectric permittivity of Bi2/3Cu3Ti4O12 in the ranges of 10−1–106 Hz and −150–200 °C, respectively. We first observed two electrical responses in the impedance and modulus formalisms. Then we detected a Debye-like relaxation in the permittivity formalism. Most interestingly, we found that the large dielectric constant of Bi2/3Cu3Ti4O12 is independent of the temperature and frequency below 150°C. The results are interpreted in terms of a two-layer model with conducting grains partitioned from each other by poorly conducting grain boundaries. Using this model, we attributed the two electrical responses in impedance …

Electronic Properties Of Nacdf3: A First-Principles Prediction, Chun-Gang Duan, Wai-Ning Mei, Jianjun Liu, Wei-Guo Yin, John R. Hardy, Robert W. Smith, M. J. Mehl, L. L. Boyer

Physics Faculty Publications

Based on first-principles total energy calculations, we predict that NaCdF3 could be formed in a ferroelectric crystal structure. Using a symmetry guided search with structure optimization, we found two ferroelectric structures, nearly degenerate in energy, competing for the ground state: a rhombohedral structure with space group R3c and an orthorhombic structure with space group Pna21. The energies of both structures are '60 meV lower than the sum of those of the constituents, NaF and CdF2, implying chemical stability.

Structuring Transactions Outside All Holders/Best Price Rule, Mark Khmelnitskiy

Fordham Journal of Corporate & Financial Law

No abstract provided.

Automatic Compilation Of Protocol Insecurity Problems Into Logic Programming, Alessandro Armondo, Luca Compagna, Yuliya Lierler

Computer Science Faculty Proceedings & Presentations

In this paper we show how protocol insecurity problems expressed in a multi-set rewriting formalism can be automatically translated into logic programming problems. The proposed translation paves the way to the construction of model-checkers for security protocols based on state-of-the-art solvers for logic programs. We have assessed the effectiveness of the approach by running the proposed reduction against a selection of insecurity problems drawn from the Clark & Jacob library of security protocols: by running state-of-the-art solvers against the resulting logic programming problems most of the (known) attacks on the considered protocols are found in a few seconds.

Sat-Based Answer Set Programming, Enrico Giunchiglia, Yuliya Lierler, Marco Maratea

Computer Science Faculty Proceedings & Presentations

The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boost of SAT solvers during last years. Various translations from ASP to SAT are known but the resulting SAT formula either includes many new variables or may have an unpractical size. There are also well known results showing a one-to-one correspondence between the answer sets of a logic program and the models of its completion. Unfortunately, these results only work for specific classes of problems. In this paper we present a SAT-based decision procedure for …

When Are Behaviour Networks Well-Behaved?, Bernhard Nebel, Yuliya Lierler

Computer Science Faculty Proceedings & Presentations

Agents operating in the real world have to deal with a constantly changing and only partially predictable environment and are nevertheless expected to choose reasonable actions quickly. This problem is addressed by a number of action-selection mechanisms. Behaviour networks as proposed by Maes are one such mechanism, which is quite popular. In general, it seems not possible to predict when behaviour networks are well-behaved. However, they perform quite well in the robotic soccer context. In this paper, we analyse the reason for this success by identifying conditions that make behaviour networks goal converging, i.e., force them to reach the goals …

Cmodels-2: Sat-Based Answer Set Solver Enhanced To Non-Tight Programs, Yuliya Lierler, Marco Maratea

Computer Science Faculty Proceedings & Presentations

Answer set programming is a new programming paradigm proposed in [1] and [2], and based on the answer set semantics of Prolog [3]. It is well known that an answer set for a logic program is also a model of the program’s completion [4]. The converse is true when the logic program is “tight” [6, 5]. Lin and Zhao [7] showed that for non-tight programs the models of completion which do not correspond to answer sets can be eliminated by adding to the completion what they called “loop formulas”. Nevertheless, their solver ASSAT¹ has some disadvantages: it can work …

Sympathetic Vibration Due To Co-Ordinated Crowd Jumping, Christopher Y. Tuan

Civil Engineering Faculty Publications

In assembly structures or places where crowds may gather such as dance halls, theaters, gymnasia and stadia, the loading is almost entirely caused by human activities. Structural resonance or near resonance and the resulting vibrations causing discomfort of spectators have often been observed during a rock concert or a sporting event. Recent research efforts have focused on developing load models to quantify the dynamic loading effects induced by individuals and groups up to 40 people. The lack of coherence of motion from a large crowd, the so-called ‘‘group effect’’, has been quantified based on simulations. The simulation results and the …

Evaluation Of A Simple Carrier Molecule To Enhance Drug Penetration Of Dermal Layers By Utilizing Multivariate Methods, Structure Property Correlations, And Continuous System Modeling, Ronald Bartzatt

Chemistry Faculty Publications

Nicotinic acid is shown to be comparable to dihydropyridine in its capacity to facilitate penetration of an attached antibacterial drug through dermal layers. Antibacterial drugs examined with nicotinic acid or dihydropyridine carriers were b-lactam antibiotics: methicillin, oxacillin, benzylpenicillin, penicillin F, penicillin dihydro F, propicillin, carbenicillin, penicillin K, penicillin X, and ampicillin. An oxymethyl (-O-CH2-) group is inserted as the linker between the antibiotic and the carrier group. Structure Property Correlations and multivariate methods such as regression analysis, cluster analysis, principal component analysis, discriminate analysis, self-organizing tree algorithm, and factor analysis clearly showed that nicotinic acid performs as an effective carrier …

Graduate Academic Catalog (2004-2005), University Of Nebraska At Omaha

Graduate Catalogs

2004-2005 Graduate Catalog

Magneto-Acoustic Emission Analysis Of Microstructural Change In Aisi 430 And Aisi 304 Stainless Steel, Denis O'Sullivan

Theses

Magneto-acoustic emission (MAE) is a relatively new non-destructive detection technique. Its working principle is based on Barkhausen discontinuities and magnetostriction within a ferromagnetic material that is subjected to a varying magnetic field. Magneto-acoustic emission (MAE) and magnetic Barkhausen noise (MBN) sensing techniques were developed and employed to characterise plastically deformed and heat-treated AISI 430 ferritic stainless steel and AISI 304 austenitic stainless steel samples. A new waveform measurement parameter for magneto-acoustic emission was developed called MAE (Absolute “energy”).

Both MAE and MBN were found to decrease with increasing plastic deformation of AISI 430. MAE (Absolute “energy”) and MBN (RMS) were …

Simulation Of Millimeter-Wave Gunn Oscillations In Gallium Nitride, Cem Sevi̇k, Ceyhun Bulutay

Turkish Journal of Physics

High field transport in wide bandgap semiconductors like GaN is of great technological importance. The negative differential mobility regime at high fields, under suitable conditions, can lead to millimeter-wave Gunn oscillations. Using extensive simulation based an ensemble Monte Carlo technique, the prospects of GaN Gunn diodes are theoretically investigated. The possibility of operating these Gunn diodes at their higher harmonic modes are explored. The main finding of this research is that the carrier dynamics in GaN can be tailored by an optimum choice of doping profile, temperature and bias conditions so that the efficiency of higher harmonic Gunn oscillations can …

A New Backoff Algorithm For The Ieee 802.11 Distributed Coordination Function, Jing Deng, Pramod K. Varshney, Zygmunt J. Haas

Electrical Engineering and Computer Science - All Scholarship

In the IEEE 802.11 Wireless Local Area Networks (WLANs), network nodes experiencing collisions on the shared channel need to backoff for a random period of time, which is uniformly selected from the Contention Window (CW ). This contention window is dynamically controlled by the Binary Exponential Backoff (BEB) algorithm. The BEB scheme, as shown in some studies in the literature, suffers from a fairness problem and low throughput under high traffic load. In this paper, we propose a new backoff algorithm, termed the Linear/Multiplicative Increase and Linear Decrease (LMILD) backoff algorithm, for use with the IEEE 802.11 Distributed Coordination Function. …

University Of Nevada, Las Vegas Transmutation Research Program Annual Report Academic Year 2003-2004, Anthony Hechanova, Elizabeth Johnson, Gary Cerefice

Transmutation Research Program Reports (TRP)

It is my pleasure to present the UNLV Transmutation Research Program’s third annual report that highlights the academic year 2003 – 2004. Supporting this document are the many technical reports and scientific papers that have been generated over the past three years.

In the third year of our program, we experienced infrastructure growth despite a decreasing budget. This past year we continued into the final phases of the initial 16 independent student research tasks started in 2001 and 2002, supporting 45 graduate students and 11 undergraduates in 6 academic departments across the UNLV scientific and engineering communities during the academic …

Fundamental And Applied Experimental Investigations Of Corrosion Of Steel By Lbe Under Controlled Conditions: Kinetics, Chemistry, Morphology, And Surface Preparation: Quarterly Report, Allen L. Johnson, John Farley, Dale L. Perry

Transmutation Sciences Materials (TRP)

This project has four components:

(1) the fabrication of a materials test apparatus with unique capabilities,

(2) comparative studies of steel corrosion under gas phase conditions comparable to the Lead Bismuth Eutectic (LBE) oxygen control conditions,

(3) isotope labeling studies, and

(4) collaborative efforts with other workers in the field.

Fighting Sioux Men's Hockey '04-'05 Media Guide", University Of North Dakota

UND Athletics Publications: Men's Hockey

Media guide for the 2004-2005 UND hockey team. The guide contains information about the team and its coaches, and the University of North Dakota Hockey program.

Effect Of Porosity On The Capacity Fade Of A Lithium-Ion Battery: Theory, Godfrey Sikha, Branko N. Popov, Ralph E. White

Faculty Publications

A mathematical model is presented to predict the performance of a lithium-ion battery. It includes the changes in the porosity of the material due to the reversible intercalation processes and the irreversible parasitic reaction. The model was also extended to predict the capacity fade in a lithium-ion battery based on the unwanted parasitic reaction that consumes Li⁺ along with the changes in the porosities of the electrodes with cycling due to the continuous parasitic side reaction. The model can be used to predict the drop in the voltage profile, change in the state of charge, and the effects of …

An Interactive Science Notebook: An Effective Student Resource Tool, Barbara J. Zuber

Mathematical and Computing Sciences Masters

This study aims at determining if an interactive science notebook provides evidence for and facilitates the application of new knowledge. In Science classrooms, notebooks are u.sed in a variety of ways. Even with all the different notebook formats and functions, they are often used ineffectively. Many notebooks are missing evidence of student higher order thinking instead they are repositories of information. Interactive notebooks are one format specifically designed with the function of capturing higher order thinking. An 8th grade accelerated science class will u.se an interactive notebook, modeled after the History Alive interactive notebook. Students will be survey before, during …

Can Implementing 5 Organizational Strategies Affect Student's Motivation To Complete Homework?, Shannan L. Sicienski

Mathematical and Computing Sciences Masters

Throughout my years teaching at the middle school level I have found for many students, getting them to complete homework is a difficult task. The National Council of Teachers of Mathematics (NCTM) has st:L up goals that students should meet in each grade level. One area that middle school students should be able to attain is to communicate mathematically. According to NCTM Standards students need the ability to read, write, listen, think creatively and communicate about problems they encounter in our society (NCTM, 1998). To do this students must be able to communicate mathematically by discussing mathematical ideas and make …

Simultaneous Data Perturbations And Analytic Center Convergence, Allen G. Holder

Mathematics Faculty Research

The central path is an infinitely smooth parameterization of the non-negative real line, and its convergence properties have been investigated since the middle 1980s. However, the central "path" followed by an infeasible-interior-point method relies on three parameters instead of one, and is hence a surface instead of a path. The additional parameters are included to allow for simultaneous perturbations in the cost and righ-hand side vectors. This paper provides a detailed analysis of the perturbed central path that is followed by infeasible-interior-point methods, and we characterize when such a path converges. We develop a set (Hausdorff) convergence property and show …

Hegel's Defense Of The Ontological Argument For The Existence Of God, Kevin Joseph Harrelson

Theses and Dissertations--Philosophy

The following dissertation is a study of the "ontological proof' for God's existence, specifically of the controversy concerning this proof from the seventeenth through the nineteenth centuries. As the title indicates, the primary theme is Hegel's defense and reformulation of the proof. I argue for a metaphysical interpretation of Hegel's Science of Logic, by showing that one of Hegel's chief goals in the Logic is to provide a demonstration for the thesis that "necessary existence belongs to God's nature." I conclude that while Hegel offers a coherent and informative account of this thesis, his analysis does not overcome one of …

How To Effectively Use Strategies Taught In Diversity Training Seminars: A Transformation Of Students And Staff At Sodus Central School District., Christina Costich

Mathematical and Computing Sciences Masters

Census data indicate the United States is one of the most diverse nations in the World, and nowhere is that diversity more evident than in our schools, colleges, and universities (Bedden, Futrell, and Gomez, 2003). African American, Latino, American Indian, and poor children in general continue to achieve below grade level, dropout in much greater numbers, and go to college in much lower proportion than their middle-class and European American peers (Jacobson, 2000). Jacobson also states, "The disproportion between minority and White dropout rates suggests that the educational systems through which these students have passed have failed to address equitably …

Joint Application Of Artificial Neural Networks And Evolutionary Algorithms To Watershed Management, Misgana K. Muleta, John W. Nicklow

Civil and Environmental Engineering

Artificial neural networks (ANNs) have become common data driven tools for modeling complex, nonlinear problems in science and engineering. Many previous applications have relied on gradient-based search techniques, such as the back propagation (BP) algorithm, for ANN training. Such techniques, however, are highly susceptible to premature convergence to local optima and require a trial-and-error process for effective design of ANN architecture and connection weights. This paper investigates the use of evolutionary programming (EP), a robust search technique, and a hybrid EP–BP training algorithm for improved ANN design. Application results indicate that the EP–BP algorithm may limit the drawbacks of using …

Newton-Raphson Versus Fisher Scoring Algorithms In Calculating Maximum Likelihood Estimates, Andrew Schworer, Peter Hovey

Undergraduate Mathematics Day: Past Content

In this work we explore the difficulties and the means by which maximum likelihood estimates can be calculated iteratively when direct solutions do not exist. The Newton-Raphson algorithm can be used to do these calculations. However, this algorithm has certain limitations that will be discussed. An alternative algorithm, Fisher scoring, which is less dependent on specific data values, is a good replacement. The Fisher scoring method converged for data sets available to the authors, that would not converge when using the Newton-Raphson algorithm. An analysis and discussion of both algorithms will be presented. Their real world application on analysis of …

Pebbling On Directed Graphs, Gayatri Gunda, Aparna Higgins

Undergraduate Mathematics Day: Past Content

Consider a finite connected graph G whose vertices are labeled with non-negative integers representing the number of pebbles on each vertex. A pebbling move on a graph G is defined as the removal of two pebbles from one vertex and the addition of one pebble to an adjacent vertex. The pebbling number f(G) of a connected graph is the least number of pebbles such that any distribution of f(G) pebbles on G allows one pebble to be moved to any specified but arbitrary vertex. We consider pebbling on directed graphs and study what configurations of directed graphs allow for pebbling …