Bewertungsaspekte und Tests in Java-Programmieraufgaben für Graja im ProFormA-Aufgabenformat

Ein Autobewerter für von Studierenden eingereichte Programme führt die im ProFormA-Aufgabenformat sequentiell spezifizierten "Tests" aus, um die Einreichung zu prüfen. Bzgl. der Interpretation und Darstellung der Testausführungsergebnisse gibt es derzeit keinen graderübergreifenden Standard. Wir beschreiben eine Erweiterung des ProFormA-Aufgabenformats um eine Hierarchie von Bewertungsaspekten, die nach didaktischen Aspekten gruppiert ist und Referenzen auf die Testausführungen besitzt. Die Erweiterung wurde in Graja umgesetzt, einem Autobewerter für Java-Programme. Je nach gewünschter Detailaufschlüsselung der Bewertungsaspekte müssen in der Konsequenz Testausführungen in Teilausführungen aufgebrochen werden. Wir illustrieren unseren Vorschlag unter Einsatz der Testwerkzeuge Compiler, dynamischer Softwaretest, statische Analyse sowie unter Einsatz menschlicher Bewerter.

Das Bistum Paderborn 1. Die Zisterzienserabtei Bredelar

Die Zisterzienserabtei Bredelar wurde 1196 von Mönchen des Klosters Hardehausen, dem ersten Zisterzienserkloster auf westfälischem Boden, ins Leben gerufen. Es existierte bis zu seiner Aufhebung im Jahre 1804. Das neugegründete Kloster versuchte sich im territorialen Gefüge des Herzogtums Westfalen, des Bistums Paderborn, der Grafschaft Waldeck, der Landgrafschaft Hessen und kleinerer Landesherrschaften eine sichere und weitgehend unabhängige Position zu verschaffen. Im Dreißigjährigen Krieg erlitt das Kloster so schweren Schaden, dass das Ordensleben nahezu zum Erliegen kam. Schon kurze Zeit später begann der rührige Abt Absalon Heuck mit dem Wiederaufbau. Auch der Siebenjährige Krieg bedeutete für Bredelar schwierige Zeiten. 1787 brannte das Kloster fast bis auf die Grundmauern ab und wurde bis 1800 in einfacherer Form wieder aufgebaut. In seiner Hochzeit im 13. und 14. Jahrhundert unterhielt Bredelar ein Skriptorium, aus dem bedeutende illuminierte Bibelhandschriften und theologische Werke hervorgegangen sind. Die umfangreiche Bibliothek des Kosters umfasste zuletzt an die 1350 Bände. Mit dem Band zur Zisterzienserabtei Bredelar legt der Autor, Helmut Müller, den ersten Band zum Bistum Paderborn im Rahmen der Germania Sacra vor. Nach dem bewährten Reihenschema wird die Geschichte des Klosters dargestellt und schließt sich den bereits vorliegenden Bänden zu westfälischen Klöstern, wie z.B. dem Benediktinerkloster Liesborn oder dem Zisterzienserkloster Marienfeld, an.

Étude des projections axonales sérotoninergiques dans un modèle murin de la maladie de Parkinson et des dyskinésies induites par la lévodopa

