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

Physical Sciences and Mathematics Commons

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

2007

Discipline
Institution
Keyword
Publication
Publication Type
File Type

Articles 631 - 660 of 6758

Full-Text Articles in Physical Sciences and Mathematics

A New Phenomenon In Impulsive-Flare-Associated Energetic Particles, Eileen E. Chollet, Joe Giacalone, Joseph E. Mazur, M Al Dayeh Nov 2007

A New Phenomenon In Impulsive-Flare-Associated Energetic Particles, Eileen E. Chollet, Joe Giacalone, Joseph E. Mazur, M Al Dayeh

Aerospace, Physics, and Space Science Faculty Publications

We present ACE/ULEIS and Wind/STEP observations of a new and unusual feature of energetic ions between 0.02 and 3 MeV nucleon ˉ¹ associated with impulsive solar flares. In addition to the usual velocity dispersion associated with the transit in the heliospheric magnetic field of energetic particles from a small localized source on the Sun, these events also show intermittent behavior that may be related to the magnetic flux tube structure of the solar wind. These are anomalous bursts of low-energy particles, which we call "tassels." Tassels are enhancements of ions extending to much lower energies than those associated with the …


Fecal Microbe Distribution And Abundance Used As A Possible Proxy For Nutrient Source Identification In Eutrophic Wilgreen Lake, Madison County, Kentucky, Theresa A. Aguiar, Walter S. Borowski Nov 2007

Fecal Microbe Distribution And Abundance Used As A Possible Proxy For Nutrient Source Identification In Eutrophic Wilgreen Lake, Madison County, Kentucky, Theresa A. Aguiar, Walter S. Borowski

EKU Faculty and Staff Scholarship

Wilgreen Lake is a eutrophic lake that has been listed on the EPA’s 303d list as nutrient impaired. Potential sources of this impairment are from humans, cattle manure and fertilizers. We suspect that the majority of nutrients originate from human sources. As a possible proxy for nutrient input, we test our hypothesis by examining fecal microbe distribution and abundance in the lake.

We took water samples at 19 sampling locations on 4 occasions. Sampling spanned 26 June to 15 August with the last 3 sampling events occurring at roughly two-week intervals. These samples were then processed using IDEXX methods, which …


The Correlation Coefficients, Rudy Gideon Nov 2007

The Correlation Coefficients, Rudy Gideon

Mathematical Sciences Faculty Publications

A generalized method of defining and interpreting correlation coefficients is given. Seven correlation coefficients are defined — three for continuous data and four on the ranks of the data. A quick calculation of the rank based correlation coefficients using a 0-1 graph-matrix is shown. Examples and comparisons are given.


Sedimentology Of The Whiteclay Gravel Beds (Ogallala Group) In Northwestern Nebraska, Usa: Structurally Controlled Drainage Promoted By Early Miocene Uplift Of The Black Hills Dome, Christopher R. Fielding, Hannan E. Lagarry, Leigh Anne Lagarry, Bruce E. Bailey, James B. Swinehart Nov 2007

Sedimentology Of The Whiteclay Gravel Beds (Ogallala Group) In Northwestern Nebraska, Usa: Structurally Controlled Drainage Promoted By Early Miocene Uplift Of The Black Hills Dome, Christopher R. Fielding, Hannan E. Lagarry, Leigh Anne Lagarry, Bruce E. Bailey, James B. Swinehart

Department of Earth and Atmospheric Sciences: Faculty Publications

The newly recognized Whiteclay Gravel Beds (WGB) of the Miocene Ogallala Group crop out as a narrow, discontin­uous ribbon of sands and gravels in Dawes and Sheridan Counties, northwestern Nebraska, USA. The WGB are ex­posed in a series of municipal gravel quarries and natural exposures that define a linear trench in underlying strata at least 20 m deep and up to 300 m wide, with short, southeast-trending reaches separating generally longer east-trend­ing sections. This gravel-filled trench can be recognized from the Nebraska–South Dakota border near Whiteclay, Ne­braska southeastward to east of Gordon, Nebraska, a distance of ~ 30 km. The …


