gebhart/patrepeval huggingface dataset:
Interleaving based variable ordering methods for ordered binary decision diagrams (1993)

Ordered binary decision diagrams (OBDDs) are efficient representations of Boolean functions and have been widely used in various computer-aided design tools. Since the size of an OBDD depends on variable ordering, it is important to find a good variable order for the efficient manipulation of OBDDs. In particular, it is important to find the same good variable order for multiple functions, since multiple functions are handled at the same time in most computer-aided design tools. The paper describes new variable ordering algorithms for multiple output circuits. The new algorithms use variable interleaving, while conventional algorithms use variable appending. For some benchmark circuits, OBDDs have been successfully generated by using the new algorithms, while they have not been generated by using conventional algorithms. Consequently, the new variable ordering algorithms are effective and allow us to apply OBDD-based CAD tools to wider classes of circuits.
Abstract TP211: Plasma Cytokine Levels Differ Between Primary and Syndromic Moyamoya and Pediatric and Adult Moyamoya Disease (2017)

Background: Moyamoya disease (MMD) is a progressive intracranial arteriopathy of unknown etiology affecting adults and children. We aimed to explore plasma cytokines in pediatric and adult cases of MMD. We hypothesized that quantitative and qualitative differences exist between adults and children, and primary idiopathic versus secondary syndromic cases of MMD. Methods: We performed plasma cytokine analysis using 63-plex Luminex immunoassay on 227 adults, 90% with primary MMD, and 30 children aged &lt;21 years, 80% with primary MMD, from a single center. Patients with a history of stroke within 1-month of plasma collection were excluded. We fitted a linear regression model using pooled data, with adjustment for age and sex, to assess for differences between primary and secondary patients with respect to each of 60 cytokines. We then conducted a stratified analysis by fitting a set of linear regression models for adults and children separately to examine potential interactions between etiology and age. Statistical significance was adjusted using Bonferroni method to account for multiple testing. Results: Three cytokines differed significantly between primary and secondary cases of MMD after Bonferroni correction (p&lt;0.00083), with secondary cases exhibiting higher levels of MCP3 (p=3.8x10 -8 ), IP10 (p=5.1x10 -4 ), and IL12P40 (p=6.4x10 -4 ). Stratified analysis by age identified two cytokines, VEGF (p=7.2x10 -4 ) and IL12P70 (p=7.8x10 -4 ), that differed significantly among children, with higher levels among secondary versus primary MMD, while the difference was not significant among adults (interaction p&lt;2x10 -4 ) (figure 1). Conclusions: Syndromic cases of MMD demonstrate higher levels of plasma cytokines compared to primary cases of MMD, and the difference between primary versus secondary MMD is modified by age for some cytokines. This study suggests the importance of including age and etiology of MMD in investigating biomarkers and disease pathogenesis.
993. Combining Key Residues of the Russian and US Live-Attenuated Influenza Viruses for a More Attenuated Virus (2018)

Abstract Background The Live Attenuated Influenza Virus (LAIV) used in the United States is based on the cold-passaged A/AnnArbor/6/60 strain (AA). An alternative LAIV (Len), developed from the cold-passaged A/Leningrad/134/17/57 strain, has also been used in some countries outside the United States. Recent concerns with the efficacy and safety of the current US LAIV warrant the development of an improved LAIV. Methods We used in vitro minireplicon and multicycle viral growth assays to analyze the combined effects of polymerase mutations from LAIV (AA) and LAIV (Len) on the phenotype of PR8. Mini-replicon assays were performed in HEK-293T cells with firefly luciferase under the control of the influenza virus NP promoter; we controlled for cell density with a constitutively active Renilla luciferase. Multicycle growth curve experiments were performed at 33°C, 37°C, and 39°C in MDCK cells with an m.o.i. of 0.001. Mean values for triplicate infections at 12, 24, 48, and 72 hours were plotted as TCID50/mL. Results Control experiments showed replication of PR8 (AA) and PR8 (Len) in MDCK cells was significantly decreased as compared with WT PR8 at 37°C and 39°C at 24–48 hour time points, but not at 33C (the temperature of nasal passages). We found that polymerase activity was up to 3 logs more temperature-sensitive (ts) at 37°C and 39°C with the combined Len and AA mutations using the mini-replicon assay. In the growth curve experiments, the combined Len and AA mutations conferred up to a 4-log decrease in replication levels at 37°C as compared with PR8 (Len) and an even greater decrease compared with PR8 (AA). Conclusion Our findings suggest combining the AA and Len LAIV polymerase mutations decreases LAIV replication at body temperature (37°C), as compared with either LAIV alone. This could be useful in developing an improved LAIV that is safer in vulnerable hosts (e.g., children under the age of 2 who may be vulnerable to wheezing), while also permitting dose escalation that might result in greater efficacy. Minireplicon assay. Polymerase activity of combination mutants. Multicycle replication kinetics of combination mutants (red) against PR8 Len (black) at 33C (solid), 37C (dashed) and 39C (dotted). Disclosures All authors: No reported disclosures.
Emerging Trends in Design and Applications of Memory-Based Computing and Content-Addressable Memories (2015)