OBJECTIFS: La libération de dopamine par les afférences à sérotonine (5-HT) du striatum constitue un déterminant pré-synaptique important des dyskinésies induites par la L-Dopa (DILs), un effet délétère du traitement pharmacologique de la maladie de Parkinson. En effet, les axones 5-HT seraient en mesure de libérer de façon non-physiologique de la dopamine lorsque la L-Dopa est administrée au patient, contribuant ainsi à l’expression des DILs. Certaines afférences striatales 5-HT contiennent un transporteur vésiculaire du glutamate (VGluT3) et nous croyons que sa présence puisse avoir un effet synergique sur la libération de dopamine. L’objectif général de ce mémoire est donc d’évaluer la quantité de VGluT3 présent au sein des axones 5-HT et de mesurer son implication dans l’expression des DILs. MÉTHODES : Dix-huit souris C57/Bl6 ont été séparées en trois groupes expérimentaux. Douze souris ont reçu une injection intracérébrale de 6- hydroxydopamine (6-OHDA) dans le faisceau prosencéphalique médian afin de léser les afférences dopaminergiques du striatum. Six souris lésées ont reçu des injections systémiques de L-Dopa (12 jours, 1 fois/jour). Six autres souris ont reçu une injection intracérébrale du véhicule afin de servir de contrôle. La sévérité des mouvements involontaires anormaux induits par la L-Dopa (équivalent des dyskinésies) a été quantifiée selon une échelle reconnue. Un double marquage en immunofluorescence pour le transporteur membranaire de la 5-HT (SERT) et le VGluT3 a permis d’évaluer la densité des varicosités SERT+ et SERT+/VGluT3+ dans le striatum dorsal et de comparer ces données entre les trois groupes expérimentaux. RÉSULTATS: Chez les trois groupes de souris, un faible pourcentage des varicosités axonales 5-HT sont également VGluT3+. Ces varicosités doublement marquées sont souvent retrouvées sur une même branche axonale. Aucune différence significative n’a été observée entre les trois groupes expérimentaux en ce qui a trait à la proportion de varicosités SERT+ qui contiennent le VGluT3+. CONCLUSION: Nos données expérimentales ne nous permettent pas de conclure que la densité des varicosités axonales SERT+ ou SERT+/VGluT3+ au sein du striatum dorsal varie en fonction de la sévérité des mouvements involontaires anormaux induits par l’administration de L-Dopa.

Graja - Autobewerter für Java-Programme

In diesem Bericht wird der Autobewerter Graja für Java-Programme vorgestellt. Wir geben einen Überblick über die unterstützten Bewertungsmethoden sowie die beteiligten Nutzerrollen. Wir gehen auf technische Einzelheiten und Randbedingungen der in Graja eingesetzten Bewertungsmethoden ein und zeigen die Einbindung von Graja in eine technische Gesamtarchitektur. An einem durchgehenden Beispiel stellen wir die Struktur einer Programmieraufgabe sowie die von Graja unterstützten Feedback-Möglichkeiten dar. Informationen zum bisherigen Einsatz des Graders runden den Bericht ab.

The Effects of Systematic Self-Monitoring, Feedback, and Collaborative Assessment on Stress Reduction

Thesis (Ph.D.)--University of Washington, 2016-08

Tals del-helhetsrelationer : Elevers sätt att urskilja del-helhetsrelationer i öppna utsagor.

På vilket sätt kan vi hjälpa alla elever att bli förtrogna med matematikens uttrycksformer? Ett sätt är att bygga en stadig aritmetisk grund för eleverna där de befäster talens innehåll. Det är vad den här uppsatsen handlar om. Uppsatsen beskriver vad som skiljer användandet av del-helhetsrelationer från andra sätt att lösa öppna utsagor på. Uppsatsen beskriver även vilka kritiska aspekter om öppna utsagor som kan förekomma hos elever i årskurs 1 och 2. Uppsat-sen är skriven ur en fenomenografisk ansats med variationsteoretiska inslag eftersom de två teorierna är nära besläktade. Studien genomfördes genom filmade intervjuer med 11 elever som valdes ut genom en munt-lig och en skriftlig diagnos samt ett skriftligt arbetsblad. Resultatet visar att elever som använ-der automatiserade del-helhetsrelationer har en fördel när de löser öppna utsagor jämfört med elever som använder andra lösningsmetoder. Skillnaderna syns tydligt när det gäller lösandet av öppna subtraktionsutsagor där helheten saknas. En väg till den abstrakta förståelsen för tals del-helhetsrelationer går via fingertalen. Min slutsats är att eleverna redan tidigt i skolan måste få undervisning om fingertalen samt talens del-helhetsrelationer för att undvika att de utvecklar matematiksvårigheter.

