Miracle-dz/UniFAR-FTUs huggingface dataset:
Visual control system design of wheeled inverted pendulum robot based on Beaglebone Black

The wheeled inverted pendulum robot has broad prospects of applications in real life. It can use two coaxial wheels to achieve the body self-balancing, forward moving and turning. But the general wheeled inverted pendulum robot seldom has vision function to perceive enviromental change. In order to realize the robust visual control, a wheeled inverted-pendulum vision robot with attitude sensors, photoelectric encoders, ultrasonic sensors and so on is designed based on Beaglebone Black board. The moving object is separated in the space domain by obtaining the image sequence which is sent by a robot-mounted camera, and the modeling, identification and tracking of target sequence are implemented in the time domain. The balance PD, speed PI and steering PD controllers are designed to realize the dynamic balance, forward and steering function of the robot. To satisfy the functional requirements of the visual tracking system, an improved tracking-learning-detection algorithm based on kernelized correlation filtering is used, and a tracking anomaly based on spatial context is detected to determine the tracking state and reduce the error rate. Experimental results show that the robot reaches the requirement of design and achieves better visual control effectiveness.
Perceived Marital Support and Incident Mental Illness: Evidence from the National Comorbidity Survey.

Social support in marriage may be associated with reduced risk for mental illness. Past studies are limited by short follow up and a focus on depression. A two-wave nationally representative survey in the United States (n = 2,503) is used to examine whether social support in marriage is associated with the onset of each of four clusters of disorders-internalizing, externalizing, phobic, and bipolar-10 years later. Results indicate that higher levels of perceived marital support were protective against internalizing, fear, and bipolar disorders, and against incident externalizing disorders for women. Protective effects of social support in marriage against mental illness are long-lasting, and sometimes differ by gender. Findings suggest the importance of mental health assessment in clinical practice.
Genipin-Enhanced Fibrin Hydrogel and Novel Silk for Intervertebral Disc Repair in a Loaded Bovine Organ Culture Model

(1) Background: Intervertebral disc (IVD) repair represents a major challenge. Using functionalised biomaterials such as silk combined with enforced hydrogels might be a promising approach for disc repair. We aimed to test an IVD repair approach by combining a genipin-enhanced fibrin hydrogel with an engineered silk scaffold under complex load, after inducing an injury in a bovine whole organ IVD culture; (2) Methods: Bovine coccygeal IVDs were isolated from ~1-year-old animals within four hours post-mortem. Then, an injury in the annulus fibrosus was induced by a 2 mm biopsy punch. The repair approach consisted of genipin-enhanced fibrin hydrogel that was used to fill up the cavity. To seal the injury, a Good Manufacturing Practise (GMP)-compliant engineered silk fleece-membrane composite was applied and secured by the cross-linked hydrogel. Then, IVDs were exposed to one of three loading conditions: no load, static load and complex load in a two-degree-of-freedom bioreactor for 14 days. Followed by assessing DNA and matrix content, qPCR and histology, the injured discs were compared to an uninjured control IVD that underwent the same loading profiles. In addition, the genipin-enhanced fibrin hydrogel was further investigated with respect to cytotoxicity on human stem cells, annulus fibrosus, and nucleus pulposus cells; (3) Results: The repair was successful as no herniation could be detected for any of the three loading conditions. Disc height was not recovered by the repair DNA and matrix contents were comparable to a healthy, untreated control disc. Genipin resulted being cytotoxic in the in vitro test but did not show adverse effects when used for the organ culture model; (4) Conclusions: The current study indicated that the combination of the two biomaterials, i.e., genipin-enhanced fibrin hydrogel and an engineered silk scaffold, was a promising approach for IVD repair. Furthermore, genipin-enhanced fibrin hydrogel was not suitable for cell cultures; however, it was highly applicable as a filler material.
A concrete model for a typed linear algebraic lambda calculus

