You searched for subject:(automated methods for correcting ESL mistakes)
.
Showing records 1 – 30 of
50485 total matches.
◁ [1] [2] [3] [4] [5] … [1683] ▶

University of Illinois – Urbana-Champaign
1.
Rozovskaya, Alla.
Automated methods for correcting errors in grammar and usage.
Degree: MS, 0112, 2010, University of Illinois – Urbana-Champaign
URL: http://hdl.handle.net/2142/15967
► Over the last several decades, the number of electronic documents has increased dramatically. With the growing availability of computers, more and more people are using…
(more)
▼ Over the last several decades, the number of electronic documents has increased dramatically. With the growing availability of computers, more and more people are using text editors. However, the development of
automated methods for
correcting mistakes in text has not progressed as far. Text editors usually employ basic spell checking techniques and address very few
mistakes of other types.
In this thesis, we propose two
methods for
correcting errors in grammar and usage. First, we propose a novel approach to the problem of training classifiers to detect and correct errors in text by selectively introducing
mistakes into the training data and show that this method is superior to the traditional method of training using clean data. Second, we define high-level features and propose a method of
correcting mistakes using these features. We combine the two
methods and build a system for
correcting mistakes in article usage made by non-native speakers of English.
Advisors/Committee Members: Roth, Dan (advisor).
Subjects/Keywords: Text correction; Correcting ESL mistakes; Errors in article usage; automated methods for correcting ESL mistakes; annotated ESL corpus; Error statistics; Features for article correction; English as a Second Language (ESL)
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Rozovskaya, A. (2010). Automated methods for correcting errors in grammar and usage. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/15967
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Rozovskaya, Alla. “Automated methods for correcting errors in grammar and usage.” 2010. Thesis, University of Illinois – Urbana-Champaign. Accessed January 19, 2021.
http://hdl.handle.net/2142/15967.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Rozovskaya, Alla. “Automated methods for correcting errors in grammar and usage.” 2010. Web. 19 Jan 2021.
Vancouver:
Rozovskaya A. Automated methods for correcting errors in grammar and usage. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2010. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/2142/15967.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Rozovskaya A. Automated methods for correcting errors in grammar and usage. [Thesis]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/15967
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Illinois – Urbana-Champaign
2.
Rozovskaya, Alla.
Automated methods for text correction.
Degree: PhD, 0301 0301, 2014, University of Illinois – Urbana-Champaign
URL: http://hdl.handle.net/2142/46875
► Development of automatic text correction systems has a long history in natural language processing research. This thesis considers the problem of correcting writing mistakes made…
(more)
▼ Development of automatic text correction systems has a long history in natural language processing research. This thesis considers the problem of
correcting writing
mistakes made by non-native English speakers. We address several types of errors commonly exhibited by non-native English writers – misuse of articles, prepositions, noun number, and verb properties – and build a robust, state-of-the-art system that combines machine learning
methods and linguistic knowledge.
The proposed approach is distinguished from other related work in several respects. First,
several machine learning
methods are compared to determine which
methods are most effective for this problem. Earlier evaluations, because they are based on incomparable data sets, have questionable conclusions. Our results reverse these conclusions and pave the way for the next contribution.
Using the important observation that
mistakes made by non-native writers are systematic, we develop models that utilize knowledge about error regularities with minimal annotation costs. Our approach differs from earlier ones that either built models that had no knowledge about error regularities or required a lot of annotated data.
Next, we develop special strategies for
correcting errors on open-class words. These errors, while being very prevalent among non-native English speakers, are the least studied and are not well-understood linguistically. The challenges that these
mistakes present are addressed in a linguistically-informed approach.
Finally, a novel global approach to error correction is proposed that considers grammatical dependencies among error types and addresses these via joint learning and joint inference. The systems and techniques described in this thesis are evaluated empirically and competitively in the context of several shared tasks, where they have demonstrated superior performance. In particular, our system ranked first in the most prestigious competition in the natural language processing field, the CoNLL-2013 shared task on text correction. Based on the analysis of this system, four design principles that are crucial for building a state-of-the-art error correction system are identified.
Advisors/Committee Members: Roth, Dan (advisor), Cole, Jennifer S. (Committee Chair), Roth, Dan (committee member), Hockenmaier, Julia C. (committee member), Hirst, Graeme (committee member).
Subjects/Keywords: text correction; grammatical error correction; English as a second language (ESL) error correction; automated methods for text correction
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Rozovskaya, A. (2014). Automated methods for text correction. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/46875
Chicago Manual of Style (16th Edition):
Rozovskaya, Alla. “Automated methods for text correction.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed January 19, 2021.
http://hdl.handle.net/2142/46875.
MLA Handbook (7th Edition):
Rozovskaya, Alla. “Automated methods for text correction.” 2014. Web. 19 Jan 2021.
Vancouver:
Rozovskaya A. Automated methods for text correction. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/2142/46875.
Council of Science Editors:
Rozovskaya A. Automated methods for text correction. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/46875

