Search

Práce se zaměřuje na vytvoření prostředí pro automatizované vyhodnocování studentských prací s využitím Git repozitářů. V rámci tohoto prostředí má každý vyučující možnost spravovat předměty, úlohy a skupiny studentů. Pro každý předmět je možné vytvořit úlohy (projekty) v programovacích jazycích Java nebo C#, které musí studenti vypracovat. Úloha obsahuje sady testů definovaných vyučujícím, které jsou využity k vyhodnocení odevzdaných studentských prací na kolaboračním Git serveru. V práci je popsána platforma Docker na která je vytvořen systém pro automatizované vyhodnocování studentských prací. Ten se skládá z komponent Gitlab-CE, Gitlabrunner, MySQL a vlastního integračního nástroje. Tyto služby jsou dále teoreticky popsány. V praktické části je implementována konfigurace pro Docker Compose a administrační aplikace pro automatické vyhodnocování studentských prací., Thesis is focused on creation an environment for automated evaluation of student work using Git repositories. Within this environment, each teacher has the ability to manage courses, assignments and groups of students. For each course it is possible to create assignments (projects) in Java or C# programming languages that students have to develop. The assignment contains sets of tests defined by the teacher, which are used to evaluate the submitted student work on the collaborative Git server. Thesis describes the Docker platform, on which a system for automated evaluation of student works is created. It consists of Gitlab-CE, Gitlab-runner, MySQL and its own integration tool. These services are further theoretically described. In the practical part, the configuration for Docker Compose and administrative applications for the automatic evaluation of student works are implemented., Fakulta elektrotechniky a informatiky, Cílem diplomové práce bylo navrhnout a vytvořit prostředí, které umožní automatické testování a vyhodnocování studentských prací, které jsou odevzdány do kolaboračního Git serveru. Systém se při testování podařilo nasadit, spustit a provést několik základních testů, které zahrnovaly vytvoření projektu, přihlášení studenta k projektu, odevzdání práce a její vyhodnocení. Dle vedoucího práce je DP poměrně dobře strukturována. Obhajoba proběhla na požadované úrovni. Student reagoval na dotazy a připomínky vedoucího, oponenta i členů komise, Dokončená práce s úspěšnou obhajobou

The FAIR Guiding Principles (Findable, Accessible, Interop- erable, and Reusable) have been widely endorsed by the scientific community, funding agencies, and policymakers. However, the FAIR principles leave ample room for different implementations, and several groups have worked towards manual, semi-automatic, and automatic approaches to evaluate the FAIRness of digital objects. This study compares and con- trasts three automated FAIRness evaluation tools namely F-UJI, the FAIR Evaluator, and FAIR Checker. We examine three aspects: 1) tool characteristics, 2) the evaluation metrics, and 3) metrics tests for three public datasets. We find significant differences in the evaluation results for tested resources, along with differences in the design, implementation, and documentation of the evaluation metrics and platforms. While auto- mated tools do test a wide breadth of technical expectations of the FAIR principles, we put forward specific recommendations for their improved utility, transparency, and interpretability.

[EN] Venture funds exploit various procedures for evaluating the economic potential of companies that they consider to invest in. In some cases, these procedures are also supported by specific software applications aiming at systematizing and streamlining the evaluation to increase its productivity. The goal is to investigate the possibility to use the economic potential evaluation software of a specific venture fund as a tool allowing to identify and exploit various features relevant for economic promotion at the level of a canton. Concretely, the work will consist in first identifying some interesting use cases and extracting associated relevant data, then evaluating the performance of the software when used to process the selected use cases, and, finally, using agile design to implement prototypes showcasing various advanced, typically data driven techniques, able to correct identified shortcomings., [ES] Los fondos de riesgo explotan varios procedimientos para evaluar el potencial económico de empresas en las que consideran invertir. En algunos casos, estos procedimientos también se apoyan en aplicaciones de software específicas que buscan sistematizar y agilizar la evaluación para aumentar su productividad. El objetivo es investigar la posibilidad de utilizar el software de evaluación de potencial económico de un fondo de riesgo específico como herramienta que permita identificar y explotar diversas características relevantes para la promoción económica a nivel cantonal. Concretamente, el trabajo consistirá en identificar algunos casos de uso interesantes y extraer datos relevantes asociados, luego evaluar el rendimiento del software cuando se utilice para procesar los casos de uso seleccionados, y, finalmente, utilizar un diseño ágil para implementar prototipos que muestren varias técnicas avanzadas, típicamente basadas en datos, capaces de corregir las deficiencias identificadas., [CA] Els fons de risc exploten diversos procediments per a avaluar el potencial econòmic d’empreses en les quals consideren invertir. En alguns casos, aquests procediments també es recolzen en aplicacions de software específiques que busquen sistematitzar i agilitzar l’avaluació per a augmentar la seua productivitat. L’objectiu és investigar la possibilitat d’utilitzar el software d’avaluació de potencial econòmic d’un fons de risc específic com a eina que permeta identificar i explotar diverses característiques rellevants per a la promoció econòmica a nivell cantonal. Concretament, el treball consistirà a identificar alguns casos d’ús interessants i extraure dades rellevants associades, després avaluar el rendiment del software quan s’utilitze per a processar els casos d’ús seleccionats, i, finalment, utilitzar disseny àgil per a implementar prototips que mostren diverses tècniques avançades, típicament basades en dades, capaces de corregir les deficiències identificades.

