Secure information flow via stripping and fast simulation

Type systems for secure information flow aim to prevent a program from leaking information from H (high) to L (low) variables. Traditionally, bisimulation has been the prevalent technique for proving the soundness of such systems. This work introduces a new proof technique based on stripping and fast simulation, and shows that it can be applied in a number of cases where bisimulation fails. We present a progressive development of this technique over a representative sample of languages including a simple imperative language (core theory), a multiprocessing nondeterministic language, a probabilistic language, and a language with cryptographic primitives. In the core theory we illustrate the key concepts of this technique in a basic setting. A fast low simulation in the context of transition systems is a binary relation where simulating states can match the moves of simulated states while maintaining the equivalence of low variables; stripping is a function that removes high commands from programs. We show that we can prove secure information flow by arguing that the stripping relation is a fast low simulation. We then extend the core theory to an abstract distributed language under a nondeterministic scheduler. Next, we extend to a probabilistic language with a random assignment command; we generalize fast simulation to the setting of discrete time Markov Chains, and prove approximate probabilistic noninterference. Finally, we introduce cryptographic primitives into the probabilistic language and prove computational noninterference, provided that the underling encryption scheme is secure.

Recognizing the Value of Teaching Proverbs: Multicultural Origins of Oral and Written Literacy

The purpose of this paper is to explore the use of multicultural proverbs in interdisciplinary and cross-cultural instruction through the language arts, history and social sciences. Educators can use proverbs to engage students in learning, enhance their understanding of other cultures and languages, and promote a globally-sensitive community.

Differential outcomes of two -way and transitional programs on English language learners at different entry levels

This study investigated the effects of two types of bilingual education programs (two-way and transitional) on the academic performance, attitudes, and metacognitive awareness of 5th grade students who entered kindergarten or first grade with different levels of English proficiency. The multi-stage sample consisted of students who had participated in each program for a period of at least five years. A mixed model design allowed for the collection of quantitative and qualitative data that were analyzed accordingly and integrated. ^ The findings indicated no significant differences between the two groups on measures of academic achievement in English. Significant differences were found in the number of semesters required for the students to become proficient English speakers. An important conclusion, based on these findings, was that the students enrolled in the two-way bilingual education (TWBE) programs learned English faster. Moreover, they maintained a high level of proficiency in Spanish, scoring significantly higher than the transitional bilingual education group on measures of Spanish reading ability.^ Questionnaire and interview data indicated that the students in the two-way bilingual education programs tended to use more Spanish for recreational purposes and tended to rate themselves as more proficient Spanish speakers than their peers. Conversely, the students enrolled in the transitional bilingual education programs tended to rate themselves as more proficient in English than their peers. ^ The level of English language proficiency upon entering school (five years later) was found to make a difference in academic achievement, as measured by standardized tests. Five years of schooling did not fully eliminate the gap in academic performance between students with different ESOL entry levels at kindergarten. However, entry level did not have an effect on attitudes towards bilingualism. ^ It is concluded that, although there was no significant difference between the two groups on measures of academic achievement in English, TWBE and transitional programs have differential effects. Students in the TWBE programs acquired oral language at a faster rate, developed literacy skills in their native language, and acquired more positive attitudes towards bilingualism. Theoretical, methodological, and policy implications of the findings are discussed. ^

Effects of real -time captioning and sign language interpreting on the learning of college students who are deaf or hard of hearing

