gebhart/patrepeval huggingface dataset:
Novel integration of Dimetheus and WalkSAT solvers for k-SAT filter construction (2017)

This paper describes a novel approach used to integrate two leading satisfiability (SAT) solvers, Dimetheus and WalkSAT, into a system to provide users with solver selection and solution customization capabilities. The two solvers are efficient for two different cases, have different execution procedures and generate a single solution from a single line of command. This integration provides the most efficient way to find multiple random solutions of any set membership problem from a common single line of command. To build an effective k-SAT filter, multiple random solutions are essential. The integration also provides a unified solution output format rather than two different output formats of two solvers. The theoretical approach and a practical C program were developed and tested during the work in an on-going project to build world's first practical k-SAT filter for deep packet inspection in network intrusion detection systems at Stony Brook University.
Identification of Chemoattractive Factors Involved in the Migration of Bone Marrow-Derived Mesenchymal Stem Cells to Brain Lesions Caused by Prions (2011)

Bone marrow-derived mesenchymal stem cells (MSCs) have been reported to migrate to brain lesions of neurodegenerative diseases; however, the precise mechanisms by which MSCs migrate remain to be elucidated. In this study, we carried out an in vitro migration assay to investigate the chemoattractive factors for MSCs in the brains of prion-infected mice. The migration of immortalized human MSCs (hMSCs) was reduced by their pretreatment with antibodies against the chemokine receptors, CCR3, CCR5, CXCR3, and CXCR4 and by pretreatment of brain extracts of prion-infected mice with antibodies against the corresponding ligands, suggesting the involvement of these receptors, and their ligands in the migration of hMSCs. In agreement with the results of an in vitro migration assay, hMSCs in the corpus callosum, which are considered to be migrating from the transplanted area toward brain lesions of prion-infected mice, expressed CCR3, CCR5, CXCR3, and CXCR4. The combined in vitro and in vivo analyses suggest that CCR3, CCR5, CXCR3, and CXCR4, and their corresponding ligands are involved in the migration of hMSCs to the brain lesions caused by prion propagation. In addition, hMSCs that had migrated to the right hippocampus of prion-infected mice expressed CCR1, CX3CR1, and CXCR4, implying the involvement of these chemokine receptors in hMSC functions after chemotactic migration. Further elucidation of the mechanisms that underlie the migration of MSCs may provide useful information regarding application of MSCs to the treatment of prion diseases.
Analysis of variable-density seismograms by means of optical diffraction (1965)

Abstract Variable-density seismograms were originally developed in exploration work to aid in the visualization of strata formations. They can also be directly analyzed by means of optical diffraction. When a plane wave of spatially coherent monochromatic light passes through a variable-density seismogram, a diffraction pattern can be formed which defines the seismic frequencies. The seismogram is placed so that it affects the incident light in the same manner as a diffraction grating in a conventional spectroscopic apparatus. Resulting diffraction patterns reveal continuous energy-density spectra over a range of about nine octaves. The spectra are normally two-dimensional. When variable-density profiles are used, the second dimension of the spectra is wavenumber, which is expressed as the diffraction caused by density variations across the data channels. The spectra can be made one-dimensional by inserting a cylindrical lens so that an image of the seismograms is formed in one direction in the same plane that Fraunhofer diffraction occurs in a perpendicular direction. By this means multichannel spectral analysis is performed. An additional lens is used to image the seismogram after the light has passed through the diffraction plane. The image can be filtered as to frequency, wavenumber, or propagation velocity when suitable obstructions are placed in the diffraction plane. By properly combining optical diffraction and imaging, one can obtain or perform the following: energy-density spectra, time-varying spectra, constant apparent wavenumber spectra, dispersion measurements, apparent velocity of narrow-band energy, frequency filtering, wavenumber filtering, wideband velocity filtering, and correlations.
Simple method for tuning SISO controllers in multivariable systems (1986)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTSimple method for tuning SISO controllers in multivariable systemsWilliam L. LuybenCite this: Ind. Eng. Chem. Process Des. Dev. 1986, 25, 3, 654–660Publication Date (Print):July 1, 1986Publication History Published online1 May 2002Published inissue 1 July 1986https://pubs.acs.org/doi/10.1021/i200034a010https://doi.org/10.1021/i200034a010research-articleACS PublicationsRequest reuse permissionsArticle Views1513Altmetric-Citations389LEARN 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 options Get e-Alerts
Design of RC Wide-Band 90-Degree Phase-Difference Network (1954)

