Physical Sciences and Mathematics Commons^™

Efficient Anonymous Roaming And Its Security Analysis, Guomin Yang, Duncan S. Wong, Xiaotie Deng

Research Collection School Of Computing and Information Systems

The Canetti-Krawczyk (CK) model uses resuable modular components to construct indistinguishability-based key exchange protocols. The reusability of modular protocol components makes it easier to construct and prove new protocols when compared with other provably secure approaches. In this paper, we build an efficient anonymous and authenticated key exchange protocol for roaming by using the modular approach under the CK-model. Our protocol requires only four message flows and uses only standard cryptographic primitives. We also propose a one-pass counter based MT-authenticator and show its security under the assumption that there exists a MAC which is secure against chosen message attack.

A Semi-Supervised Active Learning Framework For Image Retrieval, Steven Hoi, Michael R. Lyu

Research Collection School Of Computing and Information Systems

Although recent studies have shown that unlabeled data are beneficial to boosting the image retrieval performance, very few approaches for image retrieval can learn with labeled and unlabeled data effectively. This paper proposes a novel semi-supervised active learning framework comprising a fusion of semi-supervised learning and support vector machines. We provide theoretical analysis of the active learning framework and present a simple yet effective active learning algorithm for image retrieval. Experiments are conducted on real-world color images to compare with traditional methods. The promising experimental results show that our proposed scheme significantly outperforms the previous approaches.

A Tool Supporting Validation Of Uml Models, Weng Liong Low

Masters Theses

Software design is an important phase in the computer software development life cycle. The Unified Modeling Language (UML) is a widely used notation to design software models. As a software system increases in size and complexity it is harder for developers to check that their UML models are correct with respect to the UML metamodel. Consistency among different diagrams in a UML model is also important to ensure that there are no design conflicts that will lead to problems later. Incorrect software design will result in loss of productivity, time and money as developers fix design errors. Therefore, to ensure …

Applications Of Integrated Data Viewer – Idv In An Introductory Meteorology Class For Non-Science Majors, Ricardo C. Nogueria

Masters Theses

Computer products developed to visualize and integrate meteorological products with real-time data can create a virtual reality of the atmosphere. These advanced technologies help educators to improve teaching techniques in the classroom for science and non-science majors and increase the students' interest in learning as well. One of these products, the Integrated Data Viewer (IDV), was recently developed by University Corporation for Atmospheric Research (UCAR) project, Unidata, to visualize and integrate geoscience data. This study compares students' performance in the laboratory sessions using IDV-based and MANUAL-based exercises. Comparison of lab scores with exam scores of questions on the same topic …

The Analysis Of A Link Between A Remote Local Area Network And Its Server Resources, Theresa D. Beaver

Theses and Dissertations

As the Air Force transitions to an expeditionary force, the service's ability to provide computer capabilities at remote locations becomes more and more paramount. One way to provide this support is to create a Local Area Network (LAN) in which the workstations are positioned at the deployed location while the servers are maintained at a Main Operating Base (MOB). This saves the military money, because it eliminates the need to purchase and deploy server equipment as well as eliminating the need to deploy personnel to set-up and maintain the servers. There is, however, a tradeoff. As the number of personnel …

Water Quality Sampling, Analysis And Annual Load Determinations For Tss, Nitrogen And Phosphorus At The L'Anguille River Near Palestine, Marc A. Nelson, L. Wade Cash, Keith Trost, Jennifer Purtle

Technical Reports

A water quality sampling station was installed at the L’Anguille River near Palestine in 2003. This station is coordinated with a USGS gauging station at the same location. This station is instrumented to collect samples at sufficient intervals across the hydrograph to accurately estimate the flux of total suspended solids, nitrogen and phosphorus in the River. The L’Anguille River was listed on Arkansas' 1998 303d list as impaired from sediment (turbidity). The L’Anguille River was the second TMDL determined in Arkansas. Accurate determination of stream nutrients and sediment is critical for future determinations of TMDLs, effectiveness of best management practices …

Single-Electron Capture Processes In Slow Collisions Of He^2+ Ions With Molecular Targets, Osama Abu-Haija

Dissertations

Translational energy-gain spectroscopy (TES) has been used to investigate state-selective dissociative and non-dissociative single-electron capture processes in low-energy collisions of He²⁺ ions with O₂ , H₂ O, CO₂ , N₂ , and NH3 at impact energies between 100 eV and 1600 eV. The measured energy spectra for theHe²⁺ -O₂ and H₂ O collision systems show that the dominant exit channel is due to dissociative transfer ionization (DTI), single-electron captureaccompanied by ionization of the molecular target-ion, at the lowest collision energies. As the impact energy is increased non-dissociative single-electron capture (SEC) into the …

