gebhart/patrepeval huggingface dataset:
Access-rights Analysis in the Presence of Subjects (2015)

Modern software development and run-time environments, such as Java and the Microsoft .NET Common Language Runtime (CLR), have adopted a declarative form of access control. Permissions are granted to code providers, and during execution, the platform verifies compatibility between the permissions required by a security-sensitive operation and those granted to the executing code. While convenient, configuring the access-control policy of a program is not easy. If a code component is not granted sufficient permissions, authorization failures may occur. Thus, security administrators tend to define overly permissive policies, which violate the Principle of Least Privilege (PLP). A considerable body of research has been devoted to building program-analysis tools for computing the optimal policy for a program. However, Java and the CLR also allow executing code under the authority of a subject (user or service), and no program-analysis solution has addressed the challenges of determining the policy of a program in the presence of subjects. This paper introduces Subject Access Rights Analysis (SARA), a novel analysis algorithm for statically computing the permissions required by subjects at run time. We have applied SARA to 348 libraries in IBM WebSphere Application Server - a commercial enterprise application server written in Java that consists of >2 million lines of code and is required to support the Java permission- and subject-based security model. SARA detected 263 PLP violations, 219 cases of policies with missing permissions, and 29 bugs that led code to be unnecessarily executed under the authority of a subject. SARA corrected all these vulnerabilities automatically, and additionally synthesized fresh policies for all the libraries, with a false-positive rate of 5% and an average running time of 103 seconds per library. SARA also implements mechanisms for mitigating the risk of false negatives due to reflection and native code; according to a thorough result evaluation based on testing, no false negative was detected. SARA enabled IBM WebSphere Application Server to receive the Common Criteria for Information Technology Security Evaluation Assurance Level 4 certification.
A methodology for the top-down synthesis of semiconductor process flows (2002)

Increasing expense of developing microelectronic manufacturing technology threatens to slow the growth of the electronics industry. This paper describes the progress we have made in developing methodologies and techniques to reduce the cost of designing microelectronic manufacturing flows. Our approach is to partition the task of process flow design into a number of abstraction levels and provide mechanisms to translate between these levels. This approach results in a top-down design methodology where requirements from higher levels of abstraction are successively reduced to lower abstraction levels, while meeting the constraints imposed by the lower levels. The paper enumerates the abstraction levels we have identified so far, and describes the translation mechanisms for a class of process design tasks: modification of an existing flow in response to change in performance requirements. Finally, we briefly describe a design environment that incorporates these ideas.
Characterization of Cell Constructs Generated With Inkjet Printing Technology Using In Vivo Magnetic Resonance Imaging (2008)

We report the use of a high resolution magnetic resonance (MR) imaging technique to monitor the development and maturation of tissue-printed constructs in vivo. Layer-by-layer inkjet printing technology was used to fabricate three different tissue constructs on alginate∕collagen gels: bovine aortic endothelial cell-printed (to represent soft tissue), human amniotic fluid-derived stem cell-printed (to represent hard tissue as they underwent osteogenic differentiation in vivo), and cell-free constructs (scaffold only). The constructs were subcutaneously implanted into athymic mice and regularly monitored using a 7T magnetic resonance imaging (MRI) scanner. The three tissue construct types showed distinct image contrast characteristics due to the different tissue microstructures and biochemical compositions at various time points. In addition, changes in tissue microvasculature were examined with dynamic perfusion MRI. These results indicate that high resolution MRI is a promising method for noninvasive, long-term monitoring of the status of cell-printed construct growth, differentiation, and vascularization.
Towards a general-purpose query language for visualization recommendation (2016)

Creating effective visualizations requires domain familiarity as well as design and analysis expertise, and may impose a tedious specification process. To address these difficulties, many visualization tools complement manual specification with recommendations. However, designing interfaces, ranking metrics, and scalable recommender systems remain important research challenges. In this paper, we propose a common framework for facilitating the development of visualization recommender systems in the form of a specification language for querying over the space of visualizations. We present the preliminary design of CompassQL, which defines (1) a partial specification that describes enumeration constraints, and (2) methods for choosing, ranking, and grouping recommended visualizations. To demonstrate the expressivity of the language, we describe existing recommender systems in terms of CompassQL queries. Finally, we discuss the prospective benefits of a common language for future visualization recommender systems.
Novel daidzein analogs enhance osteogenic activity of bone marrow-derived mesenchymal stem cells and adipose-derived stromal/stem cells through estrogen receptor dependent and independent mechanisms (2014)

These studies provide support for exploring the therapeutic efficacy of daidzein derivatives for the treatment of osteoporosis. Furthermore, the patterns of gene induction differed following treatment with each daidzein analog, suggesting that these daidzein analogs activate distinct ER and non-ER pathways to induce differentiation in BMSCs and ASCs.
4-Cyano-2-butenyl Group: A New Type of Protecting Group in Oligonucleotide Synthesis via Phosphoramidite Approach (1997)

