Beiträge zum Mathematikunterricht 2015. Vorträge auf der 49. Tagung für Didaktik der Mathematik vom 09.02.2015 bis 13.02.2015 in Basel [Band 1]

Die Jahrestagung der Gesellschaft für Didaktik der Mathematik fand im Jahr 2015 zum dritten Mal in der Schweiz statt. [...] Mit rund 300 Vorträgen, 16 moderierten Sektionen, 15 Arbeitskreistreffen und 21 Posterpräsentationen eröffnete sich ein breites Spektrum an Themen und unterschiedlichen Zugangsweisen zur Erforschung von Fragen rund um das Lernen und Lehren von Mathematik. (DIPF/Orig.)

A tradução de textos económico-financeiros de português para inglês: potencialidades da Plataforma ISTRION

Este Trabalho de Projeto tem como objetivo primordial analisar a tradução, de português para inglês, de textos económico-financeiros, utilizando a plataforma de Tradução Automática (TA) ISTRION. A tradução de conteúdos selecionados da Newsletter Económico-Financeira Maximus Report é efetuada com base na referida plataforma, complementada com outras ferramentas de apoio ao processamento linguístico que sejam consideradas relevantes. Visa-se igualmente com este Trabalho de Projeto analisar as potencialidades desta plataforma, bem como medir os resultados da tradução. Por último pretende-se enquadrar, testar, estudar e medir quais os critérios em que se poderá tornar mais eficiente a tradução destes textos.

EGCL: an extended G-Code Language with flow control, functions and mnemonic variables

In the context of computer numerical control (CNC) and computer aided manufacturing (CAM), the capabilities of programming languages such as symbolic and intuitive programming, program portability and geometrical portfolio have special importance -- They allow to save time and to avoid errors during part programming and permit code re-usage -- Our updated literature review indicates that the current state of art presents voids in parametric programming, program portability and programming flexibility -- In response to this situation, this article presents a compiler implementation for EGCL (Extended G-code Language), a new, enriched CNC programming language which allows the use of descriptive variable names, geometrical functions and flow-control statements (if-then-else, while) -- Our compiler produces low-level generic, elementary ISO-compliant Gcode, thus allowing for flexibility in the choice of the executing CNC machine and in portability -- Our results show that readable variable names and flow control statements allow a simplified and intuitive part programming and permit re-usage of the programs -- Future work includes allowing the programmer to define own functions in terms of EGCL, in contrast to the current status of having them as library built-in functions

The subjunctive mood in Late Middle English adverbial clauses: the interaction of form and function

