Requirements-engineering for educational software [14] raised the question, how much efforts would be required for implementing substantial material from mechanics [16, 17] in a system based on technology from Computer Theorem Proving (TP). The question appears relevant for several kinds of “users”: for decision makers, for course designers and last not least for staff from faculties of enginee...

Lipoprotein Ltp encoded by temperate Streptococcus thermophilus phage TP-J34 is the prototype of the wide-spread family of host cell surface-exposed lipoproteins involved in superinfection exclusion (sie). When screening for other S. thermophilus phages expressing this type of lipoprotein, three temperate phages-TP-EW, TP-DSM20617, and TP-778-were isolated. In this communication we present the ...

PURPOSE AND EXPERIMENTAL DESIGN To clarify the significance of thymidine phosphorylase (TP)/platelet-derived endothelial cell growth factor/gliostatin in human glioma, we examined TP expression immunohistochemically in a series of 50 astrocytic tumors and correlated its expression with tumor angiogenesis and apoptosis, as well as prognosis. RESULTS The majority of TP-positive cells were of ma...

The purpose of this study is to investigate the influence of given-new ordering on word order change and topic marker WA, using a self-paced reading task. The results demonstrated that OACCSNOMV is sensitive to given-new information, but SNOMOACCV, STOPOACCV, and OTOPSNOMV are not. This fact can be explained by the Markedness Principle for Discourse Rule Violation (Kuno, 1987: 212): both SNOMOA...

Worldwide urbanization has significantly changed the landscape in recent decades, which resulted in an urban heat island (UHI) phenomenon. This study quantitatively analyzed the spatiotemporal changes of the urban heat island (UHI) of Zhangzhou estuary city of China, in the context of urbanisation using Landsat Thematic Mapper (TM) and Enhanced Thematic Mapper Plus (ETM+) thermal images acquire...

The network of excellence HUMAINE is currently making a co-ordinated, interdisciplinary effort to develop a consistent view on emotion-oriented computing. This overview paper proposes a “map” of the research area, distinguishing core technologies from applicationoriented and psychologically oriented work. First results from the ongoing research in the thematic workpackages are reported.

BACKGROUND The inclusion of qualitative studies in systematic reviews poses methodological challenges. This paper presents worked examples of two methods of data synthesis (textual narrative and thematic), used in relation to one review, with the aim of enabling researchers to consider the strength of different approaches. METHODS A systematic review of lay perspectives of infant size and gro...