Results 41 to 50 of about 71,717 (266)

Effect of salivary urea, pH and ureolytic microflora on dental calculus formation and its correlation with periodontal status

Journal of Oral Biology and Craniofacial Research, 2023
Context: Dental calculus, formed by mineralization of plaque predisposes to the development of periodontal disease. Aim: To evaluate the influence of salivary urea and the presence of ureolytic bacteria on dental calculus formation and periodontal status
Liberia L. D'souza, Sandeep A. Lawande, James Samuel, Maria Jose Wiseman Pinto   +3 more
doaj   +1 more source

Rewriting Modulo β in the λΠ-Calculus Modulo [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
The lambda-Pi-calculus Modulo is a variant of the lambda-calculus with dependent types where beta-conversion is extended with user-defined rewrite rules.
Ronan Saillard
doaj   +1 more source

Multi-succedent sequent calculus for intuitionistic epistemic logic

Lietuvos Matematikos Rinkinys
A multi-succedent sequent calculus for intuitionistic epistemic logic (IEL) is introduced in the paper. It is  proved that the structural rules of weakening and contraction and the rule of cut are admissible in the  calculus.
Romas Alonderis
doaj   +3 more sources

A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus

Language and Automata Theory and Applications, 2017
We give the first non-interleaving early operational semantics for the pi-calculus which generalizes the standard interleaving semantics and unfolds to the stable model of prime event structures. Our starting point is the non-interleaving semantics given
Thomas T. Hildebrandt, Christian Johansen, Håkon Normann   +2 more
semanticscholar   +1 more source

The Consistency and Complexity of Multiplicative Additive System Virtual [PDF]

Scientific Annals of Computer Science, 2015
This paper investigates the proof theory of multiplicative additive system virtual (MAV). MAV combines two established proof calculi: multiplicative additive linear logic (MALL) and basic system virtual (BV).
R. Horne
doaj   +1 more source

Stressful Events Reported by Childhood Cancer Survivors and Community Controls From the St. Jude Lifetime (SJLIFE) Cohort: A Mixed Method Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction Characterizing stressful events reported by childhood cancer survivors experienced throughout the lifespan may help improve trauma‐informed care relevant to the survivor experience. Methods Participants included 2552 survivors (54% female; 34 years of age) and 469 community controls (62% female; 33 years of age) from the St.
Megan E. Ware, Colter K. Clayton, Fang Wang, Sedigheh Mirzaei, Kyla Shelton, Tara M. Brinkman, Victoria Willard, Katianne M. Howard Sharp, Kevin Krull, Lindsay F. Schwartz, Melissa M. Hudson, Gregory T. Armstrong, Kirsten K. Ness, Rachel T. Webster   +13 more
wiley   +1 more source

An Overview of Mathematical Modelling in Cancer Research: Fractional Calculus as Modelling Tool

Fractal and Fractional, 2023
Cancer is a complex disease, responsible for a significant portion of global deaths. The increasing prioritisation of know-why over know-how approaches in biological research has favoured the rising use of both white- and black-box mathematical ...
L. Vieira, Rafael S. Costa, Duarte Valério   +2 more
semanticscholar   +1 more source

Unheard and Under‐Supported: Health‐Related Quality of Life in Children, Adolescents, and Young Adults With Sickle Cell Disease

Pediatric Blood &Cancer, EarlyView.
Abstract Background Sickle cell disease (SCD) is an autosomal recessive hemoglobinopathy affecting millions of individuals worldwide. The clinical expression and psychosocial burden of SCD vary widely across geographical, cultural, and healthcare system contexts, underscoring the need for setting‐specific approaches to assessment.
Desiré Fantasia, Giulia Reggiani, Elizabeth J. Maran, Maria Elisa Delle Fave, Ilaria Baido, Anna Chiara Frigo, Maria Paola Boaro, Raffaella Colombatti   +7 more
wiley   +1 more source

Hereditary Substitution for the λΔ-Calculus [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
Hereditary substitution is a form of type-bounded iterated substitution, first made explicit by Watkins et al. and Adams in order to show normalization of proof terms for various constructive logics.
Harley Eades, Aaron Stump
doaj   +1 more source

Vector calculus in non-integer dimensional space and its applications to fractal media [PDF]

Communications in nonlinear science & numerical simulation, 2015
We suggest a generalization of vector calculus for the case of non-integer dimensional space. The first and second orders operations such as gradient, divergence, the scalar and vector Laplace operators for non-integer dimensional space are defined.
V. E. Tarasov
semanticscholar   +1 more source