This thesis focuses on the history of the inflexional subjunctive and its functional substitutes in Late Middle English. To explore why and how the inflexional subjunctive declined in the history of English language, I analysed 2653 examples of three adverbial clauses introduced by if (1882 examples), though (305 examples) and lest (466 examples). Using a corpus-based approach, this thesis argues that linguistic change in subjunctive constructions did not happen suddenly but rather gradually, and the way it changed was varied , and that different constructions changed at different speeds in different environments. It is well known that the inflexional subjunctive declined in the history of English, mainly because of inflexional loss. Strangely however this topic has been comparatively neglected in the scholarly literature, especially with regard to the Middle English period, probably due to the limitations of data and also because study of this development requires very cumbersome textual research. This thesis has derived and analysed the data from three large corpora in the public domain: the Middle English Grammar Corpus (MEG-C for short), the Innsbruck Computer Archive of Machine-Readable English Texts (ICAMET for short), and some selected texts from The Corpus of Middle English Prose and Verse, part of the Middle English Compendium that also includes the Middle English Dictionary. The data were analysed from three perspectives: 1) clausal type, 2) dialect, and 3) textual genre. The basic methodology for the research was to analyse the examples one by one, with special attention being paid to the peculiarities of each text. In addition, this thesis draw on some complementary – indeed overlapping -- linguistic theories for further discussion: 1) Biber’s multi-dimensional theory, 2) Ogura and Wang’s (1994) S-curve or ‘diffusion’ theory, 3) Kretzchmar’s (2009) linguistics of speech, and 4) Halliday’s (1987) notion of language as a dynamic open system. To summarise the outcomes of this thesis: 1) On variation between clausal types, it was shown that the distributional tendencies of verb types (sub, ind, mod) are different between the three adverbial clauses under consideration. 2) On variation between dialects, it has been shown that the northern area, i.e. the so-called Great Scandinavian Belt, displays an especially high comparative ratio of the inflexional subjunctive construction compared to the other areas. This thesis suggests that this result was caused by the influence of Norse, relating the finding to the argument of Samuels (1989) that the present tense -es ending in the northern dialect was introduced by the influence of the Scandinavians. 3) On variation between genres, those labelled Science, Documents and Religion display relatively high ratio of the inflexional subjunctive, while Letter, Romance and History show relatively low ratio of the inflexional subjunctive. This results are explained by Biber’s multi-dimensional theory, which shows that the inflexional subjunctive can be related to the factors ‘informational’, ‘non-narrative’, ‘persuasive’ and ‘abstract’. 4) Lastly, on the inflexional subjunctive in Late Middle English, this thesis concludes that 1) the change did not happen suddenly but gradually, and 2) the way language changes varies. Thus the inflexional subjunctive did not disappear suddenly from England, and there was a time lag among the clausal types, dialects and genres, which can be related to Ogura and Wang’s S-curve (“diffusion”) theory and Kretzchmars’s view of “linguistic continuum”. This thesis has shown that the issues with regard to the inflexional subjunctive are quite complex, so that research in this area requires not only textual analysis but also theoretical analysis, considering both intra- and extra- linguistic factors.

Design and Synthesis of Novel Kinase Inhibitors for the Treatment of Chronic Respiratory Diseases

In 2017, Chronic Respiratory Diseases accounted for almost four million deaths worldwide. Unfortunately, current treatments are not definitive for such diseases. This unmet medical need forces the scientific community to increase efforts in the identification of new therapeutic solutions. PI3K delta plays a key role in mechanisms that promote airway chronic inflammation underlying Asthma and COPD. The first part of this project was dedicated to the identification of novel PI3K delta inhibitors. A first SAR expansion of a Hit, previously identified by a HTS campaign, was carried out. A library of 43 analogues was synthesised taking advantage of an efficient synthetic approach. This allowed the identification of an improved Hit of nanomolar enzymatic potency and moderate selectivity for PI3K delta over other PI3K isoforms. However, this compound exhibited low potency in cell-based assays. Low cellular potency was related to sub optimal phys-chem and ADME properties. The analysis of the X-ray crystal structure of this compound in human PI3K delta guided a second tailored SAR expansion that led to improved cellular potency and solubility. The second part of the thesis was focused on the rational design and synthesis of new macrocyclic Rho-associated protein kinases (ROCKs) inhibitors. Inhibition of these kinases has been associated with vasodilating effects. Therefore, ROCKs could represent attractive targets for the treatment of pulmonary arterial hypertension (PAH). Known ROCK inhibitors suffer from low selectivity across the kinome. The design of macrocyclic inhibitors was considered a promising strategy to obtain improved selectivity. Known inhibitors from literature were evaluated for opportunities of macrocyclization using a knowledge-based approach supported by Computer Aided Drug Design (CADD). The identification of a macrocyclic ROCK inhibitor with enzymatic activity in the low micro molar range against ROCK II represented a promising result that validated this innovative approach in the design of new ROCKs inhibitors.

Development of a Computer-Based methodology for tolerance selection and optimization applied to the automotive sector

