gebhart/patrepeval huggingface dataset:
The chase revisited (2008)

We revisit the standard chase procedure, studying its properties and applicability to classical database problems. We settle (in the negative) the open problem of decidability of termination of the standard chase, and we provide sufficient termination conditions which are strictly less over-conservative than the best previously known. We investigate the adequacy of the standard chase for checking query containment under constraints, constraint implication and computing certain answers in data exchange, gaining a deeper understanding by separating the algorithm from its result. We identify the properties of the chase result that are essential to the above applications, and we introduce the more general notion of F-universal model set, which supports query and constraint languages that are closed under a class F of mappings. By choosing F appropriately, we extend prior results to existential first-order queries and ∀∃-firstorder constraints. We show that the standard chase is incomplete for finding universal model sets, and we introduce the extended core chase which is complete, i.e. finds an F-universal model set when it exists. A key advantage of the new chase is that the same algorithm can be applied for all mapping classes F of interest, simply by modifying the set of constraints given as input. Even when restricted to the typical input in prior work, the new chase supports certain answer computation and containment/implication tests in strictly more cases than the incomplete standard chase.
Design of Symmetric Trisection Filters for Compact Low-Temperature Co-Fired Ceramic Realization (2009)

In this paper, the design of symmetric bandpass filters with cross-coupled trisections is discussed. The analysis and synthesis is done by well-known matrix manipulation of the lumped element equivalent circuit. The susceptance of the admittance matrix is split up into two separate matrices for capacitive and inductive contributions, which gives more insight into the manipulation of the matrix. Emphasis is put on design of a three-pole bandpass filter with two transmission zeros at the lower side of the passband. Novel solutions for the symmetric topology are derived, having either resonant main coupling or resonant cross-coupling. The potential of the novel topology is demonstrated by a compact realization of a wireless local area network filter at 2450 MHz in low-temperature co-fired ceramic technology. Good agreement between measured and computed results is obtained.
Applications of Blockchain Within Healthcare (2018)

There are several areas of healthcare and well-being that could be enhanced using blockchain technologies. These include device tracking, clinical trials, pharmaceutical tracing, and health insurance. Within device tracking, hospitals can trace their asset within a blockchain infrastructure, including through the complete lifecycle of a device. The information gathered can then be used to improve patient safety and provide after-market analysis to improve efficiency savings. This paper outlines recent work within the areas of pharmaceutical traceability, data sharing, clinical trials, and device tracking. Keywords: Asset Tracking, Blockchain, Drug tracking, Ethereum, Healthcare, Internet of Things, IoT
Power of Deep Learning for Channel Estimation and Signal Detection in OFDM Systems (2017)

This letter presents our initial results in deep learning for channel estimation and signal detection in orthogonal frequency-division multiplexing (OFDM) systems. In this letter, we exploit deep learning to handle wireless OFDM channels in an end-to-end manner. Different from existing OFDM receivers that first estimate channel state information (CSI) explicitly and then detect/recover the transmitted symbols using the estimated CSI, the proposed deep learning-based approach estimates CSI implicitly and recovers the transmitted symbols directly. To address channel distortion, a deep learning model is first trained offline using the data generated from simulation based on channel statistics and then used for recovering the online transmitted data directly. From our simulation results, the deep learning based approach can address channel distortion and detect the transmitted symbols with performance comparable to the minimum mean-square error estimator. Furthermore, the deep learning-based approach is more robust than conventional methods when fewer training pilots are used, the cyclic prefix is omitted, and nonlinear clipping noise exists. In summary, deep learning is a promising tool for channel estimation and signal detection in wireless communications with complicated channel distortion and interference.
The Phytoestrogen Genistein Produces Acute Nitric Oxide–Dependent Dilation of Human Forearm Vasculature With Similar Potency to 17β-Estradiol (2001)

