gebhart/patrepeval huggingface dataset:
A design-for-testability technique for register-transfer level circuits using control/data flow extraction (1998)

In this paper, we present a technique for extracting functional (control/data flow) information from register-transfer level controller/data path circuits, and illustrate its use in design for hierarchical testability of these circuits. This scheme does not require any additional behavioral information. It identifies a suitable control and data flow from the register-transfer level circuit, and uses it to test each embedded element in the circuit by symbolically justifying its precomputed test set from the system primary inputs to the element inputs and symbolically propagating the output response to the system primary outputs. When symbolic justification and propagation become difficult, it inserts test multiplexers at suitable points to increase the symbolic controllability and observability of the circuit. These test multiplexers are mostly restricted to off-critical paths. Testability analysis and insertion are completely based on the register-transfer level circuit and the functional information automatically extracted from it, and are independent of the data path bit width owing to their symbolic nature. Furthermore, the data path test set is obtained as a byproduct of this analysis without any further search. Unlike many other design-for-testability techniques, this scheme makes the combined controller-data path very highly testable. It is general enough to handle control-flow-intensive register-transfer level circuits like protocol handlers as well as data-flow intensive circuits like digital filters. It results in low area/delay/power overheads, high fault coverage, and very low test generation times (because it is symbolic and independent of bit width). Also, a large part of our system-level test sets can be applied at speed. Experimental results on many benchmarks show the average area, delay, and power overheads for testability to be 3.1, 1.0, and 4.2%, respectively. Over 99% fault coverage is obtained in most cases with two-four orders of magnitude test generation time advantage over an efficient gate-level sequential test pattern generator and one-three orders of magnitude advantage over an efficient gate-level combinational test pattern generator (that assumes full scan). In addition, the test application times obtained for our method are comparable with those of gate-level sequential test pattern generators, and up to two orders of magnitude smaller than designs using full scan.
Noninvasive assessment of cardiac output by brachial occlusion-cuff technique: comparison with the open-circuit acetylene washin method (2016)

Cardiac output (CO) assessment as a basic hemodynamic parameter has been of interest in exercise physiology, cardiology, and anesthesiology. Noninvasive techniques available are technically challenging, and thus difficult to use outside of a clinical or laboratory setting. We propose a novel method of noninvasive CO assessment using a single, upper-arm cuff. The method uses the arterial pressure pulse wave signal acquired from the brachial artery during 20-s intervals of suprasystolic occlusion. This method was evaluated in a cohort of 12 healthy individuals (age, 27.7 ± 5.4 yr, 50% men) and compared with an established method for noninvasive CO assessment, the open-circuit acetylene method (OpCirc) at rest, and during low- to moderate-intensity exercise. CO increased from rest to exercise (rest, 7.4 ± 0.8 vs. 7.2 ± 0.8; low, 9.8 ± 1.8 vs. 9.9 ± 2.0; moderate, 14.1 ± 2.8 vs. 14.8 ± 3.2 l/min) as assessed by the cuff-occlusion and OpCirc techniques, respectively. The average error of experimental technique compared with OpCirc was -0.25 ± 1.02 l/min, Pearson's correlation coefficient of 0.96 (rest + exercise), and 0.21 ± 0.42 l/min with Pearson's correlation coefficient of 0.87 (rest only). Bland-Altman analysis demonstrated good agreement between methods (within 95% boundaries); the reproducibility coefficient (RPC) = 0.84 l/min with R<sup>2</sup> = 0.75 at rest and RPC = 2 l/min with R<sup>2</sup> = 0.92 at rest and during exercise, respectively. In comparison with an established method to quantify CO, the cuff-occlusion method provides similar measures at rest and with light to moderate exercise. Thus, we believe this method has the potential to be used as a new, noninvasive method for assessing CO during exercise.
Manifold Preserving Adversarial Learning. (2019)

