Miracle-dz/UniFAR-FTUs huggingface dataset:
The 6-a-day study: effects of fruit and vegetables on markers of oxidative stress and antioxidative defense in healthy nonsmokers.

BACKGROUND Fruit and vegetables contain both nutritive and nonnutritive factors that might contribute to redox (antioxidant and prooxidant) actions. OBJECTIVE We investigated the relative influence of nutritive and nonnutritive factors in fruit and vegetables on oxidative damage and enzymatic defense. DESIGN A 25-d intervention study with complete control of dietary intake was performed in 43 healthy male and female nonsmokers who were randomly assigned to 1 of 3 groups. In addition to a basic diet devoid of fruit and vegetables, the fruit and vegetables (Fruveg) group received 600 g fruit and vegetables/d; the placebo group received a placebo pill, and the supplement group received a vitamin pill designed to contain vitamins and minerals corresponding to those in 600 g fruit and vegetables. Biomarkers of oxidative damage to protein and lipids and of antioxidant nutrients and defense enzymes were determined before and during intervention. RESULTS Plasma lipid oxidation lag times increased during intervention in the Fruveg and supplement groups, and the increase was significantly higher in the former. Plasma protein carbonyl formation at lysine residues also increased in both of these groups. Glutathione peroxidase activity increased in the Fruveg group only. Other markers of oxidative damage, oxidative capacity, or antioxidant defense were largely unaffected by the intervention. CONCLUSIONS Fruit and vegetables increase erythrocyte glutathione peroxidase activity and resistance of plasma lipoproteins to oxidation more efficiently than do the vitamins and minerals that fruit and vegetables are known to contain. Plasma protein carbonyl formation at lysine residues increases because of the vitamins and minerals in fruit and vegetables.
Quantum computing with Majorana fermion codes

We establish a unified framework for Majorana-based fault-tolerant quantum computation with Majorana surface codes and Majorana color codes. All logical Clifford gates are implemented with zero time overhead. This is done by introducing a protocol for Pauli product measurements with tetrons and hexons which only requires local 4-Majorana parity measurements. An analogous protocol is used in the fault-tolerant setting, where tetrons and hexons are replaced by Majorana surface code patches, and parity measurements are replaced by lattice surgery, still only requiring local few-Majorana parity measurements. To this end, we discuss twist defects in Majorana fermion surface codes and adapt the technique of twist-based lattice surgery to fermionic codes. Moreover, we propose a new family of codes that we refer to as Majorana color codes, which are obtained by concatenating Majorana surface codes with small Majorana fermion codes. Majorana surface and color codes can be used to decrease the space overhead and stabilizer weight compared to their bosonic counterparts.
Gene editing and gene regulation with CRISPR

Genome editing enables precise changes to be made in the genome of living cells. The technique was originally developed in the 1980’s but largely limited to use in mice. The discovery that a targeted double stranded break (DSB) at a unique site in the genome, close to the site to be changed, could substantially increase the efficiency of editing raised the possibility of using the technique in a broader range of animal models and potentially human cells. But the challenge was to identify reagents that could create targeted breaks at a unique genomic location with minimal off-target effects. In 2005, the demonstration that programmable zinc finger nucleases (ZFNs) could perform this task, led to a number of proof-of-concept studies, but a limitation was the ease with which effective ZFNs could be produced. In 2009, the development of TAL-effector nucleases (TALENs) increased the specificity of gene editing and the ease of design and production. However, it wasn’t until 2013 and the development of the CRISPR Cas9/guideRNA that gene editing became a research tool that any lab could use.
The neurophysiology of working memory development: from childhood to adolescence and young adulthood

