Miracle-dz/UniFAR-FTUs huggingface dataset:
Buffering ⊲ Packet Switching in Single Buffer Bufferless Packet Switching ⊲ Direct Routing Algorithms Burrows – Wheeler Transform 1994 ; Burrows ,

1. Aggarwal, A. , Vitter, J.S. : The input/output complexity of sorting and related problems. Commun. ACM 31, 1116–1127 (1988) 2. Arge, L.A. : External memory data structures. In: Abello, J., Pardalos, P.M. , Resende, M.G. C. (eds.) Handbook of Massive Data Sets, pp. 313–357. Kluwer, Dordrecht (2002) 3. Arge, L.A. : The Buffer Tree: A technique for designing batched external data structures. Algorithmica 37, 1–24 (2003) 4. Arge, L.A. , Hinrichs, K.H. , Vahrenhold, J., Vitter, J.S. : Efficient bulk operations on dynamic R-trees. Algorithmica33, 104–128 (2002) 5. Arge, L.A. , Vitter, J.S. : Optimal external interval management. SIAM J. Comput. 32, 1488–1508 (2003) 6. Bayer, R. , McCreight, E.M. : Organization and maintenance of large ordered indexes. Acta Inform. 1, 173–189 (1972) 7. Bayer, R. , Schkolnick, M. : Concurrency of operations on B-trees. Acta Inform. 9, 1–21 (1977) 8. Becker, B. , Gschwind, S. , Ohler, T. , Seeger, B. , Widmayer, P.: An asymptotically optimal multiversion B-tree. VLDB J. 5, 264–275 (1996) 9. Comer, D.E. : The ubiquitous B-tree. ACM Comput. Surv. 11, 121–137 (1979) 10. Cormen, T.H. , Leiserson, C.E. , Rivest, R.L. , Stein, C. : Introduction to Algorithms. The MIT Electrical Engineering and Computer Science Series, 2nd edn. MIT Press, Cambridge (2001) 11. Elmasri, R. , Navanthe, S.B. : Fundamentals of Database Systems, 5th edn. Addison-Wesley, Boston (2007) 12. Graefe, G. : B-tree indexes for high update rates. SIGMOD RECORD 35, 39–44 (2006) 13. Huddleston, S. , Mehlhorn, K. : A new data structure for representing sorted lists. Acta Inform. 17, 157–184 (1982) 14. Jacobsen, L. , Larsen, K.S. , Nielsen, M.N. : On the existence of non-extreme (a,b)-trees. Inform. Process. Lett. 84, 69–73 (2002) 15. Jannink, J.: Implementing deletions in B-trees. SIGMOD RECORD 24, 33–38 (1995) 16. Knuth, D.E. : Sorting and Searching. The Art of Computer Programming, vol. 3, 2nd edn. Addison-Wesley, Reading (1998) 17. Mehlhorn, K. : Data Structures and Algorithms 1: Sorting and Searching. EATCS Monographs on Theoretical Computer Science, vol. 1. Springer, Berlin (1984) 18. Yao, A.C. -C. : On random 2–3 trees. Acta Inform. 9, 159–170 (1978)
Premature ventricular contractions, a typical extra-systole arrhythmia, lowers the scaling exponent: DFA as a beneficial biomedical computation

We made our own DFA (detrended fluctuation analysis) program. We applied it to the heartbeat of various individuals. Healthy subjects showed a normal scaling exponent, which is near 1.0 (ranging 0.9 to 1.19 in our own temporary guideline). This is in agreement with the original report by Peng et al. long time ago. In the present study, we investigated a person who has an extra-systole heartbeat, called PVCs (premature ventricular contractions), and found that their arrhythmic heartbeat exhibited a low scaling exponent (around 0.7). Alternans, which is the heart beating in period-2 rhythms, exhibited a much low scaling exponent (around 0.6). We suggest that a device that employs a DFA program might be useful to check the heart condition, and would contribute not only in nonlinear physics but also in biomedical fields especially as a device to routinely check for predictors of heart disease in otherwise normal people.
Composition as a service [Web-Scale Workflow]

