gebhart/patrepeval huggingface dataset:
Bulletproofs: Short Proofs for Confidential Transactions and More (2018)

We propose Bulletproofs, a new non-interactive zero-knowledge proof protocol with very short proofs and without a trusted setup; the proof size is only logarithmic in the witness size. Bulletproofs are especially well suited for efficient range proofs on committed values: they enable proving that a committed value is in a range using only 2 log_2(n)+9 group and field elements, where n is the bit length of the range. Proof generation and verification times are linear in n. Bulletproofs greatly improve on the linear (in n) sized range proofs in existing proposals for confidential transactions in Bitcoin and other cryptocurrencies. Moreover, Bulletproofs supports aggregation of range proofs, so that a party can prove that m commitments lie in a given range by providing only an additive O(log(m)) group elements over the length of a single proof. To aggregate proofs from multiple parties, we enable the parties to generate a single proof without revealing their inputs to each other via a simple multi-party computation (MPC) protocol for constructing Bulletproofs. This MPC protocol uses either a constant number of rounds and linear communication, or a logarithmic number of rounds and logarithmic communication. We show that verification time, while asymptotically linear, is very efficient in practice. The marginal cost of batch verifying 32 aggregated range proofs is less than the cost of verifying 32 ECDSA signatures. Bulletproofs build on the techniques of Bootle et al. (EUROCRYPT 2016). Beyond range proofs, Bulletproofs provide short zero-knowledge proofs for general arithmetic circuits while only relying on the discrete logarithm assumption and without requiring a trusted setup. We discuss many applications that would benefit from Bulletproofs, primarily in the area of cryptocurrencies. The efficiency of Bulletproofs is particularly well suited for the distributed and trustless nature of blockchains. The full version of this article is available on ePrint.
Polyethylenimine-Grafted Cellulose Nanofibril Aerogels as Versatile Vehicles for Drug Delivery (2015)

Aerogels from polyethylenimine-grafted cellulose nanofibrils (CNFs-PEI) were developed for the first time as a novel drug delivery system. The morphology and structure of the CNFs before and after chemical modification were characterized by scanning electron microscopy (SEM), Fourier transform infrared spectroscopy (FTIR), and X-ray photoelectron spectroscopy (XPS). Water-soluble sodium salicylate (NaSA) was used as a model drug for the investigation of drug loading and release performance. The CNFs-PEI aerogels exhibited a high drug loading capability (287.39 mg/g), and the drug adsorption process could be well described by Langmuir isotherm and pseudo-second-order kinetics models. Drug release experiments demonstrated a sustained and controlled release behavior of the aerogels highly dependent on pH and temperature. This process followed quite well the pseudo-second-order release kinetics. Owing to the unique pH- and temperature-responsiveness together with their excellent biodegradability and biocompatibility, the CNFs-PEI aerogels were very promising as a new generation of controlled drug delivery carriers, offering simple and safe alternatives to the conventional systems from synthetic polymers.
MEMS for wireless communications:  from RF-MEMS components to RF-MEMS-SiP  (2003)

Wireless communication has led to an explosive growth of emerging consumer and military applications of radio frequency (RF), microwave and millimeter wave circuits and systems. Future personal (hand-held) and ground communications systems as well as communications satellites necessitate the use of highly integrated RF front-ends, featuring small size, low weight, high performance and low cost. Continuing chip scaling has contributed to the extent that off-chip, bulky passive RF components, such as high-Q inductors, ceramic and SAW filters, varactor diodes and discrete PIN diode switches, have become limiting. Micro-machining or MEMS technology is now rapidly emerging as an enabling technology to yield a new generation of high-performance RF-MEMS passives to replace these off-chip passives in wireless communication (sub)systems. This paper reviews the progress in RF-MEMS from a device and integration perspective. The worldwide state-of-the-art of RF-MEMS devices including switches, variable capacitors, resonators and filters are described. Next, it is stipulated how integration of RF-MEMS passives with other passives (as inductors, LC filters, SAW devices, couplers and power dividers) and, active circuitry (ASICs, RFICs) can lead to the so-called RF-MEMS system-in-a-package (RF-MEMS-SiP) modules. The evolution of the RF-MEMS-SiP technology is illustrated using IMEC's microwave multi-layer thin-film MCM-D technology which today already serves as a technology platform for RF-SiP.
Psychological Distress, Comorbidities, and Health Behaviors among U.S. Adults with Seizures: Results from the 2002 National Health Interview Survey (2005)

Our findings suggest that it is advisable for health care professionals to assess psychiatric and physical comorbidities among patients with a history of seizures potentially to improve patient health outcomes. Furthermore, public health surveillance systems should include questions on seizures, epilepsy, and mental health to better examine associations among these disorders and to better identify populations meriting further assessment and intervention.
Expression of disulphide-bridge-dependent conformational epitopes and immunogenicity of the carboxy-terminal 19 kDa domain of Plasmodium yoelii merozoite surface protein-1 in live attenuated Salmonella vaccine strains (1999)

