gebhart/patrepeval huggingface dataset:
Debugging with dominance: on-the-fly RTL debug solution implications (2011)

Design debugging has become a resource-intensive bottleneck in modern VLSI CAD flows, consuming as much as 60% of the total verification effort. With typical design sizes exceeding the half-million synthesized gates mark, the growing number of blocks to be examined dramatically slows down the debugging process. The aim of this work is to prune the number of debugging iterations for finding all potential bugs, without affecting the debugging resolution. This is achieved by using structural dominance relationships between circuit components. More specifically, an iterative fixpoint algorithm is presented for finding dominance relationships between multiple-output blocks of the design. These relationships are then leveraged for the early discovery of potential bugs, along with their corrections, resulting in significant debugging speed-ups. Extensive experiments on real industrial designs show that 66% of solutions are discovered early due to dominator implications. This results in consistent performance gains in all cases and a 1.7× overall speed-up for finding all potential bugs, demonstrating the robustness and practicality of the proposed approach.
Suppression of99mTc-Pertechnetate Uptake in a Choroid Plexus Papilloma (1973)

A 5-month-old infant presenting with hydrocephaly was subsequently proved to have a choroid plexus papilloma. Potassium perchlorate suppressed the uptake of 99mTcO4 in this lesion. Brain scanning before and after perchlorate pretreatment is recommended for the evaluation of similar patients.
Efficient management of data in proxy cache (2002)

Web proxy cache is an intermediate storage of Web objects deployed at a proxy server and shared by a group of clients. As a hidden storage place, the contents of a proxy cache are generally transparent to users who cannot find out what are currently available in cache. As a result, users usually surf/search the Web repeatedly for the same information that may have been retrieved by others and could be available from cache. Experiments show that more than 60% of total cache contents are never used and the low utilization rate is largely due to users' unawareness of the cache contents. In this paper, we propose a framework for efficient management of Web data in Squid proxy cache, where data in cache are managed both as physical objects as well as logical pages. The logical pages in cache are then indexed in terms of keywords and popularity and users can search the contents of cache directly. Object replacement policy based on the proposed content management scheme is also discussed.
Quantitative comparison between Kalman filter and Particle filter for low cost INS/GPS integration (2009)

Technological advances in both GPS and low cost micro-electro mechanical system (MEMS)-based inertial sensors enabled monitoring the location of moving platforms for numerous positioning and navigation (POS/NAV) applications. When miniaturized inside any moving platforms, MEMS-based inertial navigation system (INS) can be integrated with GPS and enhance the performance in denied GPS environments (like in urban canyons). The combination of the two systems, traditionally performed by Kalman filtering (KF), exploits their complementary characteristics. Due to the inherent errors of MEMS inertial sensors and the relatively high noise levels associated with their measurements, KF has limited capabilities in providing accurate positioning. Particle filtering (PF) was suggested to accommodate for arbitrary inertial sensor characteristics, motion dynamics and noise distributions. This article gives detailed comparison between KF and PF as applied to MEMS-based INS/GPS integration and examines the performance of both methods during a road test experiment.
High-grade encryption (2000)

TETRA is a good example of a widespread, commercial communications system that can be adopted by many different subscriber communities. However, the means by which protective security measures are implemented for different communities depends in part upon the sensitivity of that community's traffic. For high-security users, such as the military, measures such as higher-grade encryption are required. In the efficient exploitation of what is essentially off-the-shelf low-grade equipment for such communities, an applique-based approach has necessarily been taken. The implications of this, in terms of impacting performance and potential application, are addressed. The challenges to better support integrated developments in the future are discussed. (4 pages)
Functionalization of an extended-gate field-effect transistor (EGFET) for bacteria detection (2022)

Traditional sensing technologies have drawbacks as they are time-consuming, cost-intensive, and do not attain the required accuracy and reproducibility. Therefore, new methods of measurements are necessary to improve the detection of bacteria. Well-established electrical measurement methods can connect high sensitive sensing systems with biological requirements. One approach is to functionalize an extended-gate field-effect transistor's (EGFET) sensing area with modified porphyrins containing two different linkers. One linker connects the electrode surface with the porphyrin. The other linker bonds bacteria on the functional layer through a specific peptide chain. The negative charge on the surface of the cells regulates the surface potential which has an impact on the electrical behavior of the EGFET. The attendance of attached bacteria on the functionalized sensing area could successfully be detected.
The reactivation of phosphorylated chymotrypsin (1959)

