A reprodutibilidade da medida do volume endometrial por meio do VOCAL: a importância do passo de rotação

OBJETIVOS: avaliar a reprodutibilidade intra-observador e interobservador da medida do volume endometrial utilizando ultra-sonografia tridimensional (3D) e o programa VOCAL® (Virtual Organ Computer-aided AnaLysis). MÉTODOS: um bloco ultra-sonográfico 3D do endométrio foi obtido de cinco pacientes inférteis voluntárias que apresentavam diferentes volumes endometriais. Para cada bloco 3D, o volume endometrial foi calculado utilizando o modo manual em quatro diferentes passos de rotação (30º, 15º, 9º e 6º) por dois diferentes observadores. Dez medidas foram obtidas para cada rotação e por cada observador. Testamos a diferença entre as médias com o one-way ANOVA e o pós-teste de Tukey e a reprodutibilidade com os coeficientes de correlação intraclasse. RESULTADOS: as medidas realizadas com passo de rotação de 30º foram associadas a médias significativamente menores em 3 das 5 pacientes. Não houve diferença entre as médias obtidas pelos passos de rotação de 15º, 9º ou 6º. Em nenhuma das avaliações foi notada diferença entre as médias obtidas pelos dois observadores. Os coeficientes de correlação intraclasse foram significativamente menores com o passo de rotação de 30º (todos abaixo de 0,984) que com os outros passos de rotação (todos acima de 0,996). CONCLUSÕES: o uso de passos de rotação de 15º ou menos apresentou medidas reprodutíveis do volume endometrial: não houve diferença significativa entre as médias obtidas pelos dois observadores, associado ao alto coeficiente de correlação intraclasse (>0,996). É recomendável o uso do passo de rotação de 15º, pois demora menos para ser obtido em comparação com 6º e 9º.

Volume do embrião estimado pela ultra-sonografia tridimensional entre a sétima e a décima semana de gestação

OBJETIVO: avaliar a evolução do volume do embrião (VE) entre a sétima e a décima semana de gestação por meio da ultra-sonografia tridimensional. MÉTODOS: realizou-se um estudo de corte transversal com 63 gestantes normais entre a sétima e a décima semana. Os exames ultra-sonográficos foram realizados por meio de um transdutor endocavitário volumétrico. Para o cálculo do VE, utilizou-se o método VOCAL (Virtual Organ Computer-aided Analysis) com ângulo de rotação de 12º, com delimitação de 15 planos seqüenciais. Para o VE foram calculadas médias, medianas, desvios padrão e valores máximo e mínimo em todas as idades gestacionais. Para se avaliar a correlação entre o VE e o comprimento cabeça-nádega (CCN) foi criado gráfico de dispersão, sendo o ajuste realizado pelo coeficiente de determinação (R²). Para se determinarem intervalos de referência do VE em função do CCN, utilizou-se a seguinte fórmula: percentil =VE+K versus dp, com K=1,96. RESULTADOS: o CCN variou de 9,0 a 39,7 mm, com média de 23,9 mm (±7,9 mm), enquanto o VE variou de 0,1 a 7,6 cm³, com média de 2,7 cm³ (±3,2 cm³). O VE foi altamente correlacionado com o CCN, sendo que o melhor ajuste foi obtido com regressão quadrática (VE=0,165 - 0,055 x CCN + 0,005 x CCN²; R²=0,853). O VE médio variou de 0,1 (-0,3 a 0,5 cm³) a 6,7 cm³ (3,8 a 9,7 cm³) no intervalo de 9 a 40 mm do CCN. Neste intervalo o VE aumentou 67 vezes, enquanto o CCN aumentou apenas 4,4 vezes. CONCLUSÕES: o VE é um parâmetro mais sensível que o CCN para avaliar o crescimento embrionário entre a sétima e a décima semana de gestação.

A feature-based object-oriented expert system to model and support product design

In this paper a computer program to model and support product design is presented. The product is represented through a hierarchical structure that allows the user to navigate across the product’s components, and it aims at facilitating each step of the detail design process. A graphical interface was also developed, which shows visually to the user the contents of the product structure. Features are used as building blocks for the parts that compose the product, and object-oriented methodology was used as a means to implement the product structure. Finally, an expert system was also implemented, whose knowledge base rules help the user design a product that meets design and manufacturing requirements.

Business intelligence viewpoint on managerial decision-making : Ill-structured problems and decision support systems

