Miracle-dz/UniFAR-FTUs huggingface dataset:
An Experimental Evaluation of k-core Decomposition on Giraph and GraphChi

The analysis of characteristics of large-scale graphs has shown tremendous benefits in social networks, spam detection, epidemic disease control, analyzing software systems and so on. However, today, processing graph algorithms on massive datasets is not an easy task not only because of the large data volume, but also the complexity of the graph algorithm. Therefore, a number of large-scale processing platforms have been developed to tackle these problems. GraphChi is a popular system that is capable of executing massive graph datasets on a single PC. Some researchers claim that GraphChi has the same or even better performance, compared with distributed graph-analytics platforms such as the popular Apache Giraph. In this paper, we implement a well-optimized k-core decomposition algorithm on Giraph. Then we provide a comparison of the performance of running the k-core decomposition algorithm in Giraph and GraphChi using various graph datasets.
Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's

We present an algorithm for the verification of multiagent systems specified by means of a modal logic that includes a temporal, an epistemic, and a deontic operator. Verification is performed by model checking on OBDD's. We present an implementation of the algorithm and report on experimental results for the bit transmission problem with faults.
Foamed electrolyte in flow-by fixed-bed electrodes : study of fluid dynamics & transport processes

Experiments were carried out in bench scale electrochemical packed-bed cells to study the “fluid dynamics and transport processes” with upward flow-by foamed electrolyte.In this context, the pressure gradient, liquid holdup, axial liquid dispersion coef ficient, flowing foam electric conductivity, and overall mass transfer capacity were measured in packed rectangular cells. All the runs were conducted at 22 degree Celsius inlet foam temperature. The cells were packed with graphite fiber felt (comprised of 20 micron diameter fibers) and the liquid phase of the flowing foam was composed of water (for dispersion experiments) and 1 N NaOH solution (for all other experiments) with 0.1 % v/v surfactant, Tergitol. The gas phase of the foam was oxygen for mass transfer experiments and nitrogen for all other experiments. The studies were performed with respect to the three independent variables of bed porosity (at three levels, except for the mass transfer measurements which were done at two levels), liquid load and gas load (at numerous levels). Empirical second order correlations including interaction terms were developed for each parameter, in terms of the three independent variables. The overall results are summarized as follows: I Absolute value of the pressure gradient ranged from 20 to 80 bar.m , and is a factor of 50-100 higher than in nonfoaming systems with similar fluid loads. II Liquid holdup ranged from 7 to 20 %, which is lower than the minimum of about• 40 % observed in nonfoaming systems at similar fluid loads. III Axial dispersion coefficient ranged from 0.01 to 0.46 cm 2.s 1,which is below previ ously reported values of packed bed processors with nonfoaming liquids. IV The flowing foam effective electric conductivity ranged from 6.8 to 11.1 mho,m,
Large Amplitude Vibrations of Thin Hyperelastic Plates: Neo-Hookean Model

Static deflection and large amplitude vibrations of a rubber plate are analyzed. Both the geometrical and physical (material) nonlinearities are taken into account. The properties of the plate hyperelastic material are described by the Neo-Hookean law. A method for building a local model, which approximates the plate behavior around a deformed configuration, is proposed. This local model takes the form of a system of ordinary differential equations with quadratic and cubic nonlinearities. The results obtained with the help of this local model are compared to the solution of the exact model, and are found to be accurate. The difference between the model retaining both physical and geometrical non-inearities and a model with only geometrical nonlinearities is also analyzed. It is found that influence of physically induced nonlinearities at moderate strains is significant.Copyright © 2013 by ASME
Suppressor Cell–Depleting Immunotherapy With Denileukin Diftitox is an Effective Host-Directed Therapy for Tuberculosis

Host-directed therapies that augment host immune effector mechanisms may serve as important adjunctive therapies for tuberculosis treatment. We evaluated the activity of denileukin diftitox in an acute mouse model of tuberculosis (TB) infection and analyzed the cellular composition and bacterial burden in lungs and spleens. These in vivo studies show that denileukin diftitox potentiates standard TB treatment in the mouse model, an effect which may be due to depletion of T-regulatory and myeloid-derived suppressor cells during TB infection. Our results indicate that denileukin diftitox and other suppressor cell-depleting therapies may be useful adjunctive, host-directed therapies for TB.
Health and Innovation in a Monetary Schumpeterian Growth Model