This paper presents a design procedure for the practical design of RC wide-band 90-degree phase-difference networks. The important part of the paper is the design procedure given in "cookbook" fashion with a numerical example to clarify it. This procedure consists of many steps, each step being a relatively simple one. This should make it a useful design tool for people without much background in network theory. A brief theoretical introduction is presented but this is far too sketchy to be of much use in understanding just what is behind the design procedure. Some practical hints on construction and alignment are given.
Linear chain tensioning of moored production vessels (1993)

Part 1 of this two-part series discussed the worldwide floating production vessel (FPV) market and evolution of the linear puller concept. The three principal types of chain jack systems - hollow ram, single and twin cylinders - were introduced. And advantages of this relatively new form of passive mooring were outlined. This concluding article covers applications of linear chain pullers on various vessels, including use on an example 35,000-t North Sea semi-submersible. Chain wear and how linear pullers avoid wear associated with windlass-type systems are discussed, along with the optimization possible through use of a swiveling chain fair-lead latch (SCFL).
Natural and Enhanced Remediation Systems (2001)

Building on the success of bioremediation and phytoremediation technologies, Natural and Enhanced Remediation Systems explores remediation techniques that use the beneficial effects provided by Mother Nature. Written by a leader in the industry, the book provides state-of-the-art information on natural and enhanced remediation techniques such as mo
Active Learning with Gaussian Processes for Object Categorization (2007)

Discriminative methods for visual object category recognition are typically non-probabilistic, predicting class labels but not directly providing an estimate of uncertainty. Gaussian Processes (GPs) are powerful regression techniques with explicit uncertainty models; we show here how Gaussian Processes with covariance functions defined based on a Pyramid Match Kernel (PMK) can be used for probabilistic object category recognition. The uncertainty model provided by GPs offers confidence estimates at test points, and naturally allows for an active learning paradigm in which points are optimally selected for interactive labeling. We derive a novel active category learning method based on our probabilistic regression model, and show that a significant boost in classification performance is possible, especially when the amount of training data for a category is ultimately very small.
Palmitoylethanolamide for the treatment of pain: pharmacokinetics, safety and efficacy (2016)

Palmitoylethanolamide (PEA) has been suggested to have useful analgesic properties and to be devoid of unwanted effects. Here, we have examined critically this contention, and discussed available data concerning the pharmacokinetics of PEA and its formulation. Sixteen clinical trials, six case reports/pilot studies and a meta-analysis of PEA as an analgesic have been published in the literature. For treatment times up to 49 days, the current clinical data argue against serious adverse drug reactions (ADRs) at an incidence of 1/200 or greater. For treatment lasting more than 60 days, the number of patients is insufficient to rule out a frequency of ADRs of less than 1/100. The six published randomized clinical trials are of variable quality. Presentation of data without information on data spread and nonreporting of data at times other than the final measurement were among issues that were identified. Further, there are no head-to-head clinical comparisons of unmicronized vs. micronized formulations of PEA, and so evidence for superiority of one formulation over the other is currently lacking. Nevertheless, the available clinical data support the contention that PEA has analgesic actions and motivate further study of this compound, particularly with respect to head-to-head comparisons of unmicronized vs. micronized formulations of PEA and comparisons with currently recommended treatments.
Three-Dimensional Stiff Graphene Scaffold on Neural Stem Cells Behavior (2016)

Physical cues of the scaffolds, elasticity, and stiffness significantly guide adhesion, proliferation, and differentiation of stem cells. In addressable microenvironments constructed by three-dimensional graphene foams (3D-GFs), neural stem cells (NSCs) interact with and respond to the structural geometry and mechanical properties of porous scaffolds. Our studies aim to investigate NSC behavior on the various stiffness of 3D-GFs. Two kinds of 3D-GFs scaffolds present soft and stiff properties with elasticity moduli of 30 and 64 kPa, respectively. Stiff scaffold enhanced NSC attachment and proliferation with vinculin and integrin gene expression were up-regulated by 2.3 and 1.5 folds, respectively, compared with the soft one. Meanwhile, up-regulated Ki67 expression and almost no variation of nestin expression in a group of the stiff scaffold were observed, implying that the stiff substrate fosters NSC growth and keeps the cells in an active stem state. Furthermore, NSCs grown on stiff scaffold exhibited enhanced differentiation to astrocytes. Interestingly, differentiated neurons on stiff scaffold are suppressed since growth associated protein-43 expression was significantly improved by 5.5 folds.
Tablet Display Technology Shoot‐Out (2013)

Smartphones and tablets represent a new class of displays with requirements different from that of TVs and monitors. Here is where manufacturers are – and are not – meeting the challenges of ambient light and other considerations.
Automatically fixing security vulnerabilities in Java code (2011)

