Miracle-dz/UniFAR-FTUs huggingface dataset:
A local strain method for the evaluation of welded joints fatigue resistance: the case of thin main‐plates thickness

Current procedures for evaluating fatigue strength of welded structures may not be consistent with the real fatigue behaviour of welded joints. A local strain method for the prediction of the WELded joints FAtigue REsistance (WELFARE), by local strain measurements at the weld toe, was recently proposed on the basis of fatigue tests on more than 10 series of welded joints (T, cruciform, angular and butt joints) in structural steel, with 10-25 mm main-plate thickness. This paper reports fatigue test results obtained from 30 cruciform and butt welded joints (3-5 mm thick) under two load ratios (0.1 and - 1) in order to extend the applicability of the method to thin welded joints.
Whole genome grey and white matter DNA methylation profiles in dorsolateral prefrontal cortex

The brain's neocortex is anatomically organized into grey and white matter, which are mainly composed by neuronal and glial cells, respectively. The neocortex can be further divided in different Brodmann areas according to their cytoarchitectural organization, which are associated with distinct cortical functions. There is increasing evidence that brain development and function are governed by epigenetic processes, yet their contribution to the functional organization of the neocortex remains incompletely understood. Herein, we determined the DNA methylation patterns of grey and white matter of dorsolateral prefrontal cortex (Brodmann area 9), an important region for higher cognitive skills that is particularly affected in various neurological diseases. For avoiding interindividual differences, we analyzed white and grey matter from the same donor using whole genome bisulfite sequencing, and for validating their biological significance, we used Infinium HumanMethylation450 BeadChip and pyrosequencing in ten and twenty independent samples, respectively. The combination of these analysis indicated robust grey‐white matter differences in DNA methylation. What is more, cell type‐specific markers were enriched among the most differentially methylated genes. Interestingly, we also found an outstanding number of grey‐white matter differentially methylated genes that have previously been associated with Alzheimer's, Parkinson's, and Huntington's disease, as well as Multiple and Amyotrophic lateral sclerosis. The data presented here thus constitute an important resource for future studies not only to gain insight into brain regional as well as grey and white matter differences, but also to unmask epigenetic alterations that might underlie neurological and neurodegenerative diseases.
Unary negation fragment with equivalence relations has the finite model property

We consider an extension of the unary negation fragment of first-order logic in which arbitrarily many binary symbols may be required to be interpreted as equivalence relations. We show that this extension has the finite model property. More specifically, we show that every satisfiable formula has a model of at most doubly exponential size. We argue that the satisfiability (= finite satisfiability) problem for this logic is 2-ExpTime-complete. We also transfer our results to a restricted variant of the guarded negation fragment with equivalence relations.
Transcription of a 5’ extended mRNA isoform directs dynamic chromatin changes and interference of a downstream promoter

Cell differentiation programs require dynamic regulation of gene expression. During meiotic prophase in Saccharomyces cerevisiae, expression of the kinetochore complex subunit Ndc80 is downregulated by a 5’ extended long undecoded NDC80 transcript isoform. Here we demonstrate a transcriptional interference mechanism that is responsible for inhibiting expression of the coding NDC80 mRNA isoform. Transcription from a distal NDC80 promoter directs Set1-dependent histone H3K4 dimethylation and Set2-dependent H3K36 trimethylation to establish a repressive chromatin state in the downstream canonical NDC80 promoter. As a consequence, NDC80 expression is repressed during meiotic prophase. The transcriptional mechanism described here is rapidly reversible, adaptable to fine-tune gene expression, and relies on Set2 and the Set3 histone deacetylase complex. Thus, expression of a 5’ extended mRNA isoform causes transcriptional interference at the downstream promoter. We demonstrate that this is an effective mechanism to promote dynamic changes in gene expression during cell differentiation.
Recognition of complex mental states in patients with alcoholism after long-term abstinence.