College personnel are required to provide accommodations for students who are deaf and hard of hearing (D/HoH), but few empirical studies have been conducted on D/HoH students as they learn under the various accommodation conditions (sign language interpreting, SLI, real-time captioning, RTC, and both). Guided by the experiences of students who are D/HoH at Miami-Dade College (MDC) who requested RTC in addition to SLI as accommodations, the researcher adopted Merten’s transformative-emancipatory theoretical framework that values perceptions and voice of students who are D/HoH. A mixed methods design addressed two research questions: Did student learning differ for each accommodation? What did students experience while learning through accommodations? Participants included 30 students who were D/HoH (60% women). They represented MDC’s majority minority population: 10% White (non-Hispanic), 20% Black (non-Hispanic, including Haitian/Caribbean), 67% Hispanic, and 3% other. Hearing loss, ranged from severe-profound (70%) to mild-moderate (30%). All were able to communicate with American Sign Language: Learning was measured while students who were D/HoH viewed three lectures under three accommodation conditions (SLI, RTC, SLI+RTC). The learning measure was defined as the difference in pre- and post-test scores on tests of the content presented in the lectures. Using repeated measure ANOVA and ANCOVA, confounding variables of fluency in American Sign Language and literacy skills were treated as covariates. Perceptions were obtained through interviews and verbal protocol analysis that were signed, videotaped, transcribed, coded, and examined for common themes and metacognitive strategies. No statistically significant differences were found among the three accommodations on the learning measure. Students who were D/HoH expressed thoughts about five different aspects of their learning while they viewed lectures: (a) comprehending the information, (b) feeling a part of the classroom environment, (c) past experiences with an accommodation, (d) individual preferences for an accommodation, (e) suggestions for improving an accommodation. They exhibited three metacognitive strategies: (a) constructing knowledge, (b) monitoring comprehension, and (c) evaluating information. No patterns were found in the types of metacognitive strategies used for any particular accommodation. The researcher offers recommendations for flexible applications of the standard accommodations used with students who are D/HoH.

The relationship between the use of Academic Text Talk and the comprehension of scientific academic language for diverse second graders

Changing demographics impact our schools as children come from more linguistically and culturally diverse backgrounds. The various social, cultural, and economic backgrounds of the students affect their early language learning experiences which expose them to the academic language needed to succeed in school. Teachers can help students acquire academic language by introducing words that are within their Zone of Proximal Development and increasing exposure to and use of academic language. This study investigated the effects of increasing structured activities for students to orally interact with informational text on their scientific academic language development and comprehension of expository text. ^ The Academic Text Talk activities, designed to scaffold verbalization of new words and ideas, included discussion, retelling, games, and sentence walls. This study also evaluated if there were differences in scientific language proficiency and comprehension between boys and girls, and between English language learners and native English speakers. ^ A quasi-experimental design was used to determine the relationship between increasing students' oral practice with academic language and their academic language proficiency. Second graders (n = 91) from an urban public school participated in two science units over an 8 week period and were pre and post tested using the Woodcock Muñoz Language Survey-Revised and vocabulary tests from the National Energy Education Project. Analysis of covariance was performed on the pre to post scores by treatment group to determine differences in academic language proficiency for students taught using Academic Text Talk compared to students taught using a text-centered method, using the initial Florida Assessment for Instruction in Reading test as a covariate. Students taught using Academic Text Talk multimodal strategies showed significantly greater increases in their pre to posttest means on the Woodcock Muñoz Language Survey-Revised Oral Language Totals and National Energy Education Development Project Vocabulary tests than students taught using the text-centered method, ps < .05. Boys did not show significantly greater increases than girls, nor did English language learners show significantly greater increases than the native English speakers. ^ This study informs the field of reading research by evaluating the effectiveness of a multimodal combination of strategies emphasizing discourse to build academic language.^

On Record: Soundscapes as Metaphor and Physical Manifestation of Memory in Early Holocaust Novels and Contemporary Criticism

This thesis compares two perspectives on the production of Holocaust memory: a novel that leads up to The Holocaust in Britain and one that reflects the hindsight perspective of a liberator in the Soviet Union. The novels are Virginia Woolf’s BETWEEN THE ACTS and Vasily Grossman’s LIFE AND FATE. The analysis offers a locus of analysis for the diasporic literary energy created by the catastrophe in the 20th and 21st centuries. The project offers a theorized standpoint on the role of literature on official historical archives. Proposing a method through which contemporary readers can engage the diasporic event of The Holocaust, the project adopts both the extended metaphor and literal expression of soundscapes. Soundscapes encompass the immaterial processes of memorialization and the literal sonic textures developed in Holocaust novels. The critical perspective incorporates contemporary notions of narratology, archival practices, and cultural manifestations of language into the notion of literary ethnomusicology.