Vaikka liiketoimintatiedon hallintaa sekä johdon päätöksentekoa on tutkittu laajasti, näiden kahden käsitteen yhteisvaikutuksesta on olemassa hyvin rajallinen määrä tutkimustietoa. Tulevaisuudessa aiheen tärkeys korostuu, sillä olemassa olevan datan määrä kasvaa jatkuvasti. Yritykset tarvitsevat jatkossa yhä enemmän kyvykkyyksiä sekä resursseja, jotta sekä strukturoitua että strukturoimatonta tietoa voidaan hyödyntää lähteestä riippumatta. Nykyiset Business Intelligence -ratkaisut mahdollistavat tehokkaan liiketoimintatiedon hallinnan osana johdon päätöksentekoa. Aiemman kirjallisuuden pohjalta, tutkimuksen empiirinen osuus tunnistaa liiketoimintatiedon hyödyntämiseen liittyviä tekijöitä, jotka joko tukevat tai rajoittavat johdon päätöksentekoprosessia. Tutkimuksen teoreettinen osuus johdattaa lukijan tutkimusaiheeseen kirjallisuuskatsauksen avulla. Keskeisimmät tutkimukseen liittyvät käsitteet, kuten Business Intelligence ja johdon päätöksenteko, esitetään relevantin kirjallisuuden avulla – tämän lisäksi myös dataan liittyvät käsitteet analysoidaan tarkasti. Tutkimuksen empiirinen osuus rakentuu tutkimusteorian pohjalta. Tutkimuksen empiirisessä osuudessa paneudutaan tutkimusteemoihin käytännön esimerkein: kolmen tapaustutkimuksen avulla tutkitaan sekä kuvataan toisistaan irrallisia tapauksia. Jokainen tapaus kuvataan sekä analysoidaan teoriaan perustuvien väitteiden avulla – nämä väitteet ovat perusedellytyksiä menestyksekkäälle liiketoimintatiedon hyödyntämiseen perustuvalle päätöksenteolle. Tapaustutkimusten avulla alkuperäistä tutkimusongelmaa voidaan analysoida tarkasti huomioiden jo olemassa oleva tutkimustieto. Analyysin tulosten avulla myös yksittäisiä rajoitteita sekä mahdollistavia tekijöitä voidaan analysoida. Tulokset osoittavat, että rajoitteilla on vahvasti negatiivinen vaikutus päätöksentekoprosessin onnistumiseen. Toisaalta yritysjohto on tietoinen liiketoimintatiedon hallintaan liittyvistä positiivisista seurauksista, vaikka kaikkia mahdollisuuksia ei olisikaan hyödynnetty. Tutkimuksen merkittävin tulos esittelee viitekehyksen, jonka puitteissa johdon päätöksentekoprosesseja voidaan arvioida sekä analysoida. Despite the fact that the literature on Business Intelligence and managerial decision-making is extensive, relatively little effort has been made to research the relationship between them. This particular field of study has become important since the amount of data in the world is growing every second. Companies require capabilities and resources in order to utilize structured data and unstructured data from internal and external data sources. However, the present Business Intelligence technologies enable managers to utilize data effectively in decision-making. Based on the prior literature, the empirical part of the thesis identifies the enablers and constraints in computer-aided managerial decision-making process. In this thesis, the theoretical part provides a preliminary understanding about the research area through a literature review. The key concepts such as Business Intelligence and managerial decision-making are explored by reviewing the relevant literature. Additionally, different data sources as well as data forms are analyzed in further detail. All key concepts are taken into account when the empirical part is carried out. The empirical part obtains an understanding of the real world situation when it comes to the themes that were covered in the theoretical part. Three selected case companies are analyzed through those statements, which are considered as critical prerequisites for successful computer-aided managerial decision-making. The case study analysis, which is a part of the empirical part, enables the researcher to examine the relationship between Business Intelligence and managerial decision-making. Based on the findings of the case study analysis, the researcher identifies the enablers and constraints through the case study interviews. The findings indicate that the constraints have a highly negative influence on the decision-making process. In addition, the managers are aware of the positive implications that Business Intelligence has for decision-making, but all possibilities are not yet utilized. As a main result of this study, a data-driven framework for managerial decision-making is introduced. This framework can be used when the managerial decision-making processes are evaluated and analyzed.

Simulation of new p-type pixel strip detector with enhanced multiplication effect

