gebhart/patrepeval huggingface dataset:
A Nonblocking Coordinated Checkpointing Algorithm for Mobile Computing Systems (2010)

A checkpoint algorithm for mobile computing systems needs to handle many new issues like: mobility, low bandwidth of wireless channels, lack of stable storage on mobile nodes, disconnections, limited battery power and high failure rate of mobile nodes. These issues make traditional checkpointing techniques unsuitable for such environments. Minimum-process coordinated checkpointing is an attractive approach to introduce fault tolerance in mobile distributed systems transparently. This approach is domino-free, requires at most two checkpoints of a process on stable storage, and forces only a minimum number of processes to checkpoint. But, it requires extra synchronization messages, blocking of the underlying computation or taking some useless checkpoints. In this paper, we propose a nonblocking coordinated checkpointing algorithm for mobile computing systems, which requires only a minimum number of processes to take permanent checkpoints. We reduce the message complexity as compared to the Cao-Singhal algorithm (4), while keeping the number of useless checkpoints unchanged. We also address the related issues like: failures during checkpointing, disconnections, concurrent initiations of the algorithm and maintaining exact dependencies among processes. Finally, the paper presents an optimization technique, which significantly reduces the number of useless checkpoints at the cost of minor increase in the message complexity. In coordinated checkpointing, if a single process fails to take its tentative checkpoint; all the checkpoint effort is aborted. We try to reduce this effort by taking soft checkpoints in the first phase at Mobile Hosts.
Specific and nonspecific responses of murine B cells to membrane blebs of Borrelia burgdorferi (1993)

Lymphocyte blastogenesis assays and immunoblotting were used to investigate and compare murine B-cell responses to preparations of extracellular membrane blebs (BAg) and spirochetes (Ag) of Borrelia burgdorferi. Immunoblotting BAg, Ag, and medium control preparations with serum from naive and infected C57BL/10 mice revealed that BAg and Ag had similar specific reactivity profiles except that major antigens of 83, 60, and 41 kDa were detected in Ag but not in BAg. It was determined that 1 microgram (dry weight) of Ag contained 0.0051 and 0.0063 microgram of outer surface proteins A (OspA) and OspB, respectively, whereas 1 microgram (dry weight) of BAg contained 0.0024 microgram of OspA and 0.0015 microgram of OspB. Both BAg and Ag caused blastogenesis in cultures of spleen cells from both groups of mice, but BAg-stimulated lymphocytes exhibited significantly greater (P < or = 0.05) blastogenesis after 2 or 6 days of culture than did lymphocytes stimulated by Ag or medium control. Flow cytometry and antibody capture enzyme-linked immunosorbent assays identified responding lymphocytes as B cells which secreted polyclonal immunoglobulin M (IgM) but not IgG or IgA. Treatment of BAg and lipopolysaccharide controls with polymyxin B resulted in as much as 20.7 and 54.3% mean decreases in blastogenesis, respectively. Fractionation of BAg or Ag by ultracentrifugation before culture with spleen cells from naive mice indicated that B-cell blastogenesis was probably associated with spirochetal membranes. The results of this study demonstrate that specific humoral responses are directed towards extracellular membrane blebs which lack the 83-, 60-, and 41-kDa antigens of intact spirochetes and that blebs also possess significant nonspecific mitogenic activity for murine B cells. This activity was not due entirely to typical lipopolysaccharide or OspA and OspB lipoproteins.
Small familial supernumerary ring chromosome 2: FISH characterization and genotype‐phenotype correlation (2002)

A child and his mother were found to be mosaic for a small supernumerary marker chromosome (SMC) that was identified and characterized by means of fluorescent in situ hybridization. The marker chromosome was derived from the pericentromeric region of chromosome 2; the involvement of proximal 2q was determined by YAC probes. The proband was referred because of psychotic illness and mild mental retardation, whereas his mother presented only minor dysmorphisms. There are only a few published reports concerning SMC(2) or proximal 2q trisomy. We reviewed the previously reported cases in an attempt to establish genotype-phenotype correlations, which are particularly important when SMCs are identified in prenatal diagnosis.
NetSuite for Dummies (2010)

