Borgström et al. proposed a notion of symbolic bisimilarity for the Extended Spi Calculus [12]. They developed a prototype tool, called SBC (Symbolic Bisimulation Checker) [10] implementing observational equivalence checking for arbitrary processes using shared-key cryptography. However, it is based on hard-coded equational theories. We have partially extended SBC towards checking processes usi...

This paper builds a bridge between research on regulatory focus in motivation and classification learning. It tests the hypothesis that a fit between the situational regulatory focus and the reward structure of the task leads to greater cognitive flexibility than a mismatch between situational focus and the reward structure and that the fit between the regulatory focusinduced processing charact...

April 26, 2017 Type Package Title Multiple comparison test visualization Version 1.14.0 Date 2013-06-01 Author Michal Burda Maintainer Michal Burda Description This package provides visualization of the results from the multiple (i.e. pairwise) comparison tests such as pairwise.t.test, pairwise.prop.test or pairwise.wilcox.test. The groups being compared are visualized as ...

1. Analogies between knowledge and action Knowledge and its Limits starts its exposition of the knowledge-first approach to epistemology with a structural analogy between knowledge and action as the two key relations between mind and world (Williamson 2000, pp. 1, 6-8). The aim of this chapter is to reconsider the relation between knowledge and action, and refine the analogy. 2 Consider the opp...

Article history: Received 17 March 2014 Received in revised form 5 May 2014 Accepted 8 May 2014 Available online xxxx In this invited response, we first note that contrary to the claims of Haier and colleagues, they were not part of the review process for the article Fractionating Human Intelligence. We then expand on the rationale underlying the primary objective of the study, to determine whe...

November 20, 2016 Version 1.46.0 Date 2011-02-09 Title A ``corrective make-up'' program for microarray chips Author Mayte Suarez-Farinas, Maurizio Pellegrino, Knut M. Wittkowski, Marcelo O. Magnasco Maintainer Maurizio Pellegrino Depends R (>= 2.10) Imports affy, altcdfenvs, Biobase, stats, utils Description The package is used to detect extended, diffuse and compact bl...

In this paper, I show that we should understand the direction of fit of beliefs and desires in normative terms. After rehearsing a standard objection to Smith’s analysis of direction of fit, I raise a similar problem for Humberstone’s analysis. I go on to offer my own account, according to which the difference between beliefs and desires is determined by the normative relations such states stan...

Duncan Pritchard (et al. 2010, 2012a, 2012b) has recently shifted his view from an account that primarily understands knowledge in terms of the safety principle (a view mainly developed in his 2005 monograph on epistemic luck) to an ‘impure’ variety of virtue epistemology, which combines the safety principle with a weakened virtue-theoretic condition, a view that he calls anti-luck virtue epist...