Especificaciones eMathTeacher, creación del Modelo Granular Lingüístico de la evaluación del aprendizaje humano, y diseño de sistemas que implementan estos conceptos

El concepto de algoritmo es básico en informática, por lo que es crucial que los alumnos profundicen en él desde el inicio de su formación. Por tanto, contar con una herramienta que guíe a los estudiantes en su aprendizaje puede suponer una gran ayuda en su formación. La mayoría de los autores coinciden en que, para determinar la eficacia de una herramienta de visualización de algoritmos, es esencial cómo se utiliza. Así, los estudiantes que participan activamente en la visualización superan claramente a los que la contemplan de forma pasiva. Por ello, pensamos que uno de los mejores ejercicios para un alumno consiste en simular la ejecución del algoritmo que desea aprender mediante el uso de una herramienta de visualización, i. e. consiste en realizar una simulación visual de dicho algoritmo. La primera parte de esta tesis presenta los resultados de una profunda investigación sobre las características que debe reunir una herramienta de ayuda al aprendizaje de algoritmos y conceptos matemáticos para optimizar su efectividad: el conjunto de especificaciones eMathTeacher, además de un entorno de aprendizaje que integra herramientas que las cumplen: GRAPHs. Hemos estudiado cuáles son las cualidades esenciales para potenciar la eficacia de un sistema e-learning de este tipo. Esto nos ha llevado a la definición del concepto eMathTeacher, que se ha materializado en el conjunto de especificaciones eMathTeacher. Una herramienta e-learning cumple las especificaciones eMathTeacher si actúa como un profesor virtual de matemáticas, i. e. si es una herramienta de autoevaluación que ayuda a los alumnos a aprender de forma activa y autónoma conceptos o algoritmos matemáticos, corrigiendo sus errores y proporcionando pistas para encontrar la respuesta correcta, pero sin dársela explícitamente. En estas herramientas, la simulación del algoritmo no continúa hasta que el usuario introduce la respuesta correcta. Para poder reunir en un único entorno una colección de herramientas que cumplan las especificaciones eMathTeacher hemos creado GRAPHs, un entorno ampliable, basado en simulación visual, diseñado para el aprendizaje activo e independiente de los algoritmos de grafos y creado para que en él se integren simuladores de diferentes algoritmos. Además de las opciones de creación y edición del grafo y la visualización de los cambios producidos en él durante la simulación, el entorno incluye corrección paso a paso, animación del pseudocódigo del algoritmo, preguntas emergentes, manejo de las estructuras de datos del algoritmo y creación de un log de interacción en XML. Otro problema que nos planteamos en este trabajo, por su importancia en el proceso de aprendizaje, es el de la evaluación formativa. El uso de ciertos entornos e-learning genera gran cantidad de datos que deben ser interpretados para llegar a una evaluación que no se limite a un recuento de errores. Esto incluye el establecimiento de relaciones entre los datos disponibles y la generación de descripciones lingüísticas que informen al alumno sobre la evolución de su aprendizaje. Hasta ahora sólo un experto humano era capaz de hacer este tipo de evaluación. Nuestro objetivo ha sido crear un modelo computacional que simule el razonamiento del profesor y genere un informe sobre la evolución del aprendizaje que especifique el nivel de logro de cada uno de los objetivos definidos por el profesor. Como resultado del trabajo realizado, la segunda parte de esta tesis presenta el modelo granular lingüístico de la evaluación del aprendizaje, capaz de modelizar la evaluación y generar automáticamente informes de evaluación formativa. Este modelo es una particularización del modelo granular lingüístico de un fenómeno (GLMP), en cuyo desarrollo y formalización colaboramos, basado en la lógica borrosa y en la teoría computacional de las percepciones. Esta técnica, que utiliza sistemas de inferencia basados en reglas lingüísticas y es capaz de implementar criterios de evaluación complejos, se ha aplicado a dos casos: la evaluación, basada en criterios, de logs de interacción generados por GRAPHs y de cuestionarios de Moodle. Como consecuencia, se han implementado, probado y utilizado en el aula sistemas expertos que evalúan ambos tipos de ejercicios. Además de la calificación numérica, los sistemas generan informes de evaluación, en lenguaje natural, sobre los niveles de competencia alcanzados, usando sólo datos objetivos de respuestas correctas e incorrectas. Además, se han desarrollado dos aplicaciones capaces de ser configuradas para implementar los sistemas expertos mencionados. Una procesa los archivos producidos por GRAPHs y la otra, integrable en Moodle, evalúa basándose en los resultados de los cuestionarios. ABSTRACT The concept of algorithm is one of the core subjects in computer science. It is extremely important, then, for students to get a good grasp of this concept from the very start of their training. In this respect, having a tool that helps and shepherds students through the process of learning this concept can make a huge difference to their instruction. Much has been written about how helpful algorithm visualization tools can be. Most authors agree that the most important part of the learning process is how students use the visualization tool. Learners who are actively involved in visualization consistently outperform other learners who view the algorithms passively. Therefore we think that one of the best exercises to learn an algorithm is for the user to simulate the algorithm execution while using a visualization tool, thus performing a visual algorithm simulation. The first part of this thesis presents the eMathTeacher set of requirements together with an eMathTeacher-compliant tool called GRAPHs. For some years, we have been developing a theory about what the key features of an effective e-learning system for teaching mathematical concepts and algorithms are. This led to the definition of eMathTeacher concept, which has materialized in the eMathTeacher set of requirements. An e-learning tool is eMathTeacher compliant if it works as a virtual math trainer. In other words, it has to be an on-line self-assessment tool that helps students to actively and autonomously learn math concepts or algorithms, correcting their mistakes and providing them with clues to find the right answer. In an eMathTeacher-compliant tool, algorithm simulation does not continue until the user enters the correct answer. GRAPHs is an extendible environment designed for active and independent visual simulation-based learning of graph algorithms, set up to integrate tools to help the user simulate the execution of different algorithms. Apart from the options of creating and editing the graph, and visualizing the changes made to the graph during simulation, the environment also includes step-by-step correction, algorithm pseudo-code animation, pop-up questions, data structure handling and XML-based interaction log creation features. On the other hand, assessment is a key part of any learning process. Through the use of e-learning environments huge amounts of data can be output about this process. Nevertheless, this information has to be interpreted and represented in a practical way to arrive at a sound assessment that is not confined to merely counting mistakes. This includes establishing relationships between the available data and also providing instructive linguistic descriptions about learning evolution. Additionally, formative assessment should specify the level of attainment of the learning goals defined by the instructor. Till now, only human experts were capable of making such assessments. While facing this problem, our goal has been to create a computational model that simulates the instructor’s reasoning and generates an enlightening learning evolution report in natural language. The second part of this thesis presents the granular linguistic model of learning assessment to model the assessment of the learning process and implement the automated generation of a formative assessment report. The model is a particularization of the granular linguistic model of a phenomenon (GLMP) paradigm, based on fuzzy logic and the computational theory of perceptions, to the assessment phenomenon. This technique, useful for implementing complex assessment criteria using inference systems based on linguistic rules, has been applied to two particular cases: the assessment of the interaction logs generated by GRAPHs and the criterion-based assessment of Moodle quizzes. As a consequence, several expert systems to assess different algorithm simulations and Moodle quizzes have been implemented, tested and used in the classroom. Apart from the grade, the designed expert systems also generate natural language progress reports on the achieved proficiency level, based exclusively on the objective data gathered from correct and incorrect responses. In addition, two applications, capable of being configured to implement the expert systems, have been developed. One is geared up to process the files output by GRAPHs and the other one is a Moodle plug-in set up to perform the assessment based on the quizzes results.