Chymotrypsin, like most other enzymes with esterase activity, is inactivated by combination with organophosphates (Balls & Jansen, 1952). The inactive phosphorylated enzyme is relatively stable in water but hydroxylamine and picolinohydroxamic acid will restore the activity by nucleo- philic displacement of the enzyme from the phosphoryl residue The only reported kinetic study of this process is by Cunningham (1954) on reactivation with hydroxylamine, but his conclu- sions as to mechanism are open to criticism as, at best, only about 30 % of the original enzymic
5'-Levulinyl and 2'-tetrahydrofuranyl protection for the synthesis of oligoribonucleotides by the phosphoramidite approach (1988)

The levulinyl group has been employed for protection of the 5'-hydroxyl group in the synthesis of oligoribonucleotides by the phosphoramidite approach, using the acid-labile 2'-tetrahydro-furanyl group. The hydrazine treatment was performed for 10 minutes in order to remove the levulinyl group on controlled pore glass. Four decaribonucleotides (AAAAAAAAAU, GGGGGGGGGU, CCCCCCCCCU and UUUUUUUUUU) and a heneicosamer (GCCUAGCUGAUGAAGGGUGAU) were prepared with an automatic synthesizer in good yields.
ChemInform Abstract: Tandem Olefin Metathesis—Elimination Reactions. A New Route to Doubly Unsaturated Carbonyl Derivatives. (2009)

Abstract ChemInform is a weekly Abstracting Service, delivering concise information at a glance that was extracted from about 200 leading journals. To access a ChemInform Abstract of an article which was published elsewhere, please select a “Full Text” option. The original article is trackable via the “References” option.
10.1109/ICCEA.2010.141 (2000)

The visualization of hierarchical databases is an extensive challenge. In this position paper, we disconfirm the deployment of agile component method, which embodies the intuitive principles of cryptoanalysis. An agile Component method based on J2EE, is the solution to all of these challenges
Ligelizumab treatment for severe asthma: learnings from the clinical development programme (2021)

Ligelizumab failed to demonstrate superiority over placebo or omalizumab. Although ligelizumab is more potent than omalizumab at inhibiting IgE binding to the high-affinity FcεRI, there is differential IgE blocking properties relative to FcεRI and FcεRII/CD23 between the two compounds. Therefore, the data suggest that different anti-IgE antibodies might be selectively efficacious for different IgE-mediated diseases.
Stem cell treatments for amyotrophic lateral sclerosis: a critical overview of early phase trials (2019)

Clinical trials in humans are still in the nascent stages of development. It will be critical to ensure that powered, well-controlled trials are conducted, that optimal treatment windows are identified, and that the ideal cell type, cell dose, and delivery site and method are determined. Several trials have used more invasive procedures, and ethical concerns of sham procedures on patients in the control arm and on their safety should be considered.
Variable Speed Pumping for Level Control (1982)

The purpose of this paper is to describe an application of variable speed pumping to level control of an industrial process. Topics include a comparison of the process using control valves with a variable speed system, an energy savings and cost analysis, and a brief discussion of variable frequency drive design considerations. \n\nEnergy savings figures are based upon actual electricity costs at the plant involved. Process duty cycle and energy requirement levels were verified by a wattmeter recording. The results of the application indicate that variable speed pumping is a viable energy savings alternative for process control.
Perennial ryegrass improvement in Australia (1994)

Abstract Perennial ryegrass is one of the most researched and valuable temperate pasture grasses in the world. Historically, there has been minor attention given to its improvement in Australia, although at least six million hectares of perennial ryegrass‐based pastures are used for the sheep, dairy, and meat industries. The performance of introduced cultivars of perennial ryegrass is reviewed and the main breeding objectives in Australia are discussed. A model for the National Perennial Ryegrass Improvement Program is briefly outlined, together with a range of support research considered necessary for the long‐term success of the programme. Collaboration between public breeders and private seed companies would strengthen the programme by combining scientific expertise and support research with breeding, seed production, and commercialisation skills and ensure a balanced focus on industry and market needs.
Diagnosis and Treatment of a Symptomatic Posterior Cruciate Ganglion Cyst in a Child with Autism (2019)

In pediatric patients with pain or limited knee range of motion, physicians should consider the possibility of a ganglion cyst arising from the PCL, despite its rarity. Arthroscopic excision is a safe and effective procedure that guarantees a complete recovery of the patient with the lowest rate of recurrence.
Introduction to graphene-based nanomaterials: from electronic structure to quantum transport (2020)

"Introduction to graphene-based nanomaterials: from electronic structure to quantum transport." Contemporary Physics, 61(2), p. 149
Endothelium in Spots – High-Content Imaging of Lipid Rafts Clusters in db/db Mice (2014)

