Coalgebraic semantics of modal logics: An overview
C Kupke, D Pattinson - Theoretical Computer Science, 2011 - Elsevier
… If we choose the similarity type Λ = {D} we obtain the standard semantics of the modal logic
… by the similarity type Λ = {D}, and we obtain the standard semantics [21] if we interpret D by …
… by the similarity type Λ = {D}, and we obtain the standard semantics [21] if we interpret D by …
[HTML][HTML] “Excellence R Us”: university research and the fetishisation of excellence
…, M Paul Eve, D Paul O'Donnell, D Pattinson - Palgrave …, 2017 - nature.com
The rhetoric of “excellence” is pervasive across the academy. It is used to refer to research
outputs as well as researchers, theory and education, individuals and organizations, from art …
outputs as well as researchers, theory and education, individuals and organizations, from art …
[HTML][HTML] Antibody titers against SARS-CoV-2 decline, but do not disappear for several months
Background To develop an effective vaccine against a novel viral pathogen, it is important
to understand the longitudinal antibody responses against its first infection. Here we …
to understand the longitudinal antibody responses against its first infection. Here we …
The neurobiology of infant pain: development of excitatory and inhibitory neurotransmission in the spinal dorsal horn
D Pattinson, M Fitzgerald - Regional anesthesia and pain …, 2004 - search.proquest.com
Damian Pattinson, B. Sc., and Maria Fitzgerald, Ph. D. he field of pediatric pain is a relatively
new Tone, but its importance should not be under—estimated. Pain is not restricted to …
new Tone, but its importance should not be under—estimated. Pain is not restricted to …
Famotidine use and quantitative symptom tracking for COVID-19 in non-hospitalised patients: a case series
… (B–D) The device software provided display of weekly data relating to three metrices
recorded using an Oura Ring are displayed for patient 8. The mean for each metric over the …
recorded using an Oura Ring are displayed for patient 8. The mean for each metric over the …
Coalgebraic modal logic: Soundness, completeness and decidability of local consequence
D Pattinson - Theoretical Computer Science, 2003 - Elsevier
… Given a (denotation) function d : L → P(C) we denote the extension 2 of d to Prop(L) by Prop…
[11] D. Pattinson, Semantical principles in the modal logic of coalgebras, in: H. Reichel, A. …
[11] D. Pattinson, Semantical principles in the modal logic of coalgebras, in: H. Reichel, A. …
[PDF][PDF] Human antibodies that slow erythrocyte invasion potentiate malaria-neutralizing antibodies
…, J Jin, RO Payne, JJ Illingworth, DJ Pattinson, D Pulido… - Cell, 2019 - cell.com
The Plasmodium falciparum reticulocyte-binding protein homolog 5 (PfRH5) is the leading
target for next-generation vaccines against the disease-causing blood-stage of malaria. …
target for next-generation vaccines against the disease-causing blood-stage of malaria. …
Expressive logics for coalgebras via terminal sequence induction
D Pattinson - Notre Dame Journal of Formal Logic, 2004 - projecteuclid.org
… c ∼n d if and only if γn(c) = δn(d). … d if c and d are bisimilar for the first n transition steps.
In this setting, Theorem 4.1 states that c and d are behaviorally equivalent if and only if c ∼n d …
In this setting, Theorem 4.1 states that c and d are behaviorally equivalent if and only if c ∼n d …
Modal logics are coalgebraic
… as transition maps ρ : W → D(W ), where D(W ) denotes the set of discrete probability
distributions on W; ie ρ assigns to each world w a successor distribution ρ(w) ∈ D(W ). The main …
distributions on W; ie ρ assigns to each world w a successor distribution ρ(w) ∈ D(W ). The main …
[HTML][HTML] Recommendations for accelerating open preprint peer review to improve the culture of science
…, A Mendonça, S Monaco, K Neves, D Pattinson… - PLoS …, 2024 - journals.plos.org
Peer review is an important part of the scientific process, but traditional peer review at
journals is coming under increased scrutiny for its inefficiency and lack of transparency. As …
journals is coming under increased scrutiny for its inefficiency and lack of transparency. As …