Topological Aspects of Branching-Time Semantics

The aim of this paper is to present a new perspective under which branching-time semantics can be viewed. The set of histories (maximal linearly ordered sets) in a tree structure can be endowed in a natural way with a topological structure. Properties of trees and of bundled trees can be expressed in topological terms. In particular, we can consider the new notion of topological validity for Ockhamist temporal formulae. It will be proved that this notion of validity is equivalent to validity with respect to bundled trees.     

Brightness scaling of periodic tones

Brightness is an attribute often used by musicians when describing timbral characteristics. It is related to the spectral distribution of energy, as is sharpness, studied by Zwicker (Psychoacoustics: Facts and Models, 1990). In the current work, subjects adjusted the spectral slope and thus the spectral centroid (SC) of one of a pair of sounds to make it twice as bright as the other, so as to build a perceptual scale. The ratio of SC required to double brightness is a little less than 2 and decreases as the SC of the tones increases. For these tones, the ratio of brightness is statistically different from the ratio of sharpness calculated from published models.     

Best Practices: A Critical Yet Inclusive Vision for the Counseling Profession

Substantial controversy has surrounded the concept of best practices (BPs) in counseling; in particular, the consequences of deriving practice guidelines from empirically supported treatments (ESTs). Criticisms of EST methodology, assumptions, and findings are summarized, and implications for core counseling values, including multiculturalism, are discussed. The authors further elaborate an inclusive view of BP that can facilitate the use of research to inform and enhance counseling services while rectifying problems associated with methodological and theoretical bias.     

Instances of Decision Theory in Plato's Alcibiades Major and Minor and in Xenophon's Memorabilia

This essay discusses Socrates' use of hypothetical choices as an early version of what was to become in the twentieth century the discipline of decision theory as expressed by one of its prominent proponents, F. P. Ramsey. Socrates' use of hypothetical choices and thought experiments in the dialogues is a way of reassuring himself of an interlocutor's philosophical potential. For example, to assess just how far Alcibiades is willing to go to attain his goal of being a great Athenian leader, we employ Ramsey's concept of Mathematical Expectation. Mathematical Expectation operates on the assumption that it is not enough to measure probability; we must also measure our belief to apportion our belief to the probability. In other words, it illustrates how strongly or to what degree a person holds a particular belief. If a person's belief in X lacks enough doubts to cancel the belief out, the probability of his acting on this belief is higher than if his belief in X was plagued by a greater number of doubts.     

Moment/History Duality in Prior’s Logics of Branching-Time

The basic notions in Prior’s Ockhamist and Peircean logics of branching-time are the notion of moment and that of history (or course of events). In the tree semantics, histories are defined as maximal linearly ordered sets of moments. In the geometrical approach, both moments and histories are primitive entities and there is no set theoretical (and ontological) dependency of the latter on the former. In the topological approach, moments can be defined as the elements of a rank 1 base of a non-Archimedean topology on the set of histories. In this paper, it will be shown that the topological approach, and hence the other approaches, can be reconstructed in a framework in which the basic notions are those of history and of relative closeness relation among histories.     

Automatic knowledge learning and case adaptation with a hybrid committee approach

When Case Based Reasoning systems are applied to real-world problems, the retrieved solutions usually require adaptations in order to be used on new contexts. Therefore, case adaptation is a desirable capability. However, case adaptation is still a challenge for this research area. In general, the acquisition of knowledge for case adaptation is harder than the acquisition of cases. This paper explores the automatic learning of adaptation knowledge and explores the use of a hybrid committee approach for automatic case adaptation.     

Smart-Glass Guided Exposure for Anxiety Disorders: A Proof-of-Concept Study