[EN] Venture funds exploit various procedures for evaluating the economic potential of companies that they consider to invest in. In some cases, these procedures are also supported by specific software applications aiming at systematizing and streamlining the evaluation to increase its productivity. The goal is to investigate the possibility to use the economic potential evaluation software of a specific venture fund as a tool allowing to identify and exploit various features relevant for economic promotion at the level of a canton. Concretely, the work will consist in first identifying some interesting use cases and extracting associated relevant data, then evaluating the performance of the software when used to process the selected use cases, and, finally, using agile design to implement prototypes showcasing various advanced, typically data driven techniques, able to correct identified shortcomings., [ES] Los fondos de riesgo explotan varios procedimientos para evaluar el potencial económico de empresas en las que consideran invertir. En algunos casos, estos procedimientos también se apoyan en aplicaciones de software específicas que buscan sistematizar y agilizar la evaluación para aumentar su productividad. El objetivo es investigar la posibilidad de utilizar el software de evaluación de potencial económico de un fondo de riesgo específico como herramienta que permita identificar y explotar diversas características relevantes para la promoción económica a nivel cantonal. Concretamente, el trabajo consistirá en identificar algunos casos de uso interesantes y extraer datos relevantes asociados, luego evaluar el rendimiento del software cuando se utilice para procesar los casos de uso seleccionados, y, finalmente, utilizar un diseño ágil para implementar prototipos que muestren varias técnicas avanzadas, típicamente basadas en datos, capaces de corregir las deficiencias identificadas., [CA] Els fons de risc exploten diversos procediments per a avaluar el potencial econòmic d’empreses en les quals consideren invertir. En alguns casos, aquests procediments també es recolzen en aplicacions de software específiques que busquen sistematitzar i agilitzar l’avaluació per a augmentar la seua productivitat. L’objectiu és investigar la possibilitat d’utilitzar el software d’avaluació de potencial econòmic d’un fons de risc específic com a eina que permeta identificar i explotar diverses característiques rellevants per a la promoció econòmica a nivell cantonal. Concretament, el treball consistirà a identificar alguns casos d’ús interessants i extraure dades rellevants associades, després avaluar el rendiment del software quan s’utilitze per a processar els casos d’ús seleccionats, i, finalment, utilitzar disseny àgil per a implementar prototips que mostren diverses tècniques avançades, típicament basades en dades, capaces de corregir les deficiències identificades.

[EN] The paper introduces the need for automated evaluation and presents the experience of automating all the evaluations of a course in Computer Science in the sophomore year of an engineering degree. First, the paper describes the features needed and developed for that course and the positive results for both professors and students. The main advantage of automated evaluation is that it allows real continuous grading for all types of activities: short answers and exercises during the class, homework, short exercises evaluated every 10 days in class, medium term evaluations and the final grade for the course. A significant benefit of this practice is that it allows the professor, from the very beginning of the course, to monitor how the students perform each task. The professor can see in real time the marks of an exercise or evaluation, the global evolution of the class or the status of a specific student. The students also have immediate feedback from their exercises and the total points obtained at any given time providing greater involvement in the course.

[EN] The paper introduces the need for automated evaluation and presents the experience of automating all the evaluations of a course in Computer Science in the sophomore year of an engineering degree. First, the paper describes the features needed and developed for that course and the positive results for both professors and students. The main advantage of automated evaluation is that it allows real continuous grading for all types of activities: short answers and exercises during the class, homework, short exercises evaluated every 10 days in class, medium term evaluations and the final grade for the course. A significant benefit of this practice is that it allows the professor, from the very beginning of the course, to monitor how the students perform each task. The professor can see in real time the marks of an exercise or evaluation, the global evolution of the class or the status of a specific student. The students also have immediate feedback from their exercises and the total points obtained at any given time providing greater involvement in the course.

[EN] The paper introduces the need for automated evaluation and presents the experience of automating all the evaluations of a course in Computer Science in the sophomore year of an engineering degree. First, the paper describes the features needed and developed for that course and the positive results for both professors and students. The main advantage of automated evaluation is that it allows real continuous grading for all types of activities: short answers and exercises during the class, homework, short exercises evaluated every 10 days in class, medium term evaluations and the final grade for the course. A significant benefit of this practice is that it allows the professor, from the very beginning of the course, to monitor how the students perform each task. The professor can see in real time the marks of an exercise or evaluation, the global evolution of the class or the status of a specific student. The students also have immediate feedback from their exercises and the total points obtained at any given time providing greater involvement in the course.

[EN] The paper introduces the need for automated evaluation and presents the experience of automating all the evaluations of a course in Computer Science in the sophomore year of an engineering degree. First, the paper describes the features needed and developed for that course and the positive results for both professors and students. The main advantage of automated evaluation is that it allows real continuous grading for all types of activities: short answers and exercises during the class, homework, short exercises evaluated every 10 days in class, medium term evaluations and the final grade for the course. A significant benefit of this practice is that it allows the professor, from the very beginning of the course, to monitor how the students perform each task. The professor can see in real time the marks of an exercise or evaluation, the global evolution of the class or the status of a specific student. The students also have immediate feedback from their exercises and the total points obtained at any given time providing greater involvement in the course.

[EN] The paper introduces the need for automated evaluation and presents the experience of automating all the evaluations of a course in Computer Science in the sophomore year of an engineering degree. First, the paper describes the features needed and developed for that course and the positive results for both professors and students. The main advantage of automated evaluation is that it allows real continuous grading for all types of activities: short answers and exercises during the class, homework, short exercises evaluated every 10 days in class, medium term evaluations and the final grade for the course. A significant benefit of this practice is that it allows the professor, from the very beginning of the course, to monitor how the students perform each task. The professor can see in real time the marks of an exercise or evaluation, the global evolution of the class or the status of a specific student. The students also have immediate feedback from their exercises and the total points obtained at any given time providing greater involvement in the course.

