ARE ARTIFICIAL NEURAL NETS AS SMART AS A RAT

The origins of artificial neural networks are related to animal conditioning theory: both are forms of connectionist theory, which in turn derives from the empiricist philosophers' principle of association. The parallel between animal learning and neural nets suggests that interaction between them should benefit both sides.

The Computational Complexity of Dominance and Consistency in CP-Nets

We investigate the computational complexity of testing dominance and consistency in CP-nets. Previously, the complexity of dominance has been determined for restricted classes in which the dependency graph of the CP-net is acyclic. However, there are preferences of interest that define cyclic dependency graphs; these are modeled with general CP-nets. In our main results, we show here that both dominance and consistency for general CP-nets are PSPACE-complete. We then consider the concept of strong dominance, dominance equivalence and dominance incomparability, and several notions of optimality, and identify the complexity of the corresponding decision problems. The reductions used in the proofs are from STRIPS planning, and thus reinforce the earlier established connections between both areas.

Decision Making by Credal Nets

Credal nets are probabilistic graphical models which extend Bayesian nets to cope with sets of distributions. This feature makes the model particularly suited for the implementation of classifiers and knowledge-based systems. When working with sets of (instead of single) probability distributions, the identification of the optimal option can be based on different criteria, some of them eventually leading to multiple choices. Yet, most of the inference algorithms for credal nets are designed to compute only the bounds of the posterior probabilities. This prevents some of the existing criteria from being used. To overcome this limitation, we present two simple transformations for credal nets which make it possible to compute decisions based on the maximality and E-admissibility criteria without any modification in the inference algorithms. We also prove that these decision problems have the same complexity of standard inference, being NP^PP-hard for general credal nets and NP-hard for polytrees.

Improving parameter learning of Bayesian nets from incomplete data

This paper addresses the estimation of parameters of a Bayesian network from incomplete data. The task is usually tackled by running the Expectation-Maximization (EM) algorithm several times in order to obtain a high log-likelihood estimate. We argue that choosing the maximum log-likelihood estimate (as well as the maximum penalized log-likelihood and the maximum a posteriori estimate) has severe drawbacks, being affected both by overfitting and model uncertainty. Two ideas are discussed to overcome these issues: a maximum entropy approach and a Bayesian model averaging approach. Both ideas can be easily applied on top of EM, while the entropy idea can be also implemented in a more sophisticated way, through a dedicated non-linear solver. A vast set of experiments shows that these ideas produce significantly better estimates and inferences than the traditional and widely used maximum (penalized) log-likelihood and maximum a posteriori estimates. In particular, if EM is adopted as optimization engine, the model averaging approach is the best performing one; its performance is matched by the entropy approach when implemented using the non-linear solver. The results suggest that the applicability of these ideas is immediate (they are easy to implement and to integrate in currently available inference engines) and that they constitute a better way to learn Bayesian network parameters.

Differential lifetime success and performance of native and non-native Atlantic salmon examined under communal natural conditions.

The lifetime success and performance characteristics of communally reared offspring of wild native Burrishoole (native), ranched native (ranched) and non-native (non-native) Atlantic salmon Salmo salar from the adjacent Owenmore River were compared. Non-native year parr showed a substantial downstream migration, which was not shown by native and ranched parr. This appears to have been an active migration rather than competitive displacement and may reflect an adaptation to environmental or physiographic conditions within the Owenmore River catchment where the main nursery habitat is downstream of the spawning area. There were no differences between native and ranched in smolt output or adult return. Both of these measures, however, were significantly lower for the non-native group. A greater proportion of the non-native Atlantic salmon was taken in the coastal drift nets compared to the return to the Burrishoole system, probably as a result of the greater size of the non-native fish. The overall lifetime success of the non-native group, from fertilized egg to returning adult, was some 35% of native and ranched. The ranched group showed a significantly greater male parr maturity, a greater proportion of 1+ year smolts, and differences in sex ratio and timing of freshwater entry of returning adults compared to native, which may have fitness implications under specific conditions.

‘Care just changes your life’: Factors impacting on the mental health of children and young people in care in Northern Ireland.

This paper represents one element of a research project carried out into the mental health needs of children and young people with experiences of care in Northern Ireland. Focusing exclusively on qualitative data collected from 51 young people in care and aftercare, it discusses in the first instance how the challenges and difficulties faced by young people can manifest themselves in feelings and behaviours that may exemplify poor mental well-being. In doing so it provides an understanding of mental health in the context of these young people’s lives. Through offering a more detailed account of some of the specific issues that put these young people at increased risk, it highlights areas for further work and consideration as a means of protecting them against these risks. These include: dealing with experiences prior to care; easing and ‘‘normalising’’ the experience of living in care; and enhancing ‘‘safety nets’’ after care. A key objective of the research is to inform policy and practice through the accounts of children and young people. It is argued that more work needs to be done to find creative ways of enhancing the day-to-day experiences of young people while in care and when leaving care.

Sounding the network: The body as disturbant

This paper investigates the network as a site for music performance; in particular, the net’s performative conditions with the tightly linked notion of community are exposed through the medium of
music as an intrinsic social practice. The paper provides a brief cultural overview of the development of the
network metaphor before problematizing perspectival views of the network.

Dynamic global security-aware synthesis using System-C

A dynamic global security-aware synthesis flow using the SystemC language is presented. SystemC security models are first specified at the system or behavioural level using a library of SystemC behavioural descriptions which provide for the reuse and extension of security modules. At the core of the system is incorporated a global security-aware scheduling algorithm which allows for scheduling to a mixture of components of varying security level. The output from the scheduler is translated into annotated nets which are subsequently passed to allocation, optimisation and mapping tools for mapping into circuits. The synthesised circuits incorporate asynchronous secure power-balanced and fault-protected components. Results show that the approach offers robust implementations and efficient security/area trade-offs leading to significant improvements in turnover.

