Search
Results: 58
Vitamin D and COVID-19-Revisited.
Sreedhar Subramanian, George Griffin, Martin Hewison, Julian Hopkin, Rose Anne Kenny, Eamon Laird, Richard Quinton, David Thickett, Jonathan M Rhodes
Aug 07, 2022
Vitamin D, when activated to 1,25-dihydroxyvitamin D, is a steroid hormone that induces responses in several hundred genes, including many involved in immune responses to infection. Without supplementation, people living in...
Imperative programs as proofs via game semantics
Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs....
Revisiting Decidable Bounded Quantification, via Dinaturality
James Laird
Feb 22, 2023
We use a semantic interpretation to investigate the problem of defining an expressive but decidable type system with bounded quantification. Typechecking in the widely studied System Fsub is undecidable thanks to an undecidable...
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
James Laird
Nov 24, 2021
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data...
Simulation of the effect of rainfall on farm-level cocoa yield using a delayed differential equation model
Cocoa (Theobroma cacao) is an economically important crop grown by approximately six million of smallholder farmers throughout the tropics and sub-tropics. However, farm level yields are often very low, and sustainable...
Constructing differential categories and deconstructing categories of games
Differential categories were introduced by Blute, Cockett and Seely to axiomatize categorically Ehrhard and Regnierʼs syntactic differential operator. We present an abstract construction that takes a symmetric monoidal category...
Game semantics for a polymorphic programming language
J. Laird
Aug 01, 2013
This article presents a game semantics for higher-rank polymorphism, leading to a new model of the calculus System F, and a programming language which extends it with mutable variables. In contrast to previous game models of...
Revisiting Decidable Bounded Quantification, via Dinaturality
James Laird
Feb 22, 2023
We use a semantic interpretation to investigate the problem of defining an expressive but decidable type system with bounded quantification. Typechecking in the widely studied System Fsub is undecidable thanks to an undecidable...
Extensional and Intensional Semantics of Bounded and Unbounded Nondeterminism
James Laird
Nov 24, 2021
We give extensional and intensional characterizations of functional programs with nondeterminism: as structure preserving functions between biorders, and as nondeterministic sequential algorithms on ordered concrete data...
Weighted models for higher-order computation
James Laird
Dec 31, 2020
We study a class of quantitative models for higher-order computation: Lafont categories with (infinite) biproducts. Each of these has a complete “internal semiring” and can be enriched over its modules. We describe a...
Weighted models for higher-order computation
James Laird
Dec 31, 2020
We study a class of quantitative models for higher-order computation: Lafont categories with (infinite) biproducts. Each of these has a complete “internal semiring” and can be enriched over its modules. We describe a...
Game semantics for a polymorphic programming language
J. Laird
Aug 01, 2013
This article presents a game semantics for higher-rank polymorphism, leading to a new model of the calculus System F, and a programming language which extends it with mutable variables. In contrast to previous game models of...
Imperative programs as proofs via game semantics
Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs....
Simulation of the effect of rainfall on farm-level cocoa yield using a delayed differential equation model
Cocoa (Theobroma cacao) is an economically important crop grown by approximately six million of smallholder farmers throughout the tropics and sub-tropics. However, farm level yields are often very low, and sustainable...
Constructing differential categories and deconstructing categories of games
Differential categories were introduced by Blute, Cockett and Seely to axiomatize categorically Ehrhard and Regnierʼs syntactic differential operator. We present an abstract construction that takes a symmetric monoidal category...
Differential expression of prognostic proteomic markers in primary tumour, venous tumour thrombus and metastatic renal cell cancer tissue and correlation with patient outcome.
Alexander Laird, Fiach C O'Mahony, Jyoti Nanda, Antony CP Riddick, Marie O'Donnell, David J Harrison, Grant D Stewart
May 14, 2020
Renal cell carcinoma (RCC) is the most deadly of urological malignancies. Metastatic disease affects one third of patients at diagnosis with a further third developing metastatic disease after extirpative surgery. Heterogeneity...
Estimating the prevalence of missing experiments in a neuroimaging meta-analysis.
Pantelis Samartsidis, Silvia Montagna, Angela R Laird, Peter T Fox, Timothy D Johnson, Thomas E Nichols
Sep 17, 2020
Coordinate-based meta-analyses (CBMA) allow researchers to combine the results from multiple functional magnetic resonance imaging experiments with the goal of obtaining results that are more likely to generalize. However, the...
Meta-Analysis Neuroimaging publication-bias zero-truncated modeling Brain Mapping Computer Graphics Computer Simulation Connectome Data Interpretation Statistical Databases Factual Humans Image Processing Computer-Assisted Magnetic Resonance Imaging Meta-Analysis as Topic Monte Carlo Method Neuroimaging prevalence
Paramagnetism in Bacillus spores
Ke Xu Zhou, Adrian Ionescu, Eamon Wan, Yeuk N Ho, Crispin HW Barnes, Graham Christie, D Ian Wilson
Feb 08, 2018
Spores of Bacillus megaterium, Bacillus cereus, and Bacillus subtilis were found to exhibit intrinsic paramagnetic properties as a result of the accumulation of manganese ions. All three Bacillus species displayed strong yet...
Implementing informative priors for heterogeneity in meta-analysis using meta-regression and pseudo data.
Kirsty M Rhodes, Rebecca M Turner, Ian R White, Dan Jackson, David J Spiegelhalter, Julian PT Higgins
Jun 18, 2018
Many meta-analyses combine results from only a small number of studies, a situation in which the between-study variance is imprecisely estimated when standard methods are applied. Bayesian meta-analysis allows incorporation of...
Structure and evolutionary history of a large family of NLR proteins in the zebrafish.
Kerstin Howe, Philipp H Schiffer, Julia Zielinski, Thomas Wiehe, Gavin K Laird, John C Marioni, Onuralp Soylemez, Fyodor Kondrashov, Maria Leptin
Sep 08, 2018
Multicellular eukaryotes have evolved a range of mechanisms for immune recognition. A widespread family involved in innate immunity are the NACHT-domain and leucine-rich-repeat-containing (NLR) proteins. Mammals have small...
A 'fownde patrone and second father' of the Marian Church
Abstract Despite receiving particular praise from a range of early modern commentators, from Nicholas Sander to Pedro de Ribadeneyra, most historians have seen the Italian merchant Antonio...
Frederick E Smith
Sep 27, 2018
Real world outcomes of biopsy-proven oncocytic neoplasm of the kidney managed by surveillance.
Flora E Rodger, Keiran Brown, Steve Leung, Jack Coode-Bate, James Armitage, Anne Warren, Jane Hendry, Grant D Stewart, Alex Laird, Grenville M Oades
Mar 03, 2022
OBJECTIVES: To evaluate outcomes of patients diagnosed with oncocytic renal neoplasms on routine renal mass biopsy and to describe the natural history of these tumours when managed with surveillance as opposed to immediate...
|
|< |
< |
1 |