This Master’s Thesis is dedicated to the simulation of new p-type pixel strip detector with enhanced multiplication effect. It is done for high-energy physics experiments upgrade such as Super Large Hadron Collider especially for Compact Muon Solenoid particle track silicon detectors. These detectors are used in very harsh radiation environment and should have good radiation hardness. The device engineering technology for developing more radiation hard particle detectors is used for minimizing the radiation degradation. New detector structure with enhanced multiplication effect is proposed in this work. There are studies of electric field and electric charge distribution of conventional and new p-type detector under reverse voltage bias and irradiation. Finally, the dependence of the anode current from the applied cathode reverse voltage bias under irradiation is obtained in this Thesis. For simulation Silvaco Technology Computer Aided Design software was used. Athena was used for creation of doping profiles and device structures and Atlas was used for getting electrical characteristics of the studied devices. The program codes for this software are represented in Appendixes.

Background for Designing an Improved Digital Musical Keyboard Instrument

Electrical keyboard instruments and computer-aided music-making generally base on the piano keyboard that was developed for a tuning system no longer used. Alternative keyboard layout offers at least easier playing, faster adopting, new ways to play and better ergonomics. This thesis explores the development of keyboard instruments and tunings, and different keyboard layouts. This work is preliminary research for an electrical keyboard instrument to be implemented later on.

Negotiating home and belonging. Young Kurds in Finland

This study looks at negotiation of belonging and understandings of home among a generation of young Kurdish adults who were born in Iraq, Iran, and Turkey and who reached adulthood in Finland. The young Kurds taking part in the study belong to the generation of migrants who moved to Finland in their childhood and early teenage years from the region of Kurdistan and elsewhere in the Middle East, then grew to adulthood in Finland. In theoretical terms, the study draws broadly from three approaches: transnationalism, intersectionality, and narrativity. Transnationalism refers to individuals’ cross-border ties and interaction extending beyond nationstates’ borders. Young people of migrant background, it has been suggested, are raised in a transnational space that entails cross-border contacts, ties, and visits to the societies of departure. How identities and feelings of belonging become formed in relation to the transnational space is approached with an intersectional frame, for examination of individuals’ positionings in terms of their intersecting attributes of gender, age/generation, and ethnicity, among others. Focus on the narrative approach allows untangling how individuals make sense of their place in the social world and how they narrate their belonging in terms of various mechanisms of inclusion and exclusion, including institutional arrangements and discursive categorisation schemes. The empirical data for this qualitative study come from 25 semi-structured thematic interviews that were conducted with 23 young Kurdish adults living in Turku and Helsinki between 2009 and 2011. The interviewees were aged between 19 and 28 years at the time of interviewing. Interview themes involved topics such as school and working life, family relations and language-learning, political activism and citizenship, transnational ties and attachments, belonging and identification, and plans for the future and aspirations. Furthermore, data were collected from observations during political demonstrations and meetings, along with cultural get-togethers. The data were analysed via thematic analysis. The findings from the study suggest that young Kurds express a strong sense of ‘Kurdishness’ that is based partially on knowing the Kurdish language and is informed by a sense of cultural continuity in the diaspora setting. Collective Kurdish identity narratives, particularly related to the consciousness of being a marginalised ‘other’ in the context of the Middle East, are resonant in young interviewees’ narrations of ‘Kurdishness’. Thus, a sense of ‘Kurdishness’ is drawn from lived experiences indexed to a particular politico-historical context of the Kurdish diaspora movements but also from the current situation of Kurdish minorities in the Middle East. On the other hand, young Kurds construct a sense of belonging in terms of the discursive constructions of ‘Finnishness’ and ‘otherness’ in the Finnish context. The racialised boundaries of ‘Finnishness’ are echoed in young Kurds’ narrations and position them as the ‘other’ – namely, the ‘immigrant’, ‘refugee’, or ‘foreigner’ – on the basis of embodied signifiers (specifically, their darker complexions). This study also indicates that young Kurds navigate between gendered expectations and norms at home and outside the home environment. They negotiate their positionings through linguistic repertoires – for instance, through mastery of the Finnish language – and by adjusting their behaviour in light of the context. This suggests that young Kurds adopt various forms of agency to display and enact their belonging in a transnational diaspora space. Young Kurds’ narrations display both territorially-bounded and non-territorially-bounded elements with regard to the relationship between identity and locality. ‘Home’ is located in Finland, and the future and aspirations are planned in relation to it. In contrast, the region of Kurdistan is viewed as ‘homeland’ and as the place of origins and roots, where temporary stays and visits are a possibility. The emotional attachments are forged in relation to the country (Finland) and not so much relative to ‘Finnishness’, which the interviewees considered an exclusionary identity category. Furthermore, identification with one’s immediate place of residence (city) or, in some cases, with a religious identity as ‘Muslim’ provides a more flexible venue for identification than does identifying oneself with the (Finnish) nation.