NetSuite is an easy-to-use, customizable enterprise software for running your business. Part I explains NetSuite basics everyone should know. Part II focuses on tracking money (accounting, AR, AP, and managing inventory). Parts III, IV, and V explain how to sell and market your products, take care of customers, and sell goods online with NetSuite. Part VI describes how to gauge your progress using dashboards and analytics. Bonus chapters provide information about scripting, customization, and setting up your Web site (see the Downloads tab). Table of contents: Part 1: NetSuite Basics Part II: Using NetSuite's Various Components Part III: How to use NetSuite for your specific business Part IV: Configuring NetSuite Part V: Getting organized with NetSuite. Bringing it all together Part VI: Advanced stuff Part VII: The Part of Tens
Immunoproteomic Profiling of Antiviral Antibodies in New-Onset Type 1 Diabetes Using Protein Arrays (2015)

The rapid rise in the incidence of type 1 diabetes (T1D) suggests the involvement of environmental factors including viral infections. We evaluated the association between viral infections and T1D by profiling antiviral antibodies using a high-throughput immunoproteomics approach in patients with new-onset T1D. We constructed a viral protein array comprising the complete proteomes of seven viruses associated with T1D and open reading frames from other common viruses. Antibody responses to 646 viral antigens were assessed in 42 patients with T1D and 42 age- and sex-matched healthy control subjects (mean age 12.7 years, 50% males). Prevalence of antiviral antibodies agreed with known infection rates for the corresponding virus based on epidemiological studies. Antibody responses to Epstein-Barr virus (EBV) were significantly higher in case than control subjects (odds ratio 6.6; 95% CI 2.0-25.7), whereas the other viruses showed no differences. The EBV and T1D association was significant in both sex and age subgroups (≤12 and >12 years), and there was a trend toward early EBV infections among the case subjects. These results suggest a potential role for EBV in T1D development. We believe our innovative immunoproteomics platform is useful for understanding the role of viral infections in T1D and other disorders where associations between viral infection and disease are unclear.
Protective effect of relaxin in cardiac anaphylaxis: involvement of the nitric oxide pathway (2002)

1 Relaxin (RLX) is a multifunctional hormone best known for its role in pregnancy and parturition, that has been also shown to influence coronary perfusion and mast cell activation through the generation of endogenous nitric oxide (NO). In this study we report on the effects of RLX on the biochemical and mechanical changes of ex vivo perfused hearts isolated from ovalbumin-sensitized guinea-pigs induced by challenge with the specific antigen. The possible involvement of NO in the RLX action has been also investigated. 2 A 30-min perfusion with RLX (30 ng ml(-1)) before ovalbumin challenge fully abated the positive chronotropic and inotropic effects evoked by anaphylactic reaction to the antigen. RLX also blunted the short-term coronary constriction following to antigen challenge. Conversely, perfusion with chemically inactivated RLX had no effect. 3 The release of histamine in the perfusate and the accumulation of calcium in heart tissue induced by antigen challenge were significantly decreased by RLX, while the amounts of nitrites in the perfusate were significantly increased, as were NO synthase activity and expression and cGMP levels in heart tissue. 4 These findings indicate that RLX has a protective effect in cardiac anaphylaxis which involves an up-regulation of the NO biosynthetic pathway.
La construcción de sujetos trabajadores competitivos. La formación por Competencias Laborales como tecnología de gobierno (2012)

A partir de la decada de 1990 en Argentina, y en consonancia con las transformaciones en las relaciones del trabajo, las politicas publicas comenzaron a poner el foco en la formacion para el trabajo por recomendaciones de los organismos internacionales. Una multiplicidad de nuevas teorias y conceptos emergieron para explicar las transformaciones y la necesidad de llevar adelante un “cambio cultural”. El Programa de Formacion y Certificacion de Competencias Laborales surge, mediante el dialogo social entre los sindicatos, las empresas y el estado, con el objetivo de establecer un sistema nacional de certificacion de saberes para el trabajo. Este programa pone el foco en los trabajadores y el vinculo que debe establecerse entre ellos, el puesto de trabajo y el rendimiento laboral, a partir de principios tales como competitividad y empleabilidad. El objetivo del presente trabajo es describir y analizar  la formacion por competencias como tecnologia de gobierno orientada a la formacion para el trabajo que se va configurando en Argentina como politica laboral en los ultimos 20 anos.
A Theoretical Analysis of NDCG Type Ranking Measures (2013)