University of Wisconsin – Milwaukee
3.
Alsharif, Alaa Mohammed.
Writing English Sentences More Effectively By Avoiding Arabian Students’ Typical Mistakes.
Degree: MS, Computer Science, 2016, University of Wisconsin – Milwaukee
URL: https://dc.uwm.edu/etd/1108
► In Arabic speaking countries like Saudi Arabia, English is considered as the most important second language to be taught and used. Unfortunately, a sizeable…
(more)
▼ In Arabic speaking countries like Saudi Arabia, English is considered as the most important second language to be taught and used. Unfortunately, a sizeable percentage of students there appear to still have significant difficulty learning English, possibly due to the difficulty in finding sufficiently qualified teachers. This type of problem is self-perpetuating since the taught students might become weak teachers in the future also. This thesis aims to address the problem of helping Arabic students to improve their writing in English and to help them learn so that they will make fewer
mistakes in the future and possibly become better teachers themselves. It focuses on creating
methods to find the most typical
mistakes made by those Arabian students in their writing,
mistakes which were determined by the author from both self-observation and a review of related research findings (The author also saw these
mistakes in the sentences used by subjects who tried pilot versions of the software). The result of this work is usable software that is able to detect, correct, and provide grammatical rules related to the most common
mistakes found in the written sentences of the target Arabian students, when the sentences are in the present tense. These types are errors related to the following rules: (1) letters capitalization rules, (2) adj-noun ordering in the sentence, (3) proper use of the verb to be, (4) punctuation placement rules, (5) the use of the articles “a” and “an” within a sentence, and (6) rules for the possessive case.
The software was evaluated using the author’s observation on the use of the software by 22 Arabian students and by letting them afterwards to complete a usability and usefulness survey. The results of the evaluation suggest that Arabs will mostly like how the software treats punctuation placing errors. Students also advised the author that it would be beneficial for the software to address a broader range of typical
mistakes.
This work is the first to create software specifically for Arabic students of English to help them to find their grammatical errors, provide suggested correction, and teach the student the grammatical rules needed to correct his/her sentence.
Advisors/Committee Members: Susan McRoy.
Subjects/Keywords: Arabian Typical Mistakes; Grammar Checking for Arabian Students; Learning English for Arabs; Computer Sciences; Linguistics
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Alsharif, A. M. (2016). Writing English Sentences More Effectively By Avoiding Arabian Students’ Typical Mistakes. (Thesis). University of Wisconsin – Milwaukee. Retrieved from https://dc.uwm.edu/etd/1108
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Alsharif, Alaa Mohammed. “Writing English Sentences More Effectively By Avoiding Arabian Students’ Typical Mistakes.” 2016. Thesis, University of Wisconsin – Milwaukee. Accessed January 19, 2021.
https://dc.uwm.edu/etd/1108.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Alsharif, Alaa Mohammed. “Writing English Sentences More Effectively By Avoiding Arabian Students’ Typical Mistakes.” 2016. Web. 19 Jan 2021.
Vancouver:
Alsharif AM. Writing English Sentences More Effectively By Avoiding Arabian Students’ Typical Mistakes. [Internet] [Thesis]. University of Wisconsin – Milwaukee; 2016. [cited 2021 Jan 19].
Available from: https://dc.uwm.edu/etd/1108.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Alsharif AM. Writing English Sentences More Effectively By Avoiding Arabian Students’ Typical Mistakes. [Thesis]. University of Wisconsin – Milwaukee; 2016. Available from: https://dc.uwm.edu/etd/1108
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Technology, Sydney
4.
Masood, Ammara.
Developing improved algorithms for detection and analysis of skin cancer.
Degree: 2016, University of Technology, Sydney
URL: http://hdl.handle.net/10453/52931
► Malignant melanoma is one of the deadliest forms of skin cancer and number of cases showed rapid increase in Europe, America, and Australia over the…
(more)
▼ Malignant melanoma is one of the deadliest forms of skin cancer and number of cases showed rapid increase in Europe, America, and Australia over the last few decades. Australia has one of the highest rates of skin cancer in the world, at nearly four times the rates in Canada, the US and the UK. Cancer treatment costs constitute more 7.2% of health system costs. However, a recovery rate of around 95% can be achieved if melanoma is detected at an early stage. Early diagnosis is obviously dependent upon accurate assessment by a medical practitioner. The variations of diagnosis are sufficiency large and there is a lack of detail of the test methods. This thesis investigates the methods for automated analysis of skin images to develop improved algorithms and to extend the functionality of the existing methods used in various stages of the automated diagnostic system. This in the long run can provide an alternative basis for researchers to experiment new and existing methodologies for skin cancer detection and diagnosis to help the medical practitioners.
The objective is to have a detailed investigation for the requirements of automated skin cancer diagnostic systems, improve and develop relevant segmentation, feature selection and classification methods to deal with complex structures present in both dermoscopic/digital images and histopathological images.
During the course of this thesis, several algorithms were developed. These algorithms were used in skin cancer diagnosis studies and some of them can also be applied in wider machine learning areas. The most important contributions of this thesis can be summarized as below:
- Developing new segmentation algorithms designed specifically for skin cancer images including digital images of lesions and histopathalogical images with attention to their respective properties. The proposed algorithm uses a two-stage approach. Initially coarse segmentation of lesion area is done based on histogram analysis based orientation sensitive fuzzy C Mean clustering algorithm. The result of stage 1 is used for the initialization of a level set based algorithm developed for detecting finer differentiating details. The proposed algorithms achieved true detection rate of around 93% for external skin lesion images and around 88% for histopathological images.
- Developing adaptive differential evolution based feature selection and parameter optimization algorithm. The proposed method is aimed to come up with an efficient approach to provide good accuracy for the skin cancer detection, while taking care of number of features and parameter tuning of feature selection and classification algorithm, as they all play important role in the overall analysis phase. The proposed method was also tested on 10 standard datasets for different kind of cancers and results shows improved performance for all the datasets compared to various state-of the art methods.
- Proposing a parallelized knowledge based learning model which can make better use of the differentiating features along with increasing the…
Subjects/Keywords: Malignant melanoma.; Skin cancer diagnostic systems.; Methods for automated analysis.; Dermoscopic/digital and histopathological images.; Improved algorithms.; Image analysis applications.
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Masood, A. (2016). Developing improved algorithms for detection and analysis of skin cancer. (Thesis). University of Technology, Sydney. Retrieved from http://hdl.handle.net/10453/52931
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Masood, Ammara. “Developing improved algorithms for detection and analysis of skin cancer.” 2016. Thesis, University of Technology, Sydney. Accessed January 19, 2021.
http://hdl.handle.net/10453/52931.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Masood, Ammara. “Developing improved algorithms for detection and analysis of skin cancer.” 2016. Web. 19 Jan 2021.
Vancouver:
Masood A. Developing improved algorithms for detection and analysis of skin cancer. [Internet] [Thesis]. University of Technology, Sydney; 2016. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/10453/52931.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Masood A. Developing improved algorithms for detection and analysis of skin cancer. [Thesis]. University of Technology, Sydney; 2016. Available from: http://hdl.handle.net/10453/52931
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
5.
Rodgers, Kristen M.
Teaching English As a Second Language Students Literacy: a Comprehensive Literacy Model for Monolingual Educators.
Degree: 2009, Regis University
URL: http://epublications.regis.edu/theses/45
► This research project, utilizing both primary and secondary sources, provides teachers with effective methods and activities to develop literacy in a monolingual classroom for English…
(more)
▼ This research project, utilizing both primary and secondary sources, provides teachers with effective
methods and activities to develop literacy in a monolingual classroom for English as a second language (
ESL) students. The literacy
methods and activities within this research project are broken into the five components of reading (phonemic awareness, phonics, vocabulary, fluency, and comprehension) and writing. The conclusion of this research project provides teachers with the necessary steps to enhance literacy instruction for
ESL students.
Advisors/Committee Members: Foster, Sandra.
Subjects/Keywords: Education; literacy development; monolingual classroom; ESL students; teaching methods; Regis University MED thesis; College for Professional Studies; Master of Education; School of Education and Counseling
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Rodgers, K. M. (2009). Teaching English As a Second Language Students Literacy: a Comprehensive Literacy Model for Monolingual Educators. (Thesis). Regis University. Retrieved from http://epublications.regis.edu/theses/45
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Rodgers, Kristen M. “Teaching English As a Second Language Students Literacy: a Comprehensive Literacy Model for Monolingual Educators.” 2009. Thesis, Regis University. Accessed January 19, 2021.
http://epublications.regis.edu/theses/45.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Rodgers, Kristen M. “Teaching English As a Second Language Students Literacy: a Comprehensive Literacy Model for Monolingual Educators.” 2009. Web. 19 Jan 2021.
Vancouver:
Rodgers KM. Teaching English As a Second Language Students Literacy: a Comprehensive Literacy Model for Monolingual Educators. [Internet] [Thesis]. Regis University; 2009. [cited 2021 Jan 19].
Available from: http://epublications.regis.edu/theses/45.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Rodgers KM. Teaching English As a Second Language Students Literacy: a Comprehensive Literacy Model for Monolingual Educators. [Thesis]. Regis University; 2009. Available from: http://epublications.regis.edu/theses/45
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
6.
Radujko, Sanja.
Varnost pacientov skozi pogled zdravstvenega delavca.
Degree: 2019, Univerza v Mariboru
URL: https://dk.um.si/IzpisGradiva.php?id=75350
;
https://dk.um.si/Dokument.php?id=139193&dn=
;
https://plus.si.cobiss.net/opac7/bib/8149523?lang=sl
► Zdravstvena dejavnost je področje z visokim tveganjem zaradi neželenih dogodkov, ki nastanejo kot posledica procesa zdravljenja in ne bolezni. Ugotoviti smo želeli stanje na področju…
(more)
▼ Zdravstvena dejavnost je področje z visokim tveganjem zaradi neželenih dogodkov, ki nastanejo kot posledica procesa zdravljenja in ne bolezni. Ugotoviti smo želeli stanje na področju varnosti pacientov skozi poglede zdravstvenih delavcev v zdravstveni negi in njihovo videnje le-tega v okviru timskega dela, komunikacije, pogostosti nastanka in sporočanja napak, odnosa med nadrejenimi in podrejenimi in ne nazadnje odgovornosti do pacientov.
Raziskava temelji na kvantitativni metodi dela. Izvedena je bila v dveh slovenskih bolnišnicah. Podatki so bili zbrani s strukturiranim AHRQ-vprašalnikom in lastnim delom vprašalnika. Vzorec je sestavljalo nekaj manj kot 400 medicinskih sester različne stopnje izobrazbe.
Večina respondentov vidi vzrok za ogrožanje varnosti pacientov v sistemu dela in ne v zdravstvenem osebju. Dobra četrtina anketiranih zdravstvenih delavcev je navedla, da je že kdaj naredila napako v škodo pacientu, kar so tudi priznali in zaradi tega bili šikanirani. Velika večina anketiranih zdarvstvenih delavcev meni, da je storjenih več napak, kot se jih dejansko prizna.
Kultura varnosti pacientov je kompleksen pojav, ki ne nastane čez noč, a moramo ozavestiti dejstvo, da lahko preprečimo marsikatero zdravstveno napako. Ugotovili smo, da je stanje varnosti pacientov ocenjeno s povprečno oceno 3,6, kar je nekje med sprejemljivo in zelo dobro, kar pa ne pomeni, da ne moremo stremeti k še boljšemu rezultatu.
A health care is a high-risk area due to adverse events resulting from the healing process rather than the disease itself. The purpose of this master thesis is to examine the area of patient safety from the perspective of the healthcare professionals by means of the following elements: teamwork, communication, frequency of occurrence and reporting of errors, relationship between superiors and subordinates as well as responsibility to patients.
The study uses quantitative research methods to collect and analyze the data. It was performed in the two slovenian hospital. Data were collected through a structured AHRQ questionnaire and through personally developed part of the questionnaire. The sample consisted of just under 400 nurses of varying degrees.
The majority of the respondents consider the cause for patient safety in the work system rather than in the healthcare staff. More than a quarter of the surveyed health workers stated that they had ever made a mistake to the detriment of the patient, which they also admitted and were because of that slightly more chicaned.The vast majority of health professionals believe that more mistakes are made than are actually acknowledged.
A patient safety culture is a complex phenomenon that does not occur overnight, but we need to be aware of the fact that we can prevent many health errors. We have found that the patient's safety status is rated at an average score of 3.6, which is somewhere between acceptable and very good
nevertheless this does not mean that we cannot strive for a better result.
Advisors/Committee Members: Maletič, Matjaž.
Subjects/Keywords: Varnost pacientov; odgovornost za napake; kakovost v zdravstvu; napake v zdravstvu; poročanje o varnostnih zapletih; Patient safety; liability for mistakes; quality in healthcare; mistakes in healthcare; reporting of security incidents
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Radujko, S. (2019). Varnost pacientov skozi pogled zdravstvenega delavca. (Masters Thesis). Univerza v Mariboru. Retrieved from https://dk.um.si/IzpisGradiva.php?id=75350 ; https://dk.um.si/Dokument.php?id=139193&dn= ; https://plus.si.cobiss.net/opac7/bib/8149523?lang=sl
Chicago Manual of Style (16th Edition):
Radujko, Sanja. “Varnost pacientov skozi pogled zdravstvenega delavca.” 2019. Masters Thesis, Univerza v Mariboru. Accessed January 19, 2021.
https://dk.um.si/IzpisGradiva.php?id=75350 ; https://dk.um.si/Dokument.php?id=139193&dn= ; https://plus.si.cobiss.net/opac7/bib/8149523?lang=sl.
MLA Handbook (7th Edition):
Radujko, Sanja. “Varnost pacientov skozi pogled zdravstvenega delavca.” 2019. Web. 19 Jan 2021.
Vancouver:
Radujko S. Varnost pacientov skozi pogled zdravstvenega delavca. [Internet] [Masters thesis]. Univerza v Mariboru; 2019. [cited 2021 Jan 19].
Available from: https://dk.um.si/IzpisGradiva.php?id=75350 ; https://dk.um.si/Dokument.php?id=139193&dn= ; https://plus.si.cobiss.net/opac7/bib/8149523?lang=sl.
Council of Science Editors:
Radujko S. Varnost pacientov skozi pogled zdravstvenega delavca. [Masters Thesis]. Univerza v Mariboru; 2019. Available from: https://dk.um.si/IzpisGradiva.php?id=75350 ; https://dk.um.si/Dokument.php?id=139193&dn= ; https://plus.si.cobiss.net/opac7/bib/8149523?lang=sl

University of Minnesota
7.
Hesse, Anton.
Examining the Respiratory Compensation Point with Automated Methods in Recreational Runners Training for a Marathon.
Degree: MS, Kinesiology, 2019, University of Minnesota
URL: http://hdl.handle.net/11299/206173
► Background: The respiratory compensation point (RC) approximates the lowest intensity of unsustainably difficult exercise, making it an important measure for endurance athletes. Thus, accurate determination…
(more)
▼ Background: The respiratory compensation point (RC) approximates the lowest intensity of unsustainably difficult exercise, making it an important measure for endurance athletes. Thus, accurate determination of RC is important to athletes. There are many methods to determine RC, but few large studies to date have compared multiple automated methods. Previous studies have shown that rates of detection of RC (i.e. determinate cases) vary. The purpose of this study was to compare four common methods used to detect RC: Jones-Molitoris (JM), Orr, Beaver’s V-slope (Beaver), and the Dmax method. Methods: Recreationally active college students (n = 131, 45 males, 86 females) completed 2-mile time trials and graded exercise tests both before and after training for a marathon. The four methods were used to detect RC (as a % of VO2max) from the VE vs. VCO2 slope. The number of determinate RC cases were recorded for each method at pre and at post. Determinate counts of RC were expressed as a percentage, were compared pre to post with Fisher’s exact tests, and were simulated with bootstrap resampling. Average differences between methods were compare using a linear mixed effects model (LMEM) with data from participants who displayed RC at both pre and post testing for at least one of the four methods. Comparisons between methods and with 2-mile performance were also compared by correlations and with limits of agreement (LOA) plots. Results: The order of determinate rates from highest to lowest was JM, Dmax, Orr, and Beaver. Fisher’s exact tests produced odds ratios significantly higher than 1 for all but Beaver. Histograms of bootstrap resampling showed large overlap for all but the Beaver method. LMEM analysis showed that JM predicted significantly higher RC than Beaver and Dmax, but not Orr. All methods were significantly correlated with one another at both timepoints. LOA were wide. Conclusions: Beaver detects RC more infrequently than other methods. It is unknown if the higher %VO2max at RC predicted by JM is an overestimate. Although all methods highly and significantly correlate to one another, they have wide LOA. A better automated method may combine the results of several methods.
Subjects/Keywords: Automated Methods; Marathon; Respiratory Compensation; Ventilatory Threshold
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Hesse, A. (2019). Examining the Respiratory Compensation Point with Automated Methods in Recreational Runners Training for a Marathon. (Masters Thesis). University of Minnesota. Retrieved from http://hdl.handle.net/11299/206173
Chicago Manual of Style (16th Edition):
Hesse, Anton. “Examining the Respiratory Compensation Point with Automated Methods in Recreational Runners Training for a Marathon.” 2019. Masters Thesis, University of Minnesota. Accessed January 19, 2021.
http://hdl.handle.net/11299/206173.
MLA Handbook (7th Edition):
Hesse, Anton. “Examining the Respiratory Compensation Point with Automated Methods in Recreational Runners Training for a Marathon.” 2019. Web. 19 Jan 2021.
Vancouver:
Hesse A. Examining the Respiratory Compensation Point with Automated Methods in Recreational Runners Training for a Marathon. [Internet] [Masters thesis]. University of Minnesota; 2019. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/11299/206173.
Council of Science Editors:
Hesse A. Examining the Respiratory Compensation Point with Automated Methods in Recreational Runners Training for a Marathon. [Masters Thesis]. University of Minnesota; 2019. Available from: http://hdl.handle.net/11299/206173

