Miracle-dz/UniFAR-FTUs huggingface dataset:
Dealer: application-aware request splitting for interactive cloud applications

Deploying interactive applications in the cloud is a challenge due to the high variability in performance of cloud services. In this paper, we present Dealer-- a system that helps geo-distributed, interactive and multi-tier applications meet their stringent requirements on response time despite such variability. Our approach is motivated by the fact that, at any time, only a small number of application components of large multi-tier applications experience poor performance. Dealer abstracts application structure as a component graph, with nodes being application components and edges capturing inter-component communication patterns. Dealer continually monitors the performance of individual component replicas and communication latencies between replica pairs. In serving any given user request, Dealer seeks to minimize user response times by picking the best combination of replicas (potentially located across different data-centers). While Dealer does require modifications to application code, we show through integration with two multi-tier applications that the changes required are modest. Our evaluations on two multi-tier applications using real cloud deployments indicate the 90%ile of application response times could be reduced by a factor of 3 under natural cloud dynamics compared to conventional data-center redirection techniques which are agnostic of application structure.
An aggressive form of familial amyloid polyneuropathy caused by a Glu54Gly mutation in the transthyretin gene

We report a patient with familial amyloid polyneuropathy. Gene analysis revealed a heterozygous Glu54Gly substitution (A‐to‐G change) in the transthyretin gene. This is the first case of a Glu54Gly substitution that was devoid of a Gly6Ser substitution. Compared with the previously reported case with compound heterozygotes of Glu54Gly and Gly6Ser, the age of onset in our case is much younger and another characteristic findings were the amyloid vasculopathy and the multiple organ involvement. A Glu54Gly mutation is amyloidogenic by itself and a Gly6Ser mutation may offer some protection from the Glu54Gly mutant.
Dependency Parsing as a Classication Problem

This paper presents an approach to dependency parsing which can utilize any standard machine learning (classification) algorithm. A decision list learner was used in this work. The training data provided in the form of a treebank is converted to a format in which each instance represents information about one word pair, and the classification indicates the existence, direction, and type of the link between the words of the pair. Several distinct models are built to identify the links between word pairs at different distances. These models are applied sequentially to give the dependency parse of a sentence, favoring shorter links. An analysis of the errors, attribute selection, and comparison of different languages is presented.
Dynamical symmetry breaking in gauge-Higgs unification on an orbifold

We study the dynamical symmetry breaking in the gauge-Higgs unification of the five-dimensional theory compactified on an orbifold, ${S}^{1}{/Z}_{2}. $ This theory identifies Wilson line degrees of freedom as ``Higgs doublets. '' We consider ${\mathrm{SU}(3)}_{c}\ifmmode\times\else\texttimes\fi{}{\mathrm{SU}(3)}_{W}$ and $\mathrm{SU}(6)$ models with the compactification scale of order of a few TeV. The gauge symmetries are reduced to ${\mathrm{SU}(3)}_{c}\ifmmode\times\else\texttimes\fi{}{\mathrm{SU}(2)}_{L}\ifmmode\times\else\texttimes\fi{}{U(1)}_{Y}$ and ${\mathrm{SU}(3)}_{c}\ifmmode\times\else\texttimes\fi{}{\mathrm{SU}(2)}_{L}\ifmmode\times\else\texttimes\fi{}{U(1)}_{Y}\ifmmode\times\else\texttimes\fi{}U(1),$ respectively, through the orbifolding boundary conditions. We estimate the one loop effective potential of ``Higgs doublets,'' and find that the electroweak breaking is realized through the radiative corrections when there are suitable numbers of bulk fields possessing the suitable representations. The masses of ``Higgs doublets'' are O(100) GeV in this scenario.
Novelty detection using local context analysis

The aim of this work is to determine the utility of Local Context Analysis (LCA)[5] for retrieval of relevant and novel sentences. LCA has been successful in different areas and we check here whether this method is also useful to drive the selection of novel material. We adopt the Novelty task as defined in the TREC conference [2, 4, 3]. Giving a set of documents associated to a topic, the task consists of finding the relevant and novel sentences. This problem is interesting for many areas, such as text summarization, web information access, question answering, etc. Some researchers have proposed that the estimation of novelty for a given sentence should be based on the set of seen sentences that share common meanings [6]. In this way, the degree of redundancy of a sentence si is not influenced by past sentences that are totally unrelated to si. The intuition is that novelty estimation might be more robust if focused on this set of terms. In our work we pursue a similar idea because we apply LCA to focus the estimation of novelty on query-related terms.
Micromechanics of damage propagation in fluid-saturated cracked media

