gebhart/patrepeval huggingface dataset:
Path-based inductive synthesis for program inversion (2012)

In this paper, we investigate the problem of semi-automated inversion of imperative programs, which has the potential to make it much easier and less error prone to write programs that naturally pair as inverses, such as insert/delete operations, compressors/decompressors, and so on. Viewing inversion as a subproblem of program synthesis, we propose a novel synthesis technique called Path-based inductive synthesis (PINS) and apply it to inversion. PINS starts from a program P and a template T for its inverse. PINS then iteratively refines the space of template instantiations by exploring paths in the composition of P and T with symbolic execution. PINS uses an SMT solver to intelligently guide the refinement process, based on the paths explored so far. The key idea motivating this approach is the small path-bound hypothesis: that the behavior of a program can be summarized with a small, carefully chosen set of its program paths.
Nivolumab for adult individuals with Hodgkin lymphoma (an exemplar rapid review using RobotReviewer) (2017)

This is a protocol for a Cochrane Review (Intervention). The objectives are as follows:
Intragastric administration of the bitter tastant quinine lowers the glycemic response to a nutrient drink without slowing gastric emptying in healthy men (2019)

The rate of gastric emptying and the release of gastrointestinal (GI) hormones are major determinants of postprandial blood-glucose concentrations and energy intake. Preclinical studies suggest that activation of GI bitter-taste receptors potently stimulates GI hormones, including glucagon-like peptide-1 (GLP-1), and thus may reduce postprandial glucose and energy intake. We evaluated the effects of intragastric quinine on the glycemic response to, and the gastric emptying of, a mixed-nutrient drink and the effects on subsequent energy intake in healthy men. The study consisted of 2 parts: <i>part A</i> included 15 lean men, and <i>part B</i> included 12 lean men (aged 26 ± 2 yr). In each part, participants received, on 3 separate occasions, in double-blind, randomized fashion, intragastric quinine (275 or 600 mg) or control, 30 min before a mixed-nutrient drink (<i>part A</i>) or before a buffet meal (<i>part B</i>). In <i>part A</i>, plasma glucose, insulin, glucagon, and GLP-1 concentrations were measured at baseline, after quinine alone, and for 2 h following the drink. Gastric emptying of the drink was also measured. In <i>part B</i>, energy intake at the buffet meal was quantified. Quinine in 600 mg (Q600) and 275 mg (Q275) doses alone stimulated insulin modestly (<i>P</i> < 0.05). After the drink, Q600 and Q275 reduced plasma glucose and stimulated insulin (<i>P</i> < 0.05), Q275 stimulated GLP-1 (<i>P</i> < 0.05), and Q600 tended to stimulate GLP-1 (<i>P</i> = 0.066) and glucagon (<i>P</i> = 0.073) compared with control. Quinine did not affect gastric emptying of the drink or energy intake. In conclusion, in healthy men, intragastric quinine reduces postprandial blood glucose and stimulates insulin and GLP-1 but does not slow gastric emptying or reduce energy intake under our experimental conditions.
SOD inhibitors research from endophytics fungi extracts (2016)

Article issu d'une présentation lors du congrès : 9th Joint Meeting of AFERP, ASP, GA, JSP, PSE and SIF, qui s'est tenu du 24 juillet 2016 au 27 juillet 2016 à Copenhagen, DENMARK
MEMS Controlled Linearly Polarised Reflect Array Elements (2006)

International audience
Parent and Child Characteristics Associated with Child Sunburn and Sun Protection Among U.S. Hispanics (2017)

Future research should consider the role of acculturation and perceived risk in the sun protection behaviors of U.S. Hispanic children, particularly in those who report a fair skin type. Hispanic parents should be included in interventions targeting their children's skin cancer-related behaviors, and it is suggested that such interventions could also encourage parents to improve their own behaviors.
Fibrillar Structure of Methylcellulose Hydrogels (2013)

