Integral Human Pose Regression

State-of-the-art human pose estimation methods are based on heat map representation. In spite of the good performance, the representation has a few issues in nature, such as not differentiable and quantization error. This work shows that a simple integral operation relates and unifies the heat map representation and joint regression, thus avoiding the above issues. It is differentiable, efficient, and compatible with any heat map based methods. Its effectiveness is convincingly validated via comprehensive ablation experiments under various settings, specifically on 3D pose estimation, for the first time

Severe loss-of-function mutations in the adrenocorticotropin receptor (ACTHR, MC2R) can be found in patients diagnosed with salt-losing adrenal hypoplasia

Objective: Familial glucocorticoid deficiency type I (FGD1) is a rare form of primary adrenal insufficiency resulting from recessive mutations in the ACTH receptor (MC2R, MC2R). Individuals with this condition typically present in infancy or childhood with signs and symptoms of cortisol insufficiency, but disturbances in the renin-angiotensin system, aldosterone synthesis or sodium homeostasis are not a well-documented association of FGD1. As ACTH stimulation has been shown to stimulate aldosterone release in normal controls, and other causes of hyponatraemia can occur in children with cortisol deficiency, we investigated whether MC2R changes might be identified in children with primary adrenal failure who were being treated for mineralocorticoid insufficiency. Design: Mutational analysis of MC2R by direct sequencing. Patients: Children (n = 22) who had been diagnosed with salt-losing forms of adrenal hypoplasia (19 isolated cases, 3 familial), and who were negative for mutations in DAX1 (NR0B1) and SF1 (NR5A1). Results: MC2R mutations were found in three individuals or kindred (I: homozygous S74I; II: novel compound heterozygous R146H/560delT; III: novel homozygous 579-581delTGT). These changes represent severely disruptive loss-of-function mutations in this G-protein coupled receptor, including the first reported homozygous frameshift mutation. The apparent disturbances in sodium homeostasis were mild, manifest at times of stress (e.g. infection, salt-restriction, heat), and likely resolved with time. Conclusions: MC2R mutations should be considered in children who have primary adrenal failure with apparent mild disturbances in renin-sodium homeostasis. These children may have been misdiagnosed as having salt-losing adrenal hypoplasia. Making this diagnosis has important implications for treatment, counselling and long-term prognosi

ENIGMA: Efficient Learning-based Inference Guiding Machine

ENIGMA is a learning-based method for guiding given clause selection in saturation-based theorem provers. Clauses from many proof searches are classified as positive and negative based on their participation in the proofs. An efficient classification model is trained on this data, using fast feature-based characterization of the clauses . The learned model is then tightly linked with the core prover and used as a basis of a new parameterized evaluation heuristic that provides fast ranking of all generated clauses. The approach is evaluated on the E prover and the CASC 2016 AIM benchmark, showing a large increase of E's performance.Comment: Submitted to LPAR 201

Towards atomically precise manipulation of 2D nanostructures in the electron microscope

Despite decades of research, the ultimate goal of nanotechnology—top-down manipulation of individual atoms—has been directly achieved with only one technique: scanning probe microscopy. In this review, we demonstrate that scanning transmission electron microscopy (STEM) is emerging as an alternative method for the direct assembly of nanostructures, with possible applications in plasmonics, quantum technologies, and materials science. Atomically precise manipulation with STEM relies on recent advances in instrumentation that have enabled non-destructive atomicresolution imaging at lower electron energies. While momentum transfer from highly energetic electrons often leads to atom ejection, interesting dynamics can be induced when the transferable kinetic energies are comparable to bond strengths in the material. Operating in this regime, very recent experiments have revealed the potential for single-atom manipulation using the Ångströmsized electron beam. To truly enable control, however, it is vital to understand the relevant atomicscale phenomena through accurate dynamical simulations. Although excellent agreement between experiment and theory for the specific case of atomic displacements from graphene has been recently achieved using density functional theory molecular dynamics, in many other cases quantitative accuracy remains a challenge. We provide a comprehensive reanalysis of available experimental data on beam-driven dynamics in light of the state-of-the-art in simulations, and identify important targets for improvement. Overall, the modern electron microscope has great potential to become an atom-scale fabrication platform, especially for covalently bonded 2D nanostructures. We review the developments that have made this possible, argue that graphene is an ideal starting material, and assess the main challenges moving forward

