Search results for "electrical"
showing 10 items of 11048 documents
Readability and the Web
2012
Readability indices measure how easy or difficult it is to read and comprehend a text. In this paper we look at the relation between readability indices and web documents from two different perspectives. On the one hand we analyse how to reliably measure the readability of web documents by applying content extraction techniques and incorporating a bias correction. On the other hand we investigate how web based corpus statistics can be used to measure readability in a novel and language independent way.
Progress Checking for Dummies
2018
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…
Extending PluTo for Multiple Devices by Integrating OpenACC
2018
For many years now, processor vendors increased the performance of their devices by adding more cores and wider vectorization units to their CPUs instead of scaling up the processors' clock frequency. Moreover, GPUs became popular for solving problems with even more parallel compute power. To exploit the full potential of modern compute devices, specific codes are necessary which are often coded in a hardware-specific manner. Usually, the codes for CPUs are not usable for GPUs and vice versa. The programming API OpenACC tries to close this gap by enabling one code-base to be suitable and optimized for many devices. Nevertheless, OpenACC is rarely used by `standard programmers' and while dif…
Combining Machine Translated Sentence Chunks from Multiple MT Systems
2018
This paper presents a hybrid machine translation (HMT) system that pursues syntactic analysis to acquire phrases of source sentences, translates the phrases using multiple online machine translation (MT) system application program interfaces (APIs) and generates output by combining translated chunks to obtain the best possible translation. The aim of this study is to improve translation quality of English – Latvian texts over each of the individual MT APIs. The selection of the best translation hypothesis is done by calculating the perplexity for each hypothesis using an n-gram language model. The result is a phrase-based multi-system machine translation system that allows to improve MT out…
Modelling of Systems for Real
2016
Modelling and Programming are often used together in system development. However, typically there is a large difference between the handling of modelling parts and the handling of programming parts. This leads to the fact that the transition between the two is not easy, and important information is lost as well as extra information has to be provided when combining modelling and programming. This paper shows how modelling and programming could work together in system development.
Stop the Deficit: Preparing Pre-service Teachers to Work with Bilingual Students in the United States
2018
This chapter explores the education of bilingual students from an American teacher education perspective. Bilingual students in the United States are often diminished to their student status of “English Language Learner” (ELL). Not only does this ELL designation assume a onesize-fits-all approach to education for and understanding of bilingual children, but the label itself implores a deficit perspective which neither captures nor values bilingual children in the United States. Driven by the goal to model and introduce assets-based pedagogies to our pre-service English as Second Language (ESL) teachers, the main question guiding our work was, as teacher educators, how can we challenge pre-s…
Towards a Data Warehouse Architecture for Managing Big Data Evolution
2018
Eye Movement Analyses for Obtaining Readability Formula for Latvian Texts for Primary School
2017
To determine the difficulty of text, readability formulas can be used. The research was made to find readability formula for Latvian. Readability formulas for English were used as guidelines. The novelty was the use of eye movement tracking during reading to obtain quantitative data that lead to readability formula. Eye fixation durations were gathered during readability measurements. Average values of fixation durations were calculated to characterize texts and readers. 15 texts with various difficulty levels were composed for exposing them to readers. More than 300 children of grades 1 - 4 were participating in measurements. Average values of eye fixation durations of readers from a certa…
Design of new sensitive α,β-unsaturated carbonyl 1,8-naphtalimide fluorescent probes for thiol bioimaging
2017
International audience; We report herein an efficient synthesis of news naphtalimide-based fluorescent derivatives functionalized with an a,(3-unsaturated carbonyl group. Probes were synthesized from reaction of an amino-naphtalimide precursor with maleic anhydride. Photophysical study of fluorescent probes and cells labelling were performed, and showed that the reactive derivatives exhibit rich turn on fluorescence properties in presence of different biological thiol (Glutathione and Cysteine) making these systems a very promising way for thiol bioimaging.