Physics, Topology, Logic and Computation: A Rosetta Stone

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "cobordism". Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.Comment: 73 pages, 8 encapsulated postscript figure

Enterprise Education Competitions: A Theoretically Flawed Intervention?

The demand for including enterprise in the education system, at all levels and for all pupils is now a global phenomenon. Within this context, the use of competitions and competitive learning activities is presented as a popular and effective vehicle for learning. The purpose of this chapter is to illustrate how a realist method of enquiry – which utilises theory as the unit of analysis – can shed new light on the assumed and unintended outcomes of enterprise education competitions. The case developed here is that there are inherent flaws in assuming that competitions will ‘work’ in the ways set out in policy and guidance. Some of the most prevalent stated outcomes – that competitions will motivate and reward young people, that they will enable the development of entrepreneurial skills, and that learners will be inspired by their peers – are challenged by theory from psychology and education. The issue at stake is that the expansion of enterprise education policy into primary and secondary education increases the likelihood that more learners will be sheep dipped in competitions, and competitive activities, without a clear recognition of the potential unintended effects. In this chapter, we employ a realist-informed approach to critically evaluate the theoretical basis that underpins the use of competitions and competitive learning activities in school-based enterprise education. We believe that our findings and subsequent recommendations will provide those who promote and practice the use of competitions with a richer, more sophisticated picture of the potential flaws within such activities.Peer reviewedFinal Published versio

Transforming data by calculation

Thispaperaddressesthefoundationsofdata-modeltransformation.A catalog of data mappings is presented which includes abstraction and representa- tion relations and associated constraints. These are justified in an algebraic style via the pointfree-transform, a technique whereby predicates are lifted to binary relation terms (of the algebra of programming) in a two-level style encompassing both data and operations. This approach to data calculation, which also includes transformation of recursive data models into “flat” database schemes, is offered as alternative to standard database design from abstract models. The calculus is also used to establish a link between the proposed transformational style and bidi- rectional lenses developed in the context of the classical view-update problem.Fundação para a Ciência e a Tecnologia (FCT

The effect of curricular and extracurricular activities on university students? entrepreneurial intention and competences

This study examines how the alliance-building process affects the intention to enter into international alliances in the case of small and medium-sized enterprises (SMEs). From a psychological perspective (Perceived Behavioural Control), the authors analyse the alliance-building process as an inhibitor of the international collaboration intention, considering to what extent the experience affects the intention of the partners involved. The study explores these hypotheses based on a sample of 220 Spanish SMEs. The results provide empirical evidence showing that the intention to develop international alliances is negatively affected by the search and the selection process as well as by the negotiation of the agreement, which reduces the intention to establish an international agreement. In addition, the intention is moderated by the experience of the SME manager. Moreover, there is a negative relationship between the extent of the SME manager's international experience and the intention to develop an international alliance

How to think about informal proofs

This document is the Accepted Manuscript version of the following article: Brendan Larvor, ‘How to think about informal proofs’, Synthese, Vol. 187(2): 715-730, first published online 9 September 2011. The final publication is available at Springer via doi:10.1007/s11229-011-0007-5It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the fieldPeer reviewedFinal Accepted Versio

A Systems Approach for Tumor Pharmacokinetics

Recent advances in genome inspired target discovery, small molecule screens, development of biological and nanotechnology have led to the introduction of a myriad of new differently sized agents into the clinic. The differences in small and large molecule delivery are becoming increasingly important in combination therapies as well as the use of drugs that modify the physiology of tumors such as anti-angiogenic treatment. The complexity of targeting has led to the development of mathematical models to facilitate understanding, but unfortunately, these studies are often only applicable to a particular molecule, making pharmacokinetic comparisons difficult. Here we develop and describe a framework for categorizing primary pharmacokinetics of drugs in tumors. For modeling purposes, we define drugs not by their mechanism of action but rather their rate-limiting step of delivery. Our simulations account for variations in perfusion, vascularization, interstitial transport, and non-linear local binding and metabolism. Based on a comparison of the fundamental rates determining uptake, drugs were classified into four categories depending on whether uptake is limited by blood flow, extravasation, interstitial diffusion, or local binding and metabolism. Simulations comparing small molecule versus macromolecular drugs show a sharp difference in distribution, which has implications for multi-drug therapies. The tissue-level distribution differs widely in tumors for small molecules versus macromolecular biologic drugs, and this should be considered in the design of agents and treatments. An example using antibodies in mouse xenografts illustrates the different in vivo behavior. This type of transport analysis can be used to aid in model development, experimental data analysis, and imaging and therapeutic agent design.National Institutes of Health (U.S.) (grant T32 CA079443

Multiple novel prostate cancer susceptibility signals identified by fine-mapping of known risk loci among Europeans

Genome-wide association studies (GWAS) have identified numerous common prostate cancer (PrCa) susceptibility loci. We have fine-mapped 64 GWAS regions known at the conclusion of the iCOGS study using large-scale genotyping and imputation in 25 723 PrCa cases and 26 274 controls of European ancestry. We detected evidence for multiple independent signals at 16 regions, 12 of which contained additional newly identified significant associations. A single signal comprising a spectrum of correlated variation was observed at 39 regions; 35 of which are now described by a novel more significantly associated lead SNP, while the originally reported variant remained as the lead SNP only in 4 regions. We also confirmed two association signals in Europeans that had been previously reported only in East-Asian GWAS. Based on statistical evidence and linkage disequilibrium (LD) structure, we have curated and narrowed down the list of the most likely candidate causal variants for each region. Functional annotation using data from ENCODE filtered for PrCa cell lines and eQTL analysis demonstrated significant enrichment for overlap with bio-features within this set. By incorporating the novel risk variants identified here alongside the refined data for existing association signals, we estimate that these loci now explain ∼38.9% of the familial relative risk of PrCa, an 8.9% improvement over the previously reported GWAS tag SNPs. This suggests that a significant fraction of the heritability of PrCa may have been hidden during the discovery phase of GWAS, in particular due to the presence of multiple independent signals within the same regio

Set Theory and Structures

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure