The Complexity of MAP Inference in Bayesian Networks Specified Through Logical Languages

We study the computational complexity of finding maximum a posteriori configurations in Bayesian networks whose probabilities are specified by logical formulas. This approach leads to a fine grained study in which local information such as context-sensitive independence and determinism can be considered. It also allows us to characterize more precisely the jump from tractability to NP-hardness and beyond, and to consider the complexity introduced by evidence alone.

On the Ontological Quality and Logical Quality of Conceptual-Modeling Grammars: The Need for a Dual Perspective

A core activity in information systems development involves building a conceptual model of the domain that an information system is intended to support. Such models are created using a conceptual-modeling (CM) grammar. Just as high-quality conceptual models facilitate high-quality systems development, high-quality CM grammars facilitate high-quality conceptual modeling. This paper provides a new perspective on ways to improve the quality of the semantics of CM grammars. For many years, the leading approach to this topic has relied on ontological theory. We show, however, that the ontological approach captures only half the story. It needs to be coupled with a logical approach. We explain how the ontological quality and logical quality of CM grammars interrelate. Furthermore, we outline three contributions that a logical approach can make to evaluating the quality of CM grammars: a means of seeing some familiar conceptual-modeling problems in simpler ways; the illumination of new problems; and the ability to prove the benefit of modifying existing CM grammars in particular ways. We demonstrate these benefits in the context of the Entity-Relationship grammar. More generally, our paper opens up a new area of research with many opportunities for future research and practice.

Logic Brightens My Day: Evidence for Implicit Sensitivity to Logical Validity.

A key assumption of dual process theory is that reasoning is an explicit, effortful, deliberative process. The present study offers evidence for an implicit, possibly intuitive component of reasoning. Participants were shown sentences embedded in logically valid or invalid arguments. Participants were not asked to reason but instead rated the sentences for liking (Experiment 1) and physical brightness (Experiments 2-3). Sentences that followed logically from preceding sentences were judged to be more likable and brighter. Two other factors thought to be linked to implicit processing-sentence believability and facial expression-had similar effects on liking and brightness ratings. The authors conclude that sensitivity to logical structure was implicit, occurring potentially automatically and outside of awareness. They discuss the results within a fluency misattribution framework and make reference to the literature on discourse comprehension. 

The use of morphological characteristics and texture analysis in the identification of tissue composition in prostatic neoplasia

Quantitative examination of prostate histology offers clues in the diagnostic classification of lesions and in the prediction of response to treatment and prognosis. To facilitate the collection of quantitative data, the development of machine vision systems is necessary. This study explored the use of imaging for identifying tissue abnormalities in prostate histology. Medium-power histological scenes were recorded from whole-mount radical prostatectomy sections at × 40 objective magnification and assessed by a pathologist as exhibiting stroma, normal tissue (nonneoplastic epithelial component), or prostatic carcinoma (PCa). A machine vision system was developed that divided the scenes into subregions of 100 × 100 pixels and subjected each to image-processing techniques. Analysis of morphological characteristics allowed the identification of normal tissue. Analysis of image texture demonstrated that Haralick feature 4 was the most suitable for discriminating stroma from PCa. Using these morphological and texture measurements, it was possible to define a classification scheme for each subregion. The machine vision system is designed to integrate these classification rules and generate digital maps of tissue composition from the classification of subregions; 79.3% of subregions were correctly classified. Established classification rates have demonstrated the validity of the methodology on small scenes; a logical extension was to apply the methodology to whole slide images via scanning technology. The machine vision system is capable of classifying these images. The machine vision system developed in this project facilitates the exploration of morphological and texture characteristics in quantifying tissue composition. It also illustrates the potential of quantitative methods to provide highly discriminatory information in the automated identification of prostatic lesions using computer vision.

From 'Good as Gold' to 'Gold Diggers': Farming Women and the Survival of British Family Farming

The survival of family farming in British agriculture has long been a topic of interest for rural researchers and is undergoing something of a current renewal of interest. However, insights from feminist approaches remain underutilised despite the crucial role farming women continue to play in family farming. This paper addresses the unity of farm, family and business by interpreting it as a patriarchal â??way of lifeâ??. An ethnographic-informed repeated life history methodology is employed to study in detail the family members of seven farms in rural mid-Wales. Findings show that the recent survival of the family farms investigated has been heavily dependent upon compliance with a patriarchal ideology that demands women be â??as good as goldâ??. However, it is discovered that a new view of women is emerging in the world of British family farming, that of â??gold diggerâ??. Women entering relationships with farming men are increasingly being considered a threat to farm survival by virtue of their entitlements if the relationship breaks down. The necessity to study the intricacies of personal relationships in family farming has important implications for most future research into this form of agricultural business arrangement.

Fusion rules for merging uncertain information