Large conformational changes of the ɛ subunit in the bacterial F1F0 ATP synthase provide a ratchet action to regulate this rotary motor enzyme

The F1F0 ATP synthase is the smallest motor enzyme known. Previous studies had established that the central stalk, made of the γ and ɛ subunits in the F1 part and c subunit ring in the F0 part, rotates relative to a stator composed of α3β3δab2 during ATP hydrolysis and synthesis. How this rotation is regulated has been less clear. Here, we show that the ɛ subunit plays a key role by acting as a switch of this motor. Two different arrangements of the ɛ subunit have been visualized recently. The first has been observed in beef heart mitochondrial F1-ATPase where the C-terminal portion is arranged as a two-α-helix hairpin structure that extends away from the α3β3 region, and toward the position of the c subunit ring in the intact F1F0. The second arrangement was observed in a structure determination of a complex of the γ and ɛ subunits of the Escherichia coli F1-ATPase. In this, the two C-terminal helices are apart and extend along the γ to interact with the α and β subunits in the intact complex. We have been able to trap these two arrangements by cross-linking after introducing appropriate Cys residues in E. coli F1F0, confirming that both conformations of the ɛ subunit exist in the enzyme complex. With the C-terminal domain of ɛ toward the F0, ATP hydrolysis is activated, but the enzyme is fully coupled in both ATP hydrolysis and synthesis. With the C-terminal domain toward the F1 part, ATP hydrolysis is inhibited and yet the enzyme is fully functional in ATP synthesis; i.e., it works in one direction only. These results help explain the inhibitory action of the ɛ subunit in the F1F0 complex and argue for a ratchet function of this subunit.

