Recursos de colección

Universidad Nacional de La Plata (75.269 recursos)

Este servicio se brinda en el marco del Proyecto de Enlace de Bibliotecas (PrEBi) y significa una novedosa iniciativa en pos de la difusión a través de Internet, dentro y fuera del ámbito de la Universidad, de los conocimientos que en ella se generan para servir como vehículo de promoción y jerarquización. Los objetivos que se han planteados para SeDiCI son sumamente ambiciosos e incluyen la difusion electrónica de tesis, tesinas y disertaciones pero también de otros tipos de creaciones intelectuales, pretendiendo abarcar la ciencia, la tecnología y el arte buscando modos de presentación no solo de objetos en forma de documentos de texto sino también otros medios multimediales aptos para creaciones no documentales.

CACIC 1996

Mostrando recursos 1 - 20 de 60

  1. Construcción de funciones Semi-Contraction

    Fermé, Eduardo L.; Rodriguez, Ricardo O.
    La teoría de cambio de creencias irrumpe en la lógica filosófica y la inteligencia artificial en la última década. El paso inicial fue provisto por Levi [Lev80] y Alchourrón, Gardenfors y Makinson en [AGM85] (comúnmente llamado el modelo AGM). Posteriormente, Levi propone un modelo de creencias que difiere en importantes aspectos del modelo AGM [Lev91]. En [H095], Hansson y Olsson muestran una comparación entre ambos modelos, y crean una caracterización axiomática de las funciones Levi-contraction. En dicho artículo muestran que toda contracción AGM es una Levi-contractions y ambas posturas están confrontadas por el polémico postulado de Recovery. A medio camino entre...

  2. Razonamiento rebatible por casos

    Bodanza, Gustavo A.
    Este trabajo constituye un estudio de las dificultades de la incorporación de información disyuntiva en un sistema conteniendo reglas rebatibles. Se presenta una ampliación del sistema MTDR a fin de aumentar la capacidad de éste, permitiendo el razonamiento por casos mediante argumentos. En un artículo anterior ([BS95]) se brindaba una aproximación al problema introduciendo una relación de inferencia rebatible que incluía la prueba por casos. Tal solución presenta limitaciones en determinados contextos. Este es un enfoque alternativo que da cuenta de esos problemas. La solución aquí viene dada por la definición de nuevos tipos de argumentos especiales para el manejo adecuado de...

  3. Uma comparação entre o método de máxima verossimilhanca gaussiana e uma rede neural artificial com backpropagation na classificacáo de espécies vegetais

    Engel, Paulo Martins; Madruga, Pedro R. de A.; Todt, Viviane
    Este trabalho apresenta uma comparação entre o método de Máxima Verossimilhançã Gaussiana e uma Rede Neural Artificial Multinível com BackPropagation na classificayao de espécies vegetaís em imagens multiespectrais. A área de estudo situa-se no estado do Rio Grande do Sul, Brasil, a cerca de 290 Km da capital do estado - Porto Alegre. A classificayao realizada por ambos os métodos, utilizando-se imagens do satélite Landsat 5-TM; identifica as espécies vegetais: Pinlls, Eucalyptus, Acácia Negra e Mata Nativa, que predominam na regiao.

  4. An instance of the clp(x) scheme which allows to deal with temporal reasoning problems

    Ibáñez, Francisco S.; Forradellas Martinez, Raymundo Quilez; Rueda, Luis G.
    In many applications oftemporal reasoning is necessary to express metric and symbolic temporal constraints among temporal objects whether they are points or intervals. In order to cope with these requirements different formalisms have been issued., those that allow to express symbolic temporal constraints by one hand, and others involvingmetric temporal constraints. AJthough this formalism are suitable to represent just sorne kind of problems, in many cases, it is necessary to handle and represent in the same framework both metric and symbolic constraints among temporal objects, whether they are point or interval. . Starting from the previous schemes, different formalisms to integrate...

  5. Autoreferencia en juegos normados

    Vaucheret, Claudio A.; Parra, Gerardo; Simari, Guillermo Ricardo
    Douglas Hofstadter, en su artículo “NOMIC: A Self-Modifing Game Base don Reflexivity in Law”, presenta un conjunto de ejemplos de situaciones paradójicas producidas por ciertas características autorreferenciales de la ley. Las situaciones problemáticas de este tipo pueden aparecer en cualquier actividad normada por un reglamento, como los juegos o cuerpos deliberantes, donde la legalidad de una jugada o una acción debe estar justificada por un reglamento inambiguo que pueda terminar efectivamente si la jugada o la acción es válida o no. Este trabajo toma intuiciones motivdas en ese trabajo y presenta una formalización que las incorpora. Algunos ejemplos muestran el...

  6. Sorne theoretical considerations on resource-bounded defeasible argurnentation

    Chesñevar, Carlos Iván; Simari, Guillermo Ricardo
    During the last decade, defeasible argumentation has proven to be a fruitful formalization for modelling commonsense reasorúng. In this respect, the MTDR framework has come to be a fairly standard approach, because of its simplicity and expressive power. Recently, the framework has been enriched through a number of dialectical considerations, resulting in a new ontology, based on Rescher's model of theory formation through dispute. The current trend is that dispute is the most fair and effective way to investigate the tenability of claims. However, dispute is usually resource-bounded, so that the notion of u1timately supported claims (or justifications) cannot be separated...

  7. El criterio de especificidad en la programación en lógica rebatible

    García, Alejandro Javier; Simari, Guillermo Ricardo
    La programación en lógica rebatible es una extensión de la programación en lógica que captura aspectos del razonamiento del sentido común que son difíciles de expresar en la programación en lógica tradicional. Los programas lógicos rebatibles (PLR) permiten representar información incompleta y potencialmente inconsistente, y utilizan los conceptos de la argumentación rebatible a fin de poder decidir metas contradictorias. Para esto se utiliza un criterio de preferencia entre derivaciones rebatibles. Tanto la argumentación rebatible, como la programación en lógica rebatible, pueden definirse independientemente del criterio de preferencia entre argumentos. Sin embargo, uno de los criterios más utilizados es la especificidad....

  8. Un entorno para el aprendizaje de la programación

    Moroni, Norma; Señas, Perla
    Un curso introductorio de programación puede diseñarse siguiendo distintos paradigmas. Se advierte una búsqueda permanente de nuevas estrategias metodológicas que permitan abordar la tarea con mayor probabilidad de éxito, cualquiera sea el modelo elegido. La computadora que es propuesta como herramienta para la enseñanza de otras disciplinas debiera ser la herramienta natural para la enseñanza de la programación en todas sus etapas. Si partirnos de la necesidad de desarrollar un curso introductorio basado en el paradigma imperativo y siguiendo una metodología estructurada y modular, es importante disponer de un lenguaje algoritmico menos rigido que un lenguaje de programación. Se propone un...

  9. Cubik: Una herramienta de apoyo en la enseñanza de la programación

    Señas, Perla; Moroni, Norma; García, Juan Cristóbal
    Se presenta un entorno para el desarrollo de Algoritmos. Este entorno controla con naturalidad la edición de forma tal que no se incurra en errores sintácticos ni errores semánticos. Permite usar del nombre de otros Algoritmos como primitivas lo que promueve el concepto de modularidad. Además el entorno soporta que los Algoritmos pueden ser traducidos a programas en lenguaje Pascal los cuales luego pueden ser ejecutados. Esta característica permite la prueba de los Algoritmos editados. El Editor maneja datos de entrada, salida, y datos locales. Asimismo maneja acciones para modificar los datos, estas acciones son representaciones abstractas de las sentencias...

  10. Recursividad esencial en la resolución de problemas

    Rueda, Sonia Vivian; Castro, Silvia Mabel
    Este trabajo presenta el modo en que se introduce el concepto de Recursividad en la cátedra de Informática del Departamento de Ciencias de la Computación de la Universidad Nacional del Sur. Según nuestra experiencia, en las materias iniciales de programación la recursividad resulta ser uno de los temas más complejos. Esta complejidad no reside en el uso de la computadora, ni tampoco en el hecho de que las facilidades provistas por los lenguajes de programación para soportar recursividad resulten difíciles de entender. La dificultad consiste en “plantear” soluciones recursivas. La recursividad resulta una forma diferente de pensar y razonar acerca...

  11. Rol y organización del área prógramación en una carrera de Ingeniería en Sistemas de Información

    Castellaro, Marta; Leone, Horacio P.; Agüería, Stella
    En este trabajo se presenta la inserción curricular de la disciplina Programación en el nuevo plan de estudios de la carrera Ingeniería en Sistemas de Información (Universidad Tecnológica Nacional) y su implementación en la Facultad Regional Santa Fe. Sintéticamente se expone en qué forma el Área Programación, como se la concibe en esta propuesta, participa en las distintas dimensiones de la formación del Ingeniero en Sistemas de Información a lo largo de toda la currícula. Finalmente se analizan las experiencias que se están obteniendo a partir de la implementación de plan mencionado, que si bien no permiten obtener conclusiones finales,...

  12. Experiencias en la enseñanza de Programación Paralela

    De Giusti, Armando Eduardo; Naiouf, Marcelo
    Se discute una primera implementación de un curso de Programación Paralela como asignatura optativa de quinto año de la Licenciatura en Informática de la UNLP. Las dificultades más importantes al estructurar este curso en 1994 estaban centradas en la necesidad de definir un contenido teórico (prácticamente con muy pocas referencias por lo novedoso del tema en el ámbito universitario), y sobre todo: en estructurar una práctica coherente con los temas teóricos, dentro de la escasa disponibilidad de recursos. En este trabajo se resume la evolución de los contenidos teóricos y los diferentes modelos de arquitectura sobre los que han efectuado experiencias los...

  13. Introducción a la programación concurrente en un seminario de lenguajes

    De Giusti, Armando Eduardo
    Se analiza la experiencia docente de incorporar los temas inciales de Programación Concurrente (recursos compartidos, multiprocesamiento, sincronización, exclusión mútua) en un curso de segundo año de la Licenciatura en Informática de la UNLP. En particular se discute el contexto de conocimientos del alumno, la bibliografía para los temas teóricos y el soporte del lenguaje para el desarrollo de prácticas, que en este caso ha sido ADA. Tres años de experiencia en el curso permiten realizar una serie de reflexiones sobre las bondades y defectos del enfoque, reconociendo la importancia creciente de la Programación concurrente y paralela dentro de una currícula actualizada de...

  14. Diseño de experiencias de autoaprendizaje con herramientas multimediales en el Ingreso a Informática

    Madoz, María Cristina; Gorga, Gladys; Bertone, Rodolfo Alfredo; De Giusti, Armando Eduardo
    Se discuten las primeras experiencias de utilización de una herramienta multimedial interactiva que desarrolla los temas del Curso de Ingreso a Informática, sobre diferentes muestras de alumnos. Primeramente se analiza rápidamente el contexto del Curso de Ingreso y sus contenidos, describiendo el enfoque clásico de su desarrollo y discutiendo los resultados numéricos en cuanto a deserciones y dificultades en los primeros cursos de la carrera de Informática. Posteriormente se expone el ambiente multimedial desarrollado, su soporte de implementación y la proyección prevista en relación con un primer curso de Programación Estructurada. Por último se definen los cuatro grupos muestrales con los que se...

  15. Herramienta visual para la enseftanza de programación estructurada

    Champredonde, Raúl; De Giusti, Armando Eduardo
    Se presenta un lenguaje de programación junto con su ambiente de desarrollo visual. El objetivo del lenguaje es el aprendizaje de la programación estructurada a nivel introductorio. En la especificación e implementación del mismo se ha puesto énfasis en la asimilación, por parte del estudiante, de aquellos aspectos de la programación que hacen a un buen estilo, y que favorecen la legibilidad, el mantenimiento, la adaptabilidad. El ambiente de desarrollo permite la implementación y ejecución de algoritmos especificados en el lenguaje mencionado. La implementación de un algoritmo puede llevarse a cabo en forma convencional, es decir, escribiendo cada una de las instrucciones que...

  16. Una experiencia en la enseñanza de teoría de lenguajes y compiladores

    Aguirre, Jorge; Arroyo, Marcelo
    Se describe una experiencia realizada en la carrera de Licenciatura en Ciencias de Computación de la Universidad Nacional de Río Cuarto. En ella se fusionaron dos asignaturas del cuarto año: Autómatas y Lenguajes y Compiladores. Durante el primer período se impartió el contenido teórico de ambas mientras que en el segundo se realizo un de taller o laboratorio. Durante la segunda parte se realizó el diseño y la implementación de un compilador OCCAM . Se describe el enfoque de la experiencia, los resultados obtenidos y la posición de los autores frente a la incorporación de talleres en los planes de estudio de...

  17. Listas y funciones de listas

    Kantor, Raúl
    Sobre una idea desarrollada por G. Jacopini (Universidad de Roma), se introduce un modelo adicional a los clásicos de funciones recursivas y máquinas de Turing. Este modelo, no común en la literatura, es de una enorme potencia didáctica. En su aparente sencillez permite familiarizarse rápidamente con conceptos de gran profundidad. El presente es la base estructural de un apunte de cátedra más completo. Los alumnos llegan a esta parte de la materia con un manejo del concepto clásico de funciones recursivas. El resultado principal que se ofrece es que este nuevo modelo “al menos” incluye al de las funciones recursivas. El tema que sigue (que...

  18. Analisis de errores sistematicos detectados en el proceso de aprendizaje de la algoritmica

    Rosso, A.; Daniele, Marcela
    La enseñanza de la algorítmica nunca resultó una tarea fácil, ymenos aún cuando no se usaba técnicas y metodologías que apuntaran a la correcta definición, interpretación y posterir planteo de la o las soluciones posibles par aun problema dado. Hasta hace poco tiempo, -y es un actualidad para algunos centros de educación enseñar a programar consistía en mostrarle al educando un lenguaje de programación, en lo posible estructurado, con todas sus reglas sintácticas y semánticas, omitiendo o descuidado la enseñanza de métodos y técnicas que le permitiera a aquel reaccionar, interpretar y desarrollar soluciones a un problema planteado, independientemente del lenguaje...

  19. Conformación de un espacio de aprendizaje para el abordaje computacional de problemas de la Física y otras disciplinas

    Lara, Luis; Navone, Hugo D.; Turner, Pablo A.
    El rol de los recursos informáticos en el de$arrollo de las diversas disciplinas científicas ha originado nuevos enfoques en el tratamiento y en la resolución de los problemas derivados de las mismas. Más aún, la complejidad de los distintos. sistemas que hoy se estudian exige una formulación, en muchos casos, estrictamente algorítmica. Pero este ,desarrollo en el campo profesional no ha modificado el abordaje de la enseñanza de las ciencias en general y de la físicos en particular. En este trabajo se presenta una experiencia en den arrollo cuyo objetivo es incorporar la formulación algorítmica en el análisis de los fenómenos...

  20. Algoritmo distribuido de compresión de datos

    Russo, Claudia Cecilia; Ramón, Hugo Dionisio; Anderson, Alfredo; Dirazar, A.C. D.; De Giusti, Armando Eduardo
    Es notoria la importancia actual de la compresión de datos en al transmisión de información en redes, especialmente información multimedial Aspectos como optimización del uso del canal, tiempos de repuesta, seguridad y reducción de tráfico, justifican las tareas de investigación y desarrollo en este tema, así como al evolución de los recursos tecnológicos disponibles para implementar nuevas técnicas. En este contexto, se presentan resultados experimentales obtenidos de un algoritmo de compresión de datos utilizando procesamiento distribuido a través de sockets y PVM, teniendo como último objetivo mejorar los modelos de compresión de imágenes incluidos en Khoros. Por último, se discuten las...

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.