University of Texas – Austin
8.
Yang, Hongkun.
Efficient verification of packet networks.
Degree: PhD, Computer science, 2015, University of Texas – Austin
URL: http://hdl.handle.net/2152/33271
► Network management will benefit from automated tools based upon formal methods. In these tools, the algorithm for computing reachability is the core algorithm for verifying…
(more)
▼ Network management will benefit from
automated tools based upon formal
methods. In these tools, the algorithm for computing reachability is the core algorithm for verifying network properties in the data plane. This dissertation presents efficient algorithms for computing reachability and verifying network properties for a single network with both packet filters and transformers, and for interconnected networks.
For computing port to port reachability in a network, we present a new formal method for a new tool, Atomic Predicates (AP) Verifier, which is much more time and space efficient than existing tools. Given a set of predicates representing packet filters, AP Verifier computes a set of atomic predicates, which is minimum and unique. The use of atomic predicates dramatically speeds up computation of network reachability. AP Verifier also includes algorithms to process network update events and check compliance with network policies and properties in real time.
Packet transformers are widely used in Internet service provider networks, datacenter infrastructures, and layer-2 networks. Existing network verification tools do not scale to such networks with large numbers of different transformers. We present a new tool, AP+ Verifier, based upon a new algorithm for computing atomic predicates for networks with both packet filters and transformers. For performance evaluation, we use network datasets with different types of transformers (i.e., MPLS tunnels, IP-in-IP tunnels, and NATs). We found that AP+ Verifier is more time and space efficient than prior tools by orders of magnitude.
The Internet consists a large collection of networks. To debug reachability problems, a network operator often asks operators of other networks for help by telephone or email. We present a new protocol, COVE, and an efficient data structure for automating the exchange of data plane reachability information between networks in a business relationship. COVE is designed to improve a network's views of forward and reverse reachability with partial deployment in mind. COVE is scalable to very large networks in the Internet. We illustrate applications of COVE to perform useful network management tasks, which cannot be done effectively using existing
methods and tools.
Advisors/Committee Members: Lam, Simon S., 1947- (advisor), Emerson, Ernest A. (committee member), Garg, Vijay K. (committee member), Gouda, Mohamed G. (committee member), Mok, Aloysius K. (committee member).
Subjects/Keywords: Network verification; Formal methods; Automated tools
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Yang, H. (2015). Efficient verification of packet networks. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/33271
Chicago Manual of Style (16th Edition):
Yang, Hongkun. “Efficient verification of packet networks.” 2015. Doctoral Dissertation, University of Texas – Austin. Accessed January 19, 2021.
http://hdl.handle.net/2152/33271.
MLA Handbook (7th Edition):
Yang, Hongkun. “Efficient verification of packet networks.” 2015. Web. 19 Jan 2021.
Vancouver:
Yang H. Efficient verification of packet networks. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2015. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/2152/33271.
Council of Science Editors:
Yang H. Efficient verification of packet networks. [Doctoral Dissertation]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/33271
9.
Selega, Alina.
Computational methods for RNA integrative biology.
Degree: PhD, 2018, University of Edinburgh
URL: http://hdl.handle.net/1842/29630
► Ribonucleic acid (RNA) is an essential molecule, which carries out a wide variety of functions within the cell, from its crucial involvement in protein synthesis…
(more)
▼ Ribonucleic acid (RNA) is an essential molecule, which carries out a wide variety of functions within the cell, from its crucial involvement in protein synthesis to catalysing biochemical reactions and regulating gene expression. Such diverse functional repertoire is indebted to complex structures that RNA can adopt and its flexibility as an interacting molecule. It has become possible to experimentally measure these two crucial aspects of RNA regulatory role with such technological advancements as next-generation sequencing (NGS). NGS methods can rapidly obtain the nucleotide sequence of many molecules in parallel. Designing experiments, where only the desired parts of the molecule (or specific parts of the transcriptome) are sequenced, allows to study various aspects of RNA biology. Analysis of NGS data is insurmountable without computational methods. One such experimental method is RNA structure probing, which aims to infer RNA structure from sequencing chemically altered transcripts. RNA structure probing data is inherently noisy, affected both by technological biases and the stochasticity of the underlying process. Most existing methods do not adequately address the issue of noise, resorting to heuristics and limiting the informativeness of their output. In this thesis, a statistical pipeline was developed for modelling RNA structure probing data, which explicitly captures biological variability, provides automated bias-correcting strategies, and generates a probabilistic output based on experimental measurements. The output of our method agrees with known RNA structures, can be used to constrain structure prediction algorithms, and remains robust to reduced sequence coverage, thereby increasing sensitivity of the technology. Another recent experimental innovation maps RNA-protein interactions at very high temporal resolution, making it possible to study rapid binding events happening on a minute time scale. In this thesis, a non-parametric algorithm was developed for identifying significant changes in RNA-protein binding time-series between different conditions. The method was applied to novel yeast RNA-protein binding time-course data to study the role of RNA degradation in stress response. It revealed pervasive changes in the binding to the transcriptome of the yeast transcription termination factor Nab3 and the cytoplasmic exoribonuclease Xrn1 under nutrient stress. This challenged the common assumption of viewing transcriptional changes as the major driver of changes in RNA expression during stress and highlighted the importance of degradation. These findings inspired a dynamical model for RNA expression, where transcription and degradation rates are modelled using RNA-protein binding time-series data.
Subjects/Keywords: 572.8; RNA; next-generation sequencing; NGS; RNA structure probing; automated bias-correcting strategies; structure prediction algorithms; modelling
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Selega, A. (2018). Computational methods for RNA integrative biology. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/29630
Chicago Manual of Style (16th Edition):
Selega, Alina. “Computational methods for RNA integrative biology.” 2018. Doctoral Dissertation, University of Edinburgh. Accessed January 19, 2021.
http://hdl.handle.net/1842/29630.
MLA Handbook (7th Edition):
Selega, Alina. “Computational methods for RNA integrative biology.” 2018. Web. 19 Jan 2021.
Vancouver:
Selega A. Computational methods for RNA integrative biology. [Internet] [Doctoral dissertation]. University of Edinburgh; 2018. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/1842/29630.
Council of Science Editors:
Selega A. Computational methods for RNA integrative biology. [Doctoral Dissertation]. University of Edinburgh; 2018. Available from: http://hdl.handle.net/1842/29630

NSYSU
10.
Wen, Chia-Sheng.
Table Based Design for Function Evaluation and Error Correcting Codes.
Degree: PhD, Computer Science and Engineering, 2012, NSYSU
URL: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0723112-012802
► Lookup-table (LUT)-based method is a common approach used in all kinds of research topics. In this dissertation, we present several new designs for table-based function…
(more)
▼ Lookup-table (LUT)-based method is a common approach used in all kinds of research topics. In this dissertation, we present several new designs for table-based function evaluation and table-based error
correcting coding. In Chapter 3, a new function evaluation method, called two-level approximation, is presented where piecewise degree-one polynomials are used for initial approximation in the first level, followed by the refined approximation for the shared normalized difference functions in the second level. In Chapter 4, we present a new non-uniform segmentation method that searches for the optimal segmentation scheme with the different design goals of minimizing either ROM, total area, or delay. In Chapter 5, a new design methodology for table-based function evaluation is presented. Unlike previous approaches that usually determine the bit widths by assigning allowable errors for individual hardware components, the total error budget of our new design is considered jointly in order to optimized the bit widths of all the hardware components, leading to significant improvements in both area and delay. Finally, in Chapter 6, the similar table-based concept is used in the design of error
correcting encoder using the modified polynomial of the Lagrange interpolation formula, resulting in smaller critical path delay and lower power consumption.
Advisors/Committee Members: Shen-Fu Hsiao (committee member), Bin-Da Liu (chair), Pei-Yung Hsiao (chair), Tso-Bing Juang (chair), Yan-Haw Chen (committee member), Trieu-Kien Truong (chair).
Subjects/Keywords: function evaluation; piecewise polynomial approximation; Reed-Solomon code; table-based methods; error correcting coding
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Wen, C. (2012). Table Based Design for Function Evaluation and Error Correcting Codes. (Doctoral Dissertation). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0723112-012802
Chicago Manual of Style (16th Edition):
Wen, Chia-Sheng. “Table Based Design for Function Evaluation and Error Correcting Codes.” 2012. Doctoral Dissertation, NSYSU. Accessed January 19, 2021.
http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0723112-012802.
MLA Handbook (7th Edition):
Wen, Chia-Sheng. “Table Based Design for Function Evaluation and Error Correcting Codes.” 2012. Web. 19 Jan 2021.
Vancouver:
Wen C. Table Based Design for Function Evaluation and Error Correcting Codes. [Internet] [Doctoral dissertation]. NSYSU; 2012. [cited 2021 Jan 19].
Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0723112-012802.
Council of Science Editors:
Wen C. Table Based Design for Function Evaluation and Error Correcting Codes. [Doctoral Dissertation]. NSYSU; 2012. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0723112-012802

University of Minnesota
11.
Jindeel, Maz.
I just don’t get it: Common Security Misconceptions.
Degree: MS, Computer Science, 2019, University of Minnesota
URL: http://hdl.handle.net/11299/206168
► Many security mistakes are made because of some underlying misconception about computer security. These misconceptions can be remedied by developing curricula targeting them, but they…
(more)
▼ Many security mistakes are made because of some underlying misconception about computer security. These misconceptions can be remedied by developing curricula targeting them, but they must first be identified. This paper outlines our process for identifying common security misconceptions by surveying experts and coding their responses and the results of that process. We also present open-ended questions which are preliminary version of a computer security concept inventory based on these misconceptions.
Subjects/Keywords: misconceptions; mistakes; security
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Jindeel, M. (2019). I just don’t get it: Common Security Misconceptions. (Masters Thesis). University of Minnesota. Retrieved from http://hdl.handle.net/11299/206168
Chicago Manual of Style (16th Edition):
Jindeel, Maz. “I just don’t get it: Common Security Misconceptions.” 2019. Masters Thesis, University of Minnesota. Accessed January 19, 2021.
http://hdl.handle.net/11299/206168.
MLA Handbook (7th Edition):
Jindeel, Maz. “I just don’t get it: Common Security Misconceptions.” 2019. Web. 19 Jan 2021.
Vancouver:
Jindeel M. I just don’t get it: Common Security Misconceptions. [Internet] [Masters thesis]. University of Minnesota; 2019. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/11299/206168.
Council of Science Editors:
Jindeel M. I just don’t get it: Common Security Misconceptions. [Masters Thesis]. University of Minnesota; 2019. Available from: http://hdl.handle.net/11299/206168

Cranfield University
12.
Astwood, Simon.
Design for automated manufacture of composite structures.
Degree: PhD, 2017, Cranfield University
URL: http://dspace.lib.cranfield.ac.uk/handle/1826/14323
;
https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783258
► New trends in manufacturing highlight the growing use of composite materials to produce lightweight, high performance structures. This requires the design stage to account for…
(more)
▼ New trends in manufacturing highlight the growing use of composite materials to produce lightweight, high performance structures. This requires the design stage to account for complex manufacturing constraints, and as industry begins to move towards automated manufacturing of composites, the more complex manufacturing constraints can introduce severe limitations to the design space, reducing the opportunity for designers to optimise a product. To address these limitations, this research proposes strategies for implementing design for manufacture specifically accounting for automated manufacture of composite structures. As a composite design develops, more detail is added, increasing the design fidelity. Typically design for manufacturing practices are only applied when the design fidelity is detailed enough to see individual plies. However, by implementing design for manufacturing practice at earlier stages of the design, when the design fidelity is low and design change is easy to implement, the greatest performance and manufacturing gains can be achieved. This research aims to develop a design process that uses digital technology to facilitate design for automated manufacture for composite structures. This research uses a systematic approach to create a generic design process and supporting tools, capable of identifying the key manufacturing constraints, and accounting for them at the earliest possible stages of the design. The proposed design process uses a strategy to apply design for manufacture using digital tools, and identifies actions required to enable automated composite manufacturing. The development of the design process is guided by the capture of the current industrial design practices. The proposed process is validated through the design and manufacture of an industrial demonstration structure, produced using an automated composite manufacturing process. The results from validation confirm the hypothesis that it is possible to have a generic design process to support the design for automated manufacturing of composites components.
Subjects/Keywords: Design for manufacture; automated composite manufacture; automated deposition; DFM; FMEA; carbon fibre; design lifecycle
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Astwood, S. (2017). Design for automated manufacture of composite structures. (Doctoral Dissertation). Cranfield University. Retrieved from http://dspace.lib.cranfield.ac.uk/handle/1826/14323 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783258
Chicago Manual of Style (16th Edition):
Astwood, Simon. “Design for automated manufacture of composite structures.” 2017. Doctoral Dissertation, Cranfield University. Accessed January 19, 2021.
http://dspace.lib.cranfield.ac.uk/handle/1826/14323 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783258.
MLA Handbook (7th Edition):
Astwood, Simon. “Design for automated manufacture of composite structures.” 2017. Web. 19 Jan 2021.
Vancouver:
Astwood S. Design for automated manufacture of composite structures. [Internet] [Doctoral dissertation]. Cranfield University; 2017. [cited 2021 Jan 19].
Available from: http://dspace.lib.cranfield.ac.uk/handle/1826/14323 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783258.
Council of Science Editors:
Astwood S. Design for automated manufacture of composite structures. [Doctoral Dissertation]. Cranfield University; 2017. Available from: http://dspace.lib.cranfield.ac.uk/handle/1826/14323 ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.783258

