A method for dense packing discovery

The problem of packing a system of particles as densely as possible is foundational in the field of discrete geometry and is a powerful model in the material and biological sciences. As packing problems retreat from the reach of solution by analytic constructions, the importance of an efficient numerical method for conducting \textit{de novo} (from-scratch) searches for dense packings becomes crucial. In this paper, we use the \textit{divide and concur} framework to develop a general search method for the solution of periodic constraint problems, and we apply it to the discovery of dense periodic packings. An important feature of the method is the integration of the unit cell parameters with the other packing variables in the definition of the configuration space. The method we present led to improvements in the densest-known tetrahedron packing which are reported in [arXiv:0910.5226]. Here, we use the method to reproduce the densest known lattice sphere packings and the best known lattice kissing arrangements in up to 14 and 11 dimensions respectively (the first such numerical evidence for their optimality in some of these dimensions). For non-spherical particles, we report a new dense packing of regular four-dimensional simplices with density $\phi=128/219\approx0.5845$ and with a similar structure to the densest known tetrahedron packing.Comment: 15 pages, 5 figure

Hanging Out in the Past: Looking for Trouble or Romance? An Exploration of the Practice and Meaning of Hanging Out for Young Dutch People in 1930–60

Young people’s ‘hanging out’ has had different meanings in the recent and distant past in various countries and cultures, including delinquency or a common social phenomenon. Although there is evidence for hanging out as social behaviour in various countries, Dutch research on hanging out as a common social phenomenon is scarce. This article retrospectively explores the practice and meaning of hanging out for young people in the Netherlands between 1930 and 1960. Semi-structured qualitative interviews (n = 60) were analysed using the Constant Comparative Method, resulting in three key themes: familiarity, features and the meanings assigned to hanging out. Results indicate that hanging out was practised and known by most respondents, and included particular features (time, location, gender and routines). Meet, flirt with and date other young people was the most frequently mentioned meaning associated with hanging out. Accordingly, hanging out can indeed be considered to have been a common social phenomenon

Having Fun in Learning Formal Specifications

There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often experienced as dry by students. This paper presents a game called FormalZ that teachers can use to introduce some variation in their class. Students can have some fun in playing the game and, while doing so, also learn the basics of writing formal specifications in the form of pre- and post-conditions. Unlike existing software engineering themed education games such as Pex and Code Defenders, FormalZ takes the deep gamification approach where playing gets a more central role in order to generate more engagement. This short paper presents our work in progress: the first implementation of FormalZ along with the result of a preliminary users' evaluation. This implementation is functionally complete and tested, but the polishing of its user interface is still future work

From Goya to Afghanistan. An essay on the ratio and ethics of medical war pictures

For centuries pictures of the dead and wounded have been part and parcel of war communications. Often the intentions were clear, ranging from medical instructions to anti-war protests. The public's response could coincide with or diverge from the publisher's intention. Following the invention of photography in the nineteenth century, and the subsequent claim of realism, the veracity of medical war images became more complex. Analysing and understanding such photographs have become an ethical obligation with democratic implications. We performed a multidisciplinary analysis of War Surgery (2008), a book containing harsh, full-colour photographs of mutilated soldiers from the Iraq and Afghanistan wars. Our analysis shows that, within the medical context, this book is a major step forward in medical war communication and documentation. In the military context the book can be conceived as an attempt to put matters right given the enormous sacrifice some individuals have suffered. For the public, the relationship between the 'reality' and 'truth' of such photographs is ambiguous, because only looking at the photographs without reading the medical context is limiting. If the observer is not familiar with medical practice, it is difficult for him to fully assess, signify and acknowledge the value and relevance of this book. We therefore assert the importance of the role of professionals and those in the humanities in particular in educating the public and initiating debate. © 2010 Taylor & Francis

In vivo activity of a mixture of two human monoclonal antibodies (anti-HBs) in a chronic hepatitis B virus carrier chimpanzee