Abstract 4-Cyano-2-butenyl (CB) is a new type of protecting group for the intemucleotidic bonds in the synthesis of oligodeoxyribonucleotides by the phosphoramidite approach. This group is stable to acidic conditions and can be removed under mild conditions by a δ-elimination pathway using aqueous ammonium hydroxide.
Nuclear Export of Ubiquitinated Proteins Determines the Sensitivity of Colorectal Cancer to Proteasome Inhibitor (2016)

Although proteasome inhibitors such as bortezomib had significant therapeutic effects in multiple myeloma and mantel cell lymphoma, they exhibited minimal clinical activity as a monotherapy for solid tumors, including colorectal cancer. We found in this study that proteasome inhibition induced a remarkable nuclear exportation of ubiquitinated proteins. Inhibition of CRM1, the nuclear export carrier protein, hampered protein export and synergistically enhanced the cytotoxic action of bortezomib on colon cancer cells containing wild-type p53, which underwent G<sub>2</sub>-M cell-cycle block and apoptosis. Further analysis indicated that tumor suppressor p53 was one of the proteins exported from nuclei upon proteasome inhibition, and in the presence of CRM1 inhibitor KPT330, nuclear p53, and expression of its target genes were increased markedly. Moreover, knockdown of p53 significantly reduced the synergistic cytotoxic action of bortezomib and KPT330 on p53<sup>+/+</sup> HCT116 cells. In mice, KPT330 markedly augmented the antitumor action of bortezomib against HCT116 xenografts as well as patient-derived xenografts that harbored functional p53. These results indicate that nuclear p53 is a major mediator in the synergistic antitumor effect of bortezomib and KPT330, and provides a rationale for the use of proteasome inhibitor together with nuclear export blocker in the treatment of colorectal cancer. It is conceivable that targeting nuclear exportation may serve as a novel strategy to overcome resistance and raise chemotherapeutic efficacy, especially for the drugs that activate the p53 system. <i>Mol Cancer Ther; 16(4); 717-28. ©2016 AACR</i>.
Scalable Alternatives to Virtual Output Queuing (2009)

To avoid head of line blocking in switches, virtual output queues (VOQs) are commonly used. However, the number of VOQs grows quadratically with the number of ports, making this approach impractical for large switches. In this paper, we propose dynamic switch buffer management (DSBM) to tackle this problem. Similar to DBBM, it saves memory by reducing the number of buffers. Our scheme significantly improves the performance by dynamically assigning the incoming cells to the least occupied buffers.
Interferometric phase-based dual-wavelength tomography (2001)

We describe our phase-sensitive interferometry technique implemented as phase dispersion microscopy (PDM)/optical tomography (PDOT). The technique is based on measuring the phase difference between fundamental and second harmonic low coherence light in a novel interferometer. We attain high sensitivity to subtle refractive index differences due to dispersion with a differential optical path sensitivity of 5 nm. Using PDM, we show that ballistic light in a turbid medium undergoes a phase velocity change that is dependent on scatterer size. We demonstrate that the microscopy technique performs better than a conventional phase contrast microscope in imaging dispersive and weakly scattering samples. The tomographic implementation of the technique (PDOT) can complement Optical Coherence Tomography (OCT) by providing phase information about the scanned object.
SiC Smart Power JFET Technology for High-Temperature Applications (2006)

Wide bandgap semiconductor materials such as SiC or GaN are very attractive for use in high-power, high-temperature, and/or radiation resistant electronics. Monolithic or hybrid integration of a power transistor and control circuitry in a single or multi-chip wide bandgap power semiconductor module is highly desirable for such applications in order to improve the efficiency and reliability. This paper describes a new monolithic SiC JFET IC technology for high-temperature smart power applications that allows for on-chip integration of control circuitry and normally-off power switch. In order to demonstrate the feasibility of this technology, hybrid logic gates with maximum switching frequency > 20 MHz and normally-off 900 V power switch have been fabricated on alumina substrates using discrete enhanced and depletion mode vertical trench JFETs.
CUBIC-FIT: A High Performance and TCP CUBIC Friendly Congestion Control Algorithm (2013)

With the recent popularity of Linux-based HTTP servers, TCP CUBIC, the default Linux congestion control algorithm, is close to the new de facto standard algorithm for the Internet congestion control. A need for new congestion control technologies for the TCP CUBIC-dominated Internet is therefore emerging. To cater to this trend, this paper proposes a novel TCP congestion control algorithm, CUBIC-FIT. Compared with TCP CUBIC and other state-of-the-art TCP algorithms, CUBIC-FIT can improve performance over a large range of network conditions and maintain graceful fairness with the widely deployed TCP CUBIC servers. Analytical and experimental studies over emulators and real networks validate the proposed algorithm and its performance.
An excitation wavelength switching to enhance dual-color wide-field temporal-focusing multiphoton excitation fluorescence imaging (2020)