ABSTRACT This paper proposes a brief overview of the micromechanics approach to the modelling of crack-induced damage. To begin with, the main lines of the micromechanics reasoning are presented and applied to cracked media. We then introduce the so-called dilute and Mori-Tanaka homogenization schemes which are herein implemented in the context of a solid matrix weakened by opened or closed cracks. The above modelling is extended to the situation of fluid-filled cracks, yielding a micromechanics theory of poroelastic damage. Finally, the combination of the previous findings with a standard thermodynamics argument allows to deal with the essential question of damage evolution which is regarded here as the consequence of cracks propagation.
Time series method for short-term load forecasting using smart metering in distribution systems

Recently, the research community gave a particular attention to the “smart grid” concept since it enables a higher efficiency to answer users' energy needs. Smart grid networks relying on the exploitation of smart meters enable the design of more accurate forecasting models on the distribution grid. Within this context, this paper presents a time series forecasting model based on real measurements. It basically relies on the description of the power load through two components: a trend component and a cyclic (periodic) component. The two components are identified separately using, on the one hand a regression algorithm and on the other hand spectral techniques. The carried out simulations are based on real measurements collected from the French distribution network. These results are promising and show better results compared to a naive model.
Digital spike maps and learning of spike signals

This paper studies the digital spike map and its learning algorithm. The map can be regarded as a simple class of cellular automaton and can generate various digital spike-trains. The learning algorithm is simple and includes self-organizing function. Performing basic numerical experiments, we have clarified that the map can learn a typical class of teacher signals and the learned the digital spike map can output various digital spike-trains depending on the initial state. The results contribute to bridge between spiking neural systems and digital dynamical systems with rich applications.
Bisphenol-A dental sealants: the inappropriateness of continued reference to a single female patient.

Background: Many studies implicate Arf6 activity in Rac-mediated membrane ruffling and cytoskeletal reorganization. Although Arf6 facilitates the trafficking of Rac1 to the plasma membrane and in many cases Arf6 activation leads to the activation of Rac1, the details of how Arf6 influences Rac function remain to be elucidated. Results: We demonstrate in binding assays and by co-immunoprecipitation that GDP-bound Arf6 binds to Kalirin5, a Rho family guanine nucleotide exchange factor, through interaction with the spectrin repeat region. In cells, expression of wild type Arf6 recruits spectrin repeat 5 and Kalirin to the plasma membrane and leads to enhanced Kalirin5-induced ruffling. By contrast, expression of an Arf6 mutant that cannot become activated, Arf6 T27N, still recruits spectrin repeat 5 and Kalirin to membranes but inhibits Kalirin5-induced ruffling in HeLa cells. Kalirin5-induced Rac1 activation is increased by the expression of wild type Arf6 and decreased by Arf6T27N. Furthermore, expression of a catalytically-inactive mutant of Kalirin5 inhibits cytoskeletal changes observed in cells expressing EFA6, an Arf6 guanine nucleotide exchange factor that leads to activation of Rac. Conclusion: We show here with over-expressed proteins that the GDP-bound form of Arf6 can bind to the spectrin repeat regions in Kalirin Rho family GEFs thereby recruiting Kalirin to membranes. Although Kalirin is recruited onto membranes by Arf6-GDP, subsequent Rac activation and membrane ruffling requires Arf6 activation. From these results, we suggest that Arf6 can regulate through its GTPase cycle the activation of Rac. Background Arfs are small, ubiquitous, Ras-related GTPases that play an essential role in membrane traffic and structure. Among the 6 mammalian Arf proteins, Arf6 has been implicated in the regulation of endocytic membrane traffic and cortical actin structure at the plasma membrane (PM) [1,2]. The small GTPases of the Rho subfamily are also known to be important regulators of the actin cytoskeleton. To date, at least 25 Rho family proteins have been identified and of these, RhoA, Rac1 and Cdc42 have been the most widely studied for their effects on actin organization. In particular, Rac1 controls the formation of lamellipodia and membrane ruffles, the sites of protrusive actin polymerization and early adhesion formation initiated at the leading edge of migrating cells [3,4]. Published: 18 July 2007 BMC Cell Biology 2007, 8:29 doi:10.1186/1471-2121-8-29 Received: 2 March 2007 Accepted: 18 July 2007 This article is available from: http://www.biomedcentral. com/1471-2121/8/29 © 2007 Koo et al; licensee BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Integrating High-k Ceramic Thin Film Capacitors into Organic Substrates Via Low-Cost Solution Processing

