gebhart/patrepeval huggingface dataset:
A Reconfigurable Generic Dual-Core Architecture (2006)

In this paper we propose a generic frame for the implementation of a dual-core processor with two modes of operation. One is the safety mode that allows to run the two cores in lock step in a classical master/checker fashion. A clock delay of 1.5 clock cycles between master and checker establishes the temporal redundancy to minimize the potential for common mode faults. The second operation mode allows a parallel execution of different instruction streams on the two cores in a multiprocessor fashion. The possibility to dynamically switch between the two modes allows for an efficient utilization of the duplicated core. We propose an implementation of such a generic frame that can be applied in conjunction with virtually any standard processor core. Also we perform a systematic failure analysis for the safety mode and the mode switching procedure. Experimental fault injection confirms that our reconfigurable architecture indeed provides the same fail safe properties as the classical master/checker architecture
Activation of Serotonin 2A Receptors Underlies the Psilocybin-Induced Effects on   Oscillations, N170 Visual-Evoked Potentials, and Visual Hallucinations (2013)

Visual illusions and hallucinations are hallmarks of serotonergic hallucinogen-induced altered states of consciousness. Although the serotonergic hallucinogen psilocybin activates multiple serotonin (5-HT) receptors, recent evidence suggests that activation of 5-HT2A receptors may lead to the formation of visual hallucinations by increasing cortical excitability and altering visual-evoked cortical responses. To address this hypothesis, we assessed the effects of psilocybin (215 μg/kg vs placebo) on both α oscillations that regulate cortical excitability and early visual-evoked P1 and N170 potentials in healthy human subjects. To further disentangle the specific contributions of 5-HT2A receptors, subjects were additionally pretreated with the preferential 5-HT2A receptor antagonist ketanserin (50 mg vs placebo). We found that psilocybin strongly decreased prestimulus parieto-occipital α power values, thus precluding a subsequent stimulus-induced α power decrease. Furthermore, psilocybin strongly decreased N170 potentials associated with the appearance of visual perceptual alterations, including visual hallucinations. All of these effects were blocked by pretreatment with the 5-HT2A antagonist ketanserin, indicating that activation of 5-HT2A receptors by psilocybin profoundly modulates the neurophysiological and phenomenological indices of visual processing. Specifically, activation of 5-HT2A receptors may induce a processing mode in which stimulus-driven cortical excitation is overwhelmed by spontaneous neuronal excitation through the modulation of α oscillations. Furthermore, the observed reduction of N170 visual-evoked potentials may be a key mechanism underlying 5-HT2A receptor-mediated visual hallucinations. This change in N170 potentials may be important not only for psilocybin-induced states but also for understanding acute hallucinatory states seen in psychiatric disorders, such as schizophrenia and Parkinson's disease.
A Framework for Efficient Adaptively Secure Composable Oblivious Transfer in the ROM (2017)

Oblivious Transfer (OT) is a fundamental cryptographic protocol that finds a number of applications, in particular, as an essential building block for two-party and multi-party computation. We construct a round-optimal (2 rounds) universally composable (UC) protocol for oblivious transfer secure against active adaptive adversaries from any OW-CPA secure public-key encryption scheme with certain properties in the random oracle model (ROM). In terms of computation, our protocol only requires the generation of a public/secret-key pair, two encryption operations and one decryption operation, apart from a few calls to the random oracle. In~terms of communication, our protocol only requires the transfer of one public-key, two ciphertexts, and three binary strings of roughly the same size as the message. Next, we show how to instantiate our construction under the low noise LPN, McEliece, QC-MDPC, LWE, and CDH assumptions. Our instantiations based on the low noise LPN, McEliece, and QC-MDPC assumptions are the first UC-secure OT protocols based on coding assumptions to achieve: 1) adaptive security, 2) optimal round complexity, 3) low communication and computational complexities. Previous results in this setting only achieved static security and used costly cut-and-choose techniques.Our instantiation based on CDH achieves adaptive security at the small cost of communicating only two more group elements as compared to the gap-DH based Simplest OT protocol of Chou and Orlandi (Latincrypt 15), which only achieves static security in the ROM.
[A flavinogenic mutant of the yeast Pichia guilliermondii with impaired iron transport]. (1976)