Training graduate students to be teachers

Pedagogic education of graduate students, when and where it exists, is restricted to theoretical courses or to the participation of the students as teachers' assistants. This model is essentially reproductive and offers few opportunities for any significant curriculum innovation. To open an opportunity for novelty we have introduced a new approach in "Biochemistry Teaching", a course included in the Biochemistry Graduate Program of the Biochemistry Department (Universidade Estadual de Campinas and Universidade de São Paulo). The content of the course consists of a) choosing the theme, b) selecting and organizing the topics, c) preparing written material, d) establishing the methodological strategies, e) planning the evaluation tools and, finally, f) as teachers, conducting the course as an optional summer course for undergraduate students. During the first semester the graduate students establish general and specific educational objectives, select and organize contents, decide on the instructional strategies and plan evaluation tools. The contents are explored using a wide range of strategies, which include computer-aided instruction, laboratory classes, small group teaching, a few lectures and round table discussions. The graduate students also organize printed class notes to be used by the undergraduate students. Finally, as a group, they teach the summer course. In the three versions already developed, the themes chosen were Biochemistry of Exercise (UNICAMP), Biochemistry of Nutrition (UNICAMP) and Molecular Biology of Plants (USP). In all cases the number of registrations greatly exceeded the number of places and a selection had to be made. The evaluation of the experience by both graduate and undergraduate students was very positive. Graduate students considered this experience to be unique and recommended it to their schoolmates; the undergraduate students benefited from a more flexible curriculum (more options) and gave very high scores to both the courses and the teachers.

Legitimacy Building in Public Disclosures on Strategic Energy Investments

Renewable energy investments play a key role in energy transition. While studies have suggested that social acceptance may form a barrier for renewable energy investments, the ways in which companies perceive and attempt to gain the acceptance have received little attention. This study aims to fill the gap by exploring how large electric utilities justify their strategic investments in their press releases and how do the justifications differ between renewable and non-renewable energy investments. The study bases on legitimacy theory and aims at contributing to the research on legitimation in institutional change. As its research method, the study employs an inductive mixed method content analysis. The study has two parts: a qualitative content analysis that explores and identifies the themes and legitimation strategies of the press releases and a quantitative computer-aided analysis that compares renewable and non-renewable energy investments. The sample of the study consists of 396 press releases representing the strategic energy investments of 34 electric utilities from the list of the world’s 250 largest and financially most successful energy companies. The data is collected from the period of 2010–2014. The study reveals that most important justifications for strategic energy investments are fit with the strategy and environmental and social benefits. Justifications address especially the expectations of market. Investments into non-renewable energy are justified more and they use more arguments addressing the proprieties and performance of power plants whereas renewable energy investments are legitimized by references to past actions and commonly accepted morals and norms. The findings support the notion that validity-addressing and propriety-addressing legitimation strategies are used differently in stable and unstable institutional settings.

Trilling race : the political economy of racialised visual-aural encounters

