Miracle-dz/UniFAR-FTUs huggingface dataset:
Logic Tensor Networks for Semantic Image Interpretation

Semantic Image Interpretation (SII) is the task of extracting structured semantic descriptions from images. It is widely agreed that the combined use of visual data and background knowledge is of great importance for SII. Recently, Statistical Relational Learning (SRL) approaches have been developed for reasoning under uncertainty and learning in the presence of data and rich knowledge. Logic Tensor Networks (LTNs) are an SRL framework which integrates neural networks with first-order fuzzy logic to allow (i) efficient learning from noisy data in the presence of logical constraints, and (ii) reasoning with logical formulas describing general properties of the data. In this paper, we develop and apply LTNs to two of the main tasks of SII, namely, the classification of an image's bounding boxes and the detection of the relevant part-of relations between objects. To the best of our knowledge, this is the first successful application of SRL to such SII tasks. The proposed approach is evaluated on a standard image processing benchmark. Experiments show that the use of background knowledge in the form of logical constraints can improve the performance of purely data-driven approaches, including the state-of-the-art Fast Region-based Convolutional Neural Networks (Fast R-CNN). Moreover, we show that the use of logical background knowledge adds robustness to the learning system when errors are present in the labels of the training data.
Sleep Duration and Oxidative Stress: The Buffalo Cardio-Metabolic Occupational Police Stress (BCOPS) Study

Our objective was to investigate the cross-sectional association between sleep duration and biomarkers of oxi- dative stress (glutathione (GSH), glutathione peroxidase (GSH-Px), vitamin C, thiobarbituric acid reactive substances (TBARS), and trolox equivalent antioxidant capacity (TEAC)) among police officers. Standardized techniques were used to analyze biomarkers in fasting blood specimens. Mean levels of biomarkers were compared across levels of sleep dura- tion (0-4.9, 5.0-6.9, � 7.0 hours) using ANOVA. Officers' (women=44; men=69) mean age was 39.6 years. Positive trends were observed across sleep categories with mean levels of GSH and vitamin C only among women (p trend=0.156 and 0.022 respectively), with attenuation after risk-factor adjustment. Positive trends were observed for vitamin C among older officers (p trend=0.018) but not younger. No associations were observed between sleep duration and biomarkers among men. Longer sleep duration is associated with higher levels of vitamin C among policewomen and older officers. Additional studies are warranted.
ssrA (tmRNA) Plays a Role inSalmonella enterica Serovar Typhimurium Pathogenesis

ABSTRACT Escherichia coli ssrA encodes a small stable RNA molecule, tmRNA, that has many diverse functions, including tagging abnormal proteins for degradation, supporting phage growth, and modulating the activity of DNA binding proteins. Here we show thatssrA plays a role in Salmonella entericaserovar Typhimurium pathogenesis and in the expression of several genes known to be induced during infection. Moreover, the phage-like attachment site, attL, encoded within ssrA, serves as the site of integration of a region ofSalmonella-specific sequence; adjacent to the 5′ end ofssrA is another region of Salmonella-specific sequence with extensive homology to predicted proteins encoded within the unlinked Salmonella pathogenicity island SPI4. S. enterica serovar Typhimurium ssrA mutants fail to support the growth of phage P22 and are delayed in their ability to form viable phage particles following induction of a phage P22 lysogen. These data indicate that ssrA plays a role in the pathogenesis of Salmonella, serves as an attachment site for Salmonella-specific sequences, and is required for the growth of phage P22.
Counting Plane Graphs: Cross-Graph Charging Schemes

