Open Access. Powered by Scholars. Published by Universities.®

Physical Sciences and Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

2007

San Jose State University

Discipline
Keyword
Publication
Publication Type

Articles 1 - 30 of 36

Full-Text Articles in Physical Sciences and Mathematics

Exceptionally Preserved Jellyfishes From The Middle Cambrian, Paulyn Cartwright, Susan L. Halgedahl, Jonathan R. Hendricks, Richard D. Jarrard, Antonio C. Marques, Allen G. Collins, Bruce S. Lieberman Oct 2007

Exceptionally Preserved Jellyfishes From The Middle Cambrian, Paulyn Cartwright, Susan L. Halgedahl, Jonathan R. Hendricks, Richard D. Jarrard, Antonio C. Marques, Allen G. Collins, Bruce S. Lieberman

Faculty Publications

Cnidarians represent an early diverging animal group and thus insight into their origin and diversification is key to understanding metazoan evolution. Further, cnidarian jellyfish comprise an important component of modern marine planktonic ecosystems. Here we report on exceptionally preserved cnidarian jellyfish fossils from the Middle Cambrian (~505 million years old) Marjum Formation of Utah. These are the first described Cambrian jellyfish fossils to display exquisite preservation of soft part anatomy including detailed features of structures interpreted as trailing tentacles and subumbrellar and exumbrellar surfaces. If the interpretation of these preserved characters is correct, their presence is diagnostic of modern jellyfish …


Web Site Personalization Based On Link Analysis And Navigational Patterns, Magdalini Eirinaki, Michalis Vazirgiannis Oct 2007

Web Site Personalization Based On Link Analysis And Navigational Patterns, Magdalini Eirinaki, Michalis Vazirgiannis

Magdalini Eirinaki

The continuous growth in the size and use of the World Wide Web imposes new methods of design and development of online information services. The need for predicting the users' needs in order to improve the usability and user retention of a Web site is more than evident and can be addressed by personalizing it. Recommendation algorithms aim at proposing “next” pages to users based on their current visit and past users' navigational patterns. In the vast majority of related algorithms, however, only the usage data is used to produce recommendations, disregarding the structural properties of the Web graph. Thus …


Multimodel Projections Of Stratospheric Ozone In The 21st Century, V. Eyring, D. W. Waugh, G. E. Bodeker, Eugene C. Cordero, H. Akiyoshi, J. Austin, S. R. Beagley, B. A. Boville, P. Braesicke, C. Brühl, N. Butchart, M. P. Chipperfield, M. Dameris, R. Deckert, M. Deushi, S. M. Frith, R. R. Garcia, A. Gettelman, M. A. Giorgetta, D. E. Kinnison, E. Mancini, E. Manzini, D. R. Marsh, S. Matthes, T. Nagashima, P. A. Newman, J. E. Nielsen, S. Pawson, G. Pitari, D. A. Plummer, E. Rozanov, M. Schraner, J. F. Scinocca, K. Semeniuk, T. G. Shepherd, K. Shibata, B. Steil, R. S. Stolarski, W. Tian, M. Yoshiki Aug 2007

Multimodel Projections Of Stratospheric Ozone In The 21st Century, V. Eyring, D. W. Waugh, G. E. Bodeker, Eugene C. Cordero, H. Akiyoshi, J. Austin, S. R. Beagley, B. A. Boville, P. Braesicke, C. Brühl, N. Butchart, M. P. Chipperfield, M. Dameris, R. Deckert, M. Deushi, S. M. Frith, R. R. Garcia, A. Gettelman, M. A. Giorgetta, D. E. Kinnison, E. Mancini, E. Manzini, D. R. Marsh, S. Matthes, T. Nagashima, P. A. Newman, J. E. Nielsen, S. Pawson, G. Pitari, D. A. Plummer, E. Rozanov, M. Schraner, J. F. Scinocca, K. Semeniuk, T. G. Shepherd, K. Shibata, B. Steil, R. S. Stolarski, W. Tian, M. Yoshiki

Faculty Publications, Meteorology and Climate Science