University of Manchester
13.
Sticksel, Christoph.
Efficient Equational Reasoning for the Inst-Gen
Framework.
Degree: 2011, University of Manchester
URL: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:124674
► We can classify several quite different calculi for automated reasoning in first-order logic as instantiation-based methods (IMs). Broadly speaking, unlike in traditional calculi such as…
(more)
▼ We can classify several quite different calculi for
automated reasoning in first-order logic as instantiation-based
methods (IMs). Broadly speaking, unlike in traditional calculi such
as resolution where the first-order satisfiability problem is
tackled by deriving logical conclusions, IMs attempt to reduce the
first-order satisfiability problem to propositional satisfiability
by intelligently instantiating clauses. The Inst-Gen-Eq method is
an instantiation-based calculus which is complete for first-order
clause logic modulo equality. Its distinctive feature is that it
combines first-order reasoning with efficient ground satisfiability
checking, which is delegated in a modular way to any
state-of-the-art ground solver for satisfiability modulo theories
(SMT). The first-order reasoning modulo equality employs a
superposition-style calculus which generates the instances needed
by the ground solver to refine a model of a ground abstraction or
to witness unsatisfiability. The thesis addresses the main issue in
the Inst-Gen-Eq method, namely efficient extraction of instances,
while providing powerful redundancy elimination techniques. To that
end we introduce a novel labelled unit superposition calculus with
sets, AND/OR trees and ordered binary decision diagrams (OBDDs) as
labels. The different label structures permit redundancy
elimination each to a different extent. We prove completeness of
redundancy elimination from labels and further integrate
simplification inferences based on term rewriting. All presented
approaches, in particular the three labelled calculi are
implemented in the iProver-Eq system and evaluated on standard
benchmark problems.
How can we be sure that software which we entrust
more and more vital tasks to is free of flaws? Incidents of
software maliciously being exploited or accidentally failing have
had consequences that range from severe financial losses to threats
to the lives of people. Good engineering is just a weak safeguard,
and in particular in an ever faster paced and more complex world no
guarantee that no flaw in the final product has been overlooked.
Only formal verification can prove that a program will always
behave as specified or that a specification is actually without
loopholes. Unfortunately, verification of real world applications
is tantamount to finding a needle in a haystack. The problems are
too large and too complex to tackle for any one person even with
all human intuition and creativity. This is where automated
reasoning comes in. It offers a mechanisation of the process of
finding logical conclusions, sifting through the haystack and in
relevant practical cases actually finding a needle. Then, either
defects in the implementation or specification can be fixed, or the
reliability of the software has been formally established. This
research is focused on a recent approach to automated reasoning
that has already shown success in a range of cases. The goal is to
allow specifications to use more expressive theories, leading to
more concise formulations, in turn making the…
Advisors/Committee Members: KOROVIN, KONSTANTIN K, Korovin, Konstantin, Schmidt, Renate.
Subjects/Keywords: automated reasoning; first-order logic; equational reasoning; instantiation-based methods
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Sticksel, C. (2011). Efficient Equational Reasoning for the Inst-Gen
Framework. (Doctoral Dissertation). University of Manchester. Retrieved from http://www.manchester.ac.uk/escholar/uk-ac-man-scw:124674
Chicago Manual of Style (16th Edition):
Sticksel, Christoph. “Efficient Equational Reasoning for the Inst-Gen
Framework.” 2011. Doctoral Dissertation, University of Manchester. Accessed January 19, 2021.
http://www.manchester.ac.uk/escholar/uk-ac-man-scw:124674.
MLA Handbook (7th Edition):
Sticksel, Christoph. “Efficient Equational Reasoning for the Inst-Gen
Framework.” 2011. Web. 19 Jan 2021.
Vancouver:
Sticksel C. Efficient Equational Reasoning for the Inst-Gen
Framework. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2021 Jan 19].
Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:124674.
Council of Science Editors:
Sticksel C. Efficient Equational Reasoning for the Inst-Gen
Framework. [Doctoral Dissertation]. University of Manchester; 2011. Available from: http://www.manchester.ac.uk/escholar/uk-ac-man-scw:124674

University of Manchester
14.
Sticksel, Christoph.
Efficient equational reasoning for the Inst-Gen Framework.
Degree: PhD, 2011, University of Manchester
URL: https://www.research.manchester.ac.uk/portal/en/theses/efficient-equational-reasoning-for-the-instgen-framework(67ead780-3ec9-4897-ac17-48d3de011b4b).html
;
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548998
► We can classify several quite different calculi for automated reasoning in first-order logic as instantiation-based methods (IMs). Broadly speaking, unlike in traditional calculi such as…
(more)
▼ We can classify several quite different calculi for automated reasoning in first-order logic as instantiation-based methods (IMs). Broadly speaking, unlike in traditional calculi such as resolution where the first-order satisfiability problem is tackled by deriving logical conclusions, IMs attempt to reduce the first-order satisfiability problem to propositional satisfiability by intelligently instantiating clauses. The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order reasoning with efficient ground satisfiability checking, which is delegated in a modular way to any state-of-the-art ground solver for satisfiability modulo theories (SMT). The first-order reasoning modulo equality employs a superposition-style calculus which generates the instances needed by the ground solver to refine a model of a ground abstraction or to witness unsatisfiability. The thesis addresses the main issue in the Inst-Gen-Eq method, namely efficient extraction of instances, while providing powerful redundancy elimination techniques. To that end we introduce a novel labelled unit superposition calculus with sets, AND/OR trees and ordered binary decision diagrams (OBDDs) as labels. The different label structures permit redundancy elimination each to a different extent. We prove completeness of redundancy elimination from labels and further integrate simplification inferences based on term rewriting. All presented approaches, in particular the three labelled calculi are implemented in the iProver-Eq system and evaluated on standard benchmark problems.
Subjects/Keywords: 511.3; automated reasoning; first-order logic; equational reasoning; instantiation-based methods
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Sticksel, C. (2011). Efficient equational reasoning for the Inst-Gen Framework. (Doctoral Dissertation). University of Manchester. Retrieved from https://www.research.manchester.ac.uk/portal/en/theses/efficient-equational-reasoning-for-the-instgen-framework(67ead780-3ec9-4897-ac17-48d3de011b4b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548998
Chicago Manual of Style (16th Edition):
Sticksel, Christoph. “Efficient equational reasoning for the Inst-Gen Framework.” 2011. Doctoral Dissertation, University of Manchester. Accessed January 19, 2021.
https://www.research.manchester.ac.uk/portal/en/theses/efficient-equational-reasoning-for-the-instgen-framework(67ead780-3ec9-4897-ac17-48d3de011b4b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548998.
MLA Handbook (7th Edition):
Sticksel, Christoph. “Efficient equational reasoning for the Inst-Gen Framework.” 2011. Web. 19 Jan 2021.
Vancouver:
Sticksel C. Efficient equational reasoning for the Inst-Gen Framework. [Internet] [Doctoral dissertation]. University of Manchester; 2011. [cited 2021 Jan 19].
Available from: https://www.research.manchester.ac.uk/portal/en/theses/efficient-equational-reasoning-for-the-instgen-framework(67ead780-3ec9-4897-ac17-48d3de011b4b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548998.
Council of Science Editors:
Sticksel C. Efficient equational reasoning for the Inst-Gen Framework. [Doctoral Dissertation]. University of Manchester; 2011. Available from: https://www.research.manchester.ac.uk/portal/en/theses/efficient-equational-reasoning-for-the-instgen-framework(67ead780-3ec9-4897-ac17-48d3de011b4b).html ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.548998
15.
Curran, Olimpia Elwira.
Synaptome mapping of the postsynaptic density 95 protein in the human brain.
Degree: PhD, 2018, University of Edinburgh
URL: http://hdl.handle.net/1842/31345
► The past three decades of synaptic research have provided new insights into synapse biology. While synapses are still considered the fundamental connectors between the nerve…
(more)
▼ The past three decades of synaptic research have provided new insights into synapse biology. While synapses are still considered the fundamental connectors between the nerve cells in the central nervous system, they are no longer seen as simple neuron-to-neuron contacts. In fact, the estimated 100 trillion of human synapses are extremely complex, diverse and capable of performing sophisticated computational operations giving rise to advanced repertoires of cognitive and organic behaviours. These intricate synaptic properties mean that existing methodologies for quantifying and characterising synapses are inadequate. Yet, understanding of synapse biology is crucial to deciphering human pathology as disruptions in synapse numbers, architecture and function have already been linked to many human brain disorders. The purpose of this PhD was to evaluate a novel, high-throughput synaptic protein quantification method at a single synapse resolution in human post-mortem brain tissue. The method has already been successfully tested in our laboratory in genetically engineered mice, whereby synapses have been systematically quantified across a large number of areas to generate the first molecular maps of synapses, the synaptome maps. In this project, methods have been developed to label human brain tissue with postsynaptic density protein 95 (PSD-95), the most common postsynaptic protein. We describe the use of PSD-95 combined with confocal microscopy and computational image analysis to quantify synaptic puncta immunofluorescence (IF) parameters in the human brain. In the first part of this study, the new method was used to quantify PSD-95 IF across selected 20 human brain regions to generate first PSD-95 human synaptome map. In the second part, PSD-95 IF was systematically assessed across 16 hippocampal subregions. Finally, we confirmed that our novel synaptic quantification method was sensitive to hippocampal synaptic losses in patients with Alzheimer's Disease (AD). Such a high degree of systematic synapse quantification has not previously been reported in human brain tissue. Our method is a promising approach for synaptic protein quantification in tissue with several potential applications in diagnosis and development of therapeutics for neurological and psychiatric disorders.
Subjects/Keywords: 612.8; synapses; synaptome; synaptome mapping; automated computational methods
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Curran, O. E. (2018). Synaptome mapping of the postsynaptic density 95 protein in the human brain. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/31345
Chicago Manual of Style (16th Edition):
Curran, Olimpia Elwira. “Synaptome mapping of the postsynaptic density 95 protein in the human brain.” 2018. Doctoral Dissertation, University of Edinburgh. Accessed January 19, 2021.
http://hdl.handle.net/1842/31345.
MLA Handbook (7th Edition):
Curran, Olimpia Elwira. “Synaptome mapping of the postsynaptic density 95 protein in the human brain.” 2018. Web. 19 Jan 2021.
Vancouver:
Curran OE. Synaptome mapping of the postsynaptic density 95 protein in the human brain. [Internet] [Doctoral dissertation]. University of Edinburgh; 2018. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/1842/31345.
Council of Science Editors:
Curran OE. Synaptome mapping of the postsynaptic density 95 protein in the human brain. [Doctoral Dissertation]. University of Edinburgh; 2018. Available from: http://hdl.handle.net/1842/31345

University of South Carolina
16.
N. Zellars, Kia.
Advancing Automated Methods for Microrna Profiling.
Degree: MS, Biological Sciences, 2017, University of South Carolina
URL: https://scholarcommons.sc.edu/etd/4421
► The widespread influence of miRNAs in many biological processes and characteristic changes in expression profiles make them potential biomarkers for a range of diseases.…
(more)
▼ The widespread influence of miRNAs in many biological processes and characteristic changes in expression profiles make them potential biomarkers for a range of diseases. With recent discoveries highlighting the enrichment of particular circulating miRNAs in plasma under pathological conditions, there has been a push for technological advances in miRNA profiling studies as a diagnostic tool. A standardized,
automated, high-throughput method for miRNA isolation from human plasma samples was developed in this study. Samples were
subject to full miRNome profiling utilizing RT-qPCR. These unique findings demonstrate that developing a distinct miRNA biomarker profile for heart failure patients is feasible and holds potential diagnostic value.
Advisors/Committee Members: Francis Spinale.
Subjects/Keywords: Biomedical Engineering and Bioengineering; Advancing; Automated; Methods; Microrna; Profiling
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
N. Zellars, K. (2017). Advancing Automated Methods for Microrna Profiling. (Masters Thesis). University of South Carolina. Retrieved from https://scholarcommons.sc.edu/etd/4421
Chicago Manual of Style (16th Edition):
N. Zellars, Kia. “Advancing Automated Methods for Microrna Profiling.” 2017. Masters Thesis, University of South Carolina. Accessed January 19, 2021.
https://scholarcommons.sc.edu/etd/4421.
MLA Handbook (7th Edition):
N. Zellars, Kia. “Advancing Automated Methods for Microrna Profiling.” 2017. Web. 19 Jan 2021.
Vancouver:
N. Zellars K. Advancing Automated Methods for Microrna Profiling. [Internet] [Masters thesis]. University of South Carolina; 2017. [cited 2021 Jan 19].
Available from: https://scholarcommons.sc.edu/etd/4421.
Council of Science Editors:
N. Zellars K. Advancing Automated Methods for Microrna Profiling. [Masters Thesis]. University of South Carolina; 2017. Available from: https://scholarcommons.sc.edu/etd/4421

