Browsing Facultad de Matemática, Astronomía, Física y Computación by Title
Now showing items 968-987 of 1198
-
Una propuesta de enseñanza de la trigonometría en contexto de virtualidad en el ciclo orientado
(2021)En el presente informe se describen y analizan las experiencias de las prácticas docentes, en el marco de la asignatura Metodología y Práctica de la Enseñanza. Las mismas se llevaron a cabo en un sexto año de una escuela ... -
Propuesta de formulación para la estructura espacial del Ecuador y aplicación de la misma a la evaluación de la vulnerabilidad en la infraestructura de la comunicación vial, usando tecnología geoespacial
(2015-06-17)La creación de una ESTRUCTURA ESPACIAL DEL ECUADOR (EEE), constituye en nuestro país, una herramienta muy poderosa en apoyo al proceso de toma de decisiones en los ámbitos geo_aeroespaciales, con especial atención a las ... -
Propuesta de un plan de comunicación externa para el proyecto de empresa de base tecnológica Trovintek - Advanced Magnetic Systems
(2015-06)El trabajo propone un plan de comunicación externa para el proyecto de empresa de base tecnológica Trovintek - Advanced Magnetic Systems, un emprendimiento que se halla en etapa de incubación en la Incubadora de Empresas ... -
Propuesta metodológica para el diseño de un sistema de alerta de heladas en base a datos satelitales, de superficie y modelados
(2017-12)Las heladas, hoy en día, son uno de los principales problemas a investigar como condición meteorológica adversa, dado a que éstas generan un impacto negativo a la agricultura nacional en general. En el desarrollo de este ... -
Una propuesta para aprender a argumentar en geometría con alumnos de segundo año del nivel secundario
(2017-12)El presente informe expone la experiencia de las autoras durante la práctica profesional docente realizada en dos cursos de 2° año en un colegio de la Ciudad de Córdoba. Los contenidos abordados corresponden a la unidad ... -
Una propuesta para el estudio de polígonos y cuadriláteros con foco en la escritura de argumentos
(2019-11-21)El presente informe describe las prácticas profesionales docentes realizadas por una alumna del Profesorado de Matemática de la Facultad de Matemática, Astronomía, Física y Computación de la Universidad Nacional de ... -
Una propuesta para la enseñanza del concepto de función, conjunto dominio e imagen en contextos virtuales
(2020-12)El presente informe describe las prácticas docentes que realizamos en un colegio secundario de la Ciudad de Córdoba, en el marco de la asignatura Metodología y Prácticas de la Enseñanza. Las mismas fueron realizadas de ... -
Proving correctness of a compiler using step-indexed logical relations
(2016)In this paper we prove the correctness of a compiler for a call-by-name language using step-indexed logical relations and biorthogonality. The source language is an extension of the simply typed lambda-calculus with ... -
Un proyecto basado en educación matemática crítica para prevenir contaminación por falta de red cloacal
(2014)En este trabajo se reflexiona a partir de una experiencia áulica con un proyecto pedagógico que, atendiendo a una Educación Matemática Crítica, busca generar un auténtico escenario de investigación. El proyecto se ejecuta ... -
Proyecto de comunicación de las neurociencias a través de una obra de teatro : El placer de ser hormiga
(2018-11)Este proyecto tiene como objetivo plantear nociones básicas sobre el funcionamiento del cerebro, que sirva como anclaje para un mejor entendimiento de los avances científicos en tópicos inminentemente psicológicos y/o ... -
Proyectos de modelización matemática en la formación de profesores : la matemática detrás
(2016)Suele argumentarse que a partir del desarrollo de un proyecto de modelización matemática solo pueden surgir conceptos matemáticos muy simples. En la presente comunicación, analizamos proyectos de modelización matemática ... -
Pure type systems with explicit substitutions
(2015)We introduce a new formulation of pure type systems (PTSs) with explicit substitution and de Bruijn indices and formally prove some of its meta-theory. Using techniques based on Normalisation by Evaluation, we prove that ... -
Q-curvas y caracteres de Hecke en el método modular
(2023-02-22)Esta tesis se focaliza en el estudio de las ecuaciones de Fermat generalizadas. Para ello, se utilizará el método modular, y se profundizará en el uso de las Q-curvas y los caracteres de Hecke en él. -
Rare event simulation with fully automated Importance splitting
(2015)Probabilistic model checking is a powerful tool for analysing probabilistic systems but it can only be efficiently applied to Markov models. Monte Carlo simulation provides an alternative for the generality of stochastic ... -
Reaction rate in an evanescent random walkers system
(2015)Diffusion mediated reaction models are particularly ubiquitous in the description of phys-ical, chemical or biological processes. The random walk schema is a useful tool for formu-lating these models. Recently, evanescent ... -
La realidad de los átomos
(2015)En este trabajo nos proponemos reconsiderar, desde una perspectiva histórica, la contribución de Albert Einstein a la de la teoría molecular de la realidad con sus trabajos sobre el movimiento Browniano. -
Recent developments in GEANT 4
(2016)GEANT4 is a software toolkit for the simulation of the passage of particles through matter. It is used by a large number of experiments and projects in a variety of application domains, including high energy physics, ... -
Recomendación de información basada en análisis de redes sociales y procesamiento de lenguaje natural
(2017-07-19)El presente trabajo se origina en el estudio de técnicas de Análisis de Redes Sociales para mejorar la calidad de un recomendador de contenido para entornos corporativos. Estudiamos el problema de recomendación de contenido ... -
Recomendación de música basada en contenido con deep learning
(2018)La música es parte de nuestras vidas. Cada vez consumimos más contenido digital, queremos todo al instante y acorde a nuestros gustos. Dado el gigantesco catálogo musical que existe, resulta indispensable contar con un ... -
Reconocimiento de caracteres en imágenes no estructuradas
(2015)El que una computadora pueda discernir un carácter de otro en la imagen de un texto no es una tarea sencilla. El objetivo es clasificar caracteres en escenas naturales en donde las técnicas tradicionales de OCR no se pueden ...