We study cross-graph charging schemes for graphs drawn in the plane. These are charging schemes where charge is moved across vertices of different graphs. Such methods have recently been used to obtain various properties of triangulations that are embedded in a fixed set of points in the plane. We generalize this method to obtain results for various other types of graphs that are embedded in the plane. Specifically, we obtain a new bound of O*(187.53N) (where the O*(⋅) notation hides polynomial factors) for the maximum number of crossing-free straight-edge graphs that can be embedded in any specific set of N points in the plane (improving upon the previous best upper bound 207.85N in Hoffmann, Schulz, Sharir, Sheffer, Tóth and Welzl [14]). We also derive upper bounds for numbers of several other types of plane graphs (such as connected and bi-connected plane graphs), and obtain various bounds on the expected vertex-degrees in graphs that are uniformly chosen from the set of all crossing-free straight-edge graphs that can be embedded in a specific point set. We then apply the cross-graph charging-scheme method to graphs that allow certain types of crossings. Specifically, we consider graphs with no set of k pairwise crossing edges (more commonly known as k-quasi-planar graphs). For k=3 and k=4, we prove that, for any set S of N points in the plane, the number of graphs that have a straight-edge k-quasi-planar embedding over S is only exponential in N.
A Comprehensive Analysis on the Stress Field and Seismic Anisotropy in Eastern Tibet

Widespread rotations of maximum compressive stress in the upper crust are revealed in eastern Tibet by the focal mechanism stress inversion technique. Because of the good correlation with locations of folds, anticlines, and mountains in the region, the upper crustal stress variation is related to the lateral displacement of upper crust. To compare deformations in upper crust and upper mantle, we use SKS/SKKS splitting measurements to investigate the seismic anisotropy in eastern Tibet. The fast polarization directions subparallel to the strikes of faults in Chuandian fragment and southern boundary tectonic belt. This may indicate that the induced anisotropy mainly resulted from alignment of fault fabrics by strong shearing along strike‐slip faults, while the widespread stress rotations and systemic angular difference between upper crustal stress field and seismic anisotropy suggest that the decoupling of upper crustal deformation from middle‐lower crust by a series of detachments in the process of the crust thickening resulted from the obstruction of eastward expansion by Sichuan Basin.
Growth factors in ischemic stroke

• Background • Search strategies • Haematopoietic growth factors • Granulocyte colony‐stimulating factor ‐ G‐CSF and experimental stroke ‐ G‐CSF and human stroke ‐ Ongoing studies ‐ Current evidence and future perspectives • Erythropoietin ‐ EPO and experimental stroke ‐ EPO and human stroke ‐ Ongoing studies ‐ Current evidence and future perspectives • Granulocyte‐macrophage colony‐stimulating factor ‐ GM‐CSF and experimental stroke ‐ GM‐CSF and human stroke ‐ Current evidence and future perspectives • Vascular endothelial growth factor ‐ VEGF and experimental stroke ‐ VEGF and human stroke ‐ Ongoing studies ‐ Current evidence and future perspectives • Stromal cell‐derived factor‐1 ‐ SDF‐1 in experimental stroke ‐ Current evidence and future perspectives • Stem cell factor ‐ Current evidence and future perspectives • Other growth factors: neurotrophins ‐ Brain–derived neurotrophic factor ‐ Current evidence and future perspectives ‐ Basic fibroblast growth factor ‐ Current evidence and future perspectives ‐ Insulin‐like growth factor 1 ‐ Current evidence and future perspectives ‐ Glial cell line‐derived neurotrophic factor ‐ Current evidence and future perspectives ‐ Heparin‐binding EGF‐like growth factor ‐ Current evidence and future perspectives • Discussion
Impact of the adequacy of energy intake on intensive care unit mortality in patients receiving enteral nutrition.

OBJECTIVE To investigate the relationship between adequacy of energy intake and intensive care unit mortality in patients receiving exclusive enteral nutrition therapy. METHODS Observational and prospective study conducted during 2008 and 2009. Patients above 18 years with exclusive enteral nutrition therapy for at least 72 hours were included. The adequacy of energy intake was estimated by the administered/prescribed ratio. Non-conditional logistic regression was used to assess the relationship between predictive variables (adequacy of energy intake, APACHE II, gender, age, and intensive care unit length of stay) and intensive care unit mortality. RESULTS Sixty-three patients (mean 58 years, 27% mortality) were included, 47.6% of whom received more than 90% of the energy prescribed (mean adequacy 88.2%). Mean energy balance was -190 kcal/day. Significant associations between death in the intensive care unit and the variables age and intensive care unit length of stay were observed, after removing the variables adequacy of energy intake, APACHE II, gender and age during the modeling process. CONCLUSION In our study, adequacy of energy intake did not affect intensive care unit mortality. Carefully followed enteral nutrition protocols, resulting in an administered/prescribed ratio above 70%, are apparently not sufficient to impact the mortality rates in the intensive care unit. Therefore, it may not be necessary to achieve 100% of the targeted energy, considering the high frequency of enteral feeding interruptions due to gastrointestinal intolerance and fasting for tests and procedures. Additional research is needed to identify the optimal energy intake for improved outcomes and reduced costs.
Fair sampling perspective on an apparent violation of duality

