Bayesian Networks for Probabilistic Inference and Decision Analysis in Forensic Science

Continuing developments in science and technology mean that the amounts of information forensic scientists are able to provide for criminal investigations is ever increasing. The commensurate increase in complexity creates difficulties for scientists and lawyers with regard to evaluation and interpretation, notably with respect to issues of inference and decision. Probability theory, implemented through graphical methods, and specifically Bayesian networks, provides powerful methods to deal with this complexity. Extensions of these methods to elements of decision theory provide further support and assistance to the judicial system. Bayesian Networks for Probabilistic Inference and Decision Analysis in Forensic Science provides a unique and comprehensive introduction to the use of Bayesian decision networks for the evaluation and interpretation of scientific findings in forensic science, and for the support of decision-makers in their scientific and legal tasks. Includes self-contained introductions to probability and decision theory. Develops the characteristics of Bayesian networks, object-oriented Bayesian networks and their extension to decision models. Features implementation of the methodology with reference to commercial and academically available software. Presents standard networks and their extensions that can be easily implemented and that can assist in the reader's own analysis of real cases. Provides a technique for structuring problems and organizing data based on methods and principles of scientific reasoning. Contains a method for the construction of coherent and defensible arguments for the analysis and evaluation of scientific findings and for decisions based on them. Is written in a lucid style, suitable for forensic scientists and lawyers with minimal mathematical background. Includes a foreword by Ian Evett. The clear and accessible style of this second edition makes this book ideal for all forensic scientists, applied statisticians and graduate students wishing to evaluate forensic findings from the perspective of probability and decision analysis. It will also appeal to lawyers and other scientists and professionals interested in the evaluation and interpretation of forensic findings, including decision making based on scientific information.

Combining food web and species distribution models for improved community projections

The ability to model biodiversity patterns is of prime importance in this era of severe environmental crisis. Species assemblage along environmental gradient is subject to the interplay of biotic interactions in complement to abiotic environmental filtering. Accounting for complex biotic interactions for a wide array of species remains so far challenging. Here, we propose to use food web models that can infer the potential interaction links between species as a constraint in species distribution models. Using a plant-herbivore (butterfly) interaction dataset, we demonstrate that this combined approach is able to improve both species distribution and community forecasts. Most importantly, this combined approach is very useful in rendering models of more generalist species that have multiple potential interaction links, where gap in the literature may be recurrent. Our combined approach points a promising direction forward to model the spatial variation of entire species interaction networks. Our work has implications for studies of range shifting species and invasive species biology where it may be unknown how a given biota might interact with a potential invader or in future climate.

Dynamical modeling and analysis of large cellular regulatory networks.

The dynamical analysis of large biological regulatory networks requires the development of scalable methods for mathematical modeling. Following the approach initially introduced by Thomas, we formalize the interactions between the components of a network in terms of discrete variables, functions, and parameters. Model simulations result in directed graphs, called state transition graphs. We are particularly interested in reachability properties and asymptotic behaviors, which correspond to terminal strongly connected components (or "attractors") in the state transition graph. A well-known problem is the exponential increase of the size of state transition graphs with the number of network components, in particular when using the biologically realistic asynchronous updating assumption. To address this problem, we have developed several complementary methods enabling the analysis of the behavior of large and complex logical models: (i) the definition of transition priority classes to simplify the dynamics; (ii) a model reduction method preserving essential dynamical properties, (iii) a novel algorithm to compact state transition graphs and directly generate compressed representations, emphasizing relevant transient and asymptotic dynamical properties. The power of an approach combining these different methods is demonstrated by applying them to a recent multilevel logical model for the network controlling CD4+ T helper cell response to antigen presentation and to a dozen cytokines. This model accounts for the differentiation of canonical Th1 and Th2 lymphocytes, as well as of inflammatory Th17 and regulatory T cells, along with many hybrid subtypes. All these methods have been implemented into the software GINsim, which enables the definition, the analysis, and the simulation of logical regulatory graphs.

Decision-theoretic analysis of forensic sampling criteria using Bayesian decision networks