Content-addressable memory (CAM) and associative memory (AM) are types of storage structures that allow searching by content as opposed to searching by address. Such memory structures are used in diverse applications ranging from branch prediction in a processor to complex pattern recognition. In this paper, we review the emerging challenges and opportunities in implementing different varieties of CAM/AM structures. Beyond-CMOS silicon and nonsilicon memory technologies hold significant promise in implementing dense, fast, and energy-efficient CAM/AM structures. We describe circuit/architecture level implementations of CAM/AM using these technologies, as well as novel applications in different domains, including informatics, text analytics, data mining, and reconfigurable computing platforms.
Gut health: predictive biomarkers for preventive medicine and development of functional foods (2010)

There is an urgent need to develop and validate a series of biomarkers, which accurately measure and inform on how the human gut microbiota can affect human health. The human gut hosts a complex community of micro-organisms, with unique features in each individual. The functional role of this gut microbiota in health and disease is increasingly evident, but poorly understood. Comprehension of this ecosystem implies a significant challenge in the elucidation of interactions between all of its components, but promises a paradigm shift in preventive nutrition and medicine. 'Omics' technologies for the first time offer tools of sufficient subtlety to tackle this challenge. However, these techniques must be allied with traditional skills of the microbial physiologist, which are in danger of being lost. Targeting these efforts at the identification of biomarkers associated with gut health will require access to a 'biobank' from a pan-European or worldwide observation study, which would include samples taken with appropriate frequency from healthy individuals of different ages. This offers a pragmatic opportunity for a unique food and pharmaceutical industry collaboration.
Gyrotaxis in a Steady Vortical Flow (2011)

We show that gyrotactic motility within a steady vortical flow leads to tightly clustered aggregations of microorganisms. Two dimensionless numbers, characterizing the relative swimming speed and stability against overturning by vorticity, govern the coupling between motility and flow. Exploration of parameter space reveals a striking array of patchiness regimes. Aggregations are found to form within a few overturning time scales, suggesting that vortical flows might be capable of efficiently separating species with different motility characteristics.
A laser backlight liquid crystal display with a narrow bezel (2020)

A BT.2020 wide color gamut is obtained using a laser backlight liquid crystal display (LCD). A conventional side-edge laser backlight requires a wide bezel area to achieve uniform brightness. We developed stacked double light guide plates, with each plate comprising light-mixing and light-emitting areas. The light-mixing area of each plate overlaps the light-emitting area of another light guide plate, thereby reducing the bezel width from 150 to 15 mm for a 17-inch LCD.
SEVA (2005)

