Miracle-dz/UniFAR-FTUs huggingface dataset:
Rapamycin Activates Autophagy and Improves Myelination in Explant Cultures from Neuropathic Mice

Misexpression and cytosolic retention of peripheral myelin protein 22 (PMP22) within Schwann cells (SCs) is associated with a genetically heterogeneous group of demyelinating peripheral neuropathies. PMP22 overproducer C22 and spontaneous mutant Trembler J (TrJ) mice display neuropathic phenotypes and affected nerves contain abnormally localized PMP22. Nutrient deprivation-induced autophagy is able to suppress the formation of PMP22 aggregates in a toxin-induced cellular model, and improve locomotor performance and myelination in TrJ mice. As a step toward therapies, we assessed whether pharmacological activation of autophagy by rapamycin (RM) could facilitate the processing of PMP22 within neuropathic SCs and enhance their capacity to myelinate peripheral axons. Exposure of mouse SCs to RM induced autophagy in a dose- and time-dependent manner and decreased the accumulation of poly-ubiquitinated substrates. The treatment of myelinating dorsal root ganglion (DRG) explant cultures from neuropathic mice with RM (25 nm) improved the processing of PMP22 and increased the abundance and length of myelin internodes, as well as the expression of myelin proteins. Notably, RM is similarly effective in both the C22 and TrJ model, signifying that the benefit overlaps among distinct genetic models of PMP22 neuropathies. Furthermore, lentivirus-mediated shRNA knockdown of the autophagy-related gene 12 (Atg12) abolished the activation of autophagy and the increase in myelin proteins, demonstrating that autophagy is critical for the observed improvement. Together, these results support the potential use of RM and other autophagy-enhancing compounds as therapeutic agents for PMP22-associated demyelinating neuropathies.
The ζ(2) limit in the random assignment problem

The random assignment (or bipartite matching) problem asks about An=minπ ∑ i=1nc(i, π(i)), where (c(i, j)) is a n×n matrix with i.i. d. entries, say with exponential(1) distribution, and the minimum is over permutations π. Mézard and Parisi (1987) used the replica method from statistical physics to argue nonrigorously that EAn→ζ(2)=π2/6. Aldous (1992) identified the limit in terms of a matching problem on a limit infinite tree. Here we construct the optimal matching on the infinite tree. This yields a rigorous proof of the ζ(2) limit and of the conjectured limit distribution of edge‐costs and their rank‐orders in the optimal matching. It also yields the asymptotic essential uniqueness property: every almost‐optimal matching coincides with the optimal matching except on a small proportion of edges. ©2001 John Wiley & Sons, Inc. Random Struct. Alg. , 18: 381–418, 2001
Scheduling in omnidirectional relay wireless networks

The capacity of multiuser wireless network, unclear for many years, has always been a hot research topic. Many different operation schemes and coding techniques have been proposed to enlarge the achievable rate region. And omnidirectional relay scheme is one of them. This thesis mainly works on the achievable region of the all-source all-cast network with omnidirectional relay scheme. In order to better understand this problem, we first describe the half-duplex model on the one-dimensional and two-dimensional regular networks. And we present an optimal operation scheme for them to have the maximum achievable rate. For the one-dimensional general network, we proposed an achievable region that indicates valued improvement compared to the previous results. In the full-duplex model of the one-dimensional general network, the maximum achievable rate is presented with a simpler proof in comparison with the previous results. In this thesis, we also show some discussions on more general networks.
Convex maximization on a convex set with fuzzy constraints

Many people usually work for solving convex-minimization problems with various constraints, even including some fuzzy conditions. In this paper, we present some algorithms for solving convex-maximization problems with some fuzzy constraints. The objective function of the encountered problem is convex, but its feasible region is reverse convex. Even without fuzzy nature, the problem still remains in the category of NP-hardness, which can be solved in typical global optimization. We transform the reverse-convex feasible region to a difference of convex (d.c.) set, then solve the problem by combining the techniques of the d.c. method and the on-line vertices-enumeration method.
Experience-driven acceptability judgments

Linguistic acceptability judgments are a critical part of the toolkit for linguistic investigation. An implicit assumption of much work using these judgments is that the data are stable, presumably reflecting the underlying nature of grammatical representation. Here, I demonstrate that for a range of constructions — including so-called island-violating sentences, those with resumptive pronouns, case errors, inflectional errors, and processing complexities — judgments systematically shift upward with repeated exposure to the offending syntactic structure. The data here show that these upward shifts cannot be solely attributed to complex sentences becoming easier to process, or ungrammatical sentences becoming grammatical: the effects are ubiquitous, although they only arise given sufficient exposure. Based on preceding work that highlights the role of adaptation and expectations in online processing and grammar, I consider these effects in terms of probabilistic expectations over syntactic structures that shift with input that diverges from prior distributions.
Extending the Four-Variable Model for Cyber-Physical Systems