AIMS Previous studies demonstrated that patients with alcoholism display impaired emotional facial expression recognition even after long-term abstinence. These studies focused on basic emotions (happiness, anger, sadness, and disgust). In this study, we investigated the recognition of complex social emotions and mental states in patients with alcoholism after long-term abstinence and healthy control subjects. METHODS Thirty patients with DSM-IV alcohol dependence and 30 age-matched, gender-matched, education-matched, and IQ-matched healthy control subjects participated. The patients were abstinent for >6 months. For the assessment of the recognition of complex social emotions and mental states, the Baron-Cohen Eyes Test was used. The experimenter presented 29 photographs of the eye-region of faces of actors and actresses on separate cards. Participants were asked to choose which of the four words (one target and three foils) best described the mental state of the actor/actress (for example, interested, doubtful, flirtatious, and insisting). The primary dependent measure was the number of correctly recognized stimuli. RESULTS Patients with alcoholism correctly identified 22.4 (SD = 3.4) stimuli, whereas control participants identified 22.5 (SD = 2.9) stimuli. The difference was not statistically significant (P = 0.85). There was no significant difference in the proportion of patients and controls who correctly recognized each mental state. CONCLUSIONS These results are against the hypotheses suggesting long-term adverse effects of alcohol on social cognition or supposing an inherent vulnerability of patients that may manifest before the development of alcohol dependence.
Localization of insulinomas.

HYPOTHESIS Intraoperative ultrasonography is more sensitive than preoperative and other intraoperative techniques for localizing insulinoma. DESIGN Retrospective review. SETTING A tertiary referral center. PATIENTS All patients with a biochemical diagnosis of organic hyperinsulinism who were referred to University of California, San Francisco, from 1975 to 1998. METHODS Sensitivities of the localization techniques for insulinoma were evaluated. RESULTS The sensitivities of tumor localization with arteriography, computed tomography, preoperative ultrasonography, magnetic resonance imaging, magnetic resonance imaging with gadolinium, transhepatic venous sampling, palpation, and intraoperative ultrasonography were 47%, 24%, 50%, 30%, 40%, 55%, 76%, and 91%, respectively. Nine of the 11 nonpalpable and nonvisible tumors at operation were localized by intraoperative ultrasonography. CONCLUSION The currently available preoperative localization tests are not reliable enough to be recommended when intraoperative ultrasonography is available.
Feeding time and body temperature interactions in broiler breeders.

Four groups of 70-wk-old broiler breeder females were fed once daily at 0600, 1000, 1400, and 1800 h to determine the effect of feeding time and eating on body temperature. The photoperiod was from 0430 to 1930 h. Four floor pens of 30 hens each were assigned per feeding time. Following a 9-day adjustment period, body temperature was determined, in series, by rectal probe of 5 birds/pen at 7 and 3 h prefeeding and 1, 5, 9, and 13 h postfeeding. Body temperature was increased . 5 C at 1 h postfeeding in all groups and at 5 h postfeeding in the 0600-h fed group. The rate of feed consumption was fastest with afternoon feeding. Four 1-yr-old broiler breeder males were implanted with an FM radio transmitter for monitoring body temperature and housed in an environmental control chamber. Body temperature was monitored when the birds were fed at 0600, 1000, 1400, and 1800 h. The chamber temperature cycled from 22.2 to 33.3 C (22.2 C: 2200 to 0800 h; 33.3 C: 1200 to 1600 h; 27.8 C: 0800 to 1200 h and 1600 to 2200 h). Lights were on from 0430 to 1930 h. Body temperature changes were also monitored under constant temperature (27.8 C) and light for birds fed ad libitum or at 1000 h. Body temperature increased as much as 1.5 C following feeding and reached a maximum at 5, 4, 3, and 2 h postfeeding at feeding times of 0600, 1000, 1400, and 1800 h, respectively. Males unable to feed displayed a significantly increased body temperature when they observed other birds eating. A specific body temperature response to feeding activity was observed only when males were fed once daily under constant environment.
Genetic control of susceptibility to the avian leukosis complex. I. The leukosis-sarcoma virus group.