Abstract Dual-color two-photon excitation (TPE)-fluorescence imaging is used in conventional temporal-focusing multiphoton excitation microscopy (TFMPEM) to observe specimens with different fluorophore labels. However, concerns have been raised about the excitation efficiency and selectivity of the fluorophores under fixed-wavelength excitation. This study presents a wavelength-switching approach using a scanning mirror, beam expander, and diffraction grating in the TFMPEM to switch the excitation wavelengths and match the optimal absorption of the fluorophores to acquire dynamic dual-color TPE-fluorescence images. The presented TFMPEM system was demonstrated to have an axial excitation confinement of 2.3–5.0 μ m for excitation wavelengths of 730–1000 nm, and was used to visualize three-dimensional images of the vasculature of a mouse brain. The TPE efficiencies of different fluorophores were evaluated through TFMPEM imaging with excitation wavelength scanning to obtain their TPE spectra. Consequently, time-lapsed dual-color TFMPEM imaging was performed on rhodamine 6G (R6G)–poly(lactic-co-glycolic acid) (PLGA) nanoparticles and enhanced-yellow-fluorescent protein (EYFP)-tagged clathrin using excitation wavelengths at the maximum TPEs of R6G and EYFP, respectively. Our results revealed the PLGA-nanoparticle uptake of live cells via long-lived clathrin-coated plaques in clathrin-mediated endocytosis.
Toward understanding the ionization of biomarkers from micrometer particles by bio-aerosol mass spectrometry (2004)

The appearance of informative signals in the mass spectra of laser-ablated bio-aerosol particles depends on the effective ionization probabilities (EIP) of individual components during the laser ionization process. This study investigates how bio-aerosol chemical composition governs the EIP values of specific components and the overall features of the spectra from the bio-aerosol mass spectrometry (BAMS). EIP values were determined for a series of amino acid, dipicolinic acid, and peptide aerosol particles to determine what chemical features aid in ionization. The spectra of individual amino acids and dipicolinic acid, as well as mixtures, were examined for extent of fragmentation and the presence of molecular ion dimers, which are indicative of ionization conditions. Standard mixtures yielded information with respect to the significance of secondary ion plume reactions on observed spectra. A greater understanding of how these parameters affect EIP and spectra characteristics of bio-aerosols will aid in the intelligent selection of viable future biomarkers for the identification of bio-terrorism agents.
An Investigation On Deformation-Based Surface Texturing (2011)

Surface textures have various applications, such as friction/wear reduction and light absorbing enhancement. Deformation-based surface texturing has the potential of economically creating micro-scale surface textures over a large surface area. A novel desktop surface texturing system is proposed for efficiently and economically fabricating microchannels on the surface of thin sheet material for microfluid and friction/wear reduction applications. Both the experimental and numerical studies were employed to analyze the problems of the flatness of the textured sheet, the uniform of the channel depth and pile-ups built up during the surface texturing process. The results demonstrated a clear relationship between relative velocity of the upper and lower rolls and the flatness of the textured sheet and the final profile of the microchannels.
Signal Space CoSaMP for Sparse Recovery with Redundant Dictionaries (2012)

Compressive sensing (CS) has recently emerged as a powerful framework for acquiring sparse signals. The bulk of the CS literature has focused on the case where the acquired signal has a sparse or compressible representation in an orthonormal basis. In practice, however, there are many signals that cannot be sparsely represented or approximated using an orthonormal basis, but that do have sparse representations in a redundant dictionary. Standard results in CS can sometimes be extended to handle this case provided that the dictionary is sufficiently incoherent or well-conditioned, but these approaches fail to address the case of a truly redundant or overcomplete dictionary. In this paper we describe a variant of the iterative recovery algorithm CoSaMP for this more challenging setting. We utilize the D-RIP, a condition on the sensing matrix analogous to the well-known restricted isometry property. In contrast to prior work, the method and analysis are "signal-focused"; that is, they are oriented around recovering the signal rather than its dictionary coefficients. Under the assumption that we have a near-optimal scheme for projecting vectors in signal space onto the model family of candidate sparse signals, we provide provable recovery guarantees. Developing a practical algorithm that can provably compute the required near-optimal projections remains a significant open problem, but we include simulation results using various heuristics that empirically exhibit superior performance to traditional recovery algorithms.
Apolipoprotein E Promotes the Regression of Atherosclerosis Independently of Lowering Plasma Cholesterol Levels (2005)