[1] Simulations from eleven coupled chemistry-climate models (CCMs) employing nearly identical forcings have been used to project the evolution of stratospheric ozone throughout the 21st century. The model-to-model agreement in projected temperature trends is good, and all CCMs predict continued, global mean cooling of the stratosphere over the next 5 decades, increasing from around 0.25 K/decade at 50 hPa to around 1 K/decade at 1 hPa under the Intergovernmental Panel on Climate Change (IPCC) Special Report on Emissions Scenarios (SRES) A1B scenario. In general, the simulated ozone evolution is mainly determined by decreases in halogen concentrations and continued cooling of …


Multimodel Projections Of Stratospheric Ozone In The 21st Century, V. Eyring, D. W. Waugh, G. E. Bodeker, Eugene C. Cordero, H. Akiyoshi, J. Austin, S. R. Beagley, B. A. Boville, P. Braesicke, C. Brühl, N. Butchart, M. P. Chipperfield, M. Dameris, R. Deckert, M. Deushi, S. M. Frith, R. R. Garcia, A. Gettelman, M. A. Giorgetta, D. E. Kinnison, E. Mancini, E. Manzini, D. R. Marsh, S. Matthes, T. Nagashima, P. A. Newman, J. E. Nielsen, S. Pawson, G. Pitari, D. A. Plummer, E. Rozanov, M. Schraner, J. F. Scinocca, K. Semeniuk, T. G. Shepherd, K. Shibata, B. Steil, R. S. Stolarski, W. Tian, M. Yoshiki Aug 2007

Multimodel Projections Of Stratospheric Ozone In The 21st Century, V. Eyring, D. W. Waugh, G. E. Bodeker, Eugene C. Cordero, H. Akiyoshi, J. Austin, S. R. Beagley, B. A. Boville, P. Braesicke, C. Brühl, N. Butchart, M. P. Chipperfield, M. Dameris, R. Deckert, M. Deushi, S. M. Frith, R. R. Garcia, A. Gettelman, M. A. Giorgetta, D. E. Kinnison, E. Mancini, E. Manzini, D. R. Marsh, S. Matthes, T. Nagashima, P. A. Newman, J. E. Nielsen, S. Pawson, G. Pitari, D. A. Plummer, E. Rozanov, M. Schraner, J. F. Scinocca, K. Semeniuk, T. G. Shepherd, K. Shibata, B. Steil, R. S. Stolarski, W. Tian, M. Yoshiki

Eugene C. Cordero

[1] Simulations from eleven coupled chemistry-climate models (CCMs) employing nearly identical forcings have been used to project the evolution of stratospheric ozone throughout the 21st century. The model-to-model agreement in projected temperature trends is good, and all CCMs predict continued, global mean cooling of the stratosphere over the next 5 decades, increasing from around 0.25 K/decade at 50 hPa to around 1 K/decade at 1 hPa under the Intergovernmental Panel on Climate Change (IPCC) Special Report on Emissions Scenarios (SRES) A1B scenario. In general, the simulated ozone evolution is mainly determined by decreases in halogen concentrations and continued cooling of …


Bedrock Channel Geometry Along An Orographic Rainfall Gradient In The Upper Marsyandi River Valley In Central Nepal, William Craddock, Douglas Burbank, Bodo Bookhagen, Emmanuel Gabet Jul 2007

Bedrock Channel Geometry Along An Orographic Rainfall Gradient In The Upper Marsyandi River Valley In Central Nepal, William Craddock, Douglas Burbank, Bodo Bookhagen, Emmanuel Gabet

Faculty Publications

Pronounced rainfall gradients combined with spatially uniform exhumation of rocks at Quaternary timescales and uniform rock strength make the upper Marsyandi River valley in central Nepal a useful natural laboratory in which to explore variations in bedrock channel width. We focus on small catchments (0.6–12.4 km2) along a more than tenfold gradient in monsoon rainfall. Rainfall data are gathered from a dense weather network and calibrated satellite observations, the pattern of Quaternary exhumation is inferred from apatite fission track cooling ages, and rock compressive strength is measured in the field. Bedrock channel widths, surveyed at high scour indicators, scale as …