Video of the labelling of projected Placido rings through the scanning annulus

The Elliptical Scanning Algorithm is an effective method to individually detect and label the projected rings. It consecutively defines an elliptical annulus of one pixel wide which grows pixel by pixel and sweeps the image, from centre to periphery, until it detects and labels each whole ring. In a way, it works like a snake-annealing algorithm. Active contour models (snakes) are energy-minimising curves that deform to fit image features. Elliptical Scanning Algorithm changes its geometry in order to label reflected rings.

3D visual sensing of human hand for remote operation of a robotic hand

New low cost sensors and open free libraries for 3D image processing are making important advances in robot vision applications possible, such as three-dimensional object recognition, semantic mapping, navigation and localization of robots, human detection and/or gesture recognition for human-machine interaction. In this paper, a novel method for recognizing and tracking the fingers of a human hand is presented. This method is based on point clouds from range images captured by a RGBD sensor. It works in real time and it does not require visual marks, camera calibration or previous knowledge of the environment. Moreover, it works successfully even when multiple objects appear in the scene or when the ambient light is changed. Furthermore, this method was designed to develop a human interface to control domestic or industrial devices, remotely. In this paper, the method was tested by operating a robotic hand. Firstly, the human hand was recognized and the fingers were detected. Secondly, the movement of the fingers was analysed and mapped to be imitated by a robotic hand.

Automatic Abdominal Aortic Aneurysm segmentation in MR images

Abdominal Aortic Aneurism is a disease related to a weakening in the aortic wall that can cause a break in the aorta and the death. The detection of an unusual dilatation of a section of the aorta is an indicative of this disease. However, it is difficult to diagnose because it is necessary image diagnosis using computed tomography or magnetic resonance. An automatic diagnosis system would allow to analyze abdominal magnetic resonance images and to warn doctors if any anomaly is detected. We focus our research in magnetic resonance images because of the absence of ionizing radiation. Although there are proposals to identify this disease in magnetic resonance images, they need an intervention from clinicians to be precise and some of them are computationally hard. In this paper we develop a novel approach to analyze magnetic resonance abdominal images and detect the lumen and the aortic wall. The method combines different algorithms in two stages to improve the detection and the segmentation so it can be applied to similar problems with other type of images or structures. In a first stage, we use a spatial fuzzy C-means algorithm with morphological image analysis to detect and segment the lumen; and subsequently, in a second stage, we apply a graph cut algorithm to segment the aortic wall. The obtained results in the analyzed images are pretty successful obtaining an average of 79% of overlapping between the automatic segmentation provided by our method and the aortic wall identified by a medical specialist. The main impact of the proposed method is that it works in a completely automatic way with a low computational cost, which is of great significance for any expert and intelligent system.

Why the Open Method of Coordination (OMC) is bad for you: a letter to the EU. Research Papers in Law, 5/2006

From the Introduction. The aim of the present “letter” is to provoke, rather than to prove. It is intended to further stimulate the – already well engaged – scientific dialogue on the open method of coordination (OMC).1 This explains why some of the arguments put forward are not entirely new, while others are overstretched. This contribution, belated as it is entering into the debate, has the benefit of some hindsight. This hindsight is based on three factors (in chronological order): a) the fact that the author has participated himself as a member of a national delegation in one of the OMC-induced benchmarking exercises (only to see the final evaluation report getting lost in the Labyrinth of the national bureaucracy, despite the fact that it contained an overall favorable assessment), as well as in a OECD led exercise of coordination, concerning regulatory reform; b) the extremely rich and knowledgeable academic input, offering a very promising theoretical background for the OMC; and c) some recent empirical research as to the efficiency of the OMC, the accounts of which are, to say the least, ambiguous. This recent empirical research grounds the basic assumption of the present paper: that the OMC has only restricted, if not negligible, direct effects in the short term, while it may have some indirect effects in the medium-long term (2). On the basis of this assumption a series of arguments against the current “spread” of the OMC will be put forward (3). Some proposals on how to neutralize some of the shortfalls of the OMC will follow (4).

Malabar reading program for Mexican-American children, Los Angeles, California /

"One of a series of successful compensatory education programs."

Perpetual trouble shooter's manual,

Accompanied by "Complete index for volume XXIII and dependable replacement parts lists." ([71] p) Published: New York, 1954.

European War pamphlets

A collection of miscellaneous pamphlets on World War I.