As Cyber-physical System (CPS) is gaining more and more concerns recently, the requirements modeling becomes a critical issue in CPS. In this paper we propose a requirements model for CPS by extending the Four-Variable Model. Through extension, the requirements model deals with complex network environment that CPS are facing, and views timing and position requirements as functional requirements. Besides the framework of this model, we also give a guiding process on how to select corresponding environment variables in this model. An example on one-way traffic light is illustrated to show the effectiveness of our approach.
Heterologous Expression of Mannanase and Developing a New Reporter Gene System in Lactobacillus casei and Escherichia coli

Reporter gene systems are useful for studying bacterial molecular biology, including the regulation of gene expression and the histochemical analysis of protein products. Here, two genes, β-1,4-mannanase (manB) from Bacillus pumilus and β-glucuronidase (gusA) from Escherichia coli K12, were cloned into the expression vector pELX1. The expression patterns of these reporter genes in Lactobacillus casei were investigated by measuring their enzymatic activities and estimating their recombinant protein yields using western blot analysis. Whereas mannanase activity was positively correlated with the accumulation of ManB during growth, GusA activity was not; western blot analysis indicated that while the amount of GusA protein increased during later growth stages, GusA activity gradually decreased, indicating that the enzyme was inactive during cell growth. A similar trend was observed in E. coli JM109. We chose to use the more stable mannanase gene as the reporter to test secretion expression in L. casei. Two pELX1-based secretion vectors were constructed: one carried the signal peptide of the unknown secretion protein Usp45 from Lactococcus lactis (pELSH), and the other contained the full-length SlpA protein from the S-layer of L. acidophilus (pELWH). The secretion of ManB was detected in the supernatant of the pELSH-ManB transformants and in the S-layer of the cell surface of the pELWH-ManB transformants. This is the first report demonstrating that the B. pumilus manB gene is a useful reporter gene in L. casei and E.coli.
Study of User Experience (UX) and UX Evaluation methods.

The goal of user experience analysis and evaluation methods in the software industry is to improve customer satisfaction through the utility, ease of use, and quality of interaction with applications, services and products. So far user experience deals more with evaluation of short term goals and consequently on facets relating to the initial adoption of new product designs. Nevertheless the user and the product evolve over long duration of time and thus new methods need to be found to perform UX evaluation. Today's applications such as ubiquitous systems are more and more aware of user's habits and the purpose of the user needs. The features of products and the context of use will affect the human's experiences and preferences about the use of device. Thus, user experience in user-product interaction needs careful attention and can be seen as a prime area of focus. Careful attention to UX evaluation can benefit organizations where such UX evaluation can help develop better Business Intelligence(BI) and hone and model BI for future needs UX evaluations which quantify UX are very necessary in today scenario.
Capacity Analysis of Adaptive Transmission with MRC in Arbitrarily Correlated Rayleigh Fading

This work presents exact closed-form expressions for the channel capacity of wireless communication systems with multiple receive antennas under correlated Rayleigh fading, where spatial diversity is exploited with the maximal ratio combining (MRC) technique. Instantaneous channel state information is assumed to be known at both the transmit and receive ends, allowing different adaptation strategies to optimize the performance. Unlike previous related works, correlation among the receive antennas is assumed to be arbitrary and no particular requirement about the eigenvalues of the correlation matrix is considered. Additionally, the average received power per antenna is assumed to be also arbitrary.
Neural network stream processing core (NnSP) for embedded systems

NnSP is a stream-based programmable and code-level statically reconfigurable processor for realization of neural networks in embedded systems. NnSP is provided with a neural-network-to-stream compiler and a hardware core builder. The NnSP stream compiler makes it possible to realize various neural networks using NnSP. On the other hand, the NnSP builder makes the NnSP processor an IP core that can be restructured to satisfy different demands and constraints. This paper presents the architecture of the NnSP processor, the streaming mechanism, and the builder facilities. Also, synthesis results of a 64-PE NnSP on a 0.18 mum standard-cell library are presented. The obtained results show that a 64-PE NnSP can perform computations of 25.6 giga connections in a second, while its throughput is upto 51.2 giga 32-bit fixed point operations per second. Comparing with high performance parallel architectures locates 64-PE NnSP among the best state of the art parallel processors
A Large-Scale Multilingual Disambiguation of Glosses