It is well established that aqueous solutions of methylcellulose (MC) can form hydrogels on heating, with the rheological gel point closely correlated to the appearance of optical turbidity. However, the detailed gelation mechanism and the resulting gel structure remain poorly understood. Herein the fibrillar structure of aqueous MC gels was precisely quantified with a powerful combination of (real space) cryogenic transmission electron microscopy (cryo-TEM) and (reciprocal space) small-angle neutron scattering (SANS) techniques. The cryo-TEM images reveal that MC chains with a molecular weight of 300 000 g/mol associate into fibrils upon heating, with a remarkably uniform diameter of 15 ± 2 nm over a range of concentrations. Vitrified gels also exhibit heterogeneity in the fibril density on the length scale of hundreds of nanometers, consistent with the observed optical turbidity of MC hydrogels. The SANS curves of gels exhibit no characteristic peaks or plateaus over a broad range of wavevector, q, from 0.001-0.2 Å(-1). The major feature is a change in slope from I ∼ q(-1.7) in the intermediate q range (0.001 - 0.01 Å(-1)) to I ∼ q(-4) above q ≈ 0.015 Å(-1). The fibrillar nature of the gel structure was confirmed by fitting the SANS data consistently with a model based on the form factor for flexible cylinders with a polydisperse radius. This model was found to capture the scattering features quantitatively for MC gels varying in concentration from 0.09-1.3 wt %. In agreement with the microscopy results, the flexible cylinder model indicated fibril diameters of 14 ± 1 nm for samples at elevated temperatures. This combination of complementary experimental techniques provides a comprehensive nanoscale depiction of fibrillar morphology for MC gels, which correlates very well with macro-scale rheological behavior and optical turbidity previously observed for such systems.
Bio‐inspired Design of Submerged Hydrogel‐Actuated Polymer Microstructures Operating in Response to pH (2011)

A bio-inspired hybrid materials system has been developed by utilizing pH-responsive, poly(acrylic acid-co-acrylamide) hydrogel as the "muscle" that dynamically and reversibly actuates the embedded microposts and microfins while the sample is submerged. The system is designed to provide uniform directional bending actuation over a large area and integrated with electrochemical and microfluidic cells. Detailed facts of importance to specialist readers are published as "Supporting Information". Such documents are peer-reviewed, but not copy-edited or typeset. They are made available as submitted by the authors. Please note: The publisher is not responsible for the content or functionality of any supporting information supplied by the authors. Any queries (other than missing content) should be directed to the corresponding author for the article.
Summary of energy flow measurements and calculations made on the INCE standard test structures (2002)

In 1996 a series of standard test structures was conceived and manufactured by members of the Institute of Noise Control Engineering (INCE) [Cuschieri, Burroughs, and Carroll, Evaluation of Structure-Borne Noise Prediction Techniques Review, Proceedings of Noise-Con 98, April 1998, pp. 315–320]. The structures include a Lexan T-shaped beam and two ribbed panels of identical geometries but different materials: aluminum and lexan. In subsequent years, a wide variety of investigators from the U.S. and around the world have conducted experimental and numerical studies on the test structures, particularly on energy flow parameters, such as power input, power dissipation, and power flow. Most of the studies have been performed at low frequencies, and have shown phenomena such as the conversion of flexural wave power to longitudinal wave power at the T-beam joint and the nature of the structural intensity fields in the ribbed panels. Measurements and computations compare well. At high frequencies, Statistical Energy Analysis (SEA) techniques have shown that energy tends to become trapped in the drive leg of the T-beam. SEA studies on the ribbed panels show that the Lexan panel transmits less energy across the ribs than the aluminum panel does due primarily to differences in material loss factor.
ChemInform Abstract: A Simplified Route to a Key Intermediate in the Synthesis of the Chinese Nootropic Agent Huperzine A. (1990)

Abstract Under the optimized conditions shown in the scheme, the desired key intermediate (IV) for the synthesis of huperzine A (V) is directly available from the ketone (I) in a high yield.
Abstract PS17-22: Intratumoral delivery of tavokinogene telseplasmid (plasmid IL-12) and electroporation induces an immune signature that predicts successful combination in patients (2021)