How can we generate semantically meaningful adversarial examples? We propose to answer this question by restricting the search for adversarial examples in the low dimensional manifold of the data using variational autoencoders. First, we introduce a stochastic variational inference method to learn the manifold, in the presence of continuous latent variables, with minimal assumptions about the parametric form of the encoder network. Then, we apply Gram-Schmidt orthogonalization to partition the span of representative local points of the manifold, and use the basis vectors as directions along which we perturb the points with learned noise. In doing so, we encourage the perturbed points to remain in the manifold. Finally, we map these points onto the input space to generate adversarial examples. Experiments on a number of image and text classification tasks and a pilot study show the effectiveness of our approach in producing coherent adversarial examples capable of evading defenses known traditionally to be resilient to adversarial attacks.
MicroRNA‐10b regulates tumorigenesis in neurofibromatosis type 1 (2010)

MicroRNAs (miRNAs) are frequently deregulated in human tumors, and play important roles in tumor development and progression. The pathological roles of miRNAs in neurofibromatosis type 1 (NF1) tumorigenesis are largely unknown. We demonstrated that miR-10b was up-regulated in primary Schwann cells isolated from NF1 neurofibromas and in cell lines and tumor tissues from malignant peripheral nerve sheath tumors (MPNSTs). Intriguingly, a significantly high level of miR-10b correlated with low neurofibromin expression was found in a neuroectodermal cell line: Ewing's sarcoma SK-ES-1 cells. Antisense inhibiting miR-10b in NF1 MPNST cells reduced cell proliferation, migration and invasion. Furthermore, we showed that NF1 mRNA was the target for miR-10b. Overexpression of miR-10b in 293T cells suppressed neurofibromin expression and activated RAS signaling. Antisense inhibition of miR-10b restored neurofibromin expression in SK-ES-1 cells, and decreased RAS signaling independent of neurofibromin in NF1 MPNST cells. These results suggest that miR-10b may play an important role in NF1 tumorigenesis through targeting neurofibromin and RAS signaling.
Identification of a new OmpA‐like protein in <i>Neisseria gonorrhoeae</i> involved in the binding to human epithelial cells and <i>in vivo</i> colonization (2007)

Outer membrane protein As (OmpAs) are highly conserved proteins within the Enterobacteriaceae family. OmpA contributes to the maintenance of structural membrane integrity and invasion into mammalian cells. In Escherichia coli K1 OmpA also contributes to serum resistance and is involved in the virulence of the bacterium. Here we describe the identification of an OmpA-like protein in Neisseria gonorrhoeae (Ng-OmpA). We show that the gonococcal OmpA-like protein, similarly to E. coli OmpA, plays a significant role in the adhesion and invasion into human cervical carcinoma and endometrial cells and is required for entry into macrophages and intracellular survival. Furthermore, the isogenic knockout ompA mutant demonstrates reduced recovery in a mouse model of infection when compared with the wild-type strain, suggesting that Ng-OmpA plays an important role in the in vivo colonization. All together, these data suggest that the newly identified surface exposed protein Ng-OmpA represents a novel virulence factor of gonococcus.
Metal vapor plasma behavior during vacuum arc remelting of alloy 718 (1992)

A production vacuum arc remelt (VAR) furnace was modified to enable direct viewing of the metal vapor arc and molten electrode tip during melting of 432 mm dia. alloy 718 electrodes into 508 mm dia. ingots. Diffuse and constricted arcing conditions were characterized using high speed cinematography, standard video format, and monochromatic imaging. Constricted arcing was observed while melting electrodes contaminated with oxide slag of the type used for refractory linings in vacuum induction furnaces. Monochromatic imaging was used in visualize the ion distribution in the arc plasma; these images clearly showed whether the arc operated in a diffuse or constricted model. Diffuse arc melting conditions were very similar to those previously reported in the literature for smaller laboratory sized melts.
Synergistic anti-HCV broadly neutralizing human monoclonal antibodies with independent mechanisms (2017)