Hydrophobic, Organically-Modified Silica Gels Enhance The Structure Of Encapsulated Apomyoglobin, Daryl K. Eggers, V. A. Rocha Jan 2007

Hydrophobic, Organically-Modified Silica Gels Enhance The Structure Of Encapsulated Apomyoglobin, Daryl K. Eggers, V. A. Rocha

Faculty Publications, Chemistry

Insertion of hydrophobic groups in a silica matrix, by addition of propyl- or trifluoropropyltrimethoxysilane, leads to a surprising increase in the helical content of apomyoglobin following encapsulation by the sol–gel technique


An Ozone-Modified Refractive Index For Vertically Propagating Planetary Waves, Terrence R. Nathan, Eugene C. Cordero Jan 2007

An Ozone-Modified Refractive Index For Vertically Propagating Planetary Waves, Terrence R. Nathan, Eugene C. Cordero

Faculty Publications, Meteorology and Climate Science

[1] An ozone-modified refractive index (OMRI) is derived for vertically propagating planetary waves using a mechanistic model that couples quasigeostrophic potential vorticity and ozone volume mixing ratio. The OMRI clarifies how wave-induced heating due to ozone photochemistry, ozone transport, and Newtonian cooling (NC) combine to affect wave propagation, attenuation, and drag on the zonal mean flow. In the photochemically controlled upper stratosphere, the wave-induced ozone heating (OH) always augments the NC, whereas in the dynamically controlled lower stratosphere, the wave-induced OH may augment or reduce the NC depending on the detailed nature of the wave vertical structure and zonal mean …


Finding Molecular Complexes Through Multiple Layer Clustering Of Protein Interaction Networks, Bill Andreopoulos, Aijun An, Xiangji Huang, Xiaogang Wang Jan 2007

Finding Molecular Complexes Through Multiple Layer Clustering Of Protein Interaction Networks, Bill Andreopoulos, Aijun An, Xiangji Huang, Xiaogang Wang

Faculty Publications, Computer Science

Clustering protein-protein interaction networks (PINs) helps to identify complexes that guide the cell machinery. Clustering algorithms often create a flat clustering, without considering the layered structure of PINs. We propose the MULIC clustering algorithm that produces layered clusters. We applied MULIC to five PINs. Clusters correlate with known MIPS protein complexes. For example, a cluster of 79 proteins overlaps with a known complex of 88 proteins. Proteins in top cluster layers tend to be more representative of complexes than proteins in bottom layers. Lab work on finding unknown complexes or determining drug effects can be guided by top layer proteins.


The Star Pile In Abell 545, R. Salinas, T. Richtler, M. J. West, Aaron J. Romanowsky, Y. Schuberth Jan 2007

The Star Pile In Abell 545, R. Salinas, T. Richtler, M. J. West, Aaron J. Romanowsky, Y. Schuberth

Faculty Publications

Context.Struble (1988, ApJ, 330, L25) found what appeared to be a cD halo without cD galaxy in the center of the galaxy cluster Abell 545. This remarkable feature has been passed almost unnoticed for nearly twenty years. Aims.Our goal is to review Struble's claim by providing a first (preliminary) photometric and spectroscopic analysis of this "star pile". Methods.Based on archival VLT-images and long-slit spectra obtained with Gemini-GMOS, we describe the photometric structure and measure the redshift of the star pile and of the central galaxy. Results.The star pile is indeed associated with Abell 545. Its velocity is higher by about …


Algorithm Refinement For Fluctuating Hydrodynamics, Alejandro Garcia, S. Williams, J. B. Bell Jan 2007

Algorithm Refinement For Fluctuating Hydrodynamics, Alejandro Garcia, S. Williams, J. B. Bell

Faculty Publications

This paper introduces an adaptive mesh and algorithm refinement method for fluctuating hydrodynamics. This particle-continuum hybrid simulates the dynamics of a compressible fluid with thermal fluctuations. The particle algorithm is direct simulation Monte Carlo (DSMC), a molecular-level scheme based on the Boltzmann equation. The continuum algorithm is based on the Landau–Lifshitz Navier–Stokes (LLNS) equations, which incorporate thermal fluctuations into macroscopic hydrodynamics by using stochastic fluxes. It uses a recently developed solver for the LLNS equations based on third-order Runge–Kutta. We present numerical tests of systems in and out of equilibrium, including time-dependent systems, and demonstrate dynamic adaptive refinement by the …