Abstract Interleukin-12 (IL-12) is a pro-inflammatory cytokine involved in the generation of an inflammatory tumor microenvironment and is critical in eliciting a productive anti-tumor immune response. It has been investigated as an anti-cancer therapeutic using various delivery routes, but intratumoral injection of plasmid IL-12 (tavokinogene telseplasmid; TAVO) followed by electroporation is a gene therapy approach that results in more sustained production of IL-12 locally with minimal systemic immune-related toxicity. Here we show that TAVO not only provides protection in the treated triple-negative breast cancer (TNBC) lesion, but also induces a systemic, abscopal effect. Single cell RNAsequencing (scRNAseq) of infiltrating immune cells shows a significant increase in both CD4 and CD8 T cells as well as dendritic cells within the treated lesions, while simultaneously decreasing a granulocytic myeloid derived suppressor population. scRNAseq allows for a detailed look into not only the overall pathway enrichment caused by TAVO treatment, but also the specific receptor-ligand interactions occurring between cell types. A combination of these analyses revealed an enrichment in the IFN-gamma induced PDL1 pathway by TAVO, typified by an increase in the interaction between PDL1 on dendritic cells and PD1 on CD8 T cells. Further, dramatic enrichment of the CXCL9/10/11/CXCR3 axis was observed, consistent with previous studies in melanoma. Analysis of paired TCR alpha and beta chains on T cells additionally demonstrated a dramatic shift in tumor infiltrating T cell (TIL) clonality and frequency. In sum, these preclinical studies identify a signature of increased antigen presentation, T cell infiltration and expansion, and a decrease in the number of granulocytes but also a particular enhancement of the PDL1 immunosuppressive pathway following TAVO treatment. Using this signature, we focus on an in-depth analysis of 2 patients from a single arm, prospective clinical trial of TAVO monotherapy (OMS-I140) in pre-treated advanced TNBC that went on to receive anti-PD-1 as their immediate next therapy with clinical anti-tumor response. Together these data support the combination of TAVO with PD1/PDL1 inhibitors while also identifying other key pathways that may enhance responsiveness in TNBC patients for whom treatment options remain limited. Citation Format: Erika J Crosby, Hiroshi Nagata, Melinda L Telli, Chaitanya R Acharya, Irene Wapnir, Kaitlin Zablotsky, Erica Browning, Reneta Hermiz, Lauren Svenson, Donna Bannavong, Kellie Malloy, David A Canton, Chris G Twitty, Takuya Osada, Herbert Kim Lyerly. Intratumoral delivery of tavokinogene telseplasmid (plasmid IL-12) and electroporation induces an immune signature that predicts successful combination in patients [abstract]. In: Proceedings of the 2020 San Antonio Breast Cancer Virtual Symposium; 2020 Dec 8-11; San Antonio, TX. Philadelphia (PA): AACR; Cancer Res 2021;81(4 Suppl):Abstract nr PS17-22.
Thermo-mechanical behavior of through silicon vias in a 3D integrated package with inter-chip microbumps (2011)

Through-silicon via (TSV), being one of the key enabling technologies for 3D system integration, is being used to interconnect 3D vertically stacked devices, such as logic, memory, sensors, and actuators that are fabricated on separate wafers and then interconnected by either wafer-to-wafer or chip-to-wafer methods. However, thermo-mechanical analyses on TSVs are limited, and most of the existing studies focus on the thermo-mechanical analysis of TSVs in a freestanding wafer, rather than in an integrated package. In this paper, three-dimensional thermo-mechanical finite-element models have been built to analyze the stress/strain distribution in a 3D integrated package which contains stacked dice with TSVs, inter-chip microbumps, overmold, and underfilled solder bumps, and an organic substrate. Models show that the stresses in the TSV under packaging configuration could be generally lower than the stresses in the TSV in a free-standing wafer. Also, the models show that the high-strain region switches from TSV corners to microbumps.
1482: Hand Assisted Laparoscopic Nephrectomy: Hand Port and Radially Dilating Trocar Site Complications (2004)

OBJECTIVE: To document thoracic-related complications during urologic laparoscopic surgery.
Tumor necrosis factor inhibitors are associated with reduced complement activation in spondylarthropathies: An observational study (2019)

Clinical Trials (NCT00902005), retrospectively registered on the 14th of May 2009.
Thermoresponsive “Particle Pumps”: Activated Release of Organic Nanoparticles from Open‐Cell Macroporous Polymers (2007)

