Miracle-dz/UniFAR-FTUs huggingface dataset:
Preliminary design of an energy storing orthosis for providing gait to people with spinal cord injury

A new design is proposed for an energy storing orthosis (ESO) that restores walking to people with spinal cord injury by combining functional electrical stimulation of the quadriceps muscle with a mechanical brace that uses elastic elements to store and transfer energy between hip and knee joints. The new ESO is a variation of a previous design and uses constant force springs for energy storage. Based on the detailed design and on dynamic simulations, the concept has demonstrated preliminary technical feasibility.
Quantitative Games under Failures

We study a generalisation of sabotage games, a model of dynamic network games introduced by van Benthem. The original definition of the game is inherently finite and therefore does not allow one to model infinite processes. We propose an extension of the sabotage games in which the first player (Runner) traverses an arena with dynamic weights determined by the second player (Saboteur). In our model of quantitative sabotage games, Saboteur is now given a budget that he can distribute amongst the edges of the graph, whilst Runner attempts to minimise the quantity of budget witnessed while completing his task. We show that, on the one hand, for most of the classical cost functions considered in the literature, the problem of determining if Runner has a strategy to ensure a cost below some threshold is EXPTIME-complete. On the other hand, if the budget of Saboteur is fixed a priori, then the problem is in PTIME for most cost functions. Finally, we show that restricting the dynamics of the game also leads to better complexity.
Increased thirst and vasopressin secretion after myocardial infarction in rats.

Impaired regulation of salt and water balance in left ventricular dysfunction and heart failure can lead to pulmonary and peripheral edema and hyponatremia. Previous studies of disordered water regulation in heart failure have used models of low cardiac output with normal cardiac function (e.g., inferior vena cava ligation). We investigated thirst and vasopressin (AVP) secretion in a rat myocardial infarction model of chronic left ventricular dysfunction/heart failure in response to a 24-h water deprivation period. Thirst (implied from water drunk), hematocrit, plasma renin activity, and plasma AVP concentrations increased with water deprivation vs. ad libitum water access. Thirst and plasma AVP concentrations were significantly positively correlated with infarct size after 24-h water deprivation but not under ad libitum water access conditions. The mechanism by which this occurs is unclear but could involve increased osmoreceptor sensitivity, altered stimulation of baroreceptors, the renin-angiotensin system, or altered central neural control.
Ca2+-calmodulin promotes survival of pheromone-induced growth arrest by activation of calcineurin and Ca2+-calmodulin-dependent protein kinase

The cmd1-6 allele contains three mutations that block Ca2+ binding to calmodulin from Saccharomyces cerevisiae. We find that strains containing cmd1-6 lose viability during cell cycle arrest induced by the mating pheromone alpha-factor. The 50% lethal dose (LD50) of alpha-factor for the calmodulin mutant is almost fivefold below the LD50 for a wild-type strain. The calmodulin mutants are not more sensitive to alpha-factor, as measured by activation of a pheromone-responsive reporter gene. Two observations indicate that activation of the Ca2+-calmodulin-dependent protein phosphatase calcineurin contributes to survival of pheromone-induced arrest. First, deletion of the gene encoding the calcineurin regulatory B subunit, CNB1, from a wild-type strain decreases the LD50 of alpha-factor but has no further effect on a cmd1-6 strain. Second, a dominant constitutive calcineurin mutant partially restores the ability of the cmd1-6 strain to survive exposure to alpha-factor. Activation of the Ca2+-calmodulin-dependent protein kinase (CaMK) also contributes to survival, thus revealing a new function for this enzyme. Deletion of the CMK1 and CMK2 genes, which encode CaMK, decreases the LD50 of pheromone compared with that for a wild-type strain but again has no effect in a cmd1-6 strain. Furthermore, the LD50 of alpha-factor for a mutant in which the calcineurin and CaMK genes have been deleted is the same as that for the calmodulin mutant. Finally, the CaMK and calcineurin pathways appear to be independent since the ability of constitutive calcineurin to rescue a cmd1-6 strain is not blocked by deletion of the CaMK genes.
Caring about connections: gender and computing

