Miracle-dz/UniFAR-FTUs huggingface dataset:
SSLShader: Cheap SSL Acceleration with Commodity Processors

Secure end-to-end communication is becoming increasingly important as more private and sensitive data is transferred on the Internet. Unfortunately, today's SSL deployment is largely limited to security or privacy-critical domains. The low adoption rate is mainly attributed to the heavy cryptographic computation overhead on the server side, and the cost of good privacy on the Internet is tightly bound to expensive hardware SSL accelerators in practice. In this paper we present high-performance SSL acceleration using commodity processors. First, we show that modern graphics processing units (GPUs) can be easily converted to general-purpose SSL accelerators. By exploiting the massive computing parallelism of GPUs, we accelerate SSL cryptographic operations beyond what state-of-the-art CPUs provide. Second, we build a transparent SSL proxy, SSLShader, that carefully leverages the trade-offs of recent hardware features such as AESNI and NUMA and achieves both high throughput and low latency. In our evaluation, the GPU implementation of RSA shows a factor of 22.6 to 31.7 improvement over the fastest CPU implementation. SSLShader achieves 29K transactions per second for small files while it transfers large files at 13 Gbps on a commodity server machine. These numbers are comparable to high-end commercial SSL appliances at a fraction of their price.
Nutrition and Physical Activity in Child Care Centers: the Impact of a Wellness Policy Initiative on Environment and Policy Assessment and Observation Outcomes, 2011

Introduction The child care environment has emerged as an ideal setting in which to implement policies that promote healthy body weight of children. The purpose of this study was to assess the effect of a wellness policy and training program on the physical activity and nutrition environment in 24 child care centers in Georgia. Methods We used the Environment and Policy Assessment and Observation instrument to identify changes to foods served, staff behaviors, and physical activity opportunities. Observations were performed over 1 day, beginning with breakfast and concluding when the program ended for the day. Observations were conducted from February 2010 through April 2011 for a total of 2 observations in each center. Changes to nutrition and physical activity in centers were assessed on the basis of changes in scores related to the physical activity and nutrition environment documented in the observations. Paired t test analyses were performed to determine significance of changes. Results Significant improvements to total nutrition (P < .001) and physical activity scores (P < .001) were observed. Results indicate that centers significantly improved the physical activity environments of centers by enhancing active play (P = .02), the sedentary environment (P = .005), the portable environment (P = .002), staff behavior (P = .004), and physical activity training and education (P < .001). Significant improvements were found for the nutrition environment (P < .001), and nutrition training and education (P < .001). Conclusion Findings from this study suggest that implementing wellness policies and training caregivers in best practices for physical activity and nutrition can promote healthy weight for young children in child care settings.
Kebahagiaan Perkawinan Ditinjau Dari Faktor Komunikasi Pada Pasangan Suami Istri

