This paper gives an overview of a prototype implementation of a fragment of the logic Linc [5, 8, 13] (also referred to as FOλ∆∇ in [5]), which we tentatively call ‘Level 0/1 Prover’ here. This implementation is part of a larger project, Parsifal, at INRIA Futurs (see http://www.lix.polytechnique.fr/~dale/parsifal). The logic Linc is an extension of first-order intuitionistic logic with a proof...

We present a new method, the regularized and space-variant Building Block method, which is able to reconstruct diffraction-limited aperturesynthesis images from Large Binocular Telescope (LBT) LINC-NIRVANA data. Images with the diffraction-limited resolution of a 22.8 m single-dish telescope can be derived if raw images are taken at several different hour angles. We simulated computer-generated...

Crisis in neuroimaging: is neuroimaging failing 15 years after the decade of the brain? André Zugman, João R. Sato, Andrea P. Jackowski Laboratório Interdisciplinar de Neurociências Clı́nicas (LiNC), Departamento de Psiquiatria, Universidade Federal de São Paulo (UNIFESP), São Paulo, SP Brazil. Centro de Matemática, Computação e Cognição, Universidade Federal do ABC (UFABC), Santo André, SP, Bra...

We have read with a great interest the excellent article by Pasch et al. (2015) which describes the role of Sun4 in sperm head formation and fertility. The authors have used a Sun4 knockout (Sun4) mouse model to study the function of Sun4 in spermatogenesis. They observed that homozygous Sun4 males are infertile and present a globozoospermia-like phenotype. Further, they demonstrate that Sun4 i...

The election of 1860 was one of the most important and contentious elections in US history. It was also one of the most interesting. Four candidates from three different parties battled for the presidency and all four received a significant number of votes. We ask whether Lincoln’s victory was sound, or was it due to a fluke in the electoral system? Did a Lincoln win plausibly represent the wil...