gebhart/patrepeval huggingface dataset:
Applications of Formal Methods to Data Wrangling and Education (2017)

Data is the new oil. The digital revolution and evolution of social media, cloud computing, and IoT has led to massive amounts of digital data. This data is the new currency of the digital world since it can help drive business processes and decisions including advertising and recommendation systems. However, this data is locked up in semi-structured formats such as spreadsheets, text/log files, JSON/XML, webpages, and pdf documents. Data wrangling refers to the tedious process of converting such raw data to a more structured form that allows exploration and analysis for drawing insights. While data scientists spend 80% of their time wrangling data, programmatic solutions to data manipulation are beyond the expertise of 99% of end users who do not know programming. Programming by Examples (PBE) can enable easier and faster data wrangling. We have developed PBE technologies for many wrangling tasks including string/number/date transformations, extraction of tabular data from log _les or webpages, and formatting or table layout transformations. Some of these technologies appear in mass-market industrial products. The FlashFill PBE technology for string transformations ships as a feature in Excel 2013. The FlashExtract PBE technology for extracting structured data out of log files ships as the ConvertFrom-string Powershell cmdlet in Windows 10 and the custom field extraction capability in Azure Operations Management Suite (OMS).
Power-performance-area engineering of 5nm nanowire library cells (2015)

We benchmark planar MOSFETs, FinFETs, and nanowires in a wide range of design rules, spanning from 90nm down to 2nm. This benchmarking evaluates inverter switching speed for a load of 70 metal pitches long interconnect wire and a fan-out of one. Planar MOSFET logic slows down sharply at 14nm design rules, mainly due to short-channel effects reducing the driving strength at a fixed off-state leakage level. FinFETs take over at 14nm node and continue providing incremental gains down to 7nm design rules, but slowing down at 5nm due to the dominant parasitic middle-of-line capacitance. Vertical nanowires take over the lead at 5nm design rules and scale gracefully down to at least 5nm node. Based on these results, we perform detailed benchmarking of several design and process options for a 2-input NAND logic cell built on vertical nanowires with 5nm design rules. Benchmarking involves a holistic modeling methodology with 3D advanced carrier transport characterization of the nanowire behavior, 3D extraction of parasitic RC in the library cell, and simulation of power and delay of an 11-stage ring oscillator in HSPICE. Different cell designs and material engineering options offer cell area reduction of 33% with delay and power changing by over 2x.
Systemic IL-15 promotes allogeneic cell rejection in patients treated with natural killer cell adoptive therapy (2021)

Natural killer (NK) cells are a promising alternative to T cells for cancer immunotherapy. Adoptive therapies with allogeneic, cytokine-activated NK cells are being investigated in clinical trials. However, the optimal cytokine support after adoptive transfer to promote NK cell expansion, and persistence remains unclear. Correlative studies from 2 independent clinical trial cohorts treated with major histocompatibility complex-haploidentical NK cell therapy for relapsed/refractory acute myeloid leukemia revealed that cytokine support by systemic interleukin-15 (IL-15; N-803) resulted in reduced clinical activity, compared with IL-2. We hypothesized that the mechanism responsible was IL-15/N-803 promoting recipient CD8 T-cell activation that in turn accelerated donor NK cell rejection. This idea was supported by increased proliferating CD8+ T-cell numbers in patients treated with IL-15/N-803, compared with IL-2. Moreover, mixed lymphocyte reactions showed that IL-15/N-803 enhanced responder CD8 T-cell activation and proliferation, compared with IL-2 alone. Additionally, IL-15/N-803 accelerated the ability of responding T cells to kill stimulator-derived memory-like NK cells, demonstrating that additional IL-15 can hasten donor NK cell elimination. Thus, systemic IL-15 used to support allogeneic cell therapy may paradoxically limit their therapeutic window of opportunity and clinical activity. This study indicates that stimulating patient CD8 T-cell allo-rejection responses may critically limit allogeneic cellular therapy supported with IL-15. This trial was registered at www.clinicaltrials.gov as #NCT03050216 and #NCT01898793.
Ferritin-Conjugated Antibody for the Demonstration of Isoantigens on the Surface of Murine Cells (1968)

