Sunday, February 7, 2016

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica > (1104) Lógica inductiva
(1104.01) Inducción (1104.02) Intuicionismo
(1104.03) Probabilidad (1104.99) Otras (especificar)

Mostrando recursos 1 - 20 de 2,997

1. Desarrollo sustentable y responsabilidad social en la educación superior - Vasallo Villalonga, Yoarnelys
Hacer de la universidad una comunidad socialmente ejemplar, es beneficiarse de una doble fuente de aprendizaje: el estudiante adquiere en la universidad, conocimientos técnicos de su profesión, pero también fortalece valores ciudadanos. Al igual que la familia es el núcleo central de la sociedad y la primera escuela del ser humano, la universidad es el peldaño final en su formación. Más que los cursos de ética, cuyo impacto actitudinal es discutible, es la práctica cotidiana de principios y hábitos comunes, la que forma a las personas en valores. Con la investigación “Desarrollo sustentable y responsabilidad social en la Educación Superior”,...

2. Inductive Logic Programming for Industrial Control Applications - Samiya Bouarroudj; Zizette Boufaida
Advanced Monitoring Systems of the processes consti tute a higher level to the systems of control and use specific techniques and methods. An importa nt part of the task of supervision focuses on the detection and the diagnosis of various situatio ns of faults which can affect the process. Methods of fault detection and diagnosis (FDD) are different from the type of knowledge about the process that they require. They can be classifi ed as data-driven, analytical, or knowledge- based approach. A collaborative FDD approach that c ombines the strengths of various heterogeneous FDD methods is able to maximize diagn ostic performance. The new generation of knowledge-based...

3. Disproving Inductive Entailments in Separation Logic via Base Pair Approximation - Brotherston, J; Gorogiannis, N
We give a procedure for establishing the invalidity of logical entailments in the symbolic heap fragment of separation logic with user-defined inductive predicates, as used in program verification. This disproof procedure attempts to infer the existence of a countermodel to an entailment by comparing computable model summaries, a.k.a. bases (modified from earlier work), of its antecedent and consequent. Our method is sound and terminating, but necessarily incomplete. Experiments with the implementation of our disproof procedure indicate that it can correctly identify a substantial proportion of the invalid entailments that arise in practice, at reasonably low time cost. Accordingly, it can be...

4. Desarrollo profesional docente en el discurso de los organismos internacionales - Monarca, Héctor; Manso Ayuso, Jesús
The aim of this article is to present the concepts and trends in Teachers’ Professional Development (TPD) contained in the discourse of International Organizations (IO). The methodology employed was discourse analysis. An analysis has been made of 39 texts published by: UNESCO, OCD, OEI and PREAL, which correspond to all the texts in relation to TPD published by these bodies between 2005 and 2012. The analysis has been performed establishing eight categories following a deductive-inductive-deductive logic. The results show that, in general terms, discourse is usually characterized by addressing defined aspects of TPD. As a conclusion it must be highlighted that TPD, in the mentioned discourses, has not...

5. Curso en red: “Enseñanza virtual en la docencia médica” - de la Torre Rodríguez, Maidelan; Rojas Machado, Nictadys; Bilbao Consuegra, Maida; Torres Milord, Isbety; Barroso Mesa, Lourdes
Fundamento: el aprendizaje virtual se ha incorporado en los escenarios de las instituciones educativas como una respuesta a las exigencias y necesidades de las nuevas generaciones, que requieren la formación de una serie de competencias para desenvolverse en una sociedad globalizada en cuanto a la información y a los medios de comunicación.Objetivo: elaborar un programa de superación para los docentes de la Universidad de Ciencias Médicas de Villa Clara, orientado a promover el uso de la enseñanza virtual.Métodos: se realizó un estudio descriptivo, desde una perspectiva metodológica basada en el paradigma cuantitativo, en el período comprendido de septiembre 2013 a...

