Miracle-dz/UniFAR-FTUs huggingface dataset:
2 Three problems in commonsense reasoning

This essay describes a general approach to building perturbation-tolerant autonomous systems , based on the conviction that artificial agents should be able notice when something is amiss, assess the anomaly, and guide a solution into place. We call this basic strategy of self-guided learning the metacognitive loop; it involves the system monitoring, reasoning about, and, when necessary, altering its own decision-making components. In this essay, we (a) argue that equipping agents with a metacognitive loop can help to overcome the brittleness problem, (b) detail the metacognitive loop and its relation to our ongoing work on time-sensitive commonsense reasoning, (c) describe specific, implemented systems whose perturbation tolerance was improved by adding a metacognitive loop, and (d) outline both short-term and long-term research agendas.
Predictions of asteroid hazard to the Earth for the 21st century

Early detection and investigation of possible collisions and close approaches of asteroids with the Earth are necessary to exept the asteroid-comet hazard. The difficulty of prediction of close approaches and collisions associated with resonant returns after encounters with the Earth due to loss of precision in these encounters. The main research object is asteroid Apophis (99942), for which we found many possible orbits of impacts associated with resonant returns. It is shown that the early orbit change of Apophis allows to avoid main impacts, associated with resonant returns. Such a change of the orbit, in principle, is feasible. We also study the possible impacts with the Ground asteroid 2015 RN35. We present 21 possible collisions in this century, including 7 collisions with large gaps presented in NASA website. The results of observations by the telescope ZA-320M at Pulkovo Obser-vatory of the three near-Earth asteroids, namely, 7822, 20826, 68216, two of which 7822 and 68216 are potentially hazardou.
Guaranteed mobile robot tracking using interval analysis

The problem considered here is state estimation in the presence of bounded process and measurement noise. A new nonlinear state estimator, based on interval analysis and the notion of set inversion, is applied to robot localization and tracking. This estimator evaluates a set guaranteed to contain all values of the state that are consistent with the available observations, given the noise bounds and some possibility very large set containing the initial value of the state. Three situations are considered to illustrate the properties of the estimator.
Measurement of Perihematomal Edema in Intracerebral Hemorrhage

Background and Purpose— Perihematomal edema (PHE) is a marker of secondary injury in intracerebral hemorrhage (ICH). PHE measurement on computed tomography (CT) is challenging, and the principles used to detect PHE have not been described fully. We developed a systematic approach for CT-based measurement of PHE. Methods— Two independent raters measured PHE volumes on baseline and 24-hour post-ICH CT scans of 20 primary supratentorial ICH subjects. Boundaries were outlined with an edge-detection tool and adjusted after inspection of the 3 orthogonal planes. PHE was delineated with the additional principle that it should be (a) more hypodense than the corresponding area in the contralateral hemisphere and (b) most hypodense immediately surrounding the hemorrhage. We examined intra- and interrater reliability using intraclass correlation coefficients and Bland–Altman plots for interrater consistency. CT-based PHE was also compared using magnetic resonance imaging–based PHE detection for 18 subjects. Results— Median PHE volumes were 22.7 cc at baseline and 20.4 cc at 24 hours post-ICH. There were no statistically significant differences in PHE measurements between raters. Interrater and intrarater reliability for PHE were excellent. At baseline and 24 hours, interrater intraclass correlation coefficients were 0.98 (0.96–1.00) and 0.98 (0.97–1.00); intrarater intraclass correlation coefficients were 0.99 (0.99–1.00) and 0.99 (0.98–1.00). Bland–Altman analysis showed the bias for PHE measurements at baseline and 24 hours, −0.5 cc (SD, 5.4) and −3.2 cc (SD, 5.0), was acceptably small. PHE volumes determined by CT and magnetic resonance imaging were similar (23.9±16.9 cc versus 23.9±16.0 cc, R2 = 0.98, P<0.0001). Conclusions— Our method measures PHE with excellent reliability at baseline and 24 hours post-ICH.
Objective Assessment of Activity Limitation in Glaucoma with Smartphone Virtual Reality Goggles: A Pilot Study