Understanding reusable software and assets within and among multiple organizations' system infrastructures can be challenging. IT systems might be widely distributed, and interconnections can be complicated. Ever-evolving computing technologies reduce an organization's in-house expertise for reusing software, even when leveraging software systems within its own firewalls. As such, the on-demand integration of software and capabilities might benefit from an outsourcing paradigm - described here as composition as a service.
Tracking Fast Moving Targets in Wireless Sensor Networks

Abstract We propose a dynamic distributed algorithm for tracking objects that move fast in a sensor network. In the earlier efforts in tracking moving targets, the current leader node at time t predicts the location only for time t + 1 and if the target moves in high speed, it can pass by a group of nodes very fast without being detected. Therefore, as the target increases its speed, the probability of missing that target also increases. In this study, we propose a target tracking system that predicts future k locations of the target and awakens the corresponding leader nodes so that the nodes along the trajectory self organize to form the clusters to collect data related to the target in advance and thus reduce the target misses. The algorithm first provides detection of the target and forms a cluster with the neighboring nodes around it. After the selection of the cluster leader, the coordinates of the target is estimated using localization methods and cooperation between the cluster nodes under the control of the leader node. The coordinates and the speed of the target are then used to estimate its trajectory. This information in turn provides the location of the nodes along the estimated trajectory which can be awaken, hence providing tracking of the moving object. We describe the algorithm, analyze its efficiency and show by simulations that it performs well to track very fast moving objects with speeds much higher than reported in literature.
A clustering entropy-driven approach for exploring and exploiting noisy functions

Linear, Gaussian, fitness proportional, clustering, and Rosca entropies are succinct measures of diversity that have been applied to balance exploration and exploitation in evolutionary algorithms. In previous studies, an entropy-driven approach using linear entropy explicitly balances and/or searches optimal solutions for the selected unimodal and multimodal functions excluding noisy functions. This paper investigates the reasons for such an exception and introduces a clustering entropy-driven approach to solve the problem. Such an approach provides a coarse-grained diversity measure that filters the noise of functions, varies cluster size and categorizes individuals at the genotype level. The experimental results show that the clustering entropy-driven approach further improves the searching results of noisy functions by one more degree.
PHRASE-BASED STATISTICAL MACHINE TRANSLATION SYSTEM FOR ALBAYZIN 2008

This paper describe the SMT system developed by the TALP Research Center of the UPC (Universitat Politècnica de Catalunya) for the Albayzin 2008 evaluation campaign (Spanish to Basque translation task). Apart from a standard set of feature models, the system introduces two target language models: one based on lemmas and the second based on linguistic classes (Part-of-Speech). The word-to-word alignment was obtained using a segmented version of the Basque corpus. The results obtained over the development and test sets are analyzed and discussed.
A Non-delegatable Strong Designated Verifier Signature without Random Oracles

We propose a scheme for non-delegatable strong designated verifier signature. The scheme is based on pairings, and utilizes an OR proof technique and a method of ensuring the integrity of a signature. In a standard model, the unforgeability property of the scheme is reducible to a computational Co-Diffie-Hellman problem. The scheme is perfect non-transferable, and its properties of privacy of signer's identity and non-delegatability are reducible to the correctness of two variants of a knowledge of exponent assumption.
A Queuing System with Dual Services

A queuing system with dual services, i.e., the primary service and the auxiliary service, is considered in the present article. The server has to allocate part of its capacity to process the additional service when the auxiliary service is requested. We show that the possible optimal auxiliary capacity is actually on the convex envelope of the auxiliary cost function. Also, the optimal control policy is that the allocated capacity for auxiliary service is monotonically non-increasing in the number of people in the queue. Practical implications are discussed at the end.
DNA Methylation Causes Predominant Maternal Controls of Plant Embryo Growth

