Results 31 to 40 of about 765,231 (326)

Geogebra for strengthening spatial thinking in Differential Calculus

Revista Ingenio, 2017
Evidenced of weaknesses in the learning process of differential calculus in Engineering students at the Francisco de Paula Santander Ocaña University, it was sought to organize a group of teachers and students in a Learning Community and a Mathematics ...
Henry Carrascal Carrascal, Jorge Ernesto Chaves Peña, Malka Irina Cabellos Martínez   +2 more
doaj   +1 more source

Evaluation of Salivary Biochemistry in Dogs with and without Plaque, Calculus, and Gingivitis: Preliminary Results

Animals, 2022
This study evaluated whether salivary alpha-amylase, lysozyme, lactate dehydrogenase (LDH), calcium, and phosphorus can be used as markers of periodontal disease in dogs.
Anna Perazzi, Rebecca Ricci, Barbara Contiero, Ilaria Iacopetti   +3 more
doaj   +1 more source

Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]

, 2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi, Abadi, Abadi, Alfredo Pironti, Bajaj, Bajaj, Bierman, Dolev, Durante, Igarashi, Milner, Nadalin, Pierce, Pironti, Riccardo Sisto, Sammapun, Schellhorn   +16 more
core   +1 more source

Kemampuan Representasi Mahasiswa Pendidikan Matematika dalam Menyelesaikan Soal Kalkulus

Kreano: Jurnal Matematika Kreatif-Inovatif, 2019
Penelitian ini bertujuan untuk mendeskripsikan kemampuan representasi mahasiswa pendidikan matematika dalam menyelesaikan soal Kalkulus. Tiga mahasiswa yang dipilih dari 20 mahasiswa program studi S1 pendidikan matematika Universitas Negeri Surabaya ...
Devi Yuniarti Ningtyas, Yusuf Fuad, Agung Lukito   +2 more
doaj   +1 more source

A course of calculus at technical university

Lietuvos Matematikos Rinkinys, 2009
A few remarks concerningteaching calculus at technicaluniversity are stated.Some examples are provided.
Rimas Banys
doaj   +1 more source

Extensions to the Estimation Calculus [PDF]

, 1999
Walther’s estimation calculus was designed to prove the termination of functional programs, and can also be used to solve the similar problem of proving the well-foundedness of induction rules.
Bundy, Alan, Gow, Jeremy, Green, Ian
core   +5 more sources

Giant anterior urethral diverticulum with a calculus masquerading as left inguinal hernia: A missed diagnosis, a lesson to learn

Journal of Indian Association of Pediatric Surgeons, 2013
Congenital anterior urethral diverticulum is an infrequent but important cause of infravesical obstructive uropathy in children. Clinical spectrum usually includes obstructive or irritative urinary symptoms or penile ballooning during the act of ...
Renu Kushwaha, Prabudh Goel, Shiv Narain Kureel   +2 more
doaj   +1 more source

Control Flow Analysis for SF Combinator Calculus

, 2015
Programs that transform other programs often require access to the internal structure of the program to be transformed. This is at odds with the usual extensional view of functional programming, as embodied by the lambda calculus and SK combinator ...
Lester, Martin
core   +6 more sources

On teaching fundamentals of calculus at secondary school

Lietuvos Matematikos Rinkinys, 2010
The article, from different didactical aspects, analysis the problem of teaching fundamentals of calculus at secondary school. Continuity and limit of a function are suggested to be explained on the base of an informal concept and examples of these ...
Antanas Apynis
doaj   +1 more source

Fixed point results for a new $ \alpha $-$ \theta $-Geraghty type contraction mapping in metric-like space via $ \mathcal{C}_\mathcal{G} $-simulation functions

AIMS Mathematics, 2023
This paper aims to introduce the new concept of an $ \alpha $-$ \theta $-Geraghty type contraction mapping using $ \mathcal{C}_{\mathcal{G}} $-simulation in a metric-like space.
Abdellah Taqbibt , M'hamed Elomari, Milica Savatović, Said Melliani, Stojan Radenović   +4 more
doaj   +1 more source