Results 31 to 40 of about 173,804,276 (284)
Heliyon, 2021 The notion of limit is one of the fundamental concepts which underpins advanced calculus of one or more variables in the field of analysis. However, understanding the concept of limit has been an impenetrable problem for many students in Ethiopian ...
Mulat Gebeyehu Baye +2 more
doaj +1 more source
Constructing a calculus of programs [PDF]
, 1989 A large part of the effort in formal program developments is expended on repeating the same derivational patterns over and over again. The problem is compounded by notations that require many marks on paper for expressing one elementary concept, and ‘administrative overhead’, consisting of algorithmically uninteresting but technically necessary steps ...
openaire +2 more sources
Chance and Probability in Poincaré’s Epistemology
Philosophia Scientiæ, 2016 Chance and probability are important concepts in Poincaré’s epistemology, despite the difficulties they introduce. The notion of chance is conceived in a conceptual scenario where determinism always prevails while probability, in turn, is always based on
Jacintho Del Vecchio Junior
doaj +1 more source
Calculus Rules for V-Proximal Subdifferentials in Smooth Banach Spaces
Journal of Function Spaces, 2016 In 2010, Bounkhel et al. introduced new proximal concepts (analytic proximal subdifferential, geometric proximal subdifferential, and proximal normal cone) in reflexive smooth Banach spaces.
Messaoud Bounkhel
doaj +1 more source
The semantics of degree verbs and the telicity issue
Borealis: An International Journal of Hispanic Linguistics, 2015 This paper addresses the formal representation of Degree Verbs (DVs), also known as degree achievements. After assessing the similarities and differences of DVs vis-à-vis the accomplishment predicates within the set of “incremental theme verbs”, a double
Eugenio Civardi, Pier Marco Bertinetto
doaj +1 more source
Typed closure conversion for the calculus of constructions [PDF]
ACM SIGPLAN Notices, 2018 Dependently typed languages such as Coq are used to specify and verify the full functional correctness of source programs. Type-preserving compilation can be used to preserve these specifications and proofs of correctness through compilation into the generated target-language programs.
Bowman, William J., Ahmed, Amal
openaire +3 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Rates of cancer among adolescents and young adults (AYA), age 15–39 years, are increasing. Consequently, radiation oncologists are treating more AYAs who have diagnoses spanning both pediatric and adult practices. Compared to pediatric and older adult patients, AYAs face a unique set of challenges.
Hesham Elhalawani +7 more
wiley +1 more source
Formalizing a lazy substitution proof system for μ-calculus in the Calculus of Inductive Constructions [PDF]
, 1999 We present a Natural Deduction proof system for the pro- positional modal μ-calculus, and its formalization in the Calculus of In- ductive Constructions.
MICULAN, Marino, Marino Miculan
core +1 more source
Cartan Connections and Lie Algebroids
Symmetry, Integrability and Geometry: Methods and Applications, 2009 This paper is a study of the relationship between two constructions associated with Cartan geometries, both of which involve Lie algebroids: the Cartan algebroid, due to [Blaom A.D., Trans. Amer. Math. Soc.
Michael Crampin
doaj +1 more source
New energy effect in non-cylindrical domains with a thermally insulated moving boundary
Российский технологический журнал, 2023 Objectives. To develop mathematical model representations of the energy effect in non-cylindrical domains having a thermally insulated moving boundary; to introduce a new boundary condition for thermal insulation of a moving boundary both for locally ...
E. M. Kartashov
doaj +1 more source