Buscar recursos académicos

A mathematical model for the specification and verification of a data link layer protocol is proposed. The weakest precondition calculus, developed by Dijkstra, originally for sequential programs, has been chosen for thi...

Materias / palabras clave: Variable (mathematics); Computer science; Linguistics; Deductive reasoning; Mathematics; Natural language processing; Artificial intelligence; Calculus (dental); Philosophy; Dentistry; Mathematical analysis; Medicine

This paper describes a new classification method (DER) based on evidential reasoning to which a series of modifications are added [1]. DER allows including new evidence for the classification process and defines a differ...

BACKGROUND: Most older adults prefer to age in place, and supporting older adults to remain in their own homes and communities is also favored by policy makers. Technology can play a role in staying independent, active a...

The article proposes a re-reading (confessed to be interested and ironic) of the well-known explanations rendered by Malinowski in the opening chapter of the Argonauts of the Western Pacific. In this text, Malinowski exp...

The cervical cancer screening programs (CCSP) have not beenvery efficient in the developing countries. This explains the needto foster changes on policies, standards, quality control mechanisms,evaluation and integration...

Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique. Defeasible Logic Programming (DLP), which is based on a def...

AIM: This paper is a description of inductive and deductive content analysis. BACKGROUND: Content analysis is a method that may be used with either qualitative or quantitative data and in an inductive or deductive way. Q...

The Semantic Web is a vision of the current Web where resources have exact meaning assigned in terms of ontologies, thus enabling agents to reason about them. As inconsistencies cannot be treated by standard reasoning ap...

Software radios are emerging as platforms for multiband multimode personal communications systems. Radio etiquette is the set of RF bands, air interfaces, protocols, and spatial and temporal patterns that moderate the us...

Classical Monte Carlo simulations have been carried out for liquid water in the NPT ensemble at 25 °C and 1 atm using six of the simpler intermolecular potential functions for the water dimer: Bernal–Fowler (BF), SPC,...

Lee S. Shulman builds his foundation for teaching reform on an idea of teaching that emphasizes comprehension and reasoning, transformation and reflection. "This emphasis is justified," he writes, "by the resoluteness wi...

Existing strategies for econometric analysis related to macroeconomics are subject to a number of serious objections, some recently formulated, some old. These objections are summarized in this paper, and it is argued th...

Purpose – The authors aim to present partial least squares (PLS) as an evolving approach to structural equation modeling (SEM), highlight its advantages and limitations and provide an overview of recent research on the...

Economic theory has suffered in the past from a failure to state clearly its assumptions. Economists in building up a theory have often omitted to examine the foundations on which it was erected. This examination is, how...

Behavioral scientists routinely publish broad claims about human psychology and behavior in the world's top journals based on samples drawn entirely from Western, Educated, Industrialized, Rich, and Democratic (WEIRD) so...