A Common Variant Associated with Dyslexia Reduces Expression of the KIAA0319 Gene

Numerous genetic association studies have implicated the KIAA0319 gene on human chromosome 6p22 in dyslexia susceptibility. The causative variant(s) remains unknown but may modulate gene expression, given that (1) a dyslexia-associated haplotype has been implicated in the reduced expression of KIAA0319, and (2) the strongest association has been found for the region spanning exon 1 of KIAA0319. Here, we test the hypothesis that variant(s) responsible for reduced KIAA0319 expression resides on the risk haplotype close to the gene's transcription start site. We identified seven single-nucleotide polymorphisms on the risk haplotype immediately upstream of KIAA0319 and determined that three of these are strongly associated with multiple reading-related traits. Using luciferase-expressing constructs containing the KIAA0319 upstream region, we characterized the minimal promoter and additional putative transcriptional regulator regions. This revealed that the minor allele of rs9461045, which shows the strongest association with dyslexia in our sample (max p-value = 0.0001), confers reduced luciferase expression in both neuronal and non-neuronal cell lines. Additionally, we found that the presence of this rs9461045 dyslexia-associated allele creates a nuclear protein-binding site, likely for the transcriptional silencer OCT-1. Knocking down OCT-1 expression in the neuronal cell line SHSY5Y using an siRNA restores KIAA0319 expression from the risk haplotype to nearly that seen from the non-risk haplotype. Our study thus pinpoints a common variant as altering the function of a dyslexia candidate gene and provides an illustrative example of the strategic approach needed to dissect the molecular basis of complex genetic traits

Mitochondrial phylogeography and demographic history of the Vicuña: implications for conservation

The vicuña (Vicugna vicugna; Miller, 1924) is a conservation success story, having recovered from near extinction in the 1960s to current population levels estimated at 275 000. However, lack of information about its demographic history and genetic diversity has limited both our understanding of its recovery and the development of science-based conservation measures. To examine the evolution and recent demographic history of the vicuña across its current range and to assess its genetic variation and population structure, we sequenced mitochondrial DNA from the control region (CR) for 261 individuals from 29 populations across Peru, Chile and Argentina. Our results suggest that populations currently designated as Vicugna vicugna vicugna and Vicugna vicugna mensalis comprise separate mitochondrial lineages. The current population distribution appears to be the result of a recent demographic expansion associated with the last major glacial event of the Pleistocene in the northern (18 to 22°S) dry Andes 14–12 000 years ago and the establishment of an extremely arid belt known as the 'Dry Diagonal' to 29°S. Within the Dry Diagonal, small populations of V. v. vicugna appear to have survived showing the genetic signature of demographic isolation, whereas to the north V. v. mensalis populations underwent a rapid demographic expansion before recent anthropogenic impacts

MRI in multiple myeloma : a pictorial review of diagnostic and post-treatment findings