Rochester Institute of Technology
17.
Haxhidauti, Bujar.
Kosovo's new customs declaration processing system / [presentation given in May 2011].
Degree: Professional Studies (CAST), 2011, Rochester Institute of Technology
URL: https://scholarworks.rit.edu/theses/6843
► This capstone project assessed available options for new Customs Declaration Processing System for Kosovo Customs. The outcome of the analysis clearly shows that Automated System…
(more)
▼ This capstone project assessed available options for new Customs Declaration Processing System for Kosovo Customs. The outcome of the analysis clearly shows that
Automated System for Customs Data (ASYCUDA World) of United Nation Conference for Trade Aid and Development is the most suitable system for Kosovo Customs.
Advisors/Committee Members: Bowen, Brian.
Subjects/Keywords: Automated System for Customs Data (ASYCUDA World); ASYCUDA WorldCustoms declaration – Kosovo
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Haxhidauti, B. (2011). Kosovo's new customs declaration processing system / [presentation given in May 2011]. (Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/6843
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Haxhidauti, Bujar. “Kosovo's new customs declaration processing system / [presentation given in May 2011].” 2011. Thesis, Rochester Institute of Technology. Accessed January 19, 2021.
https://scholarworks.rit.edu/theses/6843.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Haxhidauti, Bujar. “Kosovo's new customs declaration processing system / [presentation given in May 2011].” 2011. Web. 19 Jan 2021.
Vancouver:
Haxhidauti B. Kosovo's new customs declaration processing system / [presentation given in May 2011]. [Internet] [Thesis]. Rochester Institute of Technology; 2011. [cited 2021 Jan 19].
Available from: https://scholarworks.rit.edu/theses/6843.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Haxhidauti B. Kosovo's new customs declaration processing system / [presentation given in May 2011]. [Thesis]. Rochester Institute of Technology; 2011. Available from: https://scholarworks.rit.edu/theses/6843
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Clemson University
18.
Owensby, Joseph.
Automated Assembly Time Prediction Tool Using Predefined Mates From CAD Assemblies.
Degree: MS, Mechanical Engineering, 2012, Clemson University
URL: https://tigerprints.clemson.edu/all_theses/1382
► Current Design for Assembly (DFA) methods and tools require extensive amounts and types of user inputs to complete the analysis. Since the methods require extensive…
(more)
▼ Current Design for Assembly (DFA)
methods and tools require extensive amounts and types of user inputs to complete the analysis. Since the
methods require extensive amounts and types of inputs, certain issues arise: the analysis can become tedious, time consuming, error prone, and not repeatable. These issues eventually lead to the DFA
methods being used as a redesign tool or not being implemented at all. The research presented in this thesis addresses the current DFA limitations and issues by developing and implementing an
automated assembly time prediction tool that: extracts explicitly defined connections from SolidWorks assembly models, determines the structural complexity vector of the connections, and inputs the complexity vector into trained artificial neural networks (ANNs) to predict an assembly time. The
automated assembly time prediction tool does not require any user inputs other than a mated assembly model. To complete the analysis with the
automated tool, the user has to open up the assembly model and click on the developed SW add-in button. Since no additional inputs are required to complete the analysis, the results are completely repeatable when given the same SolidWorks assembly model to evaluate. The results in this thesis show that the developed tool can predict a product's assembly time with as little as 4% error or with as much as +68% error depending on the ANN training set used. Eight different ANN training sets are tested in this thesis, the results show that larger more variable ANN training sets typically predict assembly times with less percent error than smaller less variable ANN training sets. Since the tool extracts mates from assembly models, the sensitivity of the method with respect to different mating styles is also investigated. It is determined that the mating style does have an effect on the predicted assembly time, but this effect is typically within the normal variation ranges of existing DFA
methods.
Advisors/Committee Members: Summers, Joshua D, Mocko , Gregory M, Malloy , Brian.
Subjects/Keywords: Assembly Time Prediction; Automated DFA; Design For Assembly; DFA; Mechanical Engineering
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Owensby, J. (2012). Automated Assembly Time Prediction Tool Using Predefined Mates From CAD Assemblies. (Masters Thesis). Clemson University. Retrieved from https://tigerprints.clemson.edu/all_theses/1382
Chicago Manual of Style (16th Edition):
Owensby, Joseph. “Automated Assembly Time Prediction Tool Using Predefined Mates From CAD Assemblies.” 2012. Masters Thesis, Clemson University. Accessed January 19, 2021.
https://tigerprints.clemson.edu/all_theses/1382.
MLA Handbook (7th Edition):
Owensby, Joseph. “Automated Assembly Time Prediction Tool Using Predefined Mates From CAD Assemblies.” 2012. Web. 19 Jan 2021.
Vancouver:
Owensby J. Automated Assembly Time Prediction Tool Using Predefined Mates From CAD Assemblies. [Internet] [Masters thesis]. Clemson University; 2012. [cited 2021 Jan 19].
Available from: https://tigerprints.clemson.edu/all_theses/1382.
Council of Science Editors:
Owensby J. Automated Assembly Time Prediction Tool Using Predefined Mates From CAD Assemblies. [Masters Thesis]. Clemson University; 2012. Available from: https://tigerprints.clemson.edu/all_theses/1382

Georgia Tech
19.
Louhichi, Wafa.
Automated surface finish inspection using convolutional neural networks.
Degree: MS, Computational Science and Engineering, 2019, Georgia Tech
URL: http://hdl.handle.net/1853/61241
► The surface finish of a machined part has an important effect on friction, wear, and aesthetics. The surface finish became a critical quality measure since…
(more)
▼ The surface finish of a machined part has an important effect on friction, wear, and aesthetics. The surface finish became a critical quality measure since 1980s mainly due to demands from automotive industry. Visual inspection and quality control have been traditionally done by human experts. Normally, it takes a substantial amount of operators time to stop the process and compare the quality of the produced piece with a surface roughness gauge. This manual process does not guarantee a consistent quality of the surface and is
subject to human error and dependent upon the subjective opinion of the expert. Current advances in image processing, computer vision, and machine learning have created a path towards an
automated surface finish inspection increasing the automation level of the whole process even further than it is now. In this thesis work, we propose a deep learning approach to replicate human judgment without using a surface roughness gauge. We used a Convolutional Neural Network (CNN) to train a surface finish classifier. Because of data scarcity, we generated our own image dataset of aluminum pieces produced from turning and boring operations on a Computer Numerical Control (CNC) lathe, which consists of a total of 980 training images, 160 validation images, and 140 test images. Considering the limited dataset and the computational cost of training deep neural networks from scratch, we applied transfer learning technique to models pre-trained on the publicly available ImageNet benchmark dataset. We used PyTorch Deep Learning framework and both CPU and GPU to train ResNet18 CNN. The training on CPU took 1h21min55s with a test accuracy of 97.14% while the training on GPU took 1min47s with a test accuracy = 97.86%. We used Keras API that runs on top of TensorFlow to train a MobileNet model. The training using Colaboratory’s GPU took 1h32m14s with an accuracy of 98.57%. The deep CNN models provided surprisingly high accuracy missclassifying only a few of 140 testing images. The MobileNet model allowed to run the inference efficiently on mobile devices. The affordable and easy-to-use solution provides a viable new method of
automated surface inspection systems (ASIS).
Advisors/Committee Members: Kurfess, Thomas (advisor), Vuduc, Richard (advisor), Saldana, Christopher (committee member), Chau, Duen Horng (Polo) (committee member).
Subjects/Keywords: Automated surface finish inspection; Android app for surface finish inspection
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Louhichi, W. (2019). Automated surface finish inspection using convolutional neural networks. (Masters Thesis). Georgia Tech. Retrieved from http://hdl.handle.net/1853/61241
Chicago Manual of Style (16th Edition):
Louhichi, Wafa. “Automated surface finish inspection using convolutional neural networks.” 2019. Masters Thesis, Georgia Tech. Accessed January 19, 2021.
http://hdl.handle.net/1853/61241.
MLA Handbook (7th Edition):
Louhichi, Wafa. “Automated surface finish inspection using convolutional neural networks.” 2019. Web. 19 Jan 2021.
Vancouver:
Louhichi W. Automated surface finish inspection using convolutional neural networks. [Internet] [Masters thesis]. Georgia Tech; 2019. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/1853/61241.
Council of Science Editors:
Louhichi W. Automated surface finish inspection using convolutional neural networks. [Masters Thesis]. Georgia Tech; 2019. Available from: http://hdl.handle.net/1853/61241

