Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Robust parameter settings of evolutionary algorithms for the optimisation of agricultural systems models

Numerical optimisation methods are being more commonly applied to agricultural systems models, to identify the most profitable management strategies. The available optimisation algorithms are reviewed and compared, with literature and our studies identifying evolutionary algorithms (including genetic algorithms) as superior in this regard to simulated annealing, tabu search, hill-climbing, and direct-search methods. Results of a complex beef property optimisation, using a real-value genetic algorithm, are presented. The relative contributions of the range of operational options and parameters of this method are discussed, and general recommendations listed to assist practitioners applying evolutionary algorithms to the solution of agricultural systems. (C) 2001 Elsevier Science Ltd. All rights reserved.

Natural selection and quantitative genetics of life-history traits in Western women: A twin study

Whether contemporary human populations are still evolving as a result of natural selection has been hotly debated. For natural selection to cause evolutionary change in a trait, variation in the trait must be correlated with fitness and be genetically heritable and there must be no genetic constraints to evolution. These conditions have rarely been tested in human populations. In this study, data from a large twin cohort were used to assess whether selection Will cause a change among women in contemporary Western population for three life-history traits: age at menarche, age at first reproduction, and age at menopause. We control for temporal variation in fecundity (the baby boom phenomenon) and differences between women in educational background and religious affiliation. University-educated women have 35% lower fitness than those with less than seven years education, and Roman Catholic women have about 20% higher fitness than those of other religions. Although these differences were significant, education and religion only accounted for 2% and 1% of variance in fitness, respectively. Using structural equation modeling, we reveal significant genetic influences for all three life-history traits, with heritability estimates of 0.50, 0.23, and 0.45, respectively. However, strong genetic covariation with reproductive fitness could only be demonstrated for age at first reproduction, with much weaker covariation for age at menopause and no significant covariation for age at menarche. Selection may, therefore, lead to the evolution of earlier age at first reproduction in this population. We also estimate substantial heritable variation in fitness itself, with approximately 39% of the variance attributable to additive genetic effects, the remainder consisting of unique environmental effects and small effects from education and religion. We discuss mechanisms that could be maintaining such a high heritability for fitness. Most likely is that selection is now acting on different traits from which it did in pre-industrial human populations.

The impact of the Human Genome Project on medical genetics

The near completion of the Human Genome Project stands as a remarkable achievement, with enormous implications for both science and society. For scientists, it is the first step in a complex process that will lead to important advances in the diagnosis and treatment of many diseases. Society, meanwhile, must prevent genetic discrimination, and protect genetic privacy through appropriate legislation.

Genetics of brain function and cognition

There is overwhelming evidence for the existence of substantial genetic influences on individual differences in general and specific cognitive abilities, especially in adults. The actual localization and identification of genes underlying variation in cognitive abilities and intelligence has only just started, however. Successes are currently limited to neurological mutations with rather severe cognitive effects. The current approaches to trace genes responsible for variation in the normal ranges of cognitive ability consist of large scale linkage and association studies. These are hampered by the usual problems of low statistical power to detect quantitative trait loci (QTLs) of small effect. One strategy to boost the power of genomic searches is to employ endophenotypes of cognition derived from the booming field of cognitive neuroscience This special issue of Behavior Genetics reports on one of the first genome-wide association studies for general IQ. A second paper summarizes candidate genes for cognition, based on animal studies. A series of papers then introduces two additional levels of analysis in the ldquoblack boxrdquo between genes and cognitive ability: (1) behavioral measures of information-processing speed (inspection time, reaction time, rapid naming) and working memory capacity (performance on on single or dual tasks of verbal and spatio-visual working memory), and (2) electrophyiosological derived measures of brain function (e.g., event-related potentials). The obvious way to assess the reliability and validity of these endophenotypes and their usefulness in the search for cognitive ability genes is through the examination of their genetic architecture in twin family studies. Papers in this special issue show that much of the association between intelligence and speed-of-information processing/brain function is due to a common gene or set of genes, and thereby demonstrate the usefulness of considering these measures in gene-hunting studies for IQ.

