Representing and applying knowledge for argumentation in a social context

The concept of argumentation in AI is based almost exclusively on the use of formal, abstract representations. Despite their appealing computational properties, these abstractions become increasingly divorced from their real world counterparts, and, crucially, lose the ability to express the rich gamut of natural argument forms required for creating effective text. In this paper, the demands that socially situated argumentation places on knowledge representation are explored, and the various problems with existing formalisations are discussed. Insights from argumentation theory and social psychology are then adduced as key contributions to a notion of social context which is both computationally tractable and suitably expressive for handling the complexities of argumentation found in natural language.     

Post-pass partitioning of signal processing programs

Symmetric multiprocessor systems are increasingly common, not only as high-throughput servers, but as a vehicle for executing a single application in parallel in order to reduce its execution latency. This article presents Pedigree, a compilation tool that employs a new partitioning heuristic based on the program dependence graph (PDG). Pedigree creates overlapping, potentially interdependent threads, each executing on a subset of the SMP processors that matches the thread’s available parallelism. A unified framework is used to build threads from procedures, loop nests, loop iterations, and smaller constructs. Pedigree does not require any parallel language support; it is post-compilation tool that reads in object code. The SDIO Signal and Data Processing Benchmark Suite has been selected as an example of real-time, latency-sensitive code. Its coarse-grained data flow parallelism is naturally exploited by Pedigree to achieve speedups of 1.63×/2.13× (mean/max) and 1.71×/2.41× on two and four processors, respectively. There is roughly a 20% improvement over existing techniques that exploit only data parallelism. By exploiting the unidirectional flow of data for coarse-grained pipelining, the synchronization overhead is typically limited to less than 6% for synchronization latency of 100 cycles, and less than 2% for 10 cycles. This research was supported by ONR contract numbers N00014-91-J-1518 and N00014-96-1-0347. We would like to thank the Pittsburgh Supercomputing Center for use of their Alpha systems.     

Trying to adopt systems development methodologies — a case-based exploration of business users' interests

Information systems methodologies are an important component of the IS infrastructure and a primary device for organizing systems development work. Evidence suggests that methodology adoption and use are problematic. This research seeks to generate insight into business users' interest in adoption through detailed examination of a case. A framework is developed for organizing relevant research findings. The field research methods are described and details of the case reported. The case highlights the role of business managers in methodology adoption and the influence of business pressures originating in the strategic environment. Analysis shows the organizing framework to require extension to include a more direct role for business decision makers. it is argued that previous research has obscured the legitimate concern of business with systems development methodologies. As business increasingly asserts its interest in and control over IS, it will be necessary to give greater consideration to the needs of business in the selection and adoption of methodologies.     

Towards quality requirements via animated formal specifications

Assuring a high quality requirements specification document involves both an early validation process and an increased level of participation. An approach and its supporting environment which combines the benefits of a formal system specification and its subsequent execution via a rapid prototype is reported. The environment assists in the construction, clarification, validation and visualisation of a formal specification. An illustrative case study demonstrates the consequences of assertions about system properties at this early stage of software development. Our approach involves the pragmatic combination of technical benefits of formal systems engineering based techniques with the context‐sensitive notions of increased participation of both developer and user stakeholders to move us closer towards a quality requirements specification document.     

Robust neurofuzzy rule base knowledge extraction and estimation using subspace decomposition combined with regularization and D-optimality.

A new robust neurofuzzy model construction algorithm has been introduced for the modeling of a priori unknown dynamical systems from observed finite data sets in the form of a set of fuzzy rules. Based on a Takagi-Sugeno (T-S) inference mechanism a one to one mapping between a fuzzy rule base and a model matrix feature subspace is established. This link enables rule based knowledge to be extracted from matrix subspace to enhance model transparency. In order to achieve maximized model robustness and sparsity, a new robust extended Gram-Schmidt (G-S) method has been introduced via two effective and complementary approaches of regularization and D-optimality experimental design. Model rule bases are decomposed into orthogonal subspaces, so as to enhance model transparency with the capability of interpreting the derived rule base energy level. A locally regularized orthogonal least squares algorithm, combined with a D-optimality used for subspace based rule selection, has been extended for fuzzy rule regularization and subspace based information extraction. By using a weighting for the D-optimality cost function, the entire model construction procedure becomes automatic. Numerical examples are included to demonstrate the effectiveness of the proposed new algorithm.     

Nonlinearity Measurements of High-Power Laser Detectors at NIST

We briefly explain the fundamentals of detector nonlinearity applicable to both electrical and optical nonlinearity measurements. We specifically discuss the attenuation method for optical nonlinearity measurement that the NIST system is based upon, and we review the possible sources of nonlinearity inherent to thermal detectors used with high-power lasers. We also describe, in detail, the NIST nonlinearity measurement system, in which detector responsivity can be measured at wavelengths of 1.06 µm and 10.6 µm, over a power range from 1 W to 1000 W. We present the data processing method used and show measurement results depicting both positive and negative nonlinear behavior. The expanded uncertainty of a typical NIST high-power laser detector calibration including nonlinearity characterization is about 1.3 %.     

Dissipation of Turbulent Kinetic Energy near a Bubble Plume

Profiles of the rate of dissipation of turbulent kinetic energy were inferred from temperature microstructure measurements near a bubble plume at the center of a tank with diameter of 13.7 m and maximum depth of 8.3 m. Six sets of between 18 and 51 profiles were collected at airflow rates of 0.1–0.6 L/s, measured at atmospheric pressure, and ensemble-averaged dissipation profiles were calculated. The dissipation in all cases was between 10?8 and 10?6?m2/s3 in most of the profile, but it increased sharply near the water surface. Energy considerations are used to discuss the experimental results in terms of previous numerical models of bubble plume turbulence. Two previous numerical studies show that the turbulence dissipates between 15 and 30% of the available power. In the experiments, the fraction is less than 1% because some of the energy of the plume is used to generate waves on the water surface and the profiles used to compute the volume-averaged dissipation were relatively far from the bubble plume.     

Calibration of AFM cantilever spring constants

In this paper we present two simple, reliable and readily applicable methods for calibrating cantilevers and measuring the thickness of thin gold films. The spring constant calibration requires knowledge of the Young's modulus, density of the cantilever and resonant frequency. The thickness of thin gold layers was determined by measuring changes in the resonant frequency and Q-factor of beam shaped AFM cantilevers before and after coating.The techniques for measuring the spring constant and thin film thickness provide accuracy on the order of 10-15%.     

Device-based decision-making for adaptation of three-dimensional content

The goal of this research was the creation of an adaptation mechanism for the delivery of three-dimensional content. The adaptation of content, for various network and terminal capabilities – as well as for different user preferences, is a key feature that needs to be investigated. Current state-of-the art research of the adaptation shows promising results for specific tasks and limited types of content, but is still not well-suited for massive heterogeneous environments. In this research, we present a method for transmitting adapted three-dimensional content to multiple target devices. This paper presents some theoretical and practical methods for adapting three-dimensional content, which includes shapes and animation. We also discuss practical details of the integration of our methods into MPEG-21 and MPEG-4 architectures.