Abstract Genetic studies of resistance to naturally occurring lymphoid leukosis and etiologically related neoplasms induced by the avian leukosis-sarcoma viruses were conducted in seven diallel cross experiments. Three inbred White Leghorn lines were crossed in each experiment, and the mortality of the lines was compared under conditions of artificial exposure which induced a high mortality and natural exposure in which low mortality occurred. The data were analyzed by a weighted least-squares method. No artificial exposure method was found which would increase specific mortality and provide efficient criteria of resistance under all circumstances. It was concluded that genetic resistance to lymphoid leukosis is a highly complex trait, but that at least one simply inherited mechanism of resistance existed which acted at the level of virus infection. Other complex factors govern the birds ability to cope with this infection.
Does industry-sponsored education foster overdiagnosis and overtreatment of depression, osteoporosis and overactive bladder syndrome? An Australian cohort study

Objectives To investigate patterns of industry-sponsored educational events that focus on specific health conditions for which there are concerns about overdiagnosis and overtreatment. Design and setting This retrospective cohort study examines publicly reported industry-sponsored events in Australia from October 2011 to September 2015 for three conditions potentially subject to overdiagnosis and overtreatment: depression, osteoporosis and overactive bladder. We used a database of transparency reports to identify events with a focus on depression, osteoporosis and overactive bladder and compared these with other sponsored events. We hypothesised that companies marketing treatments for each condition would sponsor related events and that target audiences would mainly work in primary care, reflecting a broad patient population. Main outcome measures Event and attendee characteristics, sponsoring companies, related marketed treatments, cost-effectiveness ratings and dispensing rates. Results Over the study period, we identified 1567 events focusing on depression, 1375 on osteoporosis and 190 on overactive bladder (total n=3132, with 96 660 attendees). These events were attended by primary care doctors more often than sponsored events without a focus on these three conditions: relative risk (RR)=3.06 (95% CI 2.81 to 3.32) for depression, RR=1.48 (95% CI 1.41 to 1.55) for osteoporosis and RR=2.59 (95% CI 2.09 to 3.21) for overactive bladder. Servier, which markets agomelatine and AstraZeneca (quetiapine) sponsored 51.2% and 23.0% of depression events, respectively. Amgen and GlaxoSmithKline, which co-market denosumab, sponsored 49.5% of osteoporosis events and Astellas and Commonwealth Serum Laboratories (CSL) (mirabegron and solifenacin) sponsored 80.5% of overactive bladder events. Conclusions This 4-year overview of industry-sponsored events on three overdiagnosed and overtreated conditions found that primary care clinicians were often targeted, dinner was often provided and that a few companies sponsored most events. In most cases, sponsors’ products are not cost-effective choices for the specified condition. This pattern highlights the need for professional education to be free of commercial sponsorship.
Golden Gait: An Optimization Theory Perspective on Human and Humanoid Walking

Human walking is a complex task which includes hundreds of muscles, bones and joints working together to deliver harmonic movements with the need of finding equilibrium between moving forward and maintaining stability. Many different computational approaches have been used to explain human walking mechanisms, from pendular model to fractal approaches. A new perspective can be gained from using the principles developed in the field of Optimization theory and in particularly the branch of Game Theory. In particular we provide a new insight into human walking showing as the trade-off between advancement and equilibrium managed during walking has the same solution of the Ultimatum game, one of the most famous paradigms of game theory, and this solution is the golden ratio. The golden ratio is an irrational number that was found in many biological and natural systems self-organized in a harmonic, asymmetric, and fractal structure. Recently, the golden ratio has also been found as the equilibrium point between two players involved into the Ultimatum Game. It has been suggested that this result can be due to the fact that the golden ratio is perceived as the fairest asymmetric solution by the two players. The golden ratio is also the most common proportion between stance and swing phase of human walking. This approach may explain the importance of harmony in human walking, and provide new perspectives for developing quantitative assessment of human walking, efficient humanoid robotic walkers, and effective neurorobots for rehabilitation.
Notch Represses Transcription by PRC2 Recruitment to the Ternary Complex