The 19 kDa carboxy-terminal domain of Plasmodium yoelii merozoite surface protein-1 (MSP1(19)) was expressed in Salmonella vaccine strains as a carboxy-terminal fusion to fragment C of tetanus toxin (TetC). This study demonstrates that antibodies that recognize disulphide-dependent conformational epitopes in native MSP1 react with the TetC-MSP1(19) fusion protein expressed in Salmonella. The proper folding of MSP1(19) polypeptide is dependent on both the Salmonella host strain and the protein to which the MSP1(19) polypeptide is fused. Serum from mice immunized with Salmonella typhimurium C5aroD expressing TetC-MSP1(19) recognized native MSP1 as shown by immunofluorescence with P. yoelii-infected erythrocytes. Antibody levels to MSP1(19) were highest in out-bred mice immunized with S. typhimurium C5aroD carrying pTECH2-MSP1(19) and antibody was mostly directed against reduction-sensitive conformational epitopes. However, antibody levels were lower than in BALB/c mice immunized with a glutathione S-transferase (GST)-MSP1(19) fusion protein in Freund's adjuvant, and which were protected against P. yoelii challenge infection. In challenge experiments with P. yoelii the Salmonella-immunized mice were not protected, probably reflecting the magnitude of the antibody response. The results of this study have important implications in the design of live multivalent bacterial vaccines against eukaryotic pathogens.
Security Domains: Key Management in Large-Scale Systems (2000)

In large-scale systems, partitioning keys among higher-level structures becomes necessary. Establishing and managing these structures as security domains requires an underlying infrastructure to securely provide local services.
Hematopoietic Stem Cell Mobilization–Associated Granulocytosis Severely Worsens Acute Renal Failure (2004)

Acute renal failure (ARF), resulting from ischemic or toxic insults, remains a major health care problem because of its grave prognosis and the limited effectiveness of available treatment modalities. On the basis of the recent demonstration that hematopoietic stem cells can differentiate into renal cells and the authors' observation here that ARF results in a rise in peripheral CD34+ cells, the authors tested whether a further increase in circulating stem cell numbers, induced by their mobilization from the bone marrow, would improve renal function and outcome in mice with ischemic ARF. Unexpected, it was found that the boosting of peripheral stem cell numbers failed to exert any renoprotective effects but rather was associated both with greatly increased severity of renal failure and mortality. Because identical ischemic injury in neutropenic mice resulted in milder renal insufficiency and significantly reduced mortality, it was deduced that the adverse effects of pharmacologic stem cell mobilization are primarily mediated by the concomitant induction of marked granulocytosis. In this manner, high numbers of activated granulocytes seem to obscure the potential renoprotective and positive survival effects of pluripotent hematopoietic stem cells, mediated by both their injurious renal and systemic actions. The data strongly argue against the clinical use of granulocytosis-inducing hematopoietic stem cell mobilization protocols for the prevention or treatment of ischemic ARF. Additional caution with this regimen may be warranted in patients with underlying renal insufficiency and those who develop renal insufficiency while undergoing stem cell mobilization in preparation for an autologous bone marrow transplant.
Microbiological water purification without the use of chemical disinfection (2000)

These units comply with the criteria guidelines for microbial removal under the United States Environmental Protection Agency's "Guide Standard and Protocol for Testing Microbiological Water Purifiers."
On the cutting edge of organ renewal: Identification, regulation, and evolution of incisor stem cells (2013)

The rodent incisor is one of a number of organs that grow continuously throughout the life of an animal. Continuous growth of the incisor arose as an evolutionary adaptation to compensate for abrasion at the distal end of the tooth. The sustained turnover of cells that deposit the mineralized dental tissues is made possible by epithelial and mesenchymal stem cells residing at the proximal end of the incisor. A complex network of signaling pathways and transcription factors regulates the formation, maintenance, and differentiation of these stem cells during development and throughout adulthood. Research over the past 15 years has led to significant progress in our understanding of this network, which includes FGF, BMP, Notch, and Hh signaling, as well as cell adhesion molecules and micro-RNAs. This review surveys key historical experiments that laid the foundation of the field and discusses more recent findings that definitively identified the stem cell population, elucidated the regulatory network, and demonstrated possible genetic mechanisms for the evolution of continuously growing teeth.
Pathological Evolution of Early Hepatocellular Carcinoma (2002)

Recent remarkable advances in the study of tumorigenesis for hepatocellular carcinoma have implicated a pivotal role of dedifferentiation, which is supported by morphology and experimental evidence. Understanding the mechanism of how hepatocellular carcinoma develops would help plan strategies for a better prognosis for the patients suffering from it.
The T-wing tail-sitter unmanned air vehicle: From design concept to research flight vehicle (2004)