The parental conflict hypothesis predicts that the mother inhibits embryo growth counteracting growth enhancement by the father. In plants the DNA methyltransferase MET1 is a central regulator of parentally imprinted genes that affect seed growth. However the relation between the role of MET1 in imprinting and its control of seed size has remained unclear. Here we combine cytological, genetic and statistical analyses to study the effect of MET1 on seed growth. We show that the loss of MET1 during male gametogenesis causes a reduction of seed size, presumably linked to silencing of the paternal allele of growth enhancers in the endosperm, which nurtures the embryo. However, we find no evidence for a similar role of MET1 during female gametogenesis. Rather, the reduction of MET1 dosage in the maternal somatic tissues causes seed size increase. MET1 inhibits seed growth by restricting cell division and elongation in the maternal integuments that surround the seed. Our data demonstrate new controls of seed growth linked to the mode of reproduction typical of flowering plants. We conclude that the regulation of embryo growth by MET1 results from a combination of predominant maternal controls, and that DNA methylation maintained by MET1 does not orchestrate a parental conflict.
Hybrid Adaptive Wavelet Collocation - Brinkman Penalization Method for Unsteady RANS Simulations of Compressible Flow around Bluff Bodies

One of the most practically important problems of computational aero-acoustics is the efficient and accurate calculation of flows around solid obstacles of arbitrary shapes. To simulate flows in complex domains, we combine two mathematical approaches, the Adaptive Wavelet Collocation Method, which tackles the problem of efficiently resolving localized flow structures, and the Brinkman Penalization Method, which addresses the problems of efficiently implementing arbitrary complex solid boundaries. This hybrid approach is applied to unsteady RANS simulations of compressible flows around bluff bodies. The preliminary results of URANS simulations are compared with the recent experimental and numerical results.
Genetic algorithm-based model of evolutionary dynamics of class II transposable elements.

We propose a new conceptual framework to study the dynamics of transposable elements. Based on a genetic algorithm, our model is designed as a self-organizing system. Our results show that transposable elements could emerge from a single endonuclease gene. The DNA repair mechanisms appear to condition the emergence success of class II TEs. Antagonist selective forces acting on transposable elements and their hosts induce by their opposition differences in the sequence evolution of the functional domains and of the copies.
On Curves and Surfaces with Projectively Equivalent Hyperplane Sections

Introduction In this paper we are concerned with the following question: how to describe the projective varieties such that almost all their hyperplane sections are projectively equivalent? We give the complete answer for curves and a partial one for smooth surfaces (in characteristic 0 both). The question we are interested in was considered, for the case of surfaces, in 1925 by Guido Fubini and Gino Fano ([6,4,5]). The final results are contained in [5]. Fano gives the complete list of surfaces with projectively equivalent hyperplane sections (and arbitrary singularities); we consider only smooth surfaces, and our list is apparently superfluous: according to Fano, some of the surfaces therein should not have projectively equivalent hyperplane sections, but I did not manage to prove it, nor to follow the argument in [5]. For the case of curves in characteristic 0, our result is complete. Nowadays this problem was considered by Edoardo Ballico [1] in arbitrary characteristic. Our method differs from that of [1]. For the case of curves our result is in accord with [1], for the case of surfaces in characteristic 0 our result strengthens Proposition 5.2 of [1]. In the appendix we prove a result concerning connections between projective equivalence of hyperplane sections, finiteness of monodromy group and the adjunction properties of a variety. When the first draft of this paper was finished, I learned that Rita Pardini [9] had proved Fano results from [5] in full. Throughout the paper, the base field will be the field C of complex numbers. If E is a locally free sheaf over X, then P(E) = Proj Sym(E). If p: X → Y is a nonramified covering, we will say that it is split if each connected component of X is mapped isomorphically on Y. We will say that a surface X ⊆ P n is a scroll if for a smooth curve C and a rank 2 locally free sheaf E.
IL-10 Suppression of NK/DC Crosstalk Leads to Poor Priming of MCMV-Specific CD4 T Cells and Prolonged MCMV Persistence