This study explores a novel channel---endogenous health investment---through which monetary policy impacts growth and welfare. We use a scale-invariant Schumpeterian growth model with a cash-in-advance (CIA) constraint on R&D investment. We find that the effect of an increase in the nominal interest rate on long-run growth crucially depends on the form of the CIA constraint. When the CIA constraint does not apply to medical expenditure, long-run growth does not depend on the nominal interest rate. The result remains robust when health capital does not need medical expenditure to produce (i.e., health capital only needs leisure to produce). By contrast, when the CIA constraint applies to medical expenditure, an increase in the nominal interest rate leads to a decrease in R&D and health investment, which in turn reduces the long-run growth rates of technology and output. Nevertheless, welfare is always a decreasing function of the nominal interest rate, and the welfare loss is larger under the CIA constraint on medical expenditure. The results hold up with the health-in-the-utility function (HIU).
Dynamic and diverse changes in the functional properties of vascular smooth muscle cells in pulmonary hypertension

Pulmonary hypertension (PH) is the end result of interaction between pulmonary vascular tone and a complex series of cellular and molecular events termed 'vascular remodelling'. The remodelling process, which can involve the entirety of pulmonary arterial vasculature, almost universally involves medial thickening, driven by increased numbers and hypertrophy of its principal cellular constituent, smooth muscle cells (SMCs). It is noted, however that SMCs comprise heterogeneous populations of cells, which can exhibit markedly different proliferative, inflammatory, and extracellular matrix production changes during remodelling. We further consider that these functional changes in SMCs of different phenotype and their role in PH are dynamic and may undergo significant changes over time (which we will refer to as cellular plasticity); no single property can account for the complexity of the contribution of SMC to pulmonary vascular remodelling. Thus, the approaches used to pharmacologically manipulate PH by targeting the SMC phenotype(s) must take into account processes that underlie dominant phenotypes that drive the disease. We present evidence for time- and location-specific changes in SMC proliferation in various animal models of PH; we highlight the transient nature (rather than continuous) of SMC proliferation, emphasizing that the heterogenic SMC populations that reside in different locations along the pulmonary vascular tree exhibit distinct responses to the stresses associated with the development of PH. We also consider that cells that have often been termed 'SMCs' may arise from many origins, including endothelial cells, fibroblasts and resident or circulating progenitors, and thus may contribute via distinct signalling pathways to the remodelling process. Ultimately, PH is characterized by long-lived, apoptosis-resistant SMC. In line with this key pathogenic characteristic, we address the acquisition of a pro-inflammatory phenotype by SMC that is essential to the development of PH. We present evidence that metabolic alterations akin to those observed in cancer cells (cytoplasmic and mitochondrial) directly contribute to the phenotype of the SM and SM-like cells involved in PH. Finally, we raise the possibility that SMCs transition from a proliferative to a senescent, pro-inflammatory and metabolically active phenotype over time.
Aggressiveness, violence, homicidality, homicide, and Lyme disease