Using parent report to assess early lexical production in children exposed to more than one language

Limited expressive vocabulary skills in young children are considered to be the first warning signs of a potential Specific Language Impairment (SLI) (Ellis & Thal, 2008). In bilingual language learning environments, the expressive vocabulary size in each of the child’s developing languages is usually smaller compared to the number of words produced by monolingual peers (e.g. De Houwer, 2009). Nonetheless, evidence shows children’s total productive lexicon size across both languages to be comparable to monolingual peers’ vocabularies (e.g. Pearson et al., 1993; Pearson & Fernandez, 1994). Since there is limited knowledge as to which level of bilingual vocabulary size should be considered as a risk factor for SLI, the effects of bilingualism and language-learning difficulties on early lexical production are often confounded. The compilation of profiles for early vocabulary production in children exposed to more than one language, and their comparison across language pairs, should enable more accurate identification of vocabulary delays that signal a risk for SLI in bilingual populations. These considerations prompted the design of a methodology for assessing early expressive vocabulary in children exposed to more than one language, which is described in the present chapter. The implementation of this methodological framework is then outlined by presenting the design of a study that measured the productive lexicons of children aged 24-36 months who were exposed to different language pairs, namely Maltese and English, Irish and English, Polish and English, French and Portuguese, Turkish and German as well as English and Hebrew. These studies were designed and coordinated in COST Action IS0804 Working Group 3 (WG3) and will be described in detail in a series of subsequent publications. Expressive vocabulary size was measured through parental report, by employing the vocabulary checklist of the MacArthur-Bates Communicative Development Inventory: Words and Sentences (CDI: WS) (Fenson et al., 1993, 2007) and its adaptations to the participants’ languages. Here we describe the novelty of the study’s methodological design, which lies in its attempt to harmonize the use of vocabulary checklist adaptations, together with parental questionnaires addressing language exposure and developmental history, across participant groups characterized by different language exposure variables. This chapter outlines the various methodological considerations that paved the way for meaningful cross-linguistic comparison of the participants’ expressive lexicon sizes. In so doing, it hopes to provide a template for and encourage further research directed at establishing a threshold for SLI risk in children exposed to more than one language.

The many voices of Piedmont: language, identity and alterity in the works of modern and contemporary Piedmontese writers

The aim of this project is to carry out a linguistic analysis of a group of modern and contemporary narratives written by authors from the same Italian region: Piedmont. The novels and short stories examined stand out for the intriguing ways in which they move between a variety of idioms – Italian, Piedmontese dialects, English and pastiches, with some rare excursions into French. A sociolinguistic study and an overview of political changes that Piedmont underwent from the sixteenth to the twenty-first centuries are provided, with the purpose of outlining the region’s sociogeographical and historical background which can be seen to have fostered multilingualism in a group of writers. With the support of linguistic studies and philosophical theories on the relation between identity, alterity and language (such as Edwards’s Language and Identity and Bakhtin’s reflections on language), I then elucidate the presence of diverse linguistic varieties in selected narratives by Cesare Pavese, Beppe Fenoglio, Primo Levi, Nanni Balestrini, Fruttero & Lucentini, Benito Mazzi and Younis Tawfik. In other words, my purpose is to explain the reasons for multilingualism in each writer, as well as to underscore the ideological positions which lie behind the linguistic strategies of the authors. With this study I attempt to fill a gap and cast new light on Piedmontese literature. Although some critical studies on the use of dialect or English exist on individual authors and works (e.g. Meddemmem on Fenoglio’s use of English and Beccaria on Pavese’s inclusion of Piedmontese dialect), and some important contributions to the history of Piedmontese literature have appeared in print, to date no current, systematic study that compares different Piedmontese writers under the language/identity theme has been published. The study concludes with a summary of the evolution of plurilingualism in Piedmont and highlights the common trends in the use of multiple linguistic varieties as tools for both social demarcation and an opening up to alternative, marginalised andforeign cultures.