Organic (drug) nanoparticles are formed by a freeze–dry process in situ inside the emulsion-templated temperature-senstive polymeric materials. These nanoparticles could be pumped into water to form stable nanodispersions on demand simply by raising the surrounding temperature above 30 °C, while there were no particles released at room temperatures below 20 °C. Supporting information for this article is available on the WWW under http://www.wiley-vch.de/contents/jc_2089/2007/c2794_s.html or from the author. Please note: The publisher is not responsible for the content or functionality of any supporting information supplied by the authors. Any queries (other than missing content) should be directed to the corresponding author for the article.
Structurally divergent lysophosphatidic acid acyltransferases with high selectivity for saturated medium chain fatty acids from Cuphea seeds (2015)

Lysophosphatidic acid acyltransferase (LPAT) catalyzes acylation of the sn-2 position on lysophosphatidic acid by an acyl CoA substrate to produce the phosphatidic acid precursor of polar glycerolipids and triacylglycerols (TAGs). In the case of TAGs, this reaction is typically catalyzed by an LPAT2 from microsomal LPAT class A that has high specificity for C18 fatty acids containing Δ9 unsaturation. Because of this specificity, the occurrence of saturated fatty acids in the TAG sn-2 position is infrequent in seed oils. To identify LPATs with variant substrate specificities, deep transcriptomic mining was performed on seeds of two Cuphea species producing TAGs that are highly enriched in saturated C8 and C10 fatty acids. From these analyses, cDNAs for seven previously unreported LPATs were identified, including cDNAs from Cuphea viscosissima (CvLPAT2) and Cuphea avigera var. pulcherrima (CpuLPAT2a) encoding microsomal, seed-specific class A LPAT2s and a cDNA from C. avigera var. pulcherrima (CpuLPATB) encoding a microsomal, seed-specific LPAT from the bacterial-type class B. The activities of these enzymes were characterized in Camelina sativa by seed-specific co-expression with cDNAs for various Cuphea FatB acyl-acyl carrier protein thioesterases (FatB) that produce a variety of saturated medium-chain fatty acids. CvLPAT2 and CpuLPAT2a expression resulted in accumulation of 10:0 fatty acids in the Camelina sativa TAG sn-2 position, indicating a 10:0 CoA specificity that has not been previously described for plant LPATs. CpuLPATB expression generated TAGs with 14:0 at the sn-2 position, but not 10:0. Identification of these LPATs provides tools for understanding the structural basis of LPAT substrate specificity and for generating altered oil functionalities.
ChemInform Abstract: Exploration of Modalities in Building α‐O‐Linked Systems Through Glycal Assembly: A Total Synthesis of the Mucin‐Related F1α Antigen. (1998)

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.
Off-axis sensor modulation transfer function measurement using band-limited laser speckle (2009)

We present a new methodology for measurement of off-axis sensor modulation transfer function using band-limited laser speckle and two-dimensional generalized sampling theorem. The effect of chief ray angle on sensor modulation transfer function is studied.
Inverse Kinematics Techniques in Computer Graphics: A Survey (2017)

Abstract Inverse kinematics (IK) is the use of kinematic equations to determine the joint parameters of a manipulator so that the end effector moves to a desired position; IK can be applied in many areas, including robotics, engineering, computer graphics and video games. In this survey, we present a comprehensive review of the IK problem and the solutions developed over the years from the computer graphics point of view. The paper starts with the definition of forward and IK, their mathematical formulations and explains how to distinguish the unsolvable cases, indicating when a solution is available. The IK literature in this report is divided into four main categories: the analytical , the numerical , the data‐driven and the hybrid methods. A timeline illustrating key methods is presented, explaining how the IK approaches have progressed over the years. The most popular IK methods are discussed with regard to their performance, computational cost and the smoothness of their resulting postures, while we suggest which IK family of solvers is best suited for particular problems. Finally, we indicate the limitations of the current IK methodologies and propose future research directions.
Designed Spider Silk-Based Drug Carrier for Redox- or pH-Triggered Drug Release (2020)