Context. Games are becoming larger and the amount of assets required is increasing. Game studios turn toward procedural generation to ease the load of asset creation. After the game is released the studios want to extend the longevity of their creation. One way of doing this is to open up the game for community created add-ons and assets or utilize some procedural content generation. Both community created assets and procedural generation comes with a classification problem to filter out the undesirable content. Objectives. This thesis will attempt to create a method to evaluate community-generated StarCraft maps with the help of machine learning. Methods. Manually extracted metrics from StarCraft maps and ratings from community repositories. This data is used to train neural networks using NeuroEvolution of Augmenting Topologies (NEAT). The method will be compared with Sequential Minimal Optimization (SMO) and ZeroR. Results and Conclusions. The problem turned out to be more difficult than initially thought. The results using NEAT are marginally better than SMO and ZeroR. The suspected reason for this is insufficient input data and/or bad input parameters. Further experimentation could be conducted with deep learning to try to find a suitable solution for this problem.

Context. Games are becoming larger and the amount of assets required is increasing. Game studios turn toward procedural generation to ease the load of asset creation. After the game is released the studios want to extend the longevity of their creation. One way of doing this is to open up the game for community created add-ons and assets or utilize some procedural content generation. Both community created assets and procedural generation comes with a classification problem to filter out the undesirable content. Objectives. This thesis will attempt to create a method to evaluate community-generated StarCraft maps with the help of machine learning. Methods. Manually extracted metrics from StarCraft maps and ratings from community repositories. This data is used to train neural networks using NeuroEvolution of Augmenting Topologies (NEAT). The method will be compared with Sequential Minimal Optimization (SMO) and ZeroR. Results and Conclusions. The problem turned out to be more difficult than initially thought. The results using NEAT are marginally better than SMO and ZeroR. The suspected reason for this is insufficient input data and/or bad input parameters. Further experimentation could be conducted with deep learning to try to find a suitable solution for this problem.

Context. Games are becoming larger and the amount of assets required is increasing. Game studios turn toward procedural generation to ease the load of asset creation. After the game is released the studios want to extend the longevity of their creation. One way of doing this is to open up the game for community created add-ons and assets or utilize some procedural content generation. Both community created assets and procedural generation comes with a classification problem to filter out the undesirable content. Objectives. This thesis will attempt to create a method to evaluate community-generated StarCraft maps with the help of machine learning. Methods. Manually extracted metrics from StarCraft maps and ratings from community repositories. This data is used to train neural networks using NeuroEvolution of Augmenting Topologies (NEAT). The method will be compared with Sequential Minimal Optimization (SMO) and ZeroR. Results and Conclusions. The problem turned out to be more difficult than initially thought. The results using NEAT are marginally better than SMO and ZeroR. The suspected reason for this is insufficient input data and/or bad input parameters. Further experimentation could be conducted with deep learning to try to find a suitable solution for this problem.

Context. Games are becoming larger and the amount of assets required is increasing. Game studios turn toward procedural generation to ease the load of asset creation. After the game is released the studios want to extend the longevity of their creation. One way of doing this is to open up the game for community created add-ons and assets or utilize some procedural content generation. Both community created assets and procedural generation comes with a classification problem to filter out the undesirable content. Objectives. This thesis will attempt to create a method to evaluate community-generated StarCraft maps with the help of machine learning. Methods. Manually extracted metrics from StarCraft maps and ratings from community repositories. This data is used to train neural networks using NeuroEvolution of Augmenting Topologies (NEAT). The method will be compared with Sequential Minimal Optimization (SMO) and ZeroR. Results and Conclusions. The problem turned out to be more difficult than initially thought. The results using NEAT are marginally better than SMO and ZeroR. The suspected reason for this is insufficient input data and/or bad input parameters. Further experimentation could be conducted with deep learning to try to find a suitable solution for this problem.

Context. Games are becoming larger and the amount of assets required is increasing. Game studios turn toward procedural generation to ease the load of asset creation. After the game is released the studios want to extend the longevity of their creation. One way of doing this is to open up the game for community created add-ons and assets or utilize some procedural content generation. Both community created assets and procedural generation comes with a classification problem to filter out the undesirable content. Objectives. This thesis will attempt to create a method to evaluate community-generated StarCraft maps with the help of machine learning. Methods. Manually extracted metrics from StarCraft maps and ratings from community repositories. This data is used to train neural networks using NeuroEvolution of Augmenting Topologies (NEAT). The method will be compared with Sequential Minimal Optimization (SMO) and ZeroR. Results and Conclusions. The problem turned out to be more difficult than initially thought. The results using NEAT are marginally better than SMO and ZeroR. The suspected reason for this is insufficient input data and/or bad input parameters. Further experimentation could be conducted with deep learning to try to find a suitable solution for this problem.

Context. Games are becoming larger and the amount of assets required is increasing. Game studios turn toward procedural generation to ease the load of asset creation. After the game is released the studios want to extend the longevity of their creation. One way of doing this is to open up the game for community created add-ons and assets or utilize some procedural content generation. Both community created assets and procedural generation comes with a classification problem to filter out the undesirable content. Objectives. This thesis will attempt to create a method to evaluate community-generated StarCraft maps with the help of machine learning. Methods. Manually extracted metrics from StarCraft maps and ratings from community repositories. This data is used to train neural networks using NeuroEvolution of Augmenting Topologies (NEAT). The method will be compared with Sequential Minimal Optimization (SMO) and ZeroR. Results and Conclusions. The problem turned out to be more difficult than initially thought. The results using NEAT are marginally better than SMO and ZeroR. The suspected reason for this is insufficient input data and/or bad input parameters. Further experimentation could be conducted with deep learning to try to find a suitable solution for this problem.