Abstract Working memory (WM) is an important cognitive function that is necessary to perform our daily activities. The present review briefly describes the most accepted models underlying WM and the neural networks involved in its processing. The review focuses on how the neurophysiological mechanisms develop with age in the periods from childhood to adolescence and young adulthood. Studies using behavioral, neuroimaging, and electrophysiological techniques showed the progress of WM throughout the development. The present review focuses on the neurophysiology of the basic processes underlying WM operations, as indicated by electroencephalogram-derived signals, in order to take advantage of the excellent time resolution of this technique. Children and adults use similar cerebral mechanisms and areas to encode, recognize, and keep the stimuli in memory and update the WM contents, although adults rely more on anterior sites. The possibility that a functional reorganization of WM brain processing occurs around the adolescent period is suggested, and would partly justify the high prevalence of the emergence of mental pathology in the adolescent period.
Deep Multimodal Pain Recognition: A Database and Comparison of Spatio-Temporal Visual Modalities

Pain is a symptom of many disorders associated with actual or potential tissue damage in human body. Managing pain is not only a duty but also highly cost prone. The most primitive state of pain management is the assessment of pain. Traditionally it was accomplished by self-report or visual inspection by experts. However, automatic pain assessment systems from facial videos are also rapidly evolving due to the need of managing pain in a robust and cost effective way. Among different challenges of automatic pain assessment from facial video data two issues are increasingly prevalent: first, exploiting both spatial and temporal information of the face to assess pain level, and second, incorporating multiple visual modalities to capture complementary face information related to pain. Most works in the literature focus on merely exploiting spatial information on chromatic (RGB) video data on shallow learning scenarios. However, employing deep learning techniques for spatio-temporal analysis considering Depth (D) and Thermal (T) along with RGB has high potential in this area. In this paper, we present the first state-of-the-art publicly available database, 'Multimodal Intensity Pain (MIntPAIN)' database, for RGBDT pain level recognition in sequences. We provide a first baseline results including 5 pain levels recognition by analyzing independent visual modalities and their fusion with CNN and LSTM models. From the experimental evaluation we observe that fusion of modalities helps to enhance recognition performance of pain levels in comparison to isolated ones. In particular, the combination of RGB, D, and T in an early fusion fashion achieved the best recognition rate.
Synthesis and Antiproliferative Activity of Minor Hops Prenylflavonoids and New Insights on Prenyl Group Cyclization

Synthesis of minor prenylflavonoids found in hops and their non-natural derivatives were performed. The antiproliferative activity of the obtained compounds against some human cancer cell lines was investigated. Using xanthohumol isolated from spent hops as a lead compound, a series of minor hop prenylflavonoids and synthetic derivatives were obtained by isomerization, cyclisation, oxidative-cyclisation, oxidation, reduction and demethylation reactions. Three human cancer cell lines—breast (MCF-7), prostate (PC-3) and colon (HT-29)—were used in antiproliferative assays, with cisplatin as a control compound. Five minor hop prenyl flavonoids and nine non-natural derivatives of xanthohumol have been synthetized. Syntheses of xanthohumol K, its dihydro- and tetrahydro-derivatives and 1″,2″,α,β-tetrahydroxanthohumol C were described for the first time. All of the minor hops prenyl flavonoids exhibited strong to moderate antiproliferative activity in vitro. The minor hops flavonoids xanthohumol C and 1″,2″-dihydroxanthohumol K and non-natural 2,3-dehydroisoxanthohumol exhibited the activity comparable to cisplatin. Results described in the article suggest that flavonoids containing chromane- and chromene-like moieties, especially chalcones, are potent antiproliferative agents. The developed new efficient, regioselective cyclisation reaction of the xanthohumol prenyl group to 1″,2″-dihydroxantohumol K may be used in the synthesis of other compounds with the chromane moiety.
Model Checking 4 Extensions Next-time Operator 3 Decision Procedure for Istl 2 a Global Partial-order Logic Deciding Global Partial-order Properties