and incorporate the Creative Commons Attribution – Non Commercial (unported, v3.0) License (http://creativecommons.org/licenses/by-nc/3.0/). By accessing the work you hereby accept the Terms. Non-commercial uses of the work are permitted without any further permission from Dove Medical Press Limited, provided the work is properly attributed. For permission for commercial use of this work, please see paragraphs 4.2 and 5 of our Terms (https://www.dovepress.com/terms.php). Neuropsychiatric Disease and Treatment 2018:14 693–713 Neuropsychiatric Disease and Treatment Dovepress
A Novel Adaptive Calibration Scheme for Frequency-Selective  $I/Q$ Imbalance in Broadband Direct-Conversion Transmitters

This brief proposes a novel adaptive calibration scheme for frequency-selective <formula formulatype="inline"> <tex Notation="TeX">$I/Q$</tex></formula> imbalance in broadband direct-conversion transmitters (<formula formulatype="inline"><tex Notation="TeX"> $T\! x$</tex></formula>) with multiband multistandard capability. The calibration consists of pilot-based initial calibration, followed by pilot-free parameter tracking against time-variant characteristics. Compared to the state-of-the-art (SoA) schemes, the proposed scheme has much lower complexity. Furthermore, the pilot-free tracking can provide good performance independently from the communication signal characteristic and avoids the ill-conditioned matrix problem in the SoA schemes. Its performance is verified by both computer simulations and hardware-in-the-loop experiments.
A STUDY ON COMPRESSIVE FATIGUE STRENGTH OF CONCRETE IN THE WATER

生 された ものであって も,試 験時に気乾状態 に した もの の強度が,湿 潤状態 のままで試験 した ものの強度 より大 きい。 これは,コ ンク リー トの内部に含 まれ る水分 が, その破壊過程 に影響 し,力 学的性質 を変化 させ るため と 考 えられる. 近年,海 洋 コンク リー ト構造物や河川 コンクリー ト構 造物の発達 はめざましい ものが あるが,こ れ らの コンク リー トは,常 に,あ るい は非常 にしば しば湿潤状態に さ らされてお り,そ の安全性 の検討 には この ことを考慮 し なければな らない. ま た,こ れ らの構造物は,波 力あ る いは流水圧 な どの繰 り返 し荷重 を受 けるため,疲 労強度 について も検討す る必要 がある. 筆者は先に,気 乾状態 のコンク リー トの疲労試験 を行 い,そ の寿命分布,疲 労強 度につ いて報 告 したが1),湿 潤状態,特 に水 で飽和 され てい る状態の コンクリー トの 疲労強度は,静 的強度 と同様 に,空 気 中にお ける場合 と は異 なって くることが考 え られ る. しか しなが ら水 で飽和 され た状態,す なわ ち水 中で繰 り返 し荷重 を受 ける コンク リー トの性状 に関す る報告 は 数少 な く,岡 田 ら2)のコンク リー トの含水量が 繰 り返 し 耐力 に影響 を及ぼす とい う報告や,田 ら3)のモル タル の 水 中での疲労強度が気乾状態 のそれ よ り低 いとい う報告 しかみ あた らない。 しか もこれ らの2例 の報告 は,い ず れ も変形特性 を重 視 した低 サイクル繰 り返 しによる試験 結果 であ り,水 中における高 サイ クル疲労試験 に関す る 報告 は皆無 とい って よい. よって,水 中におけ るコンクリー トの高 サイクル疲労 試験 を行い,そ の寿命分布,疲 労強度 を求 め,空 気 中に おける気乾状態の コンクリー トの試験結果 と比較検討 し てみた. こ こにその結果 を報告 する. な お本論 文では, 常 に水 で飽和 され た状態 お よび気乾 状態の コンクリー ト を比較す る意味 で,そ れぞれの状態 を略 して水中お よび 空 中 と表現 している.
RNASIM: A simulation tool for transcriptome sequencing

DNA sequencing technology has played an important role on life sciences, especially Illumina's sequencer. It was used for more and more transcriptome projects. In this paper, we developed a tool named as RNASIM, which can simulate solexa transcriptome sequencing based on the reference sequences. The tool RNASIM can actually simulate random gene expression and insert size of library with normal distribution in solexa pair-end sequencing. In order to validate the tool, three times of experiments were simulated based on the reference Arabidopsis thaliana's transcripts and produced total reads' length of 1Gb, 2Gb and 4Gb. Simulated reads were assembled and compared with original reference sequences. There were respectively 19,704, 20,376 and 20,692 transcripts aligned to one assembled contig. And there were only 1,071(3.2%), 849(2.5%) and 778(2.3%) original transcripts were not found related contigs in three assembled transcripts. Others were assembled multiple copy because of alternative splicing or gene duplication.
Possible estimation of resilient modulus of fine-grained soils using a dynamic lightweight cone penetrometer

Abstract Resilient modulus is an important parameter to characterise the resilient behaviour of pavement materials. Resilient modulus can be determined in the laboratory from repeated load triaxial test and is defined as the ratio of deviator stress to recoverable strain. Inherently, it is a challenge to perform repeated load triaxial tests as a routine basic test due to its complicated, time-consuming and expensive procedure; hence, several empirical approaches to estimate the resilient modulus from other soil mechanical properties – California bearing ratio, unconfined compressive strength or physical properties – have been proposed. This study has investigated the application of a dynamic lightweight cone penetrometer for the estimation of the resilient modulus in the laboratory and field conditions for some Victorian fine-grained subgrade soils. The results show the possibility to estimate the resilient modulus of fine-grained soils using the dynamic lightweight penetration index at any moisture content (MC) from optimum MC to soaked conditions.
Citrinin exposure affects oocyte maturation and embryo development by inducing oxidative stress-mediated apoptosis