Targeted drug delivery and controlled drug release can be obtained using specifically designed polymers as carriers. Due to their biocompatibility and biodegradability and especially the lack of an immune response, materials made of spider silk proteins are promising candidates for use in such applications. Particles made of recombinant spider silk proteins have previously been shown to be suitable drug and gene carriers as they could readily be loaded with various drug substances or biologicals, and subsequent release was observed over a defined period of time. However, the respective substances were bound non-covalently via hydrophobic or charge-charge interactions, and hence, the release of loaded substances could not be spatio-temporally controlled. Here, we present a setup of chemically modified recombinant spider silk protein eADF4 and variants thereof, combining their well-established biocompatible properties with covalent drug binding and triggered release upon changes in the pH or redox state, respectively. The usefulness of the spider silk platform technology was shown with model substances and cytostatic drugs bound to spider silk particles or films via a pH-labile hydrazine linker as one option, and the drugs could be released from the spider silk carriers upon acidification of the environment as seen, e.g., in tumorous tissues or endo/lysosomes. Sulfhydryl-bearing spider silk variants allowed model substance release if exposed to intracellular GSH (glutathione) levels as a second coupling option. The combination of non-immunogenic, nontoxic spider silk materials as drug carriers with precisely triggerable release chemistry presents a platform technology for a wide range of applications.
Koopmans-Based Analysis of the Optical Spectra of p-Phenylene-Bridged Intervalence Radical Ions (2005)

[Figure: see text]. The optical spectra of 10 p-phenylene-bridged delocalized intervalence compounds MC6H4M*- or *+ are analyzed using the Koopmans-based method, which considers only transitions from filled orbitals to the singly occupied orbital (SOMO), called Hoijtink type A transitions, and from the SOMO to unoccupied orbitals, Hoijtink type B transitions, and ignores configuration interaction. The radical ions with quinonoid structures, those that form ring-M double bonds with M = C(CN)2, NMe2, 3-oxo-9-azabicyclo[3.3.1], NPPh3, and O when the odd electron of the intervalence oxidation level is removed, are calculated to have the lowest-allowed type B transition lying mostly above the lowest-allowed A transition, with B(i)- A(j) decreasing in the order shown from +14 370 to -1390 cm(-1), and the more intense second-lowest-allowed type B transition B(i) - A(j) from +14 940 to +7070 cm(-1). The five radical anions with benzenoid structures, which form ring-M single bonds with X = CN, CO2Me, CHO, C3HMeBF2O2, and NO2 when the odd electron of the intervalence oxidation level is removed, have a B(i)- A(j) value of the opposite sign that increases in magnitude from -2880 to -17 050 cm(-)(1) in the order shown. Configuration interaction is of course present in the observed spectra, and the predictions ignoring it mostly overestimate transition energies by 1900-2600 cm(-1) for the quinonoid compounds (but by 450 cm(-1) for the M = C(CN)2 radical anion), and by 1000-1400 cm(-1) for the benzenoid compounds (2500 cm(-1) for the M = CN radical anion). The very simple Koopmans-based model is useful for considering the optical spectra of these radical ions.
A sustainable biorefinery to convert agricultural residues into value-added chemicals (2016)

This study demonstrates an energy positive and freshwater-free biorefinery to simultaneously treat animal wastes and produce a fine chemical-chitin. The sustainable biorefinery concept provides a win-win solution for agricultural waste management and value-added chemical production.
Improved J/sub c/ of bilayer YBa/sub 2/Cu/sub 3/O/sub 7-δ/ thin film structures (1999)

Critical-current (J/sub c/) measurements for YBa/sub 2/Cu/sub 3/O/sub 7-/spl delta// (YBCO), Gd/sub 0.6/Ca/sub 0.4/Ba/sub 1.6/La/sub 0.4/Cu/sub 3/O/sub 7-/spl delta// (TX-GBCO) and TX-GBCO/YBCO bilayers were performed with transport measurements at different applied magnetic fields. The film samples were prepared by pulsed laser deposition and patterned as microbridges. The highest J/sub c/ (1.5/spl times/10/sup 6/ A/cm/sup 2/) at 75 K in 5 Tesla (Hllab) was observed for TX-GBCO/YBCO bilayers, which showed a 40% increase in J/sub c/ over YBCO under the same conditions. The bilayer samples possess a T/sub c/ at 90 K and display superconducting properties similar to YBCO. A possible mechanisms for the high J/sub c/ of bilayer YBCO films is discussed. Development of these bilayer and multilayer structures represents a promising new direction to improve the superconducting properties of YBCO since the TX-GBCO layer provide both protection against corrosion and a significant improvement in J/sub c/.