Objective— The mechanisms by which apolipoprotein E (apoE) can promote the regression of atherosclerosis are not well understood. This study examined whether apoE can promote atherosclerosis regression independently of lowering plasma cholesterol levels. Methods and Results— We studied hypomorphic apoE mice ( Apoe h/h ), which express an apoE4-like form of mouse apoE at ≈2% to 5% of normal levels in plasma and are normolipidemic. After 18 weeks of diet-induced hypercholesterolemia, which resulted in advanced aortic atherosclerotic lesions composed of a lipid-rich layer of foam cells covering a fibrotic core, 2 groups of mice were fed a chow diet for 16 weeks. One group continued to express low levels of apoE; the other was induced to express physiological levels of plasma apoE by Cre-mediated recombination of the hypomorphic Apoe allele. In both groups, plasma cholesterol levels fell rapidly to similar levels, and histological analysis at 16 weeks revealed elimination of the foam-cell layer. However, physiological levels of plasma apoE also enhanced the removal of neutral lipids from the fibrotic cores. Conclusion— These findings demonstrate for the first time that apolipoprotein E promotes the regression of atherosclerosis independently of lowering plasma cholesterol levels.
Preparation and agronomic evaluation of long-chain crystalline ammonium and potassium ammonium polyphosphates (1979)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTPreparation and agronomic evaluation of long-chain crystalline ammonium and potassium ammonium polyphosphatesRichard C. Sheridan, John F. McCullough, and Seward E. AllenCite this: J. Agric. Food Chem. 1979, 27, 3, 612–615Publication Date (Print):May 1, 1979Publication History Published online1 May 2002Published inissue 1 May 1979https://pubs.acs.org/doi/10.1021/jf60223a048https://doi.org/10.1021/jf60223a048research-articleACS PublicationsRequest reuse permissionsArticle Views90Altmetric-Citations8LEARN ABOUT THESE METRICSArticle Views are the COUNTER-compliant sum of full text article downloads since November 2008 (both PDF and HTML) across all institutions and individuals. These metrics are regularly updated to reflect usage leading up to the last few days.Citations are the number of other articles citing this article, calculated by Crossref and updated daily. Find more information about Crossref citation counts.The Altmetric Attention Score is a quantitative measure of the attention that a research article has received online. Clicking on the donut icon will load a page at altmetric.com with additional details about the score and the social media presence for the given article. Find more information on the Altmetric Attention Score and how the score is calculated. Share Add toView InAdd Full Text with ReferenceAdd Description ExportRISCitationCitation and abstractCitation and referencesMore Options Share onFacebookTwitterWechatLinked InRedditEmail Other access optionsGet e-Alertsclose Get e-Alerts
PLCStudio: simulation based PLC code verification (2008)

Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program with a corresponding plant model, so that users can intuitively verify the PLC program in a 3D graphic environment. The plant model includes all manufacturing devices of a production system as well as corresponding device programs to perform their tasks in the production system, and a PLC program contains the control logic for the plant model. For the implementation of the proposed PLC programming environment, it is essential to develop an efficient methodology to construct a virtual device model as well as a virtual plant model. The proposed PLC programming environment provides an efficient construction method for a plant model based on the DEVS (discrete event systems specifications) formalism, which supports the specification of discrete event models in a hierarchical, modular manner.
Systemic PEGylated TRAIL treatment ameliorates liver cirrhosis in rats by eliminating activated hepatic stellate cells (2015)

TRAIL-based therapies could serve as new therapeutics for liver fibrosis/cirrhosis and possibly other fibrotic diseases. (Hepatology 2016;64:209-223).
Semiallogeneic Cell Hybrids as Therapeutic Vaccines for Cancer (2000)

The authors have engineered a cell line that can be used in human studies as a universal donor cell for the formation of semiallogeneic cell hybrids after fusion with patient-derived tumor cells. These hybrids can be irradiated and injected as a patient-tailored therapeutic vaccine in patients affected by virtually any type of cancer. A crucial step in this research effort has been the derivation of an allogeneic cell line (FO1-12) that expresses both a dominant selectable marker (neomycin resistance) and a recessive selectable marker (sensitivity to hypoxanthine, aminopterin, and thymidine), which allows easy selection of semiallogeneic cell hybrids derived from the fusion of FO1-12 cells with patient-derived tumor cells. Tumor-infiltrating lymphocytes derived from select patients with melanoma and exposed to semiallogeneic cell hybrids from the same patient were better able to specifically lyse autologous tumor cells. Furthermore, FO1-12 cells express carcinoembryonic antigen, which is ubiquitous in adenocarcinomas, and fusion of FO1-12 cells with various patient-derived adenocarcinoma cells showed that the hybrid cells also express carcinoembryonic antigen. Because of the results of these preclinical studies, the authors were given permission to use semiallogeneic cell hybrids for immunotherapy of patients with metastatic melanoma or metastatic adenocarcinoma who had not responded to standard treatment regimens. Treatment with semiallogeneic vaccines is associated with minimal or no toxicity and can induce a specific anti-tumor immune response.