Marriage happiness is contributed largely by couple's communication smoothness. The marriage happiness scale is demonstrated through 5 aspects i.e. passionate love, authority distribution, sexual activity, financial situation, relationship with spouse's family. The couple's communication scale is translated through 4 aspects i.e. discussion, dialog, body language, and sexual activity. The Pearson correlation between the couple's communication and the marriage happiness variables indicates that r = 0.547 with p = 0.004. The determinant coefficient which explains the contribution of independent variable seems low (29.9%). It is suggested that other variables should be included such as the length of marriage (couple's age), couple's work pattern, communication method, and type of household. It is strong recommended that husbands should also be the research subjects. The husband's perception of marriage happiness might be different with his wife's.
Menu Costs, Aggregate Fluctuations, and Large Shocks

We document that the aggregate price level responds flexibly and asymmetrically to large positive and negative value-added tax changes. We present a price-setting model with menu costs, trend inflation, and fat-tailed product-level shocks that is consistent with these observations. The model predicts a flexible price-level response to standard monetary policy shocks because it anticipates a large number of firms on the verge of price adjustment and far from their optimal prices when the shock hits. (JEL E31, E32, E52, E62, H25)
Articulate walls: writer’s block and the academic creative

ABSTRACT In the study of creative writing as an academic discipline, much attention has been paid to pedagogy, often in reaction/opposition to the question ‘Can creative writing be taught? ’ What of the creative practitioners who are working in an interzone between nurturing their students’ writing and maintaining creative output of their own? Institutional ‘publish or perish’ demands have not yet aligned themselves with the shifting realities of the creative marketplace, the changes in the publishing industry, and the mental fatigue of analysing student work. In this scenario, the creative who is also an academic (or the academic who is also a creative) may find that his or her practice is paralysingly out of sync with the syllabus; and teaching from a state of creative depletion may engender a cascade of self-doubt. This paper will look at the process by which these practitioners attempt to navigate this zone of creative disconnect.
An Empirical Comparison of Simple Domain Adaptation Methods for Neural Machine Translation

In this paper, we propose a novel domain adaptation method named "mixed fine tuning" for neural machine translation (NMT). We combine two existing approaches namely fine tuning and multi domain NMT. We first train an NMT model on an out-of-domain parallel corpus, and then fine tune it on a parallel corpus which is a mix of the in-domain and out-of-domain corpora. All corpora are augmented with artificial tags to indicate specific domains. We empirically compare our proposed method against fine tuning and multi domain methods and discuss its benefits and shortcomings.
Differential Calculi on Quantum (Sub-) Groups and Their Classical Limit

For the two-parameter matrix quantum group GLp,q(2) all bicovariant differential calculi (with a four-dimensional space of 1-forms) are known. They form a one-parameter family. Here, we give an improved presentation of previous results by using a different parametrization. We also discuss different ways to obtain bicovariant calculi on the quantum subgroup SLq(2). For those calculi, we do not obtain the ordinary differential calculus on SL(2) in the classical limit. The structure which emerges here can be generalized to a nonstandard differential calculus on an arbitrary differentiable manifold and exhibits relations with stochastic calculus and `proper time' relativistic quantum theories.
Effects of Bilateral Prelimbic Cortex Inactivation on Contextual Biconditional Discrimination Memory Retrieval in Adult Long-Evans Rats

The prelimbic (PL) subregion of the medial prefrontal cortex has been widely implicated in the contextual control of appetitive and aversive conditioning through studies of context-induced reinstatement of drug seeking and contextual fear conditioning. However, the role of the PL in mediating contextual processing in appetitively motivated tasks without the involvement of abused substances remains underexplored. Thus, the present study sought to investigate the role of the PL in this process using a previously reported contextual biconditional discrimination (CBD) memory task. We examined the effects of temporary post-acquisition pharmacological inactivation of the PL on CBD memory retrieval and observed robust deficits in contextual memory retrieval following PL inactivation. Our data provide novel insight into the role of the PL in contextual processing in appetitively motivated tasks in the intact brain, indicating a more general role for the PL in appetitive and aversive contextual processing in the drug-free brain.
Growth rate–stoichiometry couplings in diverse biota

Biological stoichiometry provides a mechanistic theory linking cellular and biochemical features of co-evolving biota with constraints imposed by ecosystem energy and nutrient inputs. Thus, understanding variation in biomass carbon : nitrogen : phosphorus (C : N : P) stoichiometry is a major priority for integrative biology. Among various factors affecting organism stoichiometry, differences in C : P and N : P stoichiometry have been hypothesized to reflect organismal P-content because of altered allocation to P-rich ribosomal RNA at different growth rates (the growth rate hypothesis, GRH). We tested the GRH using data for microbes, insects, and crustaceans and we show here that growth, RNA content, and biomass P content are tightly coupled across species, during ontogeny, and under physiological P limitation. We also show, however, that this coupling is relaxed when P is not limiting for growth. The close relationship between P and RNA contents indicates that ribosomes themselves represent a biogeochemically significant repository of P in ecosystems and that allocation of P to ribosome generation is a central process in biological production in ecological systems.
Primary Klebsiella pneumoniae Liver Abscess with Metastatic Spread to Lung and Eye, a North-European Case Report of an Emerging Syndrome

A syndrome of community acquired liver abscess caused by highly virulent hypermucoviscous, rmpA positive Klebsiella pneumoniae strains occurs with high incidence in Asia. We here report a case complicated by metastatic infection, to our knowledge, the first one described in Northern Europe. This and other recently reported cases indicate the emergence of this severe syndrome outside of Asia.
The Effects of Diversity in Global , Distributed Collectives : A Study of User Participation in Open Source Projects

Diversity is a defining characteristic of global collectives on the Internet. Although there is substantial evidence to suggest that diversity can have profound implications for a variety of outcomes including performance, member engagement, and withdrawal behavior, prior research has examined the effects of diversity predominantly in the context of organizational workgroups or virtual teams. In this paper we use a diversity lens to investigate the success of non-traditional virtual work groups exemplified by open source software (OSS) projects. We build on the diversity literature to propose that three types of diversity: separation, variety and disparity diversity, influence user participation in OSS projects both directly, and through an effect on contributions to the software project. To the degree that OSS projects are critically dependent on human capital, user participation is a key outcome. We instantiate the operational definitions of the three forms of diversity to the specific and unique context of open source projects. Using archival data from 337 projects hosted on SourceForge.net, we find that variety diversity, as measured by diversity in both project roles and participant tenure, positively affects user participation. These effects are partially mediated by project contributions. The impact of separation diversity, operationalized as diversity in the languages spoken by participants, is not significant. Disparity diversity, reflecting variations in participant activity, has a negative influence on user participation. We discuss how understanding the nuanced effects of different kinds of diversity in OSS development contexts both advances the literature on diversity and OSS and provides practical implications for OSS participants.
Angiotensin production by the heart: a quantitative study in pigs with the use of radiolabeled angiotensin infusions.

BACKGROUND Beneficial effects of ACE inhibitors on the heart may be mediated by decreased cardiac angiotensin II (Ang II) production. METHODS AND RESULTS To determine whether cardiac Ang I and Ang II are produced in situ or derived from the circulation, we infused 125I-labeled Ang I or II into pigs (25 to 30 kg) and measured 125I-Ang I and II as well as endogenous Ang I and II in cardiac tissue and blood plasma. In untreated pigs, the tissue Ang II concentration (per gram wet weight) in different parts of the heart was 5 times the concentration (per milliliter) in plasma, and the tissue Ang I concentration was 75% of the plasma Ang I concentration. Tissue 125I-Ang II during 125I-Ang II infusion was 75% of 125I-Ang II in arterial plasma, whereas tissue 125I-Ang I during 125I-Ang I infusion was <4% of 125I-Ang I in arterial plasma. After treatment with the ACE inhibitor captopril (25 mg twice daily), Ang II fell in plasma but not in tissue, and Ang I and renin rose both in plasma and tissue, whereas angiotensinogen did not change in plasma and fell in tissue. Tissue 125I-Ang II derived by conversion from arterially delivered 125I-Ang I fell from 23% to <2% of 125I-Ang I in arterial plasma. CONCLUSIONS Most of the cardiac Ang II appears to be produced at tissue sites by conversion of in situ-synthesized rather than blood-derived Ang I. Our study also indicates that under certain experimental conditions, the heart can maintain its Ang II production, whereas the production of circulating Ang II is effectively suppressed.
Beyond moulin mechanisms

The only known general technique for designing truthful, approximatelybudget-balanced cost-sharing mechanisms is due to Moulin. While Moulin mechanisms have been successfully designed for a widerange of applications, recent negative results show that for manyfundamental cost-sharing problems, Moulin mechanisms inevitably sufferfrom poor budget-balance, poor economic efficiency, or both. We propose acyclic mechanisms, a new framework for designingtruthful, approximately budget-balanced cost-sharing mechanisms. Acyclic mechanisms strictly generalize Moulin mechanisms andoffer three important advantages. First, it is easier to design acyclic mechanisms than Moulinmechanisms: many classical primal-dual algorithms naturallyinduce a non-Moulin acyclic mechanism with good performanceguarantees. Second, for several important classes of cost-sharing problems, acyclicmechanisms have exponentially better budget-balance and economicefficiency than Moulin mechanisms.Finally, while Moulin mechanisms have found application primarily in binary demand games, we extend acyclic mechanisms to general demand games, a multi-parameter setting in which each bidder can be allocated one of several levels of service.
Time to re-wire? Problems and strategies for the maintenance of live electronics

While much work is proceeding with regard to the preservation and restoration of audio documents in general and compositions for tape in particular, relatively little research has been published with regard to the issues of preserving compositions for live electronics. Such works often involve a distinct performance element difficult to capture in a single recording, and it is typically only in performance that such works can be experienced as the composer intended. However, performances can become difficult or even impossible to present over time due to data and/or equipment issues. Sustainability here therefore refers to the effective recording of all the information necessary to set up the live electronics for a performance. Equally, it refers to the availability of appropriate devices, as rapid technological change soon makes systems obsolete and manufacturers discontinue production. The authors have had a range of experience re-working performances over a number of years, including compositions by Luigi Nono and Jonathan Harvey, amongst others. In this paper we look at the problem as a whole, focusing on Jonathan Harvey's works with electronic elements, which span some twenty-six years, as exemplars of the types of problems involved.
Novel Exons and Splice Variants in the Human Antibody Heavy Chain Identified by Single Cell and Single Molecule Sequencing

Antibody heavy chains contain a variable and a constant region. The constant region of the antibody heavy chain is encoded by multiple groups of exons which define the isotype and therefore many functional characteristics of the antibody. We performed both single B cell RNAseq and long read single molecule sequencing of antibody heavy chain transcripts and were able to identify novel exons for IGHA1 and IGHA2 as well as novel isoforms for IGHM antibody heavy chain.
Atlantic hurricanes and natural variability in 2005

The 2005 North Atlantic hurricane season (1 June to 30 November) was the most active on record by several measures, surpassing the very active season of 2004 and causing an unprecedented level of damage. Sea surface temperatures (SSTs) in the tropical North Atlantic (TNA) region critical for hurricanes (10° to 20°N) were at record high levels in the extended summer (June to October) of 2005 at 0.9°C above the 1901–70 normal and were a major reason for the record hurricane season. Changes in TNA SSTs are associated with a pattern of natural variation known as the Atlantic Multi‐decadal Oscillation (AMO). However, previous AMO indices are conflated with linear trends and a revised AMO index accounts for between 0 and 0.1°C of the 2005 SST anomaly. About 0.45°C of the SST anomaly is common to global SST and is thus linked to global warming and, based on regression, about 0.2°C stemmed from after‐effects of the 2004–05 El Niño.
Analyzing and Improving Reliability in Multi-hop Body Sensor Networks

Body Sensor Networks are an interesting emerging application of wireless sensor networks to improve healthcare and the Quality of Life. Current research has mainly focused on single-hop networks, although some works clearly show advantages of multi-hop architectures. In this paper, we model probabilistic connectivity in such multi-hop body sensor networks. Instead of using a circular coverage area, a more accurate model is defined based on the path loss along the human body. Further, we propose improvements to CICADA, a cross-layer multi-hop protocol that handles both medium access and the routing of data in BSNs. CICADA is slot-based and uses schemes to allocate these slots. Results for two reliability improvements are given: randomization of the schemes and repeating the schemes received from a parent node. We show that these improvements positively affect the throughput of the network and lead to fewer retransmissions while the energy consumption of the nodes is hardly influenced.
Information Systems Success : Dimensions and Determinants by

Despite considerable empirical research, results on the dimensions and determinants of information systems success are often inconsistent. A comprehensive understanding of information systems success thus remains elusive. In an attempt to address this situation, which may partly be due to the exclusion of potentially important variables from prior parsimonious models of information systems success, we present and test a comprehensive model. This model explains interrelationships among four success factors (user satisfaction, system use, perceived usefulness, system quality), and their relationships with three userrelated factors (user experience, user attitudes, user participation) and three contextual factors (top management support, quality of information systems development team, facilitating conditions). To test the model, we first used meta-analyses to compute correlation matrix for the constructs in the model based on 372 findings from 115 studies published between 1980 and 2003, and then used this correlation matrix as input for a LISREL analysis of the model. Overall, we found excellent support for the comprehensive model. The results underline the importance of user-related and contextual factors in information systems success and raise questions about some commonly believed relationships.
Scaling Concolic Execution of Binary Programs for Security Applications

Abstract : Concolic execution is a technique for program analysis that makes the values of certain inputs symbolic, symbolically executes a program's code, and computes a symbolic logical formula to represent a desired behavior of the program under analysis. The computed formula is then solved by a decision procedure to determine whether the desired behavior is feasible and, if so provide an example program input that satisfies the formula. Concolic execution and similar techniques have widely been applied to a variety of security-related applications including automatic test input generation, vulnerability discovery, exploit generation, signature generation, protocol reverse engineering and detecting deviations between software implementations. Although there has been a great success in applying it to various security-related applications, a basic implementation of concolic execution only works well on small programs and scaling it to real-world binary programs is difficult. One reason is that programs often contain certain code constructs that are difficult to reason about directly such as loops and encoding functions. Another reason is that the number of symbolic formulas grows drastically in proportion to the size of the program being analyzed. These observations led us to develop three scaling techniques for concolic execution. The first scaling technique, loop-extended concolic execution, focuses on improving the efficiency of concolic execution when analyzing program portions that involve loops. The second technique, decomposition and re-stitching of concolic execution, addresses the issue that arose from the presence of encoding functions, which are difficult to reason about automatically. The third technique uses the state model of the program under analysis to guide concolic execution. Our techniques work on program binaries and do not require the presence of source code or debugging information in the binaries.
LORETA EEG phase reset of the default mode network

Objectives: The purpose of this study was to explore phase reset of 3-dimensional current sources in Brodmann areas located in the human default mode network (DMN) using Low Resolution Electromagnetic Tomography (LORETA) of the human electroencephalogram (EEG). Methods: The EEG was recorded from 19 scalp locations from 70 healthy normal subjects ranging in age from 13 to 20 years. A time point by time point computation of LORETA current sources were computed for 14 Brodmann areas comprising the DMN in the delta frequency band. The Hilbert transform of the LORETA time series was used to compute the instantaneous phase differences between all pairs of Brodmann areas. Phase shift and lock durations were calculated based on the 1st and 2nd derivatives of the time series of phase differences. Results: Phase shift duration exhibited three discrete modes at approximately: (1) 25 ms, (2) 50 ms, and (3) 65 ms. Phase lock duration present primarily at: (1) 300–350 ms and (2) 350–450 ms. Phase shift and lock durations were inversely related and exhibited an exponential change with distance between Brodmann areas. Conclusions: The results are explained by local neural packing density of network hubs and an exponential decrease in connections with distance from a hub. The results are consistent with a discrete temporal model of brain function where anatomical hubs behave like a “shutter” that opens and closes at specific durations as nodes of a network giving rise to temporarily phase locked clusters of neurons for specific durations.