Analyzing Gene Relationships For Down Syndrome With Labeled Transition Graphs, Hyrum Carroll, Mark J. Clement, Eric G. Mercer, Neha Rungta, Quinn O. Snell, Randall J. Roper Nov 2007

Analyzing Gene Relationships For Down Syndrome With Labeled Transition Graphs, Hyrum Carroll, Mark J. Clement, Eric G. Mercer, Neha Rungta, Quinn O. Snell, Randall J. Roper

Faculty Publications

The relationship between changes in gene expression and physical characteristics associated with Down syndrome is not well understood. Chromosome 21 genes interact with nonchromosome 21 genes to produce Down syndrome characteristics. This indirect influence, however, is difficult to empirically define due to the number, size, and complexity of the involved gene regulatory networks. This work links chromosome 21 genes to non-chromosome 21 genes known to interact in a Down syndrome phenotype through a reachability analysis of labeled transition graphs extracted from published gene regulatory network databases. The analysis provides new relations in a recently discovered link between a specific gene …


Integrated Approach To The Toxicity Evaluation Of Irish Marine Sediments: Exotoxicological Assessment, Ailbhe Macken Nov 2007

Integrated Approach To The Toxicity Evaluation Of Irish Marine Sediments: Exotoxicological Assessment, Ailbhe Macken

Doctoral

The quality of sediment in any aquatic ecosystem is vital to the health of that system. Sediments have been recognised as a major repository for persistent toxic substances. If sediments become sufficiently polluted they can lead to the disruption of surrounding natural biological communities. Therefore the monitoring of sediment quality is essential for successful ecosystem functioning in the marine environment. The aim of the present study was to employ an integrated approach of the toxicity evaluation of Irish marine sediments by correlating results of biotests with chemical analysis. Between 2004 and 2006 the Radiation and Environmental Science Centre (RESC) participate …


An Examination Of The Bystander Effect In Multiple Models: From Cell Line To In-Vivo Exposure, Alice Vines Nov 2007

An Examination Of The Bystander Effect In Multiple Models: From Cell Line To In-Vivo Exposure, Alice Vines

Doctoral

In recent years there has been a paradigm shift in radiobiology, to one which induces non-targeted effects, such as the bystander effect and genomic instability. The bystander effect has been defined as effects seen in cells that although never exposed to radiation, display similar effects to those that have, due to some form of communication with directly hit cells. This investigation aims to further the current understanding of this effect using three different models, cell lines, primary explant cultures and whole animals. Multiple cell lines were used to determine the relative importance of bystander signal production versus the response in …


Inference On Overlapping Coefficients In Two Exponential Populations, Mohammad F. Al-Saleh, Hani M. Samawi Nov 2007

Inference On Overlapping Coefficients In Two Exponential Populations, Mohammad F. Al-Saleh, Hani M. Samawi

Biostatistics Faculty Publications

Three measures of overlap, namely Matusita’s measureρ , Morisita’s measure λ and Weitzman’s measure Δ are investigated in this article for two exponential populations with different means. It is well that the estimators of those measures of overlap are biased. The bias is of these estimators depends on the unknown overlap parameters. There are no closed-form, exact formulas, for those estimators variances or their exact sampling distributions. Monte Carlo evaluations are used to study the bias and precision of the proposed overlap measures. Bootstrap method and Taylor series approximation are used to construct confidence intervals for the overlap measures.


Combination Of Sar Remote Sensing And Gis For Monitoring Subglacial Volcanic Activity – Recent Results From Vatnajökull Ice Cap (Iceland), K. Scharrer, Rocco Malservisi, Ch. Mayer, O. Spieler, U. Münzer Nov 2007

Combination Of Sar Remote Sensing And Gis For Monitoring Subglacial Volcanic Activity – Recent Results From Vatnajökull Ice Cap (Iceland), K. Scharrer, Rocco Malservisi, Ch. Mayer, O. Spieler, U. Münzer

School of Geosciences Faculty and Staff Publications

