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

Exploring the tidal response to bathymetry evolution and present-day sea level rise in a channel–shoal environment

Intertidal flats and salt marshes in channel–shoal environments are at severe risk of drowning under sea level rise (SLR) ultimately ceasing their function of coastal defense. Earlier studies indicated that these environments can be resilient against moderate SLR as their mean height is believed to correlate with tidal amplitude and mean sea level. Recent morphological analyses in the German Wadden Sea on the northwestern European continental shelf contradicted this assumption as mean tidal flat accretion surpassed relative SLR, indicating that nonlinear feedback between SLR, coastal morphodynamics, and tidal dynamics played a role. We explored this relationship in the German Wadden Sea's channel–shoal environment by revisiting the sensitivity of tidal dynamics to observed SLR and coastal bathymetry evolution over one nodal cycle (1997 to 2015) with a numerical model. We found a proportional response of tidal high and low water to SLR when the bathymetry was kept constant. In contrast, coastal bathymetry evolution caused a spatially varying hydrodynamic reaction with both increases and decreases in patterns of tidal characteristics within a few kilometers. An explorative assessment of potential mechanisms suggested that energy dissipation declined near the coast, which we related to a decreasing tidal prism and declining tidal energy import. Our study stresses the fact that an accurate representation of coastal morphology in hindcasts, nowcasts, and ensembles for bathymetry evolution to assess the impact of SLR is needed when using numerical models.</p

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

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

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