Although a variety of viral and cellular antigens have been demonstrated by ferritin-labeled antibody, this technique has not been used to locate isoantigens on the surface of nucleated cells. The recognition of several systems of isoantigens on the surface of thymocytes, lymphocytes and leukemia cells of the mouse and the ease with which these cells can be obtained in free suspension led us to consider the ferritin-labelling method to determine the amount and location of these isoantigens on the cell surface. Because of the problems involved in the direct labelling of mouse gamma globulin by ferritin, we have chosen an indirect labelling technique (i.e. ferritin-conjugated rabbit anti mouse γG)to detect localization of mouse isoantibody.
Mitigation of Reflector Dish Wet Antenna Effect at 72 and 84 GHz (2017)

Millimeter waves in W- and V-band are allocated for high-bandwidth satellite communications in order to achieve higher data transfer rates. However, atmospheric propagation characteristics are not well understood at these frequencies. This work examines the substantial and yet avoidable signal degrading effect, wetness of antenna, on reflector dish antennas at 72 and 84 GHz. Understanding this effect is vital to characterizing the path loss due to environmental conditions. Our measurements include the wet antenna effect on a bare reflector dish antenna, a reflector dish covered with an untreated radome, and lastly a reflector dish covered with a hydrophobic coating applied to the radome. Our research indicates that the wet antenna effect was optimally mitigated with the radome cover treated with a hydrophobic material. This research will guide millimeter-wave communication system designers to avoid the wet antenna effect, thereby increasing their potential link availability.
Physicians must not be misled by arguments against screening with densitometry (1996)

EDITOR,—As the person chiefly responsible for the development of bone densitometry, I wish to reply to the unreasonable arguments of Trevor A Sheldon and colleagues that the reply by David Barlow and colleagues does not address.1 Critics mistakenly dispute the use of densitometry for assessing risk by questioning its sensitivity in diagnosing fracture. Using densitometry to diagnose a fracture is comparable to diagnostic use of blood pressure for stroke or lipid concentrations for infarction. Bone density indicates the risk, not the presence of a …
Transition Metals in Organic Synthesis* (1976)

The use of transition metals to accomplish strategic synthetic transformations is reviewed in this article. So as to be of the greatest value to the synthetic organic chemist, this review is organized on the basis of the type of transformation effected. 1. Functional Group Removal and Reduction 2. Insertion Reactions 3. Activation of Alkenes, Alkynes, and Allylic Systems to Addition 4. Other Methods of C-C-Bond Formation 5. Ring Forming Reactions 6. Isomerizations and Rearrangements 7. Functional Group Protection
Thermally controlled bound states in the continuum in Si3N4 photonic crystals (2020)

Bound states in the continuum (BIC) attracted great attention in the photonics community. The existence of such states has led to numerous applications, including optical sensors and filters. Here we report on the approach to externally tune a magnitude and spectral position of high-Q resonances, associated with not symmetry-protected BIC state in silicon nitride (Si3N4) photonic crystals. We show that BIC properties can be controlled by the external thermal impact. These results can be used to construct compact and thermally stable optical sensors immune to harsh environmental conditions.
Centerifugal fluidized combustion of coal. Quarterly report, July--September 1978 (1978)

A theoretical analysis of the velocity distribution in the bed region was completed in which the bed is assumed to behave as a homogeneous fluid of viscosity ..mu../sub e/. The analysis confirms that the bed rotates as a rigid body, with the tangential velocity varying linearly with radius. Additional experimental and theoretical results were obtained on the velocity profiles in the freeboard region of the CFB. These results show that except for thin end wall boundary layers and a core region at the axis of rotation, the flow is essentially inviscid and irrotational in nature. In the main flow region, the measured velocity profiles are in good qualitative agreement with results from the potential flow anlysis.
Experimental Marchenko focusing in a variable diameter sound wave tube (2016)

