Decidability of quantified propositional intuitionistic logic and S4 on trees

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page

Uncertainty in multitask learning: joint representations for probabilistic MR-only radiotherapy planning

Multi-task neural network architectures provide a mechanism that jointly integrates information from distinct sources. It is ideal in the context of MR-only radiotherapy planning as it can jointly regress a synthetic CT (synCT) scan and segment organs-at-risk (OAR) from MRI. We propose a probabilistic multi-task network that estimates: 1) intrinsic uncertainty through a heteroscedastic noise model for spatially-adaptive task loss weighting and 2) parameter uncertainty through approximate Bayesian inference. This allows sampling of multiple segmentations and synCTs that share their network representation. We test our model on prostate cancer scans and show that it produces more accurate and consistent synCTs with a better estimation in the variance of the errors, state of the art results in OAR segmentation and a methodology for quality assurance in radiotherapy treatment planning.Comment: Early-accept at MICCAI 2018, 8 pages, 4 figure

Late Temporal Modeling in 3D CNN Architectures with BERT for Action Recognition

In this work, we combine 3D convolution with late temporal modeling for action recognition. For this aim, we replace the conventional Temporal Global Average Pooling (TGAP) layer at the end of 3D convolutional architecture with the Bidirectional Encoder Representations from Transformers (BERT) layer in order to better utilize the temporal information with BERT's attention mechanism. We show that this replacement improves the performances of many popular 3D convolution architectures for action recognition, including ResNeXt, I3D, SlowFast and R(2+1)D. Moreover, we provide the-state-of-the-art results on both HMDB51 and UCF101 datasets with 85.10% and 98.69% top-1 accuracy, respectively. The code is publicly available.Comment: Presented on the 2nd Workshop on Video Turing Test: Toward Human-Level Video Story Understanding, ECCV 202

Copper deficiency anemia after bariatric surgery

Copper is a trace mineral essential to hematopoiesis and to the structure and function of the nervous system. Copper acts as a ligand to ferroxidase II, which oxidizes iron, allowing it to be mobilized and transported from the hepatic stores to the bone marrow to be used in erythropoiesis..Copper deficiency is a rare cause of anemia, leukopenia, and myeloneuropathy. In this report we describe a case of a 49 year-old overweight Caucasian woman who was referred June 2008 to the Obesity Outpatient Clinic at UNIFESP for evaluation of muscular pain and weakness in both legs, fatigue and chronic anemia. The past medical history included Scopinaro Surgery for severe obesity in November 2004 when her weight was approximately 180 Kg (BMI 68.6 kg/m2). She lost considerable weight after surgery, with her weight being stable around 80 kg (BMI 30). Because of clinical manifestations of sub nutrition, protein and vitamin deficiencies and severe anemia, which lead to several hospital admissions, in February 2008 she was submitted to another surgery from conversion of the gastrointestinal surgical Scopinaro procedure to that performed by Capella. She also had a history of hypothyroidism, hyperuricemia and panic syndrome, requiring specific medications, beyond parenteral iron and B12 vitamin therapies for anemia. Physical examination revealed a bilateral edema and no other abnormality. Laboratory tests revealed hypoalbuminemia and hypochromic megaloblastic anemia with normal serum levels of B12 vitamin, iron and ferritin. Due to the persistence of the neurologic symptoms and anemia in spite of adequate iron and B12 vitamin therapies, the hypothesis of copper deficiency was considered and a low serum level of 40μg/dl was found. An oral supplementation with high doses of copper resulted in evident clinical and laboratorial improvements after eight weeks of therapy. The diagnosis of copper deficiency has to be part of the differential diagnosis in patients with unexplained neurologic symptoms, anemia, and leukopenia, especially in those who underwent to previous gastrointestinal surgery

Three-Dimensional Spectral-Domain Optical Coherence Tomography Data Analysis for Glaucoma Detection

Purpose: To develop a new three-dimensional (3D) spectral-domain optical coherence tomography (SD-OCT) data analysis method using a machine learning technique based on variable-size super pixel segmentation that efficiently utilizes full 3D dataset to improve the discrimination between early glaucomatous and healthy eyes. Methods: 192 eyes of 96 subjects (44 healthy, 59 glaucoma suspect and 89 glaucomatous eyes) were scanned with SD-OCT. Each SD-OCT cube dataset was first converted into 2D feature map based on retinal nerve fiber layer (RNFL) segmentation and then divided into various number of super pixels. Unlike the conventional super pixel having a fixed number of points, this newly developed variable-size super pixel is defined as a cluster of homogeneous adjacent pixels with variable size, shape and number. Features of super pixel map were extracted and used as inputs to machine classifier (LogitBoost adaptive boosting) to automatically identify diseased eyes. For discriminating performance assessment, area under the curve (AUC) of the receiver operating characteristics of the machine classifier outputs were compared with the conventional circumpapillary RNFL (cpRNFL) thickness measurements. Results: The super pixel analysis showed statistically significantly higher AUC than the cpRNFL (0.855 vs. 0.707, respectively, p = 0.031, Jackknife test) when glaucoma suspects were discriminated from healthy, while no significant difference was found when confirmed glaucoma eyes were discriminated from healthy eyes. Conclusions: A novel 3D OCT analysis technique performed at least as well as the cpRNFL in glaucoma discrimination and even better at glaucoma suspect discrimination. This new method has the potential to improve early detection of glaucomatous damage. © 2013 Xu et al

Comparing Mean & Peak Barbell Velocity During Traditional and Accentuated Eccentric Loaded Back Squats

MV: There were statistically significant main effects present for both condition (p = 0.002; g = 0.10-0.23) and load (p \u3c 0.001; g = 0.95-3.93). However, the condition x time interaction effect was not statistically significant (p = 0.259). • PV: There were statistically significant main effects present for both condition (p = 0.016; g = 0.11-0.23) and load (p \u3c 0.001; g = 0.42-1.6), but there was no statistically significant condition x time interaction effect (p = 0.101). • Post hoc analysis indicated that there was a significant difference between MV (p = 0.006) and PV (p = 0.032) between the traditional and 100% AEL conditions. • Moderate effect sizes were found with MV between the traditional and 100% AEL conditions at both 70% CON (g = 0.55) and 80% CON (g = 0.70). • No practically significant differences were found for PV

Magnetic properties of Ni2.18Mn0.82Ga Heusler alloys with a coupled magnetostructural transition

Polycrystalline Ni2.18Mn0.82Ga Heusler alloys with a coupled magnetostructural transition are studied by differential scanning calorimetry, magnetic and resistivity measurements. Coupling of the magnetic and structural subsystems results in unusual magnetic features of the alloy. These uncommon magnetic properties of Ni2.18Mn0.82Ga are attributed to the first-order structural transition from a tetragonal ferromagnetic to a cubic paramagnetic phase.Comment: 4 pages, 4 figures, revtex