Results 71 to 80 of about 227,942 (203)
Jurnal Elemen, 2019 This study aims to: (1) to find out the results of student work using Maple and without using Maple; (2) to find out how students respond to learning using Maple. This research is qualitative descriptive research. The instruments used in collecting data
Lalu Saparwadi, Timbul Yuwono
doaj +1 more source
SCC: A Service Centered Calculus [PDF]
, 2006 We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of
Rocco DE NICOLA +46 more
core +1 more source
EXPTIME Tableaux for the Coalgebraic Mu-Calculus
, 2009 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 +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
Grade 12 Students’ Misconceptions when Modelling their Calculus Ideas into their Learning of an Optimisation: A Real-Life Problem [PDF]
Journal of Research in Science, Mathematics and Technology EducationOptimisation is a key topic in calculus and an essential component of the Grade 12 mathematics curriculum in South Africa. However, many students struggle with the modelling of the calculus concepts correctly when solving real-world optimisation problems.
M.F Machaba +2 more
doaj +1 more source
lambda-calculus, multiplicities, and the pi-calculus.
, 1995 In this paper we study the semantics of the $\lambda$-calculus induced by Milner's encoding into the $\pi$-calculus. We show that the resulting may testing preorder on $\lambda$-terms coincides with the inclusion of Lévy-Longo trees. To establish this result, we use a refinement of the $\lambda$-calculus where the argument of a function may be of ...
Boudol, Gérard, Laneve, Cosimo
openaire +3 more sources
Epidemiologic evaluation of calcium oxalate urolithiasis in dogs in the United States: 2010‐2015
Journal of Veterinary Internal Medicine, 2019 Background Positive health implications of early recognition of calcium oxalate (CaOx) urolithiasis include increased opportunity for nonsurgical removal, early dietary modification to minimize urolith growth, early removal to avoid urinary obstruction ...
Vachira Hunprasit +3 more
doaj +1 more source
A versatile approach to calculus and numerical methods [PDF]
, 1990 Traditionally the calculus is the study of the symbolic algorithms for differentiation and integration, the relationship between them, and their use in solving problems.
Tall, David
core +1 more source
Metabolic investigation of patients with staghorn calculus: is it necessary?
International Brazilian Journal of Urology, 2009 Objective: To evaluate the prevalence of metabolic disorders in patients with staghorn calculi treated at the Regional Center of Lithiasis Metabolic Studies in central region of São Paulo State, Brazil.
Carmen R. P. Amaro +6 more
doaj +1 more source
, 2013 This Sixth Edition of Calculus continues the effort to promote courses in which understanding and computation reinforce each other. Calculus: Multivariable 6th Edition reflects the many voices of users at research universities, four-year colleges ...
Quinney, Douglas +15 more
core