Statistical Validation Of Mutual Information Calculations: Comparison Of Alternative Numerical Algorithms, C. J. Cellucci, Alfonso M. Albano, P. E. Rapp

Physics Faculty Research and Scholarship

Given two time series X and Y, their mutual information, I(X, Y)= I(Y, X), is the average number of bits of X that can be predicted by measuring Y and vice versa. In the analysis of observational data, calculation of mutual information occurs in three contexts: identification of nonlinear correlation, determination of an optimal sampling interval, particularly when embedding data, and in the investigation of causal relationships with directed mutual information. In this contribution a minimum description length argument is used to determine the optimal number of elements to use when characterizing the distributions of X and Y. However, even …

Ionic Liquid As Catalysts In The Cycloaddition Of Co2 To Styrene Oxide In Supercritical And Subcritical States, Joy Mwalimu

Masters Theses

Supercritical fluids (SCFs) have fascinated researchers ever since the discovery of a critical temperature more than a century ago.¹ Initial studies focused mainly on the physical properties of supercritical phases.² However, their use as reaction media has sparked mainly during the last five to ten years.²

The coupling of CO₂ and Ionic Liquids (ILs) in the synthesis of cyclic carbonates comes from an increasing need for environmentally and toxicologically benign processes for the production of high-value compounds. In my research, CO₂ was utilized as both a replacement solvent and a C₁ feedstock in its …

A Framework For Model Checking Object Oriented Security Protocol Implementations, Parikshit Singh

Computer Science and Engineering Theses

With the rapid growth of the Internet, more and more vendors see the Internet as a viable marketplace. Since the Internet is public, providing security in the presence of malicious intruders has become paramount. Security protocols have been proposed to protect systems. These protocols work by exchanging messages, many of which are encrypted. Though it may take a long time for an intruder to break the underlying encryption employed by the protocol, it is possible for the intruder to intervene in the authentication process. It may take years before a crucial loophole is discovered in a security protocol. Until then, …

Grass Patch-Salmon Gums Area : Catchment Appraisal 2005, Angela Alderman

Resource management technical reports

Rapid catchment appraisal to assess the condition of, and future risks to, agricultural and natural resources within the Grass Patch-Salmon Gums area in Western Australia.

Major Eastern Wheatbelt Soils To Characterise Soil Moisture Availability, Jeffrey Jon Russell

Resource management technical reports

