Miracle-dz/UniFAR-FTUs huggingface dataset:
Code Compression in ARM Embedded Systems Using Multiple Dictionaries

This paper presents a new code compression method where we use different dictionaries, all of them are based in traditional Huffman algorithm. Our method reduces code size by up to 34.5% (including all extra costs) and presents an improvement of almost 7% over the traditional Huffman method. We performed simulations using Simple Scalar and analyzes using the applications from benchmark MiBench and use the embedded processor ARM.
Product of Partially Ordered Sets (Posets), with Potential Applications to Uncertainty Logic and Space-Time Geometry

One of the main objectives of science and engineering is to help people select the most beneficial decisions. To make these decisions, • we must know people’s preferences, • we must have the information about different events – possible consequences of different decisions, and • since information is never absolutely accurate and precise, we must also have information about the degree of certainty. All these types of information naturally lead to partial orders: • For preferences, a ≺ b means that b is preferable to a. This relation is used in decision theory. • For events, a ≺ b means that a can influence b. This causality relation is used in space-time physics. • For uncertain statements, a ≺ b means that a is less certain than b. This relation is used in logics describing uncertainty such as fuzzy logic. In many practical situations, we are analyzing a complex system that consists of several subsystems. Each subsystem can be described as a separate ordered space. To get a description of the system as a whole, we must therefore combine these ordered spaces into a single space that describes the whole system. In this paper, we consider the general problem of how to combine two ordered spaces A1 and A2 into one. We also analyze which properties of orders are preserved under the resulting products.
Optimal Stopping with Forced Exits

We consider a continuous time optimal stopping problem with multiple entries and forced exits. The value for such an optimization problem with a general payoff function is solved in closed form under the assumption that the state process is a geometric Brownian motion and the forced exits come in according to a Poisson process. The effect due to the forced exits is analyzed. It is shown that the presence of the forced exits is a true risk (meaning that it will reduce the value and enlarge the continuation region) if and only if the entry cost is large enough compared to the running cost.
High-Frequency Trading and Probability Theory

This book is the first of its kind to treat high-frequency trading and technical analysis as accurate sciences. The authors reveal how to build trading algorithms of high-frequency trading and obtain stable statistical arbitrage from the financial market in detail. The authors' arguments are based on rigorous mathematical and statistical deductions and this will appeal to people who believe in the theoretical aspect of the topic. Investors who believe in technical analysis will find out how to verify the efficiency of their technical arguments by ergodic theory of stationary stochastic processes, which form a mathematical background for technical analysis. The authors also discuss technical details of the IT system design for high-frequency trading. Contents: Introduction Market Microstructure Some Basic HFT Strategies IT System Stationary Process and Ergodicity Stationarity and Technical Analysis HFT of a Single Asset Bid, Ask and Trade Prices Financial Engineering Debate and Future Readership: Graduates and researchers interested in frequency trading; finance professionals.
From Logical to Distributional Models

The paper relates two variants of semantic models for natural language, logical functional models and compositional distributional vector space models, by transferring the logic and reasoning from the logical to the distributional models. The geometrical operations of quantum logic are reformulated as algebraic operations on vectors. A map from functional models to vector space models makes it possible to compare the meaning of sentences word by word.
Guarding (Co)Recursion in Coalgebraic Logic Programming

Coalgebraic Logic Programming (CoALP) is a dialect of Logic programming designed to work with coinductive definitions of infinite objects. Its main goal is to introduce guarded lazy corecursion akin functional theorem provers into logic programming. In this paper, we give the first full formal account of guarded corecursion in CoALP, and present its implementation.
2009 Swine-Origin Influenza A (H1N1) Resembles Previous Influenza Isolates

