Search
Results: 218
Coherence for bicategorical cartesian closed structure
Abstract We prove a strictification theorem for cartesian closed bicategories. First, we adapt Power’s proof of coherence for bicategories with finite bilimits to show that every bicategory with...
Specificities of exosome versus small ectosome secretion revealed by live intracellular tracking of CD63 and CD9.
Mathilde Mathieu, Nathalie Névo, Mabel Jouve, José Ignacio Valenzuela, Mathieu Maurin, Frederik J Verweij, Roberta Palmulli, Danielle Lankar, Florent Dingli, Damarys Loew, Eric Rubinstein, Gaëlle Boncompain, Franck Perez, Clotilde Théry
Sep 05, 2021
Despite their roles in intercellular communications, the different populations of extracellular vesicles (EVs) and their secretion mechanisms are not fully characterized: how and to what extent EVs form as intraluminal vesicles...
Abstract Syntax
John Power
Apr 02, 2007
We summarise Fiore et al's paper on variable substitution and binding, then axiomatise it. Generalising their use of the category F of finite sets to model untyped cartesian contexts, we let S be an arbitrary pseudo-monad on Cat...
Category Theoretic Semantics for Typed Binding Signatures with Recursion
We generalise Fiore et al's account of variable binding for untyped cartesian contexts to give an account of binding for either variables or names that may be typed. We do this in an enriched setting, allowing the incorporation...
Abstract Syntax
John Power
Apr 02, 2007
We summarise Fiore et al's paper on variable substitution and binding, then axiomatise it. Generalising their use of the category F of finite sets to model untyped cartesian contexts, we let S be an arbitrary pseudo-monad on Cat...
Category Theoretic Semantics for Typed Binding Signatures with Recursion
We generalise Fiore et al's account of variable binding for untyped cartesian contexts to give an account of binding for either variables or names that may be typed. We do this in an enriched setting, allowing the incorporation...
The Ursinus Weekly, December 18, 1908
Football men entertained The Dean's column Athletic Association meeting Henry A. Mathieu Ursinus Union Editorial: An estimate - Donald G. Mitchell Societies Personals Alumni notes Seminary notes Ursinus then and now
Ursinus College Collegeville Pennsylvania newspaper Football YMCA YWCA Zwinglian literary society Schaff literary society cultural history Higher Education Liberal Studies Social History United States History
Published by: Ursinus College
Analytic functors between presheaf categories over groupoids
Marcelo Fiore
Mar 11, 2019
The paper studies analytic functors between presheaf categories. Generalising
results of A. Joyal and of R. Hasegawa for analytic endofunctors on the
category of sets, we give two characterisations of analytic functors...
Carbon Nanotubes Inhibit Biofilm Formation on Polydimethylsiloxane
Silicone-based materials, such as polydimethylsiloxane (PDMS), are widely used in the construction of biomedical devices due to their biocompatibility and biostability. Despite these benefits, biofilms form readily on silicone...
Published by: Ursinus College
Classical logic with Mendler induction
We investigate (co-) induction in classical logic under the propositions-as-types paradigm, considering propositional, second-order and (co-) inductive types. Specifically, we introduce an extension of the Dual Calculus with a...
Highly stylised animation
In this paper we argue for our NPAR system as an effective 2D alternative to most of NPR research which is focused on frame coherent stylised rendering of 3D models. Our approach gives a highly stylised look to images without...
Impact of Anion Vacancies on the Local and Electronic Structures of Iron-Based Oxyfluoride Electrodes
Mario Burbano, Mathieu Duttine, Benjamin Morgan, Olaf Borkiewicz, Karena Chapman, Alain Wattiaux, Henri Groult, Mathieu Salanne, Damien Dambournet
Jan 03, 2019
The properties of crystalline solids can be significantly modified by deliberately introducing point defects. Understanding these effects, however, requires understanding the changes in geometry and electronic structure of the...
Impact of Anion Vacancies on the Local and Electronic Structures of Iron-Based Oxyfluoride Electrodes
Mario Burbano, Mathieu Duttine, Benjamin Morgan, Olaf Borkiewicz, Karena Chapman, Alain Wattiaux, Henri Groult, Mathieu Salanne, Damien Dambournet
Jan 03, 2019
The properties of crystalline solids can be significantly modified by deliberately introducing point defects. Understanding these effects, however, requires understanding the changes in geometry and electronic structure of the...
The Quantitative Associations Between Near Infrared Spectroscopic Cerebrovascular Metrics and Cerebral Blood Flow
Alwyn Gomez, Amanjyot Singh Sainbhi, Logan Froese, Carleen Batson, Trevor Slack, Kevin Y Stein, Dean M Cordingley, Francois Mathieu, Frederick A Zeiler
Jul 29, 2022
Cerebral blood flow (CBF) is an important physiologic parameter that is vital for proper cerebral function and recovery. Current widely accepted methods of measuring CBF are cumbersome, invasive, or have poor spatial or temporal...
Health Determinants among North Americans Experiencing Homelessness and Traumatic Brain Injury
Traumatic brain injury (TBI) in those experiencing homelessness has been described in recent literature as a contributor to increased morbidity, decreased functional independence, and early mortality. In this systematically...
NNLO QCD predictions for W+c-jet production at the LHC
Abstract: We study the production of a W boson in association with a c-jet at the LHC. We calculate, for the first time, the complete set of NNLO QCD corrections to the dominant CKM-diagonal contribution to this process. Both...
Maximizing specific work output extracted from engine exhaust with novel inverted Brayton cycles over a large range of operating conditions
The heat contained in internal combustion engine exhaust gases can be converted into mechanical energy by using an Inverted Brayton Cycle (IBC). In this paper, five different IBC versions are numerically modeled and optimized to...
A detailed investigation of W+c-jet at the LHC
Abstract
State-of-the-art analyses of W+c-jet production at the LHC require precise predictions. In the present work, we study in detail the impact of...
Germline variants in ETV6 underlie reduced platelet formation, platelet dysfunction and increased levels of circulating CD34+ progenitors.
Marjorie Poggi, Matthias Canault, Marie Favier, Ernest Turro, Paul Saultier, Dorsaf Ghalloussi, Veronique Baccini, Lea Vidal, Anna Mezzapesa, Nadjim Chelghoum, Badreddine Mohand-Oumoussa, Céline Falaise, Rémi Favier, Willem H Ouwehand, Mathieu Fiore, Franck Peiretti, Pierre Emmanuel Morange, Noémie Saut, Denis Bernot, Andreas Greinacher, Nihr BioResource, Alan T Nurden, Paquita Nurden, Kathleen Freson, David-Alexandre Trégouët, Hana Raslova, Marie-Christine Alessi
May 31, 2018
Variants in ETV6, which encodes a transcription repressor of the E26 transformation-specific family, have recently been reported to be responsible for inherited thrombocytopenia and hematologic malignancy. We sequenced the DNA...
Antigens CD34 Blood Cell Count Blood Platelets Cell Differentiation Family Female Gene Expression Regulation Genotype Germ-Line Mutation Hematopoietic Stem Cells Humans Hyperplasia Male Megakaryocytes Pedigree Phenotype Platelet Count Proto-Oncogene Proteins c-ets Repressor Proteins Thrombopoiesis Transcription Genetic
NLO QCD and EW corrections to vector-boson scattering into ZZ at the LHC
Abstract: We present the first calculation of the full next-to-leading-order electroweak and QCD corrections for vector-boson scattering (VBS) into a pair of Z bosons at the LHC. We consider specifically the process pp →...
Sparse Cyclic Excitations Explain the Low Ionic Conductivity of Stoichiometric Li<sub>7</sub>La<sub>3</sub>Zr<sub>2</sub>O<sub>12</sub>
We have performed long time-scale molecular dynamics simulations of the cubic and tetragonal phases of the solid lithium-ion-electrolyte Li7La3Zr2O12 (LLZO), using a first-principles...
A detailed investigation of W+c-jet at the LHC
Abstract
State-of-the-art analyses of W+c-jet production at the LHC require precise predictions. In the present work, we study in detail the impact of...
|
|< |
< |
1 |