Attention bias dynamics and symptom severity during and following CBT for social anxiety disorder

Objective: Threat-related attention bias figures prominently in contemporary accounts of the maintenance of anxiety disorders, yet longitudinal intervention research relating attention bias to anxiety symptom severity is limited. Capitalizing on recent advances in the conceptualization and measurement of attention bias, we aimed to examine the relation between attention bias, indexed using trial-level bias scores (TLBSs) to quantify temporal dynamics reflecting dysregulation of attentional processing of threat (as opposed to aggregated mean bias scores) and social anxiety symptom severity over the course of cognitive-behavioral therapy (CBT) and 1-month follow-up. Method: Adults with social anxiety disorder (N = 39) assigned to either yohimbine-or placebo-augmented CBT completed measures of attention bias and social anxiety symptom severity weekly throughout CBT (5 sessions) and at 1-week and 1-month posttreatment. Results: TLBSs of attention bias temporal dynamics showed stronger psychometric properties than mean aggregated scores and were highly interrelated, in line with within-subject temporal variability fluctuating in time between attentional overengagement and strategic avoidance from threat. Attention bias toward threat and temporal variability in attention bias (i.e., attentional dysregulation), but not attention bias away from threat, significantly reduced over the course of CBT. Cross-lag analyses revealed no evidence of a causal relation between reductions in attentional dysregulation leading to symptom severity reduction, or vice versa. Observed relations did not vary as a function of time. Conclusions: We found no evidence for attentional dysregulation as a causal mechanism for symptom reduction in CBT for social anxiety disorders. Implications for future research are discussed

Towards Verifying Nonlinear Integer Arithmetic

We eliminate a key roadblock to efficient verification of nonlinear integer arithmetic using CDCL SAT solvers, by showing how to construct short resolution proofs for many properties of the most widely used multiplier circuits. Such short proofs were conjectured not to exist. More precisely, we give n^{O(1)} size regular resolution proofs for arbitrary degree 2 identities on array, diagonal, and Booth multipliers and quasipolynomial- n^{O(\log n)} size proofs for these identities on Wallace tree multipliers.Comment: Expanded and simplified with improved result

Pfaffian representations of cubic surfaces

Let K be a field of characteristic zero. We describe an algorithm which requires a homogeneous polynomial F of degree three in K[x_0,x_1,x_2,x_3] and a zero A of F in P^3_K and ensures a linear pfaffian representation of V(F) with entries in K[x_0,x_1,x_2,x_3], under mild assumptions on F and A. We use this result to give an explicit construction of (and to prove the existence of) a linear pfaffian representation of V(F), with entries in K'[x_0,x_1,x_2,x_3], being K' an algebraic extension of K of degree at most six. An explicit example of such a construction is given.Comment: 17 pages. Expanded with some remarks. Published with minor corrections in Geom. Dedicat

Evaluating Performance of Web Applications in (Cloud) Virtualized Environments

Web applications usually involve a number of different software libraries and tools (usually referred to as frameworks) each carrying out specific task/s and generating the corresponding overhead. In this paper, we show how to evaluate and even find out several configuration performance characteristics by using virtualized environments which are now used in data centers and cloud environments. We use specific and simple web software architectures as proof of concept, and explain several experiments that show performance issues not always expected from a conceptual point of view. We also explain that adding software libraries and tools also generate performance analysis complexities. We also shown that as an application is shown to scale, the problems to identify performance details and bottlenecks also scale, and the performance analysis also requires deeper levels of details.Instituto de Investigación en Informátic

Sporormiella as a tool for detecting the presence of large herbivores in the Neotropics

The reliability of using the abundance of Sporormiella spores as a proxy for the presence and abundance of megaherbivores was tested in southern Brazil. Mud-water interface samples from nine lakes, in which cattle-use was categorized as high, medium, or low, were assayed for Sporormiella representation. The sampling design allowed an analysis of both the influence of the number of animals using the shoreline and the distance of the sampling site from the nearest shoreline. Sporormiella was found to be a reliable proxy for the presence of large livestock. The concentration and abundance of spores declined from the edge of the lake toward the center, with the strongest response being in sites with high livestock use. Consistent with prior studies in temperate regions, we find that Sporormiella spores are a useful proxy to study the extinction of Pleistocene megafauna or the arrival of European livestock in Neotropical landscapes

Barriers to participation in a placebo-surgical trial for lumbar spinal stenosis

