gebhart/patrepeval huggingface dataset:
Preventing interrupt overload (2005)

Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all previous work on CPU scheduling has focused on thread-level scheduling, resulting in systems that are vulnerable to a lower-level form of overload that occurs when too many interrupts arrive. This paper describes three new techniques, two software-based and one hardware-based, for creating systems that delay or drop excessive interrupt requests before they can overload a processor. Our interrupt schedulers bound both the amount of work performed in interrupt context and its granularity, making it possible to provide strong progress guarantees to thread-level processing. We show that our solutions work and are efficient when implemented on embedded processors. We have also taken a description for a microprocessor in VHDL, modified it to include logic that prevents interrupt overload, synthesized the processor, and verified that it works using simulation. By allowing developers to avoid making assumptions about the worst-case interrupt rates of peripherals, our work fills an important gap in the chain of reasoning leading to a validated system. These techniques cannot replace careful system design, but they do provide a last-ditch safety guarantee in the presence of a serious malfunction.
The synthesis of benzofuroquinolines. III. Two dihydroxybenzofuroquinolinones (1984)

Abstract Two dihydroxybenzofuroquinolinones, 3,9‐dihydroxy‐5 H ‐benzofuro[3,2‐ c ]quinolin‐6‐one (V) and 3,8‐dihydroxy‐6 H ‐benzofuro[2,3‐ b ]quinolin‐11‐one (VI), were obtained by the demethyl‐cyclization of 3‐(2,4‐dimethoxyphenyl)‐4‐hydroxy‐7‐methoxy‐1 H ‐quinolin‐2‐one (IV). By the methylation with diazomethane, V gave a dimethylated compound (VII), while VI gave a trimethylated compound (VIII).
Food Security and Community Hubs (2009)

The ways in which better community hubs can be designed by considering their role as a place where people can learn about food, grow it and enjoy it and the land its grown on are discussed. The varied roles that community hubs can play are highlighted.
Expression and function of cell surface extracellular matrix receptors in mouse blastocyst attachment and outgrowth. (1988)

Mouse-hatched blastocysts cultured in vitro will attach and form outgrowths of trophoblast cells on appropriate substrates, providing a model for implantation. Immediately after hatching, the surfaces of blastocysts are quiescent and are not adhesive. Over the period 24-36 h post-hatching, blastocysts cultured in serum-free medium become adhesive and attach and spread on the extracellular matrix components fibronectin, laminin, and collagen type IV in a ligand specific manner. Attachment and trophoblast outgrowth on these substrates can be inhibited by addition to the culture medium of an antibody, anti-ECMr (anti-extracellular matrix receptor), that recognizes a group of 140-kD glycoproteins similar to those of the 140-kD extracellular matrix receptor complex (integrin) recognized in avian cells by CSAT and JG22 monoclonal antibodies. Addition to the culture medium of a synthetic peptide containing the Arg-Gly-Asp tripeptide cell recognition sequence of fibronectin inhibits trophoblast outgrowth on both laminin and fibronectin. However, the presence of the peptide does not affect attachment of the blastocysts to either ligand. Immunoprecipitation of 125I surface-labeled embryos using anti-ECMr reveals that antigens recognized by this antibody are exposed on the surfaces of embryos at a time when they are spreading on the substrate, but are not detectable immediately after hatching. Immunofluorescence experiments show that both the ECMr antigens and the cytoskeletal proteins vinculin and talin are enriched on the cell processes and ventral surfaces of trophectoderm cells in embryo outgrowths, in patterns similar to those seen in fibroblasts, and consistent with their role in adhesion of the trophoblast cells to the substratum.
High-Dose IL2 in Metastatic Melanoma: Better Survival in Patients Immunized with Antigens from Autologous Tumor Cell Lines (2013)

