In the helicopter emergency medical service (HEMS), the captain flies without using visual assistance to keep some distance between the helicopter and clouds or obstacles. Under the present conditions, the communication specialist (CS) and the captain of HEMS contact each other and select the safest flight path. With the increase in future requests, conducting safe and effective navigation is a...

Sangiorgi has shown that the semantics induced by Milner's encoding of the call-by-name-calculus in the-calculus is the equality of LLvy-Longo trees. Later it was realized that Milner's encodings are actually variations on well-known continuation passing style transforms. Then a question is: is the discriminating ability due to-calculus features, or is it already ooered by the cps transform? We...

In the frame of federated and interoperable Electronic Health Records (EHRs), specific coding systems are mandatory for filling out healthcare documents such as the Patient Summary (PS). PS cannot be automatically generated from the patient’s EHR data, because of the sensitivity of its content. For this reason it needs to be validated by a General Practitioner (GP), who is the sole responsible ...

Bultmanll's fallluus questiull about presupposition/css excgesis is here taken up afresh and answered by a young Scandinavian scholar who lecturcs in Old Testament at Uppsala and is director oj the new 'Biblicum' institute established there, The paper, which is hased o.n an address given at all 1FES COIlference jor theological students in 1970, first appeared in the IFES journal for theological...

Creativity support systems (CSS) aim enhancing the creativity of users. There is an emerging stream of research in which the effects of CSS on the creative output of 1Robert Zmud was the accepting senior editor for this paper. ISRL Categories: AC07, AC08, AI01, AI0105, AI06, AI07, GB01

In the course of counter-insurgency campaigns, military forces expend considerable resources and time conducting cordon and search operations in an effort to interdict and suppress criminal groups. However, these operations have a low success rate, with most operations yielding little intelligence or marginal tactical gains while simultaneously angering the local populace. This paper demonstrat...