IL-10 is an anti-inflammatory cytokine that regulates the extent of host immunity to infection by exerting suppressive effects on different cell types. Herpes viruses induce IL-10 to modulate the virus-host balance towards their own benefit, resulting in prolonged virus persistence. To define the cellular and molecular players involved in IL-10 modulation of herpes virus-specific immunity, we studied mouse cytomegalovirus (MCMV) infection. Here we demonstrate that IL-10 specifically curtails the MCMV-specific CD4 T cell response by suppressing the bidirectional crosstalk between NK cells and myeloid dendritic cells (DCs). In absence of IL-10, NK cells licensed DCs to effectively prime MCMV-specific CD4 T cells and we defined the pro-inflammatory cytokines IL-12, IFN-γ and TNF-α as well as NK cell activating receptors NKG2D and NCR-1 to regulate this bidirectional NK/DC interplay. Consequently, markedly enhanced priming of MCMV-specific CD4 T cells in Il10 −/− mice led to faster control of lytic viral replication, but this came at the expense of TNF-α mediated immunopathology. Taken together, our data show that early induction of IL-10 during MCMV infection critically regulates the strength of the innate-adaptive immune cell crosstalk, thereby impacting beneficially on the ensuing virus-host balance for both the virus and the host.
Human Papillomavirus Infection in 674 Chinese Patients with Laryngeal Squamous Cell Carcinoma

Objectives Previous reports suggest a strong association between human papillomavirus (HPV) and the etiology of laryngeal squamous cell carcinoma (LSCC). However, clinical data regarding the HPV infection rate among LSCC patients remain largely inconsistent. Methods In total, 674 LSCC patients from three major hospitals in Shanghai were enrolled in this study. We determined the patients' HPV infection status using immunohistochemistry and the GenoArray HPV genotyping assay and calculated their long-term survival rate using the Kaplan-Meier method. Results The total P16-positive rate according to immunostaining results was 7.57% (51/674). None of the P16-negative patients were HPV-positive according to the HPV genotyping test. The rate of HPV infection among patients with LSCC was 4.9% (33/674). HPV infection was more common among nonsmokers (P<0.05), nondrinkers (P<0.05), and patients with supraglottic LSCC (P<0.05). Of the 33 HPV-positive patients, 28 (84.8%) were infected with HPV-16, 2 with HPV-18, 1 with HPV-31, 1 with HPV-33 and 1 with HPV-45. The 3-year overall survival rate and progression-free survival rate were higher in HPV-positive than HPV-negative patients, but the difference was not statistically significant (76.3% vs. 70.7%, P = 0.30 and 65.1% vs. 58.3%, P = 0.37, respectively). Conclusion HPV was not a main causal factor in LSCC carcinogenesis in this Chinese population. HPV infection did not alter patients' overall survival or progression-free survival rates in this study.
Glucose Balance In Cattle

In contrast to nonruminants, forage-fed ruminants normally absorb very little glucose from their feed. However, glucose supply is still crucial for maintenance and productive functions in ruminants, such as growing and lactating cattle. Glucose supply is especially important for the lactating dairy cow because of the demands of milk synthesis for glucose. Glucose requirements of ruminants are largely met through glucose synthesis, which predominantly occurs in the liver using glucose precursors absorbed following fermentation and digestion of the diet. Therefore, glucose metabolism in the lactating dairy cow represents a balance between glucose requirement for milk production and glucose carbon supply from the diet, which is integrated by the liver. As milk yield of the modern dairy cow has continued to march upwards, so too has her requirement for glucose. The present paper will consider the implications of high rates of milk yield for the cow’s glucose balance in terms of:
A Single-Inductor Switching DC–DC Converter With Five Outputs and Ordered Power-Distributive Control