Genetics of cognition: Outline of a collaborative twin study

Amultidisciplinary collaborative study examining cognition in a large sample of twins is outlined. A common experimental protocol and design is used in The Netherlands, Australia and Japan to measure cognitive ability using traditional IQ measures (i.e., psychometric IQ), processing speed (e.g., reaction time [RT] and inspection time [IT]), and working memory (e.g., spatial span, delayed response [DR] performance). The main aim is to investigate the genetic covariation among these cognitive phenotypes in order to use the correlated biological markers in future linkage and association analyses to detect quantitativetrait loci (QTLs). We outline the study and methodology, and report results from our preliminary analyses that examines the heritability of processing speed and working memory indices, and their phenotypic correlation with IQ. Heritability of Full Scale IQ was 87% in the Netherlands, 83% in Australia, and 71% in Japan. Heritability estimates for processing speed and working memory indices ranged from 33–64%. Associations of IQ with RT and IT (−0.28 to −0.36) replicated previous findings with those of higher cognitive ability showing faster speed of processing. Similarly, significant correlations were indicated between IQ and the spatial span working memory task (storage [0.31], executive processing [0.37]) and the DR working memory task (0.25), with those of higher cognitive ability showing better memory performance. These analyses establish the heritability of the processing speed and working memory measures to be used in our collaborative twin study of cognition, and support the findings that individual differences in processing speed and working memory may underlie individual differences in psychometric IQ.

Telemedicine and clinical genetics: establishing a successful service

There is a surprising lack of published experience on the use of videoconferencing in clinical genetics. Patients were randomly allocated to either a telegenetic (cases) or face-to-face (control) conventional clinic. The telegenetic consultation was done by videoconferencing, using ISDN lines at 384 kbit/s. Evaluation by the doctor and counsellor took place immediately after each appointment. The patient was asked to evaluate the appointment by telephone questionnaire about four weeks after the event. Forty-two patients were invited to participate and 33 (79%) returned their consent forms. Four patients declined to participate and were seen in ordinary face-to-face clinics. Preliminary results showed that the assessment of the telegenetics consultations by doctors, counsellors and patients was very favourable, and they responded positively when asked if they would be happy to use telemedicine in the future. For use in selected consultations, videoconferencing does appear to fulfil a useful role in clinical genetics.

Molecular genetics of schizophrenia

1. Schizophrenia is a chronic, disabling brain disease that affects approxmately 1% of the world's population. It is characterized by delusions, hallucinations and formal thought disorder, together with a decline in socio-occupational functioning. While the causes for schizophrenia remain unknown, evidence from family, twin and adoption studies clearly demonstrates that it aggregates in families, with this clustering largely attributable to genetic rather than cultural or environmental factors. Identifying the genes involved, however, has proven to be a difficult task because schizophrenia is a complex trait characterized by an imprecise phenotype, the existence of phenocopies and the presence of low disease penetrance, 2. The current working hypothesis for schizophrenia causation is that multiple genes of small to moderate effect confer compounding risk through interactions with each other and with non-genetic risk factors, The same genes may be commonly involved in conferring risk across populations or they may vary in number and strength between different populations. To search for evidence of such genetic loci, both candidate gene and genome-wide linkage studies have been used in clinical cohorts collected from a variety of populations. Collectively, these works provide some evidence for the involvement of a number of specific genes (e.g. the 5-hydroxytryptamine (5-HT) type 2a receptor (5-HT2a) gene and the dopamine D-3 receptor gene) and as yet unidentified factors localized to specific chromosomal regions, including 6p, 6q, 8p, 13q and 22q, These data provide suggestive, but no conclusive, evidence for causative genes. 3. To enable further progress there is a need to: (i) collect fine-grained clinical datasets while searching the schizophrenia phenotype for subgroups or dimensions that may provide a more direct route to causative genes; and (ii) integrate recent refinements in molecular genetic technology, including modern composite marker maps, DNA expression assays and relevant animal models, while using the latest analytical techniques to extract maximum information in order to help distinguish a true result from a false-positive finding.