We construct a low-noise setup for experimental 1D wave propagation. Using the attenuation-corrected reflection response measured on one side of a three-layer tube, we successfully perform Marchenko focusing. This is the first time that the iterative Marchenko scheme is applied to laboratory data to physically focus a wavefield. The fundamental solutions of the Marchenko equation provide us with a focusing function that suppresses internal multiples and produces a purely downgoing pulse at an arbitrary depth. When re-emitting that focusing function in the physical model we are able to suppress 74 % of the internal multiple energy. Additionally, the data-driven Marchenko focusing function is compared to a model-driven approach. The latter is only superior if the model geometry is known very accurately, while the Marchenko approach only requires knowledge of the attenuation. Presentation Date: Monday, October 17, 2016 Start Time: 1:00:00 PM Location: 147/154 Presentation Type: ORAL
Recent advances in high‐efficiencyIII–Vmulti‐junction solar cells for space applications: ultra triple junction qualification (2005)

Abstract Recent advances in Spectrolab's high efficiency III – V multi‐junction space solar cells are reported. The latest generation GaInP/GaAs/Ge solar cells under production—the Ultra Triple Junction (UTJ)—have an average efficiency at maximum power of 28.0% (AM0, 28°C, 135.3 mW/cm 2 ) at beginning of life (BOL), and 22.6% at 60°C at end of life (EOL, 15 years in GEO orbit). This represents a 5.5% relative higher efficiency at EOL, compared with the previous generation Improved Triple Junction (ITJ) cells. The P/P 0 —for 1 MeV electrons after 10 15 cm −2 fluence has also improved to 0.86, compared with 0.84 for the ITJ cells. These and other performance results of UTJ solar cells are reviewed in comparison with ITJ solar cells. Copyright © 2005 John Wiley &amp; Sons, Ltd.
Heterogeneous and semiheterogeneous photosensitization: photochemical processes using derivatives of rose bengal. 13 (1986)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTHeterogeneous and semiheterogeneous photosensitization: photochemical processes using derivatives of rose bengal. 13Bozena Paczkowska, Jerzy Paczkowski, and D. C. NeckersCite this: Macromolecules 1986, 19, 3, 863–870Publication Date (Print):March 1, 1986Publication History Published online1 May 2002Published inissue 1 March 1986https://pubs.acs.org/doi/10.1021/ma00157a066https://doi.org/10.1021/ma00157a066research-articleACS PublicationsRequest reuse permissionsArticle Views198Altmetric-Citations28LEARN 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
Prototype and evaluation of the CoRAM memory architecture for FPGA-based computing (2012)

The CoRAM memory architecture for FPGA-based computing augments traditional reconfigurable fabric with a natural and effective way for applications to interact with off-chip memory and I/O. The two central tenets of the CoRAM memory architecture are (1) the deliberate separation of concerns between computation versus data marshalling and (2) the use of a multithreaded software abstraction to replace FSM-based memory control logic. To evaluate the viability of the CoRAM memory architecture, we developed a full RTL implementation of a CoRAM microarchitecture instance that can be synthesized for standard cells or emulated on FPGAs. The results of our evaluation show that a soft emulation of the CoRAM memory architecture on current FPGAs can be impractical for memory-intensive, large-scale applications due to the high performance and area penalties incurred by the soft mechanisms. The results further show that in an envisioned FPGA built with CoRAM in mind, the introduction of hard macro blocks for data distribution can mitigate these inefficiencies---allowing applications to take advantage of the CoRAM memory architecture for ease of programmability and portability while still enjoying performance and efficiency comparable to RTL-level application development on conventional FPGAs.
A tipping point in cancer-immune dynamics leads to divergent immunotherapy responses and hampers biomarker discovery (2021)

These findings have two important implications for clinical oncology. First, the apparent conundrum that ICI induces substantial benefits in some patients yet completely fails in others could be, to a large extent, explained by the presence of a tipping point. Second, predictive biomarkers for immunotherapy should ideally combine both immunological and tumor-related markers, as a patient's distance from the tipping point can typically not be reliably determined from solely one of these. The notion of a tipping point in cancer-immune dynamics helps to devise more accurate strategies to select appropriate treatments for patients with cancer.
A Comprehensive Study of Nanosheet and Forksheet SRAM for Beyond N5 Node (2021)

