Lexically scoped distribution: what you see is what you get

We define a lexically scoped, asynchronous and distributed π-calculus, with local communication and process migration. This calculus adopts the network-awareness principle for distributed programming and follows a simple model of distribution for mobile calculi: a lexical scope discipline combines static scoping with dynamic linking, associating channels to a fixed site throughout computation. This discipline provides for both remote invocation and process migration. A simple type system is a straightforward extension of that of the π-calculus, adapted to take into account the lexical scope of channels. An equivalence law captures the essence of this model: a process behavior depends on the channels it uses, not on where it runs.     

The ontogeny and significance of infants' facial expressions in the first 9 months of life.

Four studies examined aspects of the differential emotions theory (DET) hypothesis of expressive behavior development. In Study 1, facial-expressive movements of 108 2.5–9-mo-old infants were video recorded in positive and negative mother–infant interactions (conditions). As expected, Max-specified full-face and partial expressions of interest, joy, sadness, and anger were morphologically stable between the 2 ages. Studies 1 and 2 confirmed predicted differential responding to mother sadness and anger expressions and to composite positive and negative conditions. Discrete negative expressions exceeded negative blends, and the amount of both expression types remained stable across ages. Studies 3 and 4 provided varying degrees of support for the social validity of Max-specified infant negative affect expressions. Conclusions include revisions and clarifications of DET. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Experiments of Fast Learning with High Order Boltzmann Machines

This work reports the results obtained with the application of High Order Boltzmann Machines without hidden units to construct classifiers for some problems that represent different learning paradigms. The Boltzmann Machine weight updating algorithm remains the same even when some of the units can take values in a discrete set or in a continuous interval. The absence of hidden units and the restriction to classification problems allows for the estimation of the connection statistics, without the computational cost involved in the application of simulated annealing. In this setting, the learning process can be sped up several orders of magnitude with no appreciable loss of quality of the results obtained.     

Coupling GIS with Hydrologic and Hydraulic Flood Modelling

Geographic Information Systems (GIS) have been recognised as a powerful means to integrate and analyse data from various sources in the context of comprehensive floodplain management. As part of this comprehensive approach to floodplain management, it is very important to be able to predict the consequences of different scenarios in terms of flooded areas and associated risk. Hydrologic and hydraulic modelling plays a crucial role and there is much to gain in incorporating these modelling capabilities in GIS. This is still a rather complex task and research is being done on the full integration of these models. Interfacing between these models and GIS may be a very efficient way of overcoming the difficulties and getting very good results in terms of engineering practice. This paper presents results based on the use of Intergraph GIS coupled with Idrisi GIS. Using these two systems substantially increased the flexibility of using GIS as a tool for flood studies. A lumped (XSRAIN) and a distributed (OMEGA) hydrologic models were used to simulate flood hydrographs. The well known HEC-2 Hydraulic model was used to compute flooded areas. These models were applied in the Livramento catchment with very good results. The computation of flooded areas for different flood scenarios, and its representation in GIS, can be used in the assessment of affected property and associated damages. This is a very useful GIS-based approach to floodplain management.     

Multi-level simulation of metal-forming processes

The IBF has for some years made use of finite element programmes to solve metal-forming problems. In the course of this investigation, it has become evident that a problem-oriented adaptation of FEM simulation to the problem in hand is beneficial in terms of computation effort. The computation time for the process parameters is optimised in a multi-level simulation. At level 1 (global analysis) integral parameters such as the required force and required work are computed using a coarse FEM mesh. At level 2 (local analysis) an optimised number of elements is used to determine continuum mechanics parameters like stress, strain and temperature. Microscopic phenomena are simulated at level 3 (microscopic analysis), using special micro-material elements and thermodynamic models.     

Differential contribution of dorsal and ventral medial prefrontal cortex to the acquisition and extinction of conditioned fear in rats.

The emotional reactivity of rats with lesions of the dorsal portion of medial prefrontal cortex (mPFC) was examined using a classical fear conditioning paradigm. Conditioned fear behavior (freezing responses) was measured during both the acquisition and extinction phases of the task. Lesions enhanced fear reactivity to both the conditioned stimulus (CS) and contextual stimuli during both phases, suggesting that dorsal mPFC lesions produce a general increase in fear reactivity in response to fear conditioning. M. A. Morgan, L. M. Romanski, and J. E. LeDoux (1993) found that lesions just ventral to the present lesions had no effect during acquisition of the same task and prolonged the fear response to the CS (but not the context) during extinction. Thus, both dorsal and ventral regions of mPFC are involved in the fear system, but each modulates different aspects of fear responsivity. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Transient operation of a catalytic liquid-liquid plug flow reactor for kinetics measurements

A centrifugal partition chromatograph (CPC) was used as a liquid-liquid catalytic reactor for the isomerisation of hexen-3-ol into ethylpropylketone with a water soluble rhodium catalyst. Global mass transfer coefficients were measured and shown to depend on both the nature of the solute and the flow rate. Liquid-liquid partition isotherms were also determined with the CPC using elution chromatography. Finally, a reactor model was derived to account for the experimental results obtained both under stationary and transient (pulse) conditions. A parameter sensitivity evaluation is also presented.     

Fatty diet and multiple sclerosis]

INTRODUCTION AND DEVELOPMENT: Multiple sclerosis (ME) is an inflammatory disease of the myelin of the central nervous system, the origin of which is still unknown. Genetic, infectious, immunological and environmental factors have all been blamed, but none of these factors on their own can explain the whole spectrum of this disease. Of the environmental factors, fat in the diet has given rise to most discussion. At the present time, it is known that polyunsaturated essential fatty acids form a part of biological membranes. A relationship has been found between the dietary fat consumed and the plasma levels and cell membrane content. CONCLUSIONS: The possible immuno-modulation function of these fatty acids justify rigorous evaluation of this hypothesis.