WAKING (TO) THINKING BEING: A STUDY OF EDUCATION, METAPHYSICS, MIND, AND LANGUAGE

This dissertation articulates the basic aims and achievements of education. It recognizes language as central to thinking, and philosophy and education as belonging profoundly to one another. The first step is to show that although philosophy can no longer claim to dictate the foundations of knowledge or of disciplines of inquiry, it still offers an exceptionally general level of self-understanding. Education is equally general and faces a similar crisis of self-identity, of coming to terms with reality. Language is the medium of thought and the repository of historical mind; so a child’s acquisition of language is her acquisition of rational freedom. This marks a metaphysical change: no longer merely an animal, she comes to exercise her powers of rationality, transcending her environment by seeking and expressing reasons for thinking and doing. She can think about herself in relation to the universe, hence philosophize and educate others in turn. The discussion then turns to the historical nature of language. The thinking already embedded in language always anticipates further questioning. Etymology serves as a model for philosophical understanding, and demonstrates how philosophy can continue to yield insights that are fundamental, but not foundational, to human life. The etymologies of some basic educational concepts disclose education as a leading out and into the midst of Being. The philosophical approach developed in previous chapters applies to the very idea of an educational aim. Discussion concerning the substantiality of educational ideals results in an impasse: one side recommends an open-­ended understanding of education’s aims; the other insists on a definitive account. However, educational ideals exhibit a conceptual duality: the fundamental achievements of education, such as rational freedom, are real; but how we should understand them remains an open question. The penultimate chapter investigates philosophical thinking as the fulfillment of rational freedom, whose creative insights can profoundly transform our everyday activities. That this transformative self-understanding is without end suggests the basic aims of education are unheimlich. The dissertation concludes with speculative reflection on the shape and nature of language, and with the suggestion that through education reality awakens to itself.

THE EFFECT OF PURPOSEFUL MATHEMATICS DISCOURSE IN THE CLASSROOM ON STUDENTS’ MATHEMATICS LANGUAGE IN THE CONTEXT OF PROBLEM SOLVING

This study examines how one secondary school teacher’s use of purposeful oral mathematics language impacted her students’ language use and overall communication in written solutions while working with word problems in a grade nine academic mathematics class. Mathematics is often described as a distinct language. As with all languages, students must develop a sense for oral language before developing social practices such as listening, respecting others ideas, and writing. Effective writing is often seen by students that have strong oral language skills. Classroom observations, teacher and student interviews, and collected student work served as evidence to demonstrate the nature of both the teacher’s and the students’ use of oral mathematical language in the classroom, as well as the effect the discourse and language use had on students’ individual written solutions while working on word problems. Inductive coding for themes revealed that the teacher’s purposeful use of oral mathematical language had a positive impact on students’ written solutions. The teacher’s development of a mathematical discourse community created a space for the students to explore mathematical language and concepts that facilitated a deeper level of conceptual understanding of the learned material. The teacher’s oral language appeared to transfer into students written work albeit not with the same complexity of use of the teacher’s oral expression of the mathematical register. Students that learn mathematical language and concepts better appear to have a growth mindset, feel they have ownership over their learning, use reorganizational strategies, and help develop a discourse community.

Item and task difficulty in a B2 reading examination: perceptions of test-takers and CEFR alignment experts compared with psychometric measurements

The article presents a study of a CEFR B2-level reading subtest that is part of the Slovenian national secondary school leaving examination in English as a foreign language, and compares the test-taker actual performance (objective difficulty) with the test-taker and expert perceptions of item difficulty (subjective difficulty). The study also analyses the test-takers’ comments on item difficulty obtained from a while-reading questionnaire. The results are discussed in the framework of the existing research in the fields of (the assessment of) reading comprehension, and are addressed with regard to their implications for item-writing, FL teaching and curriculum development.

Motivation and Vocabulary Breadth in CLIL and EFL Contexts. Different age, Same Time of Exposure