The use of web accessibility evaluation tools is a widespread practice. Evaluation tools are heavily employed as they help in reducing the burden of identifying accessibility barriers. However, an over-reliance on automated tests often leads to setting aside further testing that entails expert evaluation and user tests. In this paper we empirically show the capabilities of current automated evaluation tools. To do so, we investigate the effectiveness of 6 state-of-the-art tools by analysing their coverage, completeness and correctness with regard to WCAG 2.0 conformance. We corroborate that relying on automated tests alone has negative effects and can have undesirable consequences. Coverage is very narrow as, at most, 50% of the success criteria are covered. Similarly, completeness ranges between 14% and 38%; however, some of the tools that exhibit higher completeness scores produce lower correctness scores (66-71%) due to the fact that catching as many violations as possible can lead to an increase in false positives. Therefore, relying on just automated tests entails that 1 of 2 success criteria will not even be analysed and among those analysed, only 4 out of 10 will be caught at the further risk of generating false positives. Copyright 2013 ACM.

This effort focuses on the development, analysis, and evaluation of measurement tools for submarine navigation teams, including support of Future Naval Capabilities efforts, and in particular, the 10-02, Adaptive Training for Submarine Navigation and Piloting (AT-SNAP) program. The primary challenge was to explore methods to automatically assess team processes in ways that are not fully dependent on instructors or observers, as is presently the case. This effort aimed to identify techniques that can automatically assess various aspects of the performance of submarine navigation teams. The Aptima team, while supporting Dr. David Kern (AT-SNAP program manager) and Sandia National Laboratories, studied the use of Sociometric Badges (produced by Sociometric Solutions, Inc.) to supplement data collection efforts. The Sociometric Badges are unobtrusive pieces of hardware that employ multiple sensors to collect various types of data as teams of people interact in complex mission environments. The badges were used to collect data as submarine crews performed exercises in Submarine Piloting and Navigation trainers during a two-day study at the Naval Submarine School in Groton, Connecticut. Although this effort is exploratory, preliminary results suggest a number of findings that speak to the benefit of Sociometric Badge technology when applied to the undersea warfare domain., The original document contains color images.

El programa EssA fue creado en 2004 como un instrumento para ayudar a valorar narraciones en el área de lengua extranjera. El análisis de regresión múltiple, según variables léxico-gramaticales, determinó una ecuación de regresión que predice la calificación de los textos con un coeficiente de regresión del 0.79. EssA ha demostrado realizar la valoración gramatical de las narraciones con mayor objetividad y fiabilidad que los docentes. Por otra parte, proporciona feedback inmediato al estudiante sobre el uso que hace de los distintos recursos lingüísticos en el contexto de la narración, al mismo tiempo que le muestra la valoración del mismo., EssA software was created in 2004 as an instrument to help EFL teachers to assess narrative stories. Multiple regression analysis, using lexical-grammar variables, determined a regression equation to predict the score of each text with a regression coefficient of 0.79. The final result we found was that the EssA's analysis of the stories has proven to be more reliable and more objective compare to the scores given by the teachers. It also provides immediate feedback on those linguistics resources of the academic curriculum the student uses in their story, as well as the score.

El programa EssA fue creado en 2004 como un instrumento para ayudar a valorar narraciones en el área de lengua extranjera. El análisis de regresión múltiple, según variables léxico-gramaticales, determinó una ecuación de regresión que predice la calificación de los textos con un coeficiente de regresión del 0.79. EssA ha demostrado realizar la valoración gramatical de las narraciones con mayor objetividad y fiabilidad que los docentes. Por otra parte, proporciona feedback inmediato al estudiante sobre el uso que hace de los distintos recursos lingüísticos en el contexto de la narración, al mismo tiempo que le muestra la valoración del mismo., EssA software was created in 2004 as an instrument to help EFL teachers to assess narrative stories. Multiple regression analysis, using lexical-grammar variables, determined a regression equation to predict the score of each text with a regression coefficient of 0.79. The final result we found was that the EssA's analysis of the stories has proven to be more reliable and more objective compare to the scores given by the teachers. It also provides immediate feedback on those linguistics resources of the academic curriculum the student uses in their story, as well as the score.

El programa EssA fue creado en 2004 como un instrumento para ayudar a valorar narraciones en el área de lengua extranjera. El análisis de regresión múltiple, según variables léxico-gramaticales, determinó una ecuación de regresión que predice la calificación de los textos con un coeficiente de regresión del 0.79. EssA ha demostrado realizar la valoración gramatical de las narraciones con mayor objetividad y fiabilidad que los docentes. Por otra parte, proporciona feedback inmediato al estudiante sobre el uso que hace de los distintos recursos lingüísticos en el contexto de la narración, al mismo tiempo que le muestra la valoración del mismo., EssA software was created in 2004 as an instrument to help EFL teachers to assess narrative stories. Multiple regression analysis, using lexical-grammar variables, determined a regression equation to predict the score of each text with a regression coefficient of 0.79. The final result we found was that the EssA's analysis of the stories has proven to be more reliable and more objective compare to the scores given by the teachers. It also provides immediate feedback on those linguistics resources of the academic curriculum the student uses in their story, as well as the score.

El programa EssA fue creado en 2004 como un instrumento para ayudar a valorar narraciones en el área de lengua extranjera. El análisis de regresión múltiple, según variables léxico-gramaticales, determinó una ecuación de regresión que predice la calificación de los textos con un coeficiente de regresión del 0.79. EssA ha demostrado realizar la valoración gramatical de las narraciones con mayor objetividad y fiabilidad que los docentes. Por otra parte, proporciona feedback inmediato al estudiante sobre el uso que hace de los distintos recursos lingüísticos en el contexto de la narración, al mismo tiempo que le muestra la valoración del mismo., EssA software was created in 2004 as an instrument to help EFL teachers to assess narrative stories. Multiple regression analysis, using lexical-grammar variables, determined a regression equation to predict the score of each text with a regression coefficient of 0.79. The final result we found was that the EssA's analysis of the stories has proven to be more reliable and more objective compare to the scores given by the teachers. It also provides immediate feedback on those linguistics resources of the academic curriculum the student uses in their story, as well as the score.