Purpose To evaluate the use of smartphone-based virtual reality to objectively assess activity limitation in glaucoma. Methods Cross-sectional study of 93 patients (54 mild, 22 moderate, 17 severe glaucoma). Sociodemographics, visual parameters, Glaucoma Activity Limitation-9 and Visual Function Questionnaire – Utility Index (VFQ-UI) were collected. Mean age was 67.4 ± 13.2 years; 52.7% were male; 65.6% were driving. A smartphone placed inside virtual reality goggles was used to administer the Virtual Reality Glaucoma Visual Function Test (VR-GVFT) to participants, consisting of three parts: stationary, moving ball, driving. Rasch analysis and classical validity tests were conducted to assess performance of VR-GVFT. Results Twenty-four of 28 stationary test items showed acceptable fit to the Rasch model (person separation 3.02, targeting 0). Eleven of 12 moving ball test items showed acceptable fit (person separation 3.05, targeting 0). No driving test items showed acceptable fit. Stationary test person scores showed good criterion validity, differentiating between glaucoma severity groups (P = 0.014); modest convergence validity, with mild to moderate correlation with VFQ-UI, better eye (BE) mean deviation, BE pattern deviation, BE central scotoma, worse eye (WE) visual acuity, and contrast sensitivity (CS) in both eyes (R = 0.243–0.381); and suboptimal divergent validity. Multivariate analysis showed that lower WE CS (P = 0.044) and greater age (P = 0.009) were associated with worse stationary test person scores. Conclusions Smartphone-based virtual reality may be a portable objective simulation test of activity limitation related to glaucomatous visual loss. Translational Relevance The use of simulated virtual environments could help better understand the activity limitations that affect patients with glaucoma.
Probing transmembrane mechanical coupling and cytomechanics using magnetic twisting cytometry.

We recently developed a magnetic twisting cytometry technique that allows us to apply controlled mechanical stresses to specific cell surface receptors using ligand-coated ferromagnetic microbeads and to simultaneously measure the mechanical response in living cells. Using this technique, we have previously shown the following: (i) beta 1 integrin receptors mediate mechanical force transfer across the cell surface and to the cytoskeleton, whereas other transmembrane receptors (e.g., scavenger receptors) do not; (ii) cytoskeletal stiffness increases in direct proportion to the level of stress applied to integrins; and (iii) the slope of this linear stiffening response differs depending on the shape of the cell. We now show that different integrins (beta 1, alpha V beta 3, alpha V, alpha 5, alpha 2) and other transmembrane receptors (scavenger receptor, platelet endothelial cell adhesion molecule) differ in their ability to mediate force transfer across the cell surface. In addition, the linear stiffening behavior previously observed in endothelial cells was found to be shared by other cell types. Finally, we demonstrate that dynamic changes in cell shape that occur during both cell spreading and retraction are accompanied by coordinate changes in cytoskeletal stiffness. Taken together, these results suggest that the magnetic twisting cytometry technique may be a powerful and versatile tool for studies analyzing the molecular basis of transmembrane mechanical coupling to the cytoskeleton as well as dynamic relations between changes in cytoskeletal structure and alterations in cell form and function.
Description and assessment of a registration-based approach to include bones for attenuation correction of whole-body PET/MRI.