We give an adequate, concrete, categorical-based model for Lambda- ${\mathcal S}$ , which is a typed version of a linear-algebraic lambda calculus, extended with measurements. Lambda- ${\mathcal S}$ is an extension to first-order lambda calculus unifying two approaches of non-cloning in quantum lambda-calculi: to forbid duplication of variables and to consider all lambda-terms as algebraic linear functions. The type system of Lambda- ${\mathcal S}$ has a superposition constructor S such that a type A is considered as the base of a vector space, while SA is its span. Our model considers S as the composition of two functors in an adjunction relation between the category of sets and the category of vector spaces over $\mathbb C$ . The right adjoint is a forgetful functor U, which is hidden in the language, and plays a central role in the computational reasoning.
Using NLP on news headlines to predict index trends

This paper attempts to provide a state of the art in trend prediction using news headlines. We present the research done on predicting DJIA trends using Natural Language Processing. We will explain the different algorithms we have used as well as the various embedding techniques attempted. We rely on statistical and deep learning models in order to extract information from the corpuses.
Diagnostic and Therapeutic Challenges in Nonparasitic Liver Cysts

Nonparasitic hepatic cysts constitute a heterogeneous group of disorders. A proper diagnosis of hepatic cyst is necessary in order to adopt the best treatment. The term hepatic cyst usually refers to simple hepatic cysts. Nonparasitic hepatic cysts are also linked to genetic disorders such as polycystic liver disease (PLD) with/ without autosomal dominant polycystic kidney disease (ADPKD) or Caroli disease. Generally, patients with nonparasitic hepatic cysts less than 3 cm are asymptomat‐ ic. These cysts become symptomatic when are large, multiple, or complicated. Percutaneous abdominal ultrasound is the best imaging modality to diagnose hepatic cysts but must be completed by other imaging and serological tests. It is important to differentiate simple hepatic cyst from hydatid cyst, cystadenoma, and cystadenocarcinoma before proceeding with the treatment. Sometimes the diagnosis is very challenging. Asymptomatic single liver cysts need only surveil‐ lance, but symptomatic and complicated ones require therapeutic intervention. Percutaneous aspiration of the cyst under ultrasound guidance is a mini-invasive procedure generally associated with sclerotherapy. The highest success rates were reported for laparoscopic or open cyst fenestration. Liver transplantation is indicated for patients with severe PLD.
Men-centered approaches for primary and secondary prevention of HIV/AIDS: a scoping review of effective interventions.

Approximately 65,000 people live with HIV/AIDS (PLWHA) in Canada and around 82% of declared cases (52,932 cases) of HIV and AIDS are men. Without evidence-based specific interventions, HIV will continue to spread. This scoping review aims to identify evidence on best practice programs for sexual and reproductive health promotion (i.e. HIV/AIDS) targeting men, and to document the best channels for reaching men. English and French language literature indexed in relevant electronic databases was systematically searched. This was complemented by a manual search through five periodicals specializing in men's health. A total of 6608 articles were identified and 39 articles that met all inclusion and exclusion criteria were retained in the synthesis. Three reviewers independently extracted information on: health topic (i.e. HIV/AIDS), design of services (structure and resources), modes of delivery, content of intervention and main outcomes. The preventive practices with the strongest supportive evidence included, just in time information available through electronic channels (website or cell phone). Interventions designed for men only, showed significantly greater effectiveness compared to interventions targeting both men and women. We derived practical recommendations to design an integrated evidence-based preventive intervention targeting men.
Differential Tolerance to FTY720-Induced Antinociception in Acute Thermal and Nerve Injury Mouse Pain Models: Role of Sphingosine-1-Phosphate Receptor Adaptation

