The Power of Language: Gender,Status, and Agency in Performance Evaluations

Sex Roles - In the workplace, women often encounter gender stereotypes and biases that reinforce the existing gender hierarchy, may hinder women’s career aspirations and retention, and may...     

Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA

The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points FOμ. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid μ-calculus. In particular, we prove that the recursive extension of SQEMA succeeds on the class of ‘recursive formulae’. We also show that a certain version of this algorithm guarantees the canonicity of the formulae on which it succeeds.     

Differential diagnosis of cluttering and stuttering in Bulgaria

Fifteen stutterers, primarily children, who visited the Medical Pedagogical Department at the University of Blagoevgrad were evaluated for a variety of criteria used in Bulgaria to differentiate cluttering, stuttering, and mixed cluttering and stuttering. The same battery of tests was administered to all subjects. Based on these criteria, five subjects were diagnosed as clutterers, six as stutterers, and four as mixed. Daly's (1992–1993) Checklist for Possible Cluttering, Experimental Edition was also utilized to classify the subjects. Differences between the differential diagnostic criteria used by Bulgarian logopedists and other authors are discussed.     

Characterizing Human Expertise Using Computational Metrics of Feature Diagnosticity in a Pattern Matching Task

Forensic evidence often involves an evaluation of whether two impressions were made by the same source, such as whether a fingerprint from a crime scene has detail in agreement with an impression taken from a suspect. Human experts currently outperform computer‐based comparison systems, but the strength of the evidence exemplified by the observed detail in agreement must be evaluated against the possibility that some other individual may have created the crime scene impression. Therefore, the strongest evidence comes from features in agreement that are also not shared with other impressions from other individuals. We characterize the nature of human expertise by applying two extant metrics to the images used in a fingerprint recognition task and use eye gaze data from experts to both tune and validate the models. The Attention via Information Maximization (AIM) model (Bruce & Tsotsos, 2009) quantifies the rarity of regions in the fingerprints to determine diagnosticity for purposes of excluding alternative sources. The CoVar model (Karklin & Lewicki, 2009) captures relationships between low‐level features, mimicking properties of the early visual system. Both models produced classification and generalization performance in the 75%–80% range when classifying where experts tend to look. A validation study using regions identified by the AIM model as diagnostic demonstrates that human experts perform better when given regions of high diagnosticity. The computational nature of the metrics may help guard against wrongful convictions, as well as provide a quantitative measure of the strength of evidence in casework.     

Radionuclear encephalo-angioscintigraphic studies in transitory disorders of brain circulation in childhood

Fifteen cases of transient cerebral ischaemia in children have been studied. Radionuclear encephaloangioscintigraphy (RNEAS) with Tc99 DTPA in combination with CT scanning, doppler sonography of extracranial head arteries and EEG were performed in all observed cases. For some children cerebral angiography was done. RNEAS study found out: stenosis of internal carotid artery or a. cerebri media in 5 cases; AV-malformations- 3; ischaemic area- 1, aneurysma- 1; increased blood permeability of the late static scintigraphy- 3. Positive correlation was established between the angioscintigraphic and sonographic findings in the cases with stenosis of internal carotid artery; between angioscintigraphic and CT results in the cases with ischaemia; between RNEAS and angiographic data in cases with AV-malformations, aneurysm and stenosis. In conclusion RNEAS could be considered as a useful, atraumatic screening method within the complex of laboratory examinations for vascular diseases in childhood.     

A Propositional Dynamic Logic with Qualitative Probabilities

This paper presents an -completeness theorem for a new propositional probabilistic logic, namely, the dynamic propositional logic of qualitative probabilities (D Q P), which has been introduced by the author as a dynamic extension of the logic of qualitative probabilities (Q P) introduced by Segerberg.     

The Critical Tradition in Bulgaria

Studies in East European Thought -