Physical Sciences and Mathematics Commons^™

Model Generation For Generalized Quantifiers Via Answer Set Programming, Yuliya Lierler, Günther Görz

Computer Science Faculty Proceedings & Presentations

For the semantic evaluation of natural language sentences, in particular those containing generalized quantifiers, we subscribe to the generate and test methodology to produce models of such sentences. These models are considered as means by which the sentences can be interpreted within a natural language processing system. The goal of this paper is to demonstrate that answer set programming is a simple, efficient and particularly well suited model generation technique for this purpose, leading to a straightforward implementation.

Elementary Sets For Logic Programs, Martin Gebser, Joohyung Lee, Yuliya Lierler

Computer Science Faculty Proceedings & Presentations

By introducing the concepts of a loop and a loop formula, Lin and Zhao showed that the answer sets of a nondisjunctive logic program are exactly the models of its Clark’s completion that satisfy the loop formulas of all loops. Recently, Gebser and Schaub showed that the Lin-Zhao theorem remains correct even if we restrict loop formulas to a special class of loops called “elementary loops.” In this paper, we simplify and generalize the notion of an elementary loop, and clarify its role. We propose the notion of an elementary set, which is almost equivalent to the notion of an …

Experiments With Sat-Based Answer Set Programming, Enrico Giunchiglia, Yuliya Lierler, Marco Maratea, A. Tacchella

Computer Science Faculty Proceedings & Presentations

Answer Set Programming (ASP) emerged in the late 1990s as a new logic programming paradigm which has been successfully applied in various application domains. Propositional satisfiability (SAT) is one of the most studied problems in Computer Science. ASP and SAT are closely related: Recent works have studied their relation, and efficient SAT-based ASP solvers (like assat and Cmodels) exist. In this paper we report about (i) the extension of the basic procedures in Cmodels in order to incorporate the most popular SAT reasoning strategies, and (ii) an extensive comparative analysis involving also other state-of-the-art answer set solvers. The experimental analysis …

Topologies Of Agents Interactions In Knowledge Intensive Multi-Agentsystems For Networked Information Services, Qiuming Zhu

Computer Science Faculty Publications

Agents in a multi-agent system (mAS) could interact and cooperate in many different ways. The topology of agent interaction determines how the agents control and communicate with each other, what are the control and communication capabilities of each agent and the whole system, and how efficient the control and communications are. In consequence, the topology affects the agents’ ability to share knowledge, integrate knowledge, and make efficient use of knowledge in MAS. This paper presents an overview of four major MAS topologic models, assesses their advantages and disadvantages in terms of agent autonomy, adaptation, scalability, and efficiency of cooperation. Some …

Model Checking Control Communication Of A Facts Device, David Andrew Cape

Masters Theses

"This thesis concerns the design and verification of a real-time communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such systems, a certain amount of data loss without recovery may be tolerated. The key issue is to design and verify the correctness in the presence of these lost data frames under real-time constraints. This thesis describes a temporal verification that if the end processes do not detect that too many frames are lost, defined by comparison of error counters against given threshold values, then there will be a bounded delay between transmission of …

Ubvi Ccd Photometry Of The Old Open Cluster Berkeley 17, Zosia A. C. Krusberg, Brian Chaboyer

Dartmouth Scholarship

Photometric UBVI CCD photometry is presented for NGC 188 and Berkeley 17. Color-magnitude diagrams (CMDs) are constructed and reach well past the main-sequence turnoff for both clusters. Cluster ages are determined by means of isochrone fitting to the cluster CMDs. These fits are constrained to agree with spectroscopic metallicity and reddening estimates. Cluster ages are determined to be 7.0 ± 0.5 Gyr for NGC 188 and 10.0 ± 1.0 Gyr for Berkeley 17, where the errors refer to uncertainties in the relative age determinations. These ages are compared to the ages of relatively metal-rich inner halo/thick-disk globular clusters and other …

A New Color-Magnitude Diagram For Palomar 11, Matthew S. Lewis, W. M. Liu, N. E. Q. Paust, Brian Chaboyer

Dartmouth Scholarship

We present new photometry for the Galactic thick-disk globular cluster Palomar 11 extending well past the main-sequence turnoff in the V and I bands. This photometry shows noticeable, but depleted, red giant and subgiant branches. The difference in magnitude between the red horizontal branch (red clump) and the subgiant branch is used to determine that Palomar 11 has an age of 10.4 ± 0.5 Gyr. The red clump is used to derive a distance d_⊙ = 14.3 ± 0.4 kpc and a mean cluster reddening of E(V - I) = 0.40 ± 0.03. There is differential …

Discovery Of Outlying High-Velocity Oxygen-Rich Ejecta In Cassiopeia A, Robert A. Fesen, Molly C. Hammell, Jon Morse, Roger A. Chevalier, Kazimierz J. Borkowski, Michael A. Dopita, Christopher L. Gerardy, Stephen S. Lawrence, John C. Raymond, Sydney Van Den Bergh

Dartmouth Scholarship