This paper considers the key aspects of the development of the T-Wing tail-sitter unmanned air vehicle (UAV), starting from a novel concept through to the current flight test vehicle. The T-Wing is a twin-engine UAV that relies on propeller wash over its elevons and rudders for control during low-speed vertical flight but performs the majority of its mission in wing-borne horizontal flight. The foundation for the successful development of the T-Wing to date is the integrated aerodynamic and propulsion analysis of the wing-propeller interaction. This is critical for the vehicle' vertical flight controllability and feeds directly into other key areas of the overall development process, including the use of multi-disciplinary optimization for preliminary vehicle design and the development of an extensive six-degree-of-freedom non-linear simulation of the vehicle to aid in control system design. This paper also presents some of the testing that has been used to support the analysis. This has allowed the T-Wing to progress from a paper concept to a flying research UAV.
A phase I/II trial of recombinant granulocyte-macrophage colony- stimulating factor for children with aplastic anemia (1990)

Nine pediatric patients (median age, 8 years; range, 0.7 to 19 years), eight with refractory aplastic anemia and one with newly diagnosed aplasia, were enrolled in a phase I/II trial of recombinant human granulocyte-macrophage colony-stimulating factor (rhGM-CSF) administered via continuous intravenous infusion. Doses ranged from 8 to 32 micrograms/kg/d. Six of eight evaluable patients responded with a significant rise in neutrophil count (median fourfold increase; range, 2.5- to 31-fold) during the 28-day induction period. Five patients completed 2 further months of therapy (maintenance) with persistent or improved neutrophil responses. Three patients had bone marrow aspirates suggestive of increased erythropoiesis, although only one patient had improvement in peripheral hematocrit and platelet count. In the five patients completing maintenance, three experienced a rapid return to baseline counts after rhGM-CSF was discontinued, one maintained a neutrophil response for 2 months after drug discontinuation, and one has maintained a trilineage response for greater than 1 year off study. Drug therapy was well tolerated. Toxicity was minimal at doses from 8 to 16 micrograms/kg/d. Fever and rash were more commonly seen at 32 micrograms/kg/d. No patient developed an infection during the course of rhGM-CSF administration. These results demonstrate that rhGM-CSF increases peripheral neutrophil counts in children with refractory and newly diagnosed aplastic anemia and may be able to stimulate a multilineage response in a more limited number. Randomized, prospective trials are necessary to determine if rhGM-CSF administration will impact favorably on the morbidity and mortality of severe aplastic anemia.
Prospects for transcranial temporal interference stimulation in humans: a computational study (2019)

Abstract Transcranial alternating current stimulation (tACS) is a noninvasive method used to modulate activity of superficial brain regions. Deeper and more steerable stimulation could potentially be achieved using transcranial temporal interference stimulation (tTIS): two high-frequency alternating fields interact to produce a wave with an envelope frequency in the range thought to modulate neural activity. Promising initial results have been reported for experiments with mice. In this study we aim to better understand the electric fields produced with tTIS and examine its prospects in humans through simulations with murine and human head models. A murine head finite element model was used to simulate previously published experiments of tTIS in mice. With a total current of 0.776 mA, tTIS electric field strengths up to 383 V/m were reached in the modeled mouse brain, affirming experimental results indicating that suprathreshold stimulation is possible in mice. Using a detailed anisotropic human head model, tTIS was simulated with systematically varied electrode configurations and input currents to investigate how these parameters influence the electric fields. An exhaustive search with 88 electrode locations covering the entire head (146M current patterns) was employed to optimize tTIS for target field strength and focality. In all analyses, we investigated maximal effects and effects along the predominant orientation of local neurons. Our results showed that it was possible to steer the peak tTIS field by manipulating the relative strength of the two input fields. Deep brain areas received field strengths similar to conventional tACS, but with less stimulation in superficial areas. Maximum field strengths in the human model were much lower than in the murine model, too low to expect direct stimulation effects. While field strengths from tACS were slightly higher, our results suggest that tTIS is capable of producing more focal fields and allows for better steerability. Finally, we present optimal four-electrode current patterns to maximize tTIS in regions of the pallidum (0.37 V/m), hippocampus (0.24 V/m) and motor cortex (0.57 V/m).
STAT1 Plays a Critical Role in the Regulation of Antimicrobial Effector Mechanisms, but Not in the Development of Th1-Type Responses during Toxoplasmosis (2004)