Linking concepts and named entities to knowledge bases has become a crucial Natural Language Understanding task. In this respect, recent works have shown the key advantage of exploiting textual definitions in various Natural Language Processing applications. However, to date there are no reliable large-scale corpora of sense-annotated textual definitions available to the research community. In this paper we present a large-scale high-quality corpus of disambiguated glosses in multiple languages, comprising sense annotations of both concepts and named entities from a unified sense inventory. Our approach for the construction and disambiguation of the corpus builds upon the structure of a large multilingual semantic network and a state-of-the-art disambiguation system; first, we gather complementary information of equivalent definitions across different languages to provide context for disambiguation, and then we combine it with a semantic similarity-based refinement. As a result we obtain a multilingual corpus of textual definitions featuring over 38 million definitions in 263 languages, and we make it freely available at http://lcl.uniroma1. it/disambiguated-glosses. Experiments on Open Information Extraction and Sense Clustering show how two state-of-the-art approaches improve their performance by integrating our disambiguated corpus into their pipeline.
Complexity Index From a Personalized Wearable Monitoring System for Assessing Remission in Mental Health

This study discusses a personalized wearable monitoring system, which provides information and communication technologies to patients with mental disorders and physicians managing such diseases. The system, hereinafter called the PSYCHE system, is mainly comprised of a comfortable t-shirt with embedded sensors, such as textile electrodes, to monitor electrocardiogram-heart rate variability (HRV) series, piezoresistive sensors for respiration activity, and triaxial accelerometers for activity recognition. Moreover, on the patient-side, the PSYCHE system uses a smartphone-based interactive platform for electronic mood agenda and clinical scale administration, whereas on the physician-side provides data visualization and support to clinical decision. The smartphone collects the physiological and behavioral data and sends the information out to a centralized server for further processing. In this study, we present experimental results gathered from ten bipolar patients, wearing the PSYCHE system, with severe symptoms who exhibited mood states among depression (DP), hypomania(HM), mixed state (MX), and euthymia (EU), i.e., the good affective balance. In analyzing more than 400 h of cardiovascular dynamics, we found that patients experiencing mood transitions from a pathological mood state (HM, DP, or MX - where depressive and hypomanic symptoms are simultaneously present) to EU can be characterized through a commonly used measure of entropy. In particular, the SampEn estimated on long-term HRV series increases according to the patients' clinical improvement. These results are in agreement with the current literature reporting on the complexity dynamics of physiological systems and provides a promising and viable support to clinical decision in order to improve the diagnosis and management of psychiatric disorders.
Modular Pneumatic Snake Robot: 3D Modelling, Implementation And Control

Abstract This paper gives a treatment of various aspects related to snake locomotion. A mathematical model and a physical implementation of a modular snake robot are presented. A control strategy is also developed, yielding a general expression for different gait patterns. Two forms of locomotion have been simulated with the mathematical model, and experiments with the physical snake robot have been conducted. The simulation results revealed the parameter through which directional control may be achieved for each gait pattern. Experiments with the physical snake robot gave a crude qualitative verification of these findings.
Performance following ability-focused physical therapy intervention in individuals with severely limited physical and cognitive abilities.

