A multiple-valued logic approach to the design and verification of hardware circuits

We present a novel approach, which is based on multiple-valued logic (MVL), to the verification and analysis of digital hardware designs, which extends the common ternary or quaternary approaches for simulations. The simulations which are performed in the more informative MVL setting reveal details which are either invisible or harder to detect through binary or ternary simulations. In equivalence verification, detecting different behavior under MVL simulations may lead to the discovery of a genuine binary non-equivalence or to a qualitative gap between two designs. The value of a variable in a simulation may hold information about its degree of truth and its “place of birth” and “date of birth”. Applications include equivalence verification, initialization, assertions generation and verification, partial control on the flow of data by prioritizing and block-oriented simulations. Much of the paper is devoted to theoretical aspects behind the MVL approach, including the reason for choosing a specific algebra for computations and the introduction of the notions of De Morgan Canonical Form and of verification complexity of Boolean expressions. Two basic simulation-based algorithms are presented, one for satisfying and verifying combinational designs and the other for equivalence verification of sequential designs.     

A new semantical approach to the logic of preference

A possible world semantics for preference is developed. The remainder operator () is used to give precision to the notion that two states of the world are as similar as possible, given a specified difference between them. A general structure is introduced for preference relations between states of affairs, and three types of such preference relations are defined. It is argued that one of them, actual preference, corresponds closely to the concept of preference in informal discourse. Its logical properties are studied and shown to be plausible.     

A concept approach to input/output logic

This paper provides a semantics for input/input output logic based on formal concept analysis. The central result shows that an input/output logic axiomatised by a relation R is the same as the logic induced by deriving pairs from the concept lattice generated by R using a ∧- and ∨-classical Scott consequence relation. This correspondence offers powerful analytical techniques for classifying, visualising and analysing input/output relations, revealing implicit hierarchical structure and/or natural clusterings and dependencies. The application of all formal developments are illustrated by a worked example towards the end.     

A new approach for differential item functioning detection using Mantel-Haenszel methods. The GMHDIF program

To date, the statistical software designed for assessing differential item functioning (DIF) with Mantel-Haenszel procedures has employed the following statistics: the Mantel-Haenszel chi-square statistic, the generalized Mantel-Haenszel test and the Mantel test. These statistics permit detecting DIF in dichotomous and polytomous items, although they limit the analysis to two groups. On the contrary, this article describes a new approach (and the related software) that, using the generalized Mantel-Haenszel statistic proposed by Landis, Heyman, and Koch (1978), permits DIF assessment in multiple groups, both for dichotomous and polytomous items. The program is free of charge and is available in the following languages: Spanish, English and Portuguese.     

A shared-memory approach to microprocessor program development

We have developed hardware and software interfaces with which part of a minicomputer’s memory can be shared among its own programs and an Intel 8080 system. Although access to this shared memory is too slow for most real-time operations, the shared area is an excellent buffer for program code to be copied to faster memory for eventual real-time execution. The shared memory can also be used to pass test data between the processors to automate the testing of 8080 program modules.     

A new approach to explain aggression

Two separate experiments are reported. They show the methodological difficulties and subsequent conceptual complications in Berkowitz's modified frustration-aggression theory and Zillman's theory of aggression. There was a marginally significant difference in the verbal measure of aggression favouring subjects aroused by frustration over subjects aroused by exercise, but not on the behavioral measure of aggression. Exp. II was conducted to test an alternative hypothesis, deduced from Fraisse's theory of emotion, which states that subjects respond more aggressively when confronted with unexpected than with expected annoyance. All six measures of aggression confirmed the hypothesis. The results of these two experiments indicate conceptual and methodological difficulties inherent in Berkowitz's modified frustration-aggression theory and Zillman's theory of aggression; they also suggest that Fraisse's theory of emotion presents a better model of aggression.     

A new approach to pastoral counseling

Pastoral Psychology -     

A new approach to manipulation arguments

There are several argumentative strategies for advancing the thesis that moral responsibility is incompatible with causal determinism. One prominent such strategy is to argue that agents who meet compatibilist conditions for moral responsibility can nevertheless be subject to responsibility-undermining manipulation. In this paper, I argue that incompatibilists advancing manipulation arguments against compatibilism have been shouldering an unnecessarily heavy dialectical burden. Traditional manipulation arguments present cases in which manipulated agents meet all compatibilist conditions for moral responsibility, but are (allegedly) not responsible for their behavior. I argue, however, that incompatibilists can make do with the more modest (and harder to resist) claim that the manipulation in question is mitigating with respect to moral responsibility. The focus solely on whether a manipulated agent is or is not morally responsible has, I believe, masked the full force of manipulation-style arguments against compatibilism. Here, I aim to unveil their real power.     

A methodology for the capture and analysis of hybrid data: A case study of program debugging

This article describes a methodology for the capture and analysis of hybrid data. A case study in the field of reasoning with multiple representations—specifically, in computer programming—is presented to exemplify the use of the methodology. The hybrid data considered comprise computer interaction logs, audio recordings, and data about visual attention focus. The capture of the focus of visual attention data is performed with software. The software employed tracks the user’s visual attention by blurring parts of the stimuli presented on the screen and allowing the participant to see only a small region of it at any one time. These hybrid data are analyzed via a methodology that combines qualitative and quantitative approaches. The article describes the software tool employed and the analytic methodology, and also discusses data capture issues and limitations of the approach.     

VALCOR: A program for estimating standard error, confidence intervals, and probability of corrected validity

VALCOR is a Turbo-Basic program that corrects the observed (uncorrected) validity coefficients for criterion and predictor unreliability and range restriction in the predictor. Furthermore, using the formulas for the standard error of functions of correlations derived by Bobko and Rieck (1980), the program provides an estimation of the standard error, the confidence intervals, and the probability of the corrected validity coefficients. In this way, the probability and the boundaries of the corrected validity coefficients may be reported together with the probability of the uncorrected validity coefficients. The results are presented on the computer screen and may be saved in an external file.     

A new approach to Eysenck's theory of criminality

Studies examining Eysenck's theory of criminality by contrasting delinquent and non-delinquent groups have produced equivocal results. Some studies have shown criminals to score higher, as the theory predicts, on psychoticism, neuroticism and extraversion, whilst other studies have not. The current study examines the theory from a new approach by using cluster analysis to demonstrate the heterogeneity of personality types in delinquent sample (N =100) and in a comparison group (N = 100).Four personality types were found in each group. Two personality types which were present in the delinquent sample were not found in the comparison group. The first type consisted of individuals scoring high on neuroticism and extraversion whilst the second type consisted of individuals scoring high on psychoticism, neuroticism and extraversion. These types appeared to be consistent with Eysenck's theory of criminality.