A 35-year-old female hepatitis B virus carrier chimpanzee was infused with one dose of a mixture of human monoclonal antibodies 9H9 and 4-7B (antibodies against hepatitis B virus surface antigen; HBsAg). Blood samples were taken before and up to 3 weeks after infusion. HBsAg and antibodies against HBsAg (anti-HBs) were quantified by radioimmunoassay and enzyme immunoassay. Free anti-HBs was never detected. Thirty min after the start of the infusion the HBsAg level was minimal with maximum loading of the chimpanzee HBsAg with human immunoglobulin. HBsAg complexes could be dissociated by acid treatment. The HBsAg level was completely restored on day 7. Similar results were obtained for the preS1-containing particles that may represent the infectious viral particles in the chimpanzee serum. A mouse monoclonal anti-HBs (HBs.OT40) was found to compete with 9H9 in artificial immune complexes with the pre-treatment HBsAg from the chimpanzee. Used as a conjugate, HBs.OT40 yielded a maximum decrease in the signal in the 30 min sample compared to non-competing anti-HBs conjugates. This indicates binding of HBsAg with 9H9 in the circulation of the chimpanzee. Immune-complexed 4-7B could not be detected by its corresponding 4-7B peptide conjugate, probably due to its low concentration in the complexes. It is concluded that human monoclonal anti-HBs can effectively reduce the level of HBsAg in serum from this chronic carrier. Monoclonals 9H9 and 4-7B may complement each other due to their different mechanisms of inactivation, probably with higher efficiency than that monitored by our HBsAg screening assays

Collective Animal Behavior from Bayesian Estimation and Probability Matching

Animals living in groups make movement decisions that depend, among other factors, on social interactions with other group members. Our present understanding of social rules in animal collectives is based on empirical fits to observations and we lack first-principles approaches that allow their derivation. Here we show that patterns of collective decisions can be derived from the basic ability of animals to make probabilistic estimations in the presence of uncertainty. We build a decision-making model with two stages: Bayesian estimation and probabilistic matching.
In the first stage, each animal makes a Bayesian estimation of which behavior is best to perform taking into account personal information about the environment and social information collected by observing the behaviors of other animals. In the probability matching stage, each animal chooses a behavior with a probability given by the Bayesian estimation that this behavior is the most appropriate one. This model derives very simple rules of interaction in animal collectives that depend only on two types of reliability parameters, one that each animal assigns to the other animals and another given by the quality of the non-social information. We test our model by obtaining theoretically a rich set of observed collective patterns of decisions in three-spined sticklebacks, Gasterosteus aculeatus, a shoaling fish species. The quantitative link shown between probabilistic estimation and collective rules of behavior allows a better contact with other fields such as foraging, mate selection, neurobiology and psychology, and gives predictions for experiments directly testing the relationship between estimation and collective behavior

Assessing attitudes toward LGB people in young adolescents

Since people's attitude toward lesbians, gay men and bisexual people (LGB) affects young LGB people's mental health and subsequently their quality of life, it is important to establish people's attitudes toward LGB people. The current study examined attitudes toward lesbian, gay and bisexual people among Dutch students and the psychometrical characteristics of adapted instruments measuring attitudes toward sexual diversity. The students in the sample (N = 1.633) were recruited from secondary schools. The participants completed questionnaires with scales measuring attitudes toward LGB people. The results indicate that participants hold positive attitudes overall, but there are differences with regard to gender and educational level. In addition, the used instruments prove to be psychometrically sound for measuring LGB attitudes and this work contributes to the empirical debate about whether adolescents' attitudes toward lesbians, gay men and bisexual people underly domains of a general attitude toward LGB people. Our results indicate that students do not seem to distinguish among sexually diverse subgroups much, possibly a sign of increased awareness and knowledge of LGB groups. The use of one general measure of attitudes of sexually diverse people may be considered in future research.</p