A mutant of the yeast Pichia guilliermondii was produced by means of UV; the mutant was capable of riboflavin overproduction in the presence of high concentrations of iron in the medium. The content of total and non-hemin iron and cytochrome c, and the activity of catalase, were lower in the cells of the mutant than in the parent cells, while the activity of riboflavin synthetase was higher. The content of iron in the cells increased when the mutant was cultivated on media with citric acid, siderochromes of Klebsiella aerogenes, Neurospora crassa, Rhodotorula glutinis, cultural broth of Pichia ohmeri, and autolysate of brewer's yeast, whereas the flavinogenous activity of the cells decreased. Rotenone inhibited respiration of the intact cells of the mutant producing elevated amounts of riboflavin; therefore, flavinogenesis was not regulated by non-hemin iron on the first segment of the respiratory chain. Overproduction of riboflavin in the mutant of Pichia guilliermondii was proved to be a recessive property.
Mass spectrometric estimation of gas permeation coefficients for thin polymer membranes (1999)

We have developed a new method to estimate the permeation coefficient of gases through polymer membranes. A fixed volume of gas is put in a gas cell and introduced into ultrahigh vacuum. After positioning the gas cell to face a quadrupole mass spectrometer, the partial pressure of the gases are measured as function of time. In a simple model, the partial pressure as function of time obeys an exponential law. A formula is derived to calculate the permeation coefficient with the time constant of the partial pressure decay and geometric parameters of the gas cell as input. Using these parameters the method gives absolute permeation values without calibration. If the time constant is difficult to establish (this may happen for membranes with a low permeation coefficient), the permeation coefficient can be estimated by extrapolating the partial pressure to t=0. The method can be used to study the permeation behavior of individual components of gas mixtures. The sample size can be about two orders of magnitude smaller than usually used in conventional permeation measurements. The method is illustrated with oriented polypropylene and polyethylene terephtalate membranes of different thickness. The estimated permeation coefficients are in reasonable agreement with values obtained from a control experiment using a gas chromatograph and with values from the literature.
Interaction of annexins IV and VI with phosphatidylserine in the presence of Ca2+ (1996)

Annexins, Ca2+- and phospholipid-binding proteins are known to bind to artificial and biological membranes in a calcium-dependent manner. However, the precise mechanism of the annexin-membrane interactions still remains to be studied in detail. In this paper we describe the results of studies on the interactions of the annexin/Ca complexes with phospholipids, obtained by the Wilhelmy balance method of assessing the surface pressure of a phospholipid monolayer. We show that the annexin IV/Ca as well as annexin VI/Ca complexes significantly reduce the surface pressure of a phosphatidylserine monolayer, when its initial value is close to collapse pressure. The effect is highly specific for monolayers composed of phosphatidylserine and strongly sensitive to pH and ionic strength. The most pronounced changes have been observed at pH 7.0-7.5, at a protein/Ca molar ratio of 1:2 for annexin IV and 1:4 for annexin VI. In the presence of sodium chloride at concentrations exceeding 400mM this effect was almost completely abolished. The obtained results point to the mainly electrostatic character of the annexin/phosphatidylserine interactions. In addition, using large multilamellar lipid vesicles and serine proteases, we demonstrate that annexins, when bound in a ternary complex with phospholipids and calcium ions, are partially protected against proteolysis. Our observation that annexin molecules, complexed with calcium ions, are protected against proteolytic attack in the presence of PS liposomes does not have to be necessarily explained in terms of partial penetration of protein within the membrane bilayer.
Flexible asymmetric supercapacitors based on ultrathin two-dimensional nanosheets with outstanding electrochemical performance and aesthetic property (2013)