AUT University
20.
Yau, Hay-yiu.
Language teacher motivation: a study of teachers of English as a Second Language (ESL) in New Zealand language schools
.
Degree: 2010, AUT University
URL: http://hdl.handle.net/10292/1080
► Research on the motivation of teachers of English as a Second Language (ESL) has been scarce and fragmented. This study aims to bridge the gap…
(more)
▼ Research on the motivation of teachers of English as a Second Language (
ESL) has been scarce and fragmented. This study aims to bridge the gap in the research by investigating the motivation of
ESL teachers employed in private English language schools and other state tertiary institutions in New Zealand. The rationale for the study comes from a need to understand, first, the key motivational factors involved, and second, what measures can be adopted by both teachers themselves and by the institutions they work for to sustain and nurture teacher motivation, ultimately in order to facilitate positive outcomes for students. The underlying theoretical assumption of the study was that motivation could be investigated by employing self-determination theory, which draws primarily on an intrinsic/extrinsic distinction (Dörnyei, 2001). Accordingly, the study was guided by three research questions which aimed to: 1) identify factors affecting teachers’ motivation; 2) examine teachers’ degree of motivation; and 3) elicit from teachers any measures that might sustain or nurture their motivation. To answer these research questions the study employed a mixed-method approach. Both quantitative and qualitative data were collected through the implementation of 72 questionnaires, with seven respondents agreeing to keep a journal. Three semi-structured interviews were also conducted with the journal keepers. The findings of the study provide some insights into what factors are important in affecting
ESL teachers’ motivation and what measures are likely to sustain or nurture their motivation. The study found that intrinsic factors were more important than extrinsic factors in affecting teaching motivation. Intrinsic aspects of work, including helping students to learn English, involvement in professional training and personal enjoyment were key factors. However extrinsic factors such as management policy and work autonomy also played significant roles. Though the degree of teacher motivation could not be ascertained by the present study, it was found that teachers were dissatisfied with lack of work autonomy and job security. Regarding measures to sustain or nurture motivation, teachers asked for more professional training and personal challenges in their work, less administrative work, more involvement in management policy and more respect from management. The implications of the study offer suggestions for
ESL teachers and for the management of language schools on how to create a better working environment for facilitating positive student outcomes. It is hoped the study also stimulates further research on
ESL teachers’ motivation, in a range of contexts, the sum of which will be of benefit to students, teachers, stakeholders and the whole community.
Advisors/Committee Members: Roach, Kevin (advisor).
Subjects/Keywords: New Zealand language schools;
ESL teacher motivation;
Teacher motivation;
Motivation;
Mixed methods approach
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Yau, H. (2010). Language teacher motivation: a study of teachers of English as a Second Language (ESL) in New Zealand language schools
. (Thesis). AUT University. Retrieved from http://hdl.handle.net/10292/1080
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Yau, Hay-yiu. “Language teacher motivation: a study of teachers of English as a Second Language (ESL) in New Zealand language schools
.” 2010. Thesis, AUT University. Accessed January 19, 2021.
http://hdl.handle.net/10292/1080.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Yau, Hay-yiu. “Language teacher motivation: a study of teachers of English as a Second Language (ESL) in New Zealand language schools
.” 2010. Web. 19 Jan 2021.
Vancouver:
Yau H. Language teacher motivation: a study of teachers of English as a Second Language (ESL) in New Zealand language schools
. [Internet] [Thesis]. AUT University; 2010. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/10292/1080.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Yau H. Language teacher motivation: a study of teachers of English as a Second Language (ESL) in New Zealand language schools
. [Thesis]. AUT University; 2010. Available from: http://hdl.handle.net/10292/1080
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
21.
Oskarsson, Marie.
Approaches to English literature in the uppersecondary school classroom : A study from an EFL/ESL perspective.
Degree: Educational Work, 2017, Dalarna University
URL: http://urn.kb.se/resolve?urn=urn:nbn:se:du-27439
► This is a qualitative study about how literature is used in the subject of English as a foreign language (EFL) or English as a…
(more)
▼ This is a qualitative study about how literature is used in the subject of English as a foreign language (EFL) or English as a second language (ESL) in the upper secondary school classroom. The study specifically focuses on what goals and activities are ascribed to the use of literature in the English language classroom. Literature has been used in the Swedish language classroom for decades but there is still an uncertainty as to how literature can and could be used. The aim for this thesis was to achieve an understanding of teacher’s choices when it came to goals and activities linked to the EFL/ESL classroom. This is a literature review where primary sources have been analyzed using critical literacy and cultural theory to specify the different authors stand-point about the use of literature. Background information also provides a basis for the analysis where authors dedicated to the use of literature in the language classroom discuss and describe general concepts and ideas of how literature is used and could or should be used. The study showed that depending on the teacher’s goals with literature different methods and activities are linked to the lessons. Critical literacy and cultural theoryhelped develop an understanding of the thoughts and ideas underpinning the concepts of the primary sources, whether it was about altering students’ behavior or fostering democratic and empathetic citizens. The results showed that literature is used in a variety of ways, but at times the student-oriented goals and activities are unclear. This calls for further research on the area of using literature in the EFL/ESL classroom.
Subjects/Keywords: literature; teaching methods; upper secondary school; EFL/ESL; Languages and Literature; Språk och litteratur
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Oskarsson, M. (2017). Approaches to English literature in the uppersecondary school classroom : A study from an EFL/ESL perspective. (Thesis). Dalarna University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:du-27439
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Oskarsson, Marie. “Approaches to English literature in the uppersecondary school classroom : A study from an EFL/ESL perspective.” 2017. Thesis, Dalarna University. Accessed January 19, 2021.
http://urn.kb.se/resolve?urn=urn:nbn:se:du-27439.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Oskarsson, Marie. “Approaches to English literature in the uppersecondary school classroom : A study from an EFL/ESL perspective.” 2017. Web. 19 Jan 2021.
Vancouver:
Oskarsson M. Approaches to English literature in the uppersecondary school classroom : A study from an EFL/ESL perspective. [Internet] [Thesis]. Dalarna University; 2017. [cited 2021 Jan 19].
Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:du-27439.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Oskarsson M. Approaches to English literature in the uppersecondary school classroom : A study from an EFL/ESL perspective. [Thesis]. Dalarna University; 2017. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:du-27439
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Melbourne
22.
LEITH, MEAGHAN.
Identity, integration, adult migrant English as a Second Language (ESL) programmes and Melbourne Institute Language Centre.
Degree: 2012, University of Melbourne
URL: http://hdl.handle.net/11343/37968
► This case study used a qualitative dominant mixed methods research (MMR) design to examine the integration of adult migrants in Australia. In adopting a socio-cultural…
(more)
▼ This case study used a qualitative dominant mixed methods research (MMR) design to examine the integration of adult migrants in Australia. In adopting a socio-cultural theory (SCT) framework, it examines wider policies, such as immigration and citizenship, but it particularly focuses on government-funded English as a second language (ESL) policy and programmes. In so doing, it seeks to describe the context in which this ESL delivery occurred – a multi-campus language centre in a large and entrepreneurial Technical and Further Education (TAFE) institute in the State of Victoria – and the ways in which migrant students and language centre personnel perceived and experienced ESL programmes delivered at this centre. It also seeks to locate this study within its historical and socio-political context and, as a result, discourses regarding issues related to integration, such as national identity, social cohesion, ‘Australian values’ and multiculturalism, are considered. In recognising that integration is a process that takes time, this study is longitudinal in design, and a core group of migrants (N=14) was researched over a two-and-a-half-year period. The views of some of the language centre’s staff members were also examined over time.
The findings from this study suggest that English was perceived by stakeholders – and experienced by migrants – as a significant facilitator of integration, and the language centre’s ESL programmes were seen to provide both psycho-social and economic integrative benefits for migrants and Australian society. Suggestions and recommendations are made regarding possible avenues for future research into integration and adult host language programming, as well as broader, related policy.
Subjects/Keywords: integration; ESL; adult migrant; identity; policy; TAFE; Australia; mixed methods research socio-cultural theory
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
LEITH, M. (2012). Identity, integration, adult migrant English as a Second Language (ESL) programmes and Melbourne Institute Language Centre. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/37968
Chicago Manual of Style (16th Edition):
LEITH, MEAGHAN. “Identity, integration, adult migrant English as a Second Language (ESL) programmes and Melbourne Institute Language Centre.” 2012. Doctoral Dissertation, University of Melbourne. Accessed January 19, 2021.
http://hdl.handle.net/11343/37968.
MLA Handbook (7th Edition):
LEITH, MEAGHAN. “Identity, integration, adult migrant English as a Second Language (ESL) programmes and Melbourne Institute Language Centre.” 2012. Web. 19 Jan 2021.
Vancouver:
LEITH M. Identity, integration, adult migrant English as a Second Language (ESL) programmes and Melbourne Institute Language Centre. [Internet] [Doctoral dissertation]. University of Melbourne; 2012. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/11343/37968.
Council of Science Editors:
LEITH M. Identity, integration, adult migrant English as a Second Language (ESL) programmes and Melbourne Institute Language Centre. [Doctoral Dissertation]. University of Melbourne; 2012. Available from: http://hdl.handle.net/11343/37968

University of Cincinnati
23.
Ramanayake, Selena.
Imagined Communities: A Mixed Methods Study of Patterns
among English and Spanish Language Learners.
Degree: PhD, Education, Criminal Justice, and Human Services:
Educational Studies, 2018, University of Cincinnati
URL: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1535636778278414
► Adult language learners face negative sociocultural conditions that affect their language learning investment, learners’ commitment to learning with the understanding that they will receive a…
(more)
▼ Adult language learners face negative sociocultural
conditions that affect their language learning investment,
learners’ commitment to learning with the understanding that they
will receive a return on their investment (Norton Peirce, 1995;
Norton, 2013). Understanding what language learners’ experience in
their learning contexts is important to improving adult learners’
language development (Kern & Schultz, 2005) and pedagogical
practices in language education. The construct of imagined
communities (ICs) is a theory of second language studies to
understand adult language learners’ investment which involves the
target language communities that learners aspire to as they learn a
language. The purpose of this mixed
methods study was to examine
the ICs of individual and groups of adult English as a Second
Language (
ESL) and Spanish as a Foreign Language (SFL) language
learners in order to identify potential pedagogy for the two
contexts of language learning. The study is framed in an
interpretation of four dimensions embedded in ICs theory and Gee’s
(1996; 2001) theory of Discourse communities, and uses a convergent
parallel mixed
methods design (Plano Clark & Creswell, 2011).
The qualitative strand, interviews and journals, revealed that SFL
learners tended to have future or travel related ICs and
ESL
learners tended to have current context ICs or career ICs, likely
due to differences in access to native speakers within their
different learning contexts. Face-to-face speaking interaction was
valued most, but SFL learners’ limited access to Spanish speakers
was a challenge. There were many nonlinguistic skills that learners
found essential to reaching their ICs, such as confidence or
content knowledge, a dimension not accounted in the a priori four
dimensions. The quantitative strand, an online survey, revealed
that out of the four dimensions on the survey—access/barriers,
social relationships/distance, capital gains, and language
domains—capital gains (i.e., reasons to invest) were most agreed
upon. Further, SFL learners were more confident in their value as a
multilingual in their IC.
ESL beginners were the most likely to
agree or disagree as a group.
ESL advanced learners were more
confident in their language skills and hard work. Learners in all
groups were neutral or disagreed about changing one’s
behavior/beliefs to fit into their ICs.The integration strand used
corpus analysis and joint displays to examine corroborative and
contrastive data among strands and of five participants who
completed both strands. This analysis led to pedagogical
recommendations for ICs (e.g., a research assignment that asks the
learner to research the entire identity kit of their ICs). Advanced
learners may find ICs pedagogy most suitable given their greater
proficiency and better understanding of their language context and
development. Learners may increase their investment in language
learning and power over their learning if they are aware of ICs,
the characteristics of those groups, and how to gain membership. By
integrating this…
Advisors/Committee Members: Ai, Haiyang (Committee Chair).
Subjects/Keywords: Sociolinguistics; imagined communities; ESL; Spanish as a Foreign Language; mixed methods research; motivation; language education
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Ramanayake, S. (2018). Imagined Communities: A Mixed Methods Study of Patterns
among English and Spanish Language Learners. (Doctoral Dissertation). University of Cincinnati. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=ucin1535636778278414
Chicago Manual of Style (16th Edition):
Ramanayake, Selena. “Imagined Communities: A Mixed Methods Study of Patterns
among English and Spanish Language Learners.” 2018. Doctoral Dissertation, University of Cincinnati. Accessed January 19, 2021.
http://rave.ohiolink.edu/etdc/view?acc_num=ucin1535636778278414.
MLA Handbook (7th Edition):
Ramanayake, Selena. “Imagined Communities: A Mixed Methods Study of Patterns
among English and Spanish Language Learners.” 2018. Web. 19 Jan 2021.
Vancouver:
Ramanayake S. Imagined Communities: A Mixed Methods Study of Patterns
among English and Spanish Language Learners. [Internet] [Doctoral dissertation]. University of Cincinnati; 2018. [cited 2021 Jan 19].
Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1535636778278414.
Council of Science Editors:
Ramanayake S. Imagined Communities: A Mixed Methods Study of Patterns
among English and Spanish Language Learners. [Doctoral Dissertation]. University of Cincinnati; 2018. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=ucin1535636778278414
24.
Wu, You.
Using Multiple Technologies to Promote Teaching Efficiency in ESL Writing Class.
Degree: MAin Teaching English to Speakers of Other Languages (TESOL), Teaching English as a Second Language, 2017, University of San Francisco
URL: https://repository.usfca.edu/capstone/560
► With the development of the computer and mobile phone, learning does not limit to traditional methods.How to avoid redundancy and stress is essential for…
(more)
▼ With the development of the computer and mobile phone, learning does not limit to traditional
methods.How to avoid redundancy and stress is essential for the application of educational technology. The field project mainly creative a lesson plan and learning management system for both teachers and students as an example of using multiple technologies to promote teaching efficiency. It first introduces how memory, attention and comprehension work for
ESL learners and then it focuses on how CLT (Cognitive Load Theory) and CALL (Computer-assisted Language Learning) work.
Advisors/Committee Members: Sedique Popal.
Subjects/Keywords: CALL; CLT; memory; ESL; educational technology; writing; Educational Methods; International and Comparative Education
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Wu, Y. (2017). Using Multiple Technologies to Promote Teaching Efficiency in ESL Writing Class. (Thesis). University of San Francisco. Retrieved from https://repository.usfca.edu/capstone/560
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Wu, You. “Using Multiple Technologies to Promote Teaching Efficiency in ESL Writing Class.” 2017. Thesis, University of San Francisco. Accessed January 19, 2021.
https://repository.usfca.edu/capstone/560.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Wu, You. “Using Multiple Technologies to Promote Teaching Efficiency in ESL Writing Class.” 2017. Web. 19 Jan 2021.
Vancouver:
Wu Y. Using Multiple Technologies to Promote Teaching Efficiency in ESL Writing Class. [Internet] [Thesis]. University of San Francisco; 2017. [cited 2021 Jan 19].
Available from: https://repository.usfca.edu/capstone/560.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Wu Y. Using Multiple Technologies to Promote Teaching Efficiency in ESL Writing Class. [Thesis]. University of San Francisco; 2017. Available from: https://repository.usfca.edu/capstone/560
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Arizona
25.
Williams, Veronika A.
An Evaluation of a Program for Intentional Learning: A Hybrid Approach to Fostering Learner Autonomy
.
Degree: 2016, University of Arizona
URL: http://hdl.handle.net/10150/612136
► The concept of learner autonomy (LA) in second/foreign language education has been the central focus for many researchers (Benson, 2007, 2011, 2013; Holec, 1981; Gu…
(more)
▼ The concept of learner autonomy (LA) in second/foreign language education has been the central focus for many researchers (Benson, 2007, 2011, 2013; Holec, 1981; Gu & Nguyen, 2013; Little, 2007, 2009 and others) and has become a part of mainstream practice of language education in some educational contexts; however, there is still a high interest in researching language learner autonomy and ways to foster it. Partially, this renewed interest is due to advances in technology and pedagogy such as self-access centers, distance learning, blended learning and Computer Assisted Language Learning (CALL) in general and changes in educational policies (Benson 2011, 2013). Modern language learners are exposed to various choices in their language education such as numerous learning modes and a variety of language learning resources. However, this change means that learners must be capable of making informed decisions about their language education and taking some control over it in order to become successful and maximize their learning experience. There are examples of autonomous learning programs which place autonomy at the center, worldwide. Recently, the Center of English as a Second Language (CESL) at the University of Arizona (UA) created and implemented a new educational practice, Program for Intentional Learning (PIL). The goal of this program is to foster LA as well as equip CESL students with knowledge, skills, tools, and resources to be successful in both language learning and their future American college education. PIL is a hybrid program in terms of combining different approaches to fostering LA: resource-based, technology-based, curriculum-based, learner-based, and teacher-based (Benson, 2011).Responding to Benson's (2011) and Nguyen's (2012) call for more rigor in research on LA and educational interventions to promote LA, this dissertation follows the guidelines proposed by Nguyen (2012): a) having a clear operationalized definition of LA, (b) implementing both quantitative and qualitative research
methods, and (c) piloting and validating tools. This dissertation examines the effectiveness of the PIL program in terms of its capacity to foster LA and to help CESL students to become more successful in learning English. The evaluation of the program was conducted as a multiple-case study of four participants with a mixed-method research design. The present study draws upon a main survey which measures a degree of LA as pre- and post-test, interviews with case study participants and their instructors, learning diary, and action plan comparison. Even though the comparison of pre- and post-survey scores revealed that only two case study participants had a significant change towards greater LA, all four participants reported changes in their learning behaviors. These changes point to a higher degree of LA, and all participants shared a positive overall evaluation of the PIL workshops. The study suggests that this type of educational intervention to promote LA can be effective, especially in developing metacognitive…
Advisors/Committee Members: Panferov, Suzanne (advisor), Ariew, Robert (committeemember), Ferdinandt, Nicholas (committeemember), Waugh, Linda (committeemember), Panferov, Suzanne (committeemember).
Subjects/Keywords: learner autonomy;
self-regulation;
support for ESL learners;
Second Language Acquisition & Teaching;
autonomous learning program
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Williams, V. A. (2016). An Evaluation of a Program for Intentional Learning: A Hybrid Approach to Fostering Learner Autonomy
. (Doctoral Dissertation). University of Arizona. Retrieved from http://hdl.handle.net/10150/612136
Chicago Manual of Style (16th Edition):
Williams, Veronika A. “An Evaluation of a Program for Intentional Learning: A Hybrid Approach to Fostering Learner Autonomy
.” 2016. Doctoral Dissertation, University of Arizona. Accessed January 19, 2021.
http://hdl.handle.net/10150/612136.
MLA Handbook (7th Edition):
Williams, Veronika A. “An Evaluation of a Program for Intentional Learning: A Hybrid Approach to Fostering Learner Autonomy
.” 2016. Web. 19 Jan 2021.
Vancouver:
Williams VA. An Evaluation of a Program for Intentional Learning: A Hybrid Approach to Fostering Learner Autonomy
. [Internet] [Doctoral dissertation]. University of Arizona; 2016. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/10150/612136.
Council of Science Editors:
Williams VA. An Evaluation of a Program for Intentional Learning: A Hybrid Approach to Fostering Learner Autonomy
. [Doctoral Dissertation]. University of Arizona; 2016. Available from: http://hdl.handle.net/10150/612136