Background —Genistein, a phytoestrogen, may have estrogenic cardioprotective actions. We investigated whether genistein influences endothelium-dependent vasodilation in forearm vasculature of healthy human subjects and compared the effects of genistein with those of 17β-estradiol. Methods and Results —The brachial arterial was cannulated with a 27-gauge needle for drug infusion. Forearm blood flow responses were measured with strain-gauge plethysmography. Genistein (10 to 300 nmol/min, each dose for 6 minutes) produced a dose-dependent increase in forearm blood flow from 3.4±0.3 to 9.6±1.3 mL · min −1 · 100 mL forearm −1 (mean±SEM) in men (n=9, P <0.0001 by ANOVA). The mean forearm venous concentration of genistein during infusion of the highest dose was 1.8±0.3 μmol/L in 6 additional men. Genistein produced a similar increase in blood flow in premenopausal women. Daidzein, another phytoestrogen, was ineffective, but equimolar concentrations of 17β-estradiol caused similar vasodilation to genistein. Responses to genistein and 17β-estradiol were inhibited to the same degree by the NO synthase inhibitor N G -monomethyl- l -arginine. A threshold dose of genistein potentiated the endothelium-dependent vasodilator acetylcholine but not the endothelium-independent vasodilator nitroprusside. Conclusions —Genistein causes l -arginine/NO-dependent vasodilation in forearm vasculature of human subjects with similar potency to 17β-estradiol and potentiates endothelium-dependent vasodilation to acetylcholine.
Cupid: Congestion-free consistent data plane update in software defined networks (2016)

With the popular applications of SDN in load balancing and failure recovery, the controller schedules affected flows to redundant paths to avoid network congestions and failures by updating flow tables in data plane. However, inconsistent flow table updating may lead to transient incorrect network behaviors or undesired performance degradation. Therefore, the consistency imposes dependencies among updates, so that the order of updates must be carefully considered to keep the consistency. To update flow tables consistently and efficiently, in this paper, we propose an update ordering approach — Cupid. To avoid high overhead in update ordering, we divide the global dependencies among updates into local restrictions by: 1) partitioning a new routing path into several independent segments, 2) identifying critical nodes controlling traffic shifting between the old path and new path, and 3) constructing a dependency graph among critical nodes for potential congested links. We then design a heuristic algorithm to resolve the dependency graph. To save the flow table space, a switch keeps only one flow entry with multiple ports for a flow during updating. Our simulation shows that Cupid schedules updates at least 2 times faster and has less throughput losses than the state-of-the-art approaches in both fat-tree and mesh networks.
Revitalizing the public internet by making it extensible (2021)

There is now a significant and growing functional gap between the public Internet, whose basic architecture has remained unchanged for several decades, and a new generation of more sophisticated private networks. To address this increasing divergence of functionality and overcome the Internet's architectural stagnation, we argue for the creation of an Extensible Internet (EI) that supports in-network services that go beyond best-effort packet delivery. To gain experience with this approach, we hope to soon deploy both an experimental version (for researchers) and a prototype version (for early adopters) of EI. In the longer term, making the Internet extensible will require a community to initiate and oversee the effort; this paper is the first step in creating such a community.
Single image super resolution infrared camera using carbon nanotube photodetector (2015)

In this work, high performance Carbon Nanotube (CNT) based Infrared (IR) photodetector was used in single pixel camera, which worked in room temperature without cryogenics cooling. The compressive sensing algorithm limited IR image in low resolution due to iterative computational method. In this paper, a novel model containing smooth and edge components was introduced to reconstruct high resolution IR image using single low resolution IR image. Compared to multiple scenes or video sequences super resolution method, the proposed algorithm is applicable on real-time camera or video system. The overall camera system can get high resolution IR image based on single CNT based IR photodetector, make IR camera better measurement accuracy and observe more details at long distance.
Phase Retarder LCDs (1981)

Abstract Interference colors produced by birefringent plastic layers can be used in conjunction with the twisted nematic liquid crystal displays to produce attractive blue vs. gold LCDs when viewed in reflection. Brightness of the retarder LCD is maximized by using low tilt anmgle alignment, thin galss on the rear of the display and a full reflectiofr.
Purification and preliminary characterization of the extracellular lipase of <i>Bacillus subtilis</i> 168, an extremely basic pH‐tolerant enzyme (1993)