Sampling issues represent a topic of ongoing interest to the forensic science community essentially because of their crucial role in laboratory planning and working protocols. For this purpose, forensic literature described thorough (Bayesian) probabilistic sampling approaches. These are now widely implemented in practice. They allow, for instance, to obtain probability statements that parameters of interest (e.g., the proportion of a seizure of items that present particular features, such as an illegal substance) satisfy particular criteria (e.g., a threshold or an otherwise limiting value). Currently, there are many approaches that allow one to derive probability statements relating to a population proportion, but questions on how a forensic decision maker - typically a client of a forensic examination or a scientist acting on behalf of a client - ought actually to decide about a proportion or a sample size, remained largely unexplored to date. The research presented here intends to address methodology from decision theory that may help to cope usefully with the wide range of sampling issues typically encountered in forensic science applications. The procedures explored in this paper enable scientists to address a variety of concepts such as the (net) value of sample information, the (expected) value of sample information or the (expected) decision loss. All of these aspects directly relate to questions that are regularly encountered in casework. Besides probability theory and Bayesian inference, the proposed approach requires some additional elements from decision theory that may increase the efforts needed for practical implementation. In view of this challenge, the present paper will emphasise the merits of graphical modelling concepts, such as decision trees and Bayesian decision networks. These can support forensic scientists in applying the methodology in practice. How this may be achieved is illustrated with several examples. The graphical devices invoked here also serve the purpose of supporting the discussion of the similarities, differences and complementary aspects of existing Bayesian probabilistic sampling criteria and the decision-theoretic approach proposed throughout this paper.

Suivi de l'adhésion thérapeutique des patients hypertendus ou dyslipi- démiques par les cercles de qualité médecins-pharmaciens [Monitoring drug adherence for hypertensive and dyslipidemic patients in networks of community-based pharmacists and physicians].

Patient adherence is often poor for hypertension and dyslipidaemia. A monitoring of drug adherence might improve these risk factors control, but little is known in ambulatory care. We conducted a randomised controlled study in networks of community-based pharmacists and physicians in the canton of Fribourg to examine whether monitoring drug adherence with an electronic monitor (MEMS) would improve risk factor control among treated, but uncontrolled hypertensive and dyslipidemic patients. The results indicate that MEMS achieve a better blood pressure control and lipid profile, although its implementation requires considerable resources. The study also shows the value of collaboration between physicians and pharmacists in the field of patient adherence to improve ambulatory care of patients with cardiovascular risk factors.

Evolution, maintenance and ecological consequences of genetic caste determination in " Pogonomyrmex " harvester ants

