Matching in the Pi-Calculus (Technical Report) [PDF]
, 2014 We study whether, in the pi-calculus, the match prefix---a conditional operator testing two names for (syntactic) equality---is expressible via the other operators.
Nestmann, Uwe +2 more
core
About compositional analysis of pi-calculus processes [PDF]
We set up a logical framework for the compositional analysis of finite pi-calculus processes. In particular, we extend the partial model checking techniques developed for value passing process algebras to a nominal calculus, i.e. the pi-calculus.
Martinelli, Fabio
core
False-positive PSMA uptake from urinary reflux into a seminal vesicle cyst in renal agenesis. [PDF]
Radiol Case RepTing CH, Singh D, Yaxley J.
europepmc +1 more source
The Relationship Between Malocclusion and Periodontal Health in Children and Adolescents: A Systematic Review and Meta-Analysis. [PDF]
J Clin MedSzyszka-Sommerfeld L +13 more
europepmc +1 more source
The Role of Lasers in Non-surgical Periodontal Treatment. [PDF]
CureusTypou P, Neophytou C, Papadimitriou K.
europepmc +1 more source
The efficiency of periodontal endoscopy in non-surgical periodontal therapy: a systematic review and meta-analysis. [PDF]
Front Dent MedAlsharif SB, Hobani N.
europepmc +1 more source
A Meta-analysis of Oral Health Interventions in Children: Impacts on Knowledge, Behaviour, and Clinical Outcomes. [PDF]
Int Dent JFathaniard AH +10 more
europepmc +1 more source
Could periodontitis be associated with overall and cancer-specific mortality risk; a 35-year Swedish cohort study. [PDF]
Acta Odontol ScandFrankenhaeuser F +4 more
europepmc +1 more source
Compositional Changes and Comparative Analysis of Oral Microbial Community During the Formation of Canine Dental Calculus. [PDF]
Animals (Basel)Zeng L +7 more
europepmc +1 more source