There is an urgent need for a vaccine to combat the hepatitis C virus (HCV) pandemic, and induction of broadly neutralizing monoclonal antibodies (bNAbs) against HCV is a major goal of vaccine development. Even within HCV genotype 1, no single bNAb effectively neutralizes all viral strains, so induction of multiple neutralizing monoclonal antibodies (NAbs) targeting distinct epitopes may be necessary for protective immunity. Therefore, identification of optimal NAb combinations and characterization of NAb interactions can guide vaccine development. We analyzed neutralization profiles of 12 human NAbs across diverse HCV strains, assigning the NAbs to two functionally distinct clusters. We then measured neutralizing breadth of 35 NAb combinations against genotype 1 isolates, with each combination including one NAb from each neutralization cluster. Many NAbs displayed complementary neutralizing breadth, forming combinations with greater neutralization across diverse strains than any individual bNAb. Remarkably, one of the most broadly neutralizing combinations of two NAbs, designated HEPC74/HEPC98, also displayed enhanced potency, with interactions matching the Bliss independence model, suggesting that these NAbs inhibit HCV infection through independent mechanisms. Subsequent experiments showed that HEPC74 primarily blocks HCV envelope protein binding to CD81, while HEPC98 primarily blocks binding to scavenger receptor B1 and heparan sulfate. Together, these data identify a critical vulnerability resulting from the reliance of HCV on multiple cell surface receptors, suggesting that vaccine induction of multiple NAbs with distinct neutralization profiles is likely to enhance the breadth and potency of the humoral immune response against HCV.
Nonlinear beamforming for enhancement of 3D prestack land seismic data (2020)

ABSTRACT We have developed nonlinear beamforming (NLBF), a method for enhancing modern 3D prestack seismic data acquired onshore with small field arrays or single sensors in which weak reflected signals are buried beneath the strong scattered noise induced by a complex near surface. The method is based on the ideas of multidimensional stacking techniques, such as the common-reflection-surface stack and multifocusing, but it is designed specifically to improve the prestack signal-to-noise ratio of modern 3D land seismic data. Essentially, NLBF searches for coherent local events in the prestack data and then performs beamforming along the estimated surfaces. Comparing different gathers that can be extracted from modern 3D data acquired with orthogonal acquisition geometries, we determine that the cross-spread domain (CSD) is typically the most convenient and efficient. Conventional noise removal applied to modern data from small arrays or single sensors does not adequately reveal the underlying reflection signal. Instead, NLBF supplements these conventional tools and performs final aggregation of weak and still broken reflection signals, where the strength is controlled by the summation aperture. We have developed the details of the NLBF algorithm in CSD and determined the capabilities of the method on real 3D land data with the focus on enhancing reflections and early arrivals. We expect NLBF to help streamline seismic processing of modern high-channel-count and single-sensor data, leading to improved images as well as better prestack data for estimation of reservoir properties.
Data Communications Using Guided Elastic Waves by Time Reversal Pulse Position Modulation: Experimental Study (2013)

In this paper, we present and demonstrate a low complexity elastic wave signaling and reception method to achieve high data rate communication on dispersive solid elastic media, such as metal pipes, using piezoelectric transducers of PZT (lead zirconate titanate). Data communication is realized using pulse position modulation (PPM) as the signaling method and the elastic medium as the communication channel. The communication system first transmits a small number of training pulses to probe the dispersive medium. The time-reversed probe signals are then utilized as the information carrying waveforms. Rapid timing acquisition of transmitted waveforms for demodulation over elastic medium is made possible by exploring the reciprocity property of guided elastic waves. The experimental tests were conducted using a National Instrument PXI system for waveform excitation and data acquisition. Data telemetry bit rates of 10 kbps, 20 kbps, 50 kbps and 100 kbps with the average bit error rates of 0, 5.75 × 10(-4), 1.09 × 10(-2) and 5.01 × 10(-2), respectively, out of a total of 40, 000 transmitted bits were obtained when transmitting at the center frequency of 250 kHz and a 500 kHz bandwidth on steel pipe specimens. To emphasize the influence of time reversal, no complex processing techniques, such as adaptive channel equalization or error correction coding, were employed.
Failure Detection and Randomization: A Hybrid Approach to Solve Consensus (1998)

