gebhart/patrepeval huggingface dataset:
Flow-Directed Lightweight Closure Conversion (2000)

procedures contain single concrete procedures when the procedure has no closure-pointer slot, due to closure-pointer--slot elimination, as described below. Furthermore, the concrete aggregate objects in abstract aggregate objects such as pairs, strings, vectors, symbols, continuations, and procedures are indistinguishable when their identity is not important and the components of those aggregate objects are fictitious or unaccessed. Such a collection of indistinguishable concrete objects can be treated as a single concrete object. Finally, continuations can be indistinguishable in certain circumstances that require a must-alias property to hold. The method used by Stalin to approximate this must-alias property is the crux of the lightweight closure-conversion process and is described in detail in section 3.12. Experiments reported in section 4 show that closure-pointer--slot elimination, in practice, allows most procedures to be fictitious and the variables holding such procedures to be eliminated. Not only does the notion of fictitious variables a#ect code generation, by eliminating the slots, parameters, passing, and spilling for such variables, as well as references to such variables, it also impacts the lightweight closure-conversion process itself. Free references to fictitious variables are ignored, allowing a greater degree of parent-slot, closure-pointer--slot, parent-parameter, parent-passing, and parent-spilling elimination.
Para-directed aromatic reactions over shape-selective molecular sieve zeolite catalysts (1979)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTPara-directed aromatic reactions over shape-selective molecular sieve zeolite catalystsN. Y. Chen, W. W. Kaeding, and F. G. DwyerCite this: J. Am. Chem. Soc. 1979, 101, 22, 6783–6784Publication Date (Print):October 1, 1979Publication History Published online1 May 2002Published inissue 1 October 1979https://doi.org/10.1021/ja00516a065Request reuse permissionsArticle Views1418Altmetric-Citations294LEARN 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 InReddit PDF (276 KB) Get e-Alertsclose Get e-Alerts
[A review of progress in research of effect of air pollutants on fetal growth]. (2017)

Slow fetal growth is a global public health concern because it might be associated with many diseases later in life. With the progress of technology to measure long-term air pollution exposure. Many epidemiological studies have evaluated the effects of maternal air pollutant exposure on fetal growth. In this paper, we summarize the research progress in this field after the analysis on the related literatures retrieved from the databases of Medline and Web of Science.
Hormone replacement therapy: the need for reconsideration. (1993)

Millions of menopausal women are taking hormone supplements. Observational studies suggest that unopposed estrogens reduce the risk of cardiovascular disease and fractures and increase the risk of endometrial cancer and, possibly, breast cancer. In the absence of information from randomized trials, how much of the apparent beneficial effect on heart disease is due to the tendency of healthier women to use these drugs is unknown. The effect on the cardiovascular system of estrogen taken with a progestin is unknown, and this regimen may increase the risk of breast cancer. An approach to health and illness that focuses on a single cause or preventive and on single organ systems is severely limited. Alternative ways to improve cardiovascular and skeletal health that do not increase the risk of cancer are available. A reconsideration of the appropriate use of hormone supplements is needed.
Threshold Voltage Variability in Nanosheet GAA Transistors (2019)

Nanosheet gate-all-around (GAA) field-effect transistor (NSFET) is a potential replacement for the FinFET at advanced technology nodes owing to better control of short-channel effects and higher drive current. Due to the increased complexity of the GAA stacked structure, new forms of process variability come into the picture, which are dominant over the conventional process variability such as metal gate granularity (MGG) and line edge roughness (LER) for FinFETs. In this article, we show one such process variability called as metal thickness variation (MTV). MTV causes WF variations on the gates of the GAA sheet transistor and results in a significant VT variability. The impact of MTV is studied using an analytical framework. We studied three variants of NSFETs and reported variability in terms of key device design parameters such as intersheet spacing and metal thicknesses. The results presented here help in designing the process flow for a type of NSFET to minimize the VT variability.
Interactions of Wnt/ -Catenin Signaling and Sonic Hedgehog Regulate the Neurogenesis of Ventral Midbrain Dopamine Neurons (2010)