Analysis of broadband HST ACS and WFPC2 images of the young Galactic supernova remnant Cassiopeia A reveals a far larger population of outlying, high-velocity knots of ejecta with a broader range of chemical properties than previously suspected. ACS filte r flux ratios along with follow-up, ground-based spectra are used to investigate some of the kinema tic and chemical properties of these outermost ejecta. In this paper, we concentrate on a ≃ 1.5 sq arcmin region located along the eastern limb of the remnant where numerous outer emission knots are optica lly visible due to an interaction with a local circumstellar …

Cian: A Language And Middleware For Collaboration In Ad Hoc Networks, Rohan Sen, Gruia-Catalin Roman, Andrew Frank

All Computer Science and Engineering Research

Designing software that supports collaboration among multiple users in mobile ad hoc networks is challenging due to the dynamic network topology and inherent unpredictability of the environment. However, as we increasingly migrate to using mobile computing platforms, there is a pertinent need for software that can support a wide range of collaborative activities anywhere and at any time without relying on any external infrastructure. In this paper, we adopt the workflow model to represent the structure of an activity that involves multiple tasks being performed in a structured, collaborative fashion by multiple users. Using the workflow model as a base, …

A Query-Centric Approach To Supporting The Development Of Context-Aware Applications For Mobile Ad Hoc Networks, Doctoral Dissertation, August 2006, Jamie Payton

All Computer Science and Engineering Research

The wide-spread use of mobile computing devices has led to an increased demand for applications that operate dependably in opportunistically formed networks. A promising approach to supporting software development for such dynamic settings is to rely on the context-aware computing paradigm, in which an application views the state of the surrounding ad hoc network as a valuable source of contextual information that can be used to adapt its behavior. Collecting context information distributed across a constantly changing network remains a significant technical challenge. This dissertation presents a query-centered approach to simplifying context interactions in mobile ad hoc networks. Using such …

Flexible Maximum Urgency First Scheduling For Distributed Real-Time Systems, Yingming Chen, Chenyang Lu

All Computer Science and Engineering Research

No abstract provided.

A Comprehensive Analysis Of The Effect Of Microarray Data, Monika Ray, Johannes Freudenberg, Weixiong Zhang

All Computer Science and Engineering Research

Background: Microarray data preprocessing, such as differentially expressed (DE) genes selection, is performed prior to higher level statistical analysis in order to account for technical variability. Preprocessing for the Affymetrix GeneChip includes background correction, normalisation and summarisation. Numerous preprocessing methods have been proposed with little consensus as to which is the most suitable. Furthermore, due to poor concordance among results from cross-platform analyses, protocols are being developed to enable cross-platform reproducibility. However, the effect of data analysis on a single platform is still unknown. The objective of our study is two-fold: first to determine whether there is consistency in the …

Adaptive Embedded Roadmaps For Sensor Networks, Gazihan Alankus, Nuzhet Atay, Chenyang Lu, Burchan Bayazit

All Computer Science and Engineering Research

In this paper, we propose a new approach to wireless sensor network assisted navigation while avoiding moving dangers. Our approach relies on an embedded roadmap in the sensor network that always contains safe paths. The roadmap is adaptive, i.e., it adapts its topology to changing dangers. The mobile robots in the environment uses the roadmap to reach their destinations. We evaluated the performance of embedded roadmap both in simulations using realistic conditions and with real hardware. Our results show that the proposed navigation algorithm is better suited for sensor networks than traditional navigation field based algorithms. Our observations suggest that …

Knuth-Bendix Completion With Modern Termination Checking, Master's Thesis, August 2006, Ian Wehrman

All Computer Science and Engineering Research

Knuth-Bendix completion is a technique for equational automated theorem proving based on term rewriting. This classic procedure is parametrized by an equational theory and a (well-founded) reduction order used at runtime to ensure termination of intermediate rewriting systems. Any reduction order can be used in principle, but modern completion tools typically implement only a few classes of such orders (e.g., recursive path orders and polynomial orders). Consequently, the theories for which completion can possibly succeed are limited to those compatible with an instance of an implemented class of orders. Finding and specifying a compatible order, even among a small number …

A View-Based Deformation Tool-Kit, Master's Thesis, August 2006, Nisha Sudarsanam

All Computer Science and Engineering Research

Camera manipulation is a hard problem since a graphics camera is defined by specifying 11 independent parameters. Manipulating such a high-dimensional space to accomplish specific tasks is difficult and requires a certain amount of expertise. We present an intuitive interface that allows novice users to perform camera operations in terms of the change they want see in the image. In addition to developing a natural means for camera interaction, our system also includes a novel interface for viewing and organizing previously saved views. When exploring complex 3D data-sets a single view is not sufficient. Instead, a composite view built from …

Link Layer Support For Unified Radio Power Management In Wireless Sensor Networks, Kevin Klues, Guoliang Xing, Chenyang Lu

All Computer Science and Engineering Research