Lipid rafts (LRs) are dynamic, sterol- and sphingolipid-enriched nanodomains involved in the regulation of cellular functions and signal transduction, that upon stimuli, via (e.g. association of raft proteins and lipids), may cluster into domains of submicron or micron scale. Up to date, however, lipid raft clusters were observed only under artificially promoted conditions and their formation in vivo has not been confirmed. Using non-destructive approach involving Raman and Atomic Force Microscopy imaging we demonstrated the presence of clustered lipid rafts in endothelium of the aorta of the db/db mice that represent a reliable murine model of type 2 diabetes. The raft clusters in the aorta of diabetic mice were shown to occupy a considerably larger (about 10-fold) area of endothelial cells surface as compared to the control. Observation of pathology-promoted LRs confirms that the cellular increase of lipid content results in clustering of LRs. Clustering of LRs leads to the formation of assemblies with diameters up to 3 micrometers and increased lipid character. This massive clustering of lipid rafts in diabetes may trigger a signaling cascade leading to vascular inflammation.
Preparation and hydrophobicity failure behavior of two kinds of fluorine-containing acrylic polyurethane coatings (2015)

Two kinds of fluorine-containing acrylic copolymers, prepared following an <italic>in situ</italic> radical polymerization fluorine modification method and a post-polymerization fluorine modification route, respectively, achieved different failure behaviors and hydrophobicities.
A 32-KB Standard CMOS Antifuse One-Time Programmable ROM Embedded in a 16-bit Microcontroller (2006)

A 32-KB standard CMOS antifuse one-time programmable (OTP) ROM embedded in a 16-bit microcontroller as its program memory is designed and implemented in 0.18- <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$muhbox m$</tex> standard CMOS technology. The proposed 32-KB OTP ROM cell array consists of 4.2 <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$muhbox m^2$</tex> three-transistor (3T) OTP cells where each cell utilizes a thin gate-oxide antifuse, a high-voltage blocking transistor, and an access transistor, which are all compatible with standard CMOS process. In order for high density implementation, the size of the 3T cell has been reduced by 80% in comparison to previous work. The fabricated total chip size, including 32-KB OTP ROM, which can be programmed via external <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$hboxI^2hboxC$</tex> master device such as universal <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$hboxI^2hboxC$</tex> serial EEPROM programmer, 16-bit microcontroller with 16-KB program SRAM and 8-KB data SRAM, peripheral circuits to interface other system building blocks, and bonding pads, is 9.9 <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$hbox mm^2$</tex> . This paper describes the cell, design, and implementation of high-density CMOS OTP ROM, and shows its promising possibilities in embedded applications.
COMPETITION BETWEEN PUBLIC AND PRIVATE UNIVERSITIES: QUALITY, PRICES AND EXAMS * (2004)

The rapid growth of private higher education in response to high demand is a recent phenomenon in most European countries. This paper provides a theoretical model of the higher education market in which a public and a private university compete for students in the presence of borrowing constraints. We find that there exists a unique equilibrium in which the public institution is of higher quality than the private institution. This result supports the observation across many European countries that public universities have usually higher quality and admission standards than their private competitors.
A dual-layer bus arbiter for mixed-criticality systems with hypervisors (2014)

In mixed-criticality systems, applications with different levels of criticality are integrated on the same computational platform. Without a proper isolation of the different applications of such a mixed-criticality system certification gets expensive, because it has to be shown that application components of lower criticality do not hamper the correct operation of the critical applications. Therefore, all components - even the less critical ones - have to be certified for the highest criticality level. For single core platforms the use of hypervisors promises to shield applications of different criticality from each other. Timing problems may emerge when the hypervisor is ported to a multicore platform where different cores access the global memory concurrently. We show, that full temporal isolation of applications executing on different cores is only achievable if the hypervisor is run on appropriate hardware. The presented dual-layer bus arbiter enables critical applications to preserve isolation properties and also improves the execution performance of noncritical applications.
Therapeutic Use of Ultrasound Targeted Microbubble Destruction: A Review of Non-Cardiac Applications (2006)

The development of second generation ultrasound contrast agents has extended the diagnostic scope of ultrasound imaging. Due to their physical characteristics, a therapeutic application of such microbubble based contrast agents has been promoted. Recently, several groups have demonstrated that ultrasound targeted microbubble destruction (UTMD) may deliver drugs or gene therapy vectors to organs accessible by ultrasound, thus providing a new technique for non-invasive, organ specific delivery of bioactive substances. Most applications in this field have been tested in cardiac models, but other organs can be treated as well. This article will give an overview of the background of UTMD and its non-cardiac applications.
Development of Consumable Transfer Systems for Sustainable Lunar Exploration (2007)