Numerical Methods For The Stochastic Landau-Lifshitz Navier-Stokes Equations, Alejandro Garcia, J. B. Bell, S. Williams Jan 2007

Numerical Methods For The Stochastic Landau-Lifshitz Navier-Stokes Equations, Alejandro Garcia, J. B. Bell, S. Williams

Faculty Publications

The Landau-Lifshitz Navier-Stokes (LLNS) equations incorporate thermal fluctuations into macroscopic hydrodynamics by using stochastic fluxes. This paper examines explicit Eulerian discretizations of the full LLNS equations. Several computational fluid dynamics approaches are considered (including MacCormack’s two-step Lax-Wendroff scheme and the piecewise parabolic method) and are found to give good results for the variance of momentum fluctuations. However, neither of these schemes accurately reproduces the fluctuations in energy or density. We introduce a conservative centered scheme with a third-order Runge-Kutta temporal integrator that does accurately produce fluctuations in density, energy, and momentum. A variety of numerical tests, including the random walk …


The Pn.S Elliptical Galaxy Survey: Data Reduction, Planetary Nebula Catalog, And Basic Dynamics For Ngc 3379, N. G. Douglas, N. R. Napolitano, Aaron J. Romanowsky, L. Coccato, K. Kuijken, M. R. Merrifield, M. Arnaboldi, O. Gerhard, K. C. Freeman, H. R. Merrett, E. Noordermeer, M. Capaccioli Jan 2007

The Pn.S Elliptical Galaxy Survey: Data Reduction, Planetary Nebula Catalog, And Basic Dynamics For Ngc 3379, N. G. Douglas, N. R. Napolitano, Aaron J. Romanowsky, L. Coccato, K. Kuijken, M. R. Merrifield, M. Arnaboldi, O. Gerhard, K. C. Freeman, H. R. Merrett, E. Noordermeer, M. Capaccioli

Faculty Publications

We present results from Planetary Nebula Spectrograph (PN.S) observations of the elliptical galaxy NGC 3379 and a description of the data reduction pipeline. We detected 214 planetary nebulae, of which 191 are ascribed to NGC 3379 and 23 to the companion galaxy NGC 3384. Comparison with data from the literature shows that the PN.S velocities have an internal error of lesssim20 km s-1 and a possible offset of similar magnitude. We present the results of kinematic modeling and show that the PN kinematics is consistent with absorption-line data in the region where they overlap. The resulting combined kinematic data set, …


Biogeography And The Cambrian Radiation Of Arachnomorph Arthropods, Jonathan R. Hendricks, Bruce S. Lieberman Jan 2007

Biogeography And The Cambrian Radiation Of Arachnomorph Arthropods, Jonathan R. Hendricks, Bruce S. Lieberman

Faculty Publications

Biogeographic patterns in primarily Cambrian arachnomorph taxa are investigated using a recently constructed phylogenetic hypothesis in order to explore the biogeographic context of the Cambrian radiation. A modified version of Brooks Parsimony Analysis is employed to elucidate patterns of vicariance and geodispersal in taxa from six regions (Laurentia, Baltica, Siberia, Australia, Africa and China). Well resolved vicariance and geodispersal trees are very similar and reconstruct Laurentia and China as sister areas. This close area relationship between Laurentia and China provides extensive evidence for congruent vicariance and range expansion in Cambrian arachnomorphs, while data from trilobites do not show this pattern. …


Cryptanalysis Of Sigaba, Wing Chan Jan 2007

Cryptanalysis Of Sigaba, Wing Chan

Master's Projects

SIGABA is a World War II cipher machine used by the United States. Both the United States Army and the United States Navy used it for tactical communication. In this paper, we consider an attack on SIGABA using the largest practical keyspace for the machine. This attack will highlight the strengths and weaknesses of the machine, as well as provide an insight into the strength of the security provided by the cipher.


