Miracle-dz/UniFAR-FTUs huggingface dataset:
O-Gene: Towards an open green network control plane

Recent contributions on energy-aware management, aimed at improving the energy efficiency of network infrastructures are based on a combined use of two levers: power consumption optimization obtained by (wholly or partially) switching off a single network device and traffic engineering strategies (with related algorithms) that, given the traffic model on a daily time period, minimize the global energy consumption avoiding traffic congestion. Switches, routers and links of the actual Internet are often represented by simple power consumption models, based on just a few states (typically, on and off). Time for off-to-on switching is often ignored. We claim that complex large-scale network infrastructures need an energy-conscious control plane, which is able of quickly configuring the network by taking into account both energy efficiency goals and QoS constraints. In this paper we present a green extension to the GMPLS network control plane, that is able of minimizing the global power consumption under QoS constraints. Time for fully activating components that were initially in stand-by or off is considered as a QoS requirement.
On the involvement of electron transfer reactions in the fluorescence decay kinetics heterogeneity of proteins

Time‐resolved fluorescence study of single tryptophan‐containing proteins, nuclease, ribonuclease T1, protein G, glucagon, and mastoparan, has been carried out. Three different methods were used for the analysis of fluorescence decays: the iterative reconvolution method, as reviewed and developed in our laboratory, the maximum entropy method, and the recent method that we called “energy transfer” method. All the proteins show heterogeneous fluorescence kinetics (multiexponential decay). The origin of this heterogeneity is interpreted in terms of current theories of electron transfer process, which treat the electron transfer process as a radiationless transition. The theoretical electron transfer rate was calculated assuming the peptide bond carbonyl as the acceptor site. The good agreement between experimental and theoretical electron‐transfer rates leads us to suggest that the electron‐transfer process is the principal quenching mechanism of Trp fluorescence in proteins, resulting in heterogeneous fluorescence kinetics. Furthermore, the origin of apparent homogeneous fluorescence kinetics (monoexponential decay) in some proteins also can be explained on the basis of electron‐transfer mechanism.
Cryptanalysis of multi-HFE

Multi-HFE (Chen et al., 2009) is one of cryptosystems whose public key is a set of multivariate quadratic forms over a finite field. Its quadratic forms are constructed by a set of multivariate quadratic forms over an extension field. Recently, Bettale et al. (2013) have studied the security of HFE and multi-HFE against the min-rank attack and found that multi-HFE is not more secure than HFE of similar size. In the present paper, we propose a new attack on multi-HFE by using a diagonalization approach. As a result, our attack can recover equivalent secret keys of multi-HFE in polynomial time for odd characteristic case. In fact, we experimentally succeeded to recover equivalent secret keys of several examples of multi-HFE in about fifteen seconds on average, which was recovered in about nine days by the min-rank attack.
Structure and Detectability of Trends in Hydrological Measures over the Western United States

Abstract This study examines the geographic structure of observed trends in key hydrologically relevant variables across the western United States at ⅛° spatial resolution during the period 1950–99. Geographical regions, latitude bands, and elevation classes where these trends are statistically significantly different from trends associated with natural climate variations are identified. Variables analyzed include late-winter and spring temperature, winter-total snowy days as a fraction of winter-total wet days, 1 April snow water equivalent (SWE) as a fraction of October–March (ONDJFM) precipitation total [precip(ONDJFM)], and seasonal [JFM] accumulated runoff as a fraction of water-year accumulated runoff. Observed changes were compared to natural internal climate variability simulated by an 850-yr control run of the finite volume version of the Community Climate System Model, version 3 (CCSM3-FV), statistically downscaled to a ⅛° grid using the method of constructed analogs. Both observed and downscale.
CD4+ T cells from multiple sclerosis patients respond to a commensal‐derived antigen

Multiple sclerosis, an immune‐mediated disease of the central nervous system, is characterized by the impaired function of regulatory cells that fail to suppress self‐reactive effector cells. We have previously found that polysaccharide A, a capsular antigen derived from the human gut commensal Bacteroides fragilis, can induce a population of regulatory T cells. Herein, we demonstrate that naïve T cells isolated from patients with multiple sclerosis have the capacity to acquire regulatory characteristics when stimulated in vitro with polysaccharide A. This study demonstrates the amplification of a regulatory T cell response by a gut‐derived commensal antigen in those with multiple sclerosis.
Host-parasite associations and host-specificity in haemoparasites of reed bed passerines