The design optimization of industrial products has always been an essential activity to improve product quality while reducing time-to-market and production costs. Although cost management is very complex and comprises all phases of the product life cycle, the control of geometrical and dimensional variations, known as Dimensional Management (DM), allows compliance with product and process requirements. Hence, the tolerance-cost optimization becomes the main practice to provide an effective application of Design for Tolerancing (DfT) and Design to Cost (DtC) approaches by enabling a connection between product tolerances and associated manufacturing costs. However, despite the growing interest in this topic, a profitable application in the industry of these techniques is hampered by their complexity: the definition of a systematic framework is the key element to improving design optimization, enhancing the concurrent use of Computer-Aided tools and Model-Based Definition (MBD) practices. The present doctorate research aims to define and develop an integrated methodology for product/process design optimization, to better exploit the new capabilities of advanced simulations and tools. By implementing predictive models and multi-disciplinary optimization, a Computer-Aided Integrated framework for tolerance-cost optimization has been proposed to allow the integration of DfT and DtC approaches and their direct application for the design of automotive components. Several case studies have been considered, with the final application of the integrated framework on a high-performance V12 engine assembly, to achieve both functional targets and cost reduction. From a scientific point of view, the proposed methodology provides an improvement for the tolerance-cost optimization of industrial components. The integration of theoretical approaches and Computer-Aided tools allows to analyse the influence of tolerances on both product performance and manufacturing costs. The case studies proved the suitability of the methodology for its application in the industrial field, providing the identification of further areas for improvement and refinement.

Tolerance optimization with statistical approach in the CAT environment

Nowadays, product development in all its phases plays a fundamental role in the industrial chain. The need for a company to compete at high levels, the need to be quick in responding to market demands and therefore to be able to engineer the product quickly and with a high level of quality, has led to the need to get involved in new more advanced methods/ processes. In recent years, we are moving away from the concept of 2D-based design and production and approaching the concept of Model Based Definition. By using this approach, increasingly complex systems turn out to be easier to deal with but above all cheaper in obtaining them. Thanks to the Model Based Definition it is possible to share data in a lean and simple way to the entire engineering and production chain of the product. The great advantage of this approach is precisely the uniqueness of the information. In this specific thesis work, this approach has been exploited in the context of tolerances with the aid of CAD / CAT software. Tolerance analysis or dimensional variation analysis is a way to understand how sources of variation in part size and assembly constraints propagate between parts and assemblies and how that range affects the ability of a project to meet its requirements. It is critically important to note how tolerance directly affects the cost and performance of products. Worst Case Analysis (WCA) and Statistical analysis (RSS) are the two principal methods in DVA. The thesis aims to show the advantages of using statistical dimensional analysis by creating and examining various case studies, using PTC CREO software for CAD modeling and CETOL 6σ for tolerance analysis. Moreover, it will be provided a comparison between manual and 3D analysis, focusing the attention to the information lost in the 1D case. The results obtained allow us to highlight the need to use this approach from the early stages of the product design cycle.

Progetto e implementazione di software di segmentazione assistita di immagini mediche e predizione di biomarkers

La segmentazione prevede la partizione di un'immagine in aree strutturalmente o semanticamente coerenti. Nell'imaging medico, è utilizzata per identificare, contornandole, Regioni di Interesse (ROI) clinico, quali lesioni tumorali, oggetto di approfondimento tramite analisi semiautomatiche e automatiche, o bersaglio di trattamenti localizzati. La segmentazione di lesioni tumorali, assistita o automatica, consiste nell’individuazione di pixel o voxel, in immagini o volumi, appartenenti al tumore. La tecnica assistita prevede che il medico disegni la ROI, mentre quella automatica è svolta da software addestrati, tra cui i sistemi Computer Aided Detection (CAD). Mediante tecniche di visione artificiale, dalle ROI si estraggono caratteristiche numeriche, feature, con valore diagnostico, predittivo, o prognostico. L’obiettivo di questa Tesi è progettare e sviluppare un software di segmentazione assistita che permetta al medico di disegnare in modo semplice ed efficace una o più ROI in maniera organizzata e strutturata per futura elaborazione ed analisi, nonché visualizzazione. Partendo da Aliza, applicativo open-source, visualizzatore di esami radiologici in formato DICOM, è stata estesa l’interfaccia grafica per gestire disegno, organizzazione e memorizzazione automatica delle ROI. Inoltre, è stata implementata una procedura automatica di elaborazione ed analisi di ROI disegnate su lesioni tumorali prostatiche, per predire, di ognuna, la probabilità di cancro clinicamente non-significativo e significativo (con prognosi peggiore). Per tale scopo, è stato addestrato un classificatore lineare basato su Support Vector Machine, su una popolazione di 89 pazienti con 117 lesioni (56 clinicamente significative), ottenendo, in test, accuratezza = 77%, sensibilità = 86% e specificità = 69%. Il sistema sviluppato assiste il radiologo, fornendo una seconda opinione, non vincolante, adiuvante nella definizione del quadro clinico e della prognosi, nonché delle scelte terapeutiche.