In this paper, we study how a sensor-rich world can be exploited by digital recording devices such as cameras and camcorders to improve a user's ability to search through a large repository of image and video files. We design and implement a digital recording system that records identities and locations of objects (as advertised by their sensors) along with visual images (as recorded by a camera). The process, which we refer to as sensor-enhanced video annotation (SEVA), combines a series of correlation, interpolation, and extrapolation techniques. It produces a tagged stream that later can be used to efficiently search for videos or frames containing particular objects or people. We present detailed experiments with a prototype of our system using both stationary and mobile objects as well as GPS and ultrasound. Our experiments show that: (i) SEVA has zero error rates for static objects, except very close to the boundary of the viewable area; (ii) for moving objects or a moving camera, SEVA only misses objects leaving or entering the viewable area by 1-2 frames; (iii) SEVA can scale to 10 fast moving objects using current sensor technology; and (iv) SEVA runs online using relatively inexpensive hardware.
New Systematic Review Methodology for Visual Impairment and Blindness for the 2010 Global Burden of Disease Study (2013)

We report a comprehensive systematic review of over 30 years of VI/blindness studies. While there has been an increase in population-based studies conducted in the 2000s compared to previous decades, there is limited information from certain regions (eg, Central Africa and Central and Eastern Europe, and the Caribbean and Latin America), and younger age groups, and minimal data regarding prevalence of near vision and mild distance VI.
Bregman Plug-And-Play Priors (2022)

The past few years have seen a surge of activity around integration of deep learning networks and optimization algorithms for solving inverse problems. Recent work on plug-and-play priors (PnP), regularization by denoising (RED), and deep unfolding has shown the state-of-the-art performance of such integration in a variety of applications. However, the current paradigm for designing such algorithms is inherently Euclidean, due to the usage of the quadratic norm within the projection and proximal operators. We propose to broaden this perspective by considering a non-Euclidean setting based on the more general Bregman distance. Our new Bregman Proximal Gradient Method variant of PnP (PnP-BPGM) and Bregman Steepest Descent variant of RED (RED-BSD) replace the traditional updates in PnP and RED from the quadratic norms to more general Bregman distance. We present a theoretical convergence result for PnP-BPGM and demonstrate the effectiveness of our algorithms on Poisson linear inverse problems.
Guava (2000)

We introduce Guava, a dialect of Java whose rules statically guarantee that parallel threads access shared data only through synchronized methods. Our dialect distinguishes three categories of classes: (1) monitors, which may be referenced from multiple threads, but whose methods are accessed serially; (2) values, which cannot be referenced and therefore are never shared; and (3) objects, which can have multiple references but only from within one thread, and therefore do not need to be synchronized. Guava circumvents the problems associated with today's Java memory model, which must define behavior when concurrent threads access shared memory without synchronization.We present an overview of the syntax and the semantic rules of Guava. We discuss how implementations of Guava can exploit these rules to re-enable compiler optimizations inhibited by standard Java. We discuss how compilers for certain multiprocessor architectures can automatically generate certain programming idioms, such as double-check reads, as optimizations of serialized monitors.
Composite versus conventional coronary artery bypass grafting strategy for the anterolateral territory: study protocol for a randomized controlled trial (2013)

ClinicalTrials.gov: NCT01585285.
Spatial Reuse for Coexisting LTE and Wi-Fi Systems in Unlicensed Spectrum (2017)

In this paper, we leverage multi-antenna transmit beamforming techniques in order to enable spatial reuse for coexisting LTE and Wi-Fi systems in unlicensed spectrum. For the cellular small cell base stations equipped with multiple transmit antennas and operating in the unlicensed spectrum, some spatial degrees of freedom (DoF)s are dedicated to serving small cell user terminals (SUEs) and others are employed to mitigate interference to the co-existing co-channel Wi-Fi users by applying a linear multi-user precoding technique, such as zero-forcing transmit beamforming (ZFBF). Through careful allocation of spatial DoFs, enhanced spatial reuse of unlicensed spectrum resources can be achieved, thereby improving spectrum efficiency on unlicensed bands. However, due to inherent channel state information (CSI) estimation and feedback errors, ZFBF cannot completely alleviate detrimental co-channel interference effects. After analysing the so-called intra radio technology (intra-RAT) interference among SUEs, i.e., the residual interference caused by imperfect CSI used in ZFBF, and the inter-RAT interference experienced by the Wi-Fi users, we derive the throughput of the co-existing LTE and Wi-Fi systems, respectively. Based on the derived throughput, spatial DoF and power can be optimally allocated to balance the throughput between the small cell and Wi-Fi systems in different scenarios. Our theoretical analysis and proposed schemes are further confirmed with exhaustive numerical simulation results.
Presence of Peripheral Artery Disease Is Associated With Increased Risk of Heart Failure Events: Insights From EMPEROR-Pooled (2023)