GABA IN THE NERVOUS-SYSTEM OF PARASITIC FLATWORMS

In an immunocytochemical study, using an antiserum and a monoclonal antibody specific for the amino acid, gamma-aminobutyric acid (GABA), GABA-like immunoreactivity (GLIR) has been demonstrated for the first time in parasitic flatworms. In Moniezia expansa (Cestoda), GLIR was seen in nerve nets which were closely associated with the body wall musculature and in the longitudinal nerve cords. In the liver fluke Fasciola hepatica (Trematoda), the GLIR occurred in the longitudinal nerve cords and lateral nerves in the posterior half of the worm. GLIR was also detected in subtegumental fibres in F. hepatica. The presence of GABA was verified, using high-pressure liquid chromatography coupled with fluorescence detection. The concentration of GABA (mean+/-S.D.) in M. expansa anterior region was 124.8+/-15.3 picomole/mg wet weight, while in F. hepatica it was 16.8+/-4.9 picomole/mg. Since several insecticides and anti-nematodal drugs are thought to interfere with GABA-receptors, the findings indicate that GABAergic neurotransmission may be a potential target for chemotherapy in flatworms too.

Immunohistochemical localization of a Shaker-related voltage-gated potassium channel protein in Schistosoma mansoni (Trematoda: Digenea)

We have recently isolated a cDNA (SKV1.1) encoding a Shakei-related K+ channel from the human parasitic trematode Schistosoma mansoni. In order to better understand the functions of SKv1.1 protein, the distribution of SKv1.1 protein in adult S. mansoni was analyzed by immunohistochemistry using a region-specific antibody. SKV1.1 proteins were widely expressed in the nervous and muscular systems. The strongest immunoreactivity (IR) was observed in the nervous system of both male and female. In the nervous system, IR for SKv1.1 proteins was localized in cell bodies and nerve fibers of the anterior ganglia, the central commissure, and the main nerve cords. IR was also observed in the dorsal and the ventral peripheral nerve nets, fine nerve fibers entering into a variety of structures such as the dorsal tubercles, longitudinal and ventral muscle fibers, and oral and ventral suckers. In the muscular system, SKv1.1 proteins were localized to the longitudinal, circular, and ventral muscle fibers of male as well as in isolated muscle fibers where native A-type K+ currents were measured. Moderate IR was also seen in a large number of cell bodies in the parenchyma. These results indicate that SKv1.1 protein may play an important role in the regulation of the excitability of neurons and muscle cells of S. mansoni. (C) 1995 Academic Press, Inc.

Computational techniques for a simple theory of conditional preferences

A simple logic of conditional preferences is defined, with a language that allows the compact representation of certain kinds of conditional preference statements, a semantics and a proof theory. CP-nets and TCP-nets can be mapped into this logic, and the semantics and proof theory generalise those of CP-nets and TCP-nets. The system can also express preferences of a lexicographic kind. The paper derives various sufficient conditions for a set of conditional preferences to be consistent, along with algorithmic techniques for checking such conditions and hence confirming consistency. These techniques can also be used for totally ordering outcomes in a way that is consistent with the set of preferences, and they are further developed to give an approach to the problem of constrained optimisation for conditional preferences.

Isomorphism between ice and silica

Both ice and silica crystallize into solid-state structures composed of tetrahedral building units that are joined together to form an infinite four-connected net. Mathematical considerations suggest that there is a vast number of such nets and thus potential crystal structures. It is therefore perhaps surprising to discover that, despite the differences in the nature of interatomic interactions in these materials, a fair number of commonly observed ice and silica phases are based on common nets. Here we use computer simulation to investigate the origin of this symmetry between the structures formed for ice and silica and to attempt to understand why it is not complete. We start from a comparison of the dense phases and then move to the relationship between the different open (zeolitic and clathratic) structures formed for both materials. We show that there is a remarkably strong correlation between the energetics of isomorphic silica and water ice structures and that this correlation arises because of the strong link between the total energy of a material and its local geometric features. Finally, we discuss a number of as yet unsynthesized low-energy structures which include a phase of ice based on quartz, a silica based on the structure of ice VI, and an ice clathrate that is isomorphic to the silicate structure nonasil.

Structural and electronic properties of Ce overlayers and low-dimensional Pt-Ce alloys on Pt{111}

The structural, thermal, chemisorptive, and electronic properties of Ce on Pt{111} are studied by photoemission, Auger spectroscopy, scanning tunnel microscope (STM), and low-energy electron diffraction (LEED). Stranski-Krastanov-like growth of low-density Ce layers is accompanied by substantial valence charge transfer from Ce to Pt: in line with this, the measured dipole moment and polarizability of adsorbed Ce at low coverages are 7.2 x 10(-30) C m and similar to 1.3x10(-29) m(3), respectively. Pt-Ce intermixing commences at similar to 400 K and with increasing temperature a sequence of five different ordered surface alloys evolves. The symmetry, periodicities, and rotational epitaxy observed by LEED are in good accord with the STM data which reveal the true complexity of the system. The Various bimetallic surface phases are based on growth of crystalline Pt5Ce, a hexagonal layer structure consisting of alternating layers of Pt2Ce and Kagome nets of Pt atoms. This characteristic ABAB layered arrangement of the surface alloys is clearly imaged, and chemisorption data permit a distinction to be made between the more reactive Pt2Ce layer and the less reactive Pt Kagome net. Either type of layer can appear at the surface as the terminating structure, thicker films exhibiting unit mesh parameters characteristic of the bulk alloy.