It is well established that Notch functions as a transcriptional activator through the formation of a ternary complex that comprises Notch, Maml, and CSL. This ternary complex then serves to recruit additional transcriptional cofactors that link to higher order transcriptional complexes. The mechanistic details of these events remain unclear. This report reveals that the Notch ternary complex can direct the formation of a repressor complex to terminate gene expression of select target genes. Herein, it is demonstrated that p19Arf and Klf4 are transcriptionally repressed in a Notch-dependent manner. Furthermore, results indicate that Notch recruits Polycomb Repressor Complex 2 (PRC2) and Lysine Demethylase 1 (KDM1A/LSD1) to these promoters, which leads to changes in the epigenetic landscape and repression of transcription. The demethylase activity of LSD1 is a prerequisite for Notch-mediated transcriptional repression. In addition, a stable Notch transcriptional repressor complex was identified containing LSD1, PRC2, and the Notch ternary complex. These findings demonstrate a novel function of Notch and provide further insight into the mechanisms of Notch-mediated tumorigenesis. Implications: This study provides rationale for the targeting of epigenetic enzymes to inhibit Notch activity or use in combinatorial therapy to provide a more profound therapeutic response. Mol Cancer Res; 15(9); 1173–83. ©2017 AACR.
Spaceflight induced changes in the human proteome

ABSTRACT Introduction: Spaceflight is one of the most extreme conditions encountered by humans: Individuals are exposed to radiation, microgravity, hypodynamia, and will experience isolation. A better understanding of the molecular processes induced by these factors may allow us to develop personalized countermeasures to minimize risks to astronauts. Areas covered: This review is a summary of literature searches from PubMed, NASA, Roskosmos and the authors’ research experiences and opinions. The review covers the available proteomic data on the effects of spaceflight factors on the human body, including both real space missions and ground-based model experiments. Expert commentary: Overall, the authors believe that the present background, methodology and equipment improvements will enhance spaceflight safety and support accumulation of new knowledge on how organisms adapt to extreme conditions.
Phosphor

Dynamic taint analysis is a well-known information flow analysis problem with many possible applications. Taint tracking allows for analysis of application data flow by assigning labels to data, and then propagating those labels through data flow. Taint tracking systems traditionally compromise among performance, precision, soundness, and portability. Performance can be critical, as these systems are often intended to be deployed to production environments, and hence must have low overhead. To be deployed in security-conscious settings, taint tracking must also be sound and precise. Dynamic taint tracking must be portable in order to be easily deployed and adopted for real world purposes, without requiring recompilation of the operating system or language interpreter, and without requiring access to application source code. We present Phosphor, a dynamic taint tracking system for the Java Virtual Machine (JVM) that simultaneously achieves our goals of performance, soundness, precision, and portability. Moreover, to our knowledge, it is the first portable general purpose taint tracking system for the JVM. We evaluated Phosphor's performance on two commonly used JVM languages (Java and Scala), on two successive revisions of two commonly used JVMs (Oracle's HotSpot and OpenJDK's IcedTea) and on Android's Dalvik Virtual Machine, finding its performance to be impressive: as low as 3% (53% on average; 220% at worst) using the DaCapo macro benchmark suite. This paper describes our approach toward achieving portable taint tracking in the JVM.
Frictional Coordination

The notion that business cycles are driven by demand shocks is subtle. I first review some of the conceptual and empirical challenges faced when trying to accommodate this notion in micro-founded, general-equilibrium models. I next review my own research, which sheds new light on the observed business cycles by accommodating frictional coordination in the form of higher-order uncertainty. This makes room for forces akin to animal spirits even when the equilibrium is unique. It allows demand shocks to generate realistic business cycles even when nominal rigidity is absent or undone by appropriate monetary policy. It modifies the general-equilibrium predictions of workhorse macroeconomic models in manners that seem both conceptually appealing and empirically relevant. And it offers new guidance to policy.
Adult Cranioplasty Reconstruction With Customized Cranial Implants: Preferred Technique, Timing, and Biomaterials