6. Determinación del nivel de preparación metodológica del profesor para desarrollar tareas docentes integradoras en Morfofisiología - Alberro Fernández, Marianela; Pérez Espinosa, Lina Martha; Ferrer Díaz, Magalys; Lara Villa, Marisela; Barrios González, Maritza; Milián Darias, Manuel
Fundamento: la tarea docente constituye la célula fundamental del proceso docente educativo, por lo que su confección y utilización constituyen premisas para el buen desempeño escolar.Objetivo: determinar el estado actual de la preparación metodológica del profesor para desarrollar tareas docentes integradoras en la disciplina Morfofisiología.Métodos: se realizó una investigación descriptiva transversal, la población de estudio estuvo conformada por los profesores que imparten la disciplina Morfofisiología en el área sur de la Universidad de Ciencias Médicas de Ciego de Ávila. Se aplicaron métodos teóricos: histórico-lógico, analítico-sintético e inductivo-deductivo; empíricos: análisis documental, observación a clases y encuesta en forma de cuestionario a...

7. Estrategia de superación para el desarrollo de habilidades investigativas en los tutores - Jayce Díaz Díaz; Gisela Bravo López; Yamirka González Puerto; Lisbet Menes Ortega; Esther Hernández Pérez; Zenia Tamara Sánchez García
Fundamento: el tutor constituye la figura principal en la formación y desarrollo de las habilidades investigativas, por lo que se debe convertir en un profesor investigador para formar a sus estudiantes en la investigación. Objetivo: elaborar una estrategia de superación para lograr la preparación de los tutores como investigadores que les permita influir en la actividad científica de los estudiantes. Método: se complementó la metodología cuantitativa y la cualitativa. El contexto de la investigación lo constituyó el perfil de Gestión de la Información en Salud, de la carrera de Licenciatura en Tecnologías de la Salud del Municipio Cienfuegos, durante el...

8. La superación de los tutores como premisa en la formación de profesionales. Perfil Servicios Farmacéuticos - Carmen Díaz Dorado; Felicia Margarita Llerena Bermúdez; María Cristina Núñez Martínez; Grisell Menéndez Rodríguez; Lourdes González Pérez

En el Sistema de Salud Cubano los servicios farmacéuticos demandan de un profesional con una sólida formación. En este proceso formativo los tutores ocupan un papel protagónico. La presente revisión bibliográfica se realizó con el propósito de abordar este tema desde la superación de los tutores. Se emplearon los siguientes métodos teóricos: analítico-sintético, inductivo-deductivo e histórico-lógico y entre los métodos empíricos se utilizó el análisis de documentos, mediante los cuales fue posible determinar las tendencias y regularidades actuales del tema revisado. Los resultados confirmaron la necesidad de superación de los tutores de este perfil, de manera que ostenten un conjunto...

9. Estrategia de superación para profesores que imparten docencia en la carrera de Tecnología de la Salud - Rolando Esquijarosa Chirino; Ana Aleida Prieto Medina; Maria Rosa Cejas Arias; Magaly Dominguez Prieto; Yaimara Palacio Salgado
Introducción: el proceso de universalización de la Educación Superior es parte de la Batalla de ideas, y como todo proceso revolucionario está en constante perfeccionamiento, la formación del personal calificado de salud en las distintas modalidades, a partir del curso escolar 2009-2010 se producen cambios significativos en la formación de pregrado de la carrera de Tecnología de la Salud. Objetivo: diseñar una estrategia de superación para resolver las carencias que poseen desde el punto de vista psicológico, metodológico y científico metodológico los docentes que imparten clases en la carrera tecnología de esta filial, que les permita enfrentar las actuales transformaciones....

10. Inductive Logic Programming for collaborative self-adaptation in next-generation networks" - Mbaye, Maissa; Krief, Francine; Soldano, Henry

11. La atención prenatal: una mirada desde los profesionales de la salud. Estudio cualitativo: Bucaramanga, 2012 - Flor de María Cáceres-Manrique; Myriam Ruiz-Rodríguez; Andrea Hernández-Quirama
Objetivo: comprender los significados que tiene la atención prenatal (AP) para los profesionales de la salud (PS) que atienden a las embarazadas en control prenatal. Materiales y métodos: investigación cualitativa, con sustento teórico en interaccionismo simbólico y métodos de la teoría fundamentada (TF). Previo consentimiento informado se realizaron entrevistas en profundidad a 17 PS: médicos, ginecólogos, perinatólogos, enfermeras y psicólogas, quienes realizaban AP en instituciones públicas (centros de salud de atención primaria) y privadas (centros médicos y consultorios) de Bucaramanga (Colombia), en 2012. En estos escenarios también se observaron las interacciones de los profesionales y las gestantes. La información fue...