El programa EssA fue creado en 2004 como un instrumento para ayudar a valorar narraciones en el área de lengua extranjera. El análisis de regresión múltiple, según variables léxico-gramaticales, determinó una ecuación de regresión que predice la calificación de los textos con un coeficiente de regresión del 0.79. EssA ha demostrado realizar la valoración gramatical de las narraciones con mayor objetividad y fiabilidad que los docentes. Por otra parte, proporciona feedback inmediato al estudiante sobre el uso que hace de los distintos recursos lingüísticos en el contexto de la narración, al mismo tiempo que le muestra la valoración del mismo., EssA software was created in 2004 as an instrument to help EFL teachers to assess narrative stories. Multiple regression analysis, using lexical-grammar variables, determined a regression equation to predict the score of each text with a regression coefficient of 0.79. The final result we found was that the EssA's analysis of the stories has proven to be more reliable and more objective compare to the scores given by the teachers. It also provides immediate feedback on those linguistics resources of the academic curriculum the student uses in their story, as well as the score.

El programa EssA fue creado en 2004 como un instrumento para ayudar a valorar narraciones en el área de lengua extranjera. El análisis de regresión múltiple, según variables léxico-gramaticales, determinó una ecuación de regresión que predice la calificación de los textos con un coeficiente de regresión del 0.79. EssA ha demostrado realizar la valoración gramatical de las narraciones con mayor objetividad y fiabilidad que los docentes. Por otra parte, proporciona feedback inmediato al estudiante sobre el uso que hace de los distintos recursos lingüísticos en el contexto de la narración, al mismo tiempo que le muestra la valoración del mismo., EssA software was created in 2004 as an instrument to help EFL teachers to assess narrative stories. Multiple regression analysis, using lexical-grammar variables, determined a regression equation to predict the score of each text with a regression coefficient of 0.79. The final result we found was that the EssA's analysis of the stories has proven to be more reliable and more objective compare to the scores given by the teachers. It also provides immediate feedback on those linguistics resources of the academic curriculum the student uses in their story, as well as the score.

El programa EssA fue creado en 2004 como un instrumento para ayudar a valorar narraciones en el área de lengua extranjera. El análisis de regresión múltiple, según variables léxico-gramaticales, determinó una ecuación de regresión que predice la calificación de los textos con un coeficiente de regresión del 0.79. EssA ha demostrado realizar la valoración gramatical de las narraciones con mayor objetividad y fiabilidad que los docentes. Por otra parte, proporciona feedback inmediato al estudiante sobre el uso que hace de los distintos recursos lingüísticos en el contexto de la narración, al mismo tiempo que le muestra la valoración del mismo., EssA software was created in 2004 as an instrument to help EFL teachers to assess narrative stories. Multiple regression analysis, using lexical-grammar variables, determined a regression equation to predict the score of each text with a regression coefficient of 0.79. The final result we found was that the EssA's analysis of the stories has proven to be more reliable and more objective compare to the scores given by the teachers. It also provides immediate feedback on those linguistics resources of the academic curriculum the student uses in their story, as well as the score.

El programa EssA fue creado en 2004 como un instrumento para ayudar a valorar narraciones en el área de lengua extranjera. El análisis de regresión múltiple, según variables léxico-gramaticales, determinó una ecuación de regresión que predice la calificación de los textos con un coeficiente de regresión del 0.79. EssA ha demostrado realizar la valoración gramatical de las narraciones con mayor objetividad y fiabilidad que los docentes. Por otra parte, proporciona feedback inmediato al estudiante sobre el uso que hace de los distintos recursos lingüísticos en el contexto de la narración, al mismo tiempo que le muestra la valoración del mismo., EssA software was created in 2004 as an instrument to help EFL teachers to assess narrative stories. Multiple regression analysis, using lexical-grammar variables, determined a regression equation to predict the score of each text with a regression coefficient of 0.79. The final result we found was that the EssA's analysis of the stories has proven to be more reliable and more objective compare to the scores given by the teachers. It also provides immediate feedback on those linguistics resources of the academic curriculum the student uses in their story, as well as the score.

Automated evaluation of generalization output relies to a large extent on that requirements (e.g. specifications, constraints) being formalized in machine-readable formats. Previous studies suggest that the formalization and automated evaluation are relatively easier for legibility constraints (improve the readability of maps) than for preservation constraints (preserving important real-world phenomena). Three major difficulties, i.e., pattern classification and characterization, pattern matching, and constraint formalization, in the automated evaluation of building pattern preservation constraint are analyzed in this paper. A classification of available building patterns is reviewed based on a previous work. In addition, the transition events describing allowed changes for building patterns to preserve during generalization are obtained through the study of existing maps series (from 1:10k to 1:100k). Based on the obtained knowledge on pattern types and acceptable transition events, an approach to automatically match corresponding building patterns at different scales is presented. The methodology proposed is validated by applying it to the interactively generalized data. The result shows promising results and also further improvement in order to apply the method in an overall evaluation to indicate acceptable generalization solutions., OTB Research, OTB Research Institute for the Built Environment

Automated evaluation of generalization output relies to a large extent on that requirements (e.g. specifications, constraints) being formalized in machine-readable formats. Previous studies suggest that the formalization and automated evaluation are relatively easier for legibility constraints (improve the readability of maps) than for preservation constraints (preserving important real-world phenomena). Three major difficulties, i.e., pattern classification and characterization, pattern matching, and constraint formalization, in the automated evaluation of building pattern preservation constraint are analyzed in this paper. A classification of available building patterns is reviewed based on a previous work. In addition, the transition events describing allowed changes for building patterns to preserve during generalization are obtained through the study of existing maps series (from 1:10k to 1:100k). Based on the obtained knowledge on pattern types and acceptable transition events, an approach to automatically match corresponding building patterns at different scales is presented. The methodology proposed is validated by applying it to the interactively generalized data. The result shows promising results and also further improvement in order to apply the method in an overall evaluation to indicate acceptable generalization solutions., OTB Research, OTB Research Institute for the Built Environment

