Results 21 to 30 of about 75,146 (284)
Simulation in the call-by-need lambda-calculus with letrec [PDF]
, 2010 This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-need lambda calculus with letrec.
Sabel, David +2 more
core +1 more source
Determination of the Köthe-Toeplitz Duals over the Non-Newtonian Complex Field
The Scientific World Journal, 2014 The important point to note is that the non-Newtonian calculus is a self-contained system independent of any other system of calculus. Therefore the reader may be surprised to learn that there is a uniform relationship between the corresponding operators
Uğur Kadak
doaj +1 more source
Investigation of the calculus microbiome in canines and felines using next-generation sequencing [PDF]
Kafkas Universitesi Veteriner Fakültesi Dergisi, 2018 The oral cavity of dogs and cats is colonized by hundreds of bacterial species. Here, we describe the bacterial composition in the dental calculus of dogs and cats.
Tiwaporn RADEEROM +6 more
doaj +1 more source
A new view of some operators and their properties in terms of the Non-Newtonian Calculus
Topological Algebra and its Applications, 2017 Differentiation and integration are basic operations of calculus and analysis. Indeed, they are in- finitesimal versions of substraction and addition operations on numbers, respectively.
Ünlüyol Erdal +2 more
doaj +1 more source
Non-idempotent types for classical calculi in natural deduction style [PDF]
Logical Methods in Computer Science, 2020 In the first part of this paper, we define two resource aware typing systems for the {\lambda}{\mu}-calculus based on non-idempotent intersection and union types.
Delia Kesner, Pierre Vial
doaj +1 more source
Perspectives in Education, 2023 This article focuses on first-year university students’ understanding of concepts related to third-degree polynomial and trigonometric functions that they encountered during their study of Grade 12 mathematics.
Aneshkumar Maharaj
doaj +1 more source
Asian Journal of Urology, 2020 Objective: To assess the utility of trans-vaginal ultrasonography in evaluation of non-pregnant sexually active female patients with lower ureteric calculi.
Siddharth Pandey +7 more
doaj +1 more source
Dentistry Journal, 2022 Background: Based on the 2018 classification of periodontal disease, a series of articles have been published describing the decision points of periodontal therapy and how the findings collected at those decision points can be used as guidelines for ...
Stephen K. Harrel +4 more
doaj +1 more source
A Calculus of Bounded Capacities [PDF]
, 2003 Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed
V. Sassone +14 more
core +2 more sources
EXPTIME tableaux for the coalgebraic mu-calculus [PDF]
, 2011 The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Pattinson, Dirk +2 more
core +4 more sources