Digital Commons Network^™

Direct Finite First-Order Model Generation With Negative Constraint Propagation Heuristic, Olga Shumsky, Ralph W. Wilkerson, Fikret Ercal, William W. Mccune

Computer Science Faculty Research & Creative Works

An Automated Finite First-Order Model Generator Has Been Developed. the Problem is Viewed as a First-Order Satisfiability Problem. Most Existing Model Generators Reduce the Problem to Propositional Satisfiability by Converting the Input First-Order Clauses into Propositional Clauses. This Generator, Unlike Others, Stores the Input First-Order Clauses and Solves the Problem Directly. It Uses an Exhaustive Backtracking Algorithm with Weight-Based Splitting. a Negative Constraint Propagation is Implemented to Reduce the Number of Decision Points and Thus to Speed Up the Search. © 1997 ACM.

An Efficient Algorithm For Direct Computation Of Adjacent Block Coefficients In The Transformed Domain, Chaman Sabharwal, Brian Quandt

Computer Science Faculty Research & Creative Works

The current research in many areas of image processing involves operations performed in the compressed domain [Smith and Rowe 1993, Chang 93]. Compressed domain may be DCT, Wavelet, JPEG or MPEG etc. The algorithms for .these transformations may be used for information filtering such as feature extraction and edge detection. The image transformations such as compositing, occluding, and scaling may also be performed in the compressed domain. It is desirable to perform these operations on compressed data directly because the smaller size of data involves less computational complexity. The computation in the compressed domain eliminates the overhead of decoding the …

High-Pressure Trickle-Bed Reactors: A Review, Muthanna H. Al-Dahhan, Faical Larachi, Milorad P. Dudukovic, Andre Laurent

Chemical and Biochemical Engineering Faculty Research & Creative Works

A Concise Review of Relevant Experimental Observations and Modeling of High-Pressure Trickle-Bed Reactors, based on Recent Studies, is Presented. the Following Topics Are Considered: Flow Regime Transitions, Pressure Drop, Liquid Holdup, Gas-Liquid Interfacial Area and Mass-Transfer Coefficient, Catalyst Wetting Efficiency, Catalyst Dilution with Inert Fines, and Evaluation of Trickle-Bed Models for Liquid-Limited and Gas-Limited Reactions. the Effects of High-Pressure Operation, Which is of Industrial Relevance, on the Physicochemical and Fluid Dynamic Parameters Are Discussed. Empirical and Theoretical Models Developed to Account for the Effect of High Pressure on the Various Parameters and Phenomena Pertinent to the Topics Discussed Are Briefly …

Evaluation Of Groundwater Quality In Shallow Aquifers Under Cultivated Lands At Al Oha Area, United Arab Emirates, Waleed Nasser Ahmed Bin Braik

Theses

To assess the impact of application of chemical fertilizers in agriculture on the Quaternary aquifer at AI Oha area, United Arab Emirates, 76 groundwater samples were collected during February 1995 - March 1996. Samples were analyzed for major, minor and trace chemical constituents in the Food Control Laboratory, Abu Dhabi.

