gebhart/patrepeval huggingface dataset:
Improvements to boolean resynthesis (2018)

In electronic design automation Boolean resynthesis techniques are increasingly used to improve the quality of results where algebraic methods hit local minima. Boolean methods rely on complete functional properties of a logic circuit, preferably including don't care information. Computationally expensive engines such as truth tables, SAT and binary decision diagrams are required to gather such properties. The choice of the engine determines the scalability of Boolean resynthesis. In this paper, we present improvements to Boolean resynthesis, enabling more optimization opportunities to be found at the same or smaller runtime cost as compared to state-of-the-art methods. Our contributions include (i) a theory of Boolean filtering to drastically reduce the number of gates processed and still retain all possible optimization opportunities, (ii) a weaker notion of maximum set of permissible functions, which can be computed efficiently via truth tables, (iii) a generalized refactoring engine that supports multiple representation forms, and (iv) a practical Boolean resynthesis flow, which combines the techniques proposed so far. Using our Boolean resynthesis on the EPFL benchmarks, we improve 10 of the best known area results in the synthesis competition. Embedded in a commercial EDA flow for ASICs, the Boolean resynthesis flow reduces the area by -2.67% and total negative slack by -5.48%, after physical implementation, at negligible runtime cost.
Combinatorial biosynthesis of antitumor indolocarbazole compounds (2004)

Rebeccamycin and staurosporine are natural products with antitumor properties, which belong to the family of indolocarbazole alkaloids. An intense effort currently exists for the generation of indolocarbazole derivatives for the treatment of several diseases, including cancer and neurodegenerative disorders. Here, we report a biological process based on combinatorial biosynthesis for the production of indolocarbazole compounds (or their precursors) in engineered microorganisms as a complementary approach to chemical synthesis. We have dissected and reconstituted the entire biosynthetic pathway for rebeccamycin in a convenient actinomycete host, Streptomyces albus. This task was achieved by coexpressing different combinations of genes isolated from the rebeccamycin-producing microorganism. Also, a gene (staC) was identified in staurosporine-producing microbes and was shown to have a key role to differentiate the biosynthetic pathways for the two indolocarbazoles. Last, incorporation of the pyrH and thal genes, encoding halogenases from different microorganisms, resulted in production of derivatives with chlorine atoms at novel positions. We produced >30 different compounds by using the recombinant strains generated in this work.
A PSMA-Targeting CD3 Bispecific Antibody Induces Antitumor Responses that Are Enhanced by 4-1BB Costimulation (2020)

Patients with hematologic cancers have improved outcomes after treatment with bispecific antibodies that bind to CD3 on T cells and that redirect T cells toward cancer cells. However, clinical benefit against solid tumors remains to be shown. We made a bispecific antibody that targets both the common prostate tumor-specific antigen PSMA and CD3 (PMSAxCD3) and provide evidence for tumor inhibition in several preclinical solid tumor models. Mice expressing the human extracellular regions of CD3 and PSMA were generated to examine antitumor efficacy in the presence of an intact immune system and PSMA expression in normal tissues. PSMAxCD3 accumulated in PSMA-expressing tissues and tumors as detected by immuno-PET imaging. Although PSMAxCD3 induced T-cell activation and showed antitumor efficacy in mice with low tumor burden, PSMAxCD3 lost efficacy against larger solid tumors, mirroring the difficulty of treating solid tumors in the clinic. Costimulatory receptors can enhance T-cell responses. We show here that costimulation can enhance the antitumor efficacy of PSMAxCD3. In particular, 4-1BB stimulation in combination with PSMAxCD3 enhanced T-cell activation and proliferation, boosted efficacy against larger tumors, and induced T-cell memory, leading to durable antitumor responses. The combination of CD3 bispecific antibodies and anti-4-1BB costimulation represents a therapeutic approach for the treatment of solid tumors.
Bi-Directional Passing People Counting System Based on IR-UWB Radar Sensors (2017)