Significance In 2012, Menzel et al. reported on the results of a fundamental experiment raising questions regarding the simultaneous observation of wave-like and particle-like properties in a given quantum system. Whereas the general applicability of the duality principle to entangled subsystems is an open question, we bring the current understanding of the duality principle a step forward by theoretically deriving the strongest relations between the visibility of an interference pattern and the which-way information in a two-way interferometer such as Young’s double slit. This formalism successfully describes tests of duality where postselection on a subset of the interference pattern is applied. Our analysis even reconciles the surprising results of Menzel et al. with the duality principle in its standard form. In the event in which a quantum mechanical particle can pass from an initial state to a final state along two possible paths, the duality principle states that “the simultaneous observation of wave and particle behavior is prohibited” [Scully MO, Englert B-G, Walther H (1991) Nature 351:111–116]. Whereas wave behavior is associated with the observation of interference fringes, particle behavior generally corresponds to the acquisition of which-path information by means of coupling the paths to a measuring device or part of their environment. In this paper, we show how the consequences of duality change when allowing for biased sampling, that is, postselected measurements on specific degrees of freedom of the environment of the two-path state. Our work gives insight into a possible mechanism for obtaining simultaneous high which-path information and high-visibility fringes in a single experiment. Further, our results introduce previously unidentified avenues for experimental tests of duality.
Dopamine Replacement Modulates Oscillatory Coupling Between Premotor and Motor Cortical Areas in Parkinson's Disease

Efficient neural communication between premotor and motor cortical areas is critical for manual motor control. Here, we used high-density electroencephalography to study cortical connectivity in patients with Parkinson's disease (PD) and age-matched healthy controls while they performed repetitive movements of the right index finger at maximal repetition rate. Multiple source beamformer analysis and dynamic causal modeling were used to assess oscillatory coupling between the lateral premotor cortex (lPM), supplementary motor area (SMA), and primary motor cortex (M1) in the contralateral hemisphere. Elderly healthy controls showed task-related modulation in connections from lPM to SMA and M1, mainly within the γ-band (>30 Hz). Nonmedicated PD patients also showed task-related γ-γ coupling from lPM to M1, but γ coupling from lPM to SMA was absent. Levodopa reinstated physiological γ-γ coupling from lPM to SMA and significantly strengthened coupling in the feedback connection from M1 to lPM expressed as β-β as well as θ-β coupling. Enhancement in cross-frequency θ-β coupling from M1 to lPM was correlated with levodopa-induced improvement in motor function. The results show that PD is associated with an altered neural communication between premotor and motor cortical areas, which can be modulated by dopamine replacement.
Fast Adaptation in Mouse Olfactory Sensory Neurons Does Not Require the Activity of Phosphodiesterase

Vertebrate olfactory sensory neurons rapidly adapt to repetitive odorant stimuli. Previous studies have shown that the principal molecular mechanisms for odorant adaptation take place after the odorant-induced production of cAMP, and that one important mechanism is the negative feedback modulation by Ca2+-calmodulin (Ca2+-CaM) of the cyclic nucleotide-gated (CNG) channel. However, the physiological role of the Ca2+-dependent activity of phosphodiesterase (PDE) in adaptation has not been investigated yet. We used the whole-cell voltage-clamp technique to record currents in mouse olfactory sensory neurons elicited by photorelease of 8-Br-cAMP, an analogue of cAMP commonly used as a hydrolysis-resistant compound and known to be a potent agonist of the olfactory CNG channel. We measured currents in response to repetitive photoreleases of cAMP or of 8-Br-cAMP and we observed similar adaptation in response to the second stimulus. Control experiments were conducted in the presence of the PDE inhibitor IBMX, confirming that an increase in PDE activity was not involved in the response decrease. Since the total current activated by 8-Br-cAMP, as well as that physiologically induced by odorants, is composed not only of current carried by Na+ and Ca2+ through CNG channels, but also by a Ca2+-activated Cl− current, we performed control experiments in which the reversal potential of Cl− was set, by ion substitution, at the same value of the holding potential, −50 mV. Adaptation was measured also in these conditions of diminished Ca2+-activated Cl− current. Furthermore, by producing repetitive increases of ciliary's Ca2+ with flash photolysis of caged Ca2+, we showed that Ca2+-activated Cl− channels do not adapt and that there is no Cl− depletion in the cilia. All together, these results indicate that the activity of ciliary PDE is not required for fast adaptation to repetitive stimuli in mouse olfactory sensory neurons.
Singular Value Decomposition Learning on Double Stiefel Manifold