Abstract Various published data show that in patients with metastatic melanoma, high-dose interleukin-2 (IL2) is associated with 5-year survival rates of 15% from treatment initiation. We previously reported a median survival of 15.6 months, and a 20% 5-year survival rate for 150 patients who were treated with inpatient IL2 (Cancer Biother Radiopharm 2012;27:337). In the current study, we sought to determine whether treatment with active specific immunotherapy (ASI) with patient-specific tumor stem cell vaccines derived from autologous tumor cell (TC) lines contributed to the survival result. Existing databases revealed that 32/149 IL2-treated patients also received ASI, while 117 did not. ASI was given within 12 months of IL2 therapy in 19/32 patients. Patients who received IL2 plus ASI had better overall survival (p<0.001) with longer median survival (39.5 vs. 12.0 months) and a higher 5-year survival rate (39% vs. 13%). Survival was better even after exclusion of 55 IL2-alone patients who died before 12 months of follow-up (p=0.12). In subset analyses, survival was longer for 25 patients who received ASI after IL2 than for 7 who received ASI before IL2 (5-year survival 46% vs. 14%, p<0.001) and for 16 patients who received a dendritic cell/TC-based ASI compared with 16 injected with irradiated TC (p=0.17). This retrospective study suggests that receipt of IL2 followed by a patient-specific melanoma stem cell vaccine is associated with better survival than IL2 alone.
A circular beam spot and low threshold current laser diode with reverse-v-shape layer (2001)

A laser with a reverse-V-shape layer exhibits a circular beam spot and low threshold current. The beam aspect ratio of the reverse-V-shape laser is clarified to be insensitive to reverse-V-shape width. The reverse-V-shape layer consists of a strained active layer and a passive guide layer, which leads to a low threshold current. The reverse-V-shape laser is attractive as an optical source for optical-communication and information systems.
Internet X.509 Public Key Infrastructure (PKI) Proxy Certificate Profile (2004)

This document forms a certificate profile for Proxy Certificates,
based on X.509 Public Key Infrastructure (PKI) certificates as defined
in RFC 3280, for use in the Internet. The term Proxy Certificate is
used to describe a certificate that is derived from, and signed by, a
normal X.509 Public Key End Entity Certificate or by another Proxy
Certificate for the purpose of providing restricted proxying and
delegation within a PKI based authentication system. [STANDARDS-TRACK]
Secure Route Optimization for MIPv6 Using Enhanced CGA and DNSSEC (2013)

With mobile phones evolving every year, it is no surprise that recent surveys have shown that the worldwide number of mobile phone subscriptions reached 5.6 billion in 2011, becoming the largest pool of interconnected devices. Since mobile IP is the most-used protocol by mobile operators, the obvious solution to support more users in their network would be to replace it with MIPv6. In addition to integrating the newest IP stack, MIPv6 adds an important feature meant to replace the inefficient triangle routing by allowing an MN to communicate bidirectionally with the CN without passing through its home agent. However, the lack of preshared information between the MN and CN makes security for this RO mechanism a difficult challenge. MIPv6 adopts the RR mechanism that is only to verify the MN reachability in both its home address and care-of address without being a security feature. Other works have attempted to solve the multiple security issues in RR, but either their design was flawed or their assumptions were unrealistic. This paper presents a secure MIPv6 with a secure and efficient RO that uses DNSSEC to validate CGAs from trusted domains and provides strong authentication rather than the weak sender invariance security property. It integrates an enhanced cryptographically generated address (ECGA) based on a backward key chain that offers support to bind multiple logically linked CGAs together. ECGA tackles the time-memory tradeoff attacks with high efficiency. The validation through both AVANTSSAR and AVISPA platforms show that the proposed solution has no security flaw while still being lightweight in signaling messages on the radio network.
Analysis of Fatigue Data with Runouts Based on a Model with Nonconstant Standard Deviation and a Fatigue Limit Parameter (1997)