International audience
Clinical significance of circulating CD44 in non-Hodgkin's lymphoma (1998)

Soluble isoforms of various adhesion molecules have recently been observed in the blood circulation, but the physiological effects of such molecules remain unsettled. Our earlier results indicate that soluble CD44 can be detected in sera of healthy individuals and that significantly higher levels of serum CD44 (s-CD44) can be found in lymphoma patients. The serum level of the standard form of CD44 parallels the clinical treatment response in patients with lymphoma. In the present study, we have investigated the clinical significance of s-CD44 in non-Hodgkin's lymphoma measured at the time of the diagnosis. S-CD44 was measured from the sera of 123 patients with non-Hodgkin's lymphoma by dot blotting high levels of s-CD44 were associated with high serum levels of lactate dehydrogenase and thymidine kinase, high histological grade of malignancy and poor overall survival. However, s-CD44 level did not have independent prognostic value in a multivariate analysis. In conclusion, a high s-CD44 level at the time of diagnosis was associated with poor survival and several other adverse prognostic factors. Our previous and present studies taken together suggest that measurement of s-CD44 is a valuable tool to monitor treatment response in lymphoma patients. However, it may not be an improved prognostic marker.
Infrared Laser Ablation with Vacuum Capture for Fingermark Sampling (2017)

Infrared laser ablation coupled to vacuum capture was employed to collect material from fingermarks deposited on surfaces of different porosity and roughness. Laser ablation at 3 μm was performed in reflection mode with subsequent capture of the ejecta with a filter connected to vacuum. Ablation and capture of standards from fingermarks was demonstrated on glass, plastic, aluminum, and cardboard surfaces. Using matrix assisted laser desorption ionization (MALDI), it was possible to detect caffeine after spiking with amounts as low as 1 ng. MALDI detection of condom lubricants and detection of antibacterial peptides from an antiseptic cream was demonstrated. Detection of explosives from fingermarks left on plastic surfaces as well as from direct deposition on the same surface using gas chromatography mass spectrometry (GC-MS) was shown. Graphical Abstract ᅟ.
Wavelength dependence of the optical axis in double tungstate crystals (2013)

We demonstrate experimental results on the angular dependence of the optical axis in biaxial materials from 430 nm to 1580 nm. Using pure KGd(WO<sub>4</sub>)<sub>2</sub> (KGW) and Neodymium doped KGW crystals of around 1 cm in length. The variation of the angle is about 2.4&deg; over the above wavelength range. Within the investigated spectral domain, a rotation of the index ellipsoid along the crystallographic b-axis is not observed, the variation occurs only in one plane. Moreover, no significant influence of doping of the crystal was observed. Comparison with literature refractive index data results in a difference of up to 0.5&deg; with our data based on an arbitrary reference chosen at 560 nm, showing the importance of this measurement for conical refraction applications.
The Effect of Anteromedial Facet Fractures of the Coronoid and Lateral Collateral Ligament Injury on Elbow Stability and Kinematics (2009)

This study suggests that the size of the anteromedial coronoid fracture fragment affects elbow kinematics, particularly in varus stress. The size of an anteromedial coronoid fracture and the presence of concomitant ligament injuries may be important determinants of the need for open reduction and internal fixation.
Deconvolution of clinical variance in CAR-T cell pharmacology and response (2023)

Chimeric antigen receptor T cell (CAR-T) expansion and persistence vary widely among patients and predict both efficacy and toxicity. However, the mechanisms underlying clinical outcomes and patient variability are poorly defined. In this study, we developed a mathematical description of T cell responses wherein transitions among memory, effector and exhausted T cell states are coordinately regulated by tumor antigen engagement. The model is trained using clinical data from CAR-T products in different hematological malignancies and identifies cell-intrinsic differences in the turnover rate of memory cells and cytotoxic potency of effectors as the primary determinants of clinical response. Using a machine learning workflow, we demonstrate that product-intrinsic differences can accurately predict patient outcomes based on pre-infusion transcriptomes, and additional pharmacological variance arises from cellular interactions with patient tumors. We found that transcriptional signatures outperform T cell immunophenotyping as predictive of clinical response for two CD19-targeted CAR-T products in three indications, enabling a new phase of predictive CAR-T product development.
Retinoic acid binding protein in normal and neoplastic rat prostate (1982)

