Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified by static type checking. Applications include network protocols, business processes, and operating system services. In this paper we define a multithreaded functional language with session types, which unifies, simplifi...

This research was conducted with ten elementary school content teachers from a private educational institution in the department of Quindío order to determine influence language and methodology course on development teachers' professionalism English proficiency. To impact course, qualitative carried out which six three-hour workshops were applied three different perspectives gathered after each...

this study extends prior researches by exploring the effect of organizational orientations on export performance. building on the already extensive literature, we developed a model of relationship. a total of 120 usable questionnaires were received from the iranian food industry smes. the results indicated that entrepreneurial orientation, market orientation and learning orientation positively ...

motivation is perhaps the most frequently used term for explaining the success and failure of educational tasks. numerous studies have shown that motivation is a key to learning (gardner and lambert, 1972). however, such experiments give us an understanding of what motivation is and what the components of motivation are. but they usually fail to reveal that someone is motivated or how we can cr...

BACKGROUND The University of Virginia School of Medicine discontinued animal vivisection in February 2004 for teaching lifesaving procedures to third-year medical students. Consequently, a 1-day course using simulation technology was developed to meet objectives previously covered in the animal laboratory. The authors sought to evaluate the course and hypothesized that the students' confidence ...

BACKGROUND Oklahoma State University-Center for Health Sciences (OSU-CHS) has replaced its microbiology wet laboratory with a variety of tutorials including a case-based interactive session called Microbial Jeopardy!. The question remains whether the time spent by students and faculty in the interactive case-based tutorial is worthwhile? This study was designed to address this question by analy...

The aim of this work was to quantify the ability to predict intrafraction diaphragm motion from an external respiration signal during a course of radiotherapy. The data obtained included diaphragm motion traces from 63 fluoroscopic lung procedures for 5 patients, acquired simultaneously with respiratory motion signals (an infrared camera-based system was used to track abdominal wall motion). Du...

The term ‘Session Fixation vulnerability’ subsumes issues inWeb applications that under certain circumstances enable the adversary to perform a session hijacking attack through controlling the victim’s session identifier value. We explore this vulnerability pattern. First, we give an analysis of the root causes and document existing attack vectors. Then we take steps to assess the current attac...

abstract introduction: hypertension is one of the most prevalent chronic diseases worldwide. because of its chronicity, hypertension requires life-long therapy. many patients tend to discontinue therapy and seek alternative treatments. in this study, we evaluated the efficacy of two behavioral therapeutic techniques, namely relaxation and biofeedback-assisted relaxation in reducing blood pressu...