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

178 articles for “Foundation”
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,778 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,863 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,080 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,546 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,876 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,033 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,534 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,705 accessesView PDFCite
Research ArticleOpen accessIn the abstractFROM DATA MINING AND KNOWLEDGE DISCOVERY TO BIG DATA ANALYTICS AND KNOWLEDGE EXTRACTION FOR APPLICATIONS IN SCIENCESubana Shanmuganathan"Data mining" for "knowledge discovery in databases" and associated computational operations first introduced in the mid-1990 s can no longer cope with the analytical issues relating to the so-called "big data". The recent buzzword big data refers to large volumes of diverse, dynamic, complex, longitudinal and/or distributed data generated from instruments, sensors, Internet transactions, email, video, click streams, noisy, structured/unstructured … …Journal of Computer Science, Vol. 10, Issue 12 · 20 Jan 2015 · 8,740 accessesView PDFCite
Research ArticleOpen accessIn the abstractDOWNHOLE SEISMIC REFRACTION SURVEY OF WEATHERED LAYER CHARACTERISTICS IN ESCRAVOS, NIGERIAOchuko AnomohanranThe problem of datum correction in seismic surveys and the failures associated with civil engineering structures with specific reference to roads and buildings has been attributed to lack of understanding of the soil structure among others. This is why this survey on downhole seismic refraction was conducted from nine borehole locations in Escravos, Nigeria to determine the weathered layer characteristics … …American Journal of Applied Sciences, Vol. 11, Issue 3 · 30 Dec 2013 · 7,738 accessesView PDFCite