Flexible asymmetric supercapacitors with excellent electrochemical performance and aesthetic property are realized by using ultrathin two-dimensional (2D) MnO2 and graphene nanosheets as cathode and anode materials, respectively. 2D MnO2 nanosheets (MSs) with a thickness of ca. 2 nm are synthesized with a soft template method for the first time, which achieve a high specific capacitance of 774 F g(-1) even after 10000 cycles. Asymmetric supercapacitors based on ultrathin MSs and graphene exhibit a very high energy density up to 97.2 Wh kg(-1) with no more than 3% capacitance loss after 10000 cycles in aqueous electrolyte. Most interestingly, we show that the energy storage device can have an aesthetic property. For instance, a "Chinese panda" supercapacitor is capable of lighting up a red light emitting diode. This work has another, quite different aspect that a supercapacitor is no longer a cold industry product, but could have the meaning of art.
Accelerometer evaluation report (1987)

Silicon micromachined accelerometers, developed under contract to Sandia by Endevco and Honeywell, were tested and evaluated. A commercial accelerometer by Entran and the Sandia-designed Quartz Digital Accelerometer were also included in the evaluation program. The test results are presented in this report.
Sur la perception des lumières brèves à la limite de leur portée (1911)

Pas de Résumé disponible
Strategic Considerations for First-Time Sovereign Bond Issuers (2008)

This Working Paper should not be reported as representing the views of the IMF.
Phosphorus doping of polycrystalline CdTe by diffusion (2015)

Phosphorus diffusion in single crystal and polycrystalline CdTe material is explored using various methods. Dynamic secondary ion mass spectroscopy (SIMS) is used to determine 1D P diffusion profiles. A 2D diffusion model is used to determine the expected cross-sectional distribution of P in CdTe after diffusion anneals. Time of flight SIMS and cross-sectional cathodoluminescence corroborates expected P distributions. Devices fabricated with diffused P exhibit hole concentrations up to low 10 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">15</sup> cm <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">-3</sup> , however a subsequent activation anneal enabled hole concentrations greater than 10 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">16</sup> cm <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">-3</sup> . CdCl <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> treatments and Cu based contacts were also explored in conjunction with the P doping process.
Synthesis and Rheological Behavior of Cross-Linkable Poly[<i>N</i>-(methacryl-2-ethyl)-<i>N</i>‘-(3-amino(1,2,4-triazole-2-yl))urea-<i>co</i>-methyl methacrylate] (2002)

A copolymer poly[N-(methacryl-2-ethyl)-N‘-(3-amino(1,2,4-triazole-2-yl) urea)-co-methyl methacrylate] (1) with a low M̄n value of about 1300 was prepared via free radical polymerization from the corresponding monomers N-methacrylethyl-N‘-triazoyl urea (2) and methyl methacrylate (3). The complex viscosity of a solution of 1 in N-methyl pyrrolidone decreases with increasing temperature up to 32 °C at the beginning and then passes a minimum at 38 °C. At higher temperatures of about 53 °C, it decreases again. DSC measurements of this solution indicates phase transitions because of two endothermic signals from 32 to 44 °C and from 53 to 74 °C. Furthermore, the copolymer 1 starts to cross-link rapidly above 130 °C. The mechanism of this cross-linking reaction is discussed with respect to a back-formation of isocyanate intermediate that reacts with nucleophiles.
Modification of the Leuven integrated friction model structure (2002)

This note presents a modification of the integrated friction model structure proposed by Swevers et al. (2000), called the Leuven model. The Leuven model structure allows accurate modeling both in the presliding and the sliding regimes without the use of a switching function. The model incorporates a hysteresis function with nonlocal memory and arbitrary transition curves. This note presents two modifications of the Leuven model. A first modification overcomes a recently detected shortcoming of the original Leuven model: a discontinuity in the friction force which occurs during certain transitions in presliding. A second modification, using the general Maxwell slip model to implement the hysteresis force, eliminates the problem of stack overflow, which can occur with the implementation of the hysteresis force.
Arthrometric evaluation of knees that have a torn anterior cruciate ligament. (1990)