BACKGROUND AND PURPOSE Do individuals with severely limited physical and cognitive abilities improve their gross motor abilities when given physical therapy intervention, and does improvement transfer to nontreatment settings? SUBJECTS The subjects were 24 individuals (10 female, 14 male), aged 3 to 30 years (X = 20.1, SD = 8.1), who were nonambulatory and had limited adaptive behavior. METHODS Change in gross motor ability during 18 weeks of twice-weekly therapy was measured using goal attainment scaling (GAS). Three gross motor goals were developed for each subject based on individual or caregiver needs, with one goal randomly selected as a control. Physical impairments were treated, and behavioral management principles, low-level communication approaches, high-repetition practice of goals, and a progressive reduction of both physical assistance and multisensory cues were used. An independent rater scored goal level from randomly ordered videotapes recorded during therapy and in recess and home settings. RESULTS Mean GAS T scores were higher for treatment goals (X = 45.6, SD = 10.5) compared with control goals (X = 34.6, SD = 11.8). When the expected goal level (50) was met during therapy, mean GAS T scores in recess settings ( X = 35.9, SD = 11.5) and home settings (X = 42.2, SD = 12.2) were lower. At the conclusion of therapy, there were no differences in goal levels between treatment and control goals in both the recess and home settings. CONCLUSION AND DISCUSSION The subjects demonstrated improvement of gross motor abilities practiced during therapy. Level of ability during therapy, however, did not consistently transfer to the recess of home settings. [Brown DA, Effgen SK, Palisano RJ. Performance following ability-focused physical therapy intervention in individuals with severely limited physical and cognitive abilities.
How to go with an RG flow

We apply the formalism of holographic renormalization to domain wall solutions of 5-dimensional supergravity which are dual to deformed conformal field theories in 4 dimensions. We carefully compute one- and two-point functions of the energy-momentum tensor and the scalar operator mixing with it in two specific holographic flows, resolving previous difficulties with these correlation functions. As expected, two-point functions have a 0-mass dilaton pole for the Coulomb branch flow in which conformal symmetry is broken spontaneously but not for the flow dual to a mass deformation in which it is broken explicitly. A previous puzzle of the energy scale in the Coulomb branch flow is explained.
A simulation study of the PLC-MAC performance using network simulator-2

Power line communication (PLC) technology can be a viable solution for the future ubiquitous networks because it provides a cheaper alternative to other wired technology currently being used for communication. However, for the better performance of PLC-based networks, their physical layer and medium access control (MAC) protocols need to be a lot more enhanced. Recently, many physical frame encoding technologies have been developed, but the MAC protocols still need more consideration because of the unique characteristics of power line channels. In this paper, we describe an overview of the Korea Standard power line MAC protocol (called "KS-MAC"). We also report the simulation results performed with the well-known simulation tool of network simulator-2 (i.e., NS-2) and compared with the actual field test data.
Probability model-adaptive coding of point clouds with octree decomposition

An important observation is that when compressing point clouds using Octree (OT) decomposition based compression algorithms [Peng and Kuo 2005; Huang et al. 2008], the octree nodes with only one non-empty child (single-point nodes), occur in an increasing frequency as the cell subdivision goes deeper. The commonly employed entropy codec uses a probability model which keeps updating during the coding process. However, as illustrated in Fig.1 (b), the symbol distribution keeps varying and thus the probability model trained online is seldom perfectly matched with the real statistical distribution. Thus, there is still much room left to further save the bitrates when using these codecs.
Individual Nonparametric Load Estimation Model for Power Distribution Network Planning

In this paper, we tackle client load estimation in a smart grid network. For that purpose, we propose an individual model based on nonparametric estimators. The model is designed for power estimations for use in network planning. Completely data-driven, the proposed methodology can be applied to both thermosensitive and nonthermosensitive clients. Real measurements collected in French distribution systems are used to validate our methodology. The proposed approach produces more reliable estimation results than the current model (termed BAGHEERA in this paper) of the French electricity company EDF does on the same data.
p2pBIOFOCO: Proposing a Peer-to-Peer System for Distributed BLAST Execution

The peer-to-peer (P2P) model is currently being used for applications that demand great amount of time and space resources, taking advantage of idle and geographically distributed machines. Bioinformatics is a field that requires large amount of computational resources. In this context, we propose a P2P model that executes a particular bioinformatics application, named BLAST. This is a method for comparing two biological sequences at a time. But it requires a great amount of computation, since it compares a big file containing thousands of sequences that are being investigated and a very large database containing millions of biological sequences. We describe in detail the architecture of our framework, and present experiments using real biological data, that were executed on machines available in three institutions of Brazil - University of Brasilia, Catholic University of Brasilia and Embrapa/Genetic Resources and Biotechnology. The obtained results, when comparing the execution of BLAST in this P2P framework and its execution in the best machine of the three institutions, show that our P2P model can efficiently run other bioinformatics applications.
3D Telepresence for Reducing Transportation Costs 1

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission.
A Hybrid Recommendation List Aggregation Algorithm for Group Recommendation

In group-oriented recommendation filed, the design of a commonly acceptable recommendation list is a tough task. Traditional group recommendation algorithms often realize group recommendation list aggregation according to item ranking or item score of group members' recommendation lists. The factors considered in these algorithms are relatively one-sided. This paper puts forward a new HAaB aggregation algorithm for list aggregation, which considers the item ranking as well as the item score of the members' recommendation lists. Experimental results show that HAaB algorithm can obviously outperform the traditional group recommendation algorithms when recommending for various common combinations of groups.
Inflation Target Design, Changing Inflation Performance and Persistence in Industrial Countries

This paper explores the behavior of inflation in countries that formally target inflation - relative to countries with historically good inflation records - but, which do not target the rate of change in the consumer price index (CPI). Pierre L. Siklos examines the design of inflation targets and the circumstances under which they were introduced. The author also asks, via some simple econometric tests, whether the introduction of targets had any statistically discernible impact on inflation persistence. Additionally, Siklos questions whether inflation persistence changed in the select countries that have no formal inflation targets. Finally, the author assesses, via a discussion of the behavior of private sector inflation forecasts, the credibility of inflation targets. Descriptive and econometric evidence suggest that the mere adoption of an inflation target is insufficient in delivering a consistently better inflation performance; nor does it significantly affect inflationary expectations. It remains to be seen whether inflation targeting can withstand pressures stemming from sustained breaches of targets, should inflation policies in the major industrialized countries begin to diverge. After all, the current disinflation, as this study has shown, is an international phenomenon.