The production of IFN-gamma by T cells and the ability of this cytokine to activate the transcription factor STAT1 are implicated in the activation of antimicrobial mechanisms required for resistance to intracellular pathogens. In addition, recent studies have suggested that the ability of STAT1 to inhibit the activation of STAT4 prevents the development of Th1 responses. However, other studies suggest that STAT1 is required to enhance the expression of T-bet, a transcription factor that promotes Th1 responses. To address the role of STAT1 in resistance to T. gondii, Stat1-/- mice were infected with this pathogen, and their response to infection was assessed. Although Stat1-/- mice produced normal serum levels of IL-12 and IFN-gamma, these mice were unable to control parasite replication and rapidly succumbed to this infection. Susceptibility to toxoplasmosis was associated with an inability to up-regulate MHC expression on macrophages, defects in NO production, and the inability to up-regulate some of the IFN-inducible GTPase family of proteins, molecules associated with antitoxoplasma activity. Analysis of T cell responses revealed that STAT1 was not required for the development of a Th1 response, but was required for the infection-induced up-regulation of T-bet. Together these studies suggest that during toxoplasmosis the major role of STAT1 is not in the development of protective T cell responses, but, rather, STAT1 is important in the development of antimicrobial effector mechanisms.
Concrete–fiber-reinforced polymer interfacial bond monitoring with self-triggering sensors (2018)

External bonding with fiber-reinforced polymers is currently one of the most popular technologies for rehabilitation of concrete structures. However, the effectiveness of the technology largely depends on the strength of the bond between the fiber-reinforced polymer laminate and the concrete substrate. This article provides a system to monitor the loss of bond between the fiber-reinforced polymer laminate and the concrete. Fiber optic sensors are broadly accepted as a structural health monitoring device for fiber-reinforced polymer materials by integrating the sensors into the host material. A recent development in fiber optic sensor technology is the mechanoluminescence-based optoelectronic sensors. Concrete beams strengthened with multifunctional fiber-reinforced polymer laminates were tested in shear using these sensors to evaluate the bond strength of the composite system. The sensors showed response to shear stress transfer in the adhesive layer which was observed to be as low as 2 MPa. The inclusion of sensors does not affect the bond strength (3.35 MPa), for both beams with sensors and without sensors. Real-time failure detection of fiber-reinforced polymer–strengthened beams was successfully achieved in this study. In future, the scheme aims at providing a tool to reduce the response time and decision making involved in the maintenance of deficient structures.
Resonant Switches - A Unified Approach to Improve Performances of Switching Converters (1984)

In searching for a general "zero-current-Switching" technique for DC-DC converters, the concept of resonant switches is developed. As a combination of switching device and LC network, the resonant switch offers advantages of quasi-sinusoidal current waveforms, zero switching stresses, zero switching losses, self-commutation, and reduced EMI. Furthermore, application of the resonant switch concept to conventional converters leads to the discovery of a host of new converter circuits.
The molecular biology of chronic lymphocytic leukemia (2019)

Research in chronic lymphocytic leukemia (CLL) has identified a large number of prognostic factors that can be used to help identify those patients who are at high risk for disease progression. Prognostic factors that can be used to identify patients who require treatment include clinical features, and genetic, molecular, and biochemical characteristics of the CLL cells. Richter transformation represents the clinicopathological transformation of CLL into aggressive lymphoma, most commonly diffuse large B-cell lymphoma, or more rarely Hodgkin lymphoma. CLL is associated with significant immune suppression and infectious complications are a major cause of morbidity and mortality in the disease. Increased expression of miR-155 is associated with enhanced B-cell receptor (BCR) signaling, B cell proliferation, and lymphomagenesis. Treatment options are changing, and novel agents, notably BCR-signaling inhibitors and BCL2 inhibitors, are highly effective agents that have activity among patients who would have been considered high risk when the only option was conventional chemotherapy.
Top Picks (2019)

The articles in this special section are from a selection of 2018 conference articles that have the most potential to influence the work of computer architects in the near future. IEEE Micro has had this tradition of evaluating papers from the previous year’s architecture conferences and selecting the papers with the most novelty and potential for long-term impact. IEEE Micro has selected such a compendium of papers for the last 15 years, and the magazine is upholding the tradition this year as well. Any article published in top architecture conferences during 2018 was eligible to compete for the Top Picks honor.
Techniques for debugging parallel programs with flowback analysis (1991)

In solving a problem of this sort, the grand thing is to be able to reason backward This is a very useful accomplishment, and a very easy one, but people do not practise it much In the everyday affairs of life it is more useful to reason forward, and so the other comes to be neglected. There are fifty who can reason synthetically for one who can reason analytically, "Let me see if I can make It clearer. Most people, if you describe a train of events to them, will tell you what the result would be, They can put those events together in their mmds, and argue from them that something will come to pass. There are few people, however, who, if told them a result, would be able to evolve from their own inner consciousness what the steps were which led up to that result. This power is what I mean when I talk of reasoning backward, or analytically.