User profiles for D. Pattinson

Dirk Pattinson

- Verified email at anu.edu.au - Cited by 2487

David Pattinson

- Verified email at wisc.edu - Cited by 406

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 …

[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 …

[HTML][HTML] Antibody titers against SARS-CoV-2 decline, but do not disappear for several months

…, K Yagi, K Maeda, H Kato, M Nojima, D Pattinson… - …, 2021 - thelancet.com
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 …

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 …

Famotidine use and quantitative symptom tracking for COVID-19 in non-hospitalised patients: a case series

T Janowitz, E Gablenz, D Pattinson, TC Wang… - Gut, 2020 - gut.bmj.com
… (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 …

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. …

[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. …

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

Modal logics are coalgebraic

C Cîrstea, A Kurz, D Pattinson, L Schröder… - The Computer …, 2011 - academic.oup.com
… 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 …

[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 …