In this paper, we propose system based on impulse radio ultra-wideband (IR-UWB) radar sensors for counting multiple people passing through a passage or a wide door. The proposed counting system utilizes two IR-UWB radar sensors equipped with antennas which have narrow beam width to form two invisible electronic layers in the path. The two electronic layers are used for sensing and direction recognition of multiple people passing by. Algorithmically, sensing and direction recognition of a person passing through a path are performed considering both information of a received signal in each radar and mutual information between two radar signals. The proposed counting system is implemented with two radar modules designed using commercial radar ICs and a Raspberry Pi 2 module. We installed the designed modules in the subway station to verify the performance. Based on the installed modules, data were acquired for one week and the counting performance was verified for various time intervals, such as 2 min, 1 h, and 1 day. Except for a few cases, we could get counting results with errors less than 10%.
Single-shot pulse-contrast measurement based onhigh-order quasi-phase-matching cross-correlation (2012)

We propose a novel single-shot pulse-contrast measurement approach based on high-order quasi-phase-matching (QPM) cross correlation. It supports perfect contrast measurement with features of no artifacts, high resolution, and large temporal window. The prototype experiment based on the noncollinear third QPM with a beam crossing angle of 90 deg, using femtosecond Ti:sapphire laser pulses with a contrast of ~10(7), demonstrates an artifacts-free measurement with a temporal window of ~70 ps and a resolution of ~900 fs.
The effects of pH of N-methacryloyl glycine primer on bond strength to acid-etched dentin (1996)

To develop a more effective adhesive primer, it is imperative to understand the adhesion mechanisms of the resin to the demineralized dentin through a dentin primer. When the bonding agent was directly applied to the dentin etched by 40 wt % phosphoric acid without a primer pretreatment, the bond strength of the resin to the dentin was 5 MPa. Conversely, when the demineralized dentin was pretreated with the N-methacryloyl glycine (NM alpha A) primer solution with a pH value of 1.5, the bond strength increased considerably to 15 MPa. However, the bond strength dropped dramatically from 15 to 3 MPa when the sodium salt of NM alpha A was added, thereby increasing the pH value of the NM alpha A primer solution from 3.2 to 5.0. When the pH value was increased above 3.5 (pKa value), the number of ionized NM alpha A species increased in the solution. As a result, the bond strength of the resin fell to approximately 3 MPa. This result was obtained despite the 5-micron-thick hybrid layer that was created in the subsurface of the intertubular dentin. The number of unionized NM alpha A species increased by lowering the pH value below 3.5. As a result, the NM alpha A primer provided a higher bond strength of the resin to the demineralized dentin. In contrast, when 10 wt % citric acid containing 3 wt % ferric chloride was applied to the dentin, maximum bond strength was obtained when the pH value of the NM alpha A primer solution was 3.5. The pH dependency of the bond strength obtained following 10 wt % citric acid containing 3 wt % ferric chloride etching is different from the results obtained from 40 wt % phosphoric acid etching. This can be attributed to the difference in the characteristics of the demineralized collageous layer.
Illumination-invariant non-local means based video denoising (2012)

In this paper, we present a robust illumination-invariant non-local means (NLM) based video denoising algorithm with special illumination handling. Illumination variances pose a challenge to the NLM-based denoising algorithms. To address this issue, we first propose several possible technical improvements, and verify their efficacy of eliminating the influence of illumination changes. Then, by analyzing and comparing these techniques, a histogram processing based technique is integrated into the non-local means denoising framework. Experimental results on synthesis and real video denoising show that the proposed method is able to fully explore the non-local self-similarity property in natural videos under variable illumination conditions.
Beneficial Effects of High-dose Biotin (MD1003) in Models of X-linked adrenoleukodystrophy (P1.2-084) (2019)

Axonal degeneration is a main contributor to disability in progressive neurodegenerative diseases such as multiple sclerosis or adrenoleukodystrophy (X-ALD), in which redox homeostasis, bioenergetic failure and/or inflammation are often identified as pathogenic factors.
D2-CO2 and D2-N2O electric discharge gas-dynamic lasers (1975)