Securing Wireless Networks From Arp Cache Poisoning, Roney Philip Jan 2007

Securing Wireless Networks From Arp Cache Poisoning, Roney Philip

Master's Projects

Wireless networks have become an integral part of today’s networks. The ease of deployment, low cost, mobility and high data rates have contributed significantly to their popularity. The medium of data transmission in wireless networks makes them inherently less secure than wired networks. For wireless networks to access the Internet they must be connected to a wired network via an Access Point or a wireless router. This has led wireless network equipment manufacturers to implement wireless Access Points and wireless routers with a built in switch for wired clients and a WiFi access point for wireless clients. The set up …


An Ozone-Modified Refractive Index For Vertically Propagating Planetary Waves, Terrence R. Nathan, Eugene C. Cordero Jan 2007

An Ozone-Modified Refractive Index For Vertically Propagating Planetary Waves, Terrence R. Nathan, Eugene C. Cordero

Eugene C. Cordero

[1] An ozone-modified refractive index (OMRI) is derived for vertically propagating planetary waves using a mechanistic model that couples quasigeostrophic potential vorticity and ozone volume mixing ratio. The OMRI clarifies how wave-induced heating due to ozone photochemistry, ozone transport, and Newtonian cooling (NC) combine to affect wave propagation, attenuation, and drag on the zonal mean flow. In the photochemically controlled upper stratosphere, the wave-induced ozone heating (OH) always augments the NC, whereas in the dynamically controlled lower stratosphere, the wave-induced OH may augment or reduce the NC depending on the detailed nature of the wave vertical structure and zonal mean …


Algorithm Refinement For Fluctuating Hydrodynamics, Alejandro Garcia, Sarah Williams, John B. Bell Jan 2007

Algorithm Refinement For Fluctuating Hydrodynamics, Alejandro Garcia, Sarah Williams, John B. Bell

Alejandro Garcia

This paper introduces an adaptive mesh and algorithm refinement method for fluctuating hydrodynamics. This particle-continuum hybrid simulates the dynamics of a compressible fluid with thermal fluctuations. The particle algorithm is direct simulation Monte Carlo (DSMC), a molecular-level scheme based on the Boltzmann equation. The continuum algorithm is based on the Landau–Lifshitz Navier–Stokes (LLNS) equations, which incorporate thermal fluctuations into macroscopic hydrodynamics by using stochastic fluxes. It uses a recently developed solver for the LLNS equations based on third-order Runge–Kutta. We present numerical tests of systems in and out of equilibrium, including time-dependent systems, and demonstrate dynamic adaptive refinement by the …


The Pn.S Elliptical Galaxy Survey: Data Reduction, Planetary Nebula Catalog, And Basic Dynamics For Ngc 3379, N. G. Douglas, N. R. Napolitano, Aaron J. Romanowsky, L. Coccato, K. Kuijken, M. R. Merrifield, M. Arnaboldi, O. Gerhard, K. C. Freeman, H. R. Merrett, E. Noordermeer, M. Capaccioli Jan 2007

The Pn.S Elliptical Galaxy Survey: Data Reduction, Planetary Nebula Catalog, And Basic Dynamics For Ngc 3379, N. G. Douglas, N. R. Napolitano, Aaron J. Romanowsky, L. Coccato, K. Kuijken, M. R. Merrifield, M. Arnaboldi, O. Gerhard, K. C. Freeman, H. R. Merrett, E. Noordermeer, M. Capaccioli

Aaron J. Romanowsky

We present results from Planetary Nebula Spectrograph (PN.S) observations of the elliptical galaxy NGC 3379 and a description of the data reduction pipeline. We detected 214 planetary nebulae, of which 191 are ascribed to NGC 3379 and 23 to the companion galaxy NGC 3384. Comparison with data from the literature shows that the PN.S velocities have an internal error of lesssim20 km s-1 and a possible offset of similar magnitude. We present the results of kinematic modeling and show that the PN kinematics is consistent with absorption-line data in the region where they overlap. The resulting combined kinematic data set, …


Numerical Methods For The Stochastic Landau-Lifshitz Navier-Stokes Equations, Alejandro Garcia, John B. Bell, Sarah Williams Jan 2007