This study proffers two important findings: (1) automated machine translation (MT) evaluation is insensitive to the cognitive gravitas of proper names, contributing to its weak modeling of human judgments of higher quality MT output, and (2) there is a "new" methodology that produces superior measurement of translation acceptability. Twenty Arabic sentences, each with average name density of 3.7 names in 22 words, were translated into English with a research-grade MT system, to produce a 20-output-sentence Control Stimulus Set. Manual correction of 25% of the name translations resulted in an Enhanced Stimulus Set. A Magnitude Estimation (ME) methodology task had each of two teams of five subjects judge Control and Enhanced Sets against human reference translations. As is customary in ME studies, subjects made direct numerical estimations of the magnitude of the stimuli, in this case the degree to which sentences in the Sets conveyed the meaning in the reference sentences. Average estimates for Control and Enhanced Sets were 4.57 and 6.16, respectively, a 34.8% difference. Automated evaluation with the Metric for Evaluation of Translation with Explicit word ORdering (METEOR) produced scores of .446 and .546, a 22% difference. ME detected a differential effect, a finding which suggests that weighting proper name rendering in automated evaluation systems may improve correlations with human judgments on higher quality output.

Within the field of incident management split second decisions have to be made, usually on the basis of incomplete and partially incorrect information. As a result of these conditions, errors occur in such decision processes. In order to avoid repetition of such errors, historic cases, disaster plans, and training logs need to be thoroughly analysed. This paper presents a formal approach for such an analysis that pays special attention to spatial and temporal aspects, to information exchange, and to organisational structure. The formal nature of the approach enables automation of analysis, which is illustrated by case studies of two disasters. © 2007 Elsevier Ltd. All rights reserved Keywords: Incident management; Formal analysis; Automated evaluation, 1. Introduction 2. Case studies 2.1. The Hercules disaster 2.2. The Dakota disaster 3. Modelling approach 4. Formalisation of an empirical trace 5. Validation of a trace 5.1. Validation methodology 5.2. Validation of the Hercules disaster trace 5.2.1. Spatial properties 5.2.1.1. P1: Fire truck moves to scene 5.2.2. Temporal properties 5.2.2.1. P2: Timely information delivery 5.2.2.2. P3: MAC timely arrival at the disaster area 5.2.2.3. P4: Sufficient number of ambulances, called immediately 5.2.3. Information exchange properties 5.2.3.1. P5: Information correctness 5.2.3.2. P6: Choice of protocols 5.2.4. Organisation structure properties 5.2.4.1. P7: Presence officer on duty 5.2.4.2. P8: Presence police units 5.3. Validation of the Dakota disaster trace 5.3.1. Spatial properties 5.3.1.1. P9: Correct coordinate information 5.3.2. Temporal properties 5.3.2.1. P10: Reject information request because of overload 5.3.3. Information exchange properties 5.3.3.1. P11: Inform rescue boats 5.3.4. Organisation structure properties 5.3.4.1. P12: SAR team creation 6. Discussion Acknowledgements References

Bakalářská práce se zabývá vývojem aplikace, která bude automatizovaně vyhodnocovat přijaté zprávy. V případě výskytu incidentu informuje administrátora o aktuálním stavu. Při svém periodickém spouštění bude zasílat informace o průběhu vyhodnocování zpráv. V rámci vyhodnocování zpráv také zkontroluje dochvilnost zpráv a příjem všech očekávaných zpráv. Pro správu programu byla vyvinuta grafická nadstavba. Aplikace byla vyvinuta v jazyce Python s možností převodu na exe soubor. Aplikace usnadňuje rutinní sledování stavu IT infrastruktury., The bachelor’s thesis describes the development of an application that will automatically evaluate received messages. When an incident occurs, it informs the administrator about the current status. Application will send information about the progress of message evaluation when it runs periodically. As part of the message evaluation, it also checks the timeliness of the messages and the reception of all expected messages. A graphical dashboard was developed to manage the application. The application was developed in Python. The application facilitates the routine monitoring of the state of the IT infrastructure.

Bakalářská práce se zabývá vývojem aplikace, která bude automatizovaně vyhodnocovat přijaté zprávy. V případě výskytu incidentu informuje administrátora o aktuálním stavu. Při svém periodickém spouštění bude zasílat informace o průběhu vyhodnocování zpráv. V rámci vyhodnocování zpráv také zkontroluje dochvilnost zpráv a příjem všech očekávaných zpráv. Pro správu programu byla vyvinuta grafická nadstavba. Aplikace byla vyvinuta v jazyce Python s možností převodu na exe soubor. Aplikace usnadňuje rutinní sledování stavu IT infrastruktury., The bachelor’s thesis describes the development of an application that will automatically evaluate received messages. When an incident occurs, it informs the administrator about the current status. Application will send information about the progress of message evaluation when it runs periodically. As part of the message evaluation, it also checks the timeliness of the messages and the reception of all expected messages. A graphical dashboard was developed to manage the application. The application was developed in Python. The application facilitates the routine monitoring of the state of the IT infrastructure.