This thesis investigates the matter of race in the context of Finnish language acquisition among adult migrants in Finland. Here matter denotes both the materiality of race and how race comes to matter. Drawing primarily on an auto/ethno/graphic account of learning the Finnish language as a participant in the Finnish for foreigners classes, this thesis problematises the ontology and epistemology of race, i.e., what race is, how it is known, and what an engagement with race entails. Taking cues from the bodily practices of learning the Finnish trill or the rolling r, this study proposes a notion of “trilling race” and argues for an onto-epistemological dis/continuity that marks race’s arrival. The notion of dis/continuity reworks the distinction between continuity and discontinuity, and asks about the how of the arrival of any identity, the where, and the when. In so doing, an analysis of “trilling race” engages with one of the major problematics that has exercised much critical attention, namely: how to read race differently. That is, to rethink the conundrum of the need to counter “representational weight” (Puar 2007, 191) of race on the one hand, and to account for the racialised lived realities on the other. The link between a study of the phenomenon of host country language acquisition and an examination of the question of race is not as obvious as it might seem. For example, what does the argument that the process of language learning is racialised actually imply? Does it mean that race, as a process of racialisation or an ongoing configuration of sets of power relations, exerts force from an outside on the otherwise neutral process of learning the host country language? Or does it mean that race, as an identity category, presents as among the analytical perspectives, along with gender and class for instance, of the phenomenon of host country language acquisition? With these questions in mind, and to foreground the examination of the question of race in the context of Finnish language acquisition among adult migrants, this thesis opens with a discussion of the art installation Finnexia by Lisa Erdman. Finnexia is a fictitious drug said to facilitate Finnish language learning through accelerating the cognitive learning process and reducing the anxiety of speaking the Finnish language. Not only does the Finnexia installation make visible the ways in which the lack of skill in Finnish is fgured as the threshold – a border that separates the inside from the outside – to integration, but also, and importantly, it raises questions about the nature of difference, and the process of differentiation that separates the individual from the social, fact from fiction, nature from culture. These puzzles animate much of the analysis in this dissertation. These concerns continue to be addressed in the rest of part one. Whereas chapter two offers a reconsideration of the ambiguities of ethnisme/ethnicity and race, chapter three dilates on the methodological implications of a conception of the dis/continuity of race. Part two focuses on the matter of race and examines the political economy of visual-aural encounters, whereas part three shifts the focus and rethinks the possibilities and limitations of transforming racialised and normative constraints. Taking up these particular problematics, this thesis as a whole argues that race trills itself: its identity/difference is simultaneously made possible and impossible.

Edistyneen oppijan suomen konstruktiopiirteitä korpusvetoisesti: avainrakenneanalyysi

Ensikielen jälkeen opittavan kielen tutkimusta ja suomi toisena kielenä alaa sen osana ovat koko niiden olemassaolon ajan hallinneet samat peruskysymykset: millaista oppiminen on eri vaiheissa ja eri ympäristöissä, sekä mikä oppimisessa on yleistä ja toisaalta mikä riippuu opittavasta kielestä ja oppijoiden kielitaustasta. Sähköisten oppijankielen tutkimusaineistojen eli korpusten lisääntymisen myötä tutkijat voivat aiempaa helpommin tutkia näitä ilmiöitä määrällisesti ja tarkastella oppijankielen sisäistä vaihtelua ja sen suhdetta tyypilliseen ensikieliseen kielenkäyttöön kielen eri osa-alueilla käyttöpohjaisesti eli todelliseen kielenkäyttöön pohjautuen. Tekninen kehitys on tuonut mukanaan aineisto- eli korpusvetoisuuden kaltaisia uusia tapoja lähestyä tutkimusaineistoa, jolloin tyypillisiä tutkimuskysymyksiä ”Miksi?” ja ”Miten?” edeltää kysymys: ”Mikä?”. Tässä väitöskirjassa tarkastellaan edistyneiden suomenoppijoiden kirjoitettua akateemista kieltä ja suhteutetaan suomen oppimiselle ominaisia seikkoja käyttöpohjaisen mallin perusolettamuksiin. Aineisto on suomea toisena kielenä käyttävien opiskelijoiden tenttivastauksia, ja se on osa Edistyneiden suomenoppijoiden korpusta. Tutkimus on osin metodologinen, sillä väitöskirjassa esitellään ja siinä sovelletaan uutta korpusvetoista avainrakenneanalyysi-menetelmää, jonka avulla aineistoa lähestytään ilman hypoteeseja siitä, mitkä kielen ilmiöt ovat ominaisia edistyneelle oppijansuomelle. Tutkimus kuuluu kieliopin tutkimuksen piiriin, ja se nojaa kognitiivisen konstruktiokieliopin ajatukseen abstraktiudeltaan vaihtelevista konstruktioista kielijärjestelmän perusyksiköinä. Tulokset puoltavat menetelmän sovellettavuutta kielen oppimisen tutkimukseen, sillä sen avulla kyettiin tunnistamaan konstruktioita, jotka erottavat edistyneitä oppijoita ensikielisistä kirjoittajista (esim. modaaliset verbiketjut), eri ensikieliä puhuvia suomenoppijoita (esim. konjunktiot) sekä konstruktioita, joiden käyttö muuttuu ajan kuluessa (esim. preteriti ja preesens). Monet havaitut erot ovat akateemisen kirjoittamisen erityispiirteitä, mikä tukee ajatusta kielen käyttö- ja kontekstikohtaisesta oppimisesta. Tuloksia voidaan yhtäältä soveltaa akateemisen kielitaidon opetuksessa. Toisaalta menetelmää voidaan käyttää kielenoppimisen tutkimuksen ohella uusien näkökulmien kartoittamiseksi erilaisten tai eri-ikäisten tekstien tyypillisten ominaisuuksien ja erojen tutkimuksessa.