Current organic package-compatible embedded decoupling capacitors are based on thick film (8-16 m) polymer-ceramic composites with dielectric constant (k) of 20-30 and do not have sufficient capacitance density to meet the impedance requirements for emerging high-speed circuits and high power density microprocessors. High-k/high capacitance density ceramics films that can meet the performance targets are generally deposited by high-temperature processing or costly vacuum technology (radio frequency sputtering, PECVD) which are expensive and also incompatible with organic packages. The objective of this project is to develop ultra thin films (100-300nm) with high dielectric constant using organic compatible processes to meet future decoupling applications. In the current study, direct deposition of crystalline ceramic films on organic boards at temperatures less than 100C was demonstrated with the hydrothermal method. Post-hydrothermal treatments were shown to minimize the defects in the as-synthesized hydrothermal barium titanate films and improve the breakdown voltage (BDV) and leakage characteristics. Thin films with high capacitance densities and breakdown voltages of 10V were demonstrated. As an alternate technique, sol-gel technology was also demonstrated to integrate ceramic thin films in organic packages. A major barrier to synthesis of sol-gel films on copper foils is the process incompatibility of the sol-gel barium titanate with the copper electrodes. To enable process compatibility, process variables like sol pyrolysis temperature and time, and sintering conditions/atmosphere were optimized. Capacitance densities above 1.1F/cm was demonstrated on commercial copper foils with a BDV above 10 V. The two technologies reported in this study can potentially meet midfrequency decoupling requirements of digital systems.
Performance comparison of Word Sense Disambiguation (WSD) Algorithm on Hindi Language Supporting Search Engines

Search Engines are the basic tool of fetching the information on the web. The IT revolution not only affected the technocrats, but the native users are also affected. The native users also tend to look for any information on web nowadays. This leads to the need of effective search engines to fulfill native user’s needs and provide them information in their native languages. The major population of India use Hindi as a first language. The Hindi language web information retrieval is not in a satisfactory condition. Besides the other technical setbacks, the Hindi language search engines face the problem of sense ambiguity. Our WSD method is based on Highest Sense Count (HSC). It works well with Google. The objective of the paper is comparative analysis of the WSD algorithm results on the three Hindi language search engines- Google, Raftaar and Guruji. We have taken a test sample of 100 queries to check the performance level of the WSD algorithm on various search engines. The results show promising improvement in performance of Google search engine whereas the least performance improvement was
Advances in Control of Onion Thrips (Thysanoptera: Thripidae) in Cabbage

Abstract Onion thrips, Thrips tabaci Lindeman (Thysanoptera: Thripidae), feeding injury results in discoloration and a rough texture on cabbage, Brassica oleracea capitata (L.), leaves, and damage may occur deep inside the head. It has become a key pest of cabbage in the United States and many other countries. Previous studies have indicated poor control using insecticides. The present study identified imidacloprid drenches and sprays of acetamiprid, dimethoate, spinosad, and imidacloprid as insecticides that performed better than the industry standard, lambda-cyhalothrin. However, additional tests with foliar sprays of dimethoate and acetamiprid indicated there was not an ideal crop stage (precupping, cupping, or postcupping) at which either insecticide could be applied for reliable control of T. tabaci, possibly because of multiple flights of thrips into the crop or the asynchrony of flights and susceptible crop stages. In tests in a commercial field, a soil drench of imidacloprid 4 wk after transplanting reduced the number of damaged leaves in the head by 32%, whereas five sprays of acetamiprid reduced damage by 51%. Combining both insecticide regimes reduced damage by 85%, but resulted in a very costly management program. Cabbage varieties varied considerably in susceptibility with some having negligible thrips injury, regardless of being treated with an insecticide. Planting date affected susceptibility of cabbage to some degree, but not as much as other tactics. Overall, these studies indicate that increased emphasis should be placed on breeding cabbages to be resistant to T. tabaci as the foundation for its management.
Lateral control of UAVs: Trajectory tracking via Higher-Order Sliding Modes

Nonlinear sliding mode approach is developed in this paper for lateral control of UAVs. The enabling guidance and control has achieved good performance with different flight conditions and evasive maneuvers. The proposed strategy can recover from large track errors without effecting the saturation constraints on the control input. The structure of guidance and flight control system is designed in a two loop configuration. The main contribution of this work is the development of new guidance scheme in which inner loop dynamics are also considered during the derivation of outer guidance loop for robust lateral control and never forcing unsuitable commands. HOSM (Higher-Order Sliding Mode) Real Twisting Algorithm is used because of relative degree 2 constraint, which maintains S and S = 0. The outer loop for guidance uses heading error angle, lateral track error and bank (roll) angle φ for the control law and PD controller is used in the inner loop. The designed guidance control system's robustness and performance is verified via computer simulations using high fidelity nonlinear 6-degrees-of-freedom (6-dof) Yak-54 UAV model under different scenarios, with small and large track errors and in the presence of wind disturbances.
Therapeutic potential of adenovirus as a vaccine vector for chronic virus infections

