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

28 results for “foundations”
Set a search alert
Research ArticleOpen accessIn the abstractFormalizing 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,785 accessesView PDFCite
Review ArticleOpen accessIn the abstractSustainable Development from a Zootechnical Perspective in PeruJosé Américo Saucedo-Uriarte, Hurley Abel Quispe-Ccasa, Ilse Silvia Cayo-Colca, Manuel Emilio Milla PinoSustainable Development term was born in 1987 and referred to the satisfaction of human needs while preserving the planet resources. There are different interpretations of this definition, but generally, all agree that a Sustainable Development model must be economically viable, socially acceptable and environmentally benign. This manuscript proposes strategies from a zoo technical approach and their contribution to the path … …OnLine Journal of Biological Sciences, Vol. 21, Issue 4 · 3 Dec 2021 · 6,866 accessesView PDFCite
Research ArticleOpen accessIn the abstractStructural Equation Model (SEM) for Evaluating Factors Affecting ICT4D Project SuccessHouda Fakhkhari, Bouchaib Bounabat, Maria BennaniInformation Communication Technology for Development (ICT4D) enables organizations to transform and evolve. Despite the contributions of methodologies and models for project management, the number of failed ICT4D projects remain high; as a consequence, researching crucial success factors of ICT4D projects remains an important matter for practitioners and researchers. Studies and researches on factors impacting ICT4D projects' success are various, fragmented … …Journal of Computer Science, Vol. 17, Issue 8 · 8 Sep 2021 · 7,087 accessesView PDFCite
Research ArticleOpen accessIn the abstractEcophysiology of Chirostoma Jordani Pisces: Atherinopsidae. Habitat Characterization and Population Dynamics in a Periurban Lake (Xochimilco, México)Latournerié-Cervera José Román, Rangel-Nambo María Isabel, Alma Rosa Estrada-OrtegaChirostoma Jordani is an endemic species of the Mexican plateau, whose population, due to anthropogenic causes, has experienced a notable decrease from 2000 to the present, putting its permanence in its natural habitat at risk. Therefore, the objectives of this research were focused on evaluating the population dynamics of C. Jordani through its size and weight distributions and growth rate … …American Journal of Agricultural and Biological Sciences, Vol. 16, Issue 1 · 23 Jan 2021 · 7,548 accessesView PDFCite
Research ArticleOpen accessIn the abstractMethodology to Analyze the Stability of Bench Marks Applied for Settling Measurements of Buildings FoundationAndréa de Seixas, José Roberto de SeixasIn this work, one type of vertical bench mark is presented for the realization of the Vertical Local Geodetic Network for the control and analysis of settling foundation elements. The revision of the previous norm NBR 6122/96 to the current norm NBR 6122/2010, contributed in Brazil to the obligation of the services of measurement of settlings in buildings with more … …American Journal of Engineering and Applied Sciences, Vol. 13, Issue 1 · 18 Mar 2020 · 7,150 accessesView PDFCite
Research ArticleOpen accessIn the abstractFactors Influencing the Acceptance of Augmented Reality in Education: A Review of the LiteratureChe Samihah Che Dalim, Hoshang Kolivand, Huda Kadhim et al.This paper presents a review of user expectation towards Augmented Reality (AR) and the acceptance of AR for technology-enhanced teaching and learning. Augmented Reality is a technology that superimposes a computer-generated image over a user’s view of the real world, thus providing a composite view. This technology has been used in many fields such as marketing, military, entertainment and many … …Journal of Computer Science, Vol. 13, Issue 11 · 2 Dec 2017 · 10,883 accessesView PDFCite
Research ArticleOpen accessIn the abstractThe Extent of Community Awareness Using Natural Element’s Instead of Using Chemical DrugsMeliz Yuvalı, Ismail Bakır, Ilker EtikanAlternative medicine it is a medicine that is not taught in traditional medicine. It is based on ancient historical foundations and different experiments in treatment without building it on the basis of scientific teacher. Alternative medicine is used in many peoples, especially non-developed peoples. Alternative medicine is used as primary medicine. The evidence of poor quality and knowledge about the … …Current Research in Biostatistics, Vol. 7, Issue 2 · 25 Oct 2017 · 8,037 accessesView PDFCite
Research ArticleOpen accessIn the abstractService-Learning in Business Education: An Analysis of Spirituality, Leadership and MotivationMark Dickerson, Roxanne Helm-Stevens, Randy FallThe major goal of this study was to explore student perceptions of service-learning and its effect on development of their leadership skills and spirituality. This manuscript begins by describing the theoretical foundations that inform the literature on the correlation between service-learning and leadership, spirituality and motivation. The researchers then put forth their quantitative data, presented using two data sets, drawing … …American Journal of Economics and Business Administration, Vol. 9, Issue 1 · 21 Jun 2017 · 8,539 accessesView PDFCite
Research ArticleOpen accessIn the abstractRegister-Specific Collocational Constructions in English and Spanish: A Usage-Based ApproachGloria Corpas PastorConstructions are usage-based, conventionalised pairings of form and function within a cline of complexity and schematisation. Most research within Construction Grammar has focused on the monolingual description of schematic constructions: Mainly in English, but to a lesser extent in other languages as well. By contrast, very little constructional analyses have been carried out across languages. In this study we will … …Journal of Social Sciences, Vol. 11, Issue 3 · 13 Jul 2015 · 9,711 accessesView PDFCite