Exposure is a highly effective treatment for pathological fear and anxiety, but rarely used in routine care. Issues of practicability and lack of therapists in rural areas are main barriers for the dissemination of exposure. Smartglass devices may enable therapists to guide exposure from their own office via real-time feedback and may thereby increase practicability. The present study explored the technological usability and clinical feasibility of Smartglass-guided exposure in a behavioral approach test in spider-fearful individuals (N = 40).Fearful individuals were asked to start the Smartglass themselves and established a connection to a therapist, who guided the exposure test from afar. Clinical severity of spider fear was assessed via questionnaire. Technological usability was assessed with established measures of usability, user experience, and user acceptance. Exploratory, individual characteristics of exposure were collected (e.g., within-session fear reduction, duration, safety behavior).Overall, fearful individuals (94.9%) and therapists (100%) were able to establish a connection. Usability of Smartglass-guided exposure was evaluated as positive. Within-session fear reduction was large (d = 1.91). Adverse events were minimal. There were, however, some associations between exposure characteristics and usability evaluation (e.g., lower user-friendliness and exposure duration). Two case examples further highlight chances and risks of Smartglass-guided exposure.These findings provide first evidence that Smartglass-guided exposure could be useful in exposure therapy. Smartglass-guided exposure may ultimately help to increase practicability of exposure and increase dissemination, also in rural areas. These findings are promising for future research on the long-term outcome of evidence-based exposure in treatment seeking patients.     

Correction to: A Family Socialization Model of Transdiagnostic Risk for Psychopathology in Preschool Children

Research on Child and Adolescent Psychopathology - A correction to this paper has been published: https://doi.org/10.1007/s10802-021-00812-1     

Prenatal maternal representations: Mothers at psychosocial risk

The aim of the study was to explore differences in the content of prenatal mental representations between a risk group (n = 84) and a low‐risk group (n = 296) of pregnant women, enrolled from maternity care centers in southwestern Finland. The method used was semantic differentials of IRMAG (Interview of Maternal Representations During Pregnancy). The risk group was defined by means of questionnaire screens that concerned chemical dependency, depression, difficulties in social environment, and low social support. The ratings on all target subjects, i.e., child, self, partner, self‐as‐mother and own mother‐as‐mother, were significantly more negative in the risk group. The representation profiles of the groups differed: especially the ratings of partner and own mother‐as‐mother were more consistently and strongly negative among the risk mothers. © 2001 Michigan Association for Infant Mental Health.     

Hippocampal Mek/Erk signaling mediates extinction of contextual freezing behavior

Fear memories elicit multiple behavioral responses, encompassing avoidance, or behavioral inhibition in response to threatening contexts. Context-specific freezing, reflecting fear-induced behavioral inhibition, has been proposed as one of the main risks factors for the development of anxiety disorders. We attempted to define the key hippocampal mediators of extinction in a mouse model of context-dependent freezing. Nine-week-old male C57BL/6J mice were trained and tested for contextual fear conditioning and extinction. Freezing behavior scored by unbiased sampling, was used as an index of fear. Proteomic, immunoblot, and immunohistochemical approaches were employed to identify, verify, and analyze the alterations of the hippocampal extracellular signal-regulated kinases 1 and 2 (Erk-1/2). Targeted pharmacological inhibition of the Erk-1/2 activating kinase, the mitogen activated and extracellular signal-regulated kinase (Mek), served to establish the role of Mek/Erk signaling in extinction. When compared to acquisition, extinction of contextual freezing triggered a rapid activation of Erk-1/2 showing a distinctive time-course, nuclear localization, and subcellular isoform distribution. These differences suggested that the upstream regulation and downstream effects of this pathway might be specific for each process. Dorsohippocampal injections of the Mek inhibitors U0126 (0.5 microg/site) and PD98059 (1.5 microg/site) immediately after the nonreinforced trials prevented Erk-1/2 activation and significantly impaired extinction. This effect was dissociable from potential actions on memory retrieval or reconsolidation. On the basis of these findings, we propose that hippocampal Mek/Erk signaling might serve as one of the key mediators of contextual fear extinction.