An integrated five-output single-inductor multiple-output dc-dc converter with ordered power-distributive control (OPDC) in a 0.5 mum Bi-CMOS process is presented. The converter has four main positive boost outputs programmable from +5 V to +12 V and one dependent negative output ranged from -12 V to -5 V. A maximum efficiency of 80.8% is achieved at a total output power of 450 mW, with a switching frequency of 700 kHz. The performance of the converter as a commercial product is successfully verified with a new control method and proposed circuits, including a full-waveform inductor-current sensing circuit, a variation-free frequency generator, and an in-rush-current-free soft-start method. With simplicity, flexibility, and reliability, the design enables shorter time-to-market in future extensions with more outputs and different operation requirements.
SemEval 2015, Task 7: Diachronic Text Evaluation

In this paper we describe a novel task, namely the Diachronic Text Evaluation task. A corpus of snippets which contain relevant information for the time when the text was created is extracted from a large collection of newspapers published between 1700 and 2010. The task, subdivided in three subtasks, requires the automatic system to identify the time interval when the piece of news was written. The subtasks concern specific type of information that might be available in news. The intervals come in three grades: fine, medium and coarse according to their length. The systems participating in the tasks have proved that this a doable task with very interesting possible continuations.
MR Damper Controlled Vibration Absorber for Enhanced Mitigation of Harmonic Vibrations

This paper describes a semi-active vibration absorber (SVA) concept based on a real-time controlled magnetorheological damper (MR-SVA) for the enhanced mitigation of structural vibrations due to harmonic disturbing forces. The force of the MR damper is controlled in real-time to generate the frequency and damping controls according to the behaviour of the undamped vibration absorber for the actual frequency of vibration. As stiffness and damping emulations in semi-active actuators are coupled quantities the control is formulated to prioritize the frequency control by the controlled stiffness. The control algorithm is augmented by a stiffness correction method ensuring precise frequency control when the desired control force is constrained by the semi-active restriction and residual force of the MR damper. The force tracking task is solved by a model-based feed forward with feedback correction. The MR-SVA is numerically and experimentally validated for the primary structure with nominal eigenfrequency and when de-tuning of −10%, −5%, +5% and +10% is present. Both validations demonstrate that the MR-SVA improves the vibration reduction in the primary structure by up to 55% compared to the passive tuned mass damper (TMD). Furthermore, it is shown that the MR-SVA with only 80% of tuned mass leads to approximately the same enhanced performance while the associated increased relative motion amplitude of the tuned mass is more than compensated be the reduced dimensions of the mass. Therefore, the MR-SVA is an appropriate solution for the mitigation of tall buildings where the pendulum mass can be up to several thousands of metric tonnes and space for the pendulum damper is limited.
Principles of appearance acquisition and representation

Algorithms for scene understanding and realistic image synthesis require accurate models of the way real-world materials scatter light. This class describes recent work in the graphics community to measure the spatially- and directionally-varying reflectance and subsurface scattering of complex materials, and to develop efficient representations and analysis tools for these datasets. We describe the design of acquisition devices and capture strategies for BRDFs and BSSRDFs, efficient factored representations, and a case study of capturing the appearance of human faces.
Investigating the Differences in Explaining Alternative Similarity between Nested Logit and Error Component Logit Models

This study constructs the nested logit model and error component logit model to investigate the alternative similarity across four intercity modes. Model fitness and behavioral implication are evaluating criterion to compare the differences between the both generalized extreme value models. The mixed logit with overlapping common error component could capture correlation across alternatives as well as the nested logit model. Both models all indicated that two railroad modes, rail and high speed rail, are similar alternatives. Specifying individual characteristics as interaction with mode attributes could significantly capture the systematic effect of response heterogeneity. The results prove that the parameterization of variance in error components could effectively reveal the nest structure across alternatives and indicate which factor cause the heterogeneity of alternative similarity.
Extreme value statistics for novelty detection in biomedical signal processing

The issue of determining whether some datum is indicative of abnormal or novel system behaviour is paramount in areas such as medical data analysis where the acquisition of large quantities of abnormal data is difficult. Several approaches to screening data for such novel segments have been proposed previously. However, extreme-value theory (EVT) and its associated statistics provide a complete and principled approach to the problem which avoids the need for heuristic methods. EVT forms an elegant methodology for any problem in which the chance of finding extremes of some quantity is required.