Abstract The fatigue-limit model studied here contains an unknown fatigue limit parameter. Under this model, specimens tested below this fatigue-limit level of stress will never fail. The model also allows the standard deviation of fatigue life to be a function of stress. Researchers can use this model to describe the standard deviation and stress dependence in fatigue data. To illustrate its application, we use maximum likelihood methods to fit the model to fatigue data on a nickel base superalloy. Modern statistical methods based on likelihood ratio provide confidence intervals for the fatigue limit parameter. We also study the effect that test length has on estimation by analyzing simulated data sets based on this model. Through this simulation study, we gain insight into practical test lengths for future fatigue experiments.
Modulation of carcinoembryonic antigen release by glucosylceramide (1998)

Previous work suggested that glucosylceramide (GlcCer) plays a role in the regulation of cell differentiation of HT29 human colon tumor cells. In the present study, we investigated the role of GlcCer in the cellular release of carcinoembryonic antigen (CEA), a marker for cell differentiation. This was done by modulating the intracellular level of the glycolipid, according to two different approaches. The cells were treated with D,L-threo-1-phenyl-2-decanoylamino-3-morpholino-1-propanol (PDMP), which resulted in a specific lowering of the cellular GlcCer pool. Alternatively, by exogenous addition of a short-chain analog of the lipid, hexanoyl(C6)-GlcCer, the cellular pool was enhanced. The results demonstrate that PDMP causes an increase in the release of CEA, while exogenous C6-GlcCer suppresses its release. Furthermore, the enhanced release of CEA in the presence of PDMP, could be completely reversed upon exogenous addition of C6-GlcCer. Control experiments reveal that a potential interference of the well-known modulator of cell physiology, ceramide (Cer), can be excluded. Long-term depletion of GlcCer resulted in a change in a morphological feature of differentiation of the cells, i.e. an increase in apical membrane surface with microvilli brush borders, accompanied by an enhanced expression of the cytoskeletal protein villin. These results, together with the observations on modulation of the differentiation marker CEA by GlcCer, provide support for the conclusion that GlcCer interferes with the differentiation of HT29 cells.
Application of Laser-Excited Raman Spectroscopy to Organic Chemistry. III. A Skeletal Frequency Correlation for Cedrane-Type Molecules (1970)

The use of Raman spectroscopy in the determination of complex molecular structure is discussed. For 12 cedranes, five of the seven most intense bands observed between 900 and 500 cm −1 appear in a series of relatively narrow wavenumber ranges, and these are correctable with the cedrane skeleton. A band of variable intensity at ca. 320 cm −1 , characterized by a ρ value of 0.2–0.4, may be included in the correlation pattern.
Articulatory characteristics and variation of Korean laterals* (2019)

Lateral approximants are well known as having complex articulatory characteristics, which vary cross-linguistically, across speakers, and across utterances. However, less attention has been paid to the articulation of Korean laterals, which do not contrast with a rhotic and may thus exhibit greater-than-normal variability. The focus of this study is to investigate the general articulatory characteristics of the Korean lateral [l] as well as the articulatory variation using novel 3D ultrasound imaging methods. The results of this study revealed significant between-speaker variation and some vowel-dependent variation with regard to the articulation of the Korean lateral [l], which has not been reported previously. Even though all participants in this study showed an anterior occlusion, the place of articulation and the size of the occlusion varied greatly across speakers. The data also revealed that left-right asymmetry is present in the articulation of the Korean lateral. The individual variation of the Korean lateral [l] suggests that it has a large articulatory-acoustic space for variation, since it has no contrasting sound that causes perceptual confusion.
Multi-Disciplinary Analysis of a Geared Fan Intercooled Core Aero-Engine (2013)