cw CO2 and N2O lasing has been obtained in a new electric discharge gas-dynamic laser device. The device consists of a subsonic plenum discharge region where vibrational excitation occurs, a supersonic nozzle array where the laser species is injected, and a supersonic cavity where mixing, energy transfer, and lasing occur. In the present experiments both CO2 and N2O are pumped by energy transfer from D2 excited in the discharge. Comparisons are made for CO2 pumped by both N2 and D2, and N2O and CO2 pumped by D2.
Adenovirus E1A gene autorepression: revertants of an E1A promoter mutation encode altered E1A proteins. (1987)

Revertants have been isolated from Ad3hr15, a mutant of human adenovirus type 3 that carries a defective E1A promoter. Transcription of these revertant E1A genes is restored--from nil for Ad3hr15 mutant to levels exceeding that of the wild-type virus. The mutant Ad3hr15 virus and the revertants all have an aberrant E1A promoter that contains two short tandem duplications of viral DNA sequence. The E1A gene-coding region of the mutant is the same as that for wild-type adenovirus type 3, whereas the revertants are characterized by short in-frame deletions within the 5' exon region of their E1A genes. Location of these reverting, second-site deletions is discussed in relation to E1A gene autoregulation and the evolved diversity of E1A-related oncogenic potential among different human adenoviruses.
Real-time phase delay compensation of PGC demodulation in sinusoidal phase-modulation interferometer for nanometer displacement measurement (2017)

As the phase delay between the carrier component of the detected interference signal and the carrier has adverse effect for phase generated carrier (PGC) demodulation, it is essential to compensate the phase delay to improve the accuracy of precision displacement measurement in sinusoidal phase-modulation interferometer (SPMI). In this paper, a real-time phase delay compensation method is proposed by regulating a compensating phase introduced to the carrier to maximize the output of the low pass filter so as to make the carrier synchronize with the interference signal. The influence of phase delay for PGC demodulation is analyzed and the method for real-time phase delay compensation is described in detail. The simulation of the method was performed to verify the validity of the phase delay compensation algorithm. A SPMI using an EOM was constructed and several comparative experiments were carried out to demonstrate the feasibility of the proposed method. The experimental results show that the phase delay can be compensated accurately in real time, and nanometer accuracy is achieved for precision displacement measurement.
High magnetostriction and coupling coefficient for sintered cobalt ferrite derived from superparamagnetic nanoparticles (2012)

Views Icon Views Article contents Figures & tables Video Audio Supplementary Data Peer Review Share Icon Share Twitter Facebook Reddit LinkedIn Tools Icon Tools Reprints and Permissions Cite Icon Cite Search Site Citation K. Khaja Mohaideen, P. A. Joy; High magnetostriction and coupling coefficient for sintered cobalt ferrite derived from superparamagnetic nanoparticles. Appl. Phys. Lett. 13 August 2012; 101 (7): 072405. https://doi.org/10.1063/1.4745922 Download citation file: Ris (Zotero) Reference Manager EasyBib Bookends Mendeley Papers EndNote RefWorks BibTex toolbar search Search Dropdown Menu toolbar search search input Search input auto suggest filter your search All ContentAIP Publishing PortfolioApplied Physics Letters Search Advanced Search |Citation Search
Robust head motion computation by taking advantage of physical properties (2002)

Head motion determination is an important problem for many applications including face modeling and tracking. We present a new algorithm to compute the head motion between two views from the correspondences of five feature points (eye corners, mouth corners and nose tip), and zero or more additional image point matches. The algorithm takes advantage of the physical properties of the feature points, such as symmetry, and it significantly improves the robustness of head motion estimation. This is achieved by reducing the number of unknowns to be estimated, thus increasing information redundancy. This idea can be easily extended to any number of feature point correspondences.
Embedding-Based Speaker Adaptive Training of Deep Neural Networks (2017)

An embedding-based speaker adaptive training (SAT) approach is proposed and investigated in this paper for deep neural network acoustic modeling.In this approach, speaker embedding vectors, which are a constant given a particular speaker, are mapped through a control network to layer-dependent elementwise affine transformations to canonicalize the internal feature representations at the output of hidden layers of a main network.The control network for generating the speaker-dependent mappings is jointly estimated with the main network for the overall speaker adaptive acoustic modeling.Experiments on large vocabulary continuous speech recognition (LVCSR) tasks show that the proposed SAT scheme can yield superior performance over the widely-used speaker-aware training using i-vectors with speaker-adapted input features.
Fully automated near-surface analysis by surface-consistent refraction method (2016)