Magnetic resonance imaging (MRI) is increasingly being used in the diagnostic work-up of patients with multiple myeloma. Since 2014, MRI findings are included in the new diagnostic criteria proposed by the International Myeloma Working Group. Patients with smouldering myeloma presenting with more than one unequivocal focal lesion in the bone marrow on MRI are considered having symptomatic myeloma requiring treatment, regardless of the presence of lytic bone lesions. However, bone marrow evaluation with MRI offers more than only morphological information regarding the detection of focal lesions in patients with MM. The overall performance of MRI is enhanced by applying dynamic contrast-enhanced MRI and diffusion weighted imaging sequences, providing additional functional information on bone marrow vascularization and cellularity. This pictorial review provides an overview of the most important imaging findings in patients with monoclonal gammopathy of undetermined significance, smouldering myeloma and multiple myeloma, by performing a 'total' MRI investigation with implications for the diagnosis, staging and response assessment. Main message aEuro cent Conventional MRI diagnoses multiple myeloma by assessing the infiltration pattern. aEuro cent Dynamic contrast-enhanced MRI diagnoses multiple myeloma by assessing vascularization and perfusion. aEuro cent Diffusion weighted imaging evaluates bone marrow composition and cellularity in multiple myeloma. aEuro cent Combined morphological and functional MRI provides optimal bone marrow assessment for staging. aEuro cent Combined morphological and functional MRI is of considerable value in treatment follow-up

Inverse Modeling for MEG/EEG data

We provide an overview of the state-of-the-art for mathematical methods that are used to reconstruct brain activity from neurophysiological data. After a brief introduction on the mathematics of the forward problem, we discuss standard and recently proposed regularization methods, as well as Monte Carlo techniques for Bayesian inference. We classify the inverse methods based on the underlying source model, and discuss advantages and disadvantages. Finally we describe an application to the pre-surgical evaluation of epileptic patients.Comment: 15 pages, 1 figur

Extracellular Matrix Aggregates from Differentiating Embryoid Bodies as a Scaffold to Support ESC Proliferation and Differentiation

Embryonic stem cells (ESCs) have emerged as potential cell sources for tissue engineering and regeneration owing to its virtually unlimited replicative capacity and the potential to differentiate into a variety of cell types. Current differentiation strategies primarily involve various growth factor/inducer/repressor concoctions with less emphasis on the substrate. Developing biomaterials to promote stem cell proliferation and differentiation could aid in the realization of this goal. Extracellular matrix (ECM) components are important physiological regulators, and can provide cues to direct ESC expansion and differentiation. ECM undergoes constant remodeling with surrounding cells to accommodate specific developmental event. In this study, using ESC derived aggregates called embryoid bodies (EB) as a model, we characterized the biological nature of ECM in EB after exposure to different treatments: spontaneously differentiated and retinoic acid treated (denoted as SPT and RA, respectively). Next, we extracted this treatment-specific ECM by detergent decellularization methods (Triton X-100, DOC and SDS are compared). The resulting EB ECM scaffolds were seeded with undifferentiated ESCs using a novel cell seeding strategy, and the behavior of ESCs was studied. Our results showed that the optimized protocol efficiently removes cells while retaining crucial ECM and biochemical components. Decellularized ECM from SPT EB gave rise to a more favorable microenvironment for promoting ESC attachment, proliferation, and early differentiation, compared to native EB and decellularized ECM from RA EB. These findings suggest that various treatment conditions allow the formulation of unique ESC-ECM derived scaffolds to enhance ESC bioactivities, including proliferation and differentiation for tissue regeneration applications. © 2013 Goh et al

Input-to-state stability of infinite-dimensional control systems

We develop tools for investigation of input-to-state stability (ISS) of infinite-dimensional control systems. We show that for certain classes of admissible inputs the existence of an ISS-Lyapunov function implies the input-to-state stability of a system. Then for the case of systems described by abstract equations in Banach spaces we develop two methods of construction of local and global ISS-Lyapunov functions. We prove a linearization principle that allows a construction of a local ISS-Lyapunov function for a system which linear approximation is ISS. In order to study interconnections of nonlinear infinite-dimensional systems, we generalize the small-gain theorem to the case of infinite-dimensional systems and provide a way to construct an ISS-Lyapunov function for an entire interconnection, if ISS-Lyapunov functions for subsystems are known and the small-gain condition is satisfied. We illustrate the theory on examples of linear and semilinear reaction-diffusion equations.Comment: 33 page