We present a consensus algorithm that combines unreliable failure detection and randomization, two well-known techniques for solving consensus in asynchronous systems with crash failures. This hybrid algorithm combines advantages from both approaches: it guarantees deterministic termination if the failure detector is accurate, and probabilistic termination otherwise. In executions with no failures or failure detector mistakes, the most likely ones in practice, consensus is reached in only two asynchronous rounds.
Dopant and concentration dependence of linear and nonlinear refractive index and dispersion for new (Mg, Ba)F 2 based fluorophosphates glass (2003)

Linear and nonlinear refractive index, Abbe number, electronic energy gap and oscillator strength are reported for a new series of (Mg, Ba)F<sub>2</sub>-based fluorophosphates glasses (MBBA system) doped with rare earth dopants (Er<sup>3+</sup>, Nd<sup>3+</sup>) in the concentration range of 6.67×10<sup>20</sup> - 2.86×10<sup>21</sup> (ions/cm<sup>3</sup>) and 2.5×10<sup>20</sup> - 1.25×10<sup>21</sup> (ions/cm<sup>3</sup>), respectively. The linear refractive index is found to increase with increasing dopant concentration, while the Abbe number is found to be remarkably concentration invariant, i.e., around 66-68 for both dopants. The average electronic band gap is also found to be almost dopant concentration independent, i.e., about 4.1, while the electronic oscillator strength is found to slightly increase with increasing dopant concentration, i.e., from 6.2 to 6.4. The nonlinear refractive index is found to show a linear increase from 1.2866 to 1.4018 for the investigated dopant concentration range. Those results strongly suggest the present new series of glasses can be excellent laser hosts.
Abstract 401: CD5+CD23+ leukemic cell populations in Tcl1 transgenic mice show significantly increased proliferation and Akt phosphorylation (2010)

Abstract B-cell chronic lymphocytic leukemia (B-CLL) is the most common human leukemia. Deregulation of the T-cell leukemia/lymphoma 1 (TCL1) oncogene in mouse B-cells causes a CD5 positive leukemia similar to aggressive human B-CLLs. We recently reported that TCL1 expression in B-CLL is regulated by miR29 and miR181. To determine whether treatment with microRNAs can inhibit B-CLL in mice by targeting TCL1 we generated TCL1 transgenic mice using a construct containing 3’ and 5’ UTRs of TCL1 under B-cell specific Eμ promoter (Eμ-TCL1fl). At the age of 12-18 months these mice showed B-CLL like disease. Immunophenotyping revealed accumulation of CD5+CD23+B220+ population in spleens and lymph nodes. Our results show that CD5+CD23+ B-cell populations from Eμ-TCL1fl mice actively proliferate and display significantly increased levels of phospho-Akt. Eμ-TCL1fl mice showed immunological abnormalities similar to human B-CLL, including hypoimmunoglobulinemia, abnormal levels of cytokines, and impaired immune response. These findings revealed biochemical and immunological similarities between Tcl1 driven B-CLL in mice and human B-CLL. Citation Format: {Authors}. {Abstract title} [abstract]. In: Proceedings of the 101st Annual Meeting of the American Association for Cancer Research; 2010 Apr 17-21; Washington, DC. Philadelphia (PA): AACR; Cancer Res 2010;70(8 Suppl):Abstract nr 401.
Electrically Addressable Optical Devices Using A System Of Composite Layered Flakes Suspended In A Fluid Host To Obtain Angularly Depende (2004)

Composite or layered flakes having a plurality of layers of different materials, which may be dielectric materials, conductive materials, or liquid crystalline materials suspended in a fluid host and subjected to an electric field, provide optical effects dependent upon the angle or orientation of the flakes in the applied electric field. The optical effects depend upon the composition and thickness of the layers, producing reflectance, interference, additive and/or subtractive color effects. The composition of layered flakes may also be selected to enhance and/or alter the dielectric properties of flakes, whereby flake motion in an electric field is also enhanced and/or altered. The devices are useful as active electro-optical displays, polarizers, filters, light modulators, and wherever controllable polarizing, reflecting and transmissive optical properties are desired.
Vertical orientation of copper phthalocyanine in organic solar cells using a small molecular weight organic templating layer (2011)