A system of concurrently executing processes generates a set of causal structures. The system satisfies a requirement given as a formula of ISTL, if every causal structure generated by satisfies. The model checking problem, then, is to check whether or not satisfies. The decision procedure outlined in the previous section can be employed to obtain an automata-theoretic solution to the model checking problem of ISTL. From , we first construct an automaton that accepts linearizations of the causal structures of (see, for instance, [2] for more details). Then, we construct the automaton that accepts the linearizations of the causal structures satisfying. The system satisfies the specification iff the intersection of the languages of the two automata and is empty. The complexity of model checking algorithm is linear in the size of the program automaton , and doubly exponential in the size of the specification. Model checking using representatives outlined in [5, 12, 21] can now be used as a heuristic improvement. We know that the language of the automaton is closed, that is, it does not distinguish among the linearizations of the same causal structure. Hence, the automaton need not generate all linearizations, but at least one linearization of every causal structure. The known on-the-fly depth-first-search algorithms that avoid generating unnecessary interleavings can be combined with the construction of the automaton for model checking. Design and synthesis of synchronization skeletons using branching time temporal logic. [8] O. Lichtenstein and A. Pnueli. Checking that finite-state concurrent programs satisfy their linear specification. A logical study of distributed transitions systems. The fragment ISTL contains the modalities and. The construction of the previous section for ISTL relies on (1) it suffices to consider only boolean combinations of normal form formulas, and (2) the set of configurations satisfying a normal form formula can be characterized by a maximal configuration. Both these properties continue to hold even after the introduction of the next-time operator, after appropriately modifying the definition of the normal form. Undecidability of ISTL We show here that some natural extension to ISTL are undecidable. In [15] it was shown that ISTL is undecidable (a similar proof for related temporal logics appears in [9]). We sharpen the result of [15] by showing that the until operator is sufficient to prove undecidability. Theorem 3 The logic ISTL is undecidable. Proof Sketch: It is possible to show that one can encode in ISTL two processes which …
Inverse estimation of multiple muscle activations based on linear logistic regression

This study deals with a technology to estimate the muscle activity from the movement data using a statistical model. A linear regression (LR) model and artificial neural networks (ANN) have been known as statistical models for such use. Although ANN has a high estimation capability, it is often in the clinical application that the lack of data amount leads to performance deterioration. On the other hand, the LR model has a limitation in generalization performance. We therefore propose a muscle activity estimation method to improve the generalization performance through the use of linear logistic regression model. The proposed method was compared with the LR model and ANN in the verification experiment with 7 participants. As a result, the proposed method showed better generalization performance than the conventional methods in various tasks.
Association of Maternal and Child Nutritional Status in Brazil: A Population Based Cross-Sectional Study

Background Although child undernutrition and stunting has been decreasing worldwide while obesity rates increase, these extreme conditions might coexist in families from low- and middle-income countries. We examined the association between maternal and child anthropometric indicators using a population representative sample. Methods 4,258 non-pregnant women and their children <60 months who participated in the 2006 Brazilian Demographic Health Survey. We compared the distributions of two nutritional indexes of children, height-for-age (HAZ) and body mass index-for age (BAZ) z-scores, by categories of maternal height, body mass index (BMI), and waist circumference (WC). Adjusted mean differences and 95% confidence intervals (95% CI) were estimated from linear regression, taking into account the complex survey design. We also examined the associations of maternal anthropometry with the prevalence of child stunting (HAZ<−2) and overweight/obesity (BAZ>2). Results HAZ was positively associated with maternal height and WC in a linear fashion. After adjustment, for sociodemographic characteristics, children whose mothers' height was<145 cm had 1.2 lower HAZ than children whose mothers were ≥160 cm tall (p-trend<0.0001). After further adjustment for maternal height and maternal BMI, children of mothers with a waist circumference ≥88 cm had 0.3 higher HAZ than those of mothers with WC<80 cm (p-trend<0.01). Adjusted prevalence ratios and 95% CI for stunting by the categories of maternal height (<145, 145–149, 150–154, 155–159 and ≥160 cm) were, respectively, 2.95 (1.51;5.77), 2.29 (1.33;3.93), 1.09 (0.63;1.87), and 0.89 (0.45;1.77), (p-trend = 0.001). BAZ was positively associated with maternal BMI and WC. Conclusion We observed a strong, positive association of maternal and child nutritional status. Mothers of low stature had children with lower stature, mothers with central obesity had taller children, and mothers with overall or abdominal obesity had children with higher BAZ.
Cluster Analysis of the International Stellarator Confinement Database