Máquina para medir la rugosidad de suelos agrícolas

Este dispositivo permite caracterizar de manera exacta y precisa el microrrelieve superficial. Dicho parámetro está directamente relacionado con procesos tan importantes como la erosión, escorrentía, distribución y tipo de agregados, propiedades térmicas y balance de energía, intercambios con la atmósfera, reflexión de la radiación solar y evaporación. La máquina posee un bastidor, el cual tiene la función de ser el soporte físico de los distintos sensores. El sistema de instrumentación y medida básicamente está formado por los sensores (dos potenciómetros, encargados del registro de las coordenadas "x", "y"; y un sensor láser de distancias, encargado de la adquisición de la coordenada "z"), el acondicionador de la señal del láser, el convertidor analógico-digital, la fuente de alimentación y un ordenador tipo PC portátil, encargado del control del proceso de toma de datos y del registro de la información.

Sistema de guiado para movimiento autónomo de vehículos en entornos estructurados

El objetivo de la invención es un sistema de guiado de vehículos autónomos mediante cámaras y/o fotodetectores para seguir una trayectoria, que se determina por un conjunto de emisores láser dispuestos en un entorno estructurado, por ejemplo, en los distintos pasillos de un invernadero, y que determina la trayectoria a seguir. Para el establecimiento de la trayectoria a seguir, se dispone de diversos emisores láser colocados en los pasillos del invernadero, que estarán activos en función de los pasillos que deba recorrer el vehículo para describir la trayectoria prevista.

Túnel de Viento para el Estudio de la Erosión Eólica

Túnel de viento para el estudio de la erosión eólica, caracterizado por ser ligero y plegable, donde un ventilador genera una corriente de aire, que entra en una estructura "tubular" desplegable. La estructura es telescópica. Se divide en 3 módulos y se han colocado unas bisagras, que permiten transformarlo en un cubo completamente plegado de reducidas dimensiones. Para completar el conjunto telescópico, se ha diseñado un sistema que permite a las paredes adaptarse a ésta estructura, utilizando patines que deslizan sobre un raíl. La recogida y análisis de las muestras, se realiza con 2 sensores: 1. Un láser-scan, que permite la generación de mapas tridimensionales del suelo, antes y después de ser erosionado. 2. Una cámara de visión industrial, que capta imágenes de las partículas fijadas en una serie de placas con adhesivos, colocadas al final del dispositivo.

Applicazione di un protocollo di screening differenziale nel sistema Vitis vinifera per l’identificazione di peptidi con attività antimicrobica

Le piante e gli animali presentano elementi comuni nel loro sistema di difesa contro gli agenti patogeni, come la sintesi diretta di enzimi idrolitici (chitinasi, glucanasi, proteinasi e ossidasi) e di peptidi antimicrobici (AMPs). Gli AMPs sono peptidi ampiamente espressi negli organismi animali (vertebrati e invertebrati) e nelle piante. Possono essere espressi costitutivamente o rapidamente indotti inseguito ad uno stimolo biotico, a differenti livelli cellulari, per interagire direttamente con l’agente infettante e/o per modulare la risposta immunitaria contro i patogeni. Tali peptidi sono oggi classificati in relazione alle loro caratteristiche biochimiche (carica netta) e/ o alle loro caratteristiche strutturali (composizione amminoacidica, struttura lineare o circolare). In base a queste caratteristiche le molecole possono essere distinte nei seguenti gruppi: 1) peptidi lineari ad alfa elica; 2) peptidi ciclici con β-sheets e due o più ponti disolfuro; 3) peptidi con alfa elica e β-sheets stabilizzati da ponti disolfuro; 4) peptidi con hairpin o loop stabilizzati da ponti disolfuro; 5) peptidi lineari con residui aminoacidici ripetuti, come prolina, glicina, triptofano o istidina; 6) piccoli peptidi con struttura avvolta o con una struttura secondaria non definita. Nonostante la loro diversità strutturale, i peptidi antimicrobici presentano la caratteristica comune di inibire la crescita di un largo spettro di microbi, quali Gram-positivi, Gram-negativi, funghi e in alcuni casi anche virus, tanto da far coniare il termine di “antibiotici naturali”. Negli ultimi anni è notevolmente incrementato l’interesse verso tali peptidi dal momento che dati scientifici hanno mostrato che questi non inducono lo sviluppo di meccanismi di resistenza nei microrganismi patogeni. Gli AMPs quindi potrebbero costituire una valida alternativa non solo in ambito sanitario, per la sostituzione di antibiotici di sintesi chimica e di origine microbiologica, ma potrebbero avere un importante utilizzo in campo industriale e nello sviluppo di nuovi sistemi di conservazione degli alimenti al fine di incrementare la loro “shelf-life”.