Most kinds of security vulnerabilities in web applications can be fixed by adding appropriate sanitization methods. Finding the correct place for the sanitizers can be difficult due to complicated data and control flow. Fixing SQL injection vulnerabilities may require more complex transformations, such as replacing uses of Statement by PreparedStatement, which could include some code motion.
Speed sensorless field oriented control of induction machines using flux observer (2002)

Speed sensors are required for the field oriented control of induction machines. These sensors reduces the sturdiness of the system and make it expensive. Therefore, a drive system without speed sensors is required, This paper reviews speed sensorless induction motor drive methods using flux observers including Kalman filters.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Terminal complement complex in plasma from patients with systemic lupus erythematosus and other glomerular diseases. (1987)

To evaluate terminal complement pathway activation in plasma from patients with systemic lupus erythematosus (SLE) and primary glomerular diseases, we developed an enzyme-linked immunosorbent assay (ELISA) for measuring the terminal complement complexes (TCC). The method is based on a sandwich technique using rabbit antibodies against native human C5, C7 and C9. To avoid interference by native components, we equilibrated plasma specimens with 5% polyethylene glycol buffer. The precipitates were measured by ELISA. TCC was detectable in all 14 normal controls (0.48 +/- 0.06 AU/ml; mean +/- s.e.m.). TCC levels were elevated in 18 of 54 patients with SLE (0.89 +/- 0.07 AU/ml; P less than 0.01) and in eight of 11 patients with membranoproliferative glomerulonephritis (MPGN) (3.15 +/- 0.62 AU/ml; P less than 0.01). However, only one of six patients with membranous nephropathy and none of 13 with mesangial proliferative glomerulonephritis showed high values. In SLE, TCC was correlated with circulating immune complexes and inversely with CH50, C3, C4, C5 and alternative complement pathway activity (AH50), and showed significantly high values even in normal CH50 cases (n = 34; P less than 0.01). In MPGN, TCC was inversely correlated with CH50, AH50, C3, C5 and C9. These results suggest that the classical pathway plays an important role for TCC generation in SLE and that the alternative pathway does in MPGN.
Ketamine and other N-methyl-D-aspartate receptor antagonists in the treatment of depression: a perspective review (2015)

Current pharmacotherapies for major depressive disorder (MDD) and bipolar depression (BDep) have a distinct lag of onset that can generate great distress and impairment in patients. Furthermore, as demonstrated by several real-world effectiveness trials, their efficacy is limited. All approved antidepressant medications for MDD primarily act through monoaminergic mechanisms, agonists or antagonists with varying affinities for serotonin, norepinephrine and dopamine. The glutamate system has received much attention in recent years as an avenue for developing novel therapeutics. A single subanesthetic dose infusion of the noncompetitive N-methyl-D-aspartate (NMDA) receptor antagonist ketamine has been shown to have rapid and potent antidepressant effects in treatment-resistant MDD and BDep. In a reverse translational framework, ketamine's clinical efficacy has inspired many preclinical studies to explore glutamatergic mechanisms of antidepressant action. These studies have revealed enhanced synaptic plasticity/synaptogenesis via numerous molecular and cellular mechanisms: release of local translational inhibition of brain-derived neurotrophic factor and secretion from dendritic spines, mammalian target of rapamycin activation and glycogen synthase kinase-3 inhibition. Current efforts are focused on extending ketamine's antidepressant efficacy, uncovering the neurobiological mechanisms responsible for ketamine's antidepressant activity in biologically enriched subgroups, and identifying treatment response biomarkers to personalize antidepressant selection. Other NMDA receptor antagonists have been studied both preclinically and clinically, which have revealed relatively modest antidepressant effects compared with ketamine but potentially other favorable characteristics, for example, decreased dissociative or psychotomimetic effects; therefore, there is great interest in developing novel glutamatergic antidepressants with greater target specificity and/or decreased adverse effects.
MECHANISM OF ENZYME INHIBITION BY ANTIBODY. A STUDY OF THE NEUTRALIZATION OF RIBONUCLEASE. (1964)