Citrinin is one of the mycotoxins and has been shown to have various toxic effects in animals and humans. Although previous study showed the toxic effects of citrinin on the female reproductive system, especially on oocyte maturation, however, the causes or mechanism of citrinin on oocyte quality is unclear. In present study we deeply investigated this topic. We found thatcitrinin toxin exposure inhibited mouse oocyte maturation and early embryo development. Further investigation showed that the actin distribution in oocytes and embryos was disrupted, and the reduced expression of actin nucleator ARP2 expression in the oocyte cortex further confirmed this. We also found that meiotic spindle morphology was abnormal after citrinin treatment. These results indicated that citrinin toxin exposure could disrupt cytoskeleton dynamics to affect oocyte maturation and early embryo development. We also examined the ROS level and early apoptosis marker Annexin signals, and the results showed that both levels increased, indicating that citrinin induced oxidative stress and further resulted in oocyte early apoptosis. Taken together, our results indicated that citrinin toxin exposure could reduce mouse oocyte maturation and early embryo development capability by affecting cytoskeletal dynamics, which may be due to the oxidative stress induced early apoptosis.
The Victoria Stroop Test: Normative Data in Quebec-French Adults and Elderly.

OBJECTIVE Despite the widespread use of the Victoria Stroop Test (VST; Regard, 1981) in clinical and research settings, information regarding the impact of sociodemographic variables on test performance in Quebec-French adults and elderly people is still nonexistent. Thus, this study aimed to establish normative data for error scores and completion time on all test trials (Dot, Word, and Interference) taking into account the impact of age, education, and sex on test performance. METHOD The sample consisted of 646 community-dwelling and healthy Quebec-French individuals aged between 47 and 87 years. RESULTS Regression analyses indicated that age was associated with completion time and error scores on all trials. The association was also positive for low and high interference conditions. Education was associated with completion time on Word and Interference trials, and with both interference scores. Finally, sex was associated with completion time on all trials, with women being consistently faster than men. Equations to calculate Z scores and percentiles are presented. CONCLUSIONS Norms for the VST will ease interpretation of executive functioning in Quebec-French adults and elderly and favor accurate discrimination between normal and pathological cognitive states.
SMT-Based Bounded Model Checking of C++ Programs

Bounded model checking of C++ programs presents greater challenges than that of C programs due to the more complex features that the language offers, such as templates, containers, and exception handling. We present ESBMC++, a bounded model checker for C++ programs. It is based on an operational model, an abstract representation of the standard C++ libraries that conservatively approximates their semantics. ESBMC++ uses this to encode the verification conditions using different background theories supported by an SMT solver. Our experimental results show that our approach can handle a wider range of the C++ constructs than existing approaches and substantially reduces the verification time.
Physical activity levels in adults and older adults 3–4 years after pedometer-based walking interventions: Long-term follow-up of participants from two randomised controlled trials in UK primary care

Background Physical inactivity is an important cause of noncommunicable diseases. Interventions can increase short-term physical activity (PA), but health benefits require maintenance. Few interventions have evaluated PA objectively beyond 12 months. We followed up two pedometer interventions with positive 12-month effects to examine objective PA levels at 3–4 years. Methods and findings Long-term follow-up of two completed trials: Pedometer And Consultation Evaluation-UP (PACE-UP) 3-arm (postal, nurse support, control) at 3 years and Pedometer Accelerometer Consultation Evaluation-Lift (PACE-Lift) 2-arm (nurse support, control) at 4 years post-baseline. Randomly selected patients from 10 United Kingdom primary care practices were recruited (PACE-UP: 45–75 years, PACE-Lift: 60–75 years). Intervention arms received 12-week walking programmes (pedometer, handbooks, PA diaries) postally (PACE-UP) or with nurse support (PACE-UP, PACE-Lift). Main outcomes were changes in 7-day accelerometer average daily step counts and weekly time in moderate-to-vigorous PA (MVPA) in ≥10-minute bouts in intervention versus control groups, between baseline and 3 years (PACE-UP) and 4 years (PACE-Lift). PACE-UP 3-year follow-up was 67% (681/1,023) (mean age: 59, 64% female), and PACE-Lift 4-year follow-up was 76% (225/298) (mean age: 67, 53% female). PACE-UP 3-year intervention versus control comparisons were as follows: additional steps/day postal +627 (95% CI: 198–1,056), p = 0.004, nurse +670 (95% CI: 237–1,102), p = 0.002; total weekly MVPA in bouts (minutes/week) postal +28 (95% CI: 7–49), p = 0.009, nurse +24 (95% CI: 3–45), p = 0.03. PACE-Lift 4-year intervention versus control comparisons were: +407 (95% CI: −177–992), p = 0.17 steps/day, and +32 (95% CI: 5–60), p = 0.02 minutes/week MVPA in bouts. Neither trial showed sedentary or wear-time differences. Main study limitation was incomplete follow-up; however, results were robust to missing data sensitivity analyses. Conclusions Intervention participants followed up from both trials demonstrated higher levels of objectively measured PA at 3–4 years than controls, similar to previously reported 12-month trial effects. Pedometer interventions, delivered by post or with nurse support, can help address the public health physical inactivity challenge. Trial registrations PACE-UP isrctn.com ISRCTN98538934; PACE-Lift isrctn.com ISRCTN42122561.
Perspectives on Patient Safety Among Practical Nursing Students