Background In April 2009, novel swine-origin influenza viruses (S-OIV) were identified in patients from Mexico and the United States. The viruses were genetically characterized as a novel influenza A (H1N1) strain originating in swine, and within a very short time the S-OIV strain spread across the globe via human-to-human contact. Methodology We conducted a comprehensive computational search of all available sequences of the surface proteins of H1N1 swine influenza isolates and found that a similar strain to S-OIV appeared in Thailand in 2000. The earlier isolates caused infections in pigs but only one sequenced human case, A/Thailand/271/2005 (H1N1). Significance Differences between the Thai cases and S-OIV may help shed light on the ability of the current outbreak strain to spread rapidly among humans.
Collaborative product development: Exploring the role of internal coordination capability in supplier involvement

Purpose – This paper aims to examine the impact of internal coordination capability on supplier involvement.Design/methodology/approach – Hypothesized relationships are tested using confirmatory factor analysis and hierarchical linear regression models.Findings – It was found that internal coordination capability and supplier involvement effort have a positive effect on collaborative product development (CPD) performance. In addition, internal coordination capability positively moderates the relationship between supplier involvement and CPD performance.Research limitations/implications – The study used targets or goals as the standard for measuring all scales in CPD performance. Although, this approach has several advantages and it is widely reported in the literature, it fails to account for the aggressiveness of the goals or targets as well as relative importance of the metrics.Practical implications – Managers attempting to gain short‐term benefits through increased collaboration scope will risk negati.
Taxation and Household Saving in Open Economies--Evidence from the Nordic Countries

Household saving behavior in the Nordic countries is studied by trying to figure out the effects of tax factors on its level and fluctuations. By and large, the lower level of the household saving ratio in the Nordic countries relative to the rest of the OECD can be accounted for by higher income taxation, a lower unemployment rate as well as by demographics and the 'growth effect'. As regards fluctuations in the household saving ratio, quarterly data from Denmark, Finland, Norway, and Sweden over the period 1972-91 suggest that it is positively affected by real income growth and the inflation rate and negatively by real housing prices (or real housing wealth). Copyright 1994 by The editors of the Scandinavian Journal of Economics.
Effect of Diabetes Mellitus Type 2 on Salivary Glucose – A Systematic Review and Meta-Analysis of Observational Studies