For nearly four years (1995-9), we have interviewed female and male computer science students about their experiences studying computer science at Carnegie Mellon University, in one of the top computer science departments in the country (USA). We heard differences in orientations to computing in men's and women's interviews when they arrive at the university. We have traced the effects of these differences on women's sense of belonging and comfort in the program, and on their decisions to stay or leave. While most of the male students describe an early and persistent magnetic attraction between themselves and computers, women much more frequently link their computer science interest to a larger societal framework. Nearly half of the women we interviewed attached their interest in computer science to other arenas, such as medicine, education, space exploration, and the arts. For many of these women, while interest in computing is strong, they are concerned that their study of computer science not require a myopic focus on the machine, or detach them from people and other concerns. We discuss how computer science curriculum and culture frequently mirror and bestow prestige on an orientation toward computing commonly identified with men, while devaluing and pushing to the margins the orientations associated with women. The identification of computing as a male domain is so pervasive that men suffer far less from a mismatch with the dominant culture than do women. In this context, we discuss the importance of "revisioning" computer science, so that the answer to the question: "what is computer science? " incorporates and values women's perspectives as well as men's.
Increased Risk of Paroxysmal Atrial Fibrillation Episodes Associated with Acute Increases in Ambient Air Pollution

Objectives: We reported previously that 24-hr moving average ambient air pollution concentrations were positively associated with ventricular arrhythmias detected by implantable cardioverter defibrillators (ICDs). ICDs also detect paroxysmal atrial fibrillation episodes (PAF) that result in rapid ventricular rates. In this same cohort of ICD patients, we assessed the association between ambient air pollution and episodes of PAF. Design: We performed a case–crossover study. Participants: Patients who lived in the Boston, Massachusetts, metropolitan area and who had ICDs implanted between June 1995 and December 1999 (n = 203) were followed until July 2002. Evaluations/Measurements: We used conditional logistic regression to explore the association between community air pollution and 91 electrophysiologist-confirmed episodes of PAF among 29 subjects. Results: We found a statistically significant positive association between episodes of PAF and increased ozone concentration (22 ppb) in the hour before the arrhythmia (odds ratio = 2.08; 95% confidence interval = 1.22, 3.54; p = 0.001). The risk estimate for a longer (24-hr) moving average was smaller, thus suggesting an immediate effect. Positive but not statistically significant risks were associated with fine particles, nitrogen dioxide, and black carbon. Conclusions: Increased ambient O3 pollution was associated with increased risk of episodes of rapid ventricular response due to PAF, thereby suggesting that community air pollution may be a precipitant of these events.
No Evidence of Association between Common Autoimmunity STAT4 and IL23R Risk Polymorphisms and Non-Anterior Uveitis

Objective STAT4 and IL23R loci represent common susceptibility genetic factors in autoimmunity. We decided to investigate for the first time the possible role of different STAT4/IL23R autoimmune disease-associated polymorphisms on the susceptibility to develop non-anterior uveitis and its main clinical phenotypes. Methods Four functional polymorphisms (rs3821236, rs7574865, rs7574070, and rs897200) located within STAT4 gene as well as three independent polymorphisms (rs7517847, rs11209026, and rs1495965) located within IL23R were genotyped using TaqMan® allelic discrimination in a total of 206 patients with non-anterior uveitis and 1553 healthy controls from Spain. Results No statistically significant differences were found when allele and genotype distributions were compared between non-anterior uveitis patients and controls for any STAT4 (rs3821236: P=0.39, OR=1.12, CI 95%=0.87-1.43; rs7574865: P=0.59 OR=1.07, CI 95%=0.84-1.37; rs7574070: P=0.26, OR=0.89, CI 95%=0.72-1.10; rs897200: P=0.22, OR=0.88, CI 95%=0.71-1.08;) or IL23R polymorphisms (rs7517847: P=0.49, OR=1.08, CI 95%=0.87-1.33; rs11209026: P=0.26, OR=0.78, CI 95%=0.51-1.21; rs1495965: P=0.51, OR=0.93, CI 95%=0.76-1.15). Conclusion Our results do not support a relevant role, similar to that described for other autoimmune diseases, of IL23R and STAT4 polymorphisms in the non-anterior uveitis genetic predisposition. Further studies are needed to discard a possible weak effect of the studied variant.
Association Between Shortened Leukocyte Telomere Length and Cardiometabolic Outcomes: Systematic Review and Meta-Analysis