Signaling mechanisms involving Wnt/beta-catenin and sonic hedgehog (Shh) are known to regulate the development of ventral midbrain (vMB) dopamine neurons. However, the interactions between these two mechanisms and how such interactions can be targeted to promote a maximal production of dopamine neurons are not fully understood. Here we show that conditional mouse mutants with region-specific activation of beta-catenin signaling in vMB using the Shh-Cre mice show a marked expansion of Sox2-, Ngn2-, and Otx2-positive progenitors but perturbs their cell cycle exit and reduces the generation of dopamine neurons. Furthermore, activation of beta-catenin in vMB also results in a progressive loss of Shh expression and Shh target genes. Such antagonistic effects between the activation of Wnt/beta-catenin and Shh can be recapitulated in vMB progenitors and in mouse embryonic stem cell cultures. Notwithstanding these antagonistic interactions, cell-type-specific activation of beta-catenin in the midline progenitors using the tyrosine hydroxylase-internal ribosomal entry site-Cre (Th-IRES-Cre) mice leads to increased dopaminergic neurogenesis. Together, these results indicate the presence of a delicate balance between Wnt/beta-catenin and Shh signaling mechanisms in the progression from progenitors to dopamine neurons. Persistent activation of beta-catenin in early progenitors perturbs their cell cycle progression and antagonizes Shh expression, whereas activation of beta-catenin in midline progenitors promotes the generation of dopamine neurons.
Genetics of Alcoholism: A Review of Recent Studies in Human and Animal Models (1999)

There is substantial evidence for a significant genetic component to the risk of alcoholism. In searching for genes that contribute to this risk, several approaches may be utilized in order to identify the genetic loci underlying alcoholism susceptibility. Several candidate genes have been evaluated for their role in alcoholism; however, with the exception of the enzymes of alcohol metabolism, results from these studies have been inconsistent. Recently, two large studies have employed a genome screen methodology to identify novel genes contributing to the risk of alcoholism. As an alternative strategy, researchers have utilized mouse and rat models to identify quantitative trait loci influencing alcohol preference. Through the development of congenic lines and transgenic and knock-out animals, candidate genes can be identified and evaluated for their role in alcohol preference.
Design integrity and immunity checking (1980)

A program implementing a novel approach to layout verification is presented. The approach uses topological and device information to eliminate most false and unchecked errors. This technique, coupled with a hierarchical front end to eliminated redundant checks, is appropriate for layout verification of VLSI designs. Design rules appropriate for this technique, some usage rules in the context of structured design, and a discussion of the future of design rule checking are also presented.
Viscosity of polyacrylonitrile solutions: The effect of the molecular weight (2015)

The copolymer of acrylonitrile with methyl acrylate and itaconic acid (93: 5.7: 1.3) is synthesized via free-radical copolymerization. For solutions of the initial copolymer and its 12 fractions in dimethyl sulfoxide, viscosities are measured in a wide shear-stress range. The viscosity behavior of 10% solutions is examined in more detail, and the rheological studies of several fractions are performed in the concentration interval from 5 to 20%. All solutions exhibit weak non-Newtonian behavior. This makes it possible to determine the zero-shear viscosity. The dependences of this viscosity on the number-average and weight-average molecular masses for the equiconcentrated solutions obey an exponential law with the same exponent, equal to 2.3. The macromolecules of copolymers are inclined toward association. For low-molecular-mass fractions, this effect is the most pronounced.
A robust video based traffic light detection algorithm for intelligent vehicles (2009)

Recently, researches on intelligent vehicles which can drive in urban environment autonomously become more popular. Traffic lights are common in cities and are important cues for the path planning of intelligent vehicles. In this paper, a robust and efficient algorithm to detect traffic lights based on video sequences captured by a low cost off-the-shelf video camera is proposed. The algorithm models the hue and saturation according to Gaussian distributions and learns their parameters with training images. From learned models, candidate regions of the traffic lights in the test images can be extracted. Post processing method which takes account of the shape information is applied to the candidate regions. Furthermore, detection results of the previous image frames are aggregated in order to provide a more robust result. Experimental results on several video sequences captured in typical urban environment prove the effectiveness of the proposed algorithm.
BGP Security Vulnerabilities Analysis (2006)

Border Gateway Protocol 4 (BGP-4), along with a host of other infrastructure protocols designed before the Internet environment became perilous, was originally designed with little consideration for protection of the information it carries.There are no mechanisms internal to BGP that protect against attacks that modify, delete, forge, or replay data, any of which has the potential to disrupt overall network routing behavior.This document discusses some of the security issues with BGP routing data dissemination.This document does not discuss security issues with forwarding of packets.
Smart Verification System for Media File Using Blockchain (2022)