SUMMARY The host specificity and host sharing of avian haemoparasites (genera Haemoproteus and Plasmodium) is still poorly known, although they infect a large proportion of several studied bird populations. This study used molecular techniques to detect haemoparasites in marsh warblers and in other passerines that feed in reed beds, at 4 sites in Portugal. The host-specificity of the parasite lineages was analysed and compared with other cases described in the literature to assess whether apparent host specificity changes according to the studied system. Nine lineages of Haemoproteus and 15 of Plasmodium were found, of which only 10 Plasmodium were proven to have local transmission. Each lineage was confined to a distinct set of host species. The distribution of parasites in the host species was non-nested, meaning that specialist lineages did not always share hosts with generalists. The most prevalent lineages were those with a wider host range, indicating that the ability to infect more hosts will enhance a parasite's prevalence in its entire host range. We also found that in our areas, a specialist parasite (H. MW1) appears to have a more generalist character than described in the literature, suggesting that a parasite's apparent specialization can depend on the type of host species sampled.
Making difficult health decisions: a motivated decision processing model

This study introduces and evaluates a model of motivated health decision processing. In this model, threatening health decision information is thought to lead to two potentially incompatible motivations in decision makers: the desire to process information in an effortful manner, and the desire to defend against threat. The model proposes that these dual motivations lead to biased but effortful processing of decision options. The model was tested empirically by experimentally manipulating exposure to threatening information and measuring decision information processing and decision strategy selection. Participants (N = 100; age 40+) were randomly assigned to one of two groups and exposed to either threatening or non-threatening information about skin cancer. They were asked to read about and choose from five skin cancer treatments; a computerized process-tracing tool recorded their pattern of information acquisition as they perused the information. Results showed that compared to participants in the low threat condition, participants in the high threat condition were more likely to avoid information about death and to use an attribute-based decision strategy. Participants in the high threat condition and participants who used an attribute-based decision strategy were also more likely to make an accurate decision. Post hoc analyses showed that participants in the high threat condition were more likely than participants in the low threat condition to use an effective lexicographic decision strategy, and that anxiety and impulsivity moderated the relationship between condition and decision strategy. The results of this study suggest that exposure to perceived threats can lead to patients' avoidance of frightening, but important, information about treatments and to the use of heuristic decision strategies while making treatment decisions.
Reflections on the Penn Discourse TreeBank, Comparable Corpora, and Complementary Annotation

The Penn Discourse Treebank (PDTB) was released to the public in 2008. It remains the largest manually annotated corpus of discourse relations to date. Its focus on discourse relations that are either lexically-grounded in explicit discourse connectives or associated with sentential adjacency has not only facilitated its use in language technology and psycholinguistics but also has spawned the annotation of comparable corpora in other languages and genres.Given this situation, this paper has four aims: (1) to provide a comprehensive introduction to the PDTB for those who are unfamiliar with it; (2) to correct some wrong (or perhaps inadvertent) assumptions about the PDTB and its annotation that may have weakened previous results or the performance of decision procedures induced from the data; (3) to explain variations seen in the annotation of comparable resources in other languages and genres, which should allow developers of future comparable resources to recognize whether the variations are relevant to them; and (4) to enumerate and explain relationships between PDTB annotation and complementary annotation of other linguistic phenomena. The paper draws on work done by ourselves and others since the corpus was released.
Rotate-and-add coding: A novel algebraic network coding scheme

In this paper we introduce a novel linear network coding scheme, namely “rotate-and-add coding”, that possesses low encoding complexity and operates fundamentally different from the traditional network codes. This scheme can operate on a small field (e.g. F2), thereby, it alleviates the computational complexities due to multiplication and addition operations in large finite fields. The key idea is to function on a vector of symbols instead of working with a single symbol of a large field. Each node encodes its received vectors by simply rotationally shifting the vectors and then adding them, i.e., here the addition is done in vector form and the multiplication is replaced by rotation. We verify that the new scheme requires lower computation and overhead than the existing schemes. However, as the cost of reducing the complexity, it provides slightly smaller throughput.
Use of Variators in Applying the Cost Calculation Methodology in Small and Medium Furniture Enterprises Based on Changes in Human Body Dimensions

Based on the research of anthropometric measures of Slovak adult population, it can be observed that during the last 25 years, anthropometric data have been rising by about 4.5-5 % in most analysed characters. As data on human body dimensions changes, the requirements for material consumption and production time, expressed by the rate of labour cost, are changing. In this context, sustainable profitability of the company can be achieved through each segment of a value chain. One of these segments is the product and its price, which is based on costs allocated in the system of full or variable costing. As the value of quantiles characteristics of anthropometric characters was used to create ergonomic, health and construction norms and standards in the furniture industry, it is necessary to review the adequacy of existing standard-size single bed. Since the dimensions of single bed are standardised, 200 cm x 90 cm or 200 cm x 100 cm, it is clear that due to the secular trend of anthropometric measure of a man, the dimensions are currently inadequate. This paper presents the use of variators when applying the most commonly used absorption costing in small and medium furniture enterprises. It shows the costs involved, when the input parameters are changed.
Eosinophil Deficiency Compromises Parasite Survival in Chronic Nematode Infection1