This paper presents latest results from the combined use of SAR (Synthetic Aperture Radar) remote sensing and GIS providing detailed insights into recent volcanic activity under Vatnajökull ice cap (Iceland). Glaciers atop active volcanoes pose a constant potential danger to adjacent inhabited regions and infrastructure. Besides the usual volcanic hazards (lava flows, pyroclastic clouds, tephra falls, etc.), the volcano-ice interaction leads to enormous meltwater torrents (icelandic: jökulhlaup), devastating large areas in the surroundings of the affected glacier. The presented monitoring strategy addresses the three crucial questions: When will an eruption occur, where is the eruption site and which area is …


Reasoning About The Behavior Of Aspect-Oriented Programs, Neelam Soundarajan, Raffi T. Khatchadourian, Johan Dovland Nov 2007

Reasoning About The Behavior Of Aspect-Oriented Programs, Neelam Soundarajan, Raffi T. Khatchadourian, Johan Dovland

Publications and Research

Aspect-oriented programming (AOP) has become increasingly popular over the last few years. At the same time, reasoning about the behavior of these programs poses serious challenges. In this paper, we present a rely-guarantee approach to such reasoning. The rely-guarantee approach has proven useful in reasoning about concurrent and distributed programs. We show that some of the key problems encountered in reasoning about aspect-oriented programs are similar to those encountered in reasoning about concurrent programs; and that the rely-guarantee approach, appropriately modified, helps address these problems. We illustrate our approach with a simple example.


Biofuel Feedstocks: The Risk Of Future Invasions, Joseph M. Ditomaso, Jacob N. Barney, Allison M. Fox Nov 2007

Biofuel Feedstocks: The Risk Of Future Invasions, Joseph M. Ditomaso, Jacob N. Barney, Allison M. Fox

All U.S. Government Documents (Utah Regional Depository)

In an effort to decrease greenhouse gas emissions, expand domestic energy production, and maintain economic growth, public and private investments are being used to pursue dedicated feedstock crops for biofuel production. Unlike food crops grown for grain-based ethanol (e.g., corn), which require high inputs of fertilizers and pesticides and typically are grown on prime agricultural land, proposed lignocellulose-based energy crops (e.g., switchgrass) typically have a neutral or negative carbon budget, require relatively few economic or environmental inputs, and can be cultivated on marginal, lower-productivity land. Thus, a rapidly growing industry related to crop selection, cultivar improvement, and conversion technilogies is …


Rats Dying For Mice: Modeling The Competitor Release Effect, Stephane Caut, Jorge G. Casanovas, Emilio Virgos, Jorge Lozano, Gary W. Witmer, Franck Courchamp Nov 2007

Rats Dying For Mice: Modeling The Competitor Release Effect, Stephane Caut, Jorge G. Casanovas, Emilio Virgos, Jorge Lozano, Gary W. Witmer, Franck Courchamp

United States Department of Agriculture Wildlife Services: Staff Publications

Introduced vertebrate predators are one of the most important threats to endemic species throughout a range of ecosystems, in particular on islands in biodiversity hot spots. Consequently, the reduction of predator numbers is considered a key conservation action in the management of many native vertebrates vulnerable to predators. It is now established that control attempts may affect non-target species through trophic interactions, but little is known concerning their consequences on competitive relationships. We study a mathematical model mimicking the effects of controlling introduced species in the presence of their competitors. We used two competing rodents to illustrate our study: black …


Anti-Prion Activity Generated By A Novel Vaccine Formulation, John Pilon, Christina Loiacono, Danelle Okeson, Sharon Lund, Kurt C. Vercauteren, Jack Rhyan, Lowell Miller Nov 2007

Anti-Prion Activity Generated By A Novel Vaccine Formulation, John Pilon, Christina Loiacono, Danelle Okeson, Sharon Lund, Kurt C. Vercauteren, Jack Rhyan, Lowell Miller

United States Department of Agriculture Wildlife Services: Staff Publications

Chronic wasting disease (CWD) is a transmissible spongiform encephalopathy (TSE) of domestic and wild cervids in North America. To address possible prevention regimens for CWD, we have used a mouse model system and the Rocky Mountain Laboratory (RML) mouse-adapted scrapie prion strain to screen efficacy of potential vaccine candidates. Three peptides derived from the primary amino acid sequence of the prion protein were conjugated to blue carrier protein (BCP) and formulated in an adjuvant containing M. avium subsp. avium. CL57/BL6 mice were vaccinated and boosted with 50 µg of the carrier protein–peptide conjugate formulation; all vaccines produced a humoral …