The immunomodulatory prodrug 2-amino-2-(2-[4-octylphenyl]ethyl)-1,3-propanediol (FTY720), which acts as an agonist for sphingosine-1-phosphate (S1P) receptors (S1PR) when phosphorylated, is proposed as a novel pain therapeutic. In this study, we assessed FTY720-mediated antinociception in the radiant heat tail–flick test and in the chronic constriction injury (CCI) model of neuropathic pain in mice. FTY720 produced antinociception and antiallodynia, respectively, and these effects were dose-dependent and mimicked by the S1PR1-selective agonist CYM-5442. Repeated administration of FTY720 for 1 week produced tolerance to acute thermal antinociception, but not to antiallodynia in the CCI model. S1PR-stimulated [35S]GTPγS autoradiography revealed apparent desensitization of G protein activation by S1P or the S1PR1 agonist 5-[4-phenyl-5-(trifluoromethyl)-2-thienyl]-3-[3-(trifluoromethyl)phenyl]-1,2,4-oxadiazole (SEW-2871) throughout the brain. Similar results were seen in spinal cord membranes, whereby the Emax value of S1PR-stimulated [35S]GTPγS binding was greatly reduced in repeated FTY720-treated mice. These results suggest that S1PR1 is a primary target of FTY720 in alleviating both acute thermal nociception and chronic neuropathic nociception. Furthermore, the finding that tolerance develops to antinociception in the tail–flick test but not in chronic neuropathic pain suggests a differential mechanism of FTY720 action between these models. The observation that repeated FTY720 administration led to desensitized S1PR1 signaling throughout the central nervous system suggests the possibility that S1PR1 activation drives the acute thermal antinociceptive effects, whereas S1PR1 desensitization mediates the following: 1) tolerance to thermal antinociceptive actions of FTY720 and 2) the persistent antiallodynic effects of FTY720 in neuropathic pain by producing functional antagonism of pronociceptive S1PR1 signaling.
Social Comparison Orientation and Social Adaptation Among Young Chinese Adolescents: The Mediating Role of Academic Self-Concept

This study aimed to investigate the relationship among social comparison orientation, academic self-concept (ASC), and social adaptation. A total of 1658 Chinese adolescents (48.88% male; aged 14–18 years, Mage = 16.01 ± 0.86 years) voluntarily participated in this study and completed questionnaires. Structural equation modeling (SEM) was performed to test the theory-driven model. The results showed that the relationship between comparison of opinion and social adaptation was mediated by ASC but that ASC did not play a mediating role between comparison of ability and social adaptation. These findings indicated that ASC could be one mechanism explaining the link between adolescents’ social comparison orientation and social adaptation. Furthermore, it is possible to intervene in their social comparison orientation and ASC to improve adolescents’ social adaptation.
CFENet: An Accurate and Efficient Single-Shot Object Detector for Autonomous Driving

The ability to detect small objects and the speed of the object detector are very important for the application of autonomous driving, and in this paper, we propose an effective yet efficient one-stage detector, which gained the second place in the Road Object Detection competition of CVPR2018 workshop - Workshop of Autonomous Driving(WAD). The proposed detector inherits the architecture of SSD and introduces a novel Comprehensive Feature Enhancement(CFE) module into it. Experimental results on this competition dataset as well as the MSCOCO dataset demonstrate that the proposed detector (named CFENet) performs much better than the original SSD and the state-of-the-art method RefineDet especially for small objects, while keeping high efficiency close to the original SSD. Specifically, the single scale version of the proposed detector can run at the speed of 21 fps, while the multi-scale version with larger input size achieves the mAP 29.69, ranking second on the leaderboard
Fast entropy-bounded string dictionary look-up with mismatches

We revisit the fundamental problem of dictionary look-up with mismatches. Given a set (dictionary) of $d$ strings of length $m$ and an integer $k$, we must preprocess it into a data structure to answer the following queries: Given a query string $Q$ of length $m$, find all strings in the dictionary that are at Hamming distance at most $k$ from $Q$. Chan and Lewenstein (CPM 2015) showed a data structure for $k = 1$ with optimal query time $O(m/w + occ)$, where $w$ is the size of a machine word and $occ$ is the size of the output. The data structure occupies $O(w d \log^{1+\varepsilon} d)$ extra bits of space (beyond the entropy-bounded space required to store the dictionary strings). In this work we give a solution with similar bounds for a much wider range of values $k$. Namely, we give a data structure that has $O(m/w + \log^k d + occ)$ query time and uses $O(w d \log^k d)$ extra bits of space.
Echoes of Early Life: Recent Insights From Mathematical Modeling

