Results 31 to 40 of about 75,146 (284)
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 +3 more
doaj +1 more source
ДРОБНОЕ ИСЧИСЛЕНИЕ И АППРОКСИМАЦИОННЫЕ МЕТОДЫ В МОДЕЛИРОВАНИИ ДИНАМИЧЕСКИХ СИСТЕМ [PDF]
, 2008 Книга посвящена аппроксимационно-операционным методам моделирования динамических систем дробного и смешанного порядков. Рассмотрены методы аппроксимации сигналов обобщенными полиномами с различными системами базисных функций, построение на основе этих ...
Симак, Лилия Алексеевна +1 more
core +1 more source
Multi-succedent sequent calculus for intuitionistic epistemic logic
Lietuvos Matematikos RinkinysA 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
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
A non-interleaving process calculus for multi-party synchronisation [PDF]
, 2009 We introduce the wire calculus. Its dynamic features are inspired by Milner's CCS: a unary prefix operation, binary choice and a standard recursion construct.
Paweł Sobociński, Soboci\'nski, Pawel
core +1 more source
A Calculus for Modular Loop Acceleration and Non-Termination Proofs [PDF]
, 2022 Loop acceleration can be used to prove safety, reachability, runtime bounds, and (non-)termination of programs. To this end, a variety of acceleration techniques has been proposed.
Frohn, Florian +3 more
core +2 more sources
Relationship between GPA change and ACT/SAT scores by sample (calculus vs non-calculus).
, 2022 Relationship between GPA change and ACT/SAT scores by sample (calculus vs non-calculus).
Kathy Cousins-Cooper (12225295) +4 more
core +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Embryonal tumors comprise the majority of malignant central nervous system (CNS) neoplasms diagnosed in children under 3 years of age. Compared with their counterparts in older children, these tumors exhibit distinct molecular biology and a more aggressive clinical phenotype, while their management is complicated by the heightened ...
Sudarshawn Damodharan +3 more
wiley +1 more source
A finite simulation method in a non-deterministic call-by-need calculus with letrec, constructors and case [PDF]
, 2008 The paper proposes a variation of simulation for checking and proving contextual equivalence in a non-deterministic call-by-need lambda-calculus with constructors, case, seq, and a letrec with cyclic dependencies. It also proposes a novel method to prove
Schmidt-Schauß, Manfred +1 more
core
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