Therapeutic drug monitoring of once daily aminoglycoside dosing: comparison of two methods and investigation of the optimal blood sampling strategy.

PURPOSE Therapeutic drug monitoring of patients receiving once daily aminoglycoside therapy can be performed using pharmacokinetic (PK) formulas or Bayesian calculations. While these methods produced comparable results, their performance has never been checked against full PK profiles. We performed a PK study in order to compare both methods and to determine the best time-points to estimate AUC0-24 and peak concentrations (C max). METHODS We obtained full PK profiles in 14 patients receiving a once daily aminoglycoside therapy. PK parameters were calculated with PKSolver using non-compartmental methods. The calculated PK parameters were then compared with parameters estimated using an algorithm based on two serum concentrations (two-point method) or the software TCIWorks (Bayesian method). RESULTS For tobramycin and gentamicin, AUC0-24 and C max could be reliably estimated using a first serum concentration obtained at 1 h and a second one between 8 and 10 h after start of the infusion. The two-point and the Bayesian method produced similar results. For amikacin, AUC0-24 could reliably be estimated by both methods. C max was underestimated by 10-20% by the two-point method and by up to 30% with a large variation by the Bayesian method. CONCLUSIONS The ideal time-points for therapeutic drug monitoring of once daily administered aminoglycosides are 1 h after start of a 30-min infusion for the first time-point and 8-10 h after start of the infusion for the second time-point. Duration of the infusion and accurate registration of the time-points of blood drawing are essential for obtaining precise predictions.

Fast parallel kriging-based stepwise uncertainty reduction with application to the identification of an excursion set

Stepwise uncertainty reduction (SUR) strategies aim at constructing a sequence of points for evaluating a function  f in such a way that the residual uncertainty about a quantity of interest progressively decreases to zero. Using such strategies in the framework of Gaussian process modeling has been shown to be efficient for estimating the volume of excursion of f above a fixed threshold. However, SUR strategies remain cumbersome to use in practice because of their high computational complexity, and the fact that they deliver a single point at each iteration. In this article we introduce several multipoint sampling criteria, allowing the selection of batches of points at which f can be evaluated in parallel. Such criteria are of particular interest when f is costly to evaluate and several CPUs are simultaneously available. We also manage to drastically reduce the computational cost of these strategies through the use of closed form formulas. We illustrate their performances in various numerical experiments, including a nuclear safety test case. Basic notions about kriging, auxiliary problems, complexity calculations, R code, and data are available online as supplementary materials.

Explicit mathematics and operational set theory: some ontological comparisons

We discuss several ontological properties of explicit mathematics and operational set theory: global choice, decidable classes, totality and extensionality of operations, function spaces, class and set formation via formulas that contain the definedness predicate and applications.

The Utilization of Classical Spin Monte Carlo Methods to Simulate the Magnetic Behavior of Extended Three-Dimensional Cubic Networks Incorporating M(II) Ions with an S = 5/2 Ground State Spin