A central problem in ranking is to design a measure for evaluation of ranking functions. In this paper we study, from a theoretical perspective, the Normalized Discounted Cumulative Gain (NDCG) which is a family of ranking measures widely used in practice. Although there are extensive empirical studies of the NDCG family, little is known about its theoretical properties. We first show that, whatever the ranking function is, the standard NDCG which adopts a logarithmic discount, converges to 1 as the number of items to rank goes to infinity. On the first sight, this result seems to imply that the standard NDCG cannot differentiate good and bad ranking functions on large datasets, contradicting to its empirical success in many applications. In order to have a deeper understanding of the general NDCG ranking measures, we propose a notion referred to as consistent distinguishability. This notion captures the intuition that a ranking measure should have such a property: For every pair of substantially different ranking functions, the ranking measure can decide which one is better in a consistent manner on almost all datasets. We show that standard NDCG has consistent distinguishability although it converges to the same limit for all ranking functions. We next characterize the set of all feasible discount functions for NDCG according to the concept of consistent distinguishability. Specifically we show that whether an NDCG measure has consistent distinguishability depends on how fast the discount decays; and r 1 is a critical point. We then turn to the cut-off version of NDCG, i.e., NDCG@k. We analyze the distinguishability of NDCG@k for various choices of k and the discount functions. Experimental results on real Web search datasets agree well with the theory.
Context-oriented opportunistic cloud offload processing for energy conservation in wireless devices (2014)

This paper elaborates on the design and the comparative evaluation with other similar approaches, of a Cloud executable process-offloading scheme. The mobile devices gather through their communication and social context ("friend's" available resources and bandwidth etc.), the related data, towards elaborating further and enabling the process of the execution offloading. The proposed scheme aims at prolonging the lifetime of the mobile devices, while at the same time, it aims at saving resources on the user's device to maximize the efficiency in running context applications. The proposed social-aware scheme opportunistically exploits the resources of other socially-connected peers, in order to extend the capabilities of the mobile devices, by providing extra computing, storage resources, as well as the execution guarantee within a specified time frame. Comparative performance evaluations, in the presence of "critical-process executions", as well as in the sense of meeting the required deadlines, were performed for the comparison with other similar schemes to prove the validity and the efficiency of the proposed framework, in contrast to the nodes' lifetime extensibility.
Protein phosphorylation/dephosphorylation in the inner membrane of potato tuber mitochondria (2000)

Inside-out inner mitochondrial membranes free of matrix proteins were isolated from purified potato tuber (Solanum tuberosum L.) mitochondria and incubated with ¿gamma-(32)PATP. Proteins were separated by SDS-PAGE and visualized by autoradiography. Phosphorylation of inner membrane proteins, including ATPase subunits, was strongly inhibited by the phosphoprotein phosphatase inhibitor NaF. We propose that an inner membrane phosphoprotein phosphatase is required for activation of the inner membrane protein kinase. When prelabelled inner membranes were incubated in the absence of ¿gamma-(32)PATP, there was no phosphoprotein dephosphorylation unless a soluble matrix fraction was added. This dephosphorylation was inhibited by NaF, but not by okadaic acid. We conclude that the mitochondrial matrix contains a phosphoprotein phosphatase that is responsible for dephosphorylation of inner membrane phosphoproteins.
A new methodology for constructing a publication‐level classification system of science (2012)