In this modern world where information is stored and shared in digital manner in the format of image, video, document privacy and authenticity of the data needs to be preserved which is not an easy task. It has become a major threat where data shared or stored can be tampered or manipulated with and it is very difficult to check for the same. The main principle behind this study is to provide a way to store data in secure manner with the ability to check its authenticity when the need arises. The proposed method integrates blockchain technology to the system which helps to add the media file to the system and store the 256-bit unique hash value generated through keccak-256 hashing algorithm into blockchain using Proof-of-Work protocol. The generated 256-bit hash is stored in blockchain is of immutable nature and it takes approximately 3.5*10^63 seconds to crack the 256-bit encryption. In cases where the need arises to check if the media file is tampered or manipulated it can be done by comparing hash of the media file against hash value that is stored in blockchain. If both hash values are exactly same then the media file is authentic and its integrity is preserved.
PRINCIPLES OF MICROFLUIDIC ACTUATION BY MODULATION OF SURFACE STRESSES (2005)

▪ Abstract Development and optimization of multifunctional devices for fluidic manipulation of films, drops, and bubbles require detailed understanding of interfacial phenomena and microhydrodynamic flows. Systems are distinguished by a large surface to volume ratio and flow at small Reynolds, capillary, and Bond numbers are strongly influenced by boundary effects and therefore amenable to control by a variety of surface treatments and surface forces. We review the principles underlying common techniques for actuation of droplets and films on homogeneous, chemically patterned, and topologically textured surfaces by modulation of normal or shear stresses.
StAR Overexpression Decreases Serum and Tissue Lipids in Apolipoprotein E‐deficient Mice (2009)

Cholesterol metabolism as initiated by mitochondrial sterol 27-hydroxylase (CYP27A1) is a ubiquitous pathway capable of synthesizing multiple key regulatory oxysterols involved in lipid homeostasis. Previously we have shown that the regulation of its activities within hepatocytes is highly controlled by the rate of mitochondrial cholesterol delivery. In the present study, we hypothesized that increasing expression of the mitochondrial cholesterol delivery protein, steroidogenic acute regulatory protein (StAR), is able to lower lipid accumulation in liver, aortic wall, as well as in serum in a well-documented animal model, apolipoprotein E-deficient (apoE(-/-)) mice. ApoE(-/-) mice, characterized by increased serum, liver, and endothelial cholesterol and triglyceride levels by 3 months of age, were infected with recombinant cytomegalovirus (CMV)-StAR adenovirus to increase StAR protein expression. Six days following infection, serum total cholesterol and triglycerides had decreased 19 and 30% (P < 0.01), respectively, with a compensatory 40% (P < 0.01) increase in serum HDL-cholesterol in increased StAR expressing mice as compared to controls (no or control virus). Histologic and biochemical analysis of the liver demonstrated not only a dramatic decrease in cholesterol ( downward arrow25%; P < 0.01), but an even more marked decrease in triglyceride ( downward arrow56%; P < 0.01) content. En bloc Sudan IV staining of the aorta revealed a >80% (P < 0.01) decrease in neutral lipid staining. This study demonstrates for the first time a possible therapeutic role of the CYP27A1-initiated pathway in the treatment of dyslipidemias.
Circadian rhythms and cancer (2010)

The circadian clock is an endogenous time keeping system shared by most organisms. In mammals, a master pacemaker in the hypothalamus orchestrates temporal alignment of behavior and physiology by transmitting daily signals to multiple clocks in peripheral tissues. Disruption of this communication has a profound affect on human health and has been linked to diverse pathogenic conditions, including cancer. At the center of the molecular circadian machinery is a set of clock genes, generating rhythmic oscillations on a cellular level. In the past several years, research from different fields has revealed the complexity and ubiquitous nature of circadian regulation, uncovering intriguing associations between clock components and cellular pathways implicated in tumorigenesis. In this review, we discuss the emerging role of circadian genes in hematological and hormone-related malignancies. These new insights suggest that manipulating circadian biology as a way to fight cancer, as well as, other life threatening diseases is within the realm of possibility.
Zinc oxide nanoparticles for water disinfection (2017)

The world faces a growing challenge for adequate clean water due to threats coming from increasing demand and decreasing supply. Although there are existing technologies for water disinfection, their limitations, particularly the formation of disinfection-by-products, have led to researches on alternative methods. Zinc oxide, an essential chemical in the rubber and pharmaceutical industries, has attracted interest as antimicrobial agent. In nanoscale, zinc oxide has shown antimicrobial properties which make its potential great for various applications. This review discusses the synthesis of zinc oxide with focus on precipitation method, its antimicrobial property and the factors affecting it, disinfection mechanisms, and the potential application to water disinfection.
Performance of different synchronization measures in real data: A case study on electroencephalographic signals (2002)

