Analysing neurobiological models using communicating automata

Two important issues in computational modelling in cognitive neuroscience are: first, how to formally describe neuronal networks (i.e. biologically plausible models of the central nervous system), and second, how to analyse complex models, in particular, their dynamics and capacity to learn. We make progress towards these goals by presenting a communicating automata perspective on neuronal networks. Specifically, we describe neuronal networks and their biological mechanisms using Data-rich Communicating Automata, which extend classic automata theory with rich data types and communication. We use two case studies to illustrate our approach. In the first case study, we model a number of learning frameworks, which vary in respect of their biological detail, for instance the Backpropagation (BP) and the Generalized Recirculation (GeneRec) learning algorithms. We then used the SPIN model checker to investigate a number of behavioral properties of the neural learning algorithms. SPIN is a well-known model checker for reactive distributed systems, which has been successfully applied to many non-trivial problems. The verification results show that the biologically plausible GeneRec learning is less stable than BP learning. In the second case study, we presented a large scale (cognitive-level) neuronal network, which models an attentional spotlight mechanism in the visual system. A set of properties of this model was verified using Uppaal, a popular real-time model checker. The results show that the asynchronous processing supported by concurrency theory is not only a more biologically plausible way to model neural systems, but also provides a better performance in cognitive modelling of the brain than conventional artificial neural networks that use synchronous updates. Finally, we compared our approach with several other related theories that apply formal methods to cognitive modelling. In addition, the practical implications of the approach are discussed in the context of neuronal network based controllers.     

Chia seeds as a source of natural lipid antioxidants

Chia (Salvia sp) seeds were investigated as a source of natural lipid antioxidants. Methanolic and aqueous extracts of defatted chia seeds possessed potent antioxidant activity. Analysis of 2 batches of chia-seed oils demonstrated marked difference in the fatty acid composition of the oils. In both batches, the oils had high concentrations of polyunsaturated fatty acids. The major antioxidant activity in the nonhydrolyzed extract was caused by flavonol glycosides, chlorogenic acid (7.1 × 10⁻⁴ mol/kg of seed) and caffeic acid (6.6 × 10⁻³ m/kg). Major antioxidants of the hydrolyzed extracts were flavonol aglycones/kaempferol (1.1 × 10⁻³ m/kg), quercetin (2.0 × 10⁻⁴ m/kg) and myricetin (3.1 × 10⁻³ m/kg); and caffeic acid (1.35 × 10⁻² m/kg). Two methods were used to measure antioxidant activities. Both were based on measuring bleaching ofβ-carotene in the coupled oxidation ofβ-carotene and linoleic acid in the presence of added antioxidants.     

EXPERIMENTAL STUDIES OF NUCLEATION PHENOMENA WITHIN THERMAL BOUNDARY LAYERS—INFLUENCE ON CHEMICAL VAPOR DEPOSITION RATE PROCESSES

In carrying out partial vapor condensations using actively cooled surfaces it is known that 'mist' formation can occur within thermal boundary layers (Rosner and Epstein, 1968), dramatically modifying total deposition fluxes. Using a combination of flash-evaporation (Rosner and Liang, 1986) and laser probing techniques, we report new experimental results on binary alkali salt (K₂SO₄ + Na₂SO₄) deposition from combustion gases showing that the deposition rate of potassium sulfate first increases with the addition of sodium sulfate until the concentration of Na₂SO₄ reaches a (target surface temperature dependent) 'threshold' value. Further increases in the concentration of Na₂SO₄ dramatically decrease the total deposition rate of K₂SO₄, implying that potassium sulfate-containing microdroplets are formed within the thermal boundary layer, which, despite their thermophoretic drift toward the target, are not collected as effectively as the 'parent' K₂SO₄-vapor species. Laser light scattering measurements clearly reveal that suspended particles exist near the deposition surface under these conditions. Our experimental results on mass transfer rate and light scattering are consistent with those predicted using laminar boundary layer theory (Castillo and Rosner, 1989b) coupling both binary salt vapor deposition with particle vapor scavenging and deposition. Comparisons of our observed mist onset conditions (implying critical supersaturations near unity) with those expected using homogeneous nucleation theory suggest that the binary alkali sulfate mist nucleation mechanism is, instead, heterogeneous, even in our relatively 'clean' combustion products. Because of the; well-known vapor pressure reduction phenomenon associated here with the formation of non-ideal solutions, binary systems are shown to provide convenient 'vehicles' to investigate BL mist formation onset conditions and CVD-rate consequences without requiring the more extreme surface coolings characteristic of unary condensible vapor systems. An understanding of this dramatic phenomenon, obtained via such laboratory experiments and calculations, will allow its inclusion in future deposition rate calculations of engineering importance.     

Camera calibration in sport event scenarios