PURPOSE Attenuation correction for whole-body PET/MRI is challenging. Most commercial systems compute the attenuation map from MRI using a four-tissue segmentation approach. Bones, the most electron-dense tissue, are neglected because they are difficult to segment. In this work, the authors build on this segmentation approach by adding bones using a registration technique and assessing its performance on human PET images. METHODS Twelve oncology patients were imaged with FDG PET/CT and MRI using a Turbo-FLASH pulse sequence. A database of 121 attenuation correction quality CT scans was also collected. Each patient MRI was compared to the CT database via weighted heuristic measures to find the "most similar" CT in terms of body geometry. The similar CT was aligned to the MRI with a deformable registration method. Two MRI-based attenuation maps were computed. One was a standard four-tissue segmentation (air, lung, fat, and lean tissue) using basic image processing techniques. The other was identical, except the bones from the aligned CT were added. The PET data were reconstructed with the patient's CT-based attenuation map (the silver standard) and both MRI-based attenuation maps. The relative errors of the MRI-based attenuation corrections were computed in 14 standardized volumes of interest, in lesions, and over whole tissues. The squared Pearson correlation coefficient was also calculated over whole tissues. Statistical testing was done with ANOVAs and paired t-tests. RESULTS The MRI-based attenuation correction ignoring bone had relative errors ranging from -37% to -8% in volumes of interest containing bone. By including bone, the magnitude of the relative error was reduced in all cases (p<0.001), ranging from -3% to 4%. Further, the relative error in volumes of interest adjacent to bone was improved from a mean of -7.5% to 2% (p<0.001). In the other seven volumes of interest, including bone reduced the magnitude of relative error in three cases (p<0.001), had no effect in three cases, and increased relative error in one case. There was no statistically significant difference in the relative error in lesions. Over whole tissues, including bone slightly increased relative error in lung from 7.7% to 8.0% (p=0.002), in fat from 8.5% to 9.2% (p<0.001), and in lean tissue from -2.1% to 2.6% (p<0.001), but reduced the magnitude of relative error in bone from -14.6% to 1.3% (p<0.001). The correlation coefficient was essentially unchanged in all tissues regardless of whether bone was included or not. CONCLUSIONS The approach to include bones in MRI-based attenuation maps described in this work improves quantification of whole-body PET images in and around bony anatomy. The reduction in error is often large (tens of percents), and could alter image interpretation and subsequent patient care. Changes in other parts of the PET image are minimal and likely not of clinical significance.
The New-Keynesian Liquidity Trap

In standard solutions, the new-Keynesian model produces a deep recession with deflation in a liquidity trap. The model also makes unusual policy predictions: Useless government spending, technical regress, and capital destruction have large multipliers. These predictions become larger as prices become less sticky. I show that both sets of predictions are strongly affected by equilibrium selection. For the same interest-rate path, different choices of equilibria - either by the researcher's direct selection or the researcher's specification of expected Federal Reserve policy - can overturn all these results. A set of "local-to-frictionless" equilibria predicts mild inflation, no output reduction and negative multipliers during the liquidity trap, and its predictions approach the frictionless model smoothly, all for the same interest rate path.
On desensitizing the Mel-cepstrum to spurious spectral components for robust speech recognition

It is well known that the peaks in the spectrum of a log Mel-filter bank are important cues in characterizing speech sounds. However, low energy perturbations in the power spectrum may become numerically significant after the log compression. We show that even if the spectral peaks are kept constant, the low energy perturbations in the power spectrum can create huge variations in the cepstral coefficients. We show, both analytically and experimentally, that exponentiating the log Mel-filter bank spectrum before the cepstrum computation can significantly reduce the sensitivity of the cepstra to spurious low energy perturbations. The Mel-cepstrum modulation spectrum (Tyagi, V. et al., Proc. IEEE ASRU, 2003) is computed from the processed cepstra which results in further noise robustness of the composite feature vector. In experiments with speech signals, it is shown that the proposed technique based features yield a significant increase in speech recognition performance in non-stationary noise conditions when compared directly to the MFCC and RASTA-PLP features.
Imaging Intracellular Fluorescent Proteins at Nanometer Resolution

We introduce a method for optically imaging intracellular proteins at nanometer spatial resolution. Numerous sparse subsets of photoactivatable fluorescent protein molecules were activated, localized (to ∼2 to 25 nanometers), and then bleached. The aggregate position information from all subsets was then assembled into a superresolution image. We used this method—termed photoactivated localization microscopy—to image specific target proteins in thin sections of lysosomes and mitochondria; in fixed whole cells, we imaged vinculin at focal adhesions, actin within a lamellipodium, and the distribution of the retroviral protein Gag at the plasma membrane.
Learning latent spatio-temporal compositional model for human action recognition

