gebhart/patrepeval huggingface dataset:
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions (2003)

SAT-based decision procedures for quantifier-free fragments of first-order logic have proved to be useful in formal verification. These decision procedures are either based on encoding atomic subformulas with Boolean variables, or by encoding integer variables as bit-vectors. Based on evaluating these two encoding methods on a diverse set of hardware and software benchmarks, we conclude that neither method is robust to variations in formula characteristics. We therefore propose a new hybrid technique that combines the two methods. We give experimental results showing that the hybrid method can significantly outperform either approach as well as other decision procedures.
Visualization Tool for Designing Microservices with the Monolith-First Approach (2018)

The microservice architecture is essential for agile development and deployment of the application components; however, designing microservices for a web application is not a straight-forward task. One of the best ways to design microservices is to decompose a monolithic prototype of an application into microservices on the basis of both the complexity in engineering and the component boundaries of the application in the early phase of development. We propose a visualization tool allowing developers to interactively design microservice applications on the basis of the characteristics of source codes and the behaviors of a monolithic prototype. This visualization tool first constructs a calling-context tree from profile data taken in a dry-run of the application. Next, it generates an initial microservice design while considering keyword features in the source codes or amount of function calls between components. Developers can interactively refine this design via this visual interface by taking four-choice actions to revise boundaries of microservices while considering expected communications between them. This interaction will have a significant impact on runtime performance. Case studies of two open-source benchmark applications demonstrate the proposed tool enables interactive design of microservices. The results of the demonstration show that compared to the official microservice designs of the applications, the proposed tool can effectively design microservice applications.
Wound healing properties and mucilage content of Pereskia aculeata from different substrates (2014)

Made available in DSpace on 2015-06-14T13:47:23Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-12-01. Added 1 bitstream(s) on 2015-08-11T04:00:32Z : No. of bitstreams: 1 S0102-695X2014000600677.pdf: 1131535 bytes, checksum: 45e43ce56b029ca491f29286fd8af64b (MD5)
ChemInform Abstract: Different Fluoride Anion Sources and (Trifluoromethyl)trimethylsilane: Molecular Structure of Tris(dimethylamino)sulfonium Bis(trifluoromethyl)trimethylsiliconate, the First Isolated Pentacoordinate Silicon Species with Five Si—C Bonds. (1999)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 100 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
Unusual immunogenicity of live cancer cells (TUM6P.957) (2015)

Abstract The ability of irradiated tumor cells to elicit tumor immunity has been widely established. Using two murine tumor models, we observe that injection of about 20,000 live tumor cells fails to develop tumors in recipient mice. (About ten times that dose leads to a successful tumor implantation.) However, mice injected with this sub-tumorigenic dose of cells become resistant to a subsequent lethal challenge. Remarkably, as many as 20 million (M) irradiated tumor cells (i.e. 1,000 times the sub-tumorigenic dose) are required to elicit resistance to tumor challenge. We assumed that the live cells in the sub-tumorigenic dose multiply in vivo and generate a large immunizing dose, before they are rejected. Indeed, imaging in vivo of the mice challenged with the sub-tumorigenic dose revealed that the tumor cells multiply at the site of challenge ~100 fold to ~2M cells over a week followed by a rapid decline. Thus the total antigen load in a sub-tumorigenic live inoculum (2M cells) is still only about 10% of the antigenic load in an irradiated cell inoculum (20M cells). While we explore the mechanisms of the unusual immunogenicity of live cells, we presently conclude (i) that higher immunogenicity is not a direct function of antigen load, and (ii) live cells cross-prime the naïve T cell response in a way that is distinctly different from, and more efficient than irradiated cells.
Guide to the Larval Zebrafish‐Aspergillus Infection Model (2021)

The larval zebrafish is an increasingly popular host model for the study of Aspergillosis. The visual accessibility, genetic resources, small size, and ease of handling make zebrafish larvae compatible with higher-throughput investigation of fungal virulence and host resistance mechanisms. This article provides the protocols needed to prepare Aspergillus fumigatus spore inocula and use microinjection to infect the hindbrain ventricle of zebrafish larvae. Furthermore, we include protocols for analyzing host survival, immobilizing larvae for live imaging, and suggestions for image analysis. © 2021 Wiley Periodicals LLC. Support Protocol 1: Preparing Aspergillus spores Support Protocol 2: Dechorionating zebrafish embryos Support Protocol 3: Generating transparent larvae with 1-phenyl 2-thiourea (PTU) Basic Protocol 1: Hindbrain microinjection of zebrafish larvae with Aspergillus spores Basic Protocol 2: Survival analysis Basic Protocol 3: Multi-day imaging of infected larvae Alternate Protocol: Embedding larvae in low-melting-point agarose.
Improved Tandem All‐Polymer Solar Cells Performance by Using Spectrally Matched Subcells (2018)