Tato bakalářská práce se zabývá problematikou vyučování jazyka Python pomocí systému, který studentům poskytne zpětnou vazbu k jejich řešení. Cílem práce bylo vytvořit systém schopný vyhodnocovat studentská řešení a poskytovat zmíněnou zpětnou vazbu. Důraz práce je kladen na zpětnou vazbu, která je studentům poskytována, a také na možnosti spojené s omezením zdrojů použitých při řešení. Vytvořený systém poskytuje zpětnou vazbu na základě analýzy abstraktních syntaktických stromů sestavených z odevzdaného řešení, umožňuje připojit doporučení z programů třetích stran, a také umožňuje nastavit omezení zdrojů, knihoven a funkcí, které mohou být při řešení použity. Systém byl použit v letním semestru při výuce předmětu ISJ a 60 % studentů vylepšilo svoje řešení na základě doporučení ze systému. Tyto skutečnosti dokazují, že systém je možné využít při výuce jazyka Python v praxi., This bachelor thesis focuses on the topic of teaching Python programming language assisted by automated system that can provide feedback to submitted solutions. The goal of this thesis was creation of automated system that could evaluate student solutions and provide feedback. The main emphasis was on provided feedback and options for limiting resources that can be used. Created system provides feedback based on the analysis of abstract syntax trees assembled from submitted solutions, allows an administrator to attach tips from third party programs and set restrictions on resources, libraries and functions, that can be used. System was used during summer semester in ISJ course and 60 % of students improved their solution based on feedback given by system. This suggests that created system can be used during Python tuition.

Tato bakalářská práce se zabývá problematikou vyučování jazyka Python pomocí systému, který studentům poskytne zpětnou vazbu k jejich řešení. Cílem práce bylo vytvořit systém schopný vyhodnocovat studentská řešení a poskytovat zmíněnou zpětnou vazbu. Důraz práce je kladen na zpětnou vazbu, která je studentům poskytována, a také na možnosti spojené s omezením zdrojů použitých při řešení. Vytvořený systém poskytuje zpětnou vazbu na základě analýzy abstraktních syntaktických stromů sestavených z odevzdaného řešení, umožňuje připojit doporučení z programů třetích stran, a také umožňuje nastavit omezení zdrojů, knihoven a funkcí, které mohou být při řešení použity. Systém byl použit v letním semestru při výuce předmětu ISJ a 60 % studentů vylepšilo svoje řešení na základě doporučení ze systému. Tyto skutečnosti dokazují, že systém je možné využít při výuce jazyka Python v praxi., This bachelor thesis focuses on the topic of teaching Python programming language assisted by automated system that can provide feedback to submitted solutions. The goal of this thesis was creation of automated system that could evaluate student solutions and provide feedback. The main emphasis was on provided feedback and options for limiting resources that can be used. Created system provides feedback based on the analysis of abstract syntax trees assembled from submitted solutions, allows an administrator to attach tips from third party programs and set restrictions on resources, libraries and functions, that can be used. System was used during summer semester in ISJ course and 60 % of students improved their solution based on feedback given by system. This suggests that created system can be used during Python tuition.

Tato bakalářská práce se zabývá problematikou vyučování jazyka Python pomocí systému, který studentům poskytne zpětnou vazbu k jejich řešení. Cílem práce bylo vytvořit systém schopný vyhodnocovat studentská řešení a poskytovat zmíněnou zpětnou vazbu. Důraz práce je kladen na zpětnou vazbu, která je studentům poskytována, a také na možnosti spojené s omezením zdrojů použitých při řešení. Vytvořený systém poskytuje zpětnou vazbu na základě analýzy abstraktních syntaktických stromů sestavených z odevzdaného řešení, umožňuje připojit doporučení z programů třetích stran, a také umožňuje nastavit omezení zdrojů, knihoven a funkcí, které mohou být při řešení použity. Systém byl použit v letním semestru při výuce předmětu ISJ a 60 % studentů vylepšilo svoje řešení na základě doporučení ze systému. Tyto skutečnosti dokazují, že systém je možné využít při výuce jazyka Python v praxi., This bachelor thesis focuses on the topic of teaching Python programming language assisted by automated system that can provide feedback to submitted solutions. The goal of this thesis was creation of automated system that could evaluate student solutions and provide feedback. The main emphasis was on provided feedback and options for limiting resources that can be used. Created system provides feedback based on the analysis of abstract syntax trees assembled from submitted solutions, allows an administrator to attach tips from third party programs and set restrictions on resources, libraries and functions, that can be used. System was used during summer semester in ISJ course and 60 % of students improved their solution based on feedback given by system. This suggests that created system can be used during Python tuition.

Tato bakalářská práce se zabývá problematikou vyučování jazyka Python pomocí systému, který studentům poskytne zpětnou vazbu k jejich řešení. Cílem práce bylo vytvořit systém schopný vyhodnocovat studentská řešení a poskytovat zmíněnou zpětnou vazbu. Důraz práce je kladen na zpětnou vazbu, která je studentům poskytována, a také na možnosti spojené s omezením zdrojů použitých při řešení. Vytvořený systém poskytuje zpětnou vazbu na základě analýzy abstraktních syntaktických stromů sestavených z odevzdaného řešení, umožňuje připojit doporučení z programů třetích stran, a také umožňuje nastavit omezení zdrojů, knihoven a funkcí, které mohou být při řešení použity. Systém byl použit v letním semestru při výuce předmětu ISJ a 60 % studentů vylepšilo svoje řešení na základě doporučení ze systému. Tyto skutečnosti dokazují, že systém je možné využít při výuce jazyka Python v praxi., This bachelor thesis focuses on the topic of teaching Python programming language assisted by automated system that can provide feedback to submitted solutions. The goal of this thesis was creation of automated system that could evaluate student solutions and provide feedback. The main emphasis was on provided feedback and options for limiting resources that can be used. Created system provides feedback based on the analysis of abstract syntax trees assembled from submitted solutions, allows an administrator to attach tips from third party programs and set restrictions on resources, libraries and functions, that can be used. System was used during summer semester in ISJ course and 60 % of students improved their solution based on feedback given by system. This suggests that created system can be used during Python tuition.