Therapeutic vaccines for chronic infections and cancer are needed. Challenges faced by therapeutic vaccines differ from those of preventative vaccines. Whereas the latter target a naive immune system, the former have to readjust an antigen-experienced immune system that is subverted due to sustained exposure to antigen. E1-deleted adenoviral vectors have succeeded preclinically as preventative vaccines and are now in clinical trials. Their potential as therapeutic vaccines for diseases caused by chronic virus infections or virus-associated malignancies remains to be explored in more depth and may require modifications to circumvent negative immunoregulatory pathways that develop following chronic infections or during tumour progression.
Anti-infective potential of catechins and their derivatives against viral hepatitis

Polyphenols including catechins from green tea (Camellia sinensis) have been reported to have anti-infective activities against a broad spectrum of viruses and other pathogens. During the last two decades, antiviral activities of catechins with different modes of action have been demonstrated on diverse families of viruses, such as human immunodeficiency virus, Herpes simplex virus, influenza virus, hepatitis B and C virus. In this study, we focused on the antiviral properties of catechins and their derivatives against viral hepatitis which have become a key public health issue due to their serious impact on human health with liver diseases.
A Metalogical Approach to Foundational Certified Code

Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures. Previous efforts have employed a structure wherein the proofs are expressed in the same logic used to express the safety policy. We propose an alternative structure wherein safety proofs are expressed in the Twelf metalogic, thereby eliminating from those proofs an extra layer of encoding needed in the previous accounts. Using this metalogical approach, we have constructed a complete and foundational account of safety for a fully expressive typed assembly language.
MLSE-based receivers on DWDM lightwave systems

In dense wavelength division multiplexed (DWDM) links, the need for greater available bandwidth results in smaller channel separation and larger channel count. This increases the importance of nonlinear coupling effects such as four wave mixing (FWM) and cross-phase modulation (CPM). These impairments, together with chromatic dispersion (CD), polarization mode dispersion (PMD), and amplified spontaneous emission (ASE) noise limit the maximum reach of the optical links. Maximum likelihood sequence estimation (MLSE) receivers can incorporate detailed knowledge of the statistical properties of noise and crosstalk into the decision process, therefore improving performance in the presence of these impairments. These receivers have been previously proposed in [(W. Sauer-Greff et al., 2003), (H.F. Haunstein et al., 2001)] to combat CD and PMD in IM/DD optical channels. In this paper we propose to extend the use of MLSE to DWDM links to combat the combined effect of nonlinear crosstalk, dispersion and noise. We derive a new analytical expression for the statistics of the received signal in the presence of FWM which is necessary to implement the MLSE receiver. As a second important contribution of this paper, we present a theoretical performance analysis of MLSE in DWDM optical channels. Computer simulations show excellent agreement between the prediction of the theory and simulation results
Residual stresses in AA7108 aluminium alloy sheets joined by friction stir welding

Friction stir welding is a revolutionary joining process which has seen remarkable growth in research, development and application in recent years. In order to better characterise the welding, it is becoming necessary to evaluate the residual stresses, because these can modify as well the structure as the initial properties of material. In the current work, we will focus particularly in the method of measurements based on ultrasonic waves. This method has the advantage of being nondestructive, easy, inexpensive and fast to use in situ. The experimental results obtained on AA7108-T79 aluminium alloy joined by friction stir welding (FSW), showed small compressive residual stresses in the base material and high tensile residual stresses in the heat affected zone. Advantages bound to this method were proved and results remain very promising.
On the expressiveness of implicit provenance in query and update languages

Information describing the origin of data, generally referred to as provenance, is important in scientific and curated databases where it is the basis for the trust one puts in their contents. Since such databases are constructed using operations of both query and update languages, it is of paramount importance to describe the effect of these languages on provenance. In this article we study provenance for query and update languages that are closely related to SQL, and compare two ways in which they can manipulate provenance so that elements of the input are rearranged to elements of the output: implicit provenance, where a query or update only provides the rearranged output, and provenance is provided implicitly by a default provenance semantics; and explicit provenance, where a query or update provides both the output and the description of the provenance of each component of the output. Although explicit provenance is in general more expressive, we show that the classes of implicit provenance operations expressible by query and update languages correspond to natural semantic subclasses of the explicit provenance queries. One of the consequences of this study is that provenance separates the expressive power of query and update languages. The model is also relevant to annotation propagation schemes in which annotations on the input to a query or update have to be transferred to the output or vice versa.