Introduction: Complex cranial defects requiring delayed reconstruction present numerous challenges. Delayed cranioplasties accompany frequent complications approaching an incidence of 35 to 40%. Therefore, the authors sought to collate their experience in hopes of sharing their perspective on several topics including technique, timing, and preferred biomaterials. Methods: The authors’ 5-year consecutive experience over 430 customized cranial implants is described herein. Since its inception in 2012, the authors’ team has employed the pericranial-onlay cranioplasty technique instead of the standard epidural approach. Optimal timing for cranioplasty is determined using objective criteria such as scalp healing and parenchymal edema, close collaboration with neuroplastic surgery, conversion from autologous bone to sterile implant in instances of questionable viability/storage, and the first-line use of solid poly(methylmethacrylate) implants for uncomplicated, delayed cases, first-line porous polyethylene (MEDPOR) implants for single-stage cranioplasty, and first-line polyether-ether-ketone implants for cases with short notice. Furthermore, the use of the pterional design algorithm with temporal bulking for all customized implants has helped to correct and/or prevent temporal hollowing deformities. Results: The authors’ team has observed a three-fold reduction in reported complications as compared with the existing literature, with a major complication rate of 11%. The multidisciplinary center has provided an optimal stage for synergy and improved outcomes versus standard cranioplasty techniques. Conclusion: Secondary cranial reconstruction, or cranioplasty, can be challenging due to numerous reasons. These best practices, developed in collaboration with neuroplastic surgery and neurosurgery, appear to encompass the largest published experience to date. The authors find this approach to be both safe and reliable.
The effect of L-lysine intake on egg component yield and composition in laying hens.

Currently, 24% of the total U.S. egg supply is consumed as liquid egg product (LEP). In addition to egg weight and size, the commercial value of LEP is a function of percentage solids. The influence of L-Lys on LEP, the texture profile analysis of heat formed albumen and yolk gel plugs, and yolk emulsion separations was examined in two experiments. In Experiment 1, 108 layer hens (42 wk of age) were fed three sorghum-soybean diets with Lys levels ranging from 677 to 1,613 mg per hen per d (mg/HD). In Experiment 2, 108 layer hens (23 wk of age) were fed four sorghum diets with Lys levels ranging from 638 to 1,165 mg/HD. In Experiment 1, Lys intake of 1,613 compared to 677 mg/HD significantly increased albumen weight, solids, and protein and egg weight. There were no significant differences in egg production, feed consumption, or yolk weight, protein, and solids. In Experiment 2, Lys intake of 1,165 mg/HD resulted in significantly lower feed consumption, nutrient intake, and egg production. Lysine intake of 1,062 compared to 638 mg/HD resulted in significantly greater albumen solids, protein, and hardness, and egg production. Lysine intake of 828 compared to 638 mg/HD resulted in significant increases in yolk weight, protein, hardness, and emulsion separations. Lysine intakes of 1,062 mg/HD resulted in most yolk parameters returning to levels observed at 638 mg/HD. There were no significant differences in egg weight or yolk solids. This increased understanding of the influence of L-Lys on LEP parameters offers economic benefit to liquid egg producers.
Prospective Coding by Spiking Neurons

Animals learn to make predictions, such as associating the sound of a bell with upcoming feeding or predicting a movement that a motor command is eliciting. How predictions are realized on the neuronal level and what plasticity rule underlies their learning is not well understood. Here we propose a biologically plausible synaptic plasticity rule to learn predictions on a single neuron level on a timescale of seconds. The learning rule allows a spiking two-compartment neuron to match its current firing rate to its own expected future discounted firing rate. For instance, if an originally neutral event is repeatedly followed by an event that elevates the firing rate of a neuron, the originally neutral event will eventually also elevate the neuron’s firing rate. The plasticity rule is a form of spike timing dependent plasticity in which a presynaptic spike followed by a postsynaptic spike leads to potentiation. Even if the plasticity window has a width of 20 milliseconds, associations on the time scale of seconds can be learned. We illustrate prospective coding with three examples: learning to predict a time varying input, learning to predict the next stimulus in a delayed paired-associate task and learning with a recurrent network to reproduce a temporally compressed version of a sequence. We discuss the potential role of the learning mechanism in classical trace conditioning. In the special case that the signal to be predicted encodes reward, the neuron learns to predict the discounted future reward and learning is closely related to the temporal difference learning algorithm TD(λ).