Classifying journals or publications into research areas is an essential element of many bibliometric analyses. Classification usually takes place at the level of journals, where the W eb of S cience subject categories are the most popular classification system. However, journal‐level classification systems have two important limitations: They offer only a limited amount of detail, and they have difficulties with multidisciplinary journals. To avoid these limitations, we introduce a new methodology for constructing classification systems at the level of individual publications. In the proposed methodology, publications are clustered into research areas based on citation relations. The methodology is able to deal with very large numbers of publications. We present an application in which a classification system is produced that includes almost 10 million publications. Based on an extensive analysis of this classification system, we discuss the strengths and the limitations of the proposed methodology. Important strengths are the transparency and relative simplicity of the methodology and its fairly modest computing and memory requirements. The main limitation of the methodology is its exclusive reliance on direct citation relations between publications. The accuracy of the methodology can probably be increased by also taking into account other types of relations–for instance, based on bibliographic coupling.
Characterization of poly(dimethylsiloxane)‐poly(methyl hydrogen siloxane) composite membranes for organic water pervaporation separation (2001)

Abstract Hydrophobic composite membranes with a crosslinked poly(dimethylsiloxane)‐poly(methyl hydrogen siloxane) selective layer were prepared by using a new laboratory made catalyst agent. The pervaporation separation of five organic solvent–water mixtures was carried out with these composite membranes, together with swelling experiments in the same feed mixtures. The volatile organic compounds employed were ethanol, methanol, 1‐butanol, acetone, and ethyl acetate. The pervaporation and swelling experiments revealed that both the 1‐butanol and the ethyl acetate solutions showed the highest affinity for the composite membrane. When these components were employed as feed solutions, the membranes showed both high selectivity and high permeation. Mechanical–dynamical experiments of swollen and nonswollen composite membranes were also performed. The relaxation spectra were analyzed in terms of the interaction of the components of the different mixtures with the composite membrane, and the free volume corresponding to the each sample was obtained. Once the membranes had reached an equilibrium swelling, a decrease in the free volume was observed. © 2001 John Wiley & Sons, Inc. J Appl Polym Sci 81: 546–556, 2001
Pilot-aided OFDM∕SDMA channel estimation with unknown timing offset (2006)

The paper presents a novel approach to estimating the multi-path channel of orthogonal frequency-division multiplexing (OFDM)/spatial-diversity multiple-access (SDMA) systems. Having OFDM/SDMA symbols transmitted not aligned with base station (BS) timing, demodulated signals may severely suffer from an inter-OFDM-symbol interference (ISI), namely the misalignment interference. Consequently, the interference degrades the channel estimation extensively. By appropriately designing pilots, the misalignment effects on the channel estimation can fully be cancelled and, the channel is optimally estimated in the minimum mean square error (MMSE) sense by a new estimation scheme. Owing to the interference cancellation, the new scheme is more robust against timing offsets (TO) and gives a better performance in estimating the SDMA channel than the existing approaches.
Molecular Tectonics:  From Simple Tectons to Complex Molecular Networks (2005)

Molecular networks in the crystalline phase are infinite periodic molecular assemblies formed under self-assembly conditions between self-complementary or complementary tectons. These millimeter-size structures may be regarded as hypermolecules formed by supramolecular synthesis using reversible intertecton interactions. Molecular tectonics, based on molecular recognition events and their iteration, is the approach dealing with design and preparation of molecular networks in the solid state. In this Account, an overview of the rational behind this approach is presented. A variety of molecular networks based on van der Waals interactions and hydrogen and coordination bonding possessing diverse connectivity and topology are discussed.
Biotransformation of Benzene by Denitrification in Aquifer Sand (1988)

ABSTRACT This study investigated the biodegradation of benzene, toluene, and the isomers of xylene (BTX) in anaerobic batch microcosms containing shallow aquifer material. BTX loss occurred with the addition of either nitrate or oxygen. Denitrification was confirmed by nitrous oxide accumulation after acetylene blockage of nitrate reductase. When a limiting amount of nitrate was added, there was a corresponding limit to the loss of BTX and a limited amount of nitrous oxide production. We propose that the addition of nitrate to gasoline‐contaminated aquifers would serve as an adjunct to current remedial techniques.
Subwavelength Discrete Solitons in Nonlinear Metamaterials (2007)