We used the KT-1000 arthrometer to test the knees of 107 patients who had an acute tear of the anterior cruciate ligament, 153 patients who had a chronic tear, and 141 control subjects, for a total of 401 individuals. The three testing parameters were the extent of anterior translation at eighty-nine newtons of force and at maximum manual force, and the compliance index. The differences between the involved and the uninvolved knees were calculated. At eighty-nine newtons, all but one of the control subjects had anterior translation of ten millimeters or less, compared with 58 per cent of the patients who had a chronic tear. At maximum manual force, all but two of the control subjects had translation of ten millimeters or less, compared with 20 per cent of the patients who had an acute or a chronic tear. Analysis of variance showed that the clinical diagnosis correlated well with the results for all tests (p less than 0.001). However, when the uninjured knees of patients who had an acute or a chronic tear were compared with the knees of the control subjects, significant differences were noted (p less than 0.001 to 0.006). In the patients who had a chronic tear, there was no relationship between the time from injury to operation and the extent of anterior translation. The arthrometric test at maximum manual force was the strongest discriminant; it differentiated normal from abnormal knees (p less than 0.001) with high sensitivity (92 per cent), high specificity (95 per cent), and high positive predictive accuracy; the cut-off point was eleven millimeters or less.(ABSTRACT TRUNCATED AT 250 WORDS)
Phosphorylation of the Porcine Reproductive and Respiratory Syndrome Virus Nucleocapsid Protein (2002)

Porcine reproductive and respiratory syndrome virus (PRRSV) is a cytoplasmic RNA virus with the unique or unusual feature of having a nucleocapsid (N) protein that is specifically transported to the nucleolus of virus-infected cells. In this communication, we show that the N protein is a phosphoprotein. Phosphoamino acid analysis of authentic and recombinant N proteins demonstrated that serine residues were exclusively phosphorylated. The pattern of phosphorylated N protein cellular distribution in comparison with that of [(35)S]methionine-labeled N protein suggested that phosphorylation does not influence subcellular localization of the protein. Time course studies showed that phosphorylation occurred during, or shortly after, synthesis of the N protein and that the protein remained stably phosphorylated throughout the life cycle of the virus to the extent that phosphorylated N protein was found in the mature virion. Two-dimensional electrophoresis and acid-urea gel electrophoresis showed that one species of the N protein is predominant in virus-infected cells, suggesting that multiple phosphorylated isoforms of N do not exist.
Fast-response high-quality rectifier with sliding-mode control (2002)

A PWM rectifier, including an uncontrolled rectifier and a Cuk power converter stage driven by a sliding-mode controller, is described. Similar to other high-quality rectifiers, this solution allows low distortion and in-phase line current. Due to the sliding-mode control, a fast and stable response is achieved, in spite of the large output filter. Control complexity is the same as standard current-mode controls, Converter analysis, design criteria, and experimental results are presented.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
MPEG‐hexPLA Micelles as Novel Carriers for Hypericin, a Fluorescent Marker for Use in Cancer Diagnostics (2010)