ABSTRACT Industry practices for near-surface analysis indicate difficulties in coping with the increased number of channels in seismic acquisition systems, and new approaches are needed to fully exploit the resolution embedded in modern seismic data sets. To achieve this goal, we have developed a novel surface-consistent refraction analysis method for low-relief geology to automatically derive near-surface corrections for seismic data processing. The method uses concepts from surface-consistent analysis applied to refracted arrivals. The key aspects of the method consist of the use of common midpoint (CMP)-offset-azimuth binning, evaluation of mean traveltime and standard deviation for each bin, rejection of anomalous first-break (FB) picks, derivation of CMP-based traveltime-offset functions, conversion to velocity-depth functions, evaluation of long-wavelength statics, and calculation of surface-consistent residual statics through waveform crosscorrelation. Residual time lags are evaluated in multiple CMP-offset-azimuth bins by crosscorrelating a pilot trace with all the other traces in the gather in which the correlation window is centered at the refracted arrival. The residuals are then used to build a system of linear equations that is simultaneously inverted for surface-consistent shot and receiver time shift corrections plus a possible subsurface residual term. All the steps are completely automated and require a fraction of the time needed for conventional near-surface analysis. The developed methodology was successfully performed on a complex 3D land data set from Central Saudi Arabia where it was benchmarked against a conventional tomographic work flow. The results indicate that the new surface-consistent refraction statics method enhances seismic imaging especially in portions of the survey dominated by noise.
Rate-Compatible Protograph-Based LDPC Codes for Inter-Symbol Interference Channels (2013)

This letter produces a family of rate-compatible protograph-based LDPC codes approaching the independent and uniformly distributed (i.u.d.) capacity of inter-symbol interference (ISI) channels. This problem is highly nontrivial due to the joint design of structured (protograph-based) LDPC codes and the state structure of ISI channels. We describe a method to design nested high-rate protograph codes by adding variable nodes to the protograph of a lower rate code. We then design a family of rate-compatible protograph codes using the extension method. The resulting protograph codes have iterative decoding thresholds close to the i.u.d. capacity. Our results are supported by numerical simulations.
Charge Transfer Dynamics of Phase-Segregated Halide Perovskites: CH<sub>3</sub>NH<sub>3</sub>PbCl<sub>3</sub> and CH<sub>3</sub>NH<sub>3</sub>PbI<sub>3</sub> or (C<sub>4</sub>H<sub>9</sub>NH<sub>3</sub>)<sub>2</sub>(CH<sub>3</sub>NH<sub>3</sub>)<sub><i>n</i>−1</sub>Pb<i><sub>n</sub></i>I<sub>3<i>n</i>+1</sub> Mixtures (2019)

Lead halide perovskites present a versatile class of solution-processable semiconductors with highly tunable bandgaps that span ultraviolet, visible, and near-infrared portions of the spectrum. We explore phase-separated chloride and iodide lead perovskite mixtures as candidate materials for intermediate band applications in future photovoltaics. X-ray diffraction and scanning electron microscopy reveal that deposition of precursor solutions across the MAPbCl<sub>3</sub>/MAPbI<sub>3</sub> composition space affords quasi-epitaxial cocrystallized films, in which the two perovskites do not alloy but instead remain phase-segregated. First-principle calculations further support the formation of an epitaxial interface and predict energy offsets in the valence band and conduction band edges that could result in intermediate energy absorption. The charge dynamics of variable mixtures of the relatively narrow bandgap (1.57 eV) MAPbI<sub>3</sub> perovskite and wide bandgap (3.02 eV) MAPbCl<sub>3</sub> are probed to map charge and energy flow direction and kinetics. Time-resolved photoluminescence and transient absorption measurements reveal charge transfer of photoexcited carriers in MAPbCl<sub>3</sub> to MAPbI<sub>3</sub> in tens of picoseconds. The rate of quenching can be further tuned by replacing MAPbI<sub>3</sub> with two-dimensional Ruddlesden-Popper (BA)<sub>2</sub>(MA) <sub>n-1</sub>Pb <sub>n</sub>I<sub>3 n+1</sub> ( n = 3, 2, and 1) perovskites, which also remain phase-separated.
Estimation of the terrain surface azimuthal/range slopes using polarimetric decomposition of POLSAR data (2003)