Phototherapy Improves Healing of Chronic Venous Ulcers

Objective: We tested the hypothesis that LED phototherapy with combined 660-nm and 890-nm light will promote healing of venous ulcers that failed to respond to other forms of treatment. Background Data: A variety of dressings, growth factors, and adjunct therapies are used to treat venous ulcers, but none seems to yield satisfactory results. Materials and Methods: We used a randomized placebo-controlled double-blind study to compare a total of 20 patients divided with 32 chronic ulcers into three groups. In group 1 the ulcers were cleaned, dressed with 1% silver sulfadiazine (SDZ) cream, and treated with placebo phototherapy (<.03 J/cm(-3)) using a Dynatron Solaris 705 phototherapy research device. In group 2 the ulcers were treated similarly but received real phototherapy (3 J/cm(-2)) instead of placebo. In group 3 (controls), the ulcers were simply cleaned and dressed with SDZ without phototherapy. The ulcers were evaluated with digital photography and computer image analysis over 90 d or until full healing was attained. Results: Ulcers treated with phototherapy healed significantly faster than controls when compared at day 30 (p < 0.01), day 60 (p < 0.05), and day 90 (p < 0.001), and similarly healed faster than the placebo-treated ulcers at days 30 and 90 (p < 0.01), but not at day 60. The beneficial effect of phototherapy was more pronounced when the confounding effect of small-sized ulcers was removed from the analysis. Medium- and large-sized ulcers healed significantly faster with treatment (>= 40% rate of healing per month) than placebo or control ulcers (p < 0.05). Conclusion: Phototherapy promotes healing of chronic venous ulcers, particularly large recalcitrant ulcers that do not respond to conventional treatment.

Comparison of multispectral wide-field optical imaging modalities to maximize image contrast for objective discrimination of oral neoplasia

Multispectral widefield optical imaging has the potential to improve early detection of oral cancer. The appropriate selection of illumination and collection conditions is required to maximize diagnostic ability. The goals of this study were to (i) evaluate image contrast between oral cancer/precancer and non-neoplastic mucosa for a variety of imaging modalities and illumination/collection conditions, and (ii) use classification algorithms to evaluate and compare the diagnostic utility of these modalities to discriminate cancers and precancers from normal tissue. Narrowband reflectance, autofluorescence, and polarized reflectance images were obtained from 61 patients and 11 normal volunteers. Image contrast was compared to identify modalities and conditions yielding greatest contrast. Image features were extracted and used to train and evaluate classification algorithms to discriminate tissue as non-neoplastic, dysplastic, or cancer; results were compared to histologic diagnosis. Autofluorescence imaging at 405-nm excitation provided the greatest image contrast, and the ratio of red-to-green fluorescence intensity computed from these images provided the best classification of dysplasia/cancer versus non-neoplastic tissue. A sensitivity of 100% and a specificity of 85% were achieved in the validation set. Multispectral widefield images can accurately distinguish neoplastic and non-neoplastic tissue; however, the ability to separate precancerous lesions from cancers with this technique was limited. (C) 2010 Society of Photo-Optical Instrumentation Engineers. [DOI: 10.1117/1.3516593]

Online Mammographic Images Database for Development and Comparison of CAD Schemes

Considering the difficulties in finding good-quality images for the development and test of computer-aided diagnosis (CAD), this paper presents a public online mammographic images database free for all interested viewers and aimed to help develop and evaluate CAD schemes. The digitalization of the mammographic images is made with suitable contrast and spatial resolution for processing purposes. The broad recuperation system allows the user to search for different images, exams, or patient characteristics. Comparison with other databases currently available has shown that the presented database has a sufficient number of images, is of high quality, and is the only one to include a functional search system.