SRAM bitcell area reduction, lower SRAM parasitic resistance, and higher drive strength are necessary to continue with technology scaling. Nanosheet (NSH) technology improves SRAM cell write-ability by having 50 mV more write trip point (WTP) than FinFET (FF) SRAM due to reduced bit line (BL) resistance (due to wider metal CD) and more drive current strength (more than 15%) than FF for the same leakage. However, due to higher bitcell area (20% larger), BL, and word line (WL) parasitic capacitance than FF, NSH SRAM would not compete with FF SRAM in terms of the read delay (26% more delay) and energy at the 3-nm technology node. PFET to NFET (PN) spacing, composed of gate cut, gate extension, and Fin pitch in an SRAM bitcell, is critical for SRAM cell height because it can take ~46% of the 111 SRAM total cell height. The forksheet (FSH), achieving extremely scaled PN space in SRAM bitcell due to device structure with limited additional processing complexity, reduces the SRAM bitcell area. As a result, BL and WL parasitics reduce and improve the SRAM read delay and stability. FSH SRAM saves 6% area benefit and achieves 24% lesser read delay than FF high density (HD) SRAM.
Two DNA vaccines protect against severe disease and pathology due to SARS-CoV-2 in Syrian hamsters (2022)

The SARS-CoV-2 pandemic is an ongoing threat to global health, and wide-scale vaccination is an efficient method to reduce morbidity and mortality. We designed and evaluated two DNA plasmid vaccines, based on the pIDV-II system, expressing the SARS-CoV-2 spike gene, with or without an immunogenic peptide, in mice, and in a Syrian hamster model of infection. Both vaccines demonstrated robust immunogenicity in BALB/c and C57BL/6 mice. Additionally, the shedding of infectious virus and the viral burden in the lungs was reduced in immunized hamsters. Moreover, high-titers of neutralizing antibodies with activity against multiple SARS-CoV-2 variants were generated in immunized animals. Vaccination also protected animals from weight loss during infection. Additionally, both vaccines were effective at reducing both pulmonary and extrapulmonary pathology in vaccinated animals. These data show the potential of a DNA vaccine for SARS-CoV-2 and suggest further investigation in large animal and human studies could be pursued.
Evidence for tissue iron overload in long‐term hemodialysis patients and the impact of withdrawing parenteral iron (2012)

High SF correlates with IO in the liver and spleen, but not in the heart.
Illuminance Characteristics of Energy-saving Luminaire with White-Light-Emitting Diode and a Solar-cell and Battery System for Street Lighting (2001)

The illuminance characteristics of a next-generation energy-saving luminaire for street lighting is described. It consists of white-light-emitting diodes (LEDs) and a solar-cell and battery system. A prototype luminaire was constructed of two LED light sources, each of which with a total of 700 units of 10-cd-class white LEDs. The illuminance is normally 80lx. When a person approaches within 2 m of the luminaire, a pyroelectric motion-sensor senses the situation and the illuminance is increased to about 660 lx. This is about 50 times brighter than a white incandescent lamp. The luminous efficacy of the white LED array source was estimated to be approximately 451m/W at a forward-current of 1mA. Field testing showed that this white LED lighting system did not suffer serious deterioration in either it's brightness or electric circuit over a period of one year.
Performance comparison of RAN-CN protocol stacks in IMT-2000 networks (2002)

We introduce three models of the radio access network-core network (RAN-CN) interface in IMT-2000 networks. After modeling each protocol stack as queueing models, the performance of these models is evaluated in terms of average call setup delay and average transmission delay between the radio network controllers (RNC) and the mobile services switching center (MSC), and average location update delay. The comparison among them gives information about which protocol stack model is more advantageous. The 4.2931+M protocol on the application layer above ATM signaling protocol stacks yields the best performance among the three models.
Nanocomposite “Superhighways” by Solution Assembly of Semiconductor Nanostructures with Ligand‐Functionalized Conjugated Polymers (2012)

Poly(3-hexyl thiophene) containing chain-end thiols or phosphonic acids is crystallized to yield nanowires with the functional groups at the wire edges. CdSe quantum dots and nanorods associate with these fibrils, leading to 'superhighways' that consist of alternating parallel lanes of conjugated polymer and CdSe.
Abstract 4520: Inhibition of melanoma growth by small molecules that attenuate PI3K/PDK1 signaling and promote ATF2 mitochondrial localization (2014)