University of Arizona
26.
Randall, Steven James.
An Exploration of a University Academic Bridge Program for English Language Learners
.
Degree: 2016, University of Arizona
URL: http://hdl.handle.net/10150/621875
► This three-article dissertation explores the first year of a sheltered university bridge program (also commonly known as "pathway" programs-see Winkle, 2011) for ESL students at…
(more)
▼ This three-article dissertation explores the first year of a sheltered university bridge program (also commonly known as "pathway" programs-see Winkle, 2011) for
ESL students at a large public university in the American southwest. "Sheltering" is the practice of offering "academic courses taught in the second language" where "native and non-native [...] students are not mixed in any one class" (Snow & Brinton, 1984, p. 8), a model commonly found in K-12 settings (Echevarria & Graves, 1998; Freeman, Freeman & Gonzalez, 1987; Weinhouse, 1986), though there are sheltered programs in university settings (see, for example, the University of Ottawa Program-Burger, Weinberg & Wesche, 2013). The labels "bridge" and "pathway" refer to pre-matriculation programs that "feature a hybrid of credit-bearing coursework and instruction in English language and academic skills" (Redden, 2010, para 1). Bridge and Pathway Program (BPP) curricula typically follow the adjunct model in which
ESL courses are linked with mainstream, unsheltered university courses, with the
ESL course providing support. The model in the current study follows the sheltered convention of
ESL-only cohorts, but adds the adjunct convention of offering linked support. As international student interest in studying at U.S. universities has grown over recent decades (Open Doors Report, 2015), a subset of international students has emerged that may have lower-than-institutional-benchmark English proficiency for admission based on exams like the Test of English as a Foreign Language (TOEFL) or the International English Language Testing System (IELTS) exam. BPPs primarily serve this subset of students by offering non-testing curricular paths (linked
ESL/university courses) to full matriculation that focus on "achievement, as opposed to proficiency alone" (Dooey, 2010, p. 185). One can expect that BPPS will continue to proliferate given that they bring in previously inadmissible international enrollees to add to the now essential revenue stream that international students represent for universities (Andrade, 2006; Marshall, 2005; Redden, 2010; 2014). This dissertation adds to a growing body of recent research (e.g. Dooey, 2010; Fiocco, 2006; Redden, 2010; 2014, Winkle, 2011) about these models. Article 1 (Appendix A): The Past, Present, and Future of Combined
ESL/University Study Programs: From Ad Hoc
ESL Interventions to Bridge and Pathway Programs. This article is both a critical literature review and "state-of-the-field" piece (Canagarajah, 2006) that situates the evolution of postsecondary
ESL support historically. It explores how postsecondary
ESL has gone from an ad hoc, situational endeavor focused on remediating language deficiencies to a multifaceted field of program offerings replete with varying curricular models and dedicated faculty and recruiting structures, a field that has evolved into current BPPs. Article 2 (Appendix B): Exploring Dynamics and Dimensions in Two Linked Adjunct/Content Courses in a Sheltered University Pathway Program for
ESL Students: A…
Advisors/Committee Members: Dupuy, Beatrice (advisor), Dupuy, Beatrice (committeemember), Adamson, H. Douglas (committeemember), Gilmore, Perry (committeemember).
Subjects/Keywords: English for Academic Purposes;
ESL;
International;
Linked;
Pathway;
Second Language Acquisition & Teaching;
Bridge
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Randall, S. J. (2016). An Exploration of a University Academic Bridge Program for English Language Learners
. (Doctoral Dissertation). University of Arizona. Retrieved from http://hdl.handle.net/10150/621875
Chicago Manual of Style (16th Edition):
Randall, Steven James. “An Exploration of a University Academic Bridge Program for English Language Learners
.” 2016. Doctoral Dissertation, University of Arizona. Accessed January 19, 2021.
http://hdl.handle.net/10150/621875.
MLA Handbook (7th Edition):
Randall, Steven James. “An Exploration of a University Academic Bridge Program for English Language Learners
.” 2016. Web. 19 Jan 2021.
Vancouver:
Randall SJ. An Exploration of a University Academic Bridge Program for English Language Learners
. [Internet] [Doctoral dissertation]. University of Arizona; 2016. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/10150/621875.
Council of Science Editors:
Randall SJ. An Exploration of a University Academic Bridge Program for English Language Learners
. [Doctoral Dissertation]. University of Arizona; 2016. Available from: http://hdl.handle.net/10150/621875

Depaul University
27.
Heinekamp, Katelyn.
Please, don't let me be misunderstood: intentionality, queer gestures, and feminist accountability.
Degree: Women & Gender Studies, 2015, Depaul University
URL: https://via.library.depaul.edu/etd/185
► This thesis aims to theoretically situate and define intentionality specifically as a feminist practice through queer gesturing; this re-defining places intentionality within a framework…
(more)
▼ This thesis aims to theoretically situate and define intentionality specifically as a feminist practice through queer gesturing; this re-defining places intentionality within a framework of accountability. By defining intent through the distibution of responsibility, this thesis addresses the impossibility in perfection of intentionality and the language of mis-gesturing and accountability. Using queer theory, anti-racist feminisms, transformative/restorative justice, and coalitional contexts this project uses canoncial notions of academic theory as well as personal storying to understand the implications and radical possibilities of intentionality. Through the use of everyday, discursive colloquialisms (as evidence of the intent versus impact binary), this project calls into question how we can situate intent and impact as an embodied, feminist, and queer practice.
Subjects/Keywords: intentionality; gesture; accountability; mistakes; queer
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Heinekamp, K. (2015). Please, don't let me be misunderstood: intentionality, queer gestures, and feminist accountability. (Thesis). Depaul University. Retrieved from https://via.library.depaul.edu/etd/185
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Heinekamp, Katelyn. “Please, don't let me be misunderstood: intentionality, queer gestures, and feminist accountability.” 2015. Thesis, Depaul University. Accessed January 19, 2021.
https://via.library.depaul.edu/etd/185.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Heinekamp, Katelyn. “Please, don't let me be misunderstood: intentionality, queer gestures, and feminist accountability.” 2015. Web. 19 Jan 2021.
Vancouver:
Heinekamp K. Please, don't let me be misunderstood: intentionality, queer gestures, and feminist accountability. [Internet] [Thesis]. Depaul University; 2015. [cited 2021 Jan 19].
Available from: https://via.library.depaul.edu/etd/185.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Heinekamp K. Please, don't let me be misunderstood: intentionality, queer gestures, and feminist accountability. [Thesis]. Depaul University; 2015. Available from: https://via.library.depaul.edu/etd/185
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