The estimation of geophysical parameters, such as surface roughness, soil moisture, etc., is often affected by the terrain elevation. To correct the polarimetric effects caused by terrain having significant relief, it is necessary to introduce a remote sensing technique which is directly capable of estimating terrain surface slopes both in the azimuthal and ground-range directions. The target vector used during this procedure is defined from a new scheme for parameterising polarimetric scattering problems, which has application in the quantitative analysis of polarimetric SAR data. The method relies on an eigenvalue analysis of the coherency matrix and employs a 3-level Bernoulli statistical model to generate estimates of the average target scattering matrix parameters from the data. Based on the original idea proposed by Schuler et al., a new remote sensing technique using the average target parameters, derived from the polarimetric decomposition, produces profiles of "terrain" slopes both in the azimuthal and ground-range directions.
Light regulation of light‐harvesting antenna size substantially enhances photosynthetic efficiency and biomass yield in green algae<sup>†</sup> (2020)

One of the major factors limiting biomass productivity in algae is the low thermodynamic efficiency of photosynthesis. The greatest thermodynamic inefficiencies in photosynthesis occur during the conversion of light into chemical energy. At full sunlight the light-harvesting antenna captures photons at a rate nearly 10 times faster than the rate-limiting step in photosynthetic electron transport. Excess captured energy is dissipated by non-productive pathways including the production of reactive oxygen species. Substantial improvements in photosynthetic efficiency have been achieved by reducing the optical cross-section of the light-harvesting antenna by selectively reducing chlorophyll b levels and peripheral light-harvesting complex subunits. Smaller light-harvesting antenna, however, may not exhibit optimal photosynthetic performance in low or fluctuating light environments. We describe a translational control system to dynamically adjust light-harvesting antenna sizes for enhanced photosynthetic performance. By expressing a chlorophyllide a oxygenase (CAO) gene having a 5' mRNA extension encoding a Nab1 translational repressor binding site in a CAO knockout line it was possible to continuously alter chlorophyll b levels and correspondingly light-harvesting antenna sizes by light-activated Nab1 repression of CAO expression as a function of growth light intensity. Significantly, algae having light-regulated antenna sizes had substantially higher photosynthetic rates and two-fold greater biomass productivity than the parental wild-type strains as well as near wild-type ability to carry out state transitions and non-photochemical quenching. These results have broad implications for enhanced algae and plant biomass productivity.
Measurement of Midregional Proadrenomedullin in Plasma with an Immunoluminometric Assay (2005)

MR-proADM is stable in plasma of healthy individuals and patients. MR-proADM measurements may be useful for evaluating patients with sepsis, systemic inflammation, or heart failure.
Role of transmembrane semaphorin Sema6A in oligodendrocyte differentiation and myelination (2012)

Myelination is regulated by extracellular proteins, which control interactions between oligodendrocytes and axons. Semaphorins are repulsive axon guidance molecules, which control the migration of oligodendrocyte precursors during normal development and possibly in demyelinating diseases. We show here that the transmembrane semaphorin 6A (Sema6A) is highly expressed by myelinating oligodendrocytes in the postnatal mouse brain. In adult mice, Sema6A expression is upregulated in demyelinating lesions in cuprizone-treated mice. The analysis of the optic nerve and anterior commissure of Sema6A-deficient mice revealed a marked delay of oligodendrocyte differentiation. Accordingly, the development of the nodes of Ranvier is also transiently delayed. We also observed an arrest in the in vitro differentiation of purified oligodendrocytes lacking Sema6A, with a reduction of the expression level of Myelin Basic Protein. Their morphology is also abnormal, with less complex and ramified processes than wild-type oligodendrocytes. In myelinating co-cultures of dorsal root ganglion neurons and purified oligodendrocytes we found that myelination is perturbed in absence of Sema6A. These results suggest that Sema6A might have a role in myelination by controlling oligodendrocyte differentiation.