910 research outputs found
Emotional Voice and Emotional Body Postures Influence Each Other Independently of Visual Awareness
Multisensory integration may occur independently of visual attention as previously shown with compound face-voice stimuli. We investigated in two experiments whether the perception of whole body expressions and the perception of voices influence each other when observers are not aware of seeing the bodily expression. In the first experiment participants categorized masked happy and angry bodily expressions while ignoring congruent or incongruent emotional voices. The onset between target and mask varied from −50 to +133 ms. Results show that the congruency between the emotion in the voice and the bodily expressions influences audiovisual perception independently of the visibility of the stimuli. In the second experiment participants categorized the emotional voices combined with masked bodily expressions as fearful or happy. This experiment showed that bodily expressions presented outside visual awareness still influence prosody perception. Our experiments show that audiovisual integration between bodily expressions and affective prosody can take place outside and independent of visual awareness
Efficient Certified Resolution Proof Checking
We present a novel propositional proof tracing format that eliminates complex
processing, thus enabling efficient (formal) proof checking. The benefits of
this format are demonstrated by implementing a proof checker in C, which
outperforms a state-of-the-art checker by two orders of magnitude. We then
formalize the theory underlying propositional proof checking in Coq, and
extract a correct-by-construction proof checker for our format from the
formalization. An empirical evaluation using 280 unsatisfiable instances from
the 2015 and 2016 SAT competitions shows that this certified checker usually
performs comparably to a state-of-the-art non-certified proof checker. Using
this format, we formally verify the recent 200 TB proof of the Boolean
Pythagorean Triples conjecture
QRAT+: Generalizing QRAT by a More Powerful QBF Redundancy Property
The QRAT (quantified resolution asymmetric tautology) proof system simulates
virtually all inference rules applied in state of the art quantified Boolean
formula (QBF) reasoning tools. It consists of rules to rewrite a QBF by adding
and deleting clauses and universal literals that have a certain redundancy
property. To check for this redundancy property in QRAT, propositional unit
propagation (UP) is applied to the quantifier free, i.e., propositional part of
the QBF. We generalize the redundancy property in the QRAT system by QBF
specific UP (QUP). QUP extends UP by the universal reduction operation to
eliminate universal literals from clauses. We apply QUP to an abstraction of
the QBF where certain universal quantifiers are converted into existential
ones. This way, we obtain a generalization of QRAT we call QRAT+. The
redundancy property in QRAT+ based on QUP is more powerful than the one in QRAT
based on UP. We report on proof theoretical improvements and experimental
results to illustrate the benefits of QRAT+ for QBF preprocessing.Comment: preprint of a paper to be published at IJCAR 2018, LNCS, Springer,
including appendi
Gut-microbe derived TMAO and its association with more progressed forms of AF:Results from the AF-RISK study
Introduction: The importance of gut microbiome in cardiovascular disease has been increasingly recognized. Trimethylamine N-oxide (TMAO) is a gut microbe-derived metabolite that is associated with cardiovascular disease, including atrial fibrillation (AF). The role of TMAO in clinical AF progression however remains unknown. Methods and results: In this study we measured TMAO and its precursor (betaine, choline, and L- carnitine) levels in 78 patients using plasma samples from patients that participated in the AF-RISK study. 56 patients suffered from paroxysmal AF and 22 had a short history of persistent AF. TMAO levels were significantly higher in patients with persistent AF, as compared to those with paroxysmal AF (median [IQR] 5.65 [4.7–9.6] m/z versus 4.31 [3.2–6.2] m/z, p < 0.05), while precursor levels did not differ. In univariate analysis, we observed that for every unit increase in TMAO, the odds for having persistent AF increased with 0.44 [0.14–0.73], p < 0.01. Conclusion: These results suggest that higher levels of TMAO are associated with more progressed forms of AF. We therefore hypothesize that increased TMAO levels may reflect disease progression in humans. Larger studies are required to validate these preliminary findings.Trial Registration number: Clinicaltrials.gov NCT01510210
Incremental QBF Solving
We consider the problem of incrementally solving a sequence of quantified
Boolean formulae (QBF). Incremental solving aims at using information learned
from one formula in the process of solving the next formulae in the sequence.
Based on a general overview of the problem and related challenges, we present
an approach to incremental QBF solving which is application-independent and
hence applicable to QBF encodings of arbitrary problems. We implemented this
approach in our incremental search-based QBF solver DepQBF and report on
implementation details. Experimental results illustrate the potential benefits
of incremental solving in QBF-based workflows.Comment: revision (camera-ready, to appear in the proceedings of CP 2014,
LNCS, Springer
Heart rate increase and inappropriate sinus tachycardia after cryoballoon pulmonary vein isolation for atrial fibrillation
Background: Cryoballoon pulmonary vein isolation (PVI) is a common therapy for atrial fibrillation (AF). While moderately increased sinus rhythm heart rate (HR) after PVI has been observed, inappropriate sinus tachycardia (IST) is a rare phenomenon. We aimed to investigate the prevalence and natural history of an abnormal sinus HR response after cryoballoon PVI. Methods: We included 169/646 (26.2%) patients with AF undergoing PVI with available Holter recordings before and 3, 6 and 12 months after the procedure. Patients with AF on Holter monitoring were excluded. Mean HR increase >= 20 bpm or an IST-like pattern (mean HR > 90 bpm or > 80 bpm when beta-blocking agents were used) following PVI was categorised as abnormal sinus HR response. Results: Following PVI, mean HR +/- standard deviation increased in the entire group from 63.5 +/- 8.4 to 69.1 +/- 9.9 bpm at 3 months (p < 0.001), and to 71.9 +/- 9.4 bpm at 6 months (p < 0.001). At 12 months, mean HR was 71.2 +/- 10.1 bpm (p < 0.001). Only 7/169 patients (4.1%) met criteria for abnormal sinus HR response: mean HR was 61.9 +/- 10.6 bpm (pre-ablation), 84.6 +/- 9.8 bpm (3 months), 80.1 +/- 6.5 bpm (6 months) and 76.3 +/- 10.1 bpm (12 months). Even at 12 months, mean HR was significantly different from that pre-ablation in this group (p = 0.033). However, in patients meeting IST-like pattern criteria, mean HR at 12 months was no longer significantly different from that pre-ablation. Conclusion: Few patients had an abnormal sinus HR response after PVI. Peak HR was observed 3 months after PVI, but HR was still significantly increased 12 months post-ablation compared with pre-ablation. An IST-like pattern was rarely observed. In these patients, HR decreased to pre-ablation values within a year
Unintended consequences of reducing QT-alert overload in a computerized physician order entry system
Purpose: After complaints of too many low-specificity drug-drug interaction (DDI) alerts on QT prolongation, the rules for QT alerting in the Dutch national drug database were restricted in 2007 to obviously QT-prolonging drugs. The aim of this virtual study was to investigate whether this adjustment would improve the identification of patients at risk of developing Torsades de Pointes (TdP) due to QT-prolonging drug combinations in a computerized physician order entry system (CPOE) and whether these new rules should be implemented. Methods: During a half-year study period, inpatients with overridden DDI alerts regarding QT prolongation and with an electrocardiogram recorded before and within 1 month of the alert override were included if they did not have a ventricular pacemaker and did not use the low-risk combination cotrimoxazole and tacrolimus. QT-interval prolongation and the risk of developing TdP were calculated for all patients and related to the number of patients for whom a QT-alert would be generated in the new situation with the restricted database. Results: Forty-nine patients (13%) met the inclusion criteria. In this study population, knowledge base-adjustment would reduce the number of alerts by 53%. However, the positive predictive value of QT alerts would not change (31% before and 30% after) and only 47% of the patients at risk of developing TdP would be identified in CPOEs using the adjusted knowledge base. Conclusion: The new rules for QT alerting would result in a poorer identification of patients at risk of developing TdP than the old rules. This is caused by the many non-drug-related risk factors for QT prolongation not being incorporated in CPOE alert generation. The partial contribution of all risk factors should be studied and used to create clinical rules for QT alerting with an acceptable positive predictive value
Pharmacokinetic role of protein binding of mycophenolic acid and its glucuronide metabolite in renal transplant recipients
Mycophenolic acid (MPA), the active compound of mycophenolate mofetil (MMF), is used to prevent graft rejection in renal transplant recipients. MPA is glucuronidated to the metabolite MPAG, which exhibits enterohepatic recirculation (EHC). MPA binds for 97% and MPAG binds for 82% to plasma proteins. Low plasma albumin concentrations, impaired renal function and coadministration of cyclosporine have been reported to be associated with increased clearance of MPA. The aim of the study was to develop a population pharmacokinetic model describing the relationship between MMF dose and total MPA (tMPA), unbound MPA (fMPA), total MPAG (tMPAG) and unbound MPAG (fMPAG). In this model the correlation between pharmacokinetic parameters and renal function, plasma albumin concentrations and cotreatment with cyclosporine was quantified. tMPA, fMPA, tMPAG and fMPAG concentration–time profiles of renal transplant recipients cotreated with cyclosporine (n = 48) and tacrolimus (n = 45) were analyzed using NONMEM. A 2- and 1-compartment model were used to describe the pharmacokinetics of fMPA and fMPAG. The central compartments of fMPA and fMPAG were connected with an albumin compartment allowing competitive binding (bMPA and bMPAG). tMPA and tMPAG were modeled as the sum of the bound and unbound concentrations. EHC was modeled by transport of fMPAG to a separate gallbladder compartment. This transport was decreased in case of cyclosporine cotreatment (P < 0.001). In the model, clearance of fMPAG decreased when creatinine clearance (CrCL) was reduced (P < 0.001), and albumin concentration was correlated with the maximum number of binding sites available for MPA and MPAG (P < 0.001). In patients with impaired renal function cotreated with cyclosporine the model adequately described that increasing fMPAG concentrations decreased tMPA AUC due to displacement of MPA from its binding sites. The accumulated MPAG could also be reconverted to MPA by the EHC, which caused increased tMPA AUC in patients cotreated with tacrolimus. Changes in CrCL had hardly any effect on fMPA exposure. A decrease in plasma albumin concentration from 0.6 to 0.4 mmol/l resulted in ca. 38% reduction of tMPA AUC, whereas no reduction in fMPA AUC was seen. In conclusion, a pharmacokinetic model has been developed which describes the relationship between dose and both total and free MPA exposure. The model adequately describes the influence of renal function, plasma albumin and cyclosporine co-medication on MPA exposure. Changes in protein binding due to altered renal function or plasma albumin concentrations influence tMPA exposure, whereas fMPA exposure is hardly affected
Complex organic molecules in low-mass protostars on Solar System scales -- II. Nitrogen-bearing species
The chemical inventory of planets is determined by the physical and chemical
processes that govern the early phases of star formation. The aim is to
investigate N-bearing complex organic molecules towards two Class 0 protostars
(B1-c and S68N) at millimetre wavelengths with ALMA. Next, the results of the
detected N-bearing species are compared with those of O-bearing species for the
same and other sources. ALMA observations in Band 6 ( 1 mm) and Band 5
( 2 mm) are studied at 0.5" resolution, complemented by Band 3
( 3 mm) data in a 2.5" beam. NH2CHO, C2H5CN, HNCO, HN13CO, DNCO,
CH3CN, CH2DCN, and CHD2CN are identified towards the investigated sources.
Their abundances relative to CH3OH and HNCO are similar for the two sources,
with column densities that are typically an order of magnitude lower than those
of O-bearing species. The largest variations, of an order of magnitude, are
seen for NH2CHO abundance ratios with respect to HNCO and CH3OH and do not
correlate with the protostellar luminosity. In addition, within uncertainties,
the N-bearing species have similar excitation temperatures to those of
O-bearing species ( 100 300 K). The similarity of most abundances
with respect to HNCO, including those of CH2DCN and CHD2CN, hints at a shared
chemical history, especially the high D/H ratio in cold regions prior to star
formation. However, some of the variations in abundances may reflect the
sensitivity of the chemistry to local conditions such as temperature (e.g.
NH2CHO), while others may arise from differences in the emitting areas of the
molecules linked to their different binding energies in the ice. The two
sources discussed here add to the small number of sources with such a detailed
chemical analysis on Solar System scales. Future JWST data will allow a direct
comparison between the ice and gas abundances of N-bearing species.Comment: Accepted to A&A, 41 pages, 37 figure
In vitro efficacy and safety of a system for sorbent-assisted peritoneal dialysis
In vitro efficacy and safety of a system for sorbent-assisted peritoneal dialysis. Am J Physiol Renal Physiol 319: F162-F170, 2020. First published June 1, 2020; doi:10.1152/ajprenal. 00079.2020.-A system for sorbent-assisted peritoneal dialysis (SAPD) was designed to continuously recirculate dialysate via a tidal mode using a single lumen peritoneal catheter with regeneration of spent dialysate by means of sorbent technology. We hypothesize that SAPD treatment will maintain a high plasma-to-dialysate concentration gradient and increase the mass transfer area coefficient of solutes. Thereby, the SAPD system may enhance clearance while reducing the number of exchanges. Application is envisaged at night as a bedside device (12 kg, nighttime system). A wearable system (2.0 kg, daytime system) may further enhance clearance during the day. Urea, creatinine, and phosphate removal were studied with the daytime and nighttime system (n = 3 per system) by recirculating 2 liters of spent peritoneal dialysate via a tidal mode (mean flow rate: 50 and 100 mL/min, respectively) for 8 h in vitro. Time-averaged plasma clearance over 24 h was modeled assuming one 2 liter exchange/day, an increase in mass transfer area coefficient, and 0.9 liters ultrafiltration/day. Urea, creatinine, and phosphate removal was 33.2 ± 4.1, 5.3 ± 0.5, and 6.2 ± 1.8 mmol, respectively, with the daytime system and 204 ± 28, 10.3 ± 2.4, and 11.4 ± 2.1 mmol, respectively, with the nighttime system. Time-averaged plasma clearances of urea, creatinine and phosphate were 9.6 ± 1.1, 9.6 ± 1.7, and 7.0 ± 0.9 mL/min, respectively, with the nighttime system and 10.8 ± 1.1, 13.4 ± 1.8, and 9.7 ± 1.6 mL/min, respectively, with the daytime and nighttime system. SAPD treatment may improve removal of uremic toxins compared with conventional peritoneal dialysis, provided that peritoneal mass transport will increase
- …