The degree of inhibition of ribonuclease by univalent antibody (Porter's fragments) is greater in the presence of substrate of large molecular weight (nucleic acid) than in the presence of substrate of low molecular weight (cyclic cytidylic acid). It follows that inhibitory steric hindrance depends on the relative position of the site of catalysis and of the site of antibody-attachment. The inhibitory properties of fraction I and fraction II obtained from the same pool of antibody were different. The inhibitory potency of the univalent antibody was increased by addition of divalent antibody, directed against univalent antibody. Some univalent fragments were found to give a zone in which the addition of univalent antibody did not lead to noticeable inhibition. With such fragments, it was demonstrated that divalent antibody, directed against univalent antibody, reduced the plateau zone. Divalent antibody directed against univalent antibody could greatly increase the inhibitory capacity of the univalent antibody in univalent antibody excess. This occurred in circumstances in which no insoluble precipitate was formed and in which no lattice formation could occur. It was, therefore, concluded that the inhibitory effect of the divalent antibody would not depend on steric hindrance by a lattice, but on the increase in the firmness of binding between univalent antibody and ribonuclease. It was shown by equilibrium dialysis of antibody—ribonuclease complexes against radioactively labelled competitive inhibitors of ribonuclease that the number of catalytic sites available for combination with competitive inhibitor was similar to the number of catalytic sites which could act on substrate. It was therefore concluded that antibody could only inhibit an enzyme if it blocked access to the catalytic site. It was furthermore demonstrated that two types of antibodies could occur; one combining and inhibiting, the other one combining, not inhibiting and competing with inhibiting antibody.
A 0.8V, 560fJ/bit, 14Gb/s injection-locked receiver with input duty-cycle distortion tolerable edge-rotating 5/4X sub-rate CDR in 65nm CMOS (2014)

A quarter-rate forwarded-clock receiver utilizes an edge-rotating 5/4X sub-rate CDR for improved jitter tolerance with low power overhead relative to conventional 2X oversampling CDR systems. Low-voltage operation is achieved with efficient quarter-rate clock generation from an injection-locked oscillator (ILO) and through automatic independent phase rotator control that optimizes timing margin of each input quantizer in the presence of receive-side clock static phase errors and transmitter duty-cycle distortion (DCD). Fabricated in GP 65nm CMOS, the receiver operates up to 16Gb/s with a BER<10 <sup xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">−12</sup> , achieves a 1MHz phase tracking bandwidth, tolerates ±50%UI <inf xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">pp</inf> DCD on input data, and has 14Gb/s energy efficiency of 560fJ/bit at V <inf xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">DD</inf> =0.8V.
Tracking brain states under general anesthesia by using global coherence analysis (2011)

Time and frequency domain analyses of scalp EEG recordings are widely used to track changes in brain states under general anesthesia. Although these analyses have suggested that different spatial patterns are associated with changes in the state of general anesthesia, the extent to which these patterns are spatially coordinated has not been systematically characterized. Global coherence, the ratio of the largest eigenvalue to the sum of the eigenvalues of the cross-spectral matrix at a given frequency and time, has been used to analyze the spatiotemporal dynamics of multivariate time-series. Using 64-lead EEG recorded from human subjects receiving computer-controlled infusions of the anesthetic propofol, we used surface Laplacian referencing combined with spectral and global coherence analyses to track the spatiotemporal dynamics of the brain's anesthetic state. During unconsciousness the spectrograms in the frontal leads showed increasing α (8-12 Hz) and δ power (0-4 Hz) and in the occipital leads δ power greater than α power. The global coherence detected strong coordinated α activity in the occipital leads in the awake state that shifted to the frontal leads during unconsciousness. It revealed a lack of coordinated δ activity during both the awake and unconscious states. Although strong frontal power during general anesthesia-induced unconsciousness--termed anteriorization--is well known, its possible association with strong α range global coherence suggests highly coordinated spatial activity. Our findings suggest that combined spectral and global coherence analyses may offer a new approach to tracking brain states under general anesthesia.
Separation of Reflection Components by Kernel Independent Component Analysis (2006)

When we view a scene through transparent glass, the image is a linear superposition of two images, a real image observed through a glass and a virtual image reflected on it. We can separate the reflections by a polarization and Independent Component Analysis (ICA). Since the image observed through digital camera is non-linearly transformed by gamma correction etc, it may cause error in image processing for image analysis and measurement. The kernel-based methods are effective for such non-linearity. In this paper, we remove the reflections by using Kernel Independent Component Analysis (KICA) and show that KICA is more effective than ICA even if the observed image is non-linearly transformed by camera. Key words:
Nitric Oxide: What a Vascular Surgeon Needs to Know (2007)

Atherosclerosis in the form of peripheral arterial disease results in significant morbidity and mortality. Surgical treatment options for peripheral arterial disease include angioplasty with and without stenting, endarterectomy, and bypass grafting. Unfortunately, all of these procedures injure the vascular endothelium, which impairs its ability to produce nitric oxide (NO) and ultimately leads to neointimal hyperplasia and restenosis. To improve on current patency rates after vascular procedures, investigators are engaged in research to improve the bioavailability of NO at the site of vascular injury in an attempt to reduce the risk of thrombosis and restenosis after successful revascularization. This article reviews some of the previous research that has aimed to improve NO bioavailability after vascular procedures whether through systemic or local delivery, as well as to describe some of the NO-releasing products that are currently undergoing study for use in clinical practice.