Attitudes of second year diploma nurses in three community colleges toward the use of computers in the nursing role /

The effectiveness of various kinds of computer programs is of concern to nurse-educators. Using a 3x3 experimental design, ninety second year diploma student nurses were randomly selected from a total population at three community colleges in Ontario. Data were collected via a 20-item valid and reliable Likert-type questionnaire developed by the nursing profession to measure perceptions of nurses about computers in the nursing role. The groups were pretested and posttested at the beginning and end of one semester. Subjects attending College A group received a computer literacy course which comprised word processing with technology awareness. College B students were exposed to computer-aided instruction primarily in nursing simulations intermittently throughout the semester. College C subjects maintained their regular curriculum with no computer involvement. The student's t-test (two-tailed) was employed to assess the attitude scores data and a one-way analysis of variance was performed on the attitude scores. Posttest analysis revealed that there was a significant difference (p<.05) between attitude scores on the use of computers in the nursing role between College A and C. No significant differences (p>.05) were seen between College B and A in posttesting. Suggestions for continued computer education of diploma student nurses are provided.

ESL students' off-line and on-line texts : differences and similarities /

This study was undertaken to investigate any textual differences and similarities within essays written with a word processing program and an e-mail editor by non-native writers. It arose from many contradictions and a paucity of empirical research within the field of second language learning and electronic technology. To further explore these contradictory observations, 3 classes of intermediate level ESL (English as a Second Language) students v^ote 6 essays, alternating between a word processing program and an e-mail editor. Prior to the data collection, students read brief texts and responded to questions that focused upon three formal topics: immigration, economics, and multiculturalism. Data were examined for (a) the differences in the frequency counts of 12 cohesive devices, (b) sentence complexity, which focused upon the occurrences of simple and complex sentences, (c) the number of words within the writings, (d) the method of contextualization preferred by writers, and (e) any variations in the final grades of the students' texts that resulted from holistic rating. Results of analysis indicated that there were no statistically significant differences in the frequency counts of the linguistic features. Sentence complexity did not vary within the off-line and on-line essays. The average number of words found within the off-line essays was approximately 20% greater than within on-line essays. Contextualization methods were not different within word-processed or e-mailed essays. Finally, there was no difference in the quality of the texts when holistically rated.

Accommodating College ESL Learner Communication Needs: Perceptions, Policies, and Practices

The purpose of this qualitative inquiry was to determine how the Practical Nursing and Pharmacy Technician programs in one southern Ontario community college could more effectively accommodate ESL learners' communication needs. The literature review examined (a) linguistic issues, such as language testing and second-language learning theories, (b) organizational matters, such as ESL curriculum and teacher training, and (c) affective issues, such as motivation for second-language learning, learning styles, and the student-teacher relationship. I gathered perceptual data from the programs' administrators, faculty members, and ESL learners. Eleven participants took part in individual interviews or a focus group session. The results suggest that ESL learners need assistance with discipline-specific vocabulary and cultural nuances. College ESL learners' weak communicative competence, together with misleading acceptance standards for ESL learners and limited support available to faculty members and to students, decrease opportunities for successful completion of the programs. The results point to re-assessment of the college's admission policies and procedures, program evaluation practices that consider the needs of ESL learners, discipline-specific language support, and strategies to enhance the ESL student-teacher relationship. The study highlights theory relating to ESL learners' self-perception and engagement, as well as the importance of including the voice of college ESL learners in educational research. The results suggest that despite ESL learners' perseverance in completing their studies, power imbalances remain. The college has yet to implement organizational strategies such as discipline-specific communications and ESL courses and extended language support that could meet the communication needs of ESL learners in the two programs.

Equational Reasoning about Object-Oriented Programs

Formal verification of software can be an enormous task. This fact brought some software engineers to claim that formal verification is not feasible in practice. One possible method of supporting the verification process is a programming language that provides powerful abstraction mechanisms combined with intensive reuse of code. In this thesis we present a strongly typed functional object-oriented programming language. This language features type operators of arbitrary kind corresponding to so-called type protocols. Sub classing and inheritance is based on higher-order matching, i.e., utilizes type protocols as basic tool for reuse of code. We define the operational and axiomatic semantics of this language formally. The latter is the basis of the interactive proof assistant VOOP (Verified Object-Oriented Programs) that allows the user to prove equational properties of programs interactively.