1,041 research outputs found
Complexity Bounds for Ordinal-Based Termination
`What more than its truth do we know if we have a proof of a theorem in a
given formal system?' We examine Kreisel's question in the particular context
of program termination proofs, with an eye to deriving complexity bounds on
program running times.
Our main tool for this are length function theorems, which provide complexity
bounds on the use of well quasi orders. We illustrate how to prove such
theorems in the simple yet until now untreated case of ordinals. We show how to
apply this new theorem to derive complexity bounds on programs when they are
proven to terminate thanks to a ranking function into some ordinal.Comment: Invited talk at the 8th International Workshop on Reachability
Problems (RP 2014, 22-24 September 2014, Oxford
The new generation of Electronic Click Detector (ECD): the development and field trials data
The use of envelope detection methods to reduce the bandwidth of an echolocation click into the
audio-band is not a new concept. However, the increasing popularity of portable digital recorders
with excellent signal to noise performance needs such signal processing if ultrasonic transient
data needs to be captured. Similarly, this approach allows high frequency information to be
recorded onto video recorder sound tracks providing the advantage of synchronised sound with
images for behavioural studies. This paper describes the development of a new generation of
ECD with improved performance and includes cetacean echolocation data recorded using this
equipment in two independent studies
Up and down the number line: modelling collaboration in contrasting school and home environments
This paper is concerned with user modelling issues such as adaptive educational environments, adaptive information retrieval, and support for collaboration. The HomeWork project is examining the use of learner modelling strategies within both school and home environments for young children aged 5 – 7 years. The learning experience within the home context can vary considerably from school especially for very young learners, and this project focuses on the use of modelling which can take into account the informality and potentially contrasting learning styles experienced within the home and school
Generating socially appropriate tutorial dialog
Analysis of student-tutor coaching dialogs suggest that good human tutors attend to and attempt to influence the motivational state of learners. Moreover, they are sensitive to the social face of the learner, and seek to mitigate the potential face threat of their comments. This paper describes a dialog generator for pedagogical agents that takes motivation and face threat factors into account. This enables the agent to interact with learners in a socially appropriate fashion, and foster intrinsic motivation on the part of the learner, which in turn may lead to more positive learner affective states
Establishing the sensitivity of cetaceans and seals to acoustic deterrent devices in Scotland
The aim of the project is to provide the capability to establish potential risks to cetaceans
and seals from the use of acoustic deterrent devices in Scottish waters. Acoustic Deterrent
Devices (ADDs) are often used on aquaculture sites to reduce predation of seals on fish
stocks using acoustic emissions. These acoustic emissions may also have secondary effects
on marine mammals (including non-target species) ranging from physical injury, behavioural
response and reduced sensory capability.
In this project, an attempt is made to investigate the effects of water depth, seabed sediment
type and bathymetry on the propagation and received levels of ADDs. It also examines the
implications of simplified modelling approaches and associated prediction of a ‘zone of
potential risk’. A generalised sensitivity model has been developed to allow prediction of the
range to exceed predetermined thresholds (e.g. for hearing injury) based on sound pressure
levels and cumulative sound exposure levels for user defined impact criteria based on ADD
type, local environments and functional hearing capabilities of species present in Scotland
Extracorporeal membrane oxygenation (ECMO) as salvage treatment for pulmonary Echinococcus granulosus infection with acute cyst rupture
Extracorporeal membrane oxygenation (ECMO) has been used successfully for the treatment of patients with respiratory failure due to severe infections. Although rare, parasites can also cause severe pulmonary disease. Tapeworms of the genus Echinococcus give rise to the development of cystic structures in the liver, lungs, and other organs. Acute cyst rupture leads to potentially life-threatening infection, and affected patients may deteriorate rapidly. The case of a young woman from Bulgaria who was admitted to hospital with severe dyspnoea, progressive chest pain, and haemoptysis is described. Computed tomography of the chest was pathognomonic for cystic echinococcosis with acute cyst rupture. Following deterioration on mechanical ventilation, she was cannulated for veno-venous ECMO. The patient's condition improved considerably, and she was weaned successfully from ECMO and mechanical ventilation. Following lobectomy of the affected left lower lobe, the patient was discharged home in good condition. This appears to be the first report of the successful use of ECMO as salvage treatment for a severe manifestation of a helminthic disease. Due to recent migration to Western Europe, the number of patients presenting with respiratory failure due to pulmonary echinococcosis with cyst rupture is likely to increase
Extracorporeal membrane oxygenation (ECMO) as salvage treatment for pulmonary Echinococcus granulosus infection with acute cyst rupture
Extracorporeal membrane oxygenation (ECMO) has been used successfully for the treatment of patients with respiratory failure due to severe infections. Although rare, parasites can also cause severe pulmonary disease. Tapeworms of the genus Echinococcus give rise to the development of cystic structures in the liver, lungs, and other organs. Acute cyst rupture leads to potentially life-threatening infection, and affected patients may deteriorate rapidly. The case of a young woman from Bulgaria who was admitted to hospital with severe dyspnoea, progressive chest pain, and haemoptysis is described. Computed tomography of the chest was pathognomonic for cystic echinococcosis with acute cyst rupture. Following deterioration on mechanical ventilation, she was cannulated for veno-venous ECMO. The patient’s condition improved considerably, and she was weaned successfully from ECMO and mechanical ventilation. Following lobectomy of the affected left lower lobe, the patient was discharged home in good condition. This appears to be the first report of the successful use of ECMO as salvage treatment for a severe manifestation of a helminthic disease. Due to recent migration to Western Europe, the number of patients presenting with respiratory failure due to pulmonary echinococcosis with cyst rupture is likely to increase
Technique for the calibration of hydrophones in the frequency range 10 to 600 kHz using a heterodyne interferometer and an acoustically compliant membrane
A technique for the calibration of hydrophones using an optical method is presented. In the method,
a measurement is made of the acoustic particle velocity in the field of a transducer by use of a thin
plastic pellicle that is used to reflect the optical beam of a laser vibrometer, the pellicle being
acoustically transparent at the frequency of interest. The hydrophone under test is then substituted
for the pellicle, and the hydrophone response to the known acoustic field is measured. A
commercially available laser vibrometer is used to undertake the calibrations, and results are
presented over a frequency range from 10 to 600 kHz. A comparison is made with the method of
three-transducer spherical-wave reciprocity, with agreement of better than 0.5 dB over the majority
of the frequency range. The pellicle used is in the form of a narrow strip of thin Mylar©, and a
discussion is given of the effect of the properties of the pellicle on the measurement results. The
initial results presented here show that the method has the potential to form the basis of a primary
standard method, with the calibration traceable to standards of length measurement through the
wavelength of the laser light
Caregiver strain on informal caregivers when providing care for older patients undergoing major abdominal surgery:A longitudinal prospective cohort study
Background: Health-care systems nowadays rely on complementary patient care by informal caregivers. The need for, and burden on, informal caregivers will likely increase in the upcoming years. This study aimed to examine the burden on caregivers when providing care for elderly patients undergoing major abdominal surgery. Methods: A single-centre longitudinal cohort study was conducted between November 2015 and June 2018 in the Amphia hospital in Breda, the Netherlands. Patients aged 70+ undergoing elective surgery for colorectal carcinoma (CRC) or an abdominal aortic aneurysm (AAA) were included in this study. Informal caregiver burden was assessed and compared over time using the Caregiver Strain Index (CSI) at the outpatient clinic visit, at discharge, 2 weeks post-discharge and after 6 and 12 months. The effects of patient- and caregiver-related factors on the experienced caregiver strain were examined. Results: CSI scores of 248 caregivers were significantly increased at discharge (3.5 vs 2.6; p < 0.001) and 2 weeks post-discharge (3.3 vs 2.6; p < 0.001). After 12 months, scores dropped below baseline scores (1.8 vs 2.6; p = 0.012). The highest strain was observed 2 weeks post-discharge for AAA patients and at discharge for CRC patients. Older age, physical or cognitive impairment and burden of comorbidity were associated with an increased caregiver strain at baseline. Type of surgery was independently associated with the change in mean CSI scores over time; a bigger change in caregiver burden is observed after open surgery. Conclusion: In the early postoperative period, perceived caregiver strain was significantly increased. Psychological support for caregivers may be advisable, with timing of this support depending on diagnosis and patient-related factors. Trial registration: This manuscript was retrospectively registered on 05-04-2016 in the Netherlands Trial Register (NTR5932). http://www.trialregister.nl/trialreg/admin/rctview.asp?TC=593
Особенности использования кросс-культурного подхода в менеджменте на примере компании "Газпром нефть"
- …