The extracellular lipase of Bacillus subtilis 168 was purified from the growth medium of an overproducing strain by ammonium sulfate precipitation followed by phenyl‐Sepharose and hy‐droxyapatite column chromatography. The purified lipase had a strong tendency to aggregate. It exhibited a molecular mass of 19000 Da by SDS/PAGE and a p I of 9.9 by chromatofocusing. The enzyme showed maximum stability at pH 12 and maximum activity at pH 10. The lipase was active toward p ‐nitrophenyl esters and triacylglycerides with a marked preference for esters with C 8 acyl groups. Using trioleyl glycerol as substrate, the enzyme preferantially cleaved the 1(3)‐position ester bond. No interfacial activation effect was observed with triacetyl glycerol as substrate.
Histone h1 kinase activity, germinal vesicle breakdown and m phase entry in mouse oocytes (1994)

Meiotic reinitiation of the mouse oocyte is characterized by a slow entry into metaphase I, beginning with germinal vesicle breakdown and ending with spindle formation. It is accompanied by a cascade of protein kinases and phosphatases increasing protein phosphorylation. The activation of histone H1 kinase and that of the mitogen-activated protein kinase p42 have been compared during spontaneous or okadaic acid-induced meiotic reinitiation. In spontaneously maturing oocytes, histone H1 kinase activity increases before germinal vesicle breakdown (2-fold), in a protein synthesis-independent manner. It is associated with the disappearance of the upper migrating form of p34cdc2, which, in our system, seems to represent the tyrosine phosphorylated form. Following germinal vesicle breakdown, histone H1 kinase activity culminates (8-fold) in metaphase I and requires protein synthesis. Activation by phosphorylation of p42MAPK is observed as a permanent shift upward-migrating form and by its myelin basic protein kinase activity. It occurs after germinal vesicle breakdown and depends on protein synthesis. In contrast, no increase of histone H1 kinase is detectable in oocytes induced to reinitiate meiosis by a transient inhibition of okadaic acid-sensitive phosphatase(s), either before germinal vesicle breakdown or during the following 7 hours of culture. A slight increase is nevertheless evident after 17 hours, when oocytes are arrested with an abnormal metaphase I spindle. The upper migrating form of p34cdc2 is present for 8 hours. The activation of p42MAPK begins before germinal vesicle breakdown.(ABSTRACT TRUNCATED AT 250 WORDS)
Reducing roughness in extreme ultraviolet lithography (2018)

Pattern roughness is a major problem in advanced lithography for semiconductor manufacturing, especially for the insertion of extreme ultraviolet (EUV) lithography as proposed in the coming years. Current approaches to roughness reduction have not yielded the desired results. Here, a global optimization approach is proposed, taking advantage of the different strengths and weaknesses of lithography and etch. Lithography should focus on low-frequency roughness by minimizing both the low-frequency power spectral density (PSD) and the correlation length. Etch should focus on high frequency roughness by growing the correlation length. By making unbiased measurements of the roughness, including the PSD, the parameters needed to guide these optimization efforts become available. The old approach, of individually seeking to reduce the 3σ roughness of pre- and postetch features, is unlikely to lead to the required progress in overall roughness reduction for EUV.
Mechanisms of the growth inhibitory effects of the isoflavonoid biochanin A on LNCaP cells and xenografts* (2002)

These results indicate that biochanin A inhibits prostate cancer cell growth through induction of cell cycle arrest and apoptosis. Biochanin A-regulated genes suggest multiple pathways of action. Biochanin A inhibits the incidence and growth of LNCaP xenograft tumors in athymic mice.
Peptide mimotopes of <i>Mycobacterium tuberculosis</i> carbohydrate immunodeterminants (2005)

