Abstract In this paper, we derive improved expressions for the harmonic correction to gravity and, first time, potential and height anomaly. They need be applied at stations buried inside masses transform internal values into harmonically downward continued values, which are then input local quasi-geoid modelling using least-squares collocation or techniques in combination with remove-compute-r...

Background—This study was designed to determine whether physician-led remote telemedical management (RTM) compared with usual care would result in reduced mortality in ambulatory patients with chronic heart failure (HF). Methods and Results—We enrolled 710 stable chronic HF patients in New York Heart Association functional class II or III with a left ventricular ejection fraction Յ35% and a his...

The permeability for small solutes and the ultrafiltration capacity of the peritoneum are essential for effective peritoneal dialysis (PD) treatment. Elucidation of the factors that regulate these two properties is therefore of great importance. Ouabain, a potent inhibitor of the Na+-K+ pump has been shown to reduce fluid absorption in animal models of PD. In the present study, we used Ussing c...

We describe the design, implementation, and evaluation of emulated hardware transactional memory, specifically the Intel Haswell Restricted Transactional Memory (RTM) architectural extensions for x86/64, within a virtual machine monitor (VMM). Our system allows users to investigate RTM on hardware that does not provide it, debug their RTM-based transactional software, and stress test it on dive...

Approximately 4,000 yearling heifers (initial BW = 306 ± 1.9 kg) were randomly allotted into 4 treatment groups to determine the effect of melengestrol acetate (MGA) on feedlot performance and carcass parameters. Treatments included a diet containing monensin (Rumensin) and tylosin (Tylan; RT) fed during the entire feeding period; RT plus MGA (RTM) also fed during the entire feeding period; RT ...

The study of a lot of disciplines (e.g. history, geology, archaeology and politics) is often connected to temporal information. The nature of temporal information can be very complex. To help students to understand and memorise time-related knowledge, visualisation is a common approach. Currently, time intervals are usually visualised as linear segments. But, if a lot of information with a comp...

We develop the relational topic model (RTM), a hierarchical model of both network structure and node attributes. We focus on document networks, where the attributes of each document are its words, i.e., discrete observations taken from a fixed vocabulary. For each pair of documents, the RTM models their link as a binary random variable that is conditioned on their contents. The model can be use...

We propose reactive Turing machines (RTMs), extending classical Turing machines with a process-theoretical notion of interaction. We show that every effective transition system is simulated modulo branching bisimilarity by an RTM, and that every computable transition system with a bounded branching degree is simulated modulo divergencepreserving branching bisimilarity. We conclude from these re...

With the release of their latest processor microarchitecture, codenamed Haswell, Intel added new Transactional Synchronization Extensions (TSX) to their processors’ instruction set. These extensions include support for Restricted Transactional Memory (RTM), a programming model in which arbitrary sized units of memory can be read and written in an atomic manner. This paper describes the low-leve...

Braiding is a manufacturing process that is increasingly being used to manufacture pre-forms for Resin Transfer Moulding. A fast simulation method is presented for the prediction of the fibre distribution on complex braided parts and complex kinetic situations (e.g. changes in velocity, orientation). The implementation is suited for triangular surface representations as generated by many CAD so...