Ultrathin film material templating layers that force the morphology of subsequently grown electrically active thin films have been found to increase the performance of small molecule organic photovoltaic (OPV) cells. Here, we show that the electron-transporting material, hexaazatriphenylene-hexacarbonitrile (HAT-CN) can be used as a templating material that forces the copper phthalocyanine (CuPc) donor molecule to assume a vertical-standing morphology when deposited onto its surface on an indium tin oxide (ITO) electrode. For a device with HAT-CN as the templating buffer layer, the fill factor and short circuit current of CuPc:C60 OPVs were both significantly increased compared with cells lacking the HAT-CN template. This is explained by the reduction of the series resistance due to the improved crystallinity of CuPc grown onto the ITO surface.
Ultrafine Polysaccharide Nanofibrous Membranes for Water Purification (2011)

Ultrafine polysaccharide nanofibers (i.e., cellulose and chitin) with 5-10 nm diameters were employed as barrier layers in a new class of thin-film nanofibrous composite (TFNC) membranes for water purification. In addition to concentration, the viscosity of the polysaccharide nanofiber coating suspension was also found to be affected by the pH value and ionic strength. When compared with two commercial UF membranes (PAN10 and PAN400), 10-fold higher permeation flux with above 99.5% rejection ratio were achieved by using ultrafine cellulose nanofibers-based TFNC membranes for ultrafiltration of oil/water emulsions. The very high surface-to-volume ratio and negatively charged surface of cellulose nanofibers, which lead to a high virus adsorption capacity as verified by MS2 bacteriophage testing, offer further opportunities in drinking water applications. The low cost of raw cellulose/chitin materials, the environmentally friendly fabrication process, and the impressive high-flux performance indicate that such ultrafine polysaccharide nanofibers-based TFNC membranes can surpass conventional membrane systems in many different water applications.
Deterministic processing for MIMO systems (2010)

In this paper, we study a deterministic scheme in a Ricean fading single spatial stream based multiple-input multiple-output (MIMO) communication system, which utilizes deterministic beamforming in the transmitter and deterministic combining at the receiver. The proposed method combines the existing deterministic transmit and receive processing schemes and the MIMO system is used to provide diversity and array gain. We propose a modified maximum likelihood receiver in which detection is performed by maximizing the likelihood function of the combined received signal with deterministic combining. By assuming perfect knowledge of the mean value of the channel matrix at the transmitter, we obtain a beamforming vector for the transmitter. The deterministic receive weights are chosen by minimizing the the union bound on the symbol error probability, which is the average pairwise error probability. The performance of the proposed scheme is compared with that of square-law combining and maximal-ratio combining through simulations.
Multiple-frequency measurement based on a Fourier domain mode-locked optoelectronic oscillator operating around oscillation threshold (2019)

We propose and experimentally demonstrate a photonic-assisted approach to microwave frequency measurement based on frequency-to-time mapping using a Fourier domain mode-locked optoelectronic oscillator (FDML OEO) operating around oscillation threshold. A relationship between the frequency of the unknown input microwave signals and the time difference of the output pulses is established with the help of the frequency scanning capability of the FDML OEO and, thus, can be used for microwave frequency measurement. The proposed scheme is characterized as having broad bandwidth, high resolution, multiple-frequency detection capability, and tunable measurement range. Microwave frequency measurement with a measurement range up to 16 GHz and a low measurement error of 0.07 GHz is realized.
Visualization of diffusion phenomena in wind tunnel experiment for atmospheric environmental prediction. (1986)

Wind tunnel experiments are frequently carried out as a useful method for atmospheric environ-mental prediction.Specially gas diffusion in the complex terrain and around ground structures entails the model experiment. This paper describes simulation of field meteorological condition in the wind tunnel and examples of diffusion phenomena clarified with use of flow and diffusion visualization. Meteorological factors reproduced are atmospheric stability and wind direction fluctuation, the simulation technique of which is now under technical development in our institute.