Background Practical nursing students are students enrolled in a two-year college practical nursing diploma program. They are responsible for providing safe patient care to the patients they care for. Assessing students’ perceptions of their own patient safety competencies can help educators identify gaps in their knowledge and skills and identify, at a curricula level, the concepts and information required to improve the quality of their care. Purpose To explore practical nursing students’ confidence in what they are learning about patient safety within their nursing education. Methods This cross-sectional descriptive study used a modified version of the Health Professional Education in Patient Safety Survey. Results Overall, students expressed the greatest confidence in their abilities to provide care in Clinical Safety topics. More than 75% of the students’ feared punishment when making an error and 88% have difficulty questioning other healthcare providers. Less than 30% of students stated that a system-level focus on errors was taught to them in their education programs. Conclusions More investigation is needed to understand what practical nursing students’ fear about the provision of safe care. Additional focus on systems aspects of hazard identification and the prevention of errors needs to be present in nursing education programs.
Specific Adaptations in Performance and Muscle Architecture After Weighted Jump-Squat vs. Body Mass Squat Jump Training in Recreational Soccer Players

Abstract Coratella, G, Beato, M, Milanese, C, Longo, S, Limonta, E, Rampichini, S, Cè, E, Bisconti, AV, Schena, F, and Esposito, F. Specific adaptations in performance and muscle architecture after weighted jump-squat vs. body mass squat jump training in recreational soccer players. J Strength Cond Res 32(4): 921–929, 2018—The aim of the present study was to compare the effects of weighted jump-squat training (WJST) vs. body mass squat jump training (BMSJT) on quadriceps' muscle architecture, lower-limb lean-mass (LM) and muscle strength, performance in change of direction (COD), and sprint and jump in recreational soccer players. Forty-eight healthy soccer players participated in an offseason randomized controlled trial. Before and after an 8-week training intervention, vastus lateralis pennation angle, fascicle length, muscle thickness, LM, squat 1RM, quadriceps and hamstrings isokinetic peak torque, agility T-test, 10-and 30-m sprints, and squat-jump (SJ) were measured. Although similar increases were observed in muscle thickness, fascicle length increased more in WJST (Effect size [ES] = 1.18, 0.82–1.54) than in BMSJT (ES = 0.54, 0.40–0.68), and pennation angle increased only in BMSJT (ES = 1.03, 0.78–1.29). Greater increases in LM were observed in WJST (ES = 0.44, 0.29–0.59) than in BMSJT (ES = 0.21, 0.07–0.37). The agility T-test (ES = 2.95, 2.72–3.18), 10-m (ES = 0.52, 0.22–0.82), and 30-m sprints (ES = 0.52, 0.23–0.81) improved only in WJST, whereas SJ improved in BMSJT (ES = 0.89, 0.43–1.35) more than in WJST (ES = 0.30, 0.03–0.58). Similar increases in squat 1RM and peak torque occurred in both groups. The greater inertia accumulated within the landing phase in WJST vs. BMSJT has increased the eccentric workload, leading to specific eccentric-like adaptations in muscle architecture. The selective improvements in COD in WJST may be related to the increased braking ability generated by the enhanced eccentric workload.