The aim of this paper is to present a unifying view of four SVD-neural-computation techniques found in the scientific literature and to present some theoretical results on their behavior. The considered SVD neural algorithms are shown to arise as Riemannian-gradient flows on double Stiefel manifold and their geometric and dynamical properties are investigated with the help of differential geometry.
Unsupervised Feature Extraction by Time-Contrastive Learning and Nonlinear ICA

Nonlinear independent component analysis (ICA) provides an appealing framework for unsupervised feature learning, but the models proposed so far are not identifiable. Here, we first propose a new intuitive principle of unsupervised deep learning from time series which uses the nonstationary structure of the data. Our learning principle, time-contrastive learning (TCL), finds a representation which allows optimal discrimination of time segments (windows). Surprisingly, we show how TCL can be related to a nonlinear ICA model, when ICA is redefined to include temporal nonstationarities. In particular, we show that TCL combined with linear ICA estimates the nonlinear ICA model up to point-wise transformations of the sources, and this solution is unique --- thus providing the first identifiability result for nonlinear ICA which is rigorous, constructive, as well as very general.
Carboxyl-Terminal Truncations Alter the Activity of the Human α-Galactosidase A

Fabry disease is an X-linked inborn error of glycolipid metabolism caused by deficiency of the human lysosomal enzyme, α-galactosidase A (αGal), leading to strokes, myocardial infarctions, and terminal renal failure, often leading to death in the fourth or fifth decade of life. The enzyme is responsible for the hydrolysis of terminal α-galactoside linkages in various glycolipids. Enzyme replacement therapy (ERT) has been approved for the treatment of Fabry disease, but adverse reactions, including immune reactions, make it desirable to generate improved methods for ERT. One approach to circumvent these adverse reactions is the development of derivatives of the enzyme with more activity per mg. It was previously reported that carboxyl-terminal deletions of 2 to 10 amino acids led to increased activity of about 2 to 6-fold. However, this data was qualitative or semi-quantitative and relied on comparison of the amounts of mRNA present in Northern blots with αGal enzyme activity using a transient expression system in COS-1 cells. Here we follow up on this report by constructing and purifying mutant enzymes with deletions of 2, 4, 6, 8, and 10 C-terminal amino acids (Δ2, Δ4, Δ6, Δ8, Δ10) for unambiguous quantitative enzyme assays. The results reported here show that the k cat/K m approximately doubles with deletions of 2, 4, 6 and 10 amino acids (0.8 to 1.7-fold effect) while a deletion of 8 amino acids decreases the k cat/K m (7.2-fold effect). These results indicate that the mutated enzymes with increased activity constructed here would be expected to have a greater therapeutic effect on a per mg basis, and could therefore reduce the likelihood of adverse infusion related reactions in Fabry patients receiving ERT treatment. These results also illustrate the principle that in vitro mutagenesis can be used to generate αGal derivatives with improved enzyme activity.
A two-week pilot study of intranasal oxytocin for cocaine-dependent individuals receiving methadone maintenance treatment for opioid use disorder

