Sign inSubmit
Tips: “quotes” for a phrase · author:Lee · a DOI goes straight to its article

30 articles for “Type Theory”
Set a search alert
Research ArticleOpen accessPhrase in the titleFormalizing Relations in Type TheoryFarida KachapovaTypetheory plays an important role in the foundations of mathematics as a frameworkfor formalizing mathematics and a base for proof assistants providingsemi-automatic proof checking and construction. Derivation of each theorem intype theory results in a formal term encapsulating the whole proof process.This study uses a variant of type theory, namely the Calculus of Constructionswith Definitions, to formalize the standardtheory of … …Journal of Mathematics and Statistics, Vol. 18, Issue 1 · 29 Oct 2022 · 5,778 accessesView PDFCite
Research ArticleOpen accessPhrase in the titleFormalizing Probability Concepts in a Type TheoryFarida KachapovaIn this paper we formalize some fundamental concepts of probability theory such as the axiomatic definition of probability space, random variables and their characteristics, in the Calculus of Inductive Constructions, which is a variant of type theory and the foundation for the proof assistant COQ. In a type theory every term and proposition should have a type, so in our … …Journal of Mathematics and Statistics, Vol. 14, Issue 1 · 12 Nov 2018 · 8,547 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleTheory of Exact Trigonometric Periodic Solutions to Quadratic Liénard Type EquationsJean Akande, Damien Kolawolé Kêgnidé Adjaï, Marc Delphin MonsiaA mathematical theory is developed through generalized Sundman transformation to show the existence of classes of quadratic Liénard type equations which admit exact and explicit general trigonometric solutions but with amplitude-dependent frequency. The application of the theory to compute also exact and explicit general periodic solutions to nonlinear differential equations like inverted Painlevé-Gambier equations in terms of trigonometric or Jacobian … …Journal of Mathematics and Statistics, Vol. 14, Issue 1 · 29 Oct 2018 · 7,215 accessesView PDFCite
Research ArticleOpen accessEvery word in the titleA COSSERAT-TYPE PLATE THEORY AND ITS APPLICATION TO CARBON NANOTUBE MICROSTRUCTUREAbdellatif Selmi, Hedi Hassis, Issam Doghri, Hatem ZenzriThe predictive capabilities of plate and shell theories greatly depend on their underlying kinematic assumptions. In this study, we develop a Cosserat-type elastic plate theory which accounts for rotations around the normal to the mid-surface plane (so-called drilling rotations). Internal loads, equilibrium equations, boundary conditions and constitutive equations are derived. The case of a Single Walled carbon Nanotube (SWNT) modelled … …American Journal of Applied Sciences, Vol. 11, Issue 8 · 12 May 2014 · 6,930 accessesView PDFCite
Research ArticleOpen accessIn the abstractIntegrating Higher-Order Thinking Skills, Cognitive Load Theory, and Metacognition in Algebraic Problem-SolvingGurudeo Anand TularamThis study synthesizes 30 years of research (1990–2020) on algebraic problem-solving, integrating Higher-Order Thinking Skills (HOTS), Cognitive Load Theory (CLT), and metacognitive strategies to enhance student outcomes. Utilizing a critical synthesis approach with data from student interviews, problem-solving observations, and longitudinal tracking, the analysis reveals consistent patterns across diverse educational contexts despite limitations and variable factors like teaching styles and … …Journal of Social Sciences, Vol. 22, Issue 1 · 21 Apr 2026 · 2,016 accessesView PDFCite
Research ArticleOpen accessIn the abstractCalculation of the Hubble Constant, the Minimum Mass and the Proton Charge Radius Using the Dirac's Hypothesis on the Ratio of the Electrostatic Force to the Gravitational ForcePaul TalbotAtoui, M., Barbaro, M. B., Hoballah, M., Keyrouz, C., Lassaut, M., Marchand, D., Quéméner, G., & Voutier, E. (2023). Determination of the Moments of the Proton Charge Density. ArXiv, 13521. https://doi.org/10.48550/arXiv.2304.13521 Berman, M. S. (1992). Large Number Hypothesis. International Journal of Theoretical Physics, 31, 1447–1450. https://doi.org/10.1007/bf00673977 Beyer, A., Maisenbacher, L., Matveev, A., Pohl, R., Khabarova, K., Grinin, A., Lamour, T., … …Physics International, Vol. 14, Issue 1 · 2 Sep 2023 · 9,106 accessesView PDFCite
Research ArticleOpen accessIn the abstractMeasurable Functional Calculi and Spectral TheoryMykola YaremenkoIn this article, the spectral theory is considered, we study the spectral families and their correspondence to the operators on the reflexive Banach spaces; assume A is a well-bounded operator on reflexive Lebesgue spaces then the operator A is a scalar type spectral operator. The main goals are to obtain the characterization of the well-bounded operators in the terms of … …Journal of Mathematics and Statistics, Vol. 18, Issue 1 · 6 Jul 2022 · 6,419 accessesView PDFCite
EditorialOpen accessIn the abstractVolume 2: and SGAMR Goes!Chiara Bedon, Mario D’Aniello, Flavio StochinoThe year 2018 starts with a great confirmation for SGAMR! The journal has been selected to host the extended version of some selected papers presented during the 6th International Workshop on Design in Civil and Environmental Engineering (DCEE2017), held at the University of Cagliari (Italy) during November 2017. A summary of selected papers from highly ranked, international scientists can be … …International Journal of Structural Glass and Advanced Materials Research, Vol. 4, Issue 1 · 28 Aug 2020 · 5,737 accessesView PDFCite
Research ArticleOpen accessIn the abstractThe Effect of the Transportation System and City Configuration on Sustainable Urbanization (Al-Bayda City as a Case Study)Aisha Bakar, Ashraf Fadiel, Taher Abu-LebdehDespite the persistent attempts on a global level to adopt sustainability in every aspect of city planning, the complex nature of city components and the presence of many factors and variables that affect the growth and development of cities make the adoption of a specific trend not an easy matter. It may be more appropriate to identify some important elements … …American Journal of Engineering and Applied Sciences, Vol. 17, Issue 2 · 19 Mar 2024 · 5,278 accessesView PDFCite
Review ArticleOpen accessIn the abstractRomanian Engineering "On the Wings of the Wind"Relly Victoria Petrescu, Raffaella Aversa, Antonio Apicella, Florian Ion Tiberiu PetrescuThe presented study proposes a commemoration of the main artisans of the Romanian and world aviation, from its beginnings to the day. Very briefly are brought to the forefront, the main inventors of flying machines and equipment that have lived here in the Romanian territory and have contributed substantially to the development of any type of flight. We will talk … …Journal of Aircraft and Spacecraft Technology, Vol. 2, Issue 1 · 18 Jan 2018 · 9,408 accessesView PDFCite