Heterogeneous structure of collected data is one of the problems that occur during derivation of scalings for energy confinement time, and whose analysis tourns out to be wide and complicated matter. The International Stellarator Confinement Database [1], shortly ISCDB, comprises in its latest version 21 a total of 3647 observations from 8 experimental devices, 2067 therefrom beeing so far completed for upcoming analyses. For confinement scaling studies 1933 observation were chosen as the standard dataset. Here we describe a statistical method of cluster analysis for identification of possible cohesive substructures in ISDCB and present some preliminary results.
A Low-Power and Area-Efficient Radiation-Hard Redundant Flip-Flop DICE ACFF

Abstract—Process scaling makes LSI less reliable to soft errors. In this paper, we propose a low-power area-efficient redundant flip-flops for soft errors, called DICE-ACFF. Its structure is based on the reliable DICE (Dual Interlocked storage CEll) and the low-power ACFF (Adaptive-Coupled Flip-Flop). It achieves lower power at lower data-activity. We designed DICE-FF and DICEACFF in a 65nm process. Its area is twice as large as conventional DFFs. As for power dissipation, DICE ACFF achieves lower power than the conventional DFF below 20% data activity. When data Activity is 0%, its power is half of the DFF. As for soft error rates DICE ACFFs are 1.5x stronger than conventional DICE FFs by circuit-level critical charge estimations.
Prospective Study on Soluble Thrombomodulin and von Willebrand Factor and the Risk of Ischemic and Hemorrhagic Stroke

Summary The aim of the present study was to examine if soluble thrombomodulin (sTM) and von Willebrand factor (VWF) could predict a first-ever ischemic or hemorrhagic stroke. This study was an incident case-referent study from within a population-based cohort in northern Sweden. Up to 1996 about 44,000 subjects had been screened and stroke cases were classified according to the WHO MONICA criteria. A first-ever stroke occurred in 108 cases. A total of 216 controls were selected from the same cohort. This prospective study found no association with sTM or VWF and the development of a first-ever ischemic stroke (n = 87) in the logistic regression model. For the hemorrhagic stroke cases (n = 18), the multivariate logistic regression model revealed a significant negative association with sTM. When dichotomized, the upper level (>17.3 µg/L) of sTM, as compared with the lower level (<17.3 µg/L), showed one fifth of the risk for hemorrhagic stroke (OR, 0.18; CI, 0.05 to 0.69). No significant association was found for VWF. We suggest that the novel finding of an inverse relation between sTM and hemorrhagic stroke should be investigated in a larger study.
College of Business Administration Does Money Matter ? An Empirical Investigation

This paper uses a simultaneous-equations model of the new consensus macroeconomic model to examine whether the inclusion of the money stock in the aggregate demand function improves the statistical fit of the model. The results indicate that the consensus model is accurate for the U.S. in that the inclusion of money does not increase the predictive power of the model. However, the results reveal that the estimated coefficients are more robust when money is included as an instrumental variable in the simultaneous equations consensus model. JEL classifications: C30; C52; and E32.
Carbohydrate intake and biomarkers of glycemic control among US adults: the third National Health and Nutrition Examination Survey (NHANES III).

BACKGROUND Recommendations for preventing and treating type 2 diabetes include consuming carbohydrates, predominantly from whole grains, fruit, vegetables, and low-fat milk. However, the quantity and type of carbohydrates consumed may contribute to disorders of glycemic control. OBJECTIVE We evaluated the association between carbohydrate intakes and biomarkers of glycemic control in a nationally representative sample of healthy US adults who participated in a cross-sectional study, the third National Health and Nutrition Examination Survey. DESIGN The sample (5730 men and 6125 women aged > or = 20 y) was divided into quintiles of carbohydrate intake (as a percentage of energy). Carbohydrate intakes were examined in relation to glycated hemoglobin (Hb A(1c)), plasma glucose, serum C-peptide, and serum insulin concentrations by using logistic regression. RESULTS Carbohydrate intakes were not associated with Hb A(1c), plasma glucose, or serum insulin concentrations in men or women after adjustment for confounding variables. Carbohydrate intakes were inversely associated with serum C-peptide concentrations in men and women. Odds ratios for elevated serum C-peptide concentrations for increasing quintiles of carbohydrate intake were 1.00, 0.88, 0.57, 0.39, and 0.75 (P for trend = 0.016) in men, and 1.00, 0.69, 0.57, 0.36, and 0.41 (P for trend = 0.007) in women. When carbohydrate intakes were further adjusted for intakes of total and added sugar, the association of serum C-peptide with carbohydrate intakes was strengthened in men. CONCLUSIONS Carbohydrate intakes were not associated with Hb A(1c), plasma glucose, or serum insulin concentrations but were inversely associated with the risk of elevated serum C-peptide; this supports current recommendations regarding carbohydrate intake in healthy adults.
Liquid injection in confined co-flow: Application to portal vein embolization by glue injection