The main goal of this paper is the design of a novel and robust methodology for calibrating cameras from a single image in sport scenarios, such as a soccer field, or a basketball or tennis court. In these sport scenarios, the only references we use to calibrate the camera are the lines and circles delimiting the different regions. The first problem we address is the extraction of image primitives, including the challenging problems of shaded regions and lens distortion. From these primitives, we automatically recognise the location of the sport court in the scene by estimating the homography which matches the actual court with its projection onto the image. This is achieved even when only a few primitives are available. Finally, from this homography, we recover the camera calibration parameters. In particular, we estimate the focal length as well as the position and orientation in the 3D space. We present some experiments on models and real courts which illustrate the accuracy of the proposed methodology.     

Axial dispersion and enterainment of particles in wakes of bubbles

The entrainment and dispersion of solid particles in bubble columns was investigated experimentally and heoretically. A mechanistic model for the dispersion caused by entrainment in wakes of large solitary bubbles was developed. The dispersion coefficient was found to be dependent on the bubble size, bubble frequency, particle settling velocity and column surface area. Experimental tests were conducted in a rectangular bubble column. The system consisted of air, water and copper powder. Spherical cap bubbles were produced by a single nozzle. Significant entrainment of particles in wakes of rising bubbles observed in the lower region of the column, whereas, turbulence seemed to dominate the dispersion in the upper region of the tank. Calculated particle distributions were found to be in good agreement with experimental data.     

Effect of different acids with Δ9,12-dienoic structures on Δ9 desaturation activity in rat liver microsomes

The effect of oral administration, for 24 or 48 hr, of different octadeca fatty acids containing a 9,12-dienoic structure on the fatty acid composition and Δ9 desaturation activity of liver microsomes of rat fed a fat-free diet was studied. The ethyl esters of linoelaidic and γ-linolenic acids, the methyl ester of linoleic acid and free columbinic acid were administered to rats maintained on a fat-free diet. The supplementation of the fat-free diet with linoelaidate produced no relevant changes in the fatty acid composition pattern of liver microsomes and did not modify the percentage of conversion of palmitic to palmitoleic acid. The addition of linoleate or γ-linolenate to the fat-free diet returned liver microsome Δ9 desaturation activity toward the control and partially restored the liver microsome fatty acid spectrum found in the fat-free diet. Columbinic acid (5-trans-9-cis,12-cis-18∶3), which cannot be transformed into arachidonic acid, also decreased the Δ9 desaturation activity enhanced by the fat-free diet and evoked changes in the microsomal fatty acid composition similar to those produced by the ω6 fatty acids. These results suggest that the modulation of Δ9 desaturase activity evoked by dietary administration of unsaturated acids of ω6 series would depend on thecis double bond configuration of these acids.     

Addition compatibilization of PP/PS blends by tailor‐made copolymers

The thermoplastic polymer blends of commercial interest generally need a phase compatibilization to reduce the interfacial tension, to stabilize the morphology, and to increment the interfacial adhesion. This work deals with the compatibilization of PP/PS blends by addition of a tailor‐made copolymer, which is prepared from the pure homopolymers by a Friedel‐Crafts reaction. This addition compatibilization process comes out as an economic alternative applicable to the recycling of mixed plastics from urban and industrial wastes. The influence of compatibilizer concentration and blending time on the emulsifying effect, morphology, and mechanical properties of the resulting blends are analyzed. The compatibilization process effectiveness is assessed through the improvement in phase adhesion, emulsification and ductility of the compatibilized with respect to the physical blends. An increase of three times in ductility is achieved using very low compatibilizer concentrations (0.5–0.7 wt%). No appreciable detriment in yield strength or modulus is observed in these compatibilized blends. POLYM. ENG. SCI. 46:329–336, 2006. © 2006 Society of Plastics Engineers     

Conformational transitions in poly(butyl methacrylate)

Summary Temperature dependence of viscosity data was investigated on poly(butyl methacrylate) fractions in dilute solution. A discontinuity in intrinsic viscosity was observed in the 25°C–35°C temperature range. Sharp changes of unperturbed dimensions were visualized from this behaviour. The phenomenon can be accounted for by assuming conformational changes of the chain in different solvents.     

Gripper Design for Radio Base Station Autonomous Maintenance System

For an autonomous system to perform maintenance tasks in a networking device or a radio base station (RBS), it has to deal with a series of technological challenges ranging from identifying hardware-related problems to manipulating connectors. This paper describes the development of a robot maintenance system dedicated to detect and resolve faulty links caused by unplugged or poorly connected cables. Although the maintenance system relies on four subsystems, we significantly focus on our low-cost and efficient custom gripper solution developed to handle RJ45 Ethernet connectors. To examine our gripper, we conducted three experiments. First, a qualitative questionnaire was submitted to 30 users in the case of the teleoperated scenario of the gripper attached to a robotic arm. Similarly, we also tested the automatic operation mode. The results showed that our system is reliable and delivers a highly efficient maintenance tool in both teleoperated and autonomous operation modes. The practical experiment containing the removal or unplugging of connectors demonstrated our gripper’s ability to adequately handle these, whereas the feedback from the questionnaire pointed to a positive user experience. The automatic test assessed the gripper’s robustness against the continuous operation.

     

Model-based intelligent user interface adaptation: challenges and future directions

Software and Systems Modeling - Adapting the user interface of a software system to the requirements of the context of use continues to be a major challenge, particularly when users become more...