Summary Division of labor between reproducers (queens) and helpers (workers) is the main characteristic of social insect societies and at the root of their ecological success. Kin selection models predict that phenotypic differences between queens and workers should result from environmental rather than from genetic differences. However, genetic effects on queen and worker differentiation were found in two populations-of Pogonomyrmex harvester ants. Each of the two populations is composed of two genetically distinct lineages. Queens (which can be of either lineage) generally mate with males of their own and of the alternate lineage and produce two types of female offspring, those fertilized by males of the queens' lineage which develop into queens and those fertilized by males of the alternate lineage which develop into workers. All four lineages were further suggested to be themselves of hybrid origin between-the species P: barbatus and P. rugosus, in which queens and workers do not differ genetically. In a first set of experiments, we tested if female caste determination (the differentiation into queens and workers) in the lineages was genetically hardwired and if it was associated with costs in terms of the ability to optimally allocate resources to the production of queens and workers. To this end we first mated queens of-two lineages to a single male. Queens mated to a male of the alternate lineage successfully raised worker offspring whereas queens mated to a male of their own lineage almost always failed to produce workers. This reveals that pure-lineage individuals have lost the ability to develop into workers. Second, we analyzed offspring produced by naturally mated queens. During the stage of colony founding when only workers are produced, naturally mated queens laid a high proportion of pure-lineage eggs but the large majority of these eggs failed to develop. As a consequence, the number of offspring produced by incipient colonies decreased linearly with the proportion of pure-lineage eggs laid by queens. Moreover, queens of the lineage most commonly represented in a given population produced more pure-lineage eggs, in line with the view that they mate randomly with the two types of males and indiscriminately use their sperm. Altogether these results predict frequency-dependent founding success for pairs of lineages because queens of the more common lineage will produce more pure-lineage eggs and their colonies be less successful during the stage of colony founding. To describe the distribution of populations characterized with genetic caste determination relative to the populations with environmental caste determination we genotyped queens and workers collected during a large survey of -additional populations. Genetic caste determination associated with pairs of interbreeding lineages was frequent and widespread in the studied range and we identified four additional lineages displaying genetic caste determination. Overall, there were thus eight highly differentiated lineages with genetic caste determination. These lineages always co-occurred in the same complementary lineage pairs. Three of the four lineage pairs appeared to have a common origin, while their relationship with the forth could not be resolved. The genetic survey also revealed that, in addition to being genetically isolated from one another, all eight lineages were genetically distinct from P. rugosus and P. barbatus, even when colonies of interbreeding lineages co-occurred with colonies of either putative parent at the same site. This raised the question of the mechanisms involved in the reproductive isolation between the lineages and the parental species and between the two lineages of a lineage pair. At a site where one lineage pair co-occurred with P. rugosus, we identified two pre-zygotic mechanisms (differences in timing for mating flights between P. rugosus and the lineage pair and assortative mating) and one post-zygotic mechanism (high levels of hybrid unviablility) which in combination may largely account for the reproductive isolation between the lineages and their parental species. The mechanisms accounting for the reproductive isolation between the two lineages of a lineage pair varied across lineage pairs. In one lineage pair, inter-lineage individuals exclusively occurred in the sterile worker caste, raising the possibility that inter-lineage eggs have completely lost the ability to develop into queens in this lineage pair and that there is thus no opportunity for gene flow. In each of the three remaining lineage pairs, inter-lineage queens were produced by a minority of colonies. In these lineage pairs, colonies headed by inter-lineage queens failed to grow sufficiently to produce reproductive individuals which may account for the reproductive isolation between co-occurring lineages in three lineage pairs. In conclusion, the results of this thesis show that genetic caste determination is costly but widespread in Pogonomyrmex harvester ants. Reproductive isolation among the lineages and between the lineages and the parental species as well as frequency-dependent founding success for co-occurring lineages may contribute to the persistence of this extraordinary system. Résumé La division du travail entre individus reproducteurs (les reines) et individus non-reproducteurs (ouvrières) représente la caractéristique principale des sociétés d'insectes et est à la base de leur succès écologique. Des modèles de sélection de parentèle prédisent que les différences phénotypiques entre reines et ouvrières devraient provenir d'effets environnementaux plutôt que de différences génétiques. Malgré ce fait, des effets génétiques sur la différentiation entre reines et ouvrières ont été montrés dans deux populations de fourmis moissonneuses du genre Pogonomyrmex. Chacune des deux populations est composée de deux lignées génétiquement distinctes. Les reines de chaque lignée s'accouplent en général avec des mâles de leur propre lignée ainsi qu'avec des mâles de l'autre lignée et produisent deux types d'oeufs, ceux qui sont fécondés par les mâles de leur propre lignée qui se développent en nouvelles reines et ceux qui sont fécondés par les mâles de l'autre lignée qui se développent en ouvrières. Il a été suggéré que les lignées sont elles-mêmes des hybrides entre les deux espèces P. barbatus et P. rugosus. Dans ces deux espèces, les reines et ouvrières ne sont pas génétiquement distinctes. Dans une première série d'expériences, nous avons testé si la détermination de la caste femelle (le développement en reine ou en ouvrière) est génétiquement rigide et si elle est associée à des coûts en terme de capacité à allouer de façon optimale les ressources pour la production de reines et d'ouvrières. Pour cela nous avons accouplé des reines de deux lignées avec un seul mâle. Les reines accouplées avec un mâle de l'autre lignée ont élevé de nouvelles ouvrières avec succès alors que les reines accouplées avec un mâle de leur propre lignée ont presque toujours échoué à produire des ouvrières. Ceci montre que les individus de lignée pure ont perdu la capacité de se développer en ouvrière. Deuxièmement, nous avons analysé la descendance de reines qui se sont accouplées naturellement. Durant le stade de fondation de la colonie, où seules des ouvrières sont élevées, les reines accouplées naturellement ont pondu une grande proportion d'oeufs de lignée pure mais la majorité de ces derniers ne se sont pas développés. En conséquence, le nombre de descendants produits par des colonies fondatrices diminuait linéairement avec la proportion des oeufs de lignée pure pondus par la reine en accord avec l'hypothèse que les reines s'accouplent au hasard avec les deux types de mâles et utilisent leur sperme aléatoirement. Dans l'ensemble; ces résultats prédisent un succès de fondation fréquence-dépendant pour les deux lignées, car les reines de la lignée la plus fréquente produiront .plus d'oeufs de lignée pure et leurs colonies auront moins de succès lors de la fondation de colonies par rapport aux colonies de la lignée la moins fréquente. Pour décrire la distribution des-populations caractérisées par une détermination génétique des castes par rapport aux populations caractérisées par une détermination environnementale des castes, nous avons génotypé des reines et des ouvrières qui ont été collectées lors d'une analyse de populations supplémentaires. La détermination génétique des castes associée à des croisements entre lignées est fréquente et largement répartie dans l'aire étudiée. Nous avons identifié quatre lignées supplémentaires, ayant une détermination génétique des castes, pour un total de huit lignées. Ces huit lignées forment quatre paires de lignées et on ne trouve jamais deux lignées de paires différentes, dans une population. Trois des quatre paires de lignées s'avèrent avoir une origine commune alors que leur relation avec la quatrième paire de lignées n'a pas pu être résolue. L'analyse génétique de populations supplémentaires a également révélé qu'en plus d'être génétiquement isolées les unes des autres, les huit lignées sont génétiquement distinctes de P. rugosus et P. barbatus même si les colonies d'une paire de lignées se trouvent en sympatrie avec l'une ou l'autre des espèces parentales. Ceci relève la question des mécanismes impliqués dans l'isolation reproductive entre les lignées et les espèces parentales ainsi qu'entre les deux lignées d'une paire. En étudiant un site où une paire de lignées se trouve en sympatrie avec P. rugosus, nous avons identifié deux mécanismes pré-zygotiques (des différences dans le timing du vol nuptial entre P. rugosus et les lignées et des accouplements assortis) ainsi qu'un mécanisme post-zygotique (un niveau élevé de non-viabilité des hybrides). En combinaison, ces mécanismes peuvent largement expliquer l'isolement reproductif entre les lignées et leurs espèces parentales. Les mécanismes contribuant à l'isolement reproductif entre les deux lignées d'une paire variaient entre paires de lignées. Dans une paire, les individus de génotype inter-lignée se trouvent uniquement dans la caste stérile des ouvrières, suggérant qu'il n'y a pas d'opportunité pour avoir du flux de gènes entre les deux lignées ce cette paire. Dans chacune des trois autres paires de lignées des nouvelles reines de génotype inter-lignée sont produites par une minorité de colonies. Par contre, les colonies avec une reine mère de génotype inter-lignée ne se développent pas suffisamment pour produire des individus reproducteurs. Ceci peut donc expliquer pourquoi il n'y a pas de flux de gènes entre les deux lignées de trois paires. En conclusion, les résultats de cette thèse montrent que la détermination génétique de la caste est coûteuse mais très répandue chez les fourmis. moissonneuses du genre Pogonomyrmex. L'isolement reproductif des lignées entre elles et avec les espèces parentales, ainsi qu'un succès de fondation fréquence-dépendant contribuent à la persistance de ce système extraordinaire.

Unconditioned responses and functional fear networks in human classical conditioning.

Human imaging studies examining fear conditioning have mainly focused on the neural responses to conditioned cues. In contrast, the neural basis of the unconditioned response and the mechanisms by which fear modulates inter-regional functional coupling have received limited attention. We examined the neural responses to an unconditioned stimulus using a partial-reinforcement fear conditioning paradigm and functional MRI. The analysis focused on: (1) the effects of an unconditioned stimulus (an electric shock) that was either expected and actually delivered, or expected but not delivered, and (2) on how related brain activity changed across conditioning trials, and (3) how shock expectation influenced inter-regional coupling within the fear network. We found that: (1) the delivery of the shock engaged the red nucleus, amygdale, dorsal striatum, insula, somatosensory and cingulate cortices, (2) when the shock was expected but not delivered, only the red nucleus, the anterior insular and dorsal anterior cingulate cortices showed activity increases that were sustained across trials, and (3) psycho-physiological interaction analysis demonstrated that fear led to increased red nucleus coupling to insula but decreased hippocampus coupling to the red nucleus, thalamus and cerebellum. The hippocampus and the anterior insula may serve as hubs facilitating the switch between engagement of a defensive immediate fear network and a resting network.