Fluids of platelike particles near a hard wall

Fluids consisting of hard platelike particles near a hard wall are investigated using density functional theory. The density and orientational profiles as well as the surface tension and the excess coverage are determined and compared with those of a fluid of rodlike particles. Even for low densities slight orientational packing effects are found for the platelet fluid due to larger intermolecular interactions between platelets as compared with those between rods. A net depletion of platelets near the wall is exhibited by the excess coverage, whereas a change of sign of the excess coverage of hard-rod fluids is found upon increasing the bulk density.Comment: 6 pages, 9 figure

On the Detectability of the Hydrogen 3-cm Fine Structure Line from the EoR

A soft ultraviolet radiation field, 10.2 eV < E <13.6 eV, that permeates neutral intergalactic gas during the Epoch of Reionization (EoR) excites the 2p (directly) and 2s (indirectly) states of atomic hydrogen. Because the 2s state is metastable, the lifetime of atoms in this level is relatively long, which may cause the 2s state to be overpopulated relative to the 2p state. It has recently been proposed that for this reason, neutral intergalactic atomic hydrogen gas may be detected in absorption in its 3-cm fine-structure line (2s_1/2 -> 2p_3/2) against the Cosmic Microwave Background out to very high redshifts. In particular, the optical depth in the fine-structure line through neutral intergalactic gas surrounding bright quasars during the EoR may reach tau~1e-5. The resulting surface brightness temperature of tens of micro K (in absorption) may be detectable with existing radio telescopes. Motivated by this exciting proposal, we perform a detailed analysis of the transfer of Lyman beta,gamma,delta,... radiation, and re-analyze the detectability of the fine-structure line in neutral intergalactic gas surrounding high-redshift quasars. We find that proper radiative transfer modeling causes the fine-structure absorption signature to be reduced tremendously to tau< 1e-10. We therefore conclude that neutral intergalactic gas during the EoR cannot reveal its presence in the 3-cm fine-structure line to existing radio telescopes.Comment: 7 pages, 4 figures, MNRAS in press; v2. some typos fixe

Inference of the Russian drug community from one of the largest social networks in the Russian Federation

The criminal nature of narcotics complicates the direct assessment of a drug community, while having a good understanding of the type of people drawn or currently using drugs is vital for finding effective intervening strategies. Especially for the Russian Federation this is of immediate concern given the dramatic increase it has seen in drug abuse since the fall of the Soviet Union in the early nineties. Using unique data from the Russian social network 'LiveJournal' with over 39 million registered users worldwide, we were able for the first time to identify the on-line drug community by context sensitive text mining of the users' blogs using a dictionary of known drug-related official and 'slang' terminology. By comparing the interests of the users that most actively spread information on narcotics over the network with the interests of the individuals outside the on-line drug community, we found that the 'average' drug user in the Russian Federation is generally mostly interested in topics such as Russian rock, non-traditional medicine, UFOs, Buddhism, yoga and the occult. We identify three distinct scale-free sub-networks of users which can be uniquely classified as being either 'infectious', 'susceptible' or 'immune'.Comment: 12 pages, 11 figure

Crystallization in suspensions of hard spheres: A Monte Carlo and Molecular Dynamics simulation study

The crystallization of a metastable melt is one of the most important non equilibrium phenomena in condensed matter physics, and hard sphere colloidal model systems have been used for several decades to investigate this process by experimental observation and computer simulation. Nevertheless, there is still an unexplained discrepancy between simulation data and experimental nucleation rate densities. In this paper we examine the nucleation process in hard spheres using molecular dynamics and Monte Carlo simulation. We show that the crystallization process is mediated by precursors of low orientational bond-order and that our simulation data fairly match the experimental data sets

Theory of asymmetric non-additive binary hard-sphere mixtures