Drop formation in liquid-liquid systems has received considerable attention over the last century owing to its many industrial applications. More recent applications may be found in the field of endovascular/percutaneous treatments. The present study focuses on portal vein embolization (PVE), which consists in the blockage of part of the portal trunk though the injection of surgical glue. The short-time injection is dominated by fluid dynamic effects: the influence of polymerization is secondary owing to the presence of ethiodized oil in the injected mixture. If the mechanism of liquid injection is well understood for injections in unconfined fluids at rest, fewer studies have so far considered the case of outer liquids flowing in confined environments. The objective is therefore to conduct a large range parametric study of liquid injections in confined co-flows. An experimental setup has been designed to simulate in vitro the injection in an immiscible liquid flowing in a cylindrical tube. The transition.
Association of Left Atrial Function Index with Atrial Fibrillation and Cardiovascular Disease: The Framingham Offspring Study

Background Left atrial (LA) size, a marker of atrial structural remodeling, is associated with increased risk for atrial fibrillation (AF) and cardiovascular disease (CVD). LA function may also relate to AF and CVD, irrespective of LA structure. We tested the hypothesis that LA function index (LAFI), an echocardiographic index of LA structure and function, may better characterize adverse LA remodeling and predict incident AF and CVD than existing measures. Methods and Results In 1786 Framingham Offspring Study eighth examination participants (mean age, 66±9 years; 53% women), we related LA diameter and LAFI (derived from the LA emptying fraction, left ventricular outflow tract velocity time integral, and indexed maximal LA volume) to incidence of AF and CVD on follow‐up. Over a median follow‐up of 8.3 years (range, 7.5–9.1 years), 145 participants developed AF and 139 developed CVD. Mean LAFI was 34.5±12.7. In adjusted Cox regression models, lower LAFI was associated with higher risk of incident AF (hazard ratio=3.83, 95% confidence interval=2.23–6.59, lowest [Q1] compared with highest [Q4] LAFI quartile) and over 2‐fold higher risk of incident CVD (hazard ratio=2.20, 95% confidence interval=1.32–3.68, Q1 versus Q4). Addition of LAFI, indexed maximum LA volume, or LA diameter to prediction models for AF or CVD did not significantly improve model discrimination for either outcome. Conclusions In our prospective investigation of a moderate‐sized community‐based sample, LAFI, a composite measure of LA size and function, was associated with incident AF and CVD. Addition of LAFI to the risk prediction models for AF or CVD, however, did not significantly improve their performance.
When and Why Your Code Starts to Smell Bad

In past and recent years, the issues related to managing technical debt received significant attention by researchers from both industry and academia. There are several factors that contribute to technical debt. One of these is represented by code bad smells, i.e., Symptoms of poor design and implementation choices. While the repercussions of smells on code quality have been empirically assessed, there is still only anecdotal evidence on when and why bad smells are introduced. To fill this gap, we conducted a large empirical study over the change history of 200 open source projects from different software ecosystems and investigated when bad smells are introduced by developers, and the circumstances and reasons behind their introduction. Our study required the development of a strategy to identify smell-introducing commits, the mining of over 0.5M commits, and the manual analysis of 9,164 of them (i.e., Those identified as smell-introducing). Our findings mostly contradict common wisdom stating that smells are being introduced during evolutionary tasks. In the light of our results, we also call for the need to develop a new generation of recommendation systems aimed at properly planning smell refactoring activities.