The Total Dissolved Solids (TDS) of collected samples varied between 500 milligrams per liter (mg/l) in the east and 3,500 mg/l in the west. Except for bicarbonate ion (HC03-), concentration of major cations (Ca²⁺, Mg²⁺, Na⁺ and K⁺) and anions (CO₃^{2- …}

A Hypermedia Database To Manage World-Wide-Web Documents, Schubert Shou Boon Foo, Ee Peng Lim

Research Collection School Of Computing and Information Systems

The surge of interest in the World-Wide-Web (WWW) with its potential commercial payoff has resulted in an explosion of information as organisations join in to publish and do business on the Internet. A related development, Intranet, which basically uses the same technology to build private corporate WWW-based networks, has emerged to provide cost-effective and efficient groupware and information management solutions for organisations. As a result, the Hyper Text Markup Language (HTML), used for constructing WWW documents, has become a contender for authoring future office documents. With this scenario, this study examines WWW practices and highlights the inadequacy and drawbacks of …

Low-Degree Graph Partitioning Via Local Search With Applications To Constraint Satisfaction, Max Cut, And Coloring, Magnus M. Halldorsson, Hoong Chuin Lau

Research Collection School Of Computing and Information Systems

We present practical algorithms for constructing partitions of graphs into a fixed number of vertex-disjoint subgraphs that satisfy particular degree constraints. We use this in particular to find k-cuts of graphs of maximum degree ∆ that cut at least a k - 1/k (1 + 1/2∆+k-1 ) fraction of the edges, improving previous bounds known. The partitions also apply to constraint networks, for which we give a tight analysis of natural local search heuristics for the maximum constraint satisfaction problem. These partitions also imply efficient approximations for several problems on weighted bounded-degree graphs. In particular, we improve the best performance …

A Fast Algorithm For Complete Subcube Recognition, Fikret Erçal, H. J. Burch

Computer Science Faculty Research & Creative Works

The complete subcube recognition problem is defined as, given a collection of available processors on an n-dimensional hypercube, locate a subcube of dimension k that consists entirely of available processors, if one exists. Despite many algorithms proposed so far on this subject, improving the time complexity of this problem remains a challenge. Efficiency limits that can be reached have not been exhausted yet. This paper proposes a novel algorithm to recognize all the overlapping subcubes available on an n-dimensional hypercube whose processors are partially allocated. Given P=2n, as the total number of processors in the hypercube, the new algorithm runs …

Evolutionary Computation Applied To Adaptive Information Filtering, Daniel R. Tauritz, Ida G. Sprinkhuizen-Kuyper, Joost N. Kok

Computer Science Faculty Research & Creative Works

Information Filtering is concerned with filtering data streams in such a way as to leave only pertinent data (information) to be perused. When the data streams are produced in a changing environment the filtering has to adapt too in order to remain effective. Adaptive Information Filtering is concerned with filtering in changing environments. The changes may occur both on the transmission side (the nature of the streams can change), and on the reception side (the interest of a user can change). Weighted trigram analysis is a quick and flexible technique for describing the contents of a document. A novel application …

Keyboardless Visual Programming Using Voice, Handwriting, And Gesture, Jennifer Leopold, A. Ambler

Computer Science Faculty Research & Creative Works

Visual programming languages have facilitated the application development process, improving our ability to express programs, as well as our ability to view, edit and interact with them. Yet even in programming environments, productivity is restricted by the primary input sources: the mouse and the keyboard. As an alternative, we investigate a program development interface which responds to the most natural human communication technologies: voice, handwriting and gesture. Speech- and pen-based systems have yet to find broad acceptance in everyday life because they are insufficiently advantageous to overcome problems with reliability. However, we believe that a visual programming environment with a …

User Defined Prewrites For Increasing Concurrency In Design Databases, Sanjay Kumar Madria, A. Embong

Computer Science Faculty Research & Creative Works

We introduce a prewrite operation before a write operation is performed on design databases, a database that consists of objects as engineering designs. A prewrite operation does not actually make a design but it only makes available the model of the design that the transaction will produce in future. Once the prewrite design by a transaction is announced, the transaction executes a pre-commit operation. After the pre-commit, read operations can access the prewrite design even before the pre-committed transaction has finally made the design and committed. Therefore, our algorithm increases the potential concurrency as compared to the algorithms that permit …

A Concurrency Control Algorithm For An Open And Safe Nested Transaction Model, Sanjay Kumar Madria

Computer Science Faculty Research & Creative Works

We present a concurrency control algorithm for an open and safe nested transaction model. We use prewrite operations in our model to increase the concurrency. Prewrite operations are modeled as subtransactions in the nested transaction tree. The subtransaction which initiates prewrite subtransactions are modelled as recovery point subtransaction. The recovery point subtransaction can release their locks before its ancestors commit. Thus, our model increases the concurrency in comparison to other nested transaction models. Our model is useful an environment of long-running transactions common in object oriented databases, computer aided design and in the software development process

Varietal Differences In The Total And Enantiomeric Composition Of Theanine In Tea, K. Helen Ekborg-Ott, Andre Taylor, Daniel W. Armstrong

Chemistry Faculty Research & Creative Works

Theanine is the main amino acid component in tea. It usually constitutes between 1 and 2% of the dry weight of the tea leaves. It is as prevalent in tea as all other free amino acids combined. Both enantiomers of theanine were found to have a similar sweet taste, with little or no aftertaste. It was found that black and half-green teas (except for Formosa Oolong) contained as much, or more, theanine as green teas. No correlation was found between the absolute concentration of theanine in tea and its enantiomeric composition. An inverse correlation was found between certain grades of …

Spherical Harmonics - Finite Element Treatment Of Neutron Transport In Cylindrical Geometry, Hatem Khouaja, D. Ray Edwards, Nicholas Tsoulfanidis

Nuclear Engineering and Radiation Science Faculty Research & Creative Works

A variational spherical harmonics (DPN) method is used in conjunction with the finite element method to solve the transport of neutron beams. The method is developed for finite axisymmetric cylindrical geometry. In this model, the angular distribution along the path of neutron travel is separated into two sub-ranges of the forward and the backward moving particles. The system of the model equations is cast in terms of an even and an odd vector analogue to the even-parity transport technique. The finite element method is applied in space to solve the resulting coupled system of equations. A source-free cylinder with specified …

Crystal Structure Of (Μ-Tranis-4,4'-Dinitro-2,2'-Biimidazolato-N,N: N'',N''') Bis[Bis(Triphenylphosphine Copper(I))] N,N-Dimethylformamide, [C42h37cun4o3p2]2, R. G. Baughman, C. A. Hester, Harvest L. Collier

Chemistry Faculty Research & Creative Works

No abstract provided.

A Design Of A Marine Radar Mast System For Minimum Vibration, Suey-Yueh Hu

Dissertations and Theses @ UNI

This experimental research focused on four areas: (a) the design of a new procedure for imitating the dynamic behavior of an electronic base plate on a radar mast system; (b) determination of a reasonable oscillation modal state; (c) avoidance of the destruction of the ability of the radar on the mast of a ship to receive and analyze incoming signals; and (d) design of a vibration absorber and vibration isolator based on an oscillation frequency. An adapted design for the vibration absorber and vibration isolator contributed to the prevention of excessive amplitude being produced by random forces acting upon a …

The Student Views The Teacher: Investigating Student Perception In Assessment Of High School Teachers, Richard N. Johns

Dissertations and Theses @ UNI

The purpose of this study was to examine student assessment of teachers at the secondary level and to add to the body of knowledge pertaining to the role of student evaluation of teacher performance in the instructional improvement process. The study was designed to determine which teacher behaviors and student/teacher relationship characteristics influenced summative assessments of teachers and if the influence was distorted by certain potentially biasing variables. Student assessments of teachers were compared to principal assessments of teachers to determine whether significant differences in ratings existed between these two evaluative sources.

The research questions focused on the composition of …

An Exploratory Study: Reading And Spatial Visualization Ability As Predictors Of Success For Technical Drawing, Eldon Bruce Swanson

Dissertations and Theses @ UNI

If one were to open a technical drawing book, the reader could make the observation that the book was "written" and "read" in two languages--the English language and the universal graphic language. The technical drawing is presented in the context of these two languages: written statements accompanied by their graphical translations. The two seemingly symbiotic languages are synergistically integrated in technical drawing.

The problem of this exploratory study was to determine the strength of the bivariate correlational relationships between students' assessed spatial visualization ability and their reading ability to their assessed achievement in technical drawing. Further, the problem of the …

Fuzzy Logic: An Analysis Of Logical Connectives And Their Characterizations, John F. Hamman

Dissertations and Theses @ UNI

The focus of this thesis is to determine exactly which functions serve as appropriate fuzzy negation, conjunction and disjunction functions. To this end, the first chapter serves as motivation for why fuzzy logic is needed, and includes an original demonstration of the inadequacy of many valued logics to resolve the sorites paradox. Chapter 2 serves as an introduction to fuzzy sets and logic. The canonical fuzzy set of tall men is examined as a motivating example, and the chapter concludes with a discussion of membership functions.

Four desirable conditions of the negation function are given in Chapter 3, but it …

Managing Change Without Changing Managers: An Investigation Of Influences On Decision Making Performance Of Public Sector Managers Within Novel And Complex Environments, David Clark-Murphy

Theses: Doctorates and Masters

This study examines relationships between the cognitive and decision making styles of individual managers, and their decision making performance , within public sector environments during structural and cultural reform. The main purpose is to develop a more effective means of matching managers to their novel and complex working environments, to minimise staff turnover and improve productivity.

Fractal Relationships And Spatial Distribution Of Ore Body Modelling, D. J. Kentwell

Theses: Doctorates and Masters

The nature of spatial distributions of geological variables such as ore grades is of primary concern when modelling ore bodies and mineral resources. The aim of any mineral resource evaluation process is to determine the location, extent, volume and average grade of that resource by a trade off between maximum confidence in the results and minimum sampling effort. The principal aim of almost every geostatistical modelling process is to predict the spatial variation of one or more geological variables in order to estimate values of those variables at locations that have not been sampled. From the spatial analysis of these …

Does Good Project Management Ensure Successful Software Development?, Julie Lisa Eldridge

Theses : Honours

For many years the development of computer software has been plagued by poor customer satisfaction caused by missed schedules, underestimated budgets and the development of products which do not meet requirements. The ever increasing reliance on computers, as reported by Sommerville ''the result of the proliferation of computer systems into all aspects of life and business is that personal, corporate, national and international economies are [becoming] increasingly dependant on computers and software systems" ( 1992, p.2), calls for more stable software which can be developed within time and budget constraints. To achieve this, software development activities must be analysed and …

A Design In Interfacing The Mc68hc11 To The Amd Am29f010 Flash Memory Chips, David H. Hands

Theses : Honours

In many environments, motion, vibration and contamination to the Secondary Storage Devices such as hard drives can cause data to become unreadable or even lost. Elimination of these types of magnetic drives, incorporating its replacement with a Solid State Memory Storage Device would provide an invaluable solution for these type of environments. If a secondary storage system could replace these electro-mechanical disk drive systems incorporating a Solid State Secondary Storage Device such as the Flash Memory Integrated Chips, an increase in the speed of reading from milli-seconds to nano-seconds would transpire as well as providing a robust Secondary Storage Device. …

Introducing Calculators In Year One Mathematics : Attitudes And Achievement, Vanessa Thorpe

Theses : Honours

This study investigated the attitudes and achievements of year one students using calculators to facilitate their pattern development. The investigation also involved the attitudes of the classroom teacher and parents to the use of calculators in mathematics education for year one students. A class of 22 year one students (10 males and 12 females) was chosen for the study. The class was involved in one forty-minute lesson per week using calculators for ten weeks. The lessons focused on the topic of patterns. The calculators were also available for the child ran to use in their free time. The effects on …

Design And Implementation Of High-Radix Arithmetic Systems Based On The Sdnr/Rns Data Representation, Paul Whyte

Theses : Honours

This project involved the design and implementation of high-radix arithmetic systems based on the hybrid SDNRIRNS data representation. Some real-time applications require a real-time arithmetic system. An SDNR/RNS arithmetic system provides parallel, real-time processing. The advantages and disadvantages of high-radix SDNR/RNS arithmetic, and the feasibility of implementing SDNR/RNS arithmetic systems in CMOS VLSI technology, were investigated in this project. A common methodological model, which included the stages of analysis, design, implementation, testing, and simulation, was followed. The combination of the SDNR and RNS transforms potential complex logic networks into simpler logic blocks. It was found that when constructing a SDNRIRNS …

An Evaluation Of The Productivity Of Two Oil Mallee Species In A Revegetation Trial In The Central Wheatbelt Of Western Australia, Beatrice Lucie Hedwig Franke

Theses : Honours

Two of Western Australia's most pressing land degradation problems are waterlogging and increasing soil salinity. Extensive clearing of the native. deep-rooted vegetation and its replacement with shallow-rooted crop and pasture plants has resulted in increased recharge of groundwater tables. causing them to rise. Salts stored in the soil are being brought to the soil surface with the rising watertables. Revegetation with deep-rooted native plants has been identified as the most likely strategy to achieve increased groundwater usage and a lowering of watertables. One area seriously affected by waterlogging and increasing salinity is the Western Australian central wheatbelt region. The Department …

Client And Counselor Learning Style And Its Effect On Client Perceptions, Wendy Jo Hunsucker

All-Inclusive List of Electronic Theses and Dissertations

This study was an investigation of the effect of client and counselor learning style congruence, similarity, and incongruence on how the client perceives the counselor with regard to expertness, attractiveness, and trustworthiness. The effect of taking the measure at two points in time during the counseling process was also examined. Participants were 90 clients and 14 counselors from the student counseling centers of midwestern universities. A total of 30 client-counselor dyads was utilized in each of the following groups: Group 1 (congruent learning styles), Group 2 (similar learning styles), and Group 3 (incongruent learning styles). Client participants rated their perceptions …

Personality And Cognitive Characteristics Of Students In Science And Engineering, Scott Duncan

All-Inclusive List of Electronic Theses and Dissertations

This study was a longitudinal investigation into the relationship of personality and cognitive variables to persistence and success behaviors at a technological institute. Personality was assessed with the California Psychological Inventory (CPI) and Myers-Briggs Type Indicator (MBTI). Cognitive measures were the Learning Environment Preferences (LEP) and the Watson-Glaser Critical Thinking Appraisal (WGCTA). The sample included the entire class (N = 354) matriculated in the Fall of 1990 at a private technical institute. Multiple regressions, discriminant analyses, and cluster analyses were utilized to test five hypotheses. Dependent variables were: grade point average, persistence to degree in a regular curriculum, and persistence …

Search For Lepton Flavor Violation In Ep Collisions At 300 Gev Center Of Mass Energy, M. Derrick, D. Krakauer, S. Magill, D. Mikunas, B. Musgrave, J. R. Okrasiński, J. Repond, R. Stanek, R. L. Talaga, H. Zhang, Margarita C. K. Mattingly, F. Anselmo, P. Antonioli, G. Bari, M. Basile, L. Bellagamba, D. Boscherini, A. Bruni, G. Bruni, P. Bruni, G. Cara Romeo, G. Castellini, L. Cifarelli, F. Cindolo, A. Contin, M. Corradi, I. Gialas, P. Giusti, G. Iacobucci, G. Laurenti, G. Levi

Faculty Publications

Using the ZEUS detector at the HERA electron-proton collider, we have searched for lepton flavor violation in ep collisions at a center-of-mass energy (√s) of 300 GeV. Events of the type e + p → ℓ + X with a final-state lepton of high transverse momentum, ℓ = μ or τ, were sought. No evidence was found for lepton flavor violation in the combined 1993 and 1994 data samples, for which the integrated luminosities were 0.84 pb-1 for e-p collisions and 2.94 pb-1 for e+p collisions. Limits on coupling vs. mass are provided for leptoquarks and R-parity violating squarks. For …

The Zeus Leading Proton Spectrometer And Its Use In The Measurement Of Elastic Ρ0 Photoproduction At Hera, M. Derrick, D. Krakauer, S. Magill, D. Mikunas, B. Musgrave, J. R. Okrasiński, J. Repond, R. Stanek, R. L. Talaga, H. Zhang, Margarita C. K. Mattingly, F. Anselmo, P. Antonioli, G. Bari, M. Basile, L. Bellagamba, D. Boscherini, A. Bruni, G. Bruni, P. Bruni, G. Cara Romeo, G. Castellini, M. Chiarini, L. Cifarelli, F. Cindolo, A. Contin, M. Corradi, I. Gialas, P. Giusti, G. Iacobucci, G. Laurenti

Faculty Publications

The differential cross section dσ/dt for elastic ρ0 photoproduction, γp → ρ0ρ (ρ0 → π+π-), has been measured in ep interactions at HERA. The squared four-momentum exchanged at the proton vertex, t, has been determined directly by measuring the momentum of the scattered proton using the ZEUS Leading Proton Spectrometer (LPS), a large scale system of silicon micro-strip detectors operating close to the HERA proton beam. The LPS allows the measurement of the momentum of high energy protons scattered at small angles with accuracies of 0.4% for the longitudinal momentum and 5 MeV for the transverse momentum. Photoproduction of ρ0 …

Measurement Of Inelastic J/Ψ Photoproduction At Hera, J. Breitweg, M. Derrick, D. Krakauer, S. Magill, D. Mikunas, B. Musgrave, J. Repond, R. Stanek, R. L. Talaga, R. Yoshida, H. Zhang, Margarita C. K. Mattingly, F. Anselmo, P. Antonioli, G. Bari, M. Basile, L. Bellagamba, D. Boscherini, A. Bruni, G. Bruni, G. Cara Romeo, G. Castellini, L. Cifarelli, F. Cindolo, A. Contin, M. Corradi, S. De Pasquale, I. Gialas, P. Giusti, G. Iacobucci, G. Laurenti

Faculty Publications

No abstract provided.