Background—Telomeres are repetitive, gene-poor regions that cap the ends of DNA and help maintain chromosomal integrity. Their shortening is caused by inflammation and oxidative stress within the cellular environment and ultimately leads to cellular senescence. Shortened leukocyte telomere length is hypothesized to be a novel biomarker for age and age-related diseases, yet reports on its association with cardiometabolic outcomes in the literature are conflicting. Methods and Results—MEDLINE (1966 to present) and EMBASE (1980 to present) were last searched on September 9, 2013. Reference lists of retrieved citations were hand searched for relevant studies. No restrictions were placed on sample size, language, or publication type or date. Fifteen cohort and 12 case–control studies reporting the association between leukocyte telomere length and stroke, myocardial infarction, and type 2 diabetes mellitus were independently selected for inclusion by 2 reviewers. Data extraction and risk of bias assessment were completed independently by 2 reviewers using predefined criteria. Studies were pooled using the generic inverse variance method and both fixed and random effects models. A 1-SD decrease in leukocyte telomere length was significantly associated with stroke (odds ratio, 1.21; 95% confidence interval, 1.06–1.37; I2=61%), myocardial infarction (odds ratio, 1.24; 95% confidence interval, 1.04–1.47; I2=68%), and type 2 diabetes mellitus (odds ratio, 1.37; 95% confidence interval, 1.10–1.72; I2=91%). Stratification by measurement technique, study design, study size, and ethnicity explained heterogeneity in certain cardiometabolic outcomes. Conclusions—Shortened leukocyte telomere length demonstrates a significant association with stroke, myocardial infarction, and type 2 diabetes mellitus. Larger, well-designed studies are needed to confirm these findings and explore sources of heterogeneity.
Secure audit logs to support computer forensics

In many real-world applications, sensitive information must be kept it log files on an untrusted machine. In the event that an attacker captures this machine, we would like to guarantee that he will gain little or no information from the log files and to limit his ability to corrupt the log files. We describe a computationally cheap method for making all log entries generated prior to the logging machine's compromise impossible for the attacker to read, and also impossible to modify or destroy undetectably.
D-RPL: Overcoming memory limitations in RPL point-to-multipoint routing

RPL, the IPv6 Routing Protocol for Low-Power and Lossy Networks, supports both upward and downward traffic. The latter is fundamental for actuation, for queries, and for any bidirectional protocol such as TCP, yet its support is compromised by memory limitation in the nodes. In RPL storing mode, nodes store routing entries for each destination in their sub-graph, limiting the size of the network, and often leading to unreachable nodes and protocol failures. We propose here D-RPL, a mechanism that overcomes the scalability limitation by mending storing mode forwarding with multicast-based dissemination. Our modification has minimal impact on code size and memory usage. D-RPL is activated only when memory limits are reached, and affects only the portion of the traffic and the segments of the network that have exceeded memory limits. We evaluate our solution using Cooja emulation over different synthetic topologies, showing a six-fold improvement in scalability.
Extract of Punica granatum inhibits skin photoaging induced by UVB irradiation

Background Punica granatum (pomegranate) is kind of a fruit consumed fresh or in beverage. It has been widely used in traditional medicine in various parts of the world. In this study, we examined the efficacy of a Punica granatum (PG) extract in protecting skin against UVB‐induced damage using cultured human skin fibroblasts.
Effects of Electrochemical Etching Conditions on the Formation and Photoluminescence Properties of P-Type Porous Silicon

Porous silicon has been widely used in sensors, microelectronics and other fields. This material retains the characteristics of the original silicon-based material, while having good optical, electrical and mechanical properties. How to make porous silicon efficient and controllable by means of anodization has become the focus of research. This article mainly studied the influence of different current conditions and eletrolytes on the pore formation and performance of porous silicon in the electrochemical etching process of p-type silicon. It was found that porous silicon structures with controllable morphologies can be prepared by changing the etching current densities. Moreover, adding oxidants (H2O2) and dimethylformamide (DMF) into the electrolytes will significantly enlarge the etching parameter window of porous silicon and improve its photoluminescence properties. This will help to expand the applications of porous silicon in the field of microelectronics such as biosensors.
Human TCR Transgenic Bet v 1-Specific Th1 Cells Suppress the Effector Function of Bet v 1-Specific Th2 Cells

