Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation

We propose a new approach for producing precise constrained slices of programs in a language such as C. We build upon a previous approach for this problem, which is based on term-rewriting, which primarily targets loop-free fragments and is fully precise in this setting. We incorporate abstract interpretation into term-rewriting, using a given arbitrary abstract lattice, resulting in a novel technique for slicing loops whose precision is linked to the power of the given abstract lattice. We address pointers in a first-class manner, including when they are used within loops to traverse and update recursive data structures. Finally, we illustrate the comparative precision of our slices over those of previous approaches using representative examples.

An Extension of Self-Organizing Maps to Categorical Data

Self-organizing maps (SOM) have been recognized as a powerful tool in data exploratoration, especially for the tasks of clustering on high dimensional data. However, clustering on categorical data is still a challenge for SOM. This paper aims to extend standard SOM to handle feature values of categorical type. A batch SOM algorithm (NCSOM) is presented concerning the dissimilarity measure and update method of map evolution for both numeric and categorical features simultaneously.

An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction

23 p. -- An extended abstract of this work appears in the proceedings of the 2012 ACM/IEEE Symposium on Logic in Computer Science

Beel fisheries of Assam - community-based co-management imperative

The freshwater wetlands (beels) of Assam, India, cover an area of 101 232 ha. For the rural poor, the neighboring wetlands are the only source of fish. They depend on them for their daily consumption of fish as well as a source of livelihood. Ecoenergy studies indicate that these wetlands have a fairly high production potential. However, the current regulations and system of management are not conducive to sustainable production from these water bodies. It is resulting in overexploitation and degradation. It is imperative some form of co-management with local communities be established for the beels of Assam.

Sustainability: A new imperative in contaminated land remediation

Land is not only a critical component of the earth's life support system, but also a precious resource and an important factor of production in economic systems. However, historical industrial operations have resulted in large areas of contaminated land that are only slowly being remediated. In recent years, sustainability has drawn increasing attention in the environmental remediation field. In Europe, there has been a movement towards sustainable land management; and in the US, there is an urge for green remediation. Based on a questionnaire survey and a review of existing theories and empirical evidence, this paper suggests the expanding emphasis on sustainable remediation is driven by three general factors: (1) increased recognition of secondary environmental impacts (e.g., life-cycle greenhouse gas emissions, air pollution, energy consumption, and waste production) from remediation operations, (2) stakeholders' demand for economically sustainable brownfield remediation and "green" practices, and (3) institutional pressures (e.g., social norm and public policy) that promote sustainable practices (e.g., renewable energy, green building, and waste recycling). This paper further argues that the rise of the "sustainable remediation" concept represents a critical intervention point from where the remediation field will be reshaped and new norms and standards will be established for practitioners to follow in future years. This paper presents a holistic view of sustainability considerations in remediation, and an integrated framework for sustainability assessment and decision making. The paper concludes that "sustainability" is becoming a new imperative in the environmental remediation field, with important implications for regulators, liability owners, consultants, contractors, and technology vendors. © 2014 Elsevier Ltd.

A European Perspective on the Precautionary Principle, Food Safety and the Free Trade Imperative of the WTO

A European Perspective on the Precautionary Principle, Food Safety and the Free Trade Imperative of the WTO. European Law Review, Vol.27, No.2. April 2002, pp.138-155. RAE2008

StaXML: Static Typing of XML Document Fragments for Imperative Web Scripting Languages

We present a type system, StaXML, which employs the stacked type syntax to represent essential aspects of the potential roles of XML fragments to the structure of complete XML documents. The simplest application of this system is to enforce well-formedness upon the construction of XML documents without requiring the use of templates or balanced "gap plugging" operators; this allows it to be applied to programs written according to common imperative web scripting idioms, particularly the echoing of unbalanced XML fragments to an output buffer. The system can be extended to verify particular XML applications such as XHTML and identifying individual XML tags constructed from their lexical components. We also present StaXML for PHP, a prototype precompiler for the PHP4 scripting language which infers StaXML types for expressions without assistance from the programmer.

Examining Relationships between Culture, Creativity and Business Stage in an Emerging Market: A Categorical Data Analysis of Vietnam’s Data Set

In this article, we offer a new way of exploring relationships between three different dimensions of a business operation, namely the stage of business development, the methods of creativity and the major cultural values. Although separately, each of these has gained enormous attention from the management research community, evidenced by a large volume of research studies, there have been not many studies that attempt to describe the logic that connect these three important aspects of a business; let alone empirical evidences that support any significant relationships among these variables. The paper also provides a data set and an empirical investigation on that data set, using a categorical data analysis, to conclude that examinations of these possible relationships are meaningful and possible for seemingly unquantifiable information. The results also show that the most significant category among all creativity methods employed in Vietnamese enterprises is the “creative disciplines” rule in the “entrepreneurial phase,” while in general creative disciplines have played a critical role in explaining the structure of our data sample, for both stages of development in our consideration.