Cell-surface saccharides of Mycobacterium tuberculosis appear to be crucial factors in tuberculosis pathogenicity and could be useful antigens in tuberculosis immunodiagnosis. In the present study, we report the successful antigenic and immunogenic mimicry of mannose-containing cell-wall compounds of M. tuberculosis by dodecamer peptides identified by phage-display technology. Using a rabbit antiserum raised against M. tuberculosis cell-surface saccharides as a target for biopanning, peptides with three different consensus sequences were identified. Phage-displayed and chemically synthesized peptides bound to the anticarbohydrate antiserum. Rabbit antibodies elicited against the peptide QEPLMGTVPIRAGGGS recognize the mannosylated M. tuberculosis cell-wall antigens arabinomannan and lipoarabinomannan, and the glycosylated recombinant protein alanine/proline-rich antigen. Furthermore, antibodies were also able to react with mannan from Saccharomyces cerevisiae, but not with phosphatidylinositol dimannosides or arabinogalactan from mycobacteria. These results suggest that the immunogenic peptide mimics oligomannosidic epitopes. Interestingly, this report provides evidence that, in contrast with previously known carbohydrate mimotopes, no aromatic residues are necessary in a peptide sequence for mimicking unusual glycoconjugates synthesized by mycobacteria. The possible usefulness of the identified peptide mimotopes as surrogate reagents for immunodiagnosis and for the study of functional roles of the native non-peptide epitopes is discussed.
Passivation of III-V Semiconductor Surfaces (2013)

Computer processor chips of the last generation are based on silicon, modified to achieve maximum charge mobility to enable fast switching speeds at low power. III-V semiconductors have charge mobilities that are much higher than that of silicon making them suitable candidates for boosting the performance of new electronic devices. However, III-V semiconductors oxidize rapidly in air after oxide etching and the poor quality of the resulting oxide limits device performance. Our goal is to design a liquid-phase process flow to etch the oxide and passivate the surface of III-V semiconductors and to understand the mechanism of layer formation.Self-assembled monolayers of 1-eicosanethiol (ET) dissolved in ethanol, IPA, chloroform, and toluene were deposited on clean InSb(100) surfaces. The InSb passivated surfaces were characterized after 0 to 60 min of exposure to air. Ellipsometry measurements showed a starting overlayer thickness (due to ET, oxides, or both) of about 20 Å in chloroform and from 32 to 35 Å in alcohols and toluene. Surface composition analysis of InSb with X-ray photoelectron spectroscopy after passivation with 0.1 mM ET in ethanol confirmed the presence of ET and showed that oxygen in the Auger region is below detection limits up to 3 min after the passivation. Our results show that a thiol layer on top of a non-oxidized or low-oxide semiconductor surface slows oxygen diffusion in comparison to a surface with no thiol present, making this a promising passivation method of III-V semiconductors.
Family of Site-Selective Molecular Optical Switches (2005)

[reaction: see text] We describe the design, synthesis, and characterization of a family of thiol-reactive optical switches for labeling proteins and other biomolecules. Site-selective introduction of photochromic probes within biomolecules is being used as part of a new approach for optical control of biomolecular interactions and activities within cells. The thiol-reactive photochromic probes described in this report include a spironaphthoxazine and five spirobenzopyrans. The location of the thiol-reactive group on the spirobenzopyran is different for each probe; this feature can be used to control the geometry of the optical switch within a bioconjugate. The photochromes undergo rapid and reversible, optically driven transitions between a colorless spiro (SP) state and a brightly colored merocyanine (MC) state. The MC absorption of a spironaphthoxazine conjugate is red shifted by more than 100 nm compared to the equivalent spirobenzopyran, which may be exploited for the independent control of the MC to SP transition for up to two different spironaphthoxazine and spirobenzopyran conjugates within the same sample.
A novel 3-tier XML schematic approach for web page translation (2005)

The proposed 3-Tier XML schematic approach is to demonstrate how to embed syntactic, semantic and computational linguistic metadata information in the structure of an XML document and how the various markups help in Internationalization and Localization processes toward faster and more meaningful machine translation of Web contents from one human language to another human language. In this approach, an XML content author needs to embed a source human language specific metadata information in an XML document. Various markups used in this novel 3-Tier XML Schematic approach are very useful for the machine translation of a web content. This is a significant step forward toward better internationalization and localization of web pages as well.
Delivering work-ready business graduates - keeping our promises and evaluating our performance (2013)