Abstract Phosphoinositide-dependent kinase-1 (PDK-1) phosphorylates members of the AGC kinase superfamily, including AKT and PKC. We recently demonstrated the importance of PDK1 in melanoma development and progression (Oncogene 2013). Genetic ablation of PDK1 in melanocytes effectively delayed melanoma development and inhibited metastasis in a Braf/Cdkn2a model with WT or mutant Pten. In an effort to identify small molecule inhibitors that could affect the PDK1 signaling we characterized SBI-0089410, a small molecule identified in a screen for nuclear exclusion of the transcription factor ATF2, which attenuates its oncogenic activity while enabling its function at the mitochondrial membrane to promote apoptosis. SBI-0089410 reduced melanoma cell viability, inhibited colony formation and spheroid growth, decreased mitochondrial membrane permeability, decreased ATF2 phosphorylation by PKCϵ and altered ATF2 transcriptional activity. Notably, the effect of SBI-0089401 was attenuated by the overexpression of constitutively active PKCϵ or ATF2T52E, which carries a phosphomimetic mutation at the PKCϵ phosphorylation site. Reverse phase protein array (RPPA), validated by western blot analysis, revealed that SBI-408910 attenuates PI3K/AKT/PDK1 signaling pathways. In vivo, SBI-089410 attenuated the growth of Braf/Cdkn2a/Pten tumors in a syngeneic B6 mouse model, as well as prevented their resistance to BRAFi. Our studies substantiate the importance of targeting PI3K/PDK1 signaling in melanoma as a means for effective therapy and prevention of chemoresistance. Citation Format: Tal Varsano, Yongmei Feng, Giuseppina Claps, Marzia Scortegagna, Eric Lau, Marilyn Leonard, Anthony Pinkerton, Maurizio Pellecchia, Michael Davies, Marcus Bosenberg, Ze'ev Ronai. Inhibition of melanoma growth by small molecules that attenuate PI3K/PDK1 signaling and promote ATF2 mitochondrial localization. [abstract]. In: Proceedings of the 105th Annual Meeting of the American Association for Cancer Research; 2014 Apr 5-9; San Diego, CA. Philadelphia (PA): AACR; Cancer Res 2014;74(19 Suppl):Abstract nr 4520. doi:10.1158/1538-7445.AM2014-4520
Toward a picometer displacement-sensing interferometry for the next generation of calculable capacitor (2011)

A high resolution Fabry-Perot interferometer system is designed to measure displacement by measuring both the cavity mode spacing and absolute mode position shifts. We achieve a fractional uncertainty of 2 × 10 − 9 / Hz without any optical frequency standard.
Stability of lorazepam in 0.9% sodium chloride stored in polyolefin bags (2004)

Journal Article Stability of lorazepam in 0.9% sodium chloride stored in polyolefin bags Get access Jeffrey P. Norenberg, M.S., PHARM.D., BCNP, FASHP, FAPhA, Jeffrey P. Norenberg, M.S., PHARM.D., BCNP, FASHP, FAPhA Assistant Professor and Director Radiopharmaceutical Sciences Program, Department of Pharmacy Practice, College of Pharmacy Address correspondence to Dr. Norenberg at the College of Pharmacy, MSC09 5360, University of New Mexico Health Sciences Center, Albuquerque, NM 87131-0001 jpnoren@unm.edu. Search for other works by this author on: Oxford Academic Google Scholar Louis E. Achusim, M.S., PHARM.D., Louis E. Achusim, M.S., PHARM.D. Executive Director of Pharmacy Services University of New Mexico (UNM) Hospitals, and Clinical Assistant Professor, Department of Pharmacy Practice, College of Pharmacy Search for other works by this author on: Oxford Academic Google Scholar Thomas H. Steel, M.A., Thomas H. Steel, M.A. Associate Director of Pharmacy Services at the time of writing this article, was UNM Hospitals, and Clinical Assistant Professor, Department of Pharmacy Practice, College of Pharmacy Search for other works by this author on: Oxford Academic Google Scholar Tamara L. Anderson, B.S. Tamara L. Anderson, B.S. Research Technician III, Radiopharmacy Laboratory Department of Pharmacy Practice, College of Pharmacy, UNM Health Sciences Center, Albuquerque, NM Search for other works by this author on: Oxford Academic Google Scholar American Journal of Health-System Pharmacy, Volume 61, Issue 10, 1 May 2004, Pages 1039–1041, https://doi.org/10.1093/ajhp/61.10.1039 Published: 15 May 2004