Desarrollos curriculares de las ciencias de la computación en la enseñanza elemental.

Efectuar una sistematización sobre la situación actual de la investigación sobre los procesos de aprendizaje en matemáticas, y su relación con la evolución histórica del uso educativo del computador. Contextualizar del estado actual de dicha investigación didáctica en relación con la utilización como recurso tecnológico de los sistemas hipermediales. Analizar en el marco de las teorías sobre el procesamiento de la información, sobre el conocimiento matemático y la función que, al respecto, cumple y desarrolla la tecnología hipermedia. Analizar los estudios y aportaciones que se efectúan en el campo del aprendizaje de las matemáticas sobre soporte hipermedia. Proponer análisis y desarrollos específicos en el ámbito del diseño de materiales instructivos para la enseñanza elemental de las matemáticas. Particularmente sobre los llamados diseños hipermedia adaptativos.. Investigación histórica.. En esta tesis se pretende una aproximación dentro de un campo específico de enseñanza-aprendizaje: las matemáticas elementales. Muchas de sus conclusiones son aplicables a otras áreas de conocimiento implicadas en la enseñanza elemental. Analiza los 'modelos' de secuencias de instrucción cuando se tienen en cuenta las investigaciones sobre procesos cognitivos en el aprendizaje de las matemáticas elementales y las posibilidades de mediación instrumental que permiten los computadores y las aplicaciones hipermedia. Es en este ámbito, en donde interseccionan las teorías y los estudios sobre el aprendizaje de las matemáticas - especialmente fecundo en los últimos cincuenta años -, las investigaciones sobre el procesamiento de la información, consolidadas también, a lo largo de la segunda mitad de este siglo y las recientes y nuevas tecnologías de la información y la comunicación.. La investigación analiza desde una perspectiva pedagógica, el confrontar la aplicación más característica de las Tecnologías de la Información y la Comunicación al campo de la educación, el hipermedia, y el sector curricular, dentro del ámbito de las matemáticas elementales. En este marco contextual, analiza el proceso de aprendizaje de las matemáticas elementales, cuando en su desarrollo de enseñanza intervienen computadores y, en especial, sistemas hipermedia. Se enmarca en el estudio de las relaciones de comunicación pedagógica, cuando la mediación comunicativa en los diseños instructivos, sobre los que se articula el currículum, incluye soportes hipermedia.

Un sistema de enseñanza adaptativa a distancia basado en tareas y reglas docentes.

Resumen basado en el de la publicación

Nuevas tecnologías y medición educativa.

Monográfico con el título: 'Aportaciones de las nuevas tecnologías a la investigación educativa'. Resumen basado en el de la publicación

Propuesta de desarrollo de test informatizado adapt??ndolo a las respuestas del usuario

Resumen basado en el de la publicaci??n

Uso de modelos de Markov para recomendaci??n de actividades en Hipermedia Adaptativa

Resumen basado en el de la publicaci??n

Les fam??lies que tenen criatures amb necessitats educatives espec??fiques : les fam??lies o??dores que tenen criatures sordes

Resumen basado en el de la publicaci??n

Aprendizaje adaptativo en Moodle : tres casos pr??cticos

Resumen basado en la publicaci??n

Cogiendo su pedazo. Dinámicas migratorias y construcción de identidades afrocolombianas en Cali

