This paper describes how proof texts are constructed and edited in the Proof General Kit framework. Proof texts are the central object of development within our framework and we want to allow flexible ways to construct them, both explicitly via text editing and implicitly by graphical manipulation or meta-manipulation. To this end, the framework allows for user-oriented display components, conn...

We have developed an original learning method in order to extract latent structures in raw texts. The induced structure is a data-driven tree which can be unbalanced. It has been obtained from successive partitions of the texts in clusters, with an incremental number of classes ranging from 2 to K; each quasi-optimal partition has been performed with an adaptation of the k-means clustering. The...

The information transmitted by images accompanying technical and scientific texts id supposed to lead to a better, visually-oriented understanding of the concepts and descriptions contained in the text. Given that conceptualising scientific information entails creating mental representations of the concepts, and since the function of images is complementary to the function of texts, cultural at...

Multiword units (MWUs) are critical in processing and understanding texts and have been extensively studied in relation to their occurrences in texts. MWUs also play an essential role in organising vocabulary, which is most prominently visible in domain-specific terminologies. There has been, however, a limited and mostly theoretical concern with the latter aspect of MWUs; researchers intereste...

tourism has always been the main concern of the organizations which are responsible for attracting tourists to visit iran. so preparing and, especially, translating tourist texts are vital for improving tourism in our country. in this paper, we deal with the form of language used in tourist texts and the strategies of translating them by giving some examples. domesticating and foreignising stra...

this paper, largely motivated by hoey (2001), revisits the issue of written discourse analysis and, in particular, the problem-solution pattern. much discussion embarrasses the way in which texts are pro-duced and understood. the different functional approaches include halliday and hasan’s approach, van dijk’s process-oriented approach, the procedural approach of de beaugrande and dressler, and...

The POSBIOTM/W1 is a workbench for machine-learning oriented biomedical text mining system. The POSTBIOTM/W is intended to assist biologist in mining useful information efficiently from biomedical text resources. To do so, it provides a suit of tools for gathering, managing, analyzing and annotating texts. The workbench is implemented in Java, which means that it is platform-independent.

This article sets out to examine the effect of utilizing different culturally-based materials on EFL university students' foreign language reading anxiety, reading comprehension self-efficacy, and reading proficiency within project-based classes. The research was carried out with two classes of intermediate freshmen majoring in English Language Teaching. The comparison group had to present thei...