We study the synchronization between left and right hemisphere rat electroencephalographic (EEG) channels by using various synchronization measures, namely nonlinear interdependences, phase synchronizations, mutual information, cross correlation, and the coherence function. In passing we show a close relation between two recently proposed phase synchronization measures and we extend the definition of one of them. In three typical examples we observe that except mutual information, all these measures give a useful quantification that is hard to be guessed beforehand from the raw data. Despite their differences, results are qualitatively the same. Therefore, we claim that the applied measures are valuable for the study of synchronization in real data. Moreover, in the particular case of EEG signals their use as complementary variables could be of clinical relevance.
Microtubule-based peroxisome movement (1996)

The association of peroxisomes with cytoskeletal structures was investigated both by electron microscopy and by kinetic analysis of peroxisome movement. The morphological studies indicated distinct interactions of peroxisomes with microtubules and frequently revealed multiple contact sites. The kinetic approach utilised microinjection and import of fluorescein-labeled luciferase in order to mark and track peroxisomes in vivo. Peroxisomal motility was analysed by time-lapse imaging and fluorescence microscopy. According to their movement peroxisomes were classified into two groups. Group 1 peroxisomes comprising the majority of organelles at 37 degrees C moved slowly with an average velocity of 0.024 +/- 0.012 micron/second whereas the movement of group 2 peroxisomes, 10-15% of the total population, was saltatory exhibiting an average velocity of 0.26 +/- 0.17 micron/second with maximal values of more than 2 microns/second. Saltations were completely abolished by the microtubule-depolymerising drug nocodazole and were slightly reduced by about 25% by cytochalasin D which disrupts the actin microfilament system. Double fluorescence labeling of both peroxisomes and microtubules revealed peroxisome saltations linked to distinct microtubule tracks. Cellular depletion of endogenous levels of NTPs as well as the use of 5'-adenylylimidodiphosphate, a nonhydrolysable ATP analog, applied to a permeabilised cell preparation both completely blocked peroxisomal movement. These data suggest an ATPase dependent, microtubule-based mechanism of peroxisome movement. Both the intact and the permeabilised cell system presented in this paper for the first time allow kinetic measurements on peroxisomal motility and thus will be extremely helpful in the biochemical characterisation of the motor proteins involved.
Alignment of Discotic Liquid Crystals (2003)

Abstract Alignment techniques for calamitic liquid crystals are well developed and play a crucial role in liquid crystal devices. Comparatively little attention has been paid to the alignment of discotic liquid crystals. Only recently the integration of discotic liquid crystals into optical and electronic devices stimulated the development of new alignment techniques for discotic nematic and columnar mesophases. This mini-review attempts a brief summary of the challenges and recent success stories. Two new approaches to the alignment of discotic columnar mesophases will also be presented. Keywords: Discotic Liquid CrystalsColumnar MesophasesNematic MesophasesAlignmentOligomersElectrostatic Layer-by-layer Deposition
Whole-Wafer Mapping of Dislocations in 4H-SiC Epitaxy (2007)

A non-destructive technique to image the dislocations and other extended defects in SiC epitaxial layers has been developed. Basal plane dislocations (BPDs) and threading dislocations (TDs) are imaged. Photoluminescence from the dislocations is excited with the 364 and/or 351 nm lines of an argon ion laser and near-infrared light is collected. A computer controlled probe station takes multiple images and the mm-sized images are stitched together to form whole-wafer maps. The technique is applied to a set of four n+ wafers from the same boule with 50 um n- epitaxial layers. The epitaxy was grown with Cree’s low-BPD process. BPDs form as either single, isolated dislocations or as clusters encircling micropipes. The concentration of TDs is on the order 104/cm2 and the local concentration varies more than an order of magnitude. The advantages of mapping dislocations by UV-PL imaging compared to other techniques are discussed.
Orchestrated photocatalytic hydrogen generation using surface-adsorbing iridium photosensitizers (2014)

Novel photosensitizers (PSs) with formyl bipyridyl ligands in different positions were developed to improve the electron transfer from an iridium complex PS to a colloidal platinum catalyst, resulting in much higher turnover numbers than the non-formyl bipyridyl Ir-PS in photocatalytic hydrogen generation.