This article reviews theory and research regarding the physiology, situational and dispositional antecedents, behavioral concomitants, and interpersonal consequences of social blushing and offers a new theoretical account of blushing. This model posits that people blush when they experience undesired social attention. Puzzling questions involving blushing in solitude, the phenomenology of blush...

When designing complex systems that provide multiple non-functional properties, it is usual to try to reuse (and finally compose) simpler existing designs, which deal with each of these properties in solitude. This paper describes a method for automatically and quickly identifying all the different ways one can compose such designs, with the aid of a model checker.

Andrea Mazzolini, Marco Gherardi, 3 Michele Caselle, Marco Cosentino Lagomarsino, 3, 4 and Matteo Osella∗1 Physics Department and INFN, University of Turin, via P. Giuria 1, 10125 Turin, Italy Sorbonne Universités, UPMC Univ Paris 06, UMR 7238, Computational and Quantitative Biology, 15 rue de l’École de Médecine Paris, France CNRS, UMR 7238, Paris, France FIRC Institute of Molecular Oncology (...

1Department of Veterinary Biomedical Sciences, University of Saskatchewan, Saskatoon, SK, Canada S7N 5B4 2Center for Reproductive Medicine and Andrology, University of Münster, Domagkstraße 11, 48149 Münster, Germany 3Department of Obstetrics/Gynecology & Reproductive Sciences, Magee-Womens Research Institute, University of Pittsburgh School of Medicine, Pittsburgh, PA 15213, USA 4Department of...

Commonwealth Scientific and Industrial Research Organization Plant Industry, P.O. Box 1600, Australian Capital Territory 2601, Australia (S.R., Z.L., B.K.H., S.A., M.K.M.); Plant Breeding Institute, University of Sydney, Cobbitty, New South Wales 2570, Australia (A.R.); Department of Biological Sciences, Osaka Kyoiku University, 4–698–1 Asahigaoka, Kashiwara, Osaka 582, Japan (Y.M.); and Kansai...