Bakalářská práce se zabývá vývojem aplikace, která bude automatizovaně vyhodnocovat přijaté zprávy. V případě výskytu incidentu informuje administrátora o aktuálním stavu. Při svém periodickém spouštění bude zasílat informace o průběhu vyhodnocování zpráv. V rámci vyhodnocování zpráv také zkontroluje dochvilnost zpráv a příjem všech očekávaných zpráv. Pro správu programu byla vyvinuta grafická nadstavba. Aplikace byla vyvinuta v jazyce Python s možností převodu na exe soubor. Aplikace usnadňuje rutinní sledování stavu IT infrastruktury., The bachelor’s thesis describes the development of an application that will automatically evaluate received messages. When an incident occurs, it informs the administrator about the current status. Application will send information about the progress of message evaluation when it runs periodically. As part of the message evaluation, it also checks the timeliness of the messages and the reception of all expected messages. A graphical dashboard was developed to manage the application. The application was developed in Python. The application facilitates the routine monitoring of the state of the IT infrastructure.

Bakalářská práce se zabývá vývojem aplikace, která bude automatizovaně vyhodnocovat přijaté zprávy. V případě výskytu incidentu informuje administrátora o aktuálním stavu. Při svém periodickém spouštění bude zasílat informace o průběhu vyhodnocování zpráv. V rámci vyhodnocování zpráv také zkontroluje dochvilnost zpráv a příjem všech očekávaných zpráv. Pro správu programu byla vyvinuta grafická nadstavba. Aplikace byla vyvinuta v jazyce Python s možností převodu na exe soubor. Aplikace usnadňuje rutinní sledování stavu IT infrastruktury., The bachelor’s thesis describes the development of an application that will automatically evaluate received messages. When an incident occurs, it informs the administrator about the current status. Application will send information about the progress of message evaluation when it runs periodically. As part of the message evaluation, it also checks the timeliness of the messages and the reception of all expected messages. A graphical dashboard was developed to manage the application. The application was developed in Python. The application facilitates the routine monitoring of the state of the IT infrastructure.

Tato bakalářská práce se zabývá problematikou vyučování jazyka Python pomocí systému, který studentům poskytne zpětnou vazbu k jejich řešení. Cílem práce bylo vytvořit systém schopný vyhodnocovat studentská řešení a poskytovat zmíněnou zpětnou vazbu. Důraz práce je kladen na zpětnou vazbu, která je studentům poskytována, a také na možnosti spojené s omezením zdrojů použitých při řešení. Vytvořený systém poskytuje zpětnou vazbu na základě analýzy abstraktních syntaktických stromů sestavených z odevzdaného řešení, umožňuje připojit doporučení z programů třetích stran, a také umožňuje nastavit omezení zdrojů, knihoven a funkcí, které mohou být při řešení použity. Systém byl použit v letním semestru při výuce předmětu ISJ a 60 % studentů vylepšilo svoje řešení na základě doporučení ze systému. Tyto skutečnosti dokazují, že systém je možné využít při výuce jazyka Python v praxi., This bachelor thesis focuses on the topic of teaching Python programming language assisted by automated system that can provide feedback to submitted solutions. The goal of this thesis was creation of automated system that could evaluate student solutions and provide feedback. The main emphasis was on provided feedback and options for limiting resources that can be used. Created system provides feedback based on the analysis of abstract syntax trees assembled from submitted solutions, allows an administrator to attach tips from third party programs and set restrictions on resources, libraries and functions, that can be used. System was used during summer semester in ISJ course and 60 % of students improved their solution based on feedback given by system. This suggests that created system can be used during Python tuition.

Tato bakalářská práce se zabývá problematikou vyučování jazyka Python pomocí systému, který studentům poskytne zpětnou vazbu k jejich řešení. Cílem práce bylo vytvořit systém schopný vyhodnocovat studentská řešení a poskytovat zmíněnou zpětnou vazbu. Důraz práce je kladen na zpětnou vazbu, která je studentům poskytována, a také na možnosti spojené s omezením zdrojů použitých při řešení. Vytvořený systém poskytuje zpětnou vazbu na základě analýzy abstraktních syntaktických stromů sestavených z odevzdaného řešení, umožňuje připojit doporučení z programů třetích stran, a také umožňuje nastavit omezení zdrojů, knihoven a funkcí, které mohou být při řešení použity. Systém byl použit v letním semestru při výuce předmětu ISJ a 60 % studentů vylepšilo svoje řešení na základě doporučení ze systému. Tyto skutečnosti dokazují, že systém je možné využít při výuce jazyka Python v praxi., This bachelor thesis focuses on the topic of teaching Python programming language assisted by automated system that can provide feedback to submitted solutions. The goal of this thesis was creation of automated system that could evaluate student solutions and provide feedback. The main emphasis was on provided feedback and options for limiting resources that can be used. Created system provides feedback based on the analysis of abstract syntax trees assembled from submitted solutions, allows an administrator to attach tips from third party programs and set restrictions on resources, libraries and functions, that can be used. System was used during summer semester in ISJ course and 60 % of students improved their solution based on feedback given by system. This suggests that created system can be used during Python tuition.

Bakalářská práce se zabývá vývojem aplikace, která bude automatizovaně vyhodnocovat přijaté zprávy. V případě výskytu incidentu informuje administrátora o aktuálním stavu. Při svém periodickém spouštění bude zasílat informace o průběhu vyhodnocování zpráv. V rámci vyhodnocování zpráv také zkontroluje dochvilnost zpráv a příjem všech očekávaných zpráv. Pro správu programu byla vyvinuta grafická nadstavba. Aplikace byla vyvinuta v jazyce Python s možností převodu na exe soubor. Aplikace usnadňuje rutinní sledování stavu IT infrastruktury., The bachelor’s thesis describes the development of an application that will automatically evaluate received messages. When an incident occurs, it informs the administrator about the current status. Application will send information about the progress of message evaluation when it runs periodically. As part of the message evaluation, it also checks the timeliness of the messages and the reception of all expected messages. A graphical dashboard was developed to manage the application. The application was developed in Python. The application facilitates the routine monitoring of the state of the IT infrastructure.