AS RELAÇÕES ENTRE SATISFAÇÃO NO TRABALHO, COMPROMETIMENTO ORGANIZACIONAL AFETIVO E INTENÇÃO DE ROTATIVIDADE: UM ESTUDO EM UMA MINERADORA DE DIAMANTES EM ANGOLA

Muito se tem investigado sobre os antecedentes de intenção de rotatividade. Dentre as possíveis variáveis com capacidade de se relacionar aos planos dos trabalhadores deixarem a organização destacam-se: satisfação no trabalho e comprometimento organizacional afetivo. O presente estudo teve como objetivo geral analisar as relações entre estas três variáveis; satisfação no trabalho, comprometimento organizacional afetivo e intenção de rotatividade. Ligando-se aos objetivos através dos seus estímulos internos ou externos, desvendados no estudo em uma mineradora de diamantes em Angola onde foram analisadas as relações entre as três variáveis. Participaram na pesquisa 151 trabalhadores, todos de nacionalidade angolana selecionados aleatoriamente em diferentes áreas da mesma empresa. Após aplicação do questionários com três medidas validadas e precisas, o tratamento dos dados, todos de natureza numérica, foi processado pelo software estatístico Statistical Package for the Social Science SPSS, versão 19.0 para Windows. Apurou-se que a idade media dos participantes era de 38,34 (DP = 8,42) anos, sendo a maioria do sexo masculino, solteira, com o nível médio completo, não exercendo cargo de chefia, pertencendo ao grupo (GP - III) um total de 89 (58,9 %), realizando grande parte do seu trabalho com outra pessoa ou em grupo, com tempo de trabalho variando entre 1 (um) e 16 anos. Os resultados descritivos indicam que os trabalhadores detêm um quadro de satisfação no trabalho, com satisfações maiores proporcionadas pelo número de vezes e oportunidades de serem promovidos, com a capacidade profissional de seus chefes, no entendimento encontrado entre si e na maneira como são tratados pelos seus chefes; e menores com o tipo de amizade, confiança e espírito de colaboração demonstrada pelos seus colegas de trabalho, assim como com a capacidade absorvida e o salário se comparado com o quanto trabalha. O quadro do comprometimento organizacional afetivo demonstra maior afeto as questões relacionadas a empresa em fazer o empregado sentir-se orgulhoso e contente com ela. Análises de correlação pelo r de Pearson informaram índices negativos e significativos entre as duas variáveis e intenção de rotatividade. Tais resultados informam que o plano de deixar a empresa onde trabalham é cada vez menor à medida que se elevam os níveis de satisfação no trabalho e comprometimento organizacional afetivo.

Essential fatty acids for dry eye:a review

Purpose Dry eye is a common complaint often encountered in optometric practice. However, it is a difficult condition to treat as clinical signs do not always correlate with patient symptoms. Essential fatty acids (EFA), particularly omega-3 EFA, may be effective in dealing with the underlying causes. Methods A literature review was carried out on the PubMed, ScienceDirect and Ovid databases. Searches included keywords such as ‘dry eye’, ‘essential fatty acids’ and ‘nutrition’ to find articles relating to the treatment of dry eye syndrome (DES) with omega-3 EFAs. Results Omega-3 and -6 EFAs need to be consumed together within a reasonable ratio to be effective. Currently, typical diets in developed countries lack omega-3 EFA and this results in an overexposure to omega-6. Omega-3 supplementation has an anti-inflammatory effect, inhibiting creation of omega-6 prostaglandin precursors. Omega-3 EFAs also demonstrate anti-inflammatory action in the lacrimal gland preventing apoptosis of the secretory epithelial cells. Supplementation clears meibomitis, allowing a thinner, more elastic lipid layer to protect the tear film and cornea. Conclusion Dietary supplementation of omega-3 EFA has already proven to be effective in coronary heart disease and arthritis. Safety is not a concern as it works synergistically with omega-6 in the body. Evidence suggests that supplementation with omega-3 EFA may be beneficial in the treatment and prevention of DES.

Introduction to the theory and application of data envelopment analysis:a foundation text with integrated software