Action recognition is an important problem in multimedia understanding. This paper addresses this problem by building an expressive compositional action model. We model one action instance in the video with an ensemble of spatio-temporal compositions: a number of discrete temporal anchor frames, each of which is further decomposed to a layout of deformable parts. In this way, our model can identify a Spatio-Temporal And-Or Graph (STAOG) to represent the latent structure of actions \emph{e.g.} triple jumping, swinging and high jumping. The STAOG model comprises four layers: (i) a batch of leaf-nodes in bottom for detecting various action parts within video patches; (ii) the or-nodes over bottom, i.e. switch variables to activate their children leaf-nodes for structural variability; (iii) the and-nodes within an anchor frame for verifying spatial composition; and (iv) the root-node at top for aggregating scores over temporal anchor frames. Moreover, the contextual interactions are defined between leaf-nodes in both spatial and temporal domains. For model training, we develop a novel weakly supervised learning algorithm which iteratively determines the structural configuration (e.g. the production of leaf-nodes associated with the or-nodes) along with the optimization of multi-layer parameters. By fully exploiting spatio-temporal compositions and interactions, our approach handles well large intra-class action variance (\emph{e.g.} different views, individual appearances, spatio-temporal structures). The experimental results on the challenging databases demonstrate superior performance of our approach over other methods.
Observations of Terrestrial Gamma Flashes with TETRA And LAGO

CHAPTER 1 – INTRODUCTION . CHAPTER 2 – MOTIVATION . CHAPTER 3 – TETRA DETECTOR DESCRIPTION . CHATPER 4 – TETRA DATA ANALYSIS AND RESULTS: JULY 2010 TO FEBRUARY 2013 . CHAPTER 5 – UPDATED TETRA DATA ANALYSIS AND RESULTS: JULY 2010 TO MARCH 2014. CHAPTER 6 – TETRA STORM ANALYSIS . CHAPTER 7 – LAGO DESCRIPTION AND ANALYSIS . CHAPTER 8 – FUTURE PLANS: TETRA II. CHAPTER 9 – CONCLUSION. BIBLIOGRAPHY. APPENDIX A – TETRA ELECTRONICS . APPENDIX B – LAGO ELECTRONICS . APPENDIX C – ANALYSIS PROCESS . APPENDIX D – PERMISSION . VITA . iii
High Antibody-Dependent Cellular Cytotoxicity Responses Are Correlated with Strong CD8 T Cell Viral Suppressive Activity but Not with B57 Status in HIV-1 Elite Controllers

The role of Antibody-dependent cellular cytotoxicity (ADCC) responses in HIV-1 controllers is still unclear due to the heterogeneity of these patients. We analyzed 67 HIV-1 controllers and found significantly higher levels of ADCC antibodies in controllers versus viremic subjects (p = 0.017). Moreover, multivariate analysis revealed significantly higher ADCC titers in HLA B57- controllers compared to HLA-B57+ ones (p = 0.0086). These data suggest a role for ADCC in immune control of HIV, especially in HLA B57 negative controllers.
FeatureCommander: colorful #ifdef world

Software product line engineering is a promising paradigm to create variable software. In practice, conditional compilation is often used to implement software product lines, such that code of features is annotated with ifdef directives. However, preprocessor usage can lead to obfuscated source code that is hard to understand and maintain. In the literature, ifdef directives are even referred to as "ifdef hell" [1, 5].
A Survey on Multiobjective Evolutionary Algorithms for the Solution of the Portfolio Optimization Problem and Other Finance and Economics Applications

The coinciding development of multiobjective evolutionary algorithms (MOEAs) and the emergence of complex problem formulation in the finance and economics areas has led to a mutual interest from both research communities. Since the 1990s, an increasing number of works have thus proposed the application of MOEAs to solve complex financial and economic problems, involving multiple objectives. This paper provides a survey on the state-of-the-art of research, reported in the specialized literature to date, related to this framework. The taxonomy chosen here makes a distinction between the (widely covered) portfolio optimization problem and the other applications in the field. In addition, potential paths for future research within this area are identified.
Rapid Improvement in Diabetes After Gastric Bypass Surgery