Sucrose density gradient analysis of cytosol from normal and neoplastic rat prostatic tissues exhibited a peak of (3H) retinoic acid binding in the 2S region, corresponding to the cytoplasmic retinoic acid binding protein (cRABP). In the Fisher-Copenhagen F1 rat, cRABP was present in the lateral lobe, but could not be detected in the ventral nor in the dorsal prostatic lobes. Four sublines of the R-3327 rat prostatic tumor contained similar levels of this binding protein. The absence of cRABP in the normal tissue of origin of the R-3327 tumor, the rat dorsal prostate, and reappearance in the neoplastic tissues follows a pattern described in other human and animal tumors. The occurrence of cRABP in the well-differentiated as well as in the anaplastic R-3327 tumors in which markers which reflect a state of differentiation and hormonal regulation, such as androgen receptor, 5 alpha reductase, and secretory acid phosphatase are either markedly reduced or absent, points to cRABP as a marker of malignant transformation.
Length control of individual carbon nanotubes by nanostructuring with a scanning tunneling microscope (1997)

We present a technique to control the length of carbon nanotubes. Individual carbon nanotubes can be locally cut by applying a voltage pulse to the tip of a scanning tunneling microscope (STM). Topographic imaging and STM spectroscopy are subsequently used to investigate the result. The electronic properties of a nanotube can be strongly changed by reducing the size. Current-voltage curves obtained by STM spectroscopy on a 30 nm short tube created from a longer nanotube show a stepwise increase of the current, which is attributed to quantum size effects.
Flt3-ligand as a Vaccine Adjuvant: Results in a Study of Flt3-ligand Plus Tetanus Toxoid Immunization (2004)

Dendritic cells (DC) efficiently process and present antigens to the effector arm of the immune system,thereby stimulat- ing immunity against antigens of both foreign and self origin.Administration of Flt3-ligand (FL) has been reported to increase dendritic cell (DC) numbers in
Comparison of a New Modified Gummel-Poon Model and VBIC for AlGaAs/GaAs HBTs (2003)

Abstract — A new modified Gummel-Poon (MGP) based model has been developed and tested on heterojunction bipolar transistors (HBTs). This paper focuses on the comparison of the new MGP and the VBIC models under DC and small-signal operations. The DC parameters of the two models are extracted from Gummel forward and reverse measurements at various junction temperatures and Ic-Vce measurements. The small-signal intrinsic elements are extracted from multi-bias s-parameter measurements. DC comparisons between the two model predictions and measurements reveal that the new MGP model surpasses the VBIC DC performances. The s-parameter comparisons of simulated and measurements at various bias points, from 1Ghz to 30Ghz, show that the two models are equivalent. I.
Femoral Head Allografts for Talar Body Defects (2021)

Level IV, case series.
Design, Synthesis, and Pharmacological Evaluation of Second-Generation Soluble Adenylyl Cyclase (sAC, ADCY10) Inhibitors with Slow Dissociation Rates (2022)

Soluble adenylyl cyclase (sAC: ADCY10) is an enzyme involved in intracellular signaling. Inhibition of sAC has potential therapeutic utility in a number of areas. For example, sAC is integral to successful male fertility: sAC activation is required for sperm motility and ability to undergo the acrosome reaction, two processes central to oocyte fertilization. Pharmacologic evaluation of existing sAC inhibitors for utility as on-demand, nonhormonal male contraceptives suggested that both high intrinsic potency, fast on and slow dissociation rates are essential design elements for successful male contraceptive applications. During the course of the medicinal chemistry campaign described here, we identified sAC inhibitors that fulfill these criteria and are suitable for <i>in vivo</i> evaluation of diverse sAC pharmacology.