Abstract All‐polymer solar cells (all‐PSCs) are attractive as alternatives to fabricate thermally and mechanically stable solar cells, especially with recent improvements in their power conversion efficiency (PCE). In this work, efficient all‐PSCs with near‐infrared response (up to 850 nm) are developed using newly designed regioregular polymer donors with relatively narrow optical gap. These all‐PSCs systems achieve PCEs up to 6.0% after incorporating fluorine into the polymer backbone. More importantly, these polymers exhibit absorbance that is complementary to previously reported wide bandgap polymer donors. Thus, the superior properties of the newly designed polymers afford opportunities to fabricate the first spectrally matched all‐polymer tandem solar cells with high performance. A PCE of 8.3% is then demonstrated which is the highest efficiency so far for all‐polymer tandem solar cells. The design of narrow bandgap polymers provides new directions to enhance the PCE of emerging single‐junction and tandem all polymer solar cells.
Advances in Multifunctional I/O (2007)

A copper-to-copper bonding process was developed for an all- copper, chip-to-substrate interconnect technology. High aspect ratio, polymer molds for electroplating were formed using a photodefinable polymer on both the chip and the substrate surfaces. Copper pillars were fabricated by electroplating metal in the polymer molds. The chip-to-substrate all-copper connections were formed by joining the two pillars with an electroless copper plating and anneal process. The copper-to- copper bonding of the high aspect ratio pillars does not require the use of solder or other non-copper metals. Mechanical shear force measurements were used to characterize the bonding process as a function of annealing conditions. Excellent bond strength of the electrolessly joined pillars was achieved with a 250{degree sign}C anneal. The bond strength of the copper pillar interconnects exceeded 148 MPa. High aspect ratio of the pillars can provide mechanical compliance and the electroless fabrication method compensates for pillar misalignment and non-planarity of the bonded surfaces.
Table S2 from A New Class of Antibody–Drug Conjugates with Potent DNA Alkylating Activity (2023)

&lt;p&gt;Comparative in vitro potency of IGNs with a diimine (1), monoimine (3), and diamine (2) towards hematologic and solid tumor cell lines&lt;/p&gt;
Divisions in a Fibrillar Adhesive Increase the Adhesive Strength (2021)

To realize the potential of bioinspired fibrillar adhesive applications ranging from biomedical devices to robotic grippers, there has been a significant effort to improve their adhesive strength and understanding of the underlying adhesion and detachment mechanisms. These efforts include changes to the backing layer, which connects the roots of all of the pillars in the fibrillar adhesive. However, previous approaches such as thickness or elastic modulus changes are selectively advantageous to the adhesive strength depending on the substrate condition because of the trade-off between conformity to misaligned/rough surfaces and increased interfacial stress concentrations. In this work, we explore mechanical divisions (cuts) in the backing layer as a new approach to improve the adhesive strength without this trade-off. We combine experiments and finite element analysis (FEA) to study the effect of the divisions, which decouples the mechanical interaction between the pillars on the divided layers, and show that the adhesive strength can be improved regardless of the substrate condition. Tensile adhesion experiments show increased adhesive strength with cuts to a micropost array (150 μm diameter posts) by approximately 25% for 4 divisions. <i>In situ</i> imaging of pillar detachment shows a transition of the detachment process from a peel-like detachment to a random detachment sequence. FEA simulations of the detachment process suggest that the increased strength may originate from a simultaneous enhancement of the load distribution between the pillars and the compliance of the backing layer.
Fourteen-Member Macrolides Promote the Phosphatidylserine Receptor-Dependent Phagocytosis of Apoptotic Neutrophils by Alveolar Macrophages (2002)

An inflammation of the airway of patients with diffuse panbronchiolitis (DPB), is characterized by dense neutrophil infiltration. Resolution of the inflammation can be achieved by the removal of apoptotic neutrophils by human alveolar macrophages (AM) without liberating neutrophil proteases in the airway. To understand clinical efficacy for the treatment of DPB by 14- or 15-member macrolides, their effects on the phagocytosis of apoptotic neutrophils by AM were examined. Treatment of AM with erythromycin (ERY) or clarithromycin at clinically achievable levels significantly increased the levels of phagocytosis of apoptotic neutrophils. A serum factor was not essential for the enhancement by these 14-member macrolides. Of the antibiotics tested, these effects were specific for the 14-member macrolides and a 15-member macrolide, azithromycin, but not for the 16-member macrolides, clindamycin or beta-lactam antibiotics. The enhanced phagocytosis of apoptotic neutrophils by ERY had no effect on the levels of interleukin-8 or tumor necrosis factor alpha production by lipopolysaccharide-stimulated AM after phagocytosis of the apoptotic neutrophils. The increased phagocytosis of apoptotic neutrophils by ERY was also found to be phosphatidylserine receptor-dependent for AM. These data indicate a novel anti-inflammatory action of 14-member and 15-member macrolides, and suggest that such antibiotics achieve clinical efficacy for patients with DPB, in part, through enhancing the nonphlogistic phagocytosis of apoptotic neutrophils by AM.
Phase I Study Utilizing a Novel Antigen-Presenting Cell–Targeted Vaccine with Toll-like Receptor Stimulation to Induce Immunity to Self-antigens in Cancer Patients (2011)