In the Eastern Wheatbelt of Western Australia, there are seven major soil groups (acid sands, good soilplain soils, gravelly sands, duplex soils, medium-heavy soils, heavy non-friable soils and heavy friable soils. This report considers the ability of various soils to store or retain water in an attempt to partially determine the yield potential of crops.

Dsi: A Fully Distributed Spatial Index For Wireless Data Broadcast, Wang-Chien Lee, Baihua Zheng

Research Collection School Of Computing and Information Systems

Recent announcement of the MSN Direct Service has demonstrated the feasibility and industrial interest in utilizing wireless broadcast for pervasive information services. To support location-based services in wireless data broadcast systems, a distributed spatial index (called DSI) is proposed in this paper. DSI is highly efficient because it has a linear yet fully distributed structure that facilitates multiple search paths to be naturally mixed together by sharing links. Moreover, DSI is very resilient in error-prone wireless communication environments. Search algorithms for two classical location-based queries, window queries and kNN queries, based on DSI are presented. Performance evaluation of DSI shows …

C# Traceability System, Luiz Fernando Capretz, Michael Kernahan, Miriam Capretz

Electrical and Computer Engineering Publications

Traceability information is a valuable asset that software development teams can leverage to minimise their risk during production and maintenance of software projects. When maintainers are added to a software project post-production, they have to learn the system from scratch and understand its dynamics before they can begin making appropriate modifications to the source code. The system outlined in this paper extracts traceability information directly from the source code of C# projects, and presents it in such a way that it can be easily used to understand the logic and validate changes to the system.

Detecting The Stochastic Gravitational Wave Background Using Pulsar Timing, Fredrick A. Jenet, George B. Hobbs, K. J. Lee, Richard N. Manchester

Physics and Astronomy Faculty Publications and Presentations

The direct detection of gravitational waves is a major goal of current astrophysics. We provide details of a new method for detecting a stochastic background of gravitational waves using pulsar timing data. Our results show that regular timing observations of 40 pulsars each with a timing accuracy of 100 ns will be able to make a direct detection of the predicted stochastic background from coalescing black holes within 5 years. With an improved prewhitening algorithm, or if the background is at the upper end of the predicted range, a significant detection should be possible with only 20 pulsars. © 2005. …

Conceptual Partitioning: An Efficient Method For Continuous Nearest Neighbor Monitoring, Kyriakos Mouratidis, Marios Hadjieleftheriou, Dimitris Papadias

Research Collection School Of Computing and Information Systems

Given a set of objects P and a query point q, a k nearest neighbor (k-NN) query retrieves the k objects in P that lie closest to q. Even though the problem is well-studied for static datasets, the traditional methods do not extend to highly dynamic environments where multiple continuous queries require real-time results, and both objects and queries receive frequent location updates. In this paper we propose conceptual partitioning (CPM), a comprehensive technique for the efficient monitoring of continuous NN queries. CPM achieves low running time by handling location updates only from objects that fall in the vicinity of …

On Assigning Place Names To Geography Related Web Pages, Wenbo Zong, Dan Wu, Aixin Sun, Ee Peng Lim, Dion Hoe-Lian Goh

Research Collection School Of Computing and Information Systems

In this paper, we attempt to give spatial semantics to web pages by assigning them place names. The entire assignment task is divided into three sub-problems, namely place name extraction, place name disambiguation and place name assignment. We propose our approaches to address these sub-problems. In particular, we have modified GATE, a well-known named entity extraction software, to perform place name extraction using a US Census gazetteer. A rule-based place name disambiguation method and a place name assignment method capable of assigning place names to web page segments have also been proposed. We have evaluated our proposed disambiguation and assignment …

Evaluating G-Portal For Geography Learning And Teaching, Chew-Hung Chang, John G. Hedberg, Yin-Leng Theng, Ee Peng Lim, Tiong-Sa Teh, Dion Hoe-Lian Goh

Research Collection School Of Computing and Information Systems

This paper describes G-Portal, a geospatial digital library of geographical assets, providing an interactive platform to engage students in active manipulation and analysis of information resources and collaborative learning activities. Using a G-Portal application in which students conducted a field study of an environmental problem of beach erosion and sea level rise, we describe a pilot study to evaluate usefulness and usability issues to support the learning of geographical concepts, and in turn teaching.

Verifying Completeness Of Relational Query Results In Data Publishing, Hwee Hwa Pang, Arpit Jain, Krithi Ramamritham, Kian-Lee Tan

Research Collection School Of Computing and Information Systems

In data publishing, the owner delegates the role of satisfying user queries to a third-party publisher. As the publisher may be untrusted or susceptible to attacks, it could produce incorrect query results. In this paper, we introduce a scheme for users to verify that their query results are complete (i.e., no qualifying tuples are omitted) and authentic (i.e., all the result values originated from the owner). The scheme supports range selection on key and non-key attributes, project as well as join queries on relational databases. Moreover, the proposed scheme complies with access control policies, is computationally secure, and can be …

"Got Rocks?" An Inquiry-Based Geology Program For 3rd To 5th Grades In Conjunction With The Museum Of Science, Jennifer D. Todd

Critical and Creative Thinking Capstones Collection

How can the Boston Museum of Science be of help to classroom teachers when planning a field trip? The synthesis presents a set of lesson plans for 3rd to 5th grade science teachers in the Boston area, with an ultimate goal of promoting students’ critical and creative thinking in their classroom units on rocks and minerals. The program was designed especially for those in the New England area because these states are within proximity to take a field trip to the Boston Museum of Science. The institution has many rocks and mineral samples from around the world and in the …

Cu(I) Luminescence From The Tetranuclear Cu4s4 Cofactor Of A Synthetic 4-Helix Bundle, Olesya A. Kharenko, David C. Kennedy, Borries Demeler, Michael J. Maroney, Michael Y. Ogawa

Chemistry Faculty Publications

The addition of Cu(I) to the random-coil peptide, C16C19-GGY, produces a self-organized, metal-bridged 4-helix bundle which displays an intense room-temperature luminescence at 600 nm. Emission, UV, and CD titrations along with X-ray absorption studies indicate that the luminescent cofactor is likely a Cu4S4 cluster in which each Cu atom is bridged by the side chains of two cysteine residues and has terminal N/O ligation.

Acylpyrazolones: Synthesis, Self-Assembly And Lanthanide Metal Ion Separation, Jun Yang

Dissertations

The central hypothesis that nanoscale self-assemblies can provide excellent metal ion recognition has been substantiated by employing acylpyrazolones and trivalent lanthanide metal ions as model systems. Several novel acylpyrazolones and their amphiphilic analogs have been designed, synthesized, and characterized. Their lanthanide metal ion recognition efficacies have been demonstrated through baseline separations of a mixture of light, middle, and heavy lanthanide metal ions by employing them in the aqueous mobile phase of high performance liquid chromatography (HPLC) with octadecylsilanized silica (ODS) as the stationary phase. The complex separation mechanism is influenced by the structures of acylpyrazolone and amphiphilic moieties, and spontaneous …

Synthesis And Spectroscopic Characterization Of Manganese Doped Zinc Sulfide Quantum Dot Nanocrystals, Pedro A. Gonzalez Beerman

Dissertations

Zinc sulphide quantum dots were synthesized in aqueous media using sodium polyphosphate as the stabilizer. The nanoparticles were 2.5 ± 0.5 nm and 5.0 ± 0.5 nm diameter depending on the synthetic procedure employed and the amount of Mn doped varied from 0.003 to 0.32% (w/w). The nanoparticles were characterized by UV-Vis absorption, luminescence, EPR, near edge x-ray absorption fine structure (NEXAFS), and x-ray photoelectron spectroscopy (XPS), and x-ray diffraction (XRD), and transmission electron microscopy (TEM). These quantum dots show a strong emission at 590 nm due to the ⁴T₁ -⁶A₁ transition characteristic of Mn …

Rank-Based Methods For Repeated Measures Data Under Exchangeable Errors, John Kloke

Dissertations

Rank-based estimation methods provide alternatives to least squares. Estimators derived via least squares are generally not robust to aberrant observations.Rank-based methods for linear models generalize traditional Wilcoxon procedures in the simple location models and are robust.

In the usual linear model it is assumed that the errors are independent. In the case of repeated measures data several observations are taken on each experimental unit. In the case of longitudinal data the measures are taken on the same subject over time. As such an independence assumption does not seem valid. A common solution to this is to make an assumption on …

Roaded Catchments To Improve Reliability Of Farm Dams, David Stanton

Bulletins 4000 -

Maintaining reliable on-farm water supplies is an on-going challenge for landholders throughout Western Australia. Improving reliability of dams by constructing a roaded catchment is one of the most cost-effective methods of improving the performance and reliability of a farm water supply.

A roaded catchment is a water-harvesting structure designed to increase the amount of run-off from the catchment above a dam. The 'roads' of a roaded catchment are parallel ridges of earth with batters (or side slopes) that cause run-off to be directed into troughs or channels. The surface is lined with clay and compacted to make it smooth and …

Mercury Experience And Capabilities, University Of North Dakota. Energy And Environmental Research Center

EERC Brochures and Fact Sheets

Brochure about the Energy & Environmental Research Center’s (EERC’s) mercury research capabilities. Describes the EERC facilities and mercury testing technology.

Degassing And Hydrothermal Activity At Mt. Spurr, Alaska During The Summer Of 2004 Inferred From The Complex Frequencies Of Long-Period Events, S. De Angelis, Stephen R. Mcnutt

School of Geosciences Faculty and Staff Publications

Results of analyses of unusual long-period earthquakes, recorded between July and September 2004 at Mt. Spurr, Alaska, are presented. The waveforms of these events are characterized by quasi-sinusoidal signatures of long duration (up to 40 sec) with slowly decaying amplitudes; bandwidths of 0.5–4.0 Hz are typical; amplitude spectra are marked by strong and sharp peaks, reflecting the quasi-monochromatic nature of the signal. The temporal variations of the complex frequencies are investigated by use of the Sompi method; the dominant mode is resolved and its Q factor estimated for each available event. Dominant frequencies are found in the band 0.8–2.2 Hz …

The Air Is Always Cleaner On The Other Side: Race, Space, And Ambient Air Toxics Exposures In California, Manuel Pastor, Rachel Morello-Frosch, James Sadd

James Sadd

Environmental justice advocates have recently focused attention on cumulative exposure in minority neighborhoods due to multiple sources of pollution. This article uses U.S. EPA’s National Air Toxics Assessment (NATA) for 1996 to examine environmental inequality in California, a state that has been a recent innovator in environmental justice policy. We first estimate potential lifetime cancer risks from mobile and stationary sources. We then consider the distribution of these risks using both simple comparisons and a multivariate model in which we control for income, land use, and other explanatory factors, as well as spatial correlation. We find large racial disparities in …

Web Services Quality Testing, Jia Zhang, Liang-Jie Zhang

Jia Zhang

No abstract provided.

Innovation Cube: Triggers, Drivers And Enablers For Successful Innovations, Arcot Desai Narasimhalu

Arcot Desai NARASIMHALU

Research on innovation has explained the relationships between institutions of higher learning, companies and the markets from both market driven and resource driven perspectives. However, innovation still remains more of an art than a science. Key researchers have lamented that it is difficult for most companies to scan the market place to identify new innovation opportunities. This paper describes a framework called Innovation Cube that is the building block for helping companies identify new innovation opportunities. This cube is constructed using three attribute-pairs called drivers, triggers and enablers of innovation. The paper discusses examples of the types of innovations represented …