Immune responses elicited by parasitic worms share many features with those of chronic allergy. Eosinophils contribute to the inflammation that occurs in both types of disease, and helminths can be damaged or killed by toxic products released by eosinophils in vitro. Such observations inform the widely held view that eosinophils protect the host against parasitic worms. The mouse is a natural host for Trichinella spiralis, a worm that establishes chronic infection in skeletal muscle. We tested the influence of eosinophils on T. spiralis infection in two mouse strains in which the eosinophil lineage is ablated. Eosinophils were prominent in infiltrates surrounding infected muscle cells of wild-type mice; however, in the absence of eosinophils T. spiralis muscle larvae died in large numbers. Parasite death correlated with enhanced IFN-γ and decreased IL-4 production. Larval survival improved when mice were treated with inhibitors of inducible NO synthase, implicating the NO pathway in parasite clearance. Thus, the long-standing paradigm of eosinophil toxicity in nematode infection requires reevaluation, as our results suggest that eosinophils may influence the immune response in a manner that would sustain chronic infection and insure worm survival in the host population. Such a mechanism may be deployed by other parasitic worms that depend upon chronic infection for survival.
Design, simulation & performance evaluation of three phase grid connected PV panel

Now a days due to recent advances in Photovoltaic (PV) panels, the demand on solar energy is increasing. In order to commercialize & utilize solar energy properly we have connect it the grid. This paper deals with the design & simulation of two stage converter system for integrating PV panel with the grid. It consists of PV panel, boost dc-dc converter for stepping up the PV panel voltage, a VSI for converting dc to ac & finally the grid. For operating the PV panel at maximum power point, Incremental Conductance algorithm is used & the system also works under various changing environmental conditions. For controlling inverter output with respect to grid synchronous reference (dq) frame control is used. Three phase PLL is used to lock grid frequency & phase with respect to inverter output. A low pass LC filter is modeled to remove high frequency harmonics from the inverter output & transformer is used to provide galvanic isolation between inverter output & grid. All the simulations are carried out in Simulink environment of MATLAB.
Partial hyperdoctrines: categorical models for partial function logic and Hoare logic

In this paper we provide a categorical interpretation of the first-order Hoare logic of a small programming language by giving a weakest precondition semantics for the language. To this end, we extend the well-known notion of a (first-order) hyperdoctrine to include partial maps. The most important new aspect of the resulting partial (first-order) hyperdoctrine is a different notion of morphism between the fibres. We also use this partial hyperdoctrine to give a model for Beeson's Partial Function Logic such that (a version of) his axiomatization is complete with respect to this model. This shows the usefulness of the notion, independent of its intended use as a model for Hoare logic.
Evaluation of the Influence of Time Synchronisation on Classification Learning Based Movement Detection with Accelerometers

Context awareness is an important enabler of future applications in ubiquitous environments and has the potential to free the user from the control loop in a situation where he faces ever more connected devices. The context of a user can be accessed using data gathered from the user's personal devices and devices in his proximity. In this paper we examine the relation between time synchronisation of devices and context reasoning accuracy. For an application where we detect different activities of an office worker from acceleration data measured at the wrists, we show that insufficient time synchronisation leads to a significant decrease of reasoning accuracy. We show this for six commonly used classification learning algorithms that otherwise offer high accuracy provided devices are time synchronised. We also analyse the reasons that causes a lack of time synchronisation and why known synchronisation protocols are not applicable in ubiquitous environments. To solve the problems imposed by insufficient time synchronisation we propose a conceptual change in the communication paradigm used in architectures for context awareness.
Energy and Performance Trade-offs between Instruction Reuse and Trivial Computations for Embedded Applications

Instruction reuse (IR) and trivial computation (TC) elimination are two architectural techniques that aim at eliminating redundant code to better exploit instruction-level parallelism. While they have been extensively studied in isolation, this paper is the first to compare their relative efficiency. This is done using applications from the embedded domain. This paper establishes the relationship between the two techniques by framing the arithmetic instructions detected by each of them. While TC can only eliminate instructions where one of the operands is zero or one, IR has potentially a wider scope as it can potentially eliminate any instruction given that it has been executed before with the same set of operand values. Despite the wider scope, we have found that IR and TC can eliminate about the same fraction of instructions even if an infinitely large instruction reuse buffer is assumed (IR and TC can eliminate 26% and 22% of the instructions, respectively). Another quite surprising finding is that the two techniques target quite different sets of instructions suggesting that they can provide almost additive gains if combined. In combination, they can eliminate 40% of the instructions they target. In terms of energy-efficiency, we finally find that if an instruction reuse buffer of 256 entries is used, it uses 1% more energy than a processor without IR and TC reduces the energy consumption by 5.6%.
The L(2, 1)-Labeling Problem on Graphs