In previous papers, we have presented a logic-based framework based on fusion rules for merging structured news reports. Structured news reports are XML documents, where the textentries are restricted to individual words or simple phrases, such as names and domain-specific terminology, and numbers and units. We assume structured news reports do not require natural language processing. Fusion rules are a form of scripting language that define how structured news reports should be merged. The antecedent of a fusion rule is a call to investigate the information in the structured news reports and the background knowledge, and the consequent of a fusion rule is a formula specifying an action to be undertaken to form a merged report. It is expected that a set of fusion rules is defined for any given application. In this paper we extend the approach to handling probability values, degrees of beliefs, or necessity measures associated with textentries in the news reports. We present the formal definition for each of these types of uncertainty and explain how they can be handled using fusion rules. We also discuss the methods of detecting inconsistencies among sources.

Description and search labor for information retrieval

Selection power is taken as the fundamental value for information retrieval systems. Selection power is regarded as produced by selection labor, which itself separates historically into description and search labor. As forms of mental labor, description and search labor participate in the conditions for labor and for mental labor. Concepts and distinctions applicable to physical and mental labor are indicated, introducing the necessity of labor for survival, the idea of technology as a human construction, and the possibility of the transfer of human labor to technology. Distinctions specific to mental labor, particular between semantic and syntactic labor, are introduced. Description labor is exemplified by cataloging, classification, and database description, can be more formally understood as the labor involved in the transformation of objects for description into searchable descriptions, and is also understood to include interpretation. The costs of description labor are discussed. Search labor is conceived as the labor expended in searching systems. For both description and search labor, there has been a progressive reduction in direct human labor, with its syntactic aspects transferred to technology, effectively compelled by the high relative costs of direct human labor compared to machine processes.

Pierre Bourdieu as a Sociologist of the Economy and Critic of 'Globalisation'

This article examines Pierre Bourdieu's sociology of the economy and his more recent politically engaged interventions on 'globalisation'. Many scholars regard these as not being in the same academic league as his classic studies on taste, academia, and state elites, etc., and, instead, dismiss them as a private matter or even, as the spleen of Pierre Bourdieu, the individual. This paper questions this disjunction of the 'academic' and 'politically engaged' sides of Pierre Bourdieu's work. First, it argues that his most recent interventions against a neo-liberal globalisation were the logical result of a particular definition of intellectual practice that had been outlined before in his sociology of the intellectual field. It then demonstrates that Bourdieu's economic sociology and critique of contemporary capitalism not only does not contradict his earlier research, but that it provides valuable and original insights into the current transformation of the political economy of the advanced capitalist countries. The paper concludes with a suggestion of how to strengthen the theoretical foundation of Bourdieu's analysis of contemporary capitalism by relating it to and making it compatible with alternative approaches in the tradition of critical political economy.

RNA expression analysis from formalin fixed paraffin embedded tissues

Formalin fixation and paraffin embedding (FFPE) is the most commonly used method worldwide for tissue storage. This method preserves the tissue integrity but causes extensive damage to nucleic acids stored within the tissue. As methods for measuring gene expression such as RT-PCR and microarray are adopted into clinical practice there is an increasing necessity to access the wealth of information locked in the Formalin fixation and paraffin embedding archives. This paper reviews the progress in this field and discusses the unique opportunities that exist for the application of these techniques in the development of personalized medicine.

Strasheela: Design and usage of a music composition environment based on the Oz programming model

Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for complex polyphonic scores. Strasheela enables the user to define expressive compositional rules and then to apply them to the score. Compositional rules can restrict many aspects of the music - including the rhythmic structure, the melodic structure and the harmonic structure - by constraining the parameters (e.g. duration or pitch) of musical events according to some numerical or logical relation. Strasheela combines this expressivity with efficient search strategies.

Application of Heuristic Evaluation Method by Universal Design Experts

This study highlights how heuristic evaluation as a usability evaluation method can feed into current building design practice to conform to universal design principles. It provides a definition of universal usability that is applicable to an architectural design context. It takes the seven universal design principles as a set of heuristics and applies an iterative sequence of heuristic evaluation in a shopping mall, aiming to achieve a cost-effective evaluation process. The evaluation was composed of three consecutive sessions. First, five evaluators from different professions were interviewed regarding the construction drawings in terms of universal design principles. Then, each evaluator was asked to perform the predefined task scenarios. In subsequent interviews, the evaluators were asked to re-analyze the construction drawings. The results showed that heuristic evaluation could successfully integrate universal usability into current building design practice in two ways: (i) it promoted an iterative evaluation process combined with multi-sessions rather than relying on one evaluator and on one evaluation session to find the maximum number of usability problems, and (ii) it highlighted the necessity of an interdisciplinary ad hoc committee regarding the heuristic abilities of each profession. A multi-session and interdisciplinary heuristic evaluation method can save both the project budget and the required time, while ensuring a reduced error rate for the universal usage of the built environments.