Numerous studies have found a positive connection between learners’ motivation towards foreign language and foreign language achievement. The present study examines the role of motivation in receptive vocabulary breadth (size) of two groups of Spanish learners of different ages, but all with 734 hours of instruction in English as a Foreign Language (EFL): a CLIL (Content and Language Integrated Learning) group in primary education and a non-CLIL (or EFL) group in secondary education. Most students in both groups were found to be highly motivated. The primary CLIL group slightly overcame the secondary non-CLIL group with respect to the mean general motivation but this is a non-significant difference. The secondary group surpass significantly the primary group in receptive vocabulary size. No relationship between the receptive vocabulary knowledge and general motivation is found in the primary CLIL group. On the other hand, a positive significant connection, although a very small one, is identified for the secondary non-CLIL group. We will discuss on the type of test, the age of students and the type of instruction as variables that could be influencing the results.

Who is in charge? An L2 Discourse Intonation Study on Four Prosodic Parameters to Exert the Pragmatic Function of Dominance and Control in the Context of L2 Non-specialist Public Speaking

This paper reports the findings from a study of the learning of English intonation by Spanish speakers within the discourse mode of L2 oral presentation. The purpose of this experiment is, firstly, to compare four prosodic parameters before and after an L2 discourse intonation training programme and, secondly, to confirm whether subjects, after the aforementioned L2 discourse intonation training, are able to match the form of these four prosodic parameters to the discourse-pragmatic function of dominance and control. The study designed the instructions and tasks to create the oral and written corpora and Brazil’s Pronunciation for Advanced Learners of English was adapted for the pedagogical aims of the present study. The learners’ pre- and post-tasks were acoustically analysed and a pre / post- questionnaire design was applied to interpret the acoustic analysis. Results indicate most of the subjects acquired a wider choice of the four prosodic parameters partly due to the prosodically-annotated transcripts that were developed throughout the L2 discourse intonation course. Conversely, qualitative and quantitative data reveal most subjects failed to match the forms to their appropriate pragmatic functions to express dominance and control in an L2 oral presentation.

Receptive Vocabulary of CLIL and Non-CLIL Primary and Secondary School Learners

CLIL instruction has been reported to be beneficial for foreign language vocabulary learning since CLIL students show higher vocabulary profiles than students of their same age in traditional EFL contexts. However, to our knowledge, the receptive vocabulary knowledge of CLIL and non-CLIL learners at the end of primary and secondary education has not been examined yet. Hence, this study aims at comparing the receptive vocabulary size 79 CLIL primary learners with the receptive vocabulary knowledge of 331 non-CLIL learners at the end of primary and secondary school. Sex-based differences were also analysed. The 2k Vocabulary Levels Test (VLT) was used for the purposes of the study. Results revealed that learners’ receptive vocabulary sizes lie within the most frequent 1000 words, non-CLIL secondary school students throw better results than primary students but the differences between the secondary group and the CLIL group are not statistically significant. As for sex-based differences, we found no significant differences among the groups. These findings led us to believe that the CLIL approach offers a benefit for vocabulary acquisition since CLIL learners have been exposed to the foreign language for a shorter period of time and the results are quite similar to their non-CLIL secondary school partners.

Circular migration and the Internet: The role of social networks in the sociocultural context of Mexican residents in Barcelona

This work focuses on the study of the circular migration between America and Europe, particularly in the discussion about knowledge transfer and the way that social networks reconfigure the form of information distribution among people, that due to labor and academic issues have left their own country. The main purpose of this work is to study the impact of social media use in migration flows between Mexico and Spain, more specifically the use by Mexican migrants who have moved for  multiple years principally for educational purposes and then have returned to their respective locations in Mexico seeking to integrate themselves into the labor market. Our data collection concentrated exclusively on a group created on Facebook by Mexicans who mostly reside in Barcelona, Spain or wish to travel to the city for economic, educational or tourist reasons.  The results of this research show that while social networks are spaces for exchange and integration, there is a clear tendency by this group to "narrow lines" and to look back to their homeland, slowing the process of opening socially in their new context.