Ciratefi: An RST-invariant template matching with extension to color images

Template matching is a technique widely used for finding patterns in digital images. A good template matching should be able to detect template instances that have undergone geometric transformations. In this paper, we proposed a grayscale template matching algorithm named Ciratefi, invariant to rotation, scale, translation, brightness and contrast and its extension to color images. We introduce CSSIM (color structural similarity) for comparing the similarity of two color image patches and use it in our algorithm. We also describe a scheme to determine automatically the appropriate parameters of our algorithm and use pyramidal structure to improve the scale invariance. We conducted several experiments to compare grayscale and color Ciratefis with SIFT, C-color-SIFT and EasyMatch algorithms in many different situations. The results attest that grayscale and color Ciratefis are more accurate than the compared algorithms and that color-Ciratefi outperforms grayscale Ciratefi most of the time. However, Ciratefi is slower than the other algorithms.

Animated solid model of the lung constructed from unsynchronized MR sequential images

This work discusses a 4D lung reconstruction method from unsynchronized MR sequential images. The lung, differently from the heart, does not have its own muscles, turning impossible to see its real movements. The visualization of the lung in motion is an actual topic of research in medicine. CT (Computerized Tomography) can obtain spatio-temporal images of the heart by synchronizing with electrocardiographic waves. The FOV of the heart is small when compared to the lung`s FOV. The lung`s movement is not periodic and is susceptible to variations in the degree of respiration. Compared to CT, MR (Magnetic Resonance) imaging involves longer acquisition times and it is not possible to obtain instantaneous 3D images of the lung. For each slice, only one temporal sequence of 2D images can be obtained. However, methods using MR are preferable because they do not involve radiation. In this paper, based on unsynchronized MR images of the lung an animated B-Repsolid model of the lung is created. The 3D animation represents the lung`s motion associated to one selected sequence of MR images. The proposed method can be divided in two parts. First, the lung`s silhouettes moving in time are extracted by detecting the presence of a respiratory pattern on 2D spatio-temporal MR images. This approach enables us to determine the lung`s silhouette for every frame, even on frames with obscure edges. The sequence of extracted lung`s silhouettes are unsynchronized sagittal and coronal silhouettes. Using our algorithm it is possible to reconstruct a 3D lung starting from a silhouette of any type (coronal or sagittal) selected from any instant in time. A wire-frame model of the lung is created by composing coronal and sagittal planar silhouettes representing cross-sections. The silhouette composition is severely underconstrained. Many wire-frame models can be created from the observed sequences of silhouettes in time. Finally, a B-Rep solid model is created using a meshing algorithm. Using the B-Rep solid model the volume in time for the right and left lungs were calculated. It was possible to recognize several characteristics of the 3D real right and left lungs in the shaded model. (C) 2007 Elsevier Ltd. All rights reserved.

3D-Pharmacophore mapping of thymidine-based inhibitors of TMPK as potential antituberculosis agents

Tuberculosis (TB) is the primary cause of mortality among infectious diseases. Mycobacterium tuberculosis monophosphate kinase (TMPKmt) is essential to DNA replication. Thus, this enzyme represents a promising target for developing new drugs against TB. In the present study, the receptor-independent, RI, 4D-QSAR method has been used to develop QSAR models and corresponding 3D-pharmacophores for a set of 81 thymidine analogues, and two corresponding subsets, reported as inhibitors of TMPKmt. The resulting optimized models are not only statistically significant with r (2) ranging from 0.83 to 0.92 and q (2) from 0.78 to 0.88, but also are robustly predictive based on test set predictions. The most and the least potent inhibitors in their respective postulated active conformations, derived from each of the models, were docked in the active site of the TMPKmt crystal structure. There is a solid consistency between the 3D-pharmacophore sites defined by the QSAR models and interactions with binding site residues. Moreover, the QSAR models provide insights regarding a probable mechanism of action of the analogues.