OBJECTIVE Improvements in diabetes after Roux-en-Y gastric bypass (RYGB) often occur days after surgery. Surgically induced hormonal changes and the restrictive postoperative diet are proposed mechanisms. We evaluated the contribution of caloric restriction versus surgically induced changes to glucose homeostasis in the immediate postoperative period. RESEARCH DESIGN AND METHODS Patients with type 2 diabetes planning to undergo RYGB participated in a prospective two-period study (each period involved a 10-day inpatient stay, and periods were separated by a minimum of 6 weeks of wash-out) in which patients served as their own controls. The presurgery period consisted of diet alone. The postsurgery period was matched in all aspects (daily matched diet) and included RYGB surgery. Glucose measurements were performed every 4 h throughout the study. A mixed-meal challenge test was performed before and after each period. RESULTS Ten patients completed the study and had the following characteristics: age, 53.2 years (95% CI, 48.0–58.4); BMI, 51.2 kg/m2 (46.1–56.4); diabetes duration, 7.4 years (4.8–10.0); and HbA1c, 8.52% (7.08–9.96). Patients lost 7.3 kg (8.1–6.5) during the presurgery period versus 4.0 kg (6.2–1.7) during the postsurgery period (P = 0.01 between periods). Daily glycemia in the presurgery period was significantly lower (1,293.58 mg/dL·day [1,096.83–1,490.33) vs. 1,478.80 mg/dL·day [1,277.47–1,680.13]) compared with the postsurgery period (P = 0.02 between periods). The improvements in the fasting and maximum poststimulation glucose and 6-h glucose area under the curve (primary outcome) were similar during both periods. CONCLUSIONS Glucose homeostasis improved in response to a reduced caloric diet, with a greater effect observed in the absence of surgery as compared with after RYGB. These findings suggest that reduced calorie ingestion can explain the marked improvement in diabetes control observed after RYGB.
Perinatal depressive symptoms in HIV-infected versus HIV-uninfected women: a prospective study from preconception to postpartum.

OBJECTIVE Depression is common among HIV-infected women, predicts treatment nonadherence, and consequently may impact vertical transmission of HIV. We report findings from a study evaluating preconception, pregnancy, and postpartum depressive symptoms in HIV-infected vs. at-risk, HIV-uninfected women. METHODS We examined the prevalence and predictors of elevated perinatal (i.e., pregnancy and/or postpartum) depressive symptoms using a Center for Epidemiological Studies-Depression (CES-D) scale score of ≥16 in 139 HIV-infected and 105 HIV-uninfected women (62% African American) from the Women's Interagency HIV Study (WIHS). RESULTS The prevalence of elevated perinatal depressive symptoms did not differ by HIV serostatus (HIV-infected 44%, HIV-uninfected 50%, p=0.44). Among HIV-infected women, the strongest predictor of elevated symptoms was preconception depression (odds ratio [OR] 5.71, 95% confidence interval [CI] 2.67-12.19, p<0.001); crack, cocaine, and/or heroin use during preconception was marginally significant (OR 3.10, 95% CI 0.96-10.01, p=0.06). In the overall sample, additional significant predictors of perinatal depression included having multiple sex partners preconception (OR 2.20, 95% CI 1.12-4.32, p=0.02), use of preconception mental health services (OR 2.51, 95% CI 1.03-6.13, p=0.04), and not graduating from high school (OR 1.92, 95% CI 1.06-3.46, p=0.03). CONCLUSIONS Elevated perinatal depressive symptoms are common among HIV-infected and at-risk HIV-uninfected women. Depressive symptoms before pregnancy were the strongest predictor of perinatal symptoms. Findings underscore the importance of early and ongoing assessment and treatment to ensure low vertical transmission rates and improving postpregnancy outcomes for mothers and children.
A spectral method to separate disconnected and nearly-disconnected web graph components

Separation of connected components from a graph with disconnected graph components mostly use breadth-first search (BFS) or depth-first search (DFS) graph algorithms. Here we propose a new algebraic method to separate disconnected and nearly-disconnected components. This method is based on spectral graph partitioning, following a key observation that disconnected components will show up, after properly sorted, as step-function like curve in the lowest eigenvectors of the Laplacian matrix of the graph. Following an perturbative analysis framework, we systematically analyzed the graph structures, first on the disconnected subgraph case, and second on the effects of adding edges sparsely connecting different subgraphs as a perturbation. Several new results are derived, providing insights to spectral methods and related clustering objective function. Examples are given illustrating the concepts and results our methods. Comparing to the standard graph algorithms, this method has the same O(‖E ‖ + ‖V‖log(‖V‖)) complexity, but is easier to implement (using readily available eigensolvers). Further more the method can easily identify articulation points and bridges on nearly-disconnected graphs. Segmentation of a real example of Web graph for query amazon is given. We found that each disconnected or nearly-disconnected components forms a cluster on a clear topic.