946 resultados para Maximal Rewriting of a Regular Language at a Regular Substitution


Relevância:

100.00% 100.00%

Publicador:

Resumo:

This chapter introduces principles of methodology in TESOL, and provides an overview of issues learners of a second language may have

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A teaching and learning development project is currently under way at Queensland University of Technology to develop advanced technology videotapes for use with the delivery of structural engineering courses. These tapes consist of integrated computer and laboratory simulations of important concepts, and behaviour of structures and their components for a number of structural engineering subjects. They will be used as part of the regular lectures and thus will not only improve the quality of lectures and learning environment, but also will be able to replace the ever-dwindling laboratory teaching in these subjects. The use of these videotapes, developed using advanced computer graphics, data visualization and video technologies, will enrich the learning process of the current diverse engineering student body. This paper presents the details of this new method, the methodology used, the results and evaluation in relation to one of the structural engineering subjects, steel structures.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

A teaching and learning development project is currently under way at Queens-land University of Technology to develop advanced technology videotapes for use with the delivery of structural engineering courses. These tapes consist of integrated computer and laboratory simulations of important concepts, and behaviour of structures and their components for a number of structural engineering subjects. They will be used as part of the regular lectures and thus will not only improve the quality of lectures and learning environment, but also will be able to replace the ever-dwindling laboratory teaching in these subjects. The use of these videotapes, developed using advanced computer graphics, data visualization and video technologies, will enrich the learning process of the current diverse engineering student body. This paper presents the details of this new method, the methodology used, the results and evaluation in relation to one of the structural engineering subjects, steel structures.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The topic of the present work is to study the relationship between the power of the learning algorithms on the one hand, and the expressive power of the logical language which is used to represent the problems to be learned on the other hand. The central question is whether enriching the language results in more learning power. In order to make the question relevant and nontrivial, it is required that both texts (sequences of data) and hypotheses (guesses) be translatable from the “rich” language into the “poor” one. The issue is considered for several logical languages suitable to describe structures whose domain is the set of natural numbers. It is shown that enriching the language does not give any advantage for those languages which define a monadic second-order language being decidable in the following sense: there is a fixed interpretation in the structure of natural numbers such that the set of sentences of this extended language true in that structure is decidable. But enriching the original language even by only one constant gives an advantage if this language contains a binary function symbol (which will be interpreted as addition). Furthermore, it is shown that behaviourally correct learning has exactly the same power as learning in the limit for those languages which define a monadic second-order language with the property given above, but has more power in case of languages containing a binary function symbol. Adding the natural requirement that the set of all structures to be learned is recursively enumerable, it is shown that it pays o6 to enrich the language of arithmetics for both finite learning and learning in the limit, but it does not pay off to enrich the language for behaviourally correct learning.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Automatic spoken Language Identi¯cation (LID) is the process of identifying the language spoken within an utterance. The challenge that this task presents is that no prior information is available indicating the content of the utterance or the identity of the speaker. The trend of globalization and the pervasive popularity of the Internet will amplify the need for the capabilities spoken language identi¯ca- tion systems provide. A prominent application arises in call centers dealing with speakers speaking di®erent languages. Another important application is to index or search huge speech data archives and corpora that contain multiple languages. The aim of this research is to develop techniques targeted at producing a fast and more accurate automatic spoken LID system compared to the previous National Institute of Standards and Technology (NIST) Language Recognition Evaluation. Acoustic and phonetic speech information are targeted as the most suitable fea- tures for representing the characteristics of a language. To model the acoustic speech features a Gaussian Mixture Model based approach is employed. Pho- netic speech information is extracted using existing speech recognition technol- ogy. Various techniques to improve LID accuracy are also studied. One approach examined is the employment of Vocal Tract Length Normalization to reduce the speech variation caused by di®erent speakers. A linear data fusion technique is adopted to combine the various aspects of information extracted from speech. As a result of this research, a LID system was implemented and presented for evaluation in the 2003 Language Recognition Evaluation conducted by the NIST.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