Ovarian cancer is the most common gynecological cancer diagnosed in Western countries. Detection of micrometastases at an early stage of the disease could lead to a cure rate of 90% by limiting the spread of the disease outside the ovaries. In this article, hypericin (Hy), a hydrophobic photosensitizer used for the photodynamic diagnosis (PD) of ovarian cancer, was efficiently incorporated into a core of micelles made from methoxy-poly(ethylene glycol) and hexyl-substituted poly(lactides) copolymers. The fate of these micelles following intravenous injection was studied in vivo in two ovarian tumor-bearing animal models. In the chick embryo chorioallantoic membrane model, 17 times more Hy accumulated in tumor nodules when Hy was delivered with micelles than when Hy was delivered as an ethanol solution. Studies of the biodistribution of Hy in Fisher rats revealed escape of these nanosized micelles (<32 nm) from the mononuclear phagocyte system. Hy-loaded micelles showed maximal accumulation in tumors and demonstrated the best tumor/muscle contrast visible 3 h after injection in the rat model. The rapid and highly selective accumulation of Hy in tumors that we demonstrated in this study suggests that these micelle formulations could be used for the PD of ovarian cancer in the future.
Automated analysis of interatomic contacts in proteins. (1999)

Both LPC and CSU can be accessed through the PDB and are integrated in the 3DB Atlas page of all PDB files. For any given file, the tools can also be accessed at http://www.pdb.bnl. gov/pdb-bin/lpc?PDB_ID= and http://www.pdb.bnl. gov/pdb-bin/csu?PDB_ID= with the four-letter PDB code added at the end in each case. Finally, LPC and CSU can be accessed at: http://sgedg.weizmann.ac.il/lpc and http://sgedg.weizmann.ac.il/csu.
Spatial spectrum sharing-based carrier aggregation for heterogeneous networks (2012)

This paper considers spatial spectrum sharing-based carrier aggregation (SSS-CA) from a game theoretic perspective. In SSS-CA, a network operator can not only transmit on its own licensed spectrum but it can also access and aggregate the licensed spectrum of other operators on payment of a certain price. The difference between operators and the aggregators in each licensed spectrum makes this network heterogeneous. We first model the pairing problem between potential operators as a pairing game and then derive the condition for which both operators are incentivized to form an SSS-CA pair. We then introduce the power control game to derive the optimal transmit power of each spectrum aggregator. Finally, we consider the pricing optimization problem by forming a pricing adjustment game. We observe that these three problems are linked by the price function of the operators and hence can be jointly optimized by using a hierarchical game theoretic framework. We derive the Stackelberg equilibrium for the pricing and power joint optimization problem and present the numerical results to compare the performance improvement brought by our proposed joint optimization method.
Individual models of color differentiation to improve interpretability of information visualization (2010)

Color is commonly used to represent categories and values in many computer applications, but differentiating these colors can be difficult in many situations (e.g., for users with color vision deficiency (CVD), or in bright light). Current solutions to this problem can adapt colors based on standard simulations of CVD, but these models cover only a fraction of the ways in which color perception can vary. To improve the specificity and accuracy of these approaches, we have developed the first ever individualized model of color differentiation (ICD). The model is based on a short calibration performed by a particular user for a particular display, and so automatically covers all aspects of the user's ability to see and differentiate colors in an environment. In this paper we introduce the new model and the manner in which differentiability limits are predicted. We gathered empirical data from 16 users to assess the model's accuracy and robustness. We found that the model is highly effective at capturing individual differentiation abilities, works for users with and without CVD, can be tuned to balance accuracy and color availability, and can serve as the basis for improved color adaptation schemes.
Design and implementation of an automatic road network map processing system using GPS technology (2004)

Summary form only given. We present a reverse use of GPS technology. Instead of using a GPS receiver as a locator, we use it to create road network maps that contain different types of features such as crossovers, roundabouts, different street levels, and different lanes. The principle of our system consists mainly in: (1) collecting data using GPS technology; (2) processing the collected data to generate road segments, and sidewalks; (3) computing all the intersection types between road segments to generate their related nodes: crossovers, roundabouts and crossroads; (4) generating the network structure to provide the query facilities such as shortest path, closest-path, and real-time tracking of a given object. The system consists of two parts, the mobile station and the base station. The first step of the map construction is done in the mobile station. Currently, this step is done manually by a human operator to enter information about the number of lanes in the road and their levels. All the other steps of the map construction are processed automatically in the base station.