Neon Abundances From A Spitzer/Irs Survey Of Wolf-Rayet Stars., Richard Ignace, J. Cassinelli, G. Tracy, E. Churchwell, H. J. Lamers Nov 2007

Neon Abundances From A Spitzer/Irs Survey Of Wolf-Rayet Stars., Richard Ignace, J. Cassinelli, G. Tracy, E. Churchwell, H. J. Lamers

ETSU Faculty Works

We report on neon abundances derived from Spitzer high resolution spectral data of eight Wolf-Rayet (WR) stars using the forbidden line of [Ne III] 15.56 μm. Our targets include four WN stars of subtypes 4–7, and four WC stars of subtypes 4–7. We derive ion fraction abundances γ of Ne2+ for the winds of each star. The ion fraction abundance is a product of the ionization fraction Qi in stage i and the abundance by number AE of element E relative to all nuclei. Values generally consistent with solar are obtained for the WN stars, and values in excess of …


An Overview Of The Genus Nardostachys, Asima Chatterjee, Utpal Dutta, Debasish Bandyopadhyay, Anupam Nayak, Bidyut Basak, Avijit Banerji, Julie Banerji Nov 2007

An Overview Of The Genus Nardostachys, Asima Chatterjee, Utpal Dutta, Debasish Bandyopadhyay, Anupam Nayak, Bidyut Basak, Avijit Banerji, Julie Banerji

Chemistry Faculty Publications and Presentations

Nardostachys jatamansi, a medicinally important herb of Nepalese origin, has been used for centuries in the Ayurvedic and Unani systems of medicine. In combination with Marsilea minuta it is being used as an antistress and anticonvulsant drug and also finds use in the treatment of epilepsy. Recently, it has been reported that N. jatamansi, which plays an important role in protecting from cerebral ischemia and liver damage, is also used for the treatment of osteoporosis and hypercalcemia. The other member of the genus Nardostachys, N. chinensis, possesses antifungal and antimalarial properties. It is also used in the treatment of skin …


An Information-Sharing Based Anti-Phishing System, Yueqing Cheng, Zhen Yuan, Lei Ma, Robert H. Deng Nov 2007

An Information-Sharing Based Anti-Phishing System, Yueqing Cheng, Zhen Yuan, Lei Ma, Robert H. Deng

Research Collection School Of Computing and Information Systems

This paper presents the design of an informationsharing based or server-assisted anti-phishing system. The system follows a client-server architecture and makes decision based on not only client side heuristics but also collective information from multiple clients. When visiting a web site, a client side proxy, installed as a plug-in to a browser, decides on the legitimacy of the web site based on a combination of white list, black list and heuristics. In case the client side proxy does not have sufficient information to make a clear judgment, it reports the suspicious site to a central server which has access to …


Sloque: Slot-Based Query Expansion For Complex Questions, Maggy Anastasia Suryanto, Ee Peng Lim, Aixin Sun, Roger Hsiang-Li Chiang Nov 2007

Sloque: Slot-Based Query Expansion For Complex Questions, Maggy Anastasia Suryanto, Ee Peng Lim, Aixin Sun, Roger Hsiang-Li Chiang

Research Collection School Of Computing and Information Systems

Searching answers to complex questions is a challenging IR task. In this paper, we examine the use of query templates with semantic slots to formulate slot-based queries. These queries have query terms assigned to entity and relationship slots. We develop several query expansion methods for slot-based queries so as to improve their retrieval effectiveness on a document collection. Each method consists of a combination of term scoring scheme, term scoring formula, and term assignment scheme. Our preliminary experiments evaluate these different slot-based query expansion methods on a collection of news documents,and conclude that:(1) slot-based queries yield better retrieval accuracy compared …


Novel Phenomena In Encapsulating Hydrocarbon Gases, Anas W. Saleh Nov 2007

Novel Phenomena In Encapsulating Hydrocarbon Gases, Anas W. Saleh