APC targeting and activation induce adaptive immunity against poorly immunogenic self-antigens which has implications for enhancing the efficacy of cancer immunotherapy.
Anomalous mixing behavior of polyisobutylene with other polyolefins (1995)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTAnomalous mixing behavior of polyisobutylene with other polyolefinsR. Krishnamoorti, W. W. Graessley, L. J. Fetters, R. T. Garner, and D. J. LohseCite this: Macromolecules 1995, 28, 4, 1252–1259Publication Date (Print):February 1, 1995Publication History Published online1 May 2002Published inissue 1 February 1995https://pubs.acs.org/doi/10.1021/ma00108a064https://doi.org/10.1021/ma00108a064research-articleACS PublicationsRequest reuse permissionsArticle Views491Altmetric-Citations110LEARN 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
Supplementary Table 2 from Fibroblast Activation Protein α-Targeted CD40 Agonism Abrogates Systemic Toxicity and Enables Administration of High Doses to Induce Effective Antitumor Immunity (2023)

&lt;p&gt;List of all genes analyzed in NanoString gene expression analysis comparing gene expression in tumors of selicrelumab and FAP-huCD40-treated mice&lt;/p&gt;
Immunoregulatory functions of paf-acether. VI. Inhibition of T cell activation via CD3 and potentiation of T cell activation via CD2 (1990)

In the present report we further explored the role of paf-acether (paf), a phospholipid cytokine, in the modulation of T cell activation induced via the CD2 and the CD3 pathways. Evidence was obtained that paf inhibited T cell proliferation induced by immobilized CD3 mAb (OKT3i), but potentiated that induced by a combination with the CD2 mAb, anti-(T11.1 + D66). Both effects were dose-dependent between 2 and 10 microM paf, and specific in that lysoPC, a phospholipid closely related to paf, had no effect. The inhibition became apparent after 48 h and was maintained up to 144 h of culture, whereas the enhancement was observed only by 96 h of culture. Interestingly, paf was able to inhibit OKT3i mAb response when added to cultures as late as 24-48 h after the initiation of a 96 h incubation. By contrast, paf enhanced the proliferative response only when added concomitantly with anti-(T11.1 + D66) mAb, suggesting that it modulates an early event of T cell activation. paf, which enhanced T cell proliferation induced via the CD2 pathway, also led to a substantial up-regulation of IL-2 secretion and CD25 expression. Moreover, paf markedly augmented IL-4 secretion upon CD2 mAb stimulation. Finally, when T cells were triggered via the CD3 molecule, paf inhibited the proliferative response but also down-modulated CD25 expression without impairing IL-2 secretion. When considered together, these data demonstrate that paf, a phospholipid cytokine released during inflammatory reactions, play a differential regulatory role in T cell activation induced via the CD3 and CD2 (T11.1 + D66) pathways.
P1‐413: Collagen VI protects neurons against amyloid‐beta toxicity (2008)

Extracellular matrix (ECM) proteins regulate neuronal functions and survival. Collagen VI is a component of the ECM with well characterized functions in peripheral organs, but its role in the central nervous system remains to be elucidated. We previously performed a microarray analysis of gene expression in brains of human amyloid precursor protein (hAPP) mice and found prominent increases in the expression of Col6a1, a subunit of collagen VI. To determine the role of collagen VI in normal brain function and in the pathogenesis of Alzheimer's disease. Expression of Col6a1 in brains of hAPP mice (line J20) was determined by quantitative RT-PCR, western blot analysis and in-situ hybridization. Primary neuronal cultures from wildtype mice, from mice lacking one or both Col6a1 genes, and from TGFβRII-deficient mice were treated with preformed oligomers of amyloid-β (Aβ) or control peptide and analyzed for Col6a1 expression and for survival. Some cultures were treated with an inhibitor of SMAD3 or with soluble collagen VI or collagen I. Learning and memory of hAPP mice was tested in the Morris water maze. Brains of hAPP mice showed prominent increases in the expression of Col6a1, a subunit of collagen VI. The most striking increases were found in the dentate gyrus, which is critically involved in learning and memory. Col6a1 levels correlated with memory deficits in the Morris water maze. Extracellular exposure of primary neurons to Aβ oligomers increased Col6a1 expression through signal transduction mechanisms involving transforming growth factor-β type II receptor and Smad3. Neither astrocytes nor mouse APP played a significant role in Aβ-induced Col6a1 expression. Treatment of neurons with soluble collagen VI prevented Aβ-induced cell death, whereas reduction of neuronal Col6a1 expression augmented it. Collagen I was not protective. Our results identify collagen VI as an important component of the neuronal response to Aβ-induced injury and demonstrate its neuroprotective potential. Supported by NIA and NINDS.
Single-tone optimisation of an adaptive-bias Doherty structure (2003)