An $L(2,1)$-labeling of a graph $G$ is a function $f$ from the vertex set $V(G)$ to the set of all nonnegative integers such that $|f(x)-f(y)|\ge 2$ if $d(x,y)=1$ and $|f(x)-f(y)|\ge 1$ if $d(x,y)=2$. The $L(2,1)$-labeling number $\lambda(G)$ of $G$ is the smallest number $k$ such that $G$ has an $L(2,1)$-labeling with $\max\{f(v):v\in V(G)\}=k$. In this paper, we give exact formulas of $\lambda(G\cup H)$ and $\lambda(G+H)$. We also prove that $\lambda(G)\le\Delta^2+\Delta$ for any graph $G$ of maximum degree $\Delta$. For odd-sun-free (OSF)-chordal graphs, the upper bound can be reduced to $\lambda(G)\le 2\Delta+1$. For sun-free (SF)-chordal graphs, the upper bound can be reduced to $\lambda(G)\le \Delta+2\chi(G)-2$. Finally, we present a polynomial time algorithm to determine $\lambda(T)$ for a tree $T$.
An HTML Interface for Classic

Several significant problems exist when applying knowledge representation systems to real problems. In particular, the obscurity of LISP, the resource consumption, garbage collection, and the single user nature of most KR systems can prevent the technology from being accepted in many non-research environments. This paper briefly presents one way to address these problems with a web interface, and outlines some of the general principles that guided the implementation of a web interface for Classic.
Explicit MIMO Model Predictive Boost Pressure Control of a Two-Stage Turbocharged Diesel Engine

In this paper, explicit model predictive control (MPC) of a two-stage turbocharged diesel engine is presented. MPC provides superior performance over conventional map-based PID boost pressure control. It can be easily adapted to multivariable control and is relatively easy to tune. A control-oriented multiple-input multiple-output model of a turbocharged diesel engine was derived using system identification methods. As MPC control design is based on a linear model, validation of the controller was carried out using a high-fidelity nonlinear engine model. Using the high-fidelity simulation model provides the opportunity to fine-tune the controller before the real-time testing. The experimental real-time tests demonstrate a superior control performance in a wider range compared with the performance obtained using conventional control.
VALIDATION OF OMNI RPE AND PREFERRED METHOD OF REGULATING EXERCISE INTENSITY IN OBESE ADULTS

The Adult OMNI-Walk/Run RPE Scale (OMNI RPE) has not been validated in overweight and obese adults. In addition, the preferred method that overweight and obese individuals use to self-regulate exercise intensity is unknown. PURPOSE: The primary purpose of this investigation was to examine concurrent and construct validity of the OMNI RPE in overweight and obese adults. The secondary purpose of the present study was to examine the preferred method of self-regulating exercise intensity (SRE) in this same cohort. METHODS: Sixty (males, n = 22, age = 37.18 ± 9.70 yrs; females, n = 38, age = 34.45 ± 7.92 yrs) sedentary to physically active overweight or obese adults participated in this study. A single observation, cross-sectional research design was employed where subjects performed a progressively incremented submaximal graded treadmill exercise test to 85% of age predicted maximal heart rate (APMHR) followed by a questionnaire-based interview. HR and Oxygen consumption (VO2) were regressed against OMNI RPE responses from every second minute of exercise to examine concurrent validity. OMNI RPE responses were regressed against Borg RPE to establish construct validity. Subjects completed interview-led questionnaires post-exercise to assess physical activity history and preferred method of SRE. RESULTS: A strong relation between OMNI RPE and HR (r = 0.866; p < 0.001) was observed for the total sample. A moderate-strong relation between OMNI RPE and VO2 (r = 0.731; p < 0.001) was also observed. OMNI RPE displayed a very strong relation with Borg RPE (r = 0.963; p < 0.001). In the past, more subjects (88.2%) reported using a perceptual method to SRE than the 11.8% who reported using a HR method (p < 0.001). There was no difference in subject’s preference in the future. CONCLUSION: Concurrent and construct validity of OMNI RPE were established in overweight and obese adults. Therefore, OMNI RPE may be used in treadmill exercise testing in overweight and obese adults. In addition, more subjects previously used perceptual methods to SRE. However, there was no difference in preference for SRE in the future. The reason behind this finding is uncertain and warrants further investigation.