Numerical Methods For The Stochastic Landau-Lifshitz Navier-Stokes Equations, Alejandro Garcia, John B. Bell, Sarah Williams

Alejandro Garcia

The Landau-Lifshitz Navier-Stokes (LLNS) equations incorporate thermal fluctuations into macroscopic hydrodynamics by using stochastic fluxes. This paper examines explicit Eulerian discretizations of the full LLNS equations. Several computational fluid dynamics approaches are considered (including MacCormack’s two-step Lax-Wendroff scheme and the piecewise parabolic method) and are found to give good results for the variance of momentum fluctuations. However, neither of these schemes accurately reproduces the fluctuations in energy or density. We introduce a conservative centered scheme with a third-order Runge-Kutta temporal integrator that does accurately produce fluctuations in density, energy, and momentum. A variety of numerical tests, including the random walk …


The Star Pile In Abell 545, R. Salinas, T. Richtler, M. J. West, Aaron J. Romanowsky, Y. Schuberth Jan 2007

The Star Pile In Abell 545, R. Salinas, T. Richtler, M. J. West, Aaron J. Romanowsky, Y. Schuberth

Aaron J. Romanowsky

Context.Struble (1988, ApJ, 330, L25) found what appeared to be a cD halo without cD galaxy in the center of the galaxy cluster Abell 545. This remarkable feature has been passed almost unnoticed for nearly twenty years. Aims.Our goal is to review Struble's claim by providing a first (preliminary) photometric and spectroscopic analysis of this "star pile". Methods.Based on archival VLT-images and long-slit spectra obtained with Gemini-GMOS, we describe the photometric structure and measure the redshift of the star pile and of the central galaxy. Results.The star pile is indeed associated with Abell 545. Its velocity is higher by about …


Comment: Boosting Algorithms: Regularization, Prediction And Model Fitting, A. Buja, David Mease, A. Wyner Jan 2007

Comment: Boosting Algorithms: Regularization, Prediction And Model Fitting, A. Buja, David Mease, A. Wyner

Faculty Publications

The authors are doing the readers of Statistical Science a true service with a well-written and up-to-date overview of boosting that originated with the seminal algorithms of Freund and Schapire. Equally, we are grateful for high-level software that will permit a larger readership to experiment with, or simply apply, boosting-inspired model fitting. The authors show us a world of methodology that illustrates how a fundamental innovation can penetrate every nook and cranny of statistical thinking and practice. They introduce the reader to one particular interpretation of boosting and then give a display of its potential with extensions from classification (where …


Boosted Classification Trees And Class Probability/Quantile Estimation, David Mease, A. Wyner, A. Buja Jan 2007

Boosted Classification Trees And Class Probability/Quantile Estimation, David Mease, A. Wyner, A. Buja

Faculty Publications

The standard by which binary classifiers are usually judged, misclassification error, assumes equal costs of misclassifying the two classes or, equivalently, classifying at the 1/2 quantile of the conditional class probability function P[y = 1jx]. Boosted classification trees are known to perform quite well for such problems. In this article we consider the use of standard, off-the-shelf boosting for two more general problems: 1) classification with unequal costs or, equivalently, classification at quantiles other than 1/2, and 2) estimation of the conditional class probability function P[y = 1jx]. We first examine whether the latter problem, estimation of P[y = 1jx], …


Hydrophobic, Organically-Modified Silica Gels Enhance The Structure Of Encapsulated Apomyoglobin, Daryl K. Eggers, V. A. Rocha Jan 2007

Hydrophobic, Organically-Modified Silica Gels Enhance The Structure Of Encapsulated Apomyoglobin, Daryl K. Eggers, V. A. Rocha

Daryl K. Eggers

Insertion of hydrophobic groups in a silica matrix, by addition of propyl- or trifluoropropyltrimethoxysilane, leads to a surprising increase in the helical content of apomyoglobin following encapsulation by the sol–gel technique


Mobile Multimedia Streaming Library, Bao Ho Jan 2007

Mobile Multimedia Streaming Library, Bao Ho

Master's Projects