12. Logic, deductive and inductive [microform]. - Read, Carveth, 1848-1931.
Microfilm.

13. The elements of inductive logic [microform]... - Fowler, Thomas, 1832-1904.
Microfilm.

14. Elements of deductive logic [microform]... - Fowler, Thomas, 1832-1904.
His logic deductive and inductive.

15. Some Limit Theorems for ME, MD and CM∞ - J. Paris; A. Vencovska ́; M. Wafy
We apply methods of abduction derived from propositional probabilistic reasoning to predicate probabilistic reasoning, in particular inductive logic, by treating finite predicate knowledge bases as potentially infinite propositional knowledge bases. Full and detailed proofs are given to show that for a range of predicate knowledge bases (such as those typically associated with inductive reasoning) and several key propositional inference processes (in particular the Maximum Entropy Inference Process) this procedure is well defined, and furthermore yields an explanation for the validity of the induction in terms of ‘reasons’.

16. Corecursion in session-typed processes - Bernardo Toninho; Luis Caires; Frank Pfenning
Abstract. Session types are widely accepted as an expressive discipline for structuring communications in concurrent and distributed systems. In order to express infinitely un-bounded sessions, session typed languages often include general recursion which may introduce undesirable divergence, e.g., infinite unobservable reduction sequences. In this paper we address, by means of typing, the challenge of ensuring non-divergence in a session-typed pi-calculus with general (co)recursion, while still allowing interesting infinite behaviours to be definable. Our approach builds on a Curry-Howard correspon-dence between our type system and linear logic extended with co-inductive types, for which our non-divergence property implies consistency. We prove type...

17. Pure Inductive Logic, Workshop Notes for Progic 2015 - Jeff Paris
Introduction Broadly speaking Inductive Logic is the study of how to ra-tionally or logically assign probabilities, subjective probabilities, to events on the basis of some knowledge. Pure Inductive Logic is intended to address this question in perhaps the simplest possible case, when there actually is no prior contingent knowledge, just the uninterpreted context.

18. PAC-LearnabiIit y of Determinate Logic Programs - Saiio Dizeroski Stephen Muggleton
The field of Inductive Logic Programming (ILP) is concerned with inducing logic pr~ grams from examples in the presence of back-ground knowledge. This paper defines the ILP problem, and describes the various syntactic restrictions that are commonly used for learn-ing first-order representations. We then de-rive some ~ositive results concerning the learn-ability of these restricted classes of lo~ic pro-gram;, by reduction to a standard ~roposi-tional learning problem. More specifically, k-clause predicate definitions consisting of de-terminate, function-free, non-recursive Horn clauses with variables of bounded det)th are polynomially learnable under simple distribu-tions. Similarly, recursive k-clause definitions are polynomially learnable under simple distri-butions if...

19. Least Generalizations under Implication - Shan-hwei Nienhuys-cheng; Ronald De Wolf
Abstract. One of the most prominent approaches in Inductive Logic Programming is the use of least generalizations under subsumption of given clauses. However, subsumption is weaker than logical implication, and not very well suited for handling recursive clauses. Therefore an important open question in this area concerns the existence of least gen-eralizations under implication (LGIs). Our main new result in this paper is the existence and computability of such an LGI for any nite set of clauses which contains at least one non-tautologous function-free clause. We can also dene implication relative to background knowledge. In this case, least generalizations only...

20. Bayesian Inductive Logic Programming Abstract - Stephen Muggleton
Inductive Logic Progrdng (ILP) involves the construction of first-order definite clause theories from examples and background knowledge, Un-like both traditional Machine Learning and Com-putational Learning Theory, ILP is based on lock-step development of Theory, Implementations and Applications. ILP systems have successful appli-cations in the learning of structure-activity rules for drug design, semantic grammars rules, finite element mesh design rules and rules for prediction of protein structure and mutagenic molecules. The strong applications in ILP can be contrasted with relatively weak PAC-learning results (even highly-restricted forms of logic programs are known to be prediction-hard). It has been recently argued that the...

Página de resultados:
 

Busque un recurso