University of Toronto
28.
Corcoran, James.
English as the International Language of Science: A Case Study of Mexican Scientists' Writing for Publication.
Degree: PhD, 2015, University of Toronto
URL: http://hdl.handle.net/1807/70842
► Global dissemination of scientific findings is imperative for scientific advancement. However, the domination of English as an international language of science (EILS) has placed a…
(more)
▼ Global dissemination of scientific findings is imperative for scientific advancement. However, the domination of English as an international language of science (EILS) has placed a potentially inequitable burden on multilingual periphery scholars attempting to disseminate their research findings in indexed scientific journals. While such scholars have been the focus of much recent research into this English for research publication purposes (ERPP), little empirical research has taken place in Latin America. This instrumental case study examines the experiences of Mexican scientists via an academic writing for publication course (AWC) delivered in Canada and Mexico between 2011 and 2013. This study attempts to better understand scientists’ perspectives on the growing expectations of publishing their research in English, their challenges to achieving publication of research articles in indexed scientific journals, and their perceptions of the efficacy of an AWC at addressing these challenges. Rich, triangulated survey and interview data point to a grudging acceptance of the growing expectations for publishing in English as well as a widespread perception among Mexican scientists of bias against them at international scientific journals. Further findings include a comprehensive list of emerging (PhD student) and established (faculty) scientists’ ERPP challenges as well as improved scholar confidence following an intensive AWC. Critical interpretation of findings leads to discussion of participant perceptions of EILS and ERPP within a market of linguistic exchange where asymmetrical power relations and pervasive ideologies of language underscore significant barriers to multilingual scholars achieving a fuller connection to their desired scientific discourse communities. Implications stemming from the study findings include critical, pragmatic suggestions for those involved in the support, production, revision, and adjudication of scientific writing for publication at Mexico University (pseudonym) as well as suggestions for future research avenues into the complex role(s) of English and ERPP instruction in the global production of scientific knowledge.
Advisors/Committee Members: Gagné, Antoinette, Curriculum, Teaching and Learning.
Subjects/Keywords: English as a lingua franca; English for research publication purposes; ESL/EFL; scholarly writing; scientific knowledge production; writing for publication; 0441
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Corcoran, J. (2015). English as the International Language of Science: A Case Study of Mexican Scientists' Writing for Publication. (Doctoral Dissertation). University of Toronto. Retrieved from http://hdl.handle.net/1807/70842
Chicago Manual of Style (16th Edition):
Corcoran, James. “English as the International Language of Science: A Case Study of Mexican Scientists' Writing for Publication.” 2015. Doctoral Dissertation, University of Toronto. Accessed January 19, 2021.
http://hdl.handle.net/1807/70842.
MLA Handbook (7th Edition):
Corcoran, James. “English as the International Language of Science: A Case Study of Mexican Scientists' Writing for Publication.” 2015. Web. 19 Jan 2021.
Vancouver:
Corcoran J. English as the International Language of Science: A Case Study of Mexican Scientists' Writing for Publication. [Internet] [Doctoral dissertation]. University of Toronto; 2015. [cited 2021 Jan 19].
Available from: http://hdl.handle.net/1807/70842.
Council of Science Editors:
Corcoran J. English as the International Language of Science: A Case Study of Mexican Scientists' Writing for Publication. [Doctoral Dissertation]. University of Toronto; 2015. Available from: http://hdl.handle.net/1807/70842

Edith Cowan University
29.
Chelliah, Rajeswari.
Community building, multiculturalism and the suburban public library.
Degree: 2014, Edith Cowan University
URL: https://ro.ecu.edu.au/theses/1524
► This research investigates the role of public libraries in building communities and cross-cultural citizenship through provision of equitable information resources and services to English as…
(more)
▼ This research investigates the role of public libraries in building communities and cross-cultural citizenship through provision of equitable information resources and services to English as Additional Language (EAL) speakers, particularly in metropolitan Perth, Western Australia. The rapidly changing demographic profile of Western Australia is producing an ever increasing diversity of people who need to access information in order to thrive in their new community. However, access to these information services pose challenges to users who lack competency in language, computer and general literacy, while the increasing diversity in the local population creates widely divergent competencies in information seeking skills among library clients. Diversity, which has become evident in many contemporary communities, unveils a wide range of information seeking skills, which varies from individuals who are illiterate (often from an agrarian background) and others who are highly educated with substantial English language and computer skills. In this research, the concept of equity in the provision of library services for EAL speakers was investigated by reviewing the library environment in Perth, Western Australia from the perspective of library staff and EAL clients. In-depth interviews were conducted with participants from across various EAL backgrounds as to their knowledge, understanding and current usage of library services. The interview sessions identified the extent of user acceptance of these services and the factors which indicated levels of perceived equity of these library services. The findings from the responses of the public library staff and EAL speakers revealed a complex and diverse local library environment. The public library system, in Western Australia traditionally modelled to serve English language clientele, is yet to fully recognise the presence of the multicultural clientele in its library service provision. Thus, the shift in public library perspectives towards service provision for diverse ethnic groups is evident in isolation but not in adherence to a transparent, consistent government policy which filters down to the local libraries as a guide for normal practices. The EAL speakers’ responses revealed a dire need for English language and computer skills education for some ethnic groups, in order to facilitate their public library access. The findings revealed that some of the EAL groups are unaware of the public library system, its intrinsic value or its culture including that the services are free and offered in a democratic and safe space. Some of the EAL groups also distrust government entities and figures of authority per se as officials symbolise maltreatment of their families and ethnic groups in their countries of origin. Reliance on natives from their own communities, revealed within the interview data, has led to an emergence of bonding social capital tendencies and limited integration with the host culture. The public library is strategically located to draw diverse individuals from its…
Subjects/Keywords: Community building. Multiculturalism. Public libraries; Inclusive library services. Gap in information services; Computer access; Sustainable model for Public Libraries (SMPL); Literacy and English proficiency; Migrant diversity; Migrant research methods; Information needs; Mixed Methods; Quantitative research methodology; Qualitative research methodology; Reinventing; restructuring and re-defining traditional libraries; National multicultural public library policy; EAL; ESL; migrant issues; Information needs and services; Library and Information Science
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Chelliah, R. (2014). Community building, multiculturalism and the suburban public library. (Thesis). Edith Cowan University. Retrieved from https://ro.ecu.edu.au/theses/1524
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Chicago Manual of Style (16th Edition):
Chelliah, Rajeswari. “Community building, multiculturalism and the suburban public library.” 2014. Thesis, Edith Cowan University. Accessed January 19, 2021.
https://ro.ecu.edu.au/theses/1524.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
MLA Handbook (7th Edition):
Chelliah, Rajeswari. “Community building, multiculturalism and the suburban public library.” 2014. Web. 19 Jan 2021.
Vancouver:
Chelliah R. Community building, multiculturalism and the suburban public library. [Internet] [Thesis]. Edith Cowan University; 2014. [cited 2021 Jan 19].
Available from: https://ro.ecu.edu.au/theses/1524.
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
Council of Science Editors:
Chelliah R. Community building, multiculturalism and the suburban public library. [Thesis]. Edith Cowan University; 2014. Available from: https://ro.ecu.edu.au/theses/1524
Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Université Montpellier II
30.
Ahmed, Syed Zahid.
EFPGAs : architectural explorations, System integration, & a Visionary Industrial survey of programmable technologies : EFPGAs : explorations architecturales, integration système, et une enquête visionnaire industriel des technologies programmables.
Degree: Docteur es, SYAM - Systèmes Automatiques et Microélectroniques, 2011, Université Montpellier II
URL: http://www.theses.fr/2011MON20030
► La thèse s'articule autour du thème des FPGA embarqués(eFPGAs). Ce manuscrit analyse les solutions existantes actuellement et discute les challenges et opportunités de ces technologies;…
(more)
▼ La thèse s'articule autour du thème des FPGA embarqués(eFPGAs). Ce manuscrit analyse les solutions existantes actuellement et discute les challenges et opportunités de ces technologies; une analyse en profondeur des échecs des tentatives passées est également donnée. Sur la base des solutions existantes dans la littérature, une structure de eFPGA à topologie de type grille est proposée, décrite en langage VHDL RTL. Cette solution comporte également les outils de programmation associés. Sur la base de cette proposition, des explorations sont menées quant à la pertinence des solutions proposées au sens de métriques d'actualité tells que densité logique, performance et consommation. Une des contributions notables de cette thèse repose sur la proposition d'une architecture de switch unifiée éliminant les blocs de connexions ainsi que l'interconnexion locale typique des FPGA actuels(telles que ceux modélisables dans le logiciel VPR) tout en autorisant une bonne routabilité. Toutes les expérimentations ont été menées sur une technologie CMOS 65nm faible puissance du fondeur STMicroelectronics, qui permet de fait d'obtenir des évaluations pertinentes. Une seconde contribution notable repose sur l'exploration de l'intégration de eFPGA dans un contexte système sur puce (SoC). Cette approche repose sur l'adjonction d'un eFPGA au sein d'un système intégré, au côté d'un processeur de type LEON3, la programmation s'effectuant sur la base d'une approche de type ESL. Deux explorations sont ainsi déclinées, comme unité intégrée au sein du processeur et comme coprocesseur. Les résultats présentés permettent ainsi d'analyser sous plusieurs angles les compromis possibles ainsi que les perspectives et limitations de ce type d'approches. Finalement, un cas d'étude est également présenté quant à l'intégration de mémoires de type magnétique (MRAM) au sein-même de l'architecture du eFPGA.
The thesis extensively revolves around embedded FPGAs (eFPGAs). It conducts detailed survey focused on programmable technologies to investigate potentials and challenges of eFPGAs and probable failure reasons of several past attempts of different kinds. Based on survey knowledge, technology independent soft eFPGAs of FPGA-like mesh-based classical architecture with standard RTL programming flow areinvestigated. Detailed eFPGA architectural explorations (including CAD tools) are conducted to explore silicon-efficient (logic density, power, performance etc.)eFPGA architectures. Among notable innovations achieved is unified switch block with complete removal of connection block and local interconnect of classical mesh-based FPGAs (VPR-like) while maintaining good routing efficiency. All experiments are conducted on 65nm CMOS low powerSTMicroelectronics process to get practical silicon values and perspectives. Finally eFPGAs in systems (SoCs) potentials and challenges are addressed. A reconfigurable acceleration scenario with ESL exploitation (for programming ease) and full silicon tradeoffs visualization is presented with integration of eFPGA with LEON3…
Advisors/Committee Members: Torres, Lionel (thesis director).
Subjects/Keywords: Architecture eFPGA; Outils CAO pour eFPGAs; Enquête industrielle; Accélération reconfigurable; Esl; Mram; EFPGA architecture; CAD tools for eFPGAs; Industrial survey; Reconfigurable acceleration; Esl; Mram
Record Details
Similar Records
Cite
Share »
Record Details
Similar Records
Cite
« Share





❌
APA ·
Chicago ·
MLA ·
Vancouver ·
CSE |
Export
to Zotero / EndNote / Reference
Manager
APA (6th Edition):
Ahmed, S. Z. (2011). EFPGAs : architectural explorations, System integration, & a Visionary Industrial survey of programmable technologies : EFPGAs : explorations architecturales, integration système, et une enquête visionnaire industriel des technologies programmables. (Doctoral Dissertation). Université Montpellier II. Retrieved from http://www.theses.fr/2011MON20030
Chicago Manual of Style (16th Edition):
Ahmed, Syed Zahid. “EFPGAs : architectural explorations, System integration, & a Visionary Industrial survey of programmable technologies : EFPGAs : explorations architecturales, integration système, et une enquête visionnaire industriel des technologies programmables.” 2011. Doctoral Dissertation, Université Montpellier II. Accessed January 19, 2021.
http://www.theses.fr/2011MON20030.
MLA Handbook (7th Edition):
Ahmed, Syed Zahid. “EFPGAs : architectural explorations, System integration, & a Visionary Industrial survey of programmable technologies : EFPGAs : explorations architecturales, integration système, et une enquête visionnaire industriel des technologies programmables.” 2011. Web. 19 Jan 2021.
Vancouver:
Ahmed SZ. EFPGAs : architectural explorations, System integration, & a Visionary Industrial survey of programmable technologies : EFPGAs : explorations architecturales, integration système, et une enquête visionnaire industriel des technologies programmables. [Internet] [Doctoral dissertation]. Université Montpellier II; 2011. [cited 2021 Jan 19].
Available from: http://www.theses.fr/2011MON20030.
Council of Science Editors:
Ahmed SZ. EFPGAs : architectural explorations, System integration, & a Visionary Industrial survey of programmable technologies : EFPGAs : explorations architecturales, integration système, et une enquête visionnaire industriel des technologies programmables. [Doctoral Dissertation]. Université Montpellier II; 2011. Available from: http://www.theses.fr/2011MON20030
◁ [1] [2] [3] [4] [5] … [1683] ▶
.