SAP and its research partners have been developing a lan- guage for describing details of Services from various view- points called the Unified Service Description Language (USDL). At the time of writing, version 3.0 describes technical implementation aspects of services, as well as stakeholders, pricing, lifecycle, and availability. Work is also underway to address other business and legal aspects of services. This language is designed to be used in service portfolio management, with a repository of service descriptions being available to various stakeholders in an organisation to allow for service prioritisation, development, deployment and lifecycle management. The structure of the USDL metadata is specified using an object-oriented metamodel that conforms to UML, MOF and EMF Ecore. As such it is amenable to code gener-ation for implementations of repositories that store service description instances. Although Web services toolkits can be used to make these programming language objects available as a set of Web services, the practicalities of writing dis- tributed clients against over one hundred class definitions, containing several hundred attributes, will make for very large WSDL interfaces and highly inefficient “chatty” implementations. This paper gives the high-level design for a completely model-generated repository for any version of USDL (or any other data-only metamodel), which uses the Eclipse Modelling Framework’s Java code generation, along with several open source plugins to create a robust, transactional repository running in a Java application with a relational datastore. However, the repository exposes a generated WSDL interface at a coarse granularity, suitable for distributed client code and user-interface creation. It uses heuristics to drive code generation to bridge between the Web service and EMF granularities.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Eccentric contractions (ECC) require lower systemic oxygen (O2) and induce greater symptoms of muscle damage than concentric contractions (CON); however, it is not known if local muscle oxygenation is lower in ECC than CON during and following exercise. This study compared between ECC and CON for changes in biceps brachii muscle oxygenation [tissue oxygenation index (TOI)] and hemodynamics [total hemoglobin volume (tHb) = oxygenated-Hb + deoxygenated-Hb], determined by near-infrared spectroscopy over 10 sets of 6 maximal contractions of the elbow flexors of 10 healthy subjects. This study also compared between ECC and CON for changes in TOI and tHb during a 10-s sustained and 30-repeated maximal isometric contraction (MVC) task measured immediately before and after and 1–3 days following exercise. The torque integral during ECC was greater (P < 0.05) than that during CON by ∼30%, and the decrease in TOI was smaller (P < 0.05) by ∼50% during ECC than CON. Increases in tHb during the relaxation phases were smaller (P < 0.05) by ∼100% for ECC than CON; however, the decreases in tHb during the contraction phases were not significantly different between sessions. These results suggest that ECC utilizes a lower muscle O2 relative to O2 supply compared with CON. Following exercise, greater (P < 0.05) decreases in MVC strength and increases in plasma creatine kinase activity and muscle soreness were evident 1–3 days after ECC than CON. Torque integral, TOI, and tHb during the sustained and repeated MVC tasks decreased (P < 0.01) only after ECC, suggesting that muscle O2 demand relative to O2 supply during the isometric tasks was decreased after ECC. This could mainly be due to a lower maximal muscle mass activated as a consequence of muscle damage; however, an increase in O2 supply due to microcirculation dysfunction and/or inflammatory vasodilatory responses after ECC is recognized.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Early-number is a rich fabric of interconnected ideas that is often misunderstood and thus taught in ways that do not lead to rich understanding. In this presentation, a visual language is used to describe the organisation of this domain of knowledge. This visual language is based upon Piaget’s notion of reflective abstraction (Dubinsky, 1991; Piaget, 1977/2001), and thus captures the epistemological associations that link the problems, concepts and representations of the domain. The constructs of this visual language are introduced and then applied to the early-number domain. The introduction to this visual language may prompt reflection upon its suitability and significance to the description of other domains of knowledge. Through such a process of analysis and description, the visual language may serve as a scaffold for enhancing pedagogical content knowledge and thus ultimately improve learning outcomes.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Physical inactivity is a serious concern both nationally and internationally. Despite the numerous benefits of performing regular physical activity, many individuals lead sedentary lifestyles. Of concern, though, is research showing that some population sub-groups are less likely to be active, such as parents of young children. Although there is a vast amount of research dedicated to understanding people.s physical activity-related behaviours, there is a paucity of research examining those factors that influence parental physical activity. More importantly, research applying theoretical models to understand physical activity decision-making among this at-risk population is limited. Given the current obesity epidemic, the decline in physical activity with parenthood, and the many social and health benefits associated with regular physical activity, it is important that adults with young children are sufficiently active. In light of the dearth of research examining parental physical activity and the scant research applying a theory-based approach to gain this understanding, the overarching aim of the current program of research was to adopt a mixed methods approach as well as use sound theoretical frameworks to understand the regular physical activity behaviour of mothers and fathers with young children. This program of research comprised of three distinct stages: a qualitative stage exploring individual, social, and psychological factors that influence parental regular physical activity (Stage 1); a quantitative stage identifying the important predictors of parental regular physical activity intentions and behaviour using sound theoretical frameworks and testing a single-item measure for assessing parental physical activity behaviour (Stage 2); and a qualitative stage exploring strategies for an intervention program aimed at increasing parental regular physical activity (Stage 3). As a thesis by publication, eight papers report the findings of this program of research; these papers are presented according to the distinct stages of investigation that guided this program of research. Stage One of the research program comprised a qualitative investigation using a focus group/interview methodology with parents of children younger than 5 years of age (N = 40; n = 21 mothers, n = 19 fathers) (Papers 1, 2, and 3). Drawing broadly on a social constructionist approach (Paper 1), thematic analytic methods revealed parents. understandings of physical activity (e.g., requires effort), patterns of physical activity-related behaviours (e.g., grab it when you can, declining physical activity habits), and how constructions of social role expectations might influence parents. physical activity decision making (e.g., creating an active family culture, guilt and selfishness). Drawing on the belief-based framework of the TPB (Paper 2), thematic content analytic methods revealed parents. commonly held beliefs about the advantages (e.g., improves parenting practices), disadvantages (e.g., interferes with commitments), barriers (e.g., time), and facilitators (e.g., social support) to performing regular physical activity. Parents. normative beliefs about social approval from important others or groups (e.g., spouse/partner) were also identified. Guided by theories of social support, Paper Three identified parents. perceptions about the specific social support dimensions that influence their physical activity decision making. Thematic content analysis identified instrumental (e.g., providing childcare, taking over chores), emotional (e.g., encouragement, companionship), and informational support (e.g., ideas and advice) as being important to the decision-making of parents in relation to their regular physical activity behaviour. The results revealed also that having support for being active is not straightforward (e.g., guilt-related issues inhibited the facilitative nature of social support for physical activity). Stage Two of the research program comprised a quantitative examination of parents. physical activity intentions and behaviour (Papers 4, 5, 6, and 7). Parents completed an extended TPB questionnaire at Time 1 (N = 580; n = 288 mothers, n = 292 fathers) and self-reported their physical activity at Time 2, 1 week later (N = 458; n = 252 mothers, n = 206 fathers). Paper Four revealed key behavioural (e.g., improving parenting practices), normative (e.g., people I exercise with), and control (e.g., lack of time) beliefs as significant independent predictors of parental physical activity. A test of the TPB augmented to include the constructs of self-determined motivation and planning was assessed in Paper Five. The findings revealed that the effect of self-determined motivation on intention was fully mediated by the TPB variables and the impact of intention on behaviour was partially mediated by the planning variables. Slight differences in the model.s motivational sequence between the sexes were also noted. Paper Six investigated, within a TPB framework, a range of social influences on parents. intentions to be active. For both sexes, attitude, perceived behavioural control, group norms, friend general support, and an active parent identity predicted intentions, with subjective norms and family support further predicting mothers. intentions and descriptive norms further predicting fathers. intentions. Finally, the measurement of parental physical activity was investigated in Paper Seven of Stage Two. The results showed that parents are at risk of low levels of physical activity, with the findings also revealing validation support for a brief single-item physical activity measure. Stage Three of the research program comprised a qualitative examination of parents. (N = 12; n = 6 mothers, n = 6 fathers) ideas for strategies that may be useful for developing and delivering an intervention program aimed at increasing parental physical activity (Paper 8). Parents revealed a range of strategies for what to include in a physical activity intervention designed for parents of young children. For example, parents identified persuasion and information type messages, problem-solving strategies that engage parents in generating a priority list of their lifestyle commitments, and behavioural modification techniques such as goal setting and incentives. Social intervention strategies (e.g., social comparison, counselling) and environmental approaches (e.g., community-based integrative parent/child programs) were also identified as was a skill-based strategy in helping parents generate a flexible life/family plan. Additionally, a range of strategies for how to best deliver a parental physical activity intervention was discussed. Taken as a whole, Paper Eight found that adopting a multifaceted approach in both the design and implementation of a resultant physical activity intervention may be useful in helping to increase parental physical activity. Overall, this program of research found support for parents as a unique group who hold both similar and distinctive perceptions about regular physical activity to the general adult population. Thus, these findings highlight the importance of targeting intervention strategies for parents of young children. Additionally, the findings suggest that it might also be useful to tailor some messages specifically to each sex. Effective promotion of physical activity in parents of young children is essential given the low rate of activity in this population. Results from this program of research highlight parents as an at-risk group for inactivity and provide an important first step in identifying the factors that influence both mothers. and fathers. physical activity decision making. These findings, in turn, provide a foundation on which to build effective intervention programs aimed at increasing parents. regular physical activity which is essential for ensuring the health and well-being of parents with young children.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In second language classrooms, listening is gaining recognition as an active element in the processes of learning and using a second language. Currently, however, much of the teaching of listening prioritises comprehension without sufficient emphasis on the skills and strategies that enhance learners’ understanding of spoken language. This paper presents an argument for rethinking the emphasis on comprehension and advocates augmenting current teaching with an explicit focus on strategies. Drawing on the literature, the paper provides three models of strategy instruction for the teaching and development of listening skills. The models include steps for implementation that accord with their respective approaches to explicit instruction. The final section of the paper synthesises key points from the models as a guide for application in the second language classroom. The premise underpinning the paper is that the teaching of strategies can provide learners with active and explicit measures for managing and expanding their listening capacities, both in the learning and ‘real world’ use of a second language.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Error correction is perhaps the most widely used method for responding to student writing. While various studies have investigated the effectiveness of providing error correction, there has been relatively little research incorporating teachers' beliefs, practices, and students' preferences in written error correction. The current study adopted features of an ethnographic research design in order to explore the beliefs and practices of ESL teachers, and investigate the preferences of L2 students regarding written error correction in the context of a language institute situated in the Brisbane metropolitan district. In this study, two ESL teachers and two groups of adult intermediate L2 students were interviewed and observed. The beliefs and practices of the teachers were elicited through interviews and classroom observations. The preferences of L2 students were elicited through focus group interviews. Responses of the participants were encoded and analysed. Results of the teacher interviews showed that teachers believe that providing written error correction has advantages and disadvantages. Teachers believe that providing written error correction helps students improve their proof-reading skills in order to revise their writing more efficiently. However, results also indicate that providing written error correction is very time consuming. Furthermore, teachers prefer to provide explicit written feedback strategies during the early stages of the language course, and move to a more implicit strategy of providing written error correction in order to facilitate language learning. On the other hand, results of the focus group interviews suggest that students regard their teachers' practice of written error correction as important in helping them locate their errors and revise their writing. However, students also feel that the process of providing written error correction is time consuming. Nevertheless, students want and expect their teachers to provide written feedback because they believe that the benefits they gain from receiving feedback on their writing outweigh the apparent disadvantages of their teachers' written error correction strategies.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