El aumento de la presencia de pobladores afrodescendientes en las principales ciudades de Colombia y demás países latinoamericanos, fenómeno que presenta una tendencia a generalizarse, resultado de las desventajas estructurales vividas en sus zonas de poblamiento histórico, producto de los cambios en los ritmos económicos, la entrada en desuso de formas económicas autónomas y la proliferación de focos de violencia en sus territorios, motivan a prestar atención a estas situaciones que se extienden por tierras de nuestro continente, abarcando gran parte del siglo inmediatamente anterior y lo que va recorrido de este. Observar este fenómeno con la intención de comprender dichos movimientos poblacionales, de los que subyacen diversas dinámicas, entre las que podemos destacar las de tipo cultural e identitario, atravesadas por el componente racial, se convierten en una invitación constante para preguntarnos acerca de los procesos mediante los cuales las ciudades importantes de nuestros países reciben cada vez mayor cantidad de pobladores afrodescendientes, quienes en condición de “migrantes”, desterrados, desarraigados o desplazados, realizan intentos por reconstruir sus trayectorias de vida. Prestar atención a los ritmos adaptativos, la conformación de circuitos socio-laborales, la espacialización de sus existencias y la puesta en marcha de sus re-existencias cotidianas, en contextos en que la fuerza de la discriminación, el racismo y los intentos por confinación socio-espacial no se hacen esperar, enmarcan el clima de estas realidades sociales, que encuentran en los espacios habitables del suelo urbano su expresión más vívida.

Adaptivity in programming languages

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. An adaptive device is made up of an underlying formalism, for instance, an automaton, a grammar, a decision tree, etc., and an adaptive mechanism, responsible for providing features for self-modification. Adaptive languages are obtained by using some programming language as the device’s underlying formalism. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Adaptive device with underlying mechanism defined by a programming language

An adaptive device is made up of an underlying mechanism, for instance, an automaton, a grammar, a decision tree, etc., to which is added an adaptive mechanism, responsible for allowing a dynamic modification in the structure of the underlying mechanism. This article aims to investigate if a programming language can be used as an underlying mechanism of an adaptive device, resulting in an adaptive language.

Conception of adaptive programming languages

Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behaviour are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Based on the operation of adaptive automata, the elementary ideas generanting programming adaptive languages are presented.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Um ambiente para o processamento de linguagens adaptativas de programação

Dispositivos adaptativos apresentam a característica de se modificarem dinamicamente em resposta a estímulos de entrada, sem interferência de agentes externos. Eventuais necessidades de modificação de comportamento são automaticamente detectadas por estes dispositivos para, em seguida, reagirem a elas de forma espontânea. Historicamente tais dispositivos emergiram das pesquisas na área de linguagens formais e autômatos. No entanto, o formalismo suscitou aplicações em diversas outras áreas. Programas com código auto-modificável, que perderam terreno em conseqüência do advento da Engenharia de Software nos anos 70, voltaram à vida recentemente em aplicações diversas. Uma das formas de programação de código auto-modificável é a utilização de linguagens de programação especificamente projetadas para isso. Linguagens adaptativas de programação são dispositivos adaptativos que empregam uma linguagem de programação convencional como mecanismo subjacente. Com o correr de sua execução, um programa escrito em uma linguagem adaptativa exibirá um comportamento auto-modificável em decorrência da ativação de suas ações adaptativas. O artigo apresenta aspectos do projeto e implementação de um ambiente para gerenciar a execução de uma linguagem adaptativa. Com o emprego de linguagem adaptiva, um novo estilo de programação é concebido, uma vez que o seu comportamento está diretamente associado ao conjunto de regras que o define, o qual se altera à medida que o código é executado.

Um algoritmo de criptografia de chave pública semanticamente seguro baseado em curvas elípticas

Esta dissertação apresenta o desenvolvimento de um novo algoritmo de criptografia de chave pública. Este algoritmo apresenta duas características que o tornam único, e que foram tomadas como guia para a sua concepção. A primeira característica é que ele é semanticamente seguro. Isto significa que nenhum adversário limitado polinomialmente consegue obter qualquer informação parcial sobre o conteúdo que foi cifrado, nem mesmo decidir se duas cifrações distintas correspondem ou não a um mesmo conteúdo. A segunda característica é que ele depende, para qualquer tamanho de texto claro, de uma única premissa de segurança: que o logaritmo no grupo formado pelos pontos de uma curva elíptica de ordem prima seja computacionalmente intratável. Isto é obtido garantindo-se que todas as diferentes partes do algoritmo sejam redutíveis a este problema. É apresentada também uma forma simples de estendê-lo a fim de que ele apresente segurança contra atacantes ativos, em especial, contra ataques de texto cifrado adaptativos. Para tanto, e a fim de manter a premissa de que a segurança do algoritmo seja unicamente dependente do logaritmo elíptico, é apresentada uma nova função de resumo criptográfico (hash) cuja segurança é baseada no mesmo problema.