FRAMEWORK SYNTHESIS FOR SYMBOLIC EXECUTION OF EVENT-DRIVEN FRAMEWORKS

Symbolic execution is a powerful program analysis technique, but it is very challenging to apply to programs built using event-driven frameworks, such as Android. The main reason is that the framework code itself is too complex to symbolically execute. The standard solution is to manually create a framework model that is simpler and more amenable to symbolic execution. However, developing and maintaining such a model by hand is difficult and error-prone. We claim that we can leverage program synthesis to introduce a high-degree of automation to the process of framework modeling. To support this thesis, we present three pieces of work. First, we introduced SymDroid, a symbolic executor for Android. While Android apps are written in Java, they are compiled to Dalvik bytecode format. Instead of analyzing an app’s Java source, which may not be available, or decompiling from Dalvik back to Java, which requires significant engineering effort and introduces yet another source of potential bugs in an analysis, SymDroid works directly on Dalvik bytecode. Second, we introduced Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket takes as input the framework API and tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes an executable framework model by instantiating design patterns, such that the behavior of a synthesized model on the tutorial programs matches that of the original framework. Lastly, in order to scale program synthesis to framework models, we devised adaptive concretization, a novel program synthesis algorithm that combines the best of the two major synthesis strategies: symbolic search, i.e., using SAT or SMT solvers, and explicit search, e.g., stochastic enumeration of possible solutions. Adaptive concretization parallelizes multiple sub-synthesis problems by partially concretizing highly influential unknowns in the original synthesis problem. Thanks to adaptive concretization, Pasket can generate a large-scale model, e.g., thousands lines of code. In addition, we have used an Android model synthesized by Pasket and found that the model is sufficient to allow SymDroid to execute a range of apps.

Zur Lithologie und Genese der Elster-Grundmoränen und der Haupt-Drenthe-Grundmoräne im westlichen Elbe-Weser-Dreieck

Ziel dieser Arbeit ist es, die vertikale und laterale lithologische Differenziertheit der Grundmoränen und anderen moränalen Sedimente der Elstereiszeit und des Haupt- Drenthestadials der Saaleeiszeit zu charakterisieren. Die Untersuchungen sollen in erster Linie die Gefügevariabilität der lithostratigraphisch eingestuften Einheiten in den einzelnen Aufschlüssen erfassen und nachfolgend einen regionalen Vergleich ermöglichen. Aus dem Gefüge der Moränen, insbesondere aus den Texturmerkmalen, soll versucht werden, die maßgebenden moränenbildenden Prozesse bzw. den genetischen Till-Typ abzuleiten. Völlig sichere Aussagen können jedoch nur in wenigen Fällen erwartet werden, da die Kriterien für den Nachweis der genetischen Till-Typen oft nicht eindeutig sind und manche Gefügemerkmale verschieden genetisch interpretiert werden können (vgl. HALDORSEN & SHAW 1982) . Die genetischen Till-Typen sind eng an die Dynamik des den Till bildenden Gletschers geknüpft. Regional gültige Aussagen zur Inlandeisdynamik erfordern jedoch eine größere Zusammenschau von Untersuchungsergebnissen, als sie hier vorgenommen werden kann.