The book aims to introduce the reader to DEA in the most accessible manner possible. It is specifically aimed at those who have had no prior exposure to DEA and wish to learn its essentials, how it works, its key uses, and the mechanics of using it. The latter will include using DEA software. Students on degree or training courses will find the book especially helpful. The same is true of practitioners engaging in comparative efficiency assessments and performance management within their organisation. Examples are used throughout the book to help the reader consolidate the concepts covered. Table of content: List of Tables. List of Figures. Preface. Abbreviations. 1. Introduction to Performance Measurement. 2. Definitions of Efficiency and Related Measures. 3. Data Envelopment Analysis Under Constant Returns to Scale: Basic Principles. 4. Data Envelopment Analysis under Constant Returns to Scale: General Models. 5. Using Data Envelopment Analysis in Practice. 6. Data Envelopment Analysis under Variable Returns to Scale. 7. Assessing Policy Effectiveness and Productivity Change Using DEA. 8. Incorporating Value Judgements in DEA Assessments. 9. Extensions to Basic DEA Models. 10. A Limited User Guide for Warwick DEA Software. Author Index. Topic Index. References.

A model for motion sharpening: contrast gain control precedes compressive nonlinearity

Blurred edges appear sharper in motion than when they are stationary. We have previously shown how such distortions in perceived edge blur may be explained by a model which assumes that luminance contrast is encoded by a local contrast transducer whose response becomes progressively more compressive as speed increases. To test this model further, we measured the sharpening of drifting, periodic patterns over a large range of contrasts, blur widths, and speeds Human Vision. The results indicate that, while sharpening increased with speed, it was practically invariant with contrast. This contrast invariance cannot be explained by a fixed compressive nonlinearity since that predicts almost no sharpening at low contrasts.We show by computational modelling of spatiotemporal responses that, if a dynamic contrast gain control precedes the static nonlinear transducer, then motion sharpening, its speed dependence, and its invariance with contrast can be predicted with reasonable accuracy.

Perceiving edge blur: linear filtering and a rectifying nonlinearity

We studied the visual mechanisms that encode edge blur in images. Our previous work suggested that the visual system spatially differentiates the luminance profile twice to create the 'signature' of the edge, and then evaluates the spatial scale of this signature profile by applying Gaussian derivative templates of different sizes. The scale of the best-fitting template indicates the blur of the edge. In blur-matching experiments, a staircase procedure was used to adjust the blur of a comparison edge (40% contrast, 0.3 s duration) until it appeared to match the blur of test edges at different contrasts (5% - 40%) and blurs (6 - 32 min of arc). Results showed that lower-contrast edges looked progressively sharper.We also added a linear luminance gradient to blurred test edges. When the added gradient was of opposite polarity to the edge gradient, it made the edge look progressively sharper. Both effects can be explained quantitatively by the action of a half-wave rectifying nonlinearity that sits between the first and second (linear) differentiating stages. This rectifier was introduced to account for a range of other effects on perceived blur (Barbieri-Hesse and Georgeson, 2002 Perception 31 Supplement, 54), but it readily predicts the influence of the negative ramp. The effect of contrast arises because the rectifier has a threshold: it not only suppresses negative values but also small positive values. At low contrasts, more of the gradient profile falls below threshold and its effective spatial scale shrinks in size, leading to perceived sharpening.

Exchanging uncertainty: interoperable geostatistics?

Traditionally, geostatistical algorithms are contained within specialist GIS and spatial statistics software. Such packages are often expensive, with relatively complex user interfaces and steep learning curves, and cannot be easily integrated into more complex process chains. In contrast, Service Oriented Architectures (SOAs) promote interoperability and loose coupling within distributed systems, typically using XML (eXtensible Markup Language) and Web services. Web services provide a mechanism for a user to discover and consume a particular process, often as part of a larger process chain, with minimal knowledge of how it works. Wrapping current geostatistical algorithms with a Web service layer would thus increase their accessibility, but raises several complex issues. This paper discusses a solution to providing interoperable, automatic geostatistical processing through the use of Web services, developed in the INTAMAP project (INTeroperability and Automated MAPping). The project builds upon Open Geospatial Consortium standards for describing observations, typically used within sensor webs, and employs Geography Markup Language (GML) to describe the spatial aspect of the problem domain. Thus the interpolation service is extremely flexible, being able to support a range of observation types, and can cope with issues such as change of support and differing error characteristics of sensors (by utilising descriptions of the observation process provided by SensorML). XML is accepted as the de facto standard for describing Web services, due to its expressive capabilities which allow automatic discovery and consumption by ‘naive’ users. Any XML schema employed must therefore be capable of describing every aspect of a service and its processes. However, no schema currently exists that can define the complex uncertainties and modelling choices that are often present within geostatistical analysis. We show a solution to this problem, developing a family of XML schemata to enable the description of a full range of uncertainty types. These types will range from simple statistics, such as the kriging mean and variances, through to a range of probability distributions and non-parametric models, such as realisations from a conditional simulation. By employing these schemata within a Web Processing Service (WPS) we show a prototype moving towards a truly interoperable geostatistical software architecture.