Chemistry & Biochemistry Theses

The use of hydrophobic forces for entrapment of gases in water will be discussed. Natural hydrocarbons, haloalkanes, and anesthetic gases are hydrophobic in nature. In the course of this investigation water-soluble molecular capsules that possess hydrophobic interiors were synthesized. The encapsulation of hydrocarbon gases in water and in solid state was achieved and monitored by NMR spectroscopy. Our findings may lead to novel, capsule-based materials for gas separation and purification. The work presented in this thesis is divided into two sections. The first section discusses the synthesis of two water soluble hemicarcerands and their use as hosts in encapsulating hydrocarbon …


Relationship Of Marine Information Overlays (Mios) To Current/Future Iho Standards, Lee Alexander, Michael Huet Nov 2007

Relationship Of Marine Information Overlays (Mios) To Current/Future Iho Standards, Lee Alexander, Michael Huet

Center for Coastal and Ocean Mapping

No abstract provided.


On Enumeration Of Conjugacy Classes Of Coxeter Elements, Matthew Macauley, Henning S. Mortveit Nov 2007

On Enumeration Of Conjugacy Classes Of Coxeter Elements, Matthew Macauley, Henning S. Mortveit

Publications

In this paper we study the equivalence relation on the set of acyclic orientations of a graph Y that arises through source-to-sink conversions. This source-to-sink conversion encodes, e.g. conjugation of Coxeter elements of a Coxeter group. We give a direct proof of a recursion for the number of equivalence classes of this relation for an arbitrary graph Y using edge deletion and edge contraction of non-bridge edges. We conclude by showing how this result may also be obtained through an evaluation of the Tutte polynomial as T (Y, 1, 0), and we provide bijections to two other classes of acyclic …


Optimization Of Electrostatic Interactions In Protein-Protein Complexes, Kelly Brock, Kemper Talley, Kacey Coley, Petras Kundrotas, Emil Alexov Nov 2007

Optimization Of Electrostatic Interactions In Protein-Protein Complexes, Kelly Brock, Kemper Talley, Kacey Coley, Petras Kundrotas, Emil Alexov

Publications