© 2019 Background: Placebo-controlled trials are an important tool when assessing the efficacy of spinal surgical procedures. The most common spinal surgical procedure in older adults is decompression for lumbar spinal stenosis. Before conducting a placebo-surgical trial on decompression surgery, an investigation of patients’ willingness to participate in a placebo-controlled trial of decompression surgery and barriers to participation were explored. Materials: An online survey. Methods: Descriptive analyses of demographic and clinical data, and participants' willingness to participate in a placebo-surgical trial. Logistic regression was used to examine potential predictors of willingness to participate. Two independent researchers performed a coded framework analysis of patients’ barriers to participation. Results: 68 patients were invited and 63 participants completed the survey (91.3% response, mean (SD) age 69.5 (10.9) years, 52% females), 71% suffered from moderate to very severe pain. Ten participants (15.9%) were willing to participate in a placebo-controlled trial. Being married was associated with decreased odds of participating (OR: 0.2; 95% CI, 0.05 to 0.8; P = 0.03), while the main barriers were a lack of information about the procedure, reassurance of a positive outcome with participation, and concerns about the risks and benefits of placebo surgery. Conclusions: A minority of patients with lumbar spinal stenosis were willing to participate in a placebo-controlled trial of surgery. The identified barriers indicate that educating eligible patients about: the need for placebo-surgical trials, the personal risks and benefits of participation, and the importance and potential benefits of placebo trials to others, may be crucial to ensure adequate recruitment into the placebo-controlled surgical trial. Conclusions should be read cautiously however, given the small sample size present in this study

Growth from birth to 6 months of infants with and without intrauterine preeclampsia exposure

Intrauterine preeclampsia exposure affects the lifelong cardiometabolic health of the child. Our study aimed to compare the growth (from birth to 6 months) of infants exposed to either a normotensive pregnancy or preeclampsia and explore the influence of being born small for gestational age (SGA). Participants were children of women participating in the Post-partum, Physiology, Psychology and Paediatric follow-up cohort study. Birth and 6-month weight and length z-scores were calculated for term and preterm (<37 weeks) babies, and change in weight z-score, rapid weight gain (≥0.67 increase in weight z-score) and conditional weight gain z-score were calculated. Compared with normotensive exposed infants (n = 298), preeclampsia exposed infants (n = 84) were more likely to be born SGA (7% versus 23%; P < 0.001), but weight gain from birth to 6 months, by any measure, did not differ between groups. Infants born SGA, irrespective of pregnancy exposure, were more likely to have rapid weight gain and had greater increases in weight z-score compared with those not born SGA. Preeclampsia exposed infants born SGA may benefit from interventions designed to prevent future cardiometabolic disease

Matched sizes of activating and inhibitory receptor/ligand pairs are required for optimal signal integration by human Natural Killer cells

It has been suggested that receptor-ligand complexes segregate or co-localise within immune synapses according to their size, and this is important for receptor signaling. Here, we set out to test the importance of receptor-ligand complex dimensions for immune surveillance of target cells by human Natural Killer (NK) cells. NK cell activation is regulated by integrating signals from activating receptors, such as NKG2D, and inhibitory receptors, such as KIR2DL1. Elongating the NKG2D ligand MICA reduced its ability to trigger NK cell activation. Conversely, elongation of KIR2DL1 ligand HLA-C reduced its ability to inhibit NK cells. Whereas normal-sized HLA-C was most effective at inhibiting activation by normal-length MICA, only elongated HLA-C could inhibit activation by elongated MICA. Moreover, HLA-C and MICA that were matched in size co-localised, whereas HLA-C and MICA that were different in size were segregated. These results demonstrate that receptor-ligand dimensions are important in NK cell recognition, and suggest that optimal integration of activating and inhibitory receptor signals requires the receptor-ligand complexes to have similar dimensions

Minsky machines and algorithmic problems

This is a survey of using Minsky machines to study algorithmic problems in semigroups, groups and other algebraic systems.Comment: 19 page

Divergent mathematical treatments in utility theory

In this paper I study how divergent mathematical treatments affect mathematical modelling, with a special focus on utility theory. In particular I examine recent work on the ranking of information states and the discounting of future utilities, in order to show how, by replacing the standard analytical treatment of the models involved with one based on the framework of Nonstandard Analysis, diametrically opposite results are obtained. In both cases, the choice between the standard and nonstandard treatment amounts to a selection of set-theoretical parameters that cannot be made on purely empirical grounds. The analysis of this phenomenon gives rise to a simple logical account of the relativity of impossibility theorems in economic theory, which concludes the paper