Business schools globally are responding to calls for graduate work-readiness primarily through the development of employability skills, encompassing career management skills, and work integrated-learning (WIL). There has been considerable attention to clarifying precisely which skills should be developed, and how, but far less on evaluating employability skill provision and its impact on graduate work-readiness. This is increasingly important as industry worldwide continues to lament graduate inadequacies in certain employability skills and the extent to which they are job-ready. This paper outlines a systematic approach for evaluating employability skill outcomes and the effectiveness of learning programs in developing these skills. The approach was developed in a learning program dedicated to developing employability skills in business undergraduates in an Australian university. It may assist other universities in communicating, assessing, mapping and reporting their employability skills outcomes; an integral component of all business undergraduate programs, and now a requirement of all Australian higher education providers (TEQSA, 2011). The approach provides a means of evaluating program effectiveness in skill provision, enabling a more informed review of curricula content, assessment and pedagogical techniques to achieve better alignment with industry requirements.
A Physicochemical Bench-scale Caries Model (1984)

A diffusion cell comprising two compartments separated by a commerical membrane of known ion permselectivity was used as an experimental model to study factors which may affect caries formation. One compartment (the "lesion") contained an excess of hydroxyapatite or fluorapatite crystals, and its solution was kept near saturation by stirring. An unsaturated acidic calcium phosphate solution flowed continuously through the other compartment (the "plaque-saliva"), thus providing the driving force for dissolution of the crystals as modified by the permeability of the membrane and/or the presence of fluoride. Calcium, phosphate, fluoride, and chloride concentrations, pH, and membrane potential were measured at steady state. The permselective character of the membrane profoundly affected the solution in the "lesion": The initial Ca/P ratio of 1.6 was shifted, at steady state, to less than 1.1 ("neutral" membrane), to less than 0.48 (cation-permselective membrane), and to 3.3 (anion-permselective membrane). All the membranes caused Ca and PO4 concentrations in the "lesion" to increase (e.g., with the cation-permselective membrane, the Ca 22-fold and the PO4 75-fold). Substantial membrane potentials were encountered in all cases. The pH of the steady-state solution was always less than before diffusion was initiated; the average decrease was 1.1 units. In every case, the pH, and the Ca and PO4 concentrations of the F- -containing solution were less than those in the F- -free solution. The changes induced by the "neutral" membrane were unexpectedly large. In two cases, H3PO4 was diffusing against its chemical potential gradient at steady state. The results are relevant for understanding and for modeling of the caries process.
Characterization of a novel eukaryal nick-sealing RNA ligase from <i>Naegleria gruberi</i> (2015)

The proteome of the amoebo-flagellate protozoan Naegleria gruberi is rich in candidate RNA repair enzymes, including 15 putative RNA ligases, one of which, NgrRnl, is a eukaryal homolog of Deinococcus radiodurans RNA ligase, DraRnl. Here we report that purified recombinant NgrRnl seals nicked 3'-OH/5'-PO4 duplexes in which the 3'-OH strand is RNA. It does so via the "classic" ligase pathway, entailing reaction with ATP to form a covalent NgrRnl-AMP intermediate, transfer of AMP to the nick 5'-PO4, and attack of the RNA 3'-OH on the adenylylated nick to form a 3'-5' phosphodiester. Unlike members of the four known families of ATP-dependent RNA ligases, NgrRnl lacks a carboxy-terminal appendage to its nucleotidyltransferase domain. Instead, it contains a defining amino-terminal domain that we show is important for 3'-OH/5'-PO4 nick-sealing and ligase adenylylation, but dispensable for phosphodiester synthesis at a preadenylylated nick. We propose that NgrRnl, DraRnl, and their homologs from diverse bacteria, viruses, and unicellular eukarya comprise a new "Rnl5 family" of nick-sealing ligases with a signature domain organization.