Abstract About 30–60% of the patients receiving methadone for opioid use disorder (OUD) actively use cocaine. Cocaine use disorder (CUD) has no FDA-approved pharmacological treatment; existing psychosocial treatments are inadequate. Oxytocin (OT), a social neuropeptide, has preclinical promise as an adjunctive treatment for both OUD and CUD. Twenty-two individuals receiving methadone for OUD with co-occurring CUD were randomized to receive OT or placebo intranasally 40 IU twice daily for two weeks. A priori aims were feasibility and safety. Exploratory effectiveness aims included laboratory-based measures of drug craving, drug-related implicit cognition, and drug use. High retention rates (93.5%), the absence of study-related adverse events, and the fact that OT was well tolerated in this population support the feasibility of larger trials. Two weeks of OT (but not placebo) significantly reduced cocaine craving at day 15 compared to baseline (mean change ± SD: OT = −0.23 ± 0.19, p = 0.004; PL = −0.16 ± 0.29, p = 0.114). For heroin craving, the placebo group reported a trend-level increase over time while the OT group remained unchanged – with medium to large effect sizes between the groups (Cohen’s d = 0.71–0.90). OT led to a significant switch from implicit self-association with drugs to implicitly associating drugs with others (mean change ± SD: 0.25 ± 0.35, p = 0.037) and a trend-level reduction in self-reported cocaine use over time (Z = −1.78, p = 0.075). Furthermore, OT significantly increased the accuracy of self-reported cocaine use when correlated with quantitative urine levels of cocaine metabolite. This proof-of-concept study provides promising early evidence that OT may be an effective adjunct to the treatment of co-occurring CUD and OUD. Further investigation with larger trials is warranted.
Measurement of 3D Visual Fatigue Using Event-Related Potential (ERP): 3D Oddball Paradigm

Rare tools to measure 3D visual fatigue that is critical in the study of 3D human factor have been examined for their reliability and validity. The purpose of the present research was to develop a paradigm to measure 3D visual fatigue using background EEG and ERP signals. We have developed "3D oddball paradigm" that revealed the effect of binocular parallax and presentation duration on 3D visual fatigue. Subjective 3D visual fatigue was also measured. Power of beta frequencies increased as watching duration increased and it was much stronger in 3D rather than in 2D condition. More importantly, P700 delayed as watching duration increased as well as in 3D rather than in 2D condition. Similar pattern of results was obtained in the measured subjective 3D visual fatigue. These results suggest that the 3D oddball paradigm would measure 3D visual fatigue correctly and reliably.
Potentials of Sugarcane Bagasse and Poultry Manure in the Remediation of Spent Motor Oil Contaminated Soil

This study sought to investigate the potential of sugarcane bagasse, poultry manure and their combination in the remediation of spent motor oil contaminated soil. About 1.5 L of spent motor oil was sprinkled on plots measuring 0.5 m x 0.5 m dimension in 12 replicate plots to simulate a major spill. Poultry dung (PD), Sugarcane bagasse (SB) and hybrid of bagasse and Poultry dung (SB - PD) were applied as organic amendments and bulking agents. The amendments were randomly administered twice within two weeks to treatment plots except the control at rate of 24tons/ha. The soil was tilled to enhance aeration and watered twice a week for 56 days. A significant decrease in Total Petroleum Hydrocarbon, TPH of 61, 53, 46 and 23% for PD, SB - PD, SB and Control plots respectively was observed. TOC and TN decreased in all the plots except the control. Soil moisture contents between 21 and 24% while soil pH within the range of 6.9 to 7.5 enhanced biodegradation process. The Total Heterotrophic Bacterial Counts (THBC) varied in all the plots while heavy metals content remained unchanged during the study. The application of these biostimulants gave promising results on hydrocarbons removal from contaminated soil.
Using the Dynamic Power Source Technique to Reduce TCAM Leakage Power

Due to having an additional “don't care” state, ternary content addressable memory (TCAM) is widely used in the forwarding table of the network router. However, the power consumption of TCAM is usually considerable. Instead of reducing the TCAM dynamic power, this brief introduces a leakage-suppressed technique, called dynamic power source (DPS), in which the TCAM leakage power is minimized by connecting the prefix power source to the mask data. Based on a 45-nm predictive technology model, the simulation results show that the DPS technique can deliver a TCAM leakage power reduction of 17% for a collection of real routing tables. In addition, the DPS also improves the search performance by 11% and reduces 18% of the TCAM dynamic power dissipated in the search-line switching activity.