Radio power management is of paramount concern in wireless sensor networks that must achieve long lifetimes on scarce amounts of energy. While a multitude of power management protocols have been proposed in the past, the lack of system support for flexibly integrating them with a diverse set of applications and network platforms has made them difficult to use. Instead of proposing yet another power management protocol, this paper focuses on providing link layer support towards realizing a Unified Power Management Architecture (UPMA) for flexible radio power management in wireless sensor networks. In contrast to the monolithic approaches adopted by existing …

On Improving Wireless Broadcast Reliability Of Sensor Networks Using Erasure Codes, Rajnish Kumar, Arnab Paul, Umakishore Ramachandran, David Kotz

Dartmouth Scholarship

Efficient and reliable dissemination of information over a large area is a critical ability of a sensor network for various reasons such as software updates and transferring large data objects (e.g., surveillance images). Thus efficiency of wireless broadcast is an important aspect of sensor network deployment. In this paper, we study FBcast, a new broadcast protocol based on the principles of modern erasure codes. We show that our approach provides high reliability, often considered critical for disseminating codes. In addition FBcast offers limited data confidentiality. For a large network, where every node may not be reachable by the source, we …

Using Electron Backscatter Diffraction Patterns To Examine Recrystallization In Polar Ice Sheets, Rachel Obbard, Ian Baker, Katherine Sieg

Dartmouth Scholarship

The fabric of polycrystalline ice is typically described using the c-axis orientation alone, but this is insufficient for a full description of grain orientations in this hexagonal material. Electron backscatter diffraction (EBSD) provides full c- and a-axis orientation of individual grains, and is used here to study Greenland Ice Sheet Project 2 (GISP2) ice specimens from depths of 1551, 1642 and 1745 m. Complete orientation data are used to compare nearest-neighbor relationships to overall fabric and to differentiate between recrystallization mechanisms. Changes in orientation between grains and subgrains in GISP2 specimens were correlated with the appearance of grain boundaries on …

Variational Approach To The Volume Viscosity Of Fluids, Allan J. Zuckerwar, Robert L. Ash

Mechanical & Aerospace Engineering Faculty Publications

The variational principle of Hamilton is applied to develop an analytical formulation to describe the volume viscosity in fluids. The procedure described here differs from those used in the past in that a dissipative process is represented by the chemical affinity and progress variable (sometimes called "order parameter") of a reacting species. These state variables appear in the variational integral in two places: first, in the expression for the internal energy, and second, in a subsidiary condition accounting for the conservation of the reacting species. As a result of the variational procedure, two dissipative terms appear in the Navier-Stokes equation. …

An Empirical Analysis Of Ceo Employment Contracts: What Do Top Executives Bargain For?, Stewart J. Schwab, Randall S. Thomas

Cornell Law Faculty Publications

สรุปสถานการณ์สิ่งแวดล้อม ปี 48

Thai Environment

No abstract provided.

สัมภาษณ์พิเศษ : นายอภิรักษ์ โกษะโยธิน ผู้ว่าราชการกรุงเทพมหานคร นโยบายสิ่งแวดล้อม เพื่อ (ของ) คนกรุงเทพฯ ปี 49

Thai Environment

No abstract provided.

จากอดีต-ปัจจุบัน—สู่อนาคต กับการเฝ้าระวังภัยพิบัติธรรมชาติ, พันธวัศ สัมพันธ์พานิช, สิริพร แก่นสียา

Thai Environment

No abstract provided.

ใครจะเป็นเจ้าภาพ...การจัดการของเสียอันตราย, กรองแก้ว ทิพยศักดิ์

Thai Environment

No abstract provided.

ขยะอิเล็กทรอนิกส์...อันตรายที่คุณช่วยได้, สุพัตรา วิเศษสุข

Thai Environment

No abstract provided.

เรื่องเก่าที่คุ้นเคย.....กับคำใหม่ที่เรียกว่า.....Phytoremediation., พันธวัศ สัมพันธ์พานิช

Thai Environment

No abstract provided.

กลยุทธ์ในการจัดการสิ่งแวดล้อมของชุมชน, กลิ่นประทุม ปัญญาปิง

Thai Environment

No abstract provided.

แผนการจัดการน้ำเสีย ฟื้นฟู ปรับปรุงระบบรวบรวม และบำบัดน้ำเสียรวมของชุมชนทั่วประเทศ, ชลาทิพย์ รัตสุข, กนกวรรณ กอเจริญ, สมชาย ทรงประกอบ

Thai Environment

No abstract provided.

การพัฒนาอุตสาหกรรมเชิงนิเวศ : แนวคิดใหม่ของการพัฒนาอย่างยั่งยืน และเพื่อการอยู่รอดในการแข่งขันทางการค้าระดับโลก, อรทัย ชวาลภาฤทธิ์

Thai Environment

No abstract provided.

แนะนําโครงการสถาบันวิจัยสภาวะแวดล้อม : การบริหารจัดการทรัพยากรในพื้นที่ลุ่มน้ำแบบบูรณาการอย่างยั่งยืน โดยใช้หลักการการจัดการดิน น้ำและประชากร (Land - Water - Population Management (Lwpm) Concept): กรณีศึกษา ลุ่มน้ำของและลุ่มน้ำยัง

Thai Environment

No abstract provided.