A simple logical approach to questioned envelopes examination.

This case report outlines research undertaken as the result of a document examination case in which two envelopes were involved. The combination of the circumstances of the case and the results of the examination allows a simple application of a logical approach to pre-assess the probability that an envelope (or a package) potentially recovered at a suspect's home comes from the same batch (same source) as questioned envelopes. This highlights that it is useful to examine envelopes.

Automatic self-configuration of the logical network using distributed software agents

We present a system for dynamic network resource configuration in environments with bandwidth reservation. The proposed system is completely distributed and automates the mechanisms for adapting the logical network to the offered load. The system is able to manage dynamically a logical network such as a virtual path network in ATM or a label switched path network in MPLS or GMPLS. The system design and implementation is based on a multi-agent system (MAS) which make the decisions of when and how to change a logical path. Despite the lack of a centralised global network view, results show that MAS manages the network resources effectively, reducing the connection blocking probability and, therefore, achieving better utilisation of network resources. We also include details of its architecture and implementation

Real-time recording of circadian liver gene expression in freely moving mice reveals the phase-setting behavior of hepatocyte clocks.

The mammalian circadian timing system consists of a master pacemaker in the suprachiasmatic nucleus (SCN) in the hypothalamus, which is thought to set the phase of slave oscillators in virtually all body cells. However, due to the lack of appropriate in vivo recording technologies, it has been difficult to study how the SCN synchronizes oscillators in peripheral tissues. Here we describe the real-time recording of bioluminescence emitted by hepatocytes expressing circadian luciferase reporter genes in freely moving mice. The technology employs a device dubbed RT-Biolumicorder, which consists of a cylindrical cage with reflecting conical walls that channel photons toward a photomultiplier tube. The monitoring of circadian liver gene expression revealed that hepatocyte oscillators of SCN-lesioned mice synchronized more rapidly to feeding cycles than hepatocyte clocks of intact mice. Hence, the SCN uses signaling pathways that counteract those of feeding rhythms when their phase is in conflict with its own phase.

Reinitialization of evolutionary clocks during sublethal environmental stress in some invertebrates

This paper describes the influence of high environmental stress on evolutionary trends in some selected Mesozoic ammonite lineages and some protists. During extinction periods, many ammonoids are affected by drastic simplifications of their shell geometry, ornamentation and suture line. We observe that relatively tightly coiled ammonites can give rise to highly evolute forms or uncoiled heteromorphs with simple ornamentation and almost ceratitic suture line-a phenomenon called "proteromorphosis". Such simplifications often correspond to a reappearance of ancestral geometries (primitive ornamentation, evolute coiling or uncoiling) which suggest that the evolutionary clock of these organisms can be reinitialized by extreme, sublethal, environmental stress such as giant volcanism (including its consequences on diverse pollutions and on climatic changes) and major regressive events. (c) 2006 Elsevier B.V. All rights reserved.

Nutrition parentérale compé- mentaire de la nutrition entérale aux soins intensifs: une association logique [Supplemental parenteral nutrition for intensive care patients: a logical combination with enteral nutrition]

Undernutrition is a widespread problem in the intensive care and is associated with a worse clinical outcome. Enteral nutrition is the recommended nutritional support in ICU patients. However, enteral nutrition is frequently insufficient to cover protein-energy needs. The initiation of supplemental parenteral nutrition, when enteral nutrition is insufficient, could optimize the nutritional therapy. Such a combination could allow reducing morbidity, length of stay and recovery, as well as improving quality of life and health care costs. Prospective studies are currently underway to test this hypothesis.

Local Renal Circadian Clocks Control Fluid-Electrolyte Homeostasis and BP.

The circadian timing system is critically involved in the maintenance of fluid and electrolyte balance and BP control. However, the role of peripheral circadian clocks in these homeostatic mechanisms remains unknown. We addressed this question in a mouse model carrying a conditional allele of the circadian clock gene Bmal1 and expressing Cre recombinase under the endogenous Renin promoter (Bmal1(lox/lox)/Ren1(d)Cre mice). Analysis of Bmal1(lox/lox)/Ren1(d)Cre mice showed that the floxed Bmal1 allele was excised in the kidney. In the kidney, BMAL1 protein expression was absent in the renin-secreting granular cells of the juxtaglomerular apparatus and the collecting duct. A partial reduction of BMAL1 expression was observed in the medullary thick ascending limb. Functional analyses showed that Bmal1(lox/lox)/Ren1(d)Cre mice exhibited multiple abnormalities, including increased urine volume, changes in the circadian rhythm of urinary sodium excretion, increased GFR, and significantly reduced plasma aldosterone levels. These changes were accompanied by a reduction in BP. These results show that local renal circadian clocks control body fluid and BP homeostasis.

Estimating the time since discharge of spent cartridges: a logical approach fro interpreting the evidence

Estimating the time since discharge of a spent cartridge or a firearm can be useful in criminal situa-tions involving firearms. The analysis of volatile gunshot residue remaining after shooting using solid-phase microextraction (SPME) followed by gas chromatography (GC) was proposed to meet this objective. However, current interpretative models suffer from several conceptual drawbacks which render them inadequate to assess the evidential value of a given measurement. This paper aims to fill this gap by proposing a logical approach based on the assessment of likelihood ratios. A probabilistic model was thus developed and applied to a hypothetical scenario where alternative hy-potheses about the discharge time of a spent cartridge found on a crime scene were forwarded. In order to estimate the parameters required to implement this solution, a non-linear regression model was proposed and applied to real published data. The proposed approach proved to be a valuable method for interpreting aging-related data.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

The dawn of paraconsistency: Russia's logical thought in the turn of XX century

The paper deals with the factors which enabled N. A. Vasiliev to put forward in 1910 - 12 the idea of logics free of the laws of contradiction and excluded middle, the idea of metalogic and to construct his imaginary logic as novel non-classical system. It is shown that background of Vasiliev's ideas lies deeply in Russia's culture and particular approach to logical discourse. Several Russian scholars expressed ideas similar to Vasiliev's though not in such explicit form. This period might be called the prehistory of paraconsistency. Real history of paraconsistency starts with N.C.A. da Costa's works.

THE LOGICAL SYSTEM OF FREGE'S GRUNDGESTZE: A RATIONAL RECONSTRUCTION

This paper aims at clarifying the nature of Frege's system of logic, as presented in the first volume of the Grundgesetze . We undertake a rational reconstruction of this system, by distinguishing its propositional and predicate fragments. This allows us to emphasise the differences and similarities between this system and a modern system of classical second-order logic.