The Doherty PA configuration has become well established as a means of enhancing PA efficiency. The improvement, however, is usually accompanied by deterioration in overall linearity. This paper addresses two important features of the Doherty PA configuration, which offer a means of improving the linearity/efficiency trade-off obtained using a classical adaptive bias implementation. One issue is the need to generate a suitable bias control voltage for the auxiliary PA device. Such control enables the use of two devices with equal periphery for main and auxiliary functions. The second issue is the use of phase compensation to ensure the combined signals sum in the correct manner prescribed by classical analysis. Both of these refinements are demonstrated using an experimental circuit operating at 1.8 GHz. Extensive experimental data are presented on the beneficial effects of phase control, which show that a better compromise between optimum efficiency and linearity can be obtained using different phase offsets at different drive levels. This raises the interesting possibility of adjusting relative phase, bias and relative input magnitude dynamically in order to obtain improved linearity from the Doherty configuration, especially for signals having high peak to average ratios.
Using Document Similarity Methods to create Parallel Datasets for Code Translation (2021)

Translating source code from one programming language to another is a critical, time-consuming task in modernizing legacy applications and codebases. Recent work in this space has drawn inspiration from the software naturalness hypothesis by applying natural language processing techniques towards automating the code translation task. However, due to the paucity of parallel data in this domain, supervised techniques have only been applied to a limited set of popular programming languages. To bypass this limitation, unsupervised neural machine translation techniques have been proposed to learn code translation using only monolingual corpora. In this work, we propose to use document similarity methods to create noisy parallel datasets of code, thus enabling supervised techniques to be applied for automated code translation without having to rely on the availability or expensive curation of parallel code datasets. We explore the noise tolerance of models trained on such automatically-created datasets and show that these models perform comparably to models trained on ground truth for reasonable levels of noise. Finally, we exhibit the practical utility of the proposed method by creating parallel datasets for languages beyond the ones explored in prior work, thus expanding the set of programming languages for automated code translation.
Reconciliación de errores mínimamente interactiva en distribución cuántica de claves (2011)

Algunos trabajos recientes han desarrollado varias alternativas a Cascade, entre las cuales destacan aquellas basadas en el uso de técnicas de codificación modernas. Por ejemplo, a través del uso de códigos Low-Density Parity-Check (LDPC) hoy día encontramos varias propuestas que permiten mejorar la eficiencia de la reconciliación de clave para ratios de error elevados. Al utilizar códigos LDPC tan sólo se requiere un único uso del canal de comunicación. Estas propuestas se basan en una técnica conocida como “codificación de síndrome” que permite aplicar métodos de corrección de errores para reconciliar cadenas aleatorias correlacionadas. En una de estas propuestas aplicamos dos técnicas conocidas en codificación, cómo son la perforación y el acortado de símbolos, para adaptar en tiempo real el ratio de información proporcionado por el síndrome intercambiado.
Development of Age‐Hardening Technology for Ultrafine‐Grained Al‐Li‐Cu Alloys Fabricated by High‐Pressure Torsion (2012)

This chapter contains sections titled: Introduction Experimental Results Discussion Conclusions Acknowledgement
ANTIBODY-ENABLED SMALL MOLECULE DRUG DISCOVERY (2018)

Although antibody-based therapeutics have become firmly established as medicines for serious diseases, the value of antibodies as tools in the early stages of small-molecule drug discovery is only beginning to be realized. In particular, antibodies may provide information to reduce risk in small-molecule drug discovery by enabling the validation of targets and by providing insights into the design of small-molecule screening assays. Moreover, antibodies can act as guides in the quest for small molecules that have the ability to modulate protein-protein interactions, which have traditionally only been considered to be tractable targets for biological drugs. The development of small molecules that have similar therapeutic effects to current biologics has the potential to benefit a broader range of patients at earlier stages of disease.