In recent years, multimedia has become a commonly used tool for presenting contents to the users. The employment of multimedia is no longer limited to only the entertainment industry, but spans in other areas as well. In academics, lectures are recorded to audio and video for storage and distribution to students. Free online multimedia hosting services are popularly cherished, such as “youtube.com” and “yahoo video”, and with the increasing affordability of digital camera, hundreds, or maybe thousands, of home-made videos and music audio are created daily and published online. Low-cost digital recorders such as webcams also help promote the use …


Operon Prediction With Bayesian Classifiers, Natalia Khuri Jan 2007

Operon Prediction With Bayesian Classifiers, Natalia Khuri

Master's Projects

In this work, we present an approach to predicting transcription units based on Bayesian classifiers. The predictor uses publicly available data to train the classifier, such as genome sequence data from Genbank, expression values from microarray experiments, and a collection of experimentally verified transcription units. We have studied the importance of each of the data source on the performance of the predictor by developing three classifier models and evaluating their outcomes. The predictor was trained and validated on the E. coli genome, but can be extended to other organisms. Using the full Bayesian classifier, we were able to correctly identify …


Validation And Verification Of Aircraft Control Software For Control Improvement, Thien-Anh Pham Jan 2007

Validation And Verification Of Aircraft Control Software For Control Improvement, Thien-Anh Pham

Master's Projects

Validation and Verification are important processes used to ensure software safety and reliability. The Cooper-Harper Aircraft Handling Qualities Rating is one of the techniques developed and used by NASA researchers to verify and validate control systems for aircrafts. Using the Validation and Verification result of controller software to improve controller's performance will be one of the main objectives of this process. Real user feedback will be used to tune PI controller in order for it to perform better. The Cooper-Harper Aircraft Handling Qualities Rating can be used to justify the performance of the improved system.


Case Studies In Proof Checking, Robert Kam Jan 2007

Case Studies In Proof Checking, Robert Kam

Master's Projects

The aim of computer proof checking is not to find proofs, but to verify them. This is different from automated deduction, which is the use of computers to find proofs that humans have not devised first. Currently, checking a proof by computer is done by taking a known mathematical proof and entering it into the special language recognized by a proof verifier program, and then running the verifier to hopefully obtain no errors. Of course, if the proof checker approves the proof, there are considerations of whether or not the proof checker is correct, and this has been complicated by …


Pairwise Alignment Of Metamorphic Computer Viruses, Scott Mcghee Jan 2007

Pairwise Alignment Of Metamorphic Computer Viruses, Scott Mcghee

Master's Projects

Computer viruses and other forms of malware pose a threat to virtually any software system (with only a few exceptions). A computer virus is a piece of software which takes advantage of known weaknesses in a software system, and usually has the ability to deliver a malicious payload. A common technique that virus writers use to avoid detection is to enable the virus to change itself by having some kind of self-modifying code. This kind of virus is commonly known as a metamorphic virus, and can be particularly difficult to detect [17]. Existing virus detection software is continually being improved …


Clustering Blog Information, Mayank Prakash Jaiswal Jan 2007

Clustering Blog Information, Mayank Prakash Jaiswal

Master's Projects

Blogs form an important source of information in today’s internet world. There are blogs on different topics such as technical, health, electronic gadgets, shopping, etc. However, most of the blog websites have the blogs arranged in chronological order rather than its contents. Such arrangement of blogs makes it difficult for the user searching information about a particular topic from the blog. To resolve this problem, we propose an approach to cluster the blogs based on its content. We studied several clustering algorithms available. The objective of this report is to understand various steps involved in clustering blog information and working …


Concept Analysis In Web Documents, Rajesh Singh Jan 2007

Concept Analysis In Web Documents, Rajesh Singh

Master's Projects

A Keyword within a text/web document represents some human thought. The interaction of keywords leads to narrowing of scope of human thought by forming a more precise semantic entity called concepts. Analyzing a set of document not only requires analysis of the keywords within those documents but also their interactions within a document. In this new approach a set of documents can be analyzed where by the interactions of its keywords is also considered in finding the important concepts. These concepts can be used to cluster them into smaller subsets such that documents in each cluster will be semantically similar.