Hyper-Automaton: avaliação interativa de alunos em cursos na WEB baseado em autômatos finitos

O objetivo desta dissertação é a elaboração de uma técnica da aplicação do formalismo de Autômatos Finitos com Saída (Máquina de Mealy e Máquina de Moore) como um modelo estrutural para a organização de hiperdocumentos instrucionais, em destacar especial, Avaliação e Exercício. Esse objetivo é motivado pela organização e agilização do processo de avaliação proporcionado ao professor e ao aluno. Existem diferentes técnicas de ensino utilizadas na Internet, algumas dessas continuam sendo projetadas com o uso de metodologias tradicionais de desenvolvimento, outras têm a capacidade de modelar de forma integrada e consistente alguns aspectos necessários para uma aplicação WEB. Para alcançar o objetivo proposto, foram realizadas pesquisas nas várias áreas abrangidas pelo tema em evidência, tanto relativo ao processo tradicional (aplicação de prova utilizando metodologia tradicional), como o desenvolvimento de software mediado por computador e uso da Internet em si. A modelagem de desenvolvimento para Internet deve integrar características de técnicas de projeto de sistemas de hipermídia devido à natureza hipertextual da Internet. O uso de hiperdocumento como autômatos com saída está na forma básica de representação de hipertexto, em que cada fragmento de informação é associado a um nodo ou a um link (estado/transições) do grafo. Sendo assim, os arcos direcionados representam relacionamentos entre os nodos ou links, ou seja, uma passagem do nodo origem para o nodo destino. As n-uplas dos autômatos apresentam uma correspondência as estruturas de hiperdocumentos na WEB, seu estado/transição inicial corresponde a sua primeira página e suas transições definidas na função programa, funcionam como ligações lógicas, quando selecionadas durante a navegação do hipertexto. Entretanto, faz-se necessário um levantamento dos modelos de hipertextos e das ferramentas de implementação disponíveis para a Internet, a fim de que seja capaz de suportar as peculiaridades do ambiente. Tudo isso deve ser integrado preferencialmente em um paradigma de desenvolvimento amplamente aceito, para que os projetistas não tenham muitas dificuldades em assimilar os conceitos propostos. A proposta apresentada nesta dissertação, batizada de Hyper-Automaton (hipertexto e autômato), consiste na integração de um Curso na WEB, utilizando formalismo de Autômatos Finitos com Saída para a modelagem dos conceitos necessários e definição das fases adequadas para completar a especificação de Sistema Exercício e Avaliação, bem como a especificação da Geração Automática dos Exercícios e Avaliações baseadas em autômatos para a WEB. Os modelos criados abrangem conceitos de Máquina de Mealy, Máquina de Moore e Aplicações de Hiperdocumentos e Ferramentas de Programação para Internet, os mesmos já testados em caso real. Os parâmetros apurados, nos testes, serviram a uma seqüência de etapas importantes para modelar e complementar a especificação do sistema projetado. Com os parâmetros e etapas de modelagem, a metodologia Hyper-Automaton consegue integrar, de forma consistente, as vantagens de várias técnicas específicas de modelagem de documentos e sistemas de hipermídia. Essas vantagens, aliadas ao suporte às ferramentas de desenvolvimento para Internet, garantem que a metodologia fique adequada para a modelagem de Sistemas com aplicação de métodos de autômatos para exercícios e avaliação na WEB.