We show that the formal procedure of integrating out the degrees of freedom of the small spheres in a binary hard-sphere mixture works equally well for non-additive as it does for additive mixtures. For highly asymmetric mixtures (small size ratios) the resulting effective Hamiltonian of the one-component fluid of big spheres, which consists of an infinite number of many-body interactions, should be accurately approximated by truncating after the term describing the effective pair interaction. Using a density functional treatment developed originally for additive hard-sphere mixtures we determine the zero, one, and two-body contribution to the effective Hamiltonian. We demonstrate that even small degrees of positive or negative non-additivity have significant effect on the shape of the depletion potential. The second virial coefficient $B_2$, corresponding to the effective pair interaction between two big spheres, is found to be a sensitive measure of the effects of non-additivity. The variation of $B_2$ with the density of the small spheres shows significantly different behavior for additive, slightly positive and slightly negative non-additive mixtures. We discuss the possible repercussions of these results for the phase behavior of binary hard-sphere mixtures and suggest that measurements of $B_2$ might provide a means of determining the degree of non-additivity in real colloidal mixtures

From Event-B models to Dafny code contracts

International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification focuses on code level correctness and its verification. Therefore it would seem that the constructive and analytical approaches should complement each other well. To demonstrate this idea we present a case for linking two existing verification methods, Event-B (constructive) and Dafny (analytical). This approach combines the power of Event-B abstraction and its stepwise refinement with the verification capabilities of Dafny. We presented a small case study to demonstrate this approach and outline of the rules for transforming Event-B events to Dafny contracts. Finally, a tool for automatic generation of Dafny contracts from Event-B formal models is presented

Family Member, Best Friend, Child or 'Just' a Pet, Owners' Relationship Perceptions and Consequences for Their Cats

Describing the relationship with one’s cat in human terms might reflect an underlying anthropomorphic view of the relationship which might be associated with an owner’s behavior towards their cat and the cat’s living environment. Owners self-categorized the relationship with their cat as either a ‘member of the family’, ‘as a child’, ‘best friend’, or ‘a pet animal’. The extent to which owner- and cat-related factors influence these four relationship descriptions are examined in survey data of approximately 1800 cat owners. Differences in outdoor access, care during absence of the owner, and access to the bedroom are examined between the four relationship perceptions. The owner’s age and household composition, ideas about their cat’s equality, support, and dependency, and whether their cat is a pedigree were significantly associated with relationship description and explained 46% of the variance. Owners who perceive their cat as a child or best friend see their cat as loyal, empathetic, equal to family, and dependent on them for love and care. Their cats are less often left in the care of others, are allowed more often in the bedroom and have less often (unrestricted) outdoor access. Moreover, cats perceived as children are more likely to live in a multi-cat household. Our results provide insight in the factors that are related to different (anthropomorphic) perceptions of the human–cat relationship and how perceptions relate to the living environment of cats

Numerical Solution of Hard-Core Mixtures

We study the equilibrium phase diagram of binary mixtures of hard spheres as well as of parallel hard cubes. A superior cluster algorithm allows us to establish and to access the demixed phase for both systems and to investigate the subtle interplay between short-range depletion and long-range demixing.Comment: 4 pages, 2 figure

Phase behaviour of charged colloidal sphere dispersions with added polymer chains

We study the stability of mixtures of highly screened repulsive charged spheres and non-adsorbing ideal polymer chains in a common solvent using free volume theory. The effective interaction between charged colloids in an aqueous salt solution is described by a screened-Coulomb pair potential, which supplements the pure hard-sphere interaction. The ideal polymer chains are treated as spheres that are excluded from the colloids by a hard-core interaction, whereas the interaction between two ideal chains is set to zero. In addition, we investigate the phase behaviour of charged colloid-polymer mixtures in computer simulations, using the two-body (Asakura-Oosawa pair potential) approximation to the effective one-component Hamiltonian of the charged colloids. Both our results obtained from simulations and from free volume theory show similar trends. We find that the screened-Coulomb repulsion counteracts the effect of the effective polymer-mediated attraction. For mixtures of small polymers and relatively large charged colloidal spheres, the fluid-crystal transition shifts to significantly larger polymer concentrations with increasing range of the screened-Coulomb repulsion. For relatively large polymers, the effect of the screened-Coulomb repulsion is weaker. The resulting fluid-fluid binodal is only slightly shifted towards larger polymer concentrations upon increasing the range of the screened-Coulomb repulsion. In conclusion, our results show that the miscibility of dispersions containing charged colloids and neutral non-adsorbing polymers increases, upon increasing the range of the screened-Coulomb repulsion, or upon lowering the salt concentration, especially when the polymers are small compared to the colloids.Comment: 25 pages,13 figures, accepted for publication on J.Phys.:Condens. Matte