Bodies of Science and Law: Forensic DNA Profiling, Biological Bodies, and Biopower

How is jurisdiction transferred from an individual's biological body to agents of power such as the police, public prosecutor and judiciary, and what happens to these biological bodies when transformed from private into public objects? These questions are examined by analyzing bodies situated at the intersection of science and law. More specifically, the transformation of 'private bodies' into 'public bodies' shall be analyzed by going into the details of forensic DNA profiling in the Dutch jurisdiction. It will be argued that various 'forensic genetic practices' enact different 'forensic genetic bodies'. These enacted forensic genetic bodies are connected with various infringements of civil rights, which become articulated in exploring these forensic genetic bodies' 'normative registers'

Trumping communitarianism: crime control and forensic DNA typing and databasing in Singapore

Liberalism and communitarianism have figured prominently in discussions of how to govern forensic DNA practices (forensic DNA typing and databasing). Despite the prominence of these two political philosophies and their underlying values, no studies have looked at the governance of forensic DNA practices in a nondemocratic country governed by a communitarian logic. To fill this lacuna in the literature, this article considers Singapore as an authoritarian state governed by a communitarian philosophy. The article highlights basic innovations and technologies of forensic DNA practices and articulates a liberal democratic version of “biolegality” as described by Michael Lynch and Ruth McNally. It goes on to consider briefly various (political) philosophies (liberalism and communitarianism) and law enforcement models (due process and crime control models). The main part of the article records the trajectory, and hence biolegal progress, of forensic DNA practices in Singapore and compares it with trajectories in England and the United States. The article concludes that Singapore's forensic DNA practices are organized according to the crime control model and therefore safety and the war against crime and terrorism trump individual rights and legal principles such as privacy, bodily integrity, proportionality, presumption of innocence. and onus of proof

Hidden in full sight: kinship, science and the law in the aftermath of the Srebrenica genocide

Terms such as “relationship testing,” “familial searching” and “kinship analysis” figure prominently in professional practices of disaster victim identification (DVI). However, despite the dependence of those identification technologies on DNA samples from people who might be related to the dead and despite also the prominence of the notion of “relatedness” as a device for identifying the dead, the concepts of “relatedness” and “kinship” remain elusive both in practice and in analyses of the social and ethical aspects of DVI by DNA; they are hidden in full sight. In this article, we wish to bring kinship more to the fore. We achieve this through a case study of a setting where bio-legal framings dominate, that is, in the trial at the International Criminal Tribunal for the former Yugoslavia (ICTY) of Radovan Karadžić for the Srebrenica genocide in 1995. DNA samples from the families of those massacred in Srebrenica were vital for the identification of individual victims but are now also utilized as “evidence” by both the prosecution and the defense. By viewing practices of science (“evidence” and “identification”) and legal practices (“justice,” “prosecution” and “defence”) through the lens of kinship studies, we will present some alternative and complementary framings for the social accomplishment of ‘relatedness’

Exponential Decay of Correlations for Strongly Coupled Toom Probabilistic Cellular Automata

We investigate the low-noise regime of a large class of probabilistic cellular automata, including the North-East-Center model of Toom. They are defined as stochastic perturbations of cellular automata belonging to the category of monotonic binary tessellations and possessing a property of erosion. We prove, for a set of initial conditions, exponential convergence of the induced processes toward an extremal invariant measure with a highly predominant spin value. We also show that this invariant measure presents exponential decay of correlations in space and in time and is therefore strongly mixing.Comment: 21 pages, 0 figure, revised version including a generalization to a larger class of models, structure of the arguments unchanged, minor changes suggested by reviewers, added reference

Problemas de palabra en Rusia y América

Puesto que este texto es sobre problemas de palabra, necesitamos primero definir el tema. Para mantenernos tan cerca como sea posible del significado exacto de las palabras, sugiero que un problema de no palabra es un problema formulado usando únicamente símbolos matemáticos y palabras técnicas como “resuelva la ecuación...” De igual forma, el problema de palabra usa palabras no matemáticas. Ubicándonos en un contexto matemático, estas palabras deben ser interpretadas matemáticamente lo que es una gran contribución al valor, entusiasmo y riesgo de los problemas de palabra

A Toom rule that increases the thickness of sets

Toom's north-east-self voting cellular automaton rule R is known to suppress small minorities. A variant which we call R^+ is also known to turn an arbitrary initial configuration into a homogenous one (without changing the ones that were homogenous to start with). Here we show that R^+ always increases a certain property of sets called thickness. This result is intended as a step towards a proof of the fast convergence towards consensus under R^+. The latter is observable experimentally, even in the presence of some noise.Comment: 16 pages, 8 figure

Software product line for semantic specification of block libraries in dataflow languages

10 pagesDataflow modelling languages such as SCADE or Simulink are the de-facto standard for the Model Driven Development of safety critical embedded control and command systems. Software is mainly being produced by Automated Code Generators whose correctness can only be assessed meaningfully if the input language semantics is well known. These semantics share a common part but are mainly defined through block libraries. The writing of a complete formal specification for the block libraries of the usual languages is highly challenging due to the high variability of the structure and semantics of each block. This contribution relates the use of software product line principles in the design of a domain specific language targeting the formal specification of block libraries. It summarizes the advantages of this DSL regarding the writing, validation and formal verification of such specifications. These experiments have been carried out in the context of the GeneAuto embedded code generator project targeting Simulink and Scicos; and are being extended and applied in its follow ups projects ProjectP and Hi-MoCo

Kinetic Equations for Longwavelength Excitations of the Quark-Gluon Plasma

We show that longwavelength excitations of the quark-gluon plasma are described by simple kinetic equations which represent the exact equations of motion at leading order in $g$. Properties of the so-called ``hard thermal loops'', i.e. the dominant contributions to amplitudes with soft external lines, find in this approach a natural explanation. In particular, their generating functional appears here as the effective action describing long wavelength excitations of the plasma.Comment: January 8, 1993; 8 pages; SPhT/93-