NASA has identified Supportability as a key requirement for the development of future space exploration architectu res. Based on many years of ground operations experience, NASA KSC has been tasked to lead the investigation of technologies required for a sustainable Consumables Transfer station for use on the lunar surface. This Consumables Transfer task is a technolog y development and proof -of -concept project intended to develop component technologies and integrate them into a proof -of -concept prototype consumables transfer system. The desired end state is a modular, extensible system capable of servicing multiple luna r surface assets, including the connection and distribution of fluid commodities. Technology at the component level will be developed to minimize the logistics footprint of the missions, promote commonality between systems, minimize human maintenance or r epair activities, and ensure reliability and robustness in the lunar environment. Technology at the system level will be developed to minimize supply requirements from Earth by integrating thermal requirements with other systems, providing capability for s torage and distribution of the products of the In Situ Resource Utilization system, and recovering and recycling waste products and energy from other surface assets. Among the sub -tasks is the development of modular, expandable oxygen storage and distribut ion system s capable of liquefaction of I n Situ Resource Utilization (ISRU) produced commodities and zero boil -off storage and zero loss transfer. A novel cryogenic system that incorporates integrated refrigeration and storage is proposed to meet existing architecture requirements as well as increase mission capabilities is proposed. Details of a concept of operations analysis will be presented in this paper .
Experimental investigation of reversed flow in a compressor cascade (1990)

An experimental investigation of reversed flow performance characteristics in a compressor cascade was conducted. The purpose was to gain a fundamental understanding of reversed flow in a compressor blade cascade, and to determine the effects of stagger angle and angle of attack on the reversed flow behavior in the cascade. Tests were conducted at two blade configurations, one to simulate reversed flow in a compressor rotor and one to simulate reversed flow in a compressor inlet guide vane. Three stagger angles were tested for each configuration with an absolute angle of attack range from 70 to 130 degrees. The investigation included total and static pressure measurements upstream and downstream of the cascade as well as blade surface measurements. Aerodynamic performance parameters were presented for a reversed flow cascade. Comparison of corrected total pressure loss curves suggested that blade rows of a compressor subjected to reversed flow may be treated as nearly equal loss producers. A comparison was made between total pressure loss coefficients from this investigation and experimental compressor performance. The total pressure loss coefficients compared favorably in magnitude and curve shape.
Thermal isomerization of heterofulvenes. Dynamic nuclear magnetic resonance study (1977)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTThermal isomerization of heterofulvenes. Dynamic nuclear magnetic resonance studyIgal Belsky, Hanna Dodiuk, and Youval ShvoCite this: J. Org. Chem. 1977, 42, 16, 2734–2741Publication Date (Print):August 1, 1977Publication History Published online1 May 2002Published inissue 1 August 1977https://pubs.acs.org/doi/10.1021/jo00436a018https://doi.org/10.1021/jo00436a018research-articleACS PublicationsRequest reuse permissionsArticle Views62Altmetric-Citations23LEARN 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 optionsGet e-Alertsclose Get e-Alerts
A technical review of flexible endoscopic multitasking platforms (2012)

Alternative forms of instrument actuation, camera control and master console ergonomics should be explored to improve instrument precision, sphere of action, size and minimize assistance required.
Primary Cutaneous Anaplastic Lymphoma Kinase–Positive Large B-Cell Lymphoma (2019)

Large B-cell lymphomas include several subtypes. Recently, anaplastic lymphoma kinase (ALK)-positive large B-cell lymphoma has been delineated as a distinct entity involving mostly lymph nodes and rarely affecting extranodal sites. We describe the first case of a primary cutaneous ALK-positive large B-cell lymphoma in a 48-year-old man with a solitary nodule on the back, and describe the histologic and phenotypic features. Accurate staging confirmed the absence of other lesions, and so surgical excision and postoperative local radiation therapy were initiated and resulted in complete remission. Two years later, extracutaneous spread with involvement of axillary lymph nodes occurred. Complete remission was achieved again by multiagent chemotherapy. Our case demonstrates that a primary cutaneous form of ALK-positive large B-cell lymphoma exists. The immunophenotypic analysis of cutaneous large B-cell lymphomas affecting the skin primarily or secondarily should include the assessment of ALK expression.
Supplementary Table 4 from A Novel Somatic Mouse Model to Survey Tumorigenic Potential Applied to the Hedgehog Pathway (2023)

Supplementary Table 4 from A Novel Somatic Mouse Model to Survey Tumorigenic Potential Applied to the Hedgehog Pathway