Results 11 to 20 of about 765,231 (326)

Boundary Value Problem of Nonlinear Hybrid Differential Equations with Linear and Nonlinear Perturbations

open access: yesInternational Journal of Differential Equations, 2020
The aim of this paper is to study a boundary value problem of the hybrid differential equation with linear and nonlinear perturbations. It generalizes the existing problem of second type.
Said Melliani   +2 more
doaj   +1 more source

Microbial differences between dental plaque and historic dental calculus are related to oral biofilm maturation stage [PDF]

open access: yes, 2019
Dental calculus, calcified oral plaque biofilm, contains microbial and host biomolecules that can be used to study historic microbiome communities and host responses.
CJ Adler   +69 more
core   +4 more sources

Admissible Almost Type Z-Contractions and Fixed Point Results

open access: yesInternational Journal of Mathematics and Mathematical Sciences, 2020
In this paper, we introduce a new concept of α-admissible almost type Z-contraction and prove some fixed point results for this new class of contractions in the context of complete metric spaces.
Said Melliani   +2 more
doaj   +1 more source

LEARNING DIFFICULTIES IN SOLVING CALCULUS TESTS

open access: yesMaPan: Jurnal Matematika dan Pembelajaran, 2020
Calculus is a branch of mathematics that is applied to solve various problems in various fields of science such as engineering, physics, medicine, chemistry, economics, and various other sciences. However, most students assume that calculus is an elusive
Sumardin Raupu   +2 more
doaj   +1 more source

Trees from Functions as Processes [PDF]

open access: yes, 2018
Levy-Longo Trees and Bohm Trees are the best known tree structures on the {\lambda}-calculus. We give general conditions under which an encoding of the {\lambda}-calculus into the {\pi}-calculus is sound and complete with respect to such trees.
Sangiorgi, Davide, Xu, Xian
core   +4 more sources

DC calculus

open access: yesMathematische Zeitschrift, 2017
In this paper, we extend the DC Calculus introduced by Perelman on finite dimensional Alexandrov spaces with curvature bounded below. Among other things, our results allow us to define the Hessian and the Laplacian of DC functions (including distance functions as a particular instance) as a measure-valued tensor and a Radon measure respectively.
Ambrosio, Luigi, Bertrand, Jérôme
openaire   +4 more sources

Women’s Sense of Belonging in Undergraduate Calculus and the Influence of (Inter)Active Learning Opportunities [PDF]

open access: yesJournal of Research in Science, Mathematics and Technology Education, 2023
Women continue to be underrepresented in undergraduate STEM majors. Prior studies identify sense of belonging, or the extent to which one feels like an accepted member of an academic community, as a key contributor to women’s decisions to stick with or ...
Casey Regina Griffin
doaj   +1 more source

Formal Calculus and Umbral Calculus [PDF]

open access: yesThe Electronic Journal of Combinatorics, 2010
We use the viewpoint of the formal calculus underlying vertex operator algebra theory to study certain aspects of the classical umbral calculus. We begin by calculating the exponential generating function of the higher derivatives of a composite function, following a very short proof which naturally arose as a motivating computation related to a ...
openaire   +3 more sources

Conformable Fractional Cosine Families of Operators

open access: yesJournal of Mathematical Sciences and Modelling, 2019
In this paper we are concerned with the problem \begin{eqnarray*}\begin{cases} u^{(\alpha)}(t)=Au(t)+f(t,u(t))& t\in [0,T]\\ u(0)=u_0, D^{\alpha}u(0)=u_1\end{cases}\end{eqnarray*}  \begin{eqnarray*}     \begin{cases}     u^{(\alpha)}(t)=Au(t)+f(t,u(t)
L. S. Chadli   +2 more
doaj   +1 more source

The Computational Complexity of Propositional Cirquent Calculus [PDF]

open access: yes, 2015
Introduced in 2006 by Japaridze, cirquent calculus is a refinement of sequent calculus. The advent of cirquent calculus arose from the need for a deductive system with a more explicit ability to reason about resources.
Bauer, Matthew Steven
core   +1 more source

Home - About - Disclaimer - Privacy