Background Early screening of type 2 diabetes mellitus (DM) is essential for improved prognosis and effective delay of clinical complications. However, testing for high glycemia often requires invasive and painful blood testing, limiting its large-scale applicability. We have combined new, unpublished data with published data comparing salivary glucose levels in type 2 DM patients and controls and/or looked at the correlation between salivary glucose and glycemia/HbA1c to systematically review the effectiveness of salivary glucose to estimate glycemia and HbA1c. We further discuss salivary glucose as a biomarker for large-scale screening of diabetes or developing type 2 DM. Methods and Findings We conducted a meta-analysis of peer-reviewed published articles that reported data regarding mean salivary glucose levels and/or correlation between salivary glucose levels and glycemia or HbA1c for type 2 DM and non-diabetic individuals and combined them with our own unpublished results. Our global meta-analysis of standardized mean differences on salivary glucose levels shows an overall large positive effect of type 2 DM over salivary glucose (Hedge's g = 1.37). The global correlation coefficient (r) between salivary glucose and glycemia was large (r = 0.49), with subgroups ranging from medium (r = 0.30 in non-diabetics) to very large (r = 0.67 in diabetics). Meta-analysis of the global correlation between salivary glucose and HbA1c showed an overall association of medium strength (r = 0.37). Conclusions Our systematic review reports an overall meaningful salivary glucose concentration increase in type 2 DM and a significant overall relationship between salivary glucose concentration and associated glycemia/HbA1c values, with the strength of the correlation increasing for higher glycemia/HbA1c values. These results support the potential of salivary glucose levels as a biomarker for type 2 DM, providing a less painful/invasive method for screening type 2 DM, as well as for monitoring blood glucose levels in large cohorts of DM patients.
The Total Branch Length of Sample Genealogies in Populations of Variable Size

We consider neutral evolution of a large population subject to changes in its population size. For a population with a time-variable carrying capacity we study the distribution of the total branch lengths of its sample genealogies. Within the coalescent approximation we have obtained a general expression—Equation 20—for the moments of this distribution with a given arbitrary dependence of the population size on time. We investigate how the frequency of population-size variations alters the total branch length.
Stacked Microstrip Patch Antenna: Gain and Bandwidth Improvement, Effect of Patch Rotation

A rectangular micro strip patch antenna has been investigated and its performance has been analyzed with the aid of An soft HFSS. An additional rectangular conductive plate of comparable dimensions was placed above the patch in order to enhance the bandwidth. The package was used to analyse the effect of the top patch, in particular the variation of VSWR with two parameters, namely the distance between the two patches and the size of the upper patch. A bandwidth of 527 MHz for VSWR<;2 has been achieved for stacked rectangular patch designed to operate in the C-band.
Realization of Multilayer Occlusion between Real and Virtual Scenes in Augmented Reality

Augmented reality system is well suited for computer supported cooperative work. For achieving visual realism, correctly handling and representing occlusion between virtual and real objects in augmented reality scene is essential. In this paper we present an approach for realizing multilayer occlusion. Differing qualitatively from previous work in AR occlusion, our algorithm realizes multilayer occlusion, and its application domain involves indoor-field occluded objects, which are several meters distant from the viewer. Previous related work has focused on monolayer occlusion, and near-field occluded objects, which are within or just beyond arm's reach. We designed a special scene graph tree comprised of some special nodes, namely EMO nodes. According to the location of real moving object, different EMO node is activated in real-time, consequently realizing the multilayer occlusion. Experimental results are provided to demonstrate the multilayer indoor-field occlusion
Cell Cycles by Lovastatin to Multiple 1 Synchronization of Tumor and Normal Cells from G Updated

Synchronization of mammalian cells is essential for investigations involving cell proliferation. A simple method for obtaining synchrony in all types of cells, through several cycles and with minimal overall metabolic perturbations, has not yet been available. We describe a procedure for synchronizing normal as well as tumor cells reversibly in the GI phase of the cell cycle using Lovastatin, an inhibitor of 3-hydroxy3-methylglutaryl-coenzyme A reducÃ-ase. This method of synchronization was successful with all cell lines tested, including normal and tumor cells of mouse, hamster, and human origins. For example, when MCF-7 human breast cancer cells were synchronized with Lovastatin and released by the addition of mevalonic acid (the product of the reaction catalyzed by 3-hydroxy-3-methylglutaryl-coenzyme A reducÃ-ase), 3 phases of accel erated ih\rumino incorporation into DNA corresponding to 3 S phases of the cell cycle occurred during a 90-h period of cell replication. Thymidine incorporation was decreased to â€¢ -4'; during the initial lag of 18 h before the first S phase, and maximum incorporation was then achieved after only 6 h. The antibody Ki-67, which detects a nuclear antigen associated with proliferation, was present in cells arrested with Lovastatin. This fact, together with the lack of thymidine incorporation during the initial lag time, indicates that the cells were arrested in the d and not in the Co phase of the cell cycle. Furthermore, in synchronized tumor-derived human breast epithelial cells, histone H4 RNA was low after Lovastatin release and increased with the onset of DNA synthesis. Concomitant synthesis of DNA and histone H4 RNA expression could be observed for 2 cycles. Minimal perturbations of general metabolic functions oc curred since the rate of RNA, protein, and initial DNA synthesis were unaffected by Lovastatin, as evidenced by |'H|uridine, ['HJIeiidne, and initial | "II|ih> micline incorporation. Finally, while the Lovastatin-induced synchronization was overcome by mevalonic acid, addition of squalene or cholesterol-ethanol had no such effect. Thus, Lovastatin appears to prevent formation of an early intermediate in the cholesterol pathway that is essential for progression of cells through early (. , phase.
> Replace This Line with Your Paper Identification Number (double-click Here to Edit) <

— IAC was initially introduced as a developmental mechanisms allowing a robot to self-organize developmental trajectories of increasing complexity without pre-programming the particular developmental stages. In this paper, we argue that IAC and other intrinsically motivated learning heuristics could be viewed as active learning algorithms that are particularly suited for learning forward models in unprepared sensorimotor spaces with large unlearnable subspaces. Then, we introduce a novel formulation of IAC, called R-IAC, and show that its performances as an intrinsically motivated active learning algorithm are far superior to IAC in a complex sensorimotor space where only a small subspace is neither unlearnable nor trivial. We also show results in which the learnt forward model is reused in a control scheme.
Unified, Multi-level Intrusion Detection in Private Cloud Infrastructures

Traditional network firewalls and intrusion detection systems (IDSs) are typically relied upon as the primary defense against unauthorized access in private clouds. While certainly important, we argue traditional approaches to intrusion detection are insufficient for private clouds-by ignoring application-and cloud-specific mechanisms and network traffic, traditional IDSs can either notice too late or never at all a potentially-costly intrusion. This paper presents a unified, multi-level IDS architecture that supplements traditional approaches with safeguards and detection mechanisms that leverage knowledge of typical/correct private cloud operations, both at the cloud-application-level and as well as the cloud-control-level. We present our general framework and methodology, and describe its operation in detail via a specific case study of an intruder attempting to manipulate VM-level scheduling in an OpenStack-based private cloud. Our results show such a unified, multi-level, cloud-specific IDS can help greatly reduce the security issues prohibiting private cloud deployments.
Turbulence and Change in Department Spending Patterns Case Study: Department of Agriculture

Abstract : This thesis examines the relationship between agency assertiveness and moderation of budget requests within the Department of Agriculture. It covers the budgetary roles and strategies used in the DOA, Office of Management and Budget, and Congressional appropriation committees. The database used was supplied by the DOA and contains agency initial budget requests and appropriation data from 1980 to 1990. The analysis compares agency budget request increments to the actual increments appropriated, as a percentage of a common base. The study found that during periods of fiscal restraint, the most assertive agencies were the most successful. However, with the support of clientele groups and legislative branch members, agencies requesting moderate increases as well as decreases experienced significant growth in their funding levels and restoral of budget cuts made earlier.
Hybrid search in context: How to search for vegetables in the produce section and cereal in the cereal aisle

Amano, S. , & Kondo, T. (1999). Nihongo-no goi-tokusei [Lexical properties of Japanese], Vol. 1 (CD-ROM version). Tokyo, Japan: Sanseido. (in Japanese) Asano, M. , & Yokosawa, K. (2011). Synesthetic colors are elicited by sound quality in Japanese synesthetes. Consciousness and Cognition, 20, 1816–1823. doi:10.1016/j.concog. 2011.05. 012 Asano, M. , & Yokosawa, K. (2012). Synesthetic colors for Japanese late acquired graphemes. Consciousness and Cognition, 21, 983–993. doi:10.1016/j.concog. 2012.02. 005 Beeli, G. , Esslen, M. , & Jäncke, L. (2007). Frequency correlates in grapheme-color synaesthesia. Psychological Science, 18, 788–792. doi:10.1111/j.1467-9280.2007. 01980.x Boles, D. B. , & Clifford, J. E. (1989). An upperand lowercase alphabetic similarity matrix, with derived generation similarity values. Behavior Research Methods, Instruments, and Computers, 21, 579–586. doi:10.3758/BF03210580 Kawakami, M. , & Tsuji, H. (2012). Hiragana-moji-no keitai-teki ruijisei hyoutei chousa [Survey on orthographical similarity of Japanese Hiragana script characters]. Science of Reading, 54, 80–87. (in Japanese) Rich, A. N. , Bradshaw, J. L. , & Mattingley, J. B. (2005). A systematic, large-scale study of synaesthesia: Implications for the role of early experience in lexical-colour associations. Cognition, 98, 53–84. doi:10.1016/j.cognition. 2004.11. 003 Wagner, K. , & Dobkins, K. R. (2011). Synaesthetic associations decrease during infancy. Psychological Science, 22, 1067–1072. doi:10.1177/0956797611416250 Watson, M. R. , Akins, K. A. , & Enns, J. T. (2012). Second-order mappings in grapheme-color synesthesia. Psychonomic Bulletin and Review, 19, 211–217. doi:10.3758/s13423-011-0208-4 Witthoft, N. , & Winawer, J. (2013). Learning, memory, and synesthesia. Psychological Science, 24, 258–265. doi:10.1177/0956797612452573
PRETO: a high-performance text mining tool for preprocessing Turkish texts

Text documents are usually unstructured and written in natural language. To apply conventional data mining techniques on text documents, a preprocessing operation is indispensable. In this paper, we introduce PRETO, a cross-platform, powerful and scalable preprocessing tool developed specifically for preprocessing Turkish texts, with a wide range of preprocessing options like stemming, stopword filtering, statistical term filtering, and n-gram generation. We demonstrate the performance and scalability of PRETO with some experiments on large document collections.
Fine-grained metamodel-assisted model comparison

In this paper we consider two major concerns in the process of comparing two models -- representation and calculation of model differences. Based on previous work, we adopt a set of requirements which a difference representation should satisfy in order to be seamlessly used in Model Driven Engineering environments. Given these requirements, we represent model differences by means of a differences model, which conforms to a differences metamodel. We show that the traditional meta-modeling approaches, which conform to the four-layered meta-modeling architecture, lack means for the specification of differences metamodels which fully satisfy the specified requirements. Consequently, we specify a metametamodel which offers a different view on the traditional metamodeling approaches and we use it to define the differences metamodel which fully satisfies the specified requirements. Traditional approaches to difference calculation consider models as trees, and use the structure provided by these trees to guide the calculation process. The calculation algorithms used in those approaches are based on matching elements in one model to elements in another model by using one of the following four types of matching: static-identity, signature-based, similarity-based, and language-specific. We adopt the same philosophy, but unlike the traditional approaches which have a fixed calculation algorithm and a fixed matching type, we provide a calculation algorithm that is highly configurable and is designed such that all four traditional types of matching can be used together. As a proof-of-concept we have implemented a tool which allows representation, calculation, and visualization of model differences.
A 3-Gb/s/ch Simultaneous Bidirectional Capacitive Coupling Transceiver for 3DICs

This brief presents a simultaneous bidirectional capacitive coupling transceiver for intertier communication in 3-D integrated circuits. A novel capacitive coupling interconnect structure is proposed. Optimization of the proposed interconnect structure for minimizing parasitic capacitance achieves the voltage swing VSW of 200 mV at the voltage sensing nodes. The data rate of 3 Gb/s/ch is demonstrated in the emulated-3D interconnect. The proposed transceiver consumes 140 μW at 3 Gb/s/ch. The test chip was fabricated in a 65-nm CMOS technology.
Drugs: Policy, Social Costs, Crime, and Justice

Incorporating fields of sociology, criminology, and public policy, this book provides a more complete understanding of the issues surrounding drugs. The primary purpose of this work is to teach students about the dynamics of drugs (both legal and illegal) in American society, while providing a look at historical law creation and current law enforcement. Unique coverage includes topics such as the history of drugs in the U.S., the integral role of race in the creation of drug laws, the elaboration of the global trade in drugs, the U.S. drug control policies and the impact of the U.S. drug war on international relations. Features include: Incorporates observations from sociology, criminology, and public policy- Includes more on U.S. drug control policies, the impact of U.S. laws on international relations and other nations approaches to drugs- Emphasizes the U.S. drug war domestically and globally.
Late Light Curves of Normal Type Ia Supernovae

We present late-epoch optical photometry (BVRI) of seven normally luminous and superluminous Type Ia supernovae: SN 2000E, SN 2000ce, SN 2000cx, SN 2001C, SN 2001V, SN 2001bg, and SN 2001dp. The photometry of these objects was obtained using a template subtraction method to eliminate galaxy light contamination during aperture photometry. We show the optical light curves of these supernovae out to epochs of up to ∼640 days after the explosion of the supernova. We show a linear decline in these data during the epoch of 200-500 days after explosion, with the decline rate in the B, V, and R bands equal to about 1.4 mag per 100 days, but the decline rate of the I-band is much shallower at 0.94 mag per 100 days.