Pollinosis to birch pollen is a common type I allergy in the Northern Hemisphere. Moreover, birch pollen-allergic individuals sensitized to the major birch pollen allergen Bet v 1 frequently develop allergic reactions to stone fruits, hazelnuts, and certain vegetables due to immunological cross-reactivity. The major T cell epitope Bet v 1142–153 plays an important role in cross-reactivity between the respiratory allergen Bet v 1 and its homologous food allergens. In this study, we cloned and functionally analyzed a human αβ TCR specific for the immunodominant epitope Bet v 1142–153. cDNAs encoding TCR α- and β-chains were amplified from a Bet v 1142–153-specific T cell clone, introduced into Jurkat T cells and peripheral blood T lymphocytes of allergic and nonallergic individuals, and evaluated functionally. The resulting TCR transgenic (TCRtg) T cells responded in an allergen-specific and costimulation-dependent manner to APCs either pulsed with Bet v 1142–153 peptide or coexpressing invariant chain::Bet v 1142–153 fusion proteins. TCRtg T cells responded to Bet v 1-related food and tree pollen allergens that were processed and presented by monocyte-derived dendritic cells. Bet v 1142–153-presenting but not Bet v 14–15-presenting artificial APCs coexpressing membrane-bound IL-12 polarized allergen-specific TCRtg T cells toward a Th1 phenotype, producing high levels of IFN-γ. Coculture of such Th1-polarized T cells with allergen-specific Th2-differentiated T cells significantly suppressed Th2 effector cytokine production. These data suggest that human allergen-specific TCR can transfer the fine specificity of the original T cell clone to heterologous T cells, which in turn can be instructed to modulate the effector function of the disease initiating/perpetuating allergen-specific Th2-differentiated T cells.
In vivo antitumor activity of the bitter melon (Momordica charantia).

The in vivo antitumor activity of a crude extract from the bitter melon (Momordica charantia) was determined. The extract inhibited tumor formation in CBA/H mice which had been given i.p. injections of 1.0 X 10(5) CBA/Dl tumor cells (77% of the untreated mice with tumors versus 33% of the treated mice with tumors after 6 weeks). The extract also inhibited tumor formation in DBA/2 mice which had been given i.p. injections of either 1 X 10(5) P388 tumor cells (0% of untreated mice survived after 30 days versus 40% survival of the treated mice) or 1 X 10(5) L1210 tumor cells (0% survival of untreated mice versus 100% of treated mice after 30 days). The in vivo antitumor effect required both the prior exposure of tumor cells to the extract (2 hr) in vitro and i.p., biweekly injections of the extract into the mice. The optimum dose for tumor inhibition (8 micrograms protein, biweekly, i.p.) was not toxic to mice for at least 45 days of treatment. This same treatment caused a marked enhancement of C3H mouse thymic cell response to concanavalin A in vitro. When compared to the untreated control mice, the bitter melon-injected animals exhibited a 4-fold-higher incorporation of tritiated thymidine into trichloroacetic acid-precipitable material after 48 hr of exposure to 50 micrograms of concanavalin A. Nylon wool-purified spleen cells from these same bitter melon-treated mice exhibited an enhanced mixed lymphocyte reaction when exposed to irradiated P388 stimulator cells (186% of the untreated control mice). These data indicate that in vivo enhancement of immune functions may contribute to the antitumor effects of the bitter melon extract.
Isolation of a Regulatory Mutant of Fructose-1, 6-diphosphatase in Saccharomyces carlsbergensis