In the last decades, developmental origins of health and disease (DOHaD) has emerged as a central framework for studying early‐life effects, that is, the impact of fetal and early postnatal experience on adult functioning. Apace with empirical progress, theoreticians have built mathematical models that provide novel insights for DOHaD. This article focuses on three of these insights, which show the power of environmental noise (i.e., imperfect indicators of current and future conditions) in shaping development. Such noise can produce: (a) detrimental outcomes even in ontogenetically stable environments, (b) individual differences in sensitive periods, and (c) early‐life effects tailored to predicted future somatic states. We argue that these insights extend DOHaD and offer new research directions.
Diverging response patterns of terrestrial and aquatic species to hydromorphological restoration

Although experiences with ecological restoration continue to accumulate, the effectiveness of restoration for biota remains debated. We complemented a traditional taxonomic analysis approach with information on 56 species traits to uncover the responses of 3 aquatic (fish, macroinvertebrates, macrophytes) and 2 terrestrial (carabid beetles, floodplain vegetation) biotic groups to 43 hydromorphological river restoration projects in Germany. All taxonomic groups responded positively to restoration, as shown by increased taxonomic richness (10–164%) and trait diversity (habitat, dispersal and mobility, size, form, life history, and feeding groups) (15–120%). Responses, however, were stronger for terrestrial than aquatic biota, and, contrary to our expectation, taxonomic responses were stronger than those of traits. Nevertheless, trait analysis provided mechanistic insights into the drivers of community change following restoration. Trait analysis for terrestrial biota indicated restoration success was likely enhanced by lateral connectivity and reestablishment of dynamic processes in the floodplain. The weaker response of aquatic biota suggests recovery was hindered by the persistence of stressors in the aquatic environment, such as degraded water quality, dispersal constraints, and insufficient hydromorphological change. Therefore, river restoration requires combined local‐ and regional‐scale approaches to maximize the response of both aquatic and terrestrial organisms. Due to the contrasting responses of aquatic and terrestrial biota, the planning and assessment of river restoration outcomes should consider effects on both components of riverine landscapes.
An Integer Linear Programming Solution for the Domain-Gene-Species Reconciliation Problem

It is well-understood that most eukaryotic genes contain one or more protein domains and that the domain content of a gene can change over time. This change in domain content, through domain duplications, transfers, or losses, has important evolutionary and functional consequences. Recently, a powerful new reconciliation framework, called Domain-Gene-Species (DGS) reconciliation, was introduced to simultaneously model the evolution of a domain family inside one or more gene families and the evolution of those gene families inside a species tree. The underlying computational problem in DGS reconciliation is NP-hard and a heuristic algorithm is currently used to estimate optimal DGS reconciliations. However, this heuristic has several undesirable limitations. First, it offers no guarantee of optimality or near-optimality. Second, it can result in biologically unrealistic evolutionary scenarios. And third, it only computes a single DGS reconciliation even though there can be multiple optimal DGS reconciliations. In this work, we introduce the first exact algorithm for computing optimal DGS reconciliations that addresses all three limitations. Our algorithm is based on an integer linear programming formulation of the problem, which we solve iteratively by solving a series of linear programming relaxations. Our experimental results on over $3,400$ domain trees and over 7,000 gene trees from 12 fly species shows that our new algorithm is highly scalable and that it leads to significant improvement in DGS reconciliation inference. An implementation of our exact algorithm is available freely from http://compbio.engr. uconn.edu/software/seadog/.
Maternal obesity stimulates lipotoxicity and up-regulates inflammatory signaling pathways in the full-term swine placenta.

This study aimed to investigate the effects of back-fat thickness (BF), at mating of sows, on placental lipotoxicity, oxidative stress, and inflammation. We performed iTRAQ labeling-based proteomic analysis on term placentas obtained by vaginal delivery from BFI (15-20 mm, control) and BFII (21-27 mm, obese) sows formed according to BF at mating. Proteomic analysis revealed 413 proteins to be significantly different in placenta from BFII sows by ≥1.2-fold. Gene ontology (GO) analysis identified proteins related to lipid metabolism and inflammatory response to be altered in placenta from obese sows. Indicative of a lipotoxic placental environment, increased placental lipid, and up-regulated mRNA expression of lipogenic genes, including ADRP (p = .06), PPARD, FASN, ACACA, DGAT1, and LIPIN3, were associated with decreased AMPK and increased activation of WNT signaling in placenta from BFII group (p < .05). Furthermore, we observed a 18% decrease in total antioxidant capacity (TAC), increased mRNA content of pro-inflammatory cytokines IL-6, IL-18, and TNF-α, and increased activation of inflammatory NF-κB and JNK signaling in placenta from BFII sows that was significantly associated with macrophage accumulation (p < .05). These findings suggest that maternal obesity aggravates a lipotoxic environment in pig term placenta that may be associated with placental dysfunction and impaired fetal growth.
Prolonged Leisure Time Spent Sitting in Relation to Cause-Specific Mortality in a Large US Cohort