We present the first study of subwavelength discrete solitons in nonlinear metamaterials: nanoscaled periodic structures consisting of metal and nonlinear dielectric slabs. The solitons supported by such media result from a balance between tunneling of surface plasmon modes and nonlinear self-trapping. The dynamics in such systems, arising from the threefold interplay between periodicity, nonlinearity, and surface plasmon polaritons, is substantially different from that in conventional nonlinear dielectric waveguide arrays. We expect these phenomena to inspire fundamental studies as well as potential applications of nonlinear metamaterials, particularly in subwavelength nonlinear optics.
<i>HOXA1</i> gene variants influence head growth rates in humans (2006)

We previously described a significant association between the HOXA1 G218 allele and increased head circumference in autism [Conciatori et al. (2004); Biol Psychiatry 55:413-419]. The present study reveals identical effects also in normal children. HOXA1 A218G alleles and sex explain as much as 10.9 and 6.8% of the variance in head circumference in 142 pediatric controls and in 191 autistic children, aged 3-16 years (F = 6.777, 3 and 141 df, P < 0.001 and F = 5.588, 3 and 190 df, P < 0.01, respectively). Instead, no association is found in 183 adult controls and in 35 pediatric fragile-X patients. Therefore HOXA1 A218G alleles significantly influence head growth rates, but not final head size, in normal human development. This influence does not differ between normal and autistic children, whereas the lack of FMRP seemingly overwhelms HOXA1 effects in fragile-X patients.
Corrosion and Electrochemical Migration of 64Sn- 35Bi-1 Ag Solder Doped with Sb in Advanced Electronic Machanical Packaging (2013)

The effects of Sb doping on corrosion and electrochemical migration behavior of 64Sn- 35Bi- 1Ag( SBA)solder in 3. 5% NaCl solution( mass fraction) were investigated by potentiodynamic polarization coupled with SEM and XRD techniques. The results show that the corrosion current density( Icorr) decreases with Sb content increasing when percent of Sb is less than 1wt. %. However,Icorr increased with Sb increasing when percent of Sb is larger than1wt. %,both are larger than that of corroded SBA solder without Sb doping. Electrochemical migration( ECM) result shows that the dendritic growth rate of SBA solder doped with certain Sb is longer than that of SBA solder without Sb doping. Furthermore,the dendritic content are different distinctly from each other,which proves that Sb doping is disbenefit to advanced electronic manufacturing and packaging.
System Utilization of Large-Scale Integration (1967)

A new approach to a computer organization promises very effective utilization of the LSI technology. Functional partitioning of both the data path and control is employed. A dramatic reduction in array pin requirements by a factor of two or more is achieved. Arrays as small as a few dozen gates can be effectively utilized. The total system is exceedingly flexible in both performance and instruction set.
<title>Talk to me: using voice server to enable business-to-business communication</title> (2000)

Person-to-person communication over the Internet has exploded in recent years. In contrast, person-to-business and business-to-business communication using the Web are just beginning to take off, in part due to technological challenges that are just now being met. For example: the ability of large, automated businesses to communicate with smaller, less automated partners who don't have integrated back-end office systems or tightly coupled data channels; the ability of smaller, less automated businesses to communicate with each other; the ability of field personnel to mine enterprise data; the ability of companies to send up-to-the-minute data to field personnel. A speech interface to the Web can surmount these problems and more. Our solution provides a VoiceXML interface to static and dynamic information in existing enterprise databases that are, or can be made, available through a Web interface. VoiceXML (Voice eXtensible Markup Language), is an XML-based markup language for creating distributed speech applications, much as HTML is a markup language for creating distributed visual applications. Using VoiceXML, data can be accessed over the Web by telephone.
Determination of time constants of cold wires (1981)

The time constant of a fine cold wire used as a resistance thermometer can be obtained by a technique which is based on ideas developed for the pulsed-wire technique for velocity measurement in highly turbulent flows and in regions of flow reversal. The cold wire is placed downstream of, and at right angles to, a wire of larger diameter which is pulsed with a short duration voltage pulse. The response of the cold wire to the change in the temperature of the flow is used to determine the time constant of the wire, once the pulsed wire time constant is known. Frequency responses based on measured time constants for cold wires of 2.5, 1.3, and 0.63 μm diameters are presented as a function of flow velocity.