Células madre mesenquimales orales: estado del arte en Odontología

Desde la organogénesis y hasta estadios adultos, las células madre mesenquimales participan activamente dando origen y manteniéndola homeostasis del organismo. En la cavidad oral han sido aisladas desde variadas estructuras del órgano dental tales como el ligamento periodontal, pulpa dental, tejido gingival, folículo dental y papila apical significando una prometedora fuente de células madre mesenquimales las que pueden ser caracterizadas de acuerdo a los criterios mínimos establecidos por "The International Society for Cellular Therapy" que son: a) La adherencia al plástico; b) La expresión de marcadores CD73, CD90, CD105 y la carencia de CD34, CD45, CD14, CD11, CD79, CD19 y HLA-DR (clase II); c) Capacidad multipotencial de diferenciación hacia linaje osteogénico, condrogénico y adipogénico. El objetivo de esta revisión consiste en realizar un levantamiento de la situación actual de este tema efectuando una revisión comprensiva de la literatura en los campos de; identificación a través demarcadores de superficie, aislamiento por medio de mecanismos de digestión enzimática o explante, almacenamiento atendiendo a la necesidad de suprimir el uso de suero fetal bovino como medio de cultivo en un esfuerzo por avanzar hacia aplicaciones terapéuticas, banca o criopreservación destacando nuevas experiencia en este campo como lo es la criopreservación de piezas dentales completas gracias a la tecnología láser Nd:YAG. Y, finalmente, las aplicaciones clínicas que promete este grupo de células a través de la medicina regenerativa y la ingeniería tisular tanto en el campo de la odontología como la medicina general.

Proposta per un maglev urbano. Lineamenti di un progetto di ricerca industriale per lo sviluppo di un sistema di trasporto innovativo

L'oggetto della proposta è un sistema di trasporto guidato di media potenzialità destinato alle aree metropolitane, basato sulla tecnologia della levitazione magnetica. Utilizza magneti permanenti ad alta energia per la sostentazione; un motore lineare sincrono per la propulsione; un dispositivo meccanico, o elettromagnetico, per stabilizzare la guida assicurata dagli stessi magneti della sostentazione. Il contenuto innovativo dell'oggetto non si limita alla parte non convenzionale (levitazione), ma investe tutto il sistema, poiché l'offerta industriale di un sistema destinato alle aree metropolitane è vincente solo se riferita ad un sistema completo (infrastruttura, veicoli, alimentazione, sistema di sicurezza, modello di esercizio, gestione, manutenzione, …). Si descrive inoltre la particolare soluzione inedita con abitacolo sospeso al di sotto dell'involucro tecnologico (comprendente magneti di sostentamento, motore lineare, sistema di guida, sospensione secondaria).

Evaluación del desempeño de los pavimentos rígidos de geometría optimizada

La presente investigación contiene la evaluación del desempeño de los pavimentos rígidos de geometría optimizada, en el cual se determinó la condición actual de los pavimentos por medio del levantamiento de deterioros superficiales, evaluación del escalonamiento, IRI y la transferencia de carga, utilizando los equipos: Deflectrómetro de impacto, perfilómetro inercial láser y Dipstick, proporcionados por el Ministerio de Obras Públicas. También se realizó un análisis a largo plazo de los pavimentos por medio de la modelación computacional realizada en el programa HIPERPAV III. Los tramos de estudio evaluados fueron: 1) Intercepción By Pass Metapán; 2) Calle de acceso a la Planta de Producción de Alba Petróleos, Acajutla; 3) Carretera que conduce de Ilobasco hacia la Presa 5 de Noviembre; tramo Santa Tecla-La Cuchilla, carretera Los Chorros