The majority of leisure time is spent in sedentary behaviors such as television viewing. Studies have documented that prolonged leisure-time sitting is associated with higher risk of mortality-total, cardiovascular disease, cancer, and "all other causes"-but few have examined the "other" causes of death in detail. To examine associations of leisure-time sitting with risk of specific causes of death, we analyzed data from the Cancer Prevention Study II (CPS-II) Nutrition Cohort, a prospective US cohort including 127,554 men and women who were free of major chronic disease at study entry, and among whom 48,784 died during 21 years of follow-up (1993-2014; median follow-up, 20.3 years, interquartile range, 4.6 years). After multivariable adjustment, prolonged leisure-time sitting (≥6 vs. <3 hours per day) was associated with higher risk of mortality from all causes, cardiovascular disease (including coronary heart disease and stroke-specific mortality), cancer, diabetes, kidney disease, suicide, chronic obstructive pulmonary disease, pneumonitis due to solids and liquids, liver, peptic ulcer and other digestive disease, Parkinson disease, Alzheimer disease, nervous disorders, and musculoskeletal disorders. These findings provide additional evidence for associations between a broad range of mortality outcomes and prolonged sitting time. Given the pervasive nature of sitting in the contemporary lifestyle, this study further supports the recommendation that encouraging individuals to reduce sedentary time may provide health benefits.
Clinical, genetic and neuropathological characterization of spinocerebellar ataxia type 37

The autosomal dominant spinocerebellar ataxias (SCAs) consist of a highly heterogeneous group of rare movement disorders characterized by progressive cerebellar ataxia variably associated with ophthalmoplegia, pyramidal and extrapyramidal signs, dementia, pigmentary retinopathy, seizures, lower motor neuron signs, or peripheral neuropathy. Over 41 different SCA subtypes have been described evidencing the high clinical and genetic heterogeneity. We previously reported a novel spinocerebellar ataxia type subtype, SCA37, linked to an 11-Mb genomic region on 1p32, in a large Spanish ataxia pedigree characterized by ataxia and a pure cerebellar syndrome distinctively presenting with early-altered vertical eye movements. Here we demonstrate the segregation of an unstable intronic ATTTC pentanucleotide repeat mutation within the 1p32 5' non-coding regulatory region of the gene encoding the reelin adaptor protein DAB1, implicated in neuronal migration, as the causative genetic defect of the disease in four Spanish SCA37 families. We describe the clinical-genetic correlation and the first SCA37 neuropathological findings caused by dysregulation of cerebellar DAB1 expression. Post-mortem neuropathology of two patients with SCA37 revealed severe loss of Purkinje cells with abundant astrogliosis, empty baskets, occasional axonal spheroids, and hypertrophic fibres by phosphorylated neurofilament immunostaining in the cerebellar cortex. The remaining cerebellar Purkinje neurons showed loss of calbindin immunoreactivity, aberrant dendrite arborization, nuclear pathology including lobulation, irregularity, and hyperchromatism, and multiple ubiquitinated perisomatic granules immunostained for DAB1. A subpopulation of Purkinje cells was found ectopically mispositioned within the cerebellar cortex. No significant neuropathological alterations were identified in other brain regions in agreement with a pure cerebellar syndrome. Importantly, we found that the ATTTC repeat mutation dysregulated DAB1 expression and induced an RNA switch resulting in the upregulation of reelin-DAB1 and PI3K/AKT signalling in the SCA37 cerebellum. This study reveals the unstable ATTTC repeat mutation within the DAB1 gene as the underlying genetic cause and provides evidence of reelin-DAB1 signalling dysregulation in the spinocerebellar ataxia type 37.