In this article, we present a statistical analysis of the electrostatic properties of 298 protein-protein complexes and 356 domain-domain structures extracted from the previously developed database of protein complexes (ProtCom, http://www.ces.clemson.edu/compbio/protcom). For each structure in the dataset we calculated the total electrostatic energy of the binding and its two components, Coulombic and reaction field energy. It was found that in a vast majority of the cases (>90%), the total electrostatic component of the binding energy was unfavorable. At the same time, the Coulombic component of the binding energy was found to favor the complex formation while …


Two-Center Interference In P-H2 Electron-Transfer Collisions, Daniel Fischer, M. Gudmundsson, Kristian Stochkel, Zoltan Berenyi, Henrik Cederquist, Nicole Haag, Henrik A B Johansson, Sergey B. Levin, Peter Reinhed, Reinhold S. Schuch, Henning T. Schmidt Nov 2007

Two-Center Interference In P-H2 Electron-Transfer Collisions, Daniel Fischer, M. Gudmundsson, Kristian Stochkel, Zoltan Berenyi, Henrik Cederquist, Nicole Haag, Henrik A B Johansson, Sergey B. Levin, Peter Reinhed, Reinhold S. Schuch, Henning T. Schmidt

Physics Faculty Research & Creative Works

We report on measurements of transfer excitation in collisions of 0.3-1.3 MeV protons with spatially oriented H2 molecules. Evidences of two center interference are found in the angular distribution of the molecule after a transfer excitation process and directly in the projectile angular scattering distributions. These features can be explained in a way which is analogous to that for the interferences in Young's classical double slit experiment: The fast projectiles preferentially capture electrons close to either of the molecular nuclei, and thereby they change their momenta and de Broglie wavelengths. The waves emerging from the two 'slits' of the …


Forward-Jet Production In Deep Inelastic Ep Scattering At Hera, S. Chekanov, M. Derrick, S. Magill, B. Musgrave, D. Nicholass, J. Repond, R. Yoshida, Margarita C. K. Mattingly, M. Jechow, N. Pavel, A. G. Yagües Molina, S. Antonelli, P. Antonioli, G. Bari, M. Basile, L. Bellagamba, M. Bindi, D. Boscherini, A. Bruni, G. Bruni, L. Cifarelli, F. Cindolo, A. Contin, M. Corradi, S. De Pasquale, G. Iacobucci, A. Margotti, R. Nania, A. Polini, G. Sartorelli, A. Zichichi Nov 2007

Forward-Jet Production In Deep Inelastic Ep Scattering At Hera, S. Chekanov, M. Derrick, S. Magill, B. Musgrave, D. Nicholass, J. Repond, R. Yoshida, Margarita C. K. Mattingly, M. Jechow, N. Pavel, A. G. Yagües Molina, S. Antonelli, P. Antonioli, G. Bari, M. Basile, L. Bellagamba, M. Bindi, D. Boscherini, A. Bruni, G. Bruni, L. Cifarelli, F. Cindolo, A. Contin, M. Corradi, S. De Pasquale, G. Iacobucci, A. Margotti, R. Nania, A. Polini, G. Sartorelli, A. Zichichi

Faculty Publications

Forward jet cross sections have been measured in neutral current deep inelastic scattering at low Bjorken-x with the ZEUS detector at HERA using an integrated luminosity of 81.8 pb-1. Measurements are presented for inclusive forward jets as well as for forward jets accompanied by a dijet system. The explored phase space, with jet pseudorapidity up to 4.3 is expected to be particularly sensitive to the dynamics of QCD parton evolution at low x. The measurements are compared to fixed-order QCD calculations and to leading-order parton-shower Monte Carlo models. © 2007 Springer-Verlag / Società Italiana di Fisica.


Do Juries Add Value? Evidence From An Empirical Study Of Jury Trial Waiver Clauses In Large Corporate Contracts, Theodore Eisenberg, Geoffrey P. Miller Nov 2007

Do Juries Add Value? Evidence From An Empirical Study Of Jury Trial Waiver Clauses In Large Corporate Contracts, Theodore Eisenberg, Geoffrey P. Miller

Cornell Law Faculty Publications

We study jury trial waivers in a data set of 2,816 contracts contained as exhibits in Form 8-K filings by reporting corporations during 2002. Because these contracts are associated with events deemed material to the financial condition of SEC-reporting firms, they likely are carefully negotiated by sophisticated, well-informed parties and thus provide presumptive evidence about the value associated with the availability of jury trials. A minority of contracts, about 20 percent, waived jury trials. An additional 9 percent of contracts had arbitration clauses that effectively preclude jury trials though the reason for arbitration clauses need not specifically relate to juries. …


Assemblies Of Assemblies: Supramolecular Ordering Of Nanoscopic Ruthenium Polypyridyl Building Blocks, Kelly Lyle Wouters Nov 2007

Assemblies Of Assemblies: Supramolecular Ordering Of Nanoscopic Ruthenium Polypyridyl Building Blocks, Kelly Lyle Wouters

Chemistry & Biochemistry Dissertations

Biological systems have long since perfected the development of nanoengineering. Cellular structure and machinery is based, to a significant extent, on the formation of nanometer to micron-sized assemblies of proteins. These architectures start with unique primary, secondary, tertiary, and quaternary structural complexity and can be constructed from a relatively simple set of building blocks. Using this strategy as inspiration, assemblies based on [Ru(phenanthroline)3]2+ building blocks have been synthesized forming polyruthenium species bridged by the tpphz (tetrapyrido[3,2-a:2’,3’-c:3’’,2’’-h:2’’’,3’’’-j]phenazine) and tatpp (9,11,20,22- tetraaza tetrapyrido[3,2-a:2’,3’-c:3’’,2’’-l:2’’’’,3’’’’-n]-pentacene) ligands. Importantly, these assemblies exhibit unique hierarchical structural components which arise directly from the chirality inherent in the octahedral …


Effects Of Electromagnetic Interference On Control Area Network Performance, Fei Ren, Y. Rosa Zheng, Maciej Jan Zawodniok, Jagannathan Sarangapani Nov 2007

Effects Of Electromagnetic Interference On Control Area Network Performance, Fei Ren, Y. Rosa Zheng, Maciej Jan Zawodniok, Jagannathan Sarangapani

Electrical and Computer Engineering Faculty Research & Creative Works

In this paper, the effects of electromagnetic interference (EMI) on control area network (CAN) communications are investigated by hardware experiments. Distinct CAN bit rates, communication cables, and networks are used to test effects of EMI on CAN bus. Waveforms of CAN data frames in EMI environment are observed and analyzed for figuring out details of effects. Experiments show that the EMI pulses frequently encountered in automobile and off-road machinery can cause the reduction of bit rates and errors in high-speed CAN communications. Replacing traditional unshielded parallel communication cables with shielded communication cables is proved to be an effective method of …


S-Made: Interactive Storytelling Architecture Through Goal Execution And Decomposition, Yundong Cai, Zhiqi Shen, Chunyan Miao, Ah-Hwee Tan Nov 2007

S-Made: Interactive Storytelling Architecture Through Goal Execution And Decomposition, Yundong Cai, Zhiqi Shen, Chunyan Miao, Ah-Hwee Tan

Research Collection School Of Computing and Information Systems

Interactive storytelling, emerging with virtual reality technology, has attracted a lot of research interests in recent years. In order to bridge the gap between story generation and story presentation, some hybrid narrative models are raised. In this paper, we propose a new hybrid interactive storytelling architecture S-MADE. It combines the story plot generation and character performance through goal execution and decomposition mechanism. Fuzzy Cognitive Goal Net (FCGN) is a goal modeling tool for modeling the story scenario and character behaviors. The goal decomposition algorithm enables for director agent to dispatch acts to characters easily. With this system, dynamic storylines as …


Machine-Assisted Proof Support For Validation Beyond Simulink, Chunqing Chen, Jin Song Dong, Jun Sun Nov 2007

Machine-Assisted Proof Support For Validation Beyond Simulink, Chunqing Chen, Jin Song Dong, Jun Sun

Research Collection School Of Computing and Information Systems

Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we showed the idea of applying Timed Interval Calculus (TIC) to complement Simulink. In this paper, we develop machine-assisted proof support for Simulink models represented in TIC. The work is based on a generic theorem prover, Prototype Verification System (PVS). The TIC specifications of both Simulink models and requirements are transformed to PVS specifications automatically. Verification can be carried out at interval level with a high level of automation. Analysis of continuous and discrete behaviors is …


Modeling Semantics In Composite Web Service Requests By Utility Elicitation, Qianhui Althea Liang, Jen Yao Chung, Steven M. Miller Nov 2007

Modeling Semantics In Composite Web Service Requests By Utility Elicitation, Qianhui Althea Liang, Jen Yao Chung, Steven M. Miller

Research Collection School Of Computing and Information Systems

When meeting the challenges in automatic and semi-automatic Web service composition, capturing the user’s service demand and preferences is as important as knowing what the services can do. This paper discusses the idea of semantic service requests for composite services, and presents a multi-attribute utility theory (MAUT) based model of composite service requests. Service requests are modeled as user preferences and constraints. Two preference structures, additive independence and generalized additive independence, are utilized in calculating the expected utilities of service composition outcomes. The model is also based on an iterative and incremental scheme meant to better capture requirements in accordance …


Comment-Oriented Blog Summarization By Sentence Extraction, Meishan Hu, Ee Peng Lim, Aixin Sun Nov 2007

Comment-Oriented Blog Summarization By Sentence Extraction, Meishan Hu, Ee Peng Lim, Aixin Sun

Research Collection School Of Computing and Information Systems

Much existing research on blogs focused on posts only, ignoring their comments. Our user study conducted on summarizing blog posts, however, showed that reading comments does change one's understanding about blog posts. In this research, we aim to extract representative sentences from a blog post that best represent the topics discussed among its comments. The proposed solution first derives representative words from comments and then selects sentences containing representative words. The representativeness of words is measured using ReQuT (i.e., Reader, Quotation, and Topic). Evaluated on human labeled sentences, ReQuT together with summation-based sentence selection showed promising results.