当代俄语先例名文化内涵解读

先例名是复杂的、抽象意义的名字,蕴涵着丰富的民族文化理念。先例名包含文化客体的区分、本质和评价特征。俄罗斯经典作品中的先例名蕴涵着深刻的文化内涵及时代特点。先例名为我们研究当代俄罗斯语言文化提供丰富的语言材料。     

Pedagogy for Equity: Teaching in a Hispanic-Serving Institution

Three female tenure-track faculty members at a Hispanic-Serving Institution explored how their cultural backgrounds inform their pedagogical approaches toward equity. They drew upon Mills’s (1959) and Collins’s (1993) frameworks to examine how their personal biographies, local social contexts, and broader systemic institutions affect their teaching processes for diverse students. These teaching processes include limiting assumptions about students, encouraging students to consider their own personal biographies in relation to the social world, welcoming students’ multiple modes of expression, serving as role models, and challenging inequities in schooling. They conclude with recommendations for enhancing inclusivity in student learning and faculty development.     

Looking at the keyboard or the monitor: relationship with text production processes

In this paper we explored text production differences in an expository text production task between writers who looked mainly at the keyboard and writers who looked mainly at the monitor. Eye-tracking technology and keystroke-logging were combined to systematically describe and define these two groups in respect of the complex interplay between text production and the reading of one’s own emerging text. Findings showed that monitor gazers typed significantly faster and were more productive writers. They also read their own text more, and they frequently read in parallel with writing. Analysis of fixation durations suggests that more cognitive processing is in use during reading in parallel with writing than during reading in pauses. Keyboard gazers used the left and right cursor keys significantly more. We suggest that this is because they revised their texts in a much more serial mode than monitor gazers. Finally, analysis of the characteristics of the final texts showed no differences between the groups.     

The missing slope: paradoxical shortening of activated partial thromboplastin time in a patient on unfractionated heparin therapy

This case report describes false shortening of activated partial thromboplastin time (aPTT) due to erroneous optical reading of the clotting point in the presence of unfractionated heparin (UFH), and a biphasic waveform. Activated partial thromboplastin time performed on a coagulometer with photo-optical detection yielded an ambiguous clotting curve characterized by an early and steady decrease in light transmittance throughout the whole measuring range, with the clotting point read at 65 seconds. Further investigations included measurement of aPTT by means of a mechanical clot detection method as well as determination of another heparin-sensitive coagulation assay, that is thrombin time (TT), both being unmeasurably prolonged (> 150 seconds). Communication with clinicians revealed that the patient was on continuous UFH therapy and had an underlying sepsis, with highly elevated C-reactive protein (289 mg/L). The aPTT measurements requested at three timepoints later during the same day revealed gradual aPTT shortening and unveiled a peculiar biphasic waveform pattern. In this case, unmeasurably prolonged aPTT due to UFH therapy was masked by a biphasic aPTT curve pattern making only the first slope of the biphasic waveform visible within the measuring range. The early decrease in plasma light transmittance mimicked optical changes related to clot formation, thus causing erroneous optical reading and yielding a falsely shortened aPTT. This case emphasizes that such a pattern should be carefully inspected, especially when a combination of a critically ill condition and UFH therapy is present, in order to prevent erroneous reporting of aPTT and potential adverse effects on patient care.     

An industrial application of symbolic model checking

Model checking techniques are recognized to provide reliable and copious results. Instead of examining a few cases only – as it is done in testing – model checking includes the whole state space in mathematical proofs of correctness. Yet, this completeness is seen as a drawback as the state explosion problem is hard to handle. In our industrial case study, we apply automated model checking techniques to an innovative elevator system, the TWIN by ThyssenKrupp. By means of abstraction and nondeterminism, we cope with runtime behaviour and achieve to efficiently prove our specification’s validity. The elevator’s safety requirements are exhaustively expressed in temporal logic along with real-world and algorithmic prerequisites, consistency properties, and fairness constraints. Beyond verifying system safety for an actual installation, our case study demonstrates the rewarding applicability of model checking at an industrial scale. CR subject classification  D.2.4; F.3.1; J.7 ; C.3