PySSM is a Python package that has been developed for the analysis of time series using linear Gaussian state space models (SSM). PySSM is easy to use; models can be set up quickly and efficiently and a variety of different settings are available to the user. It also takes advantage of scientific libraries Numpy and Scipy and other high level features of the Python language. PySSM is also used as a platform for interfacing between optimised and parallelised Fortran routines. These Fortran routines heavily utilise Basic Linear Algebra (BLAS) and Linear Algebra Package (LAPACK) functions for maximum performance. PySSM contains classes for filtering, classical smoothing as well as simulation smoothing.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Listening comprehension is the primary channel of learning a language. Yet of the four dominant macro-skills (listening, speaking, reading and writing), it is often difficult and inaccessible for second and foreign language learners due to its implicit process. The secondary skill, speaking, proceeds listening cognitively. Aural/oral skills precede the graphic skills, such as reading and writing, as they form the circle of language learning process. However, despite the significant relationship with other language skills, listening comprehension is treated lightly in the applied linguistics research. Half of our daily conversation and three quarters of classroom interaction are virtually devoted to listening comprehension. To examine the relationship of listening skill with other language skills, the outcome of 1800 Iranian participants undertaking International English Language Testing System (IELTS) in Tehran indicates the close correlation between listening comprehension and the overall language proficiency.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Evidence for a two-metal ion mechanism for cleavage of the HH16 hammerhead ribozyme is provided by monitoring the rate of cleavage of the RNA substrate as a function of La3+ concentration in the presence of a constant concentration of Mg2+. We show that a bell-shaped curve of cleavage activation is obtained as La3+ is added in micromolar concentrations in the presence of 8 mM Mg2+, with a maximal rate of cleavage being attained in the presence of 3 microM La3+. These results show that two-metal ion binding sites on the ribozyme regulate the rate of the cleavage reaction and, on the basis of earlier estimates of the Kd values for Mg2+ of 3.5 mM and > 50 mM, that these sites bind La3+ with estimated Kd values of 0.9 and > 37.5 microM, respectively. Furthermore, given the very different effects of these metal ions at the two binding sites, with displacement of Mg2+ by La3+ at the stronger (relative to Mg2+) binding site activating catalysis and displacement of Mg2+ by La3+ at the weaker (relative to Mg2+) (relative to Mg2+) binding site inhibiting catalysis, we show that the metal ions at these two sites play very different roles. We argue that the metal ion at binding site 1 coordinates the attacking 2'-oxygen species in the reaction and lowers the pKa of the attached proton, thereby increasing the concentration of the attacking alkoxide nucleophile in an equilibrium process. In contrast, the role of the metal ion at binding site 2 is to catalyze the reaction by absorbing the negative charge that accumulates at the leaving 5'-oxygen in the transition state. We suggest structural reasons why the Mg(2+)-La3+ ion combination is particularly suited to demonstrating these different roles of the two-metal ions in the ribozyme cleavage reaction.