Multiple Input Governor Control for a Diesel Generating Set

The paper presents a multiple input single output fuzzy logic governor algorithm that can be used to improve the transient response of a diesel generating set, when supplying an islanded load. The proposed governor uses the traditional speed input in addition to voltage and power factor to modify the fuelling requirements during various load disturbances. The use of fuzzy logic control allows the use of PID type structures that can provide variable gain strategies to account for non-linearities in the system. Fuzzy logic also provides a means of processing other input information by linguistic reasoning and a logical control output to aid the governor action during transient disturbance. The test results were obtained using a 50 kVA naturally aspirated diesel generator testing facility. Both real and reactive load tests were conducted. The complex load test results demonstrate that, by using additional inputs to the governor algorithm, enhanced generator transient speed recovery response can be obtained.

Development of a QSPR correlation for the parachor of 1,3-dialkyl imidazolium based ionic liquids

Ionic liquids have received significant interest from both academia and industry for a wide range of applications which often requires knowledge of their thermophysical properties. Quantitative structure-property relationship correlations and group contribution methods for thermophysical properties of ionic liquids are a basic necessity for the development of computer aided molecular design approaches for these liquids and subsequently offer the potential for designing an ionic liquid having a desirable set of thermophysical properties. However, the limited availability of experimental thermophysical data and their quality have prevented the development of such tools. Based on previously reported experimental surface tension data, a correlation of the parachors with the molar volume of the ionic liquids has been developed. The predicted parachor values have been shown to be in good agreement with the experimental data. A maximum deviation of

Voltammetric Currents in Room Temperature Ionic Liquids Can Reflect Solutes Other Than the Electroactive Species and Are Influenced by Carbon Dioxide

The effects of such solutes such as halides and water on the physical properties of room temperature ionic liquids (RTILs) have been extensively studied, This work examines the effect of the solute carbon dioxide on the RTIL 1-ethyl-3-methylimidazolium bis(trifluoromethane-sulfonyl)imide ([C(2)mim][NTf2]) and its influence on the electrochemical characterization of the important redox couple ferrocene/ferrocenium (Fc/Fc(+)). The system was studied using cyclic voltammetry, chronoamperometry, and electron spin resonance (ESR) spectroscopy. Addition Of 100% CO2 to a solution of Fc in [C(2)mim][NTf2] resulted in a substantial increase in both the limiting oxidative current and diffusion coefficient of Fc. Arrhenius plots of Fc diffusion coefficients in the pure and CO2-saturated ionic liquid revealed a decrease in activation energy of translational diffusion from 29.0 (+/- 0.5) kJ mol(-1) to 14.7 (+/- 1.6) kJ mol(-1), suggesting a reduction in the viscosity of the ionic liquid with addition Of CO2. ESR spectroscopy was then used to calculate the rotational correlation coefficients of a probe molecule, 2,2,6,6-tetramethyl-1-piperinyloxyl (TEMPO), to add supporting evidence to this hypothesis. Arrhenius plots of rotational correlation coefficients in the pure and CO2-saturated ionic liquid resulted in a similar drop in activation energy from 28.7 (+/- 2.1) kJ mol(-1) to 18.2 (+/- 5.6) kJ mol(-1). The effect of this solute on the ionic liquid [C(2)mim][NTf2] and on the electrochemical measurements of the Fc/Fc(+) couple emphasizes the necessity of fastidious sample preparation, as it is clear that the voltammetric currents of the electroactive species under study are influenced by the presence of CO2 in solution. The voltammetric response of the electroactive species in RTILs cannot be assumed to be independent of other solutes.

So mechanical or routine: The not original in Feist

The United States Supreme Court case of 1991, Feist Publications, Inc. v. Rural Tel. Service Co., continues to be highly significant for property in data and databases, but remains poorly understood. The approach taken in this article contrasts with previous studies. It focuses upon the “not original” rather than the original. The delineation of the absence of a modicum of creativity in selection, coordination, and arrangement of data as a component of the not original forms a pivotal point in the Supreme Court decision. The author also aims at elucidation rather than critique, using close textual exegesis of the Supreme Court decision. The results of the exegesis are translated into a more formal logical form to enhance clarity and rigor.


The insufficiently creative is initially characterized as “so mechanical or routine.” Mechanical and routine are understood in their ordinary discourse senses, as a conjunction or as connected by AND, and as the central clause. Subsequent clauses amplify the senses of mechanical and routine without disturbing their conjunction.


The delineation of the absence of a modicum of creativity can be correlated with classic conceptions of computability. The insufficiently creative can then be understood as a routine selection, coordination, or arrangement produced by an automatic mechanical procedure or algorithm. An understanding of a modicum of creativity and of copyright law is also indicated.


The value of the exegesis and interpretation is identified as its final simplicity, clarity, comprehensiveness, and potential practical utility.