By selecting for growth on glycerol, but absence of growth on glucose, a mutant of Saccharomyces carlsbergensis was isolated which does not grow on glucose, fructose, mannose, or sucrose, which shows long-term adaptation to maltose, but which can grow normally on galactose, ethanol, or glycerol. In the mutant, fructose diphosphatase is not inactivated after the addition of glucose, fructose or mannose to the medium, resulting in the simultaneous presence of fructose diphosphatase and phosphofructokinase activity. Under these conditions, a cycle is probably catalyzed between fructose-6-phosphate and fructose-1,6-diphosphate, resulting in the net consumption of adenosine triphosphate and an immediate stop of protein synthesis.
A Spatiotemporal Context Definition for Service Adaptation Prediction in a Pervasive Computing Environment

Pervasive systems refers to context-aware systems that can sense their context, and adapt their behavior accordingly to provide adaptable services. Proactive adaptation of such systems allows changing the service and the context based on prediction. However, the definition of the context is still vague and not suitable to prediction. In this paper we discuss and classify previous definitions of context. Then, we present a new definition which allows pervasive systems to understand and predict their contexts. We analyze the essential lines that fall within the context definition, and propose some scenarios to make it clear our approach.
A Social Network Approach to Free/Open Source Software Simulation

Free and Open Source Software (F/OSS) development is a complex process that is just beginning to be understood. The actual development process is frequently characterized as disparate volunteer developers collaborating to make a piece of software. The developers of F/OSS, like all software, spend a significant portion of their time in social communications to foster collaboration. We have analyzed several methods of communication; a social networking site, project mailing lists, and developer weblogs; to gain an understanding of the social network structure behind F/OSS projects. This social network data was used to create a model of F/OSS development that allows for multiple projects, users, and developers with varying goals and socialization methods. Using this model we have been able to replicate some of the known phenomena observed in F/OSS and provide a first step in the creation of a robust model of F/OSS.
Testing predictions of the Janzen–Connell hypothesis: a meta-analysis of experimental evidence for distance- and density-dependent seed and seedling survival

The Janzen–Connell hypothesis proposes that specialist natural enemies, such as herbivores and pathogens, maintain diversity in plant communities by reducing survival rates of conspecific seeds and seedlings located close to reproductive adults or in areas of high conspecific density. Variation in the strength of distance‐ and density‐dependent effects is hypothesized to explain variation in plant species richness along climatic gradients, with effects predicted to be stronger in the tropics than the temperate zone and in wetter habitats compared to drier habitats. We conducted a comprehensive literature search to identify peer‐reviewed experimental studies published in the 40+ years since the hypothesis was first proposed. Using data from these studies, we conducted a meta‐analysis to assess the current weight of evidence for the distance and density predictions of the Janzen–Connell hypothesis. Overall, we found significant support for both the distance‐ and density‐dependent predictions. For all studies combined, survival rates were significantly reduced near conspecifics compared to far from conspecifics, and in areas with high densities of conspecifics compared to areas with low conspecific densities. There was no indication that these results were due to publication bias. The strength of distance and density effects varied widely among studies. Contrary to expectations, this variation was unrelated to latitude, and there was no significant effect of study region. However, we did find a trend for stronger distance and density dependence in wetter sites compared to sites with lower annual precipitation. In addition, effects were significantly stronger at the seedling stage compared to the seed stage. Synthesis. Our study provides support for the idea that distance‐ and density‐dependent mortality occurs in plant communities world‐wide. Available evidence suggests that natural enemies are frequently the cause of such patterns, consistent with the Janzen–Connell hypothesis, but additional studies are needed to rule out other mechanisms (e.g. intraspecific competition). With the widespread existence of density and distance dependence clearly established, future research should focus on assessing the degree to which these effects permit species coexistence and contribute to the maintenance of diversity in plant communities.
The PRISMA hyperspectral mission: Science activities and opportunities for agriculture and land monitoring

The main objectives of the PRISMA (Hyperspectral Precursor of the Application Mission) mission are: the implementation of an Earth Observation pre-operative payload, the in-orbit demonstration and qualification of an Italian state-of-the-art hyperspectral/panchromatic technology and the validation of end-to-end data processing system able to support the development of new applications based on high spectral resolution images. The aim of the paper is to provide an overview of the PRISMA mission by describing the current status of the program and giving a brief outline of the work done till now in the framework of the SAP4PRISMA project scientific studies in supporting the exploitation of the future PRISMA hyperspectral images for environmental applications.