The neurobiology of human crying

The production of emotional tears appears to be uniquely present in Homo sapiens. Despite the ubiquity of this human behavior, research is only just beginning to uncover the neurobiologic underpinnings of human emotional crying. In this article, we review the current state of the literature investigating the neurobiologic aspects of this uniquely human behavior, including the neuroanatomical, neurochemical, and psychophysiologic findings. To set the context for this review, we first provide a brief overview of the evolutionary background and functions of tearful crying. Despite an accumulating understanding of the neurobiology of human emotional crying, the primary sources of information are currently from animal studies and observations in neurologic patients suffering from pathologic crying. Currently, most of the research on the neurobiology of crying in humans has focused on autonomic physiologic processes underlying tearful crying, which may yield essential clues regarding the neural substrates of the production of crying behavior and its effects on the crier. Further challenges in elucidating the neurobiology of crying involve the complexity of crying behavior, which includes vocalizations, tear production, the involvement of facial musculature, subjective emotional experience, emotion regulatory behaviors, and social behaviors. Future research is needed to comprehensively characterize the neurobiology of this intriguing and complex human behavior

Formal Requirements-Based Programming for Complex Systems

Computer science as a field has not yet produced a general method to mechanically transform complex computer system requirements into a provably equivalent implementation. Such a method would be one major step towards dealing with complexity in computing, yet it remains the elusive holy grail of system development. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that such tools and methods leave unfilled is that the formal models cannot be proven to be equivalent to the system requirements as originated by the customer For the classes of complex systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations. While other techniques are available, this method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. We illustrate the application of the method to an example procedure from the Hubble Robotic Servicing Mission currently under study and preliminary formulation at NASA Goddard Space Flight Center

Chemosignalling effects of human tears revisited:Does exposure to female tears decrease males' perception of female sexual attractiveness?

Gelstein et al. reported the results of three experiments suggesting a dampening influence of inhalation of female emotional tears on males' arousal and perception of female sexual attractiveness, specifically in non-sexual situations. This prompted the hypothesis that crying exerts its influence on others not only via the auditory and visual mode but also via chemosignals. In three studies, we attempted to replicate and extend Gelstein et al.'s findings by including an additional condition with irritant tears, by using pictures of sexually attractive women, and by testing related hypotheses on the pro-social effects of exposure to tears. All three studies, separately or combined in a meta-analysis, failed to replicate the original inhibitory effects of tears. In addition, sniffing tears did not affect measures of connectedness, aggression and pro-social behaviour. It is concluded that the effects of female tears on male arousal and perception of female sexual attractiveness, if any, are very weak at best. Rather, it seems that crying exerts its strong inter-personal effects through the visual and auditory sensory channels

Experiences with a Requirements-Based Programming Approach to the Development of a NASA Autonomous Ground Control System

Requirements-to-Design-to-Code (R2D2C) is an approach to the engineering of computer-based systems that embodies the idea of requirements-based programming in system development. It goes further; however, in that the approach offers not only an underlying formalism, but full formal development from requirements capture through to the automatic generation of provably-correct code. As such, the approach has direct application to the development of systems requiring autonomic properties. We describe a prototype tool to support the method, and illustrate its applicability to the development of LOGOS, a NASA autonomous ground control system, which exhibits autonomic behavior. Finally, we briefly discuss other areas where the approach and prototype tool are being considered for application

Systems, methods and apparatus for generation and verification of policies in autonomic computing systems

Described herein is a method that produces fully (mathematically) tractable development of policies for autonomic systems from requirements through to code generation. This method is illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming method described provides faster, higher quality development and maintenance of autonomic systems based on user formulation of policies.Further, the systems, methods and apparatus described herein provide a way of analyzing policies for autonomic systems and facilities the generation of provably correct implementations automatically, which in turn provides reduced development time, reduced testing requirements, guarantees of correctness of the implementation with respect to the policies specified at the outset, and provides a higher degree of confidence that the policies are both complete and reasonable. The ability to specify the policy for the management of a system and then automatically generate an equivalent implementation greatly improves the quality of software, the survivability of future missions, in particular when the system will operate untended in very remote environments, and greatly reduces development lead times and costs

Діагностика банкрутства в системі антикризового управління

Розглянуто питання відповідності і значимості діагностики фінансового стану кожної стадії антикризового управління. Діагностику банкрутства визначено як ретроспективне, оперативне і перспективне дослідження господарської діяльності та процесу управління підприємством, направлене на виявлення параметрів кризового розвитку за допомогою реалізації комплексу дослідницьких процедур, виявлення слабких ланок і "вузьких місць".Рассмотрены вопросы соответствия и значимости диагностики каждой стадии антикризисного управления. Диагностика банкротства определена как ретроспективное, оперативное и перспективное исследование хозяйственной деятельности и процесса управления предприятием, направленное на выявление параметров кризисного развития с помощью реализации комплекса исследовательских процедур, выявления слабых зон и «узких мест».The article analyzes issues of adequacy and role of diagnostics in all stage of anti-crisis management. The diagnostics of bankruptcy is defined as a retrospective, operative and prospective study of enterprise’s economic activity and management process that is directed to identification of parameters of crisis development by using comprehensive researches and to finding weak spots and "bottlenecks"

Smart homes and their users:a systematic analysis and key challenges

Published research on smart homes and their users is growing exponentially, yet a clear understanding of who these users are and how they might use smart home technologies is missing from a field being overwhelmingly pushed by technology developers. Through a systematic analysis of peer-reviewed literature on smart homes and their users, this paper takes stock of the dominant research themes and the linkages and disconnects between them. Key findings within each of nine themes are analysed, grouped into three: (1) views of the smart home-functional, instrumental, socio-technical; (2) users and the use of the smart home-prospective users, interactions and decisions, using technologies in the home; and (3) challenges for realising the smart home-hardware and software, design, domestication. These themes are integrated into an organising framework for future research that identifies the presence or absence of cross-cutting relationships between different understandings of smart homes and their users. The usefulness of the organising framework is illustrated in relation to two major concerns-privacy and control-that have been narrowly interpreted to date, precluding deeper insights and potential solutions. Future research on smart homes and their users can benefit by exploring and developing cross-cutting relationships between the research themes identified

Kama muta: conceptualizing and measuring the experience of being moved across 19 nations and 15 languages

English-speakers sometimes say that they feel moved to tears, emotionally touched, stirred, or that something warmed their heart; other languages use similar passive contact metaphors to refer to an affective state. We propose and measure the concept of kama muta to understand experiences often given these and other labels. Do the same experiences evoke the same kama muta emotion across nations and languages? We conducted studies in 19 different countries, five continents, 15 languages, with a total of 3542 participants. We tested the construct while validating a comprehensive scale to measure the appraisals, valence, bodily sensations, motivation, and lexical labels posited to characterize kama muta. Our results are congruent with theory and previous findings showing that kama muta is a distinct positive social relational emotion that is evoked by experiencing or observing a sudden intensification of communal sharing. It is commonly accompanied by a warm feeling in the chest, moist eyes or tears, chills or piloerection, feeling choked up or having a lump in the throat, buoyancy and exhilaration. It motivates affective devotion and moral commitment to communal sharing. While we observed some variations across cultures, these five facets of kama muta are highly correlated in every sample, supporting the validity of the construct and the measure.info:eu-repo/semantics/acceptedVersio