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...

Quasispecies are clouds of genotypes that appear in a population at mutation-selection balance. This concept has recently attracted the attention of virologists, because many RNA viruses appear to generate high levels of genetic variation that may enhance the evolution of drug resistance and immune escape. The literature on these important evolutionary processes is, however, quite challenging. ...

Search in constraint programming is a time consuming task. Search can be speeded up by exploring subtrees of a search tree in parallel. This paper presents distributed search engines that achieve parallelism by distribution across networked computers. The main point of the paper is a simple design of the parallel search engine. Simplicity comes as an immediate consequence of clearly separating ...

The Ulster Medical Society grants to all users on the basis of a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International Licence the right to alter or build upon the work non-commercially, as long as the author is credited and the new creation is licensed under identical terms. The books title 'Contraception made easy' delivers on its promise. In order to do so undoubtedly the b...

In the first years of the 21st century, companies know more than ever about their customers. This knowledge is gained through the collection and analysis of customer data, but it comes at a price: companies are now responsible for securing the privacy data of their customers’ personal information. Companies not only have a potential moral responsibility to protect information pertaining to cust...