The numerical simulations of the magnetic properties of extended three-dimensional networks containing M(II) ions with an S = 5/2 ground-state spin have been carried out within the framework of the isotropic Heisenberg model. Analytical expressions fitting the numerical simulations for the primitive cubic, diamond, together with (10−3) cubic networks have all been derived. With these empirical formulas in hands, we can now extract the interaction between the magnetic ions from the experimental data for these networks. In the case of the primitive cubic network, these expressions are directly compared with those from the high-temperature expansions of the partition function. A fit of the experimental data for three complexes, namely [(N(CH3)4][Mn(N3)] 1, [Mn(CN4)]n 2, and [FeII(bipy)3][MnII2(ox)3] 3, has been carried out. The best fits were those obtained using the following parameters, J = −3.5 cm-1, g = 2.01 (1); J = −8.3 cm-1, g = 1.95 (2); and J = −2.0 cm-1, g = 1.95 (3).

Factors influencing the accuracy of fetal weight estimation with a focus on preterm birth at the limit of viability: a systematic literature review

BACKGROUND Fetal weight estimation (FWE) is an important factor for clinical management decisions, especially in imminent preterm birth at the limit of viability between 23(0/7) and 26(0/7) weeks of gestation. It is crucial to detect and eliminate factors that have a negative impact on the accuracy of FWE. DATA SOURCES In this systematic literature review, we investigated 14 factors that may influence the accuracy of FWE, in particular in preterm neonates born at the limit of viability. RESULTS We found that gestational age, maternal body mass index, amniotic fluid index and ruptured membranes, presentation of the fetus, location of the placenta and the presence of multiple fetuses do not seem to have an impact on FWE accuracy. The influence of the examiner's grade of experience and that of fetal gender were discussed controversially. Fetal weight, time interval between estimation and delivery and the use of different formulas seem to have an evident effect on FWE accuracy. No results were obtained on the impact of active labor. DISCUSSION This review reveals that only few studies investigated factors possibly influencing the accuracy of FWE in preterm neonates at the limit of viability. Further research in this specific age group on potential confounding factors is needed.

Body Height Estimation from Femur Measurements in Postmortem Computed Tomography

After attending this presentation, attendees will: (1) understand how body height from computed tomography data can be estimated; and, (2) gain knowledge about the accuracy of estimated body height and limitations. The presentation will impact the forensic science community by providing knowledge and competence which will enable attendees to develop formulas for single bones to reconstruct body height using postmortem Computer Tomography (p-CT) data. The estimation of Body Height (BH) is an important component of the identification of corpses and skeletal remains. Stature can be estimated with relative accuracy via the measurement of long bones, such as the femora. Compared to time-consuming maceration procedures, p-CT allows fast and simple measurements of bones. This study undertook four objectives concerning the accuracy of BH estimation via p-CT: (1) accuracy between measurements on native bone and p-CT imaged bone (F1 according to Martin 1914); (2) intra-observer p-CT measurement precision; (3) accuracy between formula-based estimation of the BH and conventional body length measurement during autopsy; and, (4) accuracy of different estimation formulas available.1 In the first step, the accuracy of measurements in the CT compared to those obtained using an osteometric board was evaluated on the basis of eight defleshed femora. Then the femora of 83 female and 144 male corpses of a Swiss population for which p-CTs had been performed, were measured at the Institute of Forensic Medicine in Bern. After two months, 20 individuals were measured again in order to assess the intraobserver error. The mean age of the men was 53±17 years and that of the women was 61±20 years. Additionally, the body length of the corpses was measured conventionally. The mean body length was 176.6±7.2cm for men and 163.6±7.8cm for women. The images that were obtained using a six-slice CT were reconstructed with a slice thickness of 1.25mm. Analysis and measurements of CT images were performed on a multipurpose workstation. As a forensic standard procedure, stature was estimated by means of the regression equations by Penning & Riepert developed on a Southern German population and for comparison, also those referenced by Trotter & Gleser “American White.”2,3 All statistical tests were performed with a statistical software. No significant differences were found between the CT and osteometric board measurements. The double p-CT measurement of 20 individuals resulted in an absolute intra-observer difference of 0.4±0.3mm. For both sexes, the correlation between the body length and the estimated BH using the F1 measurements was highly significant. The correlation coefficient was slightly higher for women. The differences in accuracy of the different formulas were small. While the errors of BH estimation were generally ±4.5–5.0cm, the consideration of age led to an increase in accuracy of a few millimetres to about 1cm. BH estimations according to Penning & Riepert and Trotter & Gleser were slightly more accurate when age-at-death was taken into account.2,3 That way, stature estimations in the group of individuals older than 60 years were improved by about 2.4cm and 3.1cm.2,3 The error of estimation is therefore about a third of the common ±4.7cm error range. Femur measurements in p-CT allow very accurate BH estimations. Estimations according to Penning led to good results that (barely) come closer to the true value than the frequently used formulas by Trotter & Gleser “American White.”2,3 Therefore, the formulas by Penning & Riepert are also validated for this substantial recent Swiss population.

Skolemization for Substructural Logics

The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here (following similar ideas of Baaz and Iemhoff for first-order intermediate logics in [1]) that first-order substructural logics with a semantics satisfying certain witnessing conditions admit a “parallel” Skolemization procedure where a strong quantifier is removed by introducing a finite disjunction or conjunction (as appropriate) of formulas with multiple new function symbols. These logics typically lack equivalent prenex forms. Also, semantic consequence does not in general reduce to satisfiability. The Skolemization theorems presented here therefore take various forms, applying to the left or right of the consequence relation, and to all formulas or only prenex formulas.

Extending private-collective innovation: a case study

The private-collective innovation model proposes incentives for individuals and firms to privately invest resources to create public goods innovations. Such innovations are characterized by non-rivalry and non-exclusivity in consumption. Examples include open source software, user-generated media products, drug formulas, and sport equipment designs. There is still limited empirical research on private-collective innovation. We present a case study to (1) provide empirical evidence of a case of private-collective innovation, showing specific benefits, and (2) to extend the private-collective innovation model by analyzing the hidden costs for the company involved. We examine the development of the Nokia Internet Tablet, which builds on both proprietary and open source software development, and that involves both Nokia developers and volunteers who are not employed by the company. Seven benefits for Nokia are identified, as are five hidden costs: difficulty to differentiate, guarding business secrets, reducing community entry barriers, giving up control, and organizational inertia. We examine the actions taken by the management to mitigate these costs throughout the development period.

A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.

VIS-NIR reflectance of water ice/regolith analogue mixtures and implications for the detectability of ice mixed within planetary regoliths

Permanently shadowed regions at the poles of the Moon and Mercury have been pointed out as candidates for hosting water ice at their surface. We have measured in the laboratory the visible and near infrared spectral range (VIS-NIR) bidirectional reflectance of intimate mixtures of water ice and the JSC-1AF lunar simulant for different ice concentrations, particle sizes, and measurement geometries. The nonlinearity between the measured reflectance and the amount of ice in the mixture can be reproduced to some extent by the mixing formulas of standard reflectance models, in particular, those of Hapke and Hiroi, which are tested here. Estimating ice concentrations from reflectance data without knowledge of the mixing coefficientsstrongly dependent on the size/shape of the grainscan result in large errors. According to our results, it is possible that considerable amounts of water ice might be intimately mixed in the regolith of the Moon and Mercury without producing noticeable photometric signatures.

Nitric Oxide Equilibrium

The explicit formulas for following the passage to chemical equilibrium are derived.

Financial impact of the Medicare prospective payment system on long term acute care hospitals

Objective. Long Term Acute Care Hospitals (LTACs) are subject to Medicare rules because they accept Medicare and Medicaid patients. In October 2002, Medicare changed the LTAC reimbursement formulas, from a cost basis system to a Prospective Payment System (PPS). This study examines whether the PPS has negatively affected the financial performance of the LTAC hospitals in the period following the reimbursement change (2003-2006), as compared to the period prior to the change (1999-2003), and if so, to what extent. This study will also examine whether the PPS has resulted in a decreased average patient length of stay (LOS) in the LTAC hospitals for the period of 2003-2006 as compared to the prior period of 1999-2003, and if so, to what extent. ^ Methods. The study group consists of two large LTAC hospital systems, Kindred Healthcare Inc. and Select Specialty Hospitals of Select Medical Corporation. Financial data and operational indicators were reviewed, tabulated and dichotomized into two groups, covering the two periods: 1999-2002 and 2003-2006. The financial data included net annual revenues, net income, revenue per patient per day and profit margins. It was hypothesized that the profit margins for the LTAC hospitals were reduced because of the new PPS. Operational indicators, such as annual admissions, annual patient days, and average LOS were analyzed. It was hypothesized that LOS for the LTAC hospitals would have decreased. Case mix index, defined as the weighted average of patients’ DRGs for each hospital system, was not available to cast more light on the direction of LOS. ^ Results. This assessment found that the negative financial impacts did not materialize; instead, financial performance improved during the PPS period (2003-2006). The income margin percentage under the PPS increased for Kindred by 24%, and for Select by 77%. Thus, the study’s working hypothesis of reduced income margins for the LTACs under the PPS was contradicted. As to the average patient length of stay, LOS decreased from 34.7 days to 29.4 days for Kindred, and from 30.5 days to 25.3 days for Select. Thus, on the issue of LTAC shorter length of stay, the study’s working hypothesis was confirmed. ^ Conclusion. Overall, there was no negative financial effect on the LTAC hospitals during the period of 2003-2006 following Medicare implementation of the PPS in October 2002. On the contrary, the income margins improved significantly. ^ During the same period, LOS decreased following the implementation of the PPS. This was consistent with the LTAC hospitals’ pursuit of financial incentives.^

Financial impact of the Medicare prospective payment system on long term acute care hospitals

Objective. Long Term Acute Care Hospitals (LTACs) are subject to Medicare rules because they accept Medicare and Medicaid patients. In October 2002, Medicare changed the LTAC reimbursement formulas, from a cost basis system to a Prospective Payment System (PPS). This study examines whether the PPS has negatively affected the financial performance of the LTAC hospitals in the period following the reimbursement change (2003–2006), as compared to the period prior to the change (1999–2003), and if so, to what extent. This study will also examine whether the PPS has resulted in a decreased average patient length of stay (LOS) in the LTAC hospitals for the period of 2003–2006 as compared to the prior period of 1999-2003, and if so, to what extent. ^ Methods. The study group consists of two large LTAC hospital systems, Kindred Healthcare Inc. and Select Specialty Hospitals of Select Medical Corporation. Financial data and operational indicators were reviewed, tabulated and dichotomized into two groups, covering the two periods: 1999–2002 and 2003–2006. The financial data included net annual revenues, net income, revenue per patient per day and profit margins. It was hypothesized that the profit margins for the LTAC hospitals were reduced because of the new PPS. Operational indicators, such as annual admissions, annual patient days, and average LOS were analyzed. It was hypothesized that LOS for the LTAC hospitals would have decreased. Case mix index, defined as the weighted average of patients’ DRGs for each hospital system, was not available to cast more light on the direction of LOS. ^ Results. This assessment found that the negative financial impacts did not materialize; instead, financial performance improved during the PPS period (2003–2006). The income margin percentage under the PPS increased for Kindred by 24%, and for Select by 77%. Thus, the study’s working hypothesis of reduced income margins for the LTACs under the PPS was contradicted. As to the average patient length of stay, LOS decreased from 34.7 days to 29.4 days for Kindred, and from 30.5 days to 25.3 days for Select. Thus, on the issue of LTAC shorter length of stay, the study’s working hypothesis was confirmed. ^ Conclusion. Overall, there was no negative financial effect on the LTAC hospitals during the period of 2003–2006 following Medicare implementation of the PPS in October 2002. On the contrary, the income margins improved significantly. ^ During the same period, LOS decreased following the implementation of the PPS. This was consistent with the LTAC hospitals’ pursuit of financial incentives. ^

La acción performativa en la liturgia medieval : ¿gesto o palabra?

Este trabajo analiza las características del gesto ritual propio de la liturgia medieval, en particular su carácter de “eficaz". La gestualidad litúrgica “hace cosas", al decir de John Austin; en tanto produce cambios en sus destinatarios que llevan, incluso, a provocar modificaciones permanentes en sus vidas. ¿En qué consiste esa eficacia? ¿La eficacia la posee la palabra o el gesto litúrgico? La hipótesis que se plantea es que, si bien en el discurso académico la performatividad proviene de la palabra, no sucede lo mismo en el discurso popular puesto que, en este caso, la eficacia proviene del gesto. El trabajo se estructura en cuatro partes. Luego de una introducción y presentación de la problemática, se avanza en una aproximación al tema a partir de propuestas de teorías filosóficas y antropológicas contemporáneas. Se tiene en cuenta, particularmente, a John Austin. Luego, se realiza un análisis de algunos casos en un contexto histórico. En particular se trabajan la formula consecratoria de la eucaristía y el rito del bautismo. Finalmente, se trazan los aspectos conclusivos del artículo.