Reduction of CO2 emissions is strongly linked with the improvement of engine specific fuel consumption, as well as the reduction of engine nacelle drag and weight. One alternative design approach to improving specific fuel consumption is to consider a geared fan combined with an increased overall pressure ratio intercooled core performance cycle. Thermal benefits from intercooling have been well documented in the literature. Nevertheless, there is very little information available in the public domain with respect to design space exploration of such an engine concept when combined with a geared fan. The present work uses a multidisciplinary conceptual design tool to analyse the option of an intercooled core geared fan aero engine for long haul applications with a 2020 entry into service technology level assumption. With minimum mission fuel in mind, the results indicate as optimal values a pressure ratio split exponent of 0.38 and an intercooler mass flow ratio just below 1.2 at hot-day top of climb conditions. At ISA mid-cruise conditions a specific thrust of 86m/s, a jet velocity ratio of 0.83, an intercooler effectiveness of 55% and an overall pressure ratio value of 76 are likely to be a good choice. A 70,000lbf intercooled turbofan engine is large enough to make efficient use of an all-axial compression system, particularly within a geared fan configuration, but intercooling is perhaps more likely to be applied to even larger engines. The proposed optimal jet velocity ratio is actually higher than the value one would expect by using standard analytical expressions primarily because this design variable affects core efficiency at mid-cruise due to a combination of several different subtle changes to the core cycle and core component efficiencies at this condition. Analytical expressions do not consider changes in core efficiency and the beneficial effect of intercooling on transfer efficiency, nor account for losses in the bypass duct and jet pipe, whilst a relatively detailed engine performance model such as the one utilised in this study does. Mission fuel results from a surrogate model are in good agreement with the results obtained from a rubberised-wing aircraft model for some of the design parameters. This indicates that it is possible to replace an aircraft model with specific fuel consumption and weight penalty exchange rates. Nevertheless, drag count exchange rates have to be utilised to properly assess changes in mission fuel for those design parameters that affect nacelle diameter.
Effects of structural disorder and surface chemistry on electric conductivity and capacitance of porous carbon electrodes (2014)

This article reports on changes in electric double layer charge storage capacity as a function of surface chemistry and graphitic structure of porous carbon electrodes. By subjecting 20 nm to 2.0 μm sized carbide-derived carbons (CDCs) synthesized at 800 °C to high-temperature vacuum annealing at 700-1800 °C, we produce three-dimensional internal surface architectures with similar pore sizes and volumes but divergent surface chemistry and wall graphitization. Annealing increases carbon ordering and selectively removes functional groups, and both transformations affect conductivity and wettability. Contrary to an expected increase in gravimetric capacitance, we demonstrate no increases in charge storage despite increased conductivity and pore accessibility. At the same time, annealing improves the charge/discharge rates in EMIm-TFSI ionic liquid electrolyte. The annealing process eliminates faradaic reactions that limit the voltage window, but potentially accelerates catalytic breakdown of the ions themselves. We therefore corroborate the theory that surface groups and defects in the graphitic structure act as dopants that allow facile movement of ions into pores, improve screening in the superionic state, and affect the quantum capacitance contribution from the carbon structure.
Data structures and algorithms (1998)

From the Publisher:
Create sound software designs with data structures that use modern object-oriented design patterns! Author Bruno Preiss presents the fundamentals of data structures and algorithms from a modern, object-oriented perspective. The text promotes object-oriented design using Java and illustrates the use of the latest object-oriented design patterns. Virtually all the data structures are discussed in the context of a single class hierarchy. This framework clearly shows the relationships between data structures and illustrates how polymorphism and inheritance can be used effectively. Key Features of the Text* All data structures are presented using a common framework. This shows the relationship between the data structures and how they are implemented.* Object-oriented design patterns are used to demonstrate how a good design fits together and transcends the problem at hand.* A single Java software design is used throughout the text to provide a better understanding of the operation of complicated data structures.* Just-in-time presentation of mathematical analysis techniques introduces students to mathematical concepts as needed.
P.30: Effect of the Correlated Color Temperature of Light on Overhead Glare in Offices (2013)

Abstract We performed a subjective experiment measuring perceived overhead glare from a fluorescent luminaire with either a Correlated Color Temperature (CCT) of 4000K or 6300K. The group of 18 participants was equally divided over males and females, and almost equally over subjects wearing glasses and subjects without glasses. The results show that a light source with a higher CCT induces statistically significantly more overhead glare. In addition, differences in perceived overhead glare cannot be attributed to either gender or visual correction means.
An XML Representation for Annotated Handwriting Datasets for Online Handwriting Recognition (2004)

In this paper, we briefly descibe an XML representation for annotation of online handwriting data to support the development and evaluation of handwriting recognition algorithms, that is based on the emerging Digital Ink Markup Language (InkML) draft standard from W3C. In particular, we describe how the XML representation we have defined attempts to address issues of (i) support for different scripts, (ii) partial automation of labeling using recognition engines, (iii) planned as well as casual capture of handwriting data and (iv) semantic annotation of handwriting data at various levels such as character, word and phrase. The representation keeps the raw handwriting data (described by InkML) separate from its semantic interpretations. We also compare and contrast the XML representation with the extant UNIPEN representation for annotation of handwriting data. 1.
Spatial Graph Convolutions for Drug Discovery (2018)

Predicting the binding free energy, or affinity, of a small molecule for a protein target is frequently the first step along the arc of drug discovery. High throughput experimental and virtual screening both suffer from low accuracy, whereas more accurate approaches in both domains suffer from lack of scale due to either financial or temporal constraints. While machine learning (ML) has made immense progress in the fields of computer vision and natural language processing, it has yet to offer comparable improvements over domain-expertise driven algorithms in the molecular sciences. In this paper, we propose new Deep Neural Network (DNN) architectures for affinity prediction. The new model architectures are at least competitive with, and in many cases state-of-the-art compared to previous knowledge-based and physics-based approaches. In addition to more standard evaluation metrics, we also propose the Regression Enrichment Factor $EF_\chi^{(R)}$ for the community to benchmark against in future affinity prediction studies. Finally, we suggest the adaptation of an agglomerative clustering cross-validation strategy to more accurately reflect the generalization capacity of ML-based affinity models in future works.
Development of Differential Operators by a Method of Geometric Projection (1942)

First Page
Role of miR-148a in Hepatitis B Associated Hepatocellular Carcinoma (2012)

Hepatitis B virus encoded X antigen (HBx) is a trans-regulatory protein that alters the activity of selected transcription factors and cytoplasmic signal transduction pathways. HBx transcriptionally up-regulates the expression of a unique gene, URG11, which in turn transcriptionally up-regulates β-catenin, thereby contributing importantly to hepatocarcinogenesis. HBx and URG11 also alter the expression of multiple microRNAs, and by miRNA array analysis, both were shown to promote the expression of miR-148a. Elevated miR-148a was also seen in HBx positive liver samples from infected patients. To study the function of miR-148a, anti-148a was introduced into HepG2 and Hep3B cells stably expressing HBx or stably over-expressing URG11. Anti-miR-148a suppressed cell proliferation, cell cycle progression, cell migration, anchorage independent growth in soft agar and subcutaneous tumor formation in SCID mice. Introduction of anti-miR-148a increased PTEN protein and mRNA expression, suggesting that PTEN was targeted by miR-148a. Anti-miR-148a failed to suppress PTEN expression when co-transfected with reporter gene mutants in the 3'UTR of PTEN mRNA. Introduction of anti-miR-148a also resulted in depressed Akt signaling by HBx and URG11, resulting in decreased expression of β-catenin. Thus, miR-148a may play a central role in HBx/URG11 mediated HCC, and may be an early diagnostic marker and/or therapeutic target associated with this tumor type.
Erythroleukemic Differentiation (1978)

The Hippo pathway was initially discovered in Drosophila melanogaster as a key regulator of tissue growth. It is an evolutionarily conserved signaling cascade regulating numerous biological processes, including cell growth and fate decision, organ size ...Read More