Computational and biological systems are often distributed so that processors (cells) jointly solve a task, without any of them receiving all inputs or observing all outputs. Maximal independent set (MIS) selection is a fundamental distributed computing procedure that seeks to elect a set of local leaders in a network. A variant of this problem is solved during the development of the fly's nerv...

Do perfectionists try harder? Previous research on perfectionism and effort has used self-report items and task performance as indicators of effort. The current study investigated whether individual differences in perfectionism predicted effort-related cardiac activity during a mental effort task. Based on past research that suggests adaptive perfectionism is associated with higher effort, it w...

OBJECTIVES In the context of social convoy theory, the purposes of the study were (a) to identify an empirical typology of the social networks evident in older Korean immigrants and (b) to examine its association with self-rated health and depressive symptoms. METHOD The sample consisted of 1,092 community-dwelling older Korean immigrants in Florida and New York. Latent class analyses were co...

End of the Ebola virus outbreak: time to reinforce the African health system and improve preparedness capacity Ivy Mulinge, Kenneth Soyemi Department of Pediatrics, John H Stroger Hospital of Cook County, 1901 W Harrison Street, Chicago, IL 60612, United States Corresponding author: Ivy Mulinge, Department of Pediatrics, John H Stroger Hospital of Cook County, 1901 W Harrison Street, Chicago, I...

We present a certified declarative first-order prover with equality based on John Harrison’s Handbook of Practical Logic and Automated Reasoning, Cambridge University Press, 2009. ML code reflection is used such that the entire prover can be executed within Isabelle as a very simple interactive proof assistant. As examples we consider Pelletier’s problems 1-46.

We consider the following situation: a field k, a commutative k-algebra R and a left R-module M. Since R is commutative, M may also be considered as an R-R bimodule with the same operation on each side (such modules are often termed symmetric). With these assumptions we have the Harrison (co-) homology groups Harr,(R, M) (Harr*(R, M)), the Hochschild (co-) homology groups Hoch, (R, M) (Hoch*(R,...

It is an honour to be invited by the officers of the Medical Society for the Study of Venereal Diseases (MSSVD) to give the eighth Harrison Lecture and, indeed, to follow in the footsteps of those who have been leaders and influential in the field. Lawrence Whittaker Harrison was such a man.' He was born just outside Blackburn, Lancashire, in 1876 and, clearly, he was a Blackburn Rover, moving ...