Temporal representation of state transitions

This paper describes a knowledge-based temporal representation of state transitions for industrial real-time systems. To allow expression of uncertainty, we shall define fluents as disjuncts of positive/negative time-varying properties. A state of the world is represented as a collection of fluents, which is usually incomplete in the sense that neither the positive form nor the negative form of some properties can be implied from it. The world under consideration is assumed to persist in a given state until an action(s) takes place to effect a transition of it into another state, where actions may either be instantaneous or durative. High-level causal laws are characterized in terms of relationships between actions and the involved world states. An effect completion axiom is imposed on each causal law to guarantee that all the fluents that can be affected by the performance of the corresponding action are governed. This completion requirement is practical for most industrial real-time applications and in fact provides a simple and effective treatment to the so-called frame problem.

Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

Optimising vessel layout using human factors simulation

Evaluating ship layout for human factors (HF) issues using simulation software such as maritimeEXODUS can be a long and complex process. The analysis requires the identification of relevant evaluation scenarios; encompassing evacuation and normal operations; the development of appropriate measures which can be used to gauge the performance of crew and vessel and finally; the interpretation of considerable simulation data. In this paper we present a systematic and transparent methodology for assessing the HF performance of ship design which is both discriminating and diagnostic.

The Afroporteña press and Afro-Argentine’s thought in the late nineteenth century

The journalistic boom that occurred in Argentina from the second half of the nineteenth century saw the emergence of an active afroporteña press that defend the interests of the black community. This paper, in addition to reviewing the history of the Afro-Argentines newspapers, emphasizes the role played by the elite of African descent in the promotion of modernity among his brothers, while exploring the possible bases for an identity in the ideas spread.

Genomic organization, complex splicing pattern and expression of a human septin gene on chromosome 17q25.3

The Ov/Br septin gene, which is also a fusion partner of MLL in acute myeloid leukaemia, is a member of a family of novel GTP binding proteins that have been implicated in cytokinesis and exocytosis. In this study, we describe the genomic and transcriptional organization of this gene, detailing seventeen exons distributed over 240 kb of sequence. Extensive database analyses identified orthologous rodent cDNAs that corresponded to new, unidentified 5' splice variants of the Ov/Br septin gene, increasing the total number of such variants to six. We report that splicing events, occurring at non-canonical sites within the body of the 3' terminal exon, remove either 1801 bp or 1849 bp of non-coding sequence and facilitate access to a secondary open reading frame of 44 amino acids maintained near the end of the 3' UTR. These events constitute a novel coding arrangement and represent the first report of such a design being implemented by a eukaryotic gene. The various Ov/Br proteins either differ minimally at their amino and carboxy termini or are equivalent to truncated versions of larger isoforms. Northern analysis with an Ov/Br septin 3' UTR probe reveals three transcripts of 4.4, 4 and 3 kb, the latter being restricted to a sub-set of the tissues tested. Investigation of the identified Ov/Br septin isoforms by RT-PCR confirms a complex transcriptional pattern, with several isoforms showing tissue-specific distribution. To date, none of the other human septins have demonstrated such transcriptional complexity.

Rapid Early Growth is Associated With Increased Risk of Childhood Type 1 Diabetes in Various European Populations

OBJECTIVE: To confirm that early growth is associated with type 1 diabetes risk in European children and elucidate any role of infant feeding. RESEARCH DESIGN AND METHODS: Five centers participated, each with a population-based register of type 1 diabetes diagnosed at

Anna Magdalena as Bach's Copyist

Among the wives of eighteenth-century composers, no one is perhaps more favourably and affectionately described than Bach's second wife, Anna Magdalena (1701-1760). She has been commonly pictured as her husband's trusted assistant, copying his works in handwriting which closely resembled her husband's beautiful calligraphy. No one appreciates her contributions more than today's musicologists, for her copies are usually 'neat and accurate', and are often among the most important primary sources when Bach's autographs do not survive. Occasionally, however, it is difficult to accommodate this patronising view of her role and its significance. It is well known, for instance, that her copy of Bach's Cello Suites (BWV 1007-1012) contains an unusually large number of inaccuracies and copying errors. One must ask how many of these blunders should be ascribed to her. How would a 'neat and accurate' copyist produce such an error-ridden manuscript if she had made it from a fair copy? In this paper, I shall first discuss Anna's copies of Bach's works, and see if any particular patterns or tendencies in her copying activities emerge when these are placed in this broader chronological context. In an attempt to evaluate her performance as a copyist, I shall look at typical situations in which she worked, while at the same time seeking to discover what additional values her copies may bring to our studies of Bach's life and works.

Joaquim Mir y la tienda de juguetes: microhistoria de un retrato

¿Puede un retrato pictórico suscitar un ejercicio de microhistoria? Nuestra investigación tratará de aportar una respuesta positiva a esta cuestión, analizando para ello uno de los pocos retratos del pintor postimpresionista Joaquim Mir Trinxet, fechado en 1926. El protagonista representado no es otro que el suegro del pintor, Antoni Estalella i Trinxet, un insigne personaje de Vilanova y la Geltrú (Barcelona) que vivió entre dos siglos. La obra está ambientada en la tienda de juguetes de la familia, convirtiéndose así en una de las escasas pinturas que han captado el interior de una juguetería en la España anterior a la Guerra Civil. Gracias a los trabajos de archivo realizados, este artículo reúne diversos documentos inéditos que permiten reconstruir no sólo la vida del retratado, que llegó a ser corresponsal de Francisco Pi y Margall, sino también el ambiente social, artístico y comercial de Vilanova, en un período que abarca desde la década de 1870 a la primera mitad del siglo XX, en plena “Edad de Oro” de la industria juguetera. Es esta una propuesta de metodología historiográfica cuyo recorrido comienza en el oficio arcaico de la tonelería para desembocar al fin en los albores del comercio moderno de juguetes.

Cobalt(II) Complexes of Nitrile-Functionalized Ionic Liquids

A series of nitrile-functionalized ionic liquids were found to exhibit temperature-dependent miscibility (thermomorphism) with the lower alcohols. Their coordinating abilities toward cobalt(II) ions were investigated through the dissolution process of cobalt(II) bis(trifluoromethylsulfonyl)imide and were found to depend on the donor abilities of the nitrile group. The crystal structures of the cobalt(II) solvates [Co(C1C1CNPyr)2(Tf2N)4] and [Co(C1C2CNPyr)6][Tf2N]8, which were isolated from ionic-liquid solutions, gave an insight into the coordination chemistry of functionalized ionic liquids. Smooth layers of cobalt metal could be obtained by electrodeposition of the cobalt-containing ionic liquids.

The diversification and financial performance of US credit unions

For US credit unions, revenue from non-interest sources has increased significantly in recent years. We investigate the impact of revenue diversification on financial performance for the period 1993–2004. The impact of a change in strategy that alters the share of non-interest income is decomposed into a direct exposure effect, reflecting the difference between interest and non-interest bearing activities, and an indirect exposure effect which reflects the effect of the institution’s own degree of diversification. On both risk-adjusted and unadjusted returns measures, a positive direct exposure effect is outweighed by a negative indirect exposure effect for all but the largest credit unions. This may imply that similar diversification strategies are not appropriate for large and small credit unions. Small credit unions should eschew diversification and continue to operate as simple savings and loan institutions, while large credit unions should be encouraged to exploit new product opportunities around their core expertise.