The Paxos algorithm, when presented in plain English, is very simple.

(A, B,C, D, . . . are positive constants), where the symbol means that rn lies between any two successive partial sums of the series. Usually (as in [1, pp. 529–534]) this formula is deduced from Euler’s summation formula. In this note we show how to compute in succession the constants A, B,C, . . . by a very simple technique. Only derivatives and limits of ln and of rational functions are invo...

We present a Haskell library that makes it easy for compiler writers to implement program transformations based on dataflow analyses. The compiler writer must identify (a) a family of logical assertions on which the transformation will be based; (b) an approximate representation of such assertions, which must have a lattice structure such that every assertion can be increased at most finitely m...

Critical and theoretical concepts and theories are now firmly embedded within design education, but to what goal? How will the practice of design develop and change under the ethos of critical inquiry? Indeed, what version of ‘critique’? Taking inspiration from Latour’s essay 'Why Has Critique Run out of Steam? From Matters of Fact to Matters of Concern (2004), this paper will outline how we ar...

Groupoidification is a form of categorification in which vector spaces are replaced by groupoids, and linear operators are replaced by spans of groupoids. We introduce this idea with a detailed exposition of ‘degroupoidification’: a systematic process that turns groupoids and spans into vector spaces and linear operators. Then we present two applications of groupoidification. The first is to Fe...

In their new book Relativism and Monadic Truth, Herman Cappelen and John Hawthorne seek to defend a " mainstream " view of the contents of thought and talk, which they call Simplicity, against recent " analytic relativist " here-says (including my own). Simplicity consists in five theses: T1 There are propositions and they instantiate the fundamental monadic properties of truth simpliciter and ...

In D = 4,N = 2 theories on R, the index receives contributions not only from single-particle BPS states, counted by the BPS indices, but also from multi-particle states made of BPS constituents. In a recent work [1], a general formula expressing the index in terms of the BPS indices was proposed, which is smooth across walls of marginal stability and reproduces the expected single-particle cont...

In this study, we present a method to extensively reduce the number of retrieved images and increase the retrieval performance for the person queries on the broadcast news videos. A multi-modal approach which integrates face and text information is proposed. A state-of-theart face detection algorithm is improved using a skin color based method to eliminate the false alarms. This pruned set is c...