gebhart/patrepeval huggingface dataset:
Cutpoints for formal equivalence verification of embedded software (2005)

Like hardware, embedded software faces stringent design constraints, undergoes extremely aggressive optimization, and therefore has a similar need for verifying the functional equivalence of two versions of a design, e.g., before and after an optimization. The concept of cutpoints was a breakthrough in the formal equivalence verification of combinational circuits and is the key enabling technology behind its successful commercialization. We introduce an analogous idea for formally verifying the equivalence of structurally similar, "combinational" software, i.e., software routines that compute a result and return/terminate, rather than executing indefinitely. We have implemented a proof-of-concept cutpoint approach in our prototype verification tool for the TI C6x family of VLIW DSPs, and our experiments show large improvements in runtime and memory usage.
NICOLAI HARTMANN'DA ESTETİK DEĞER (2011)

Bu tartisilmaktadir. Estetik degeri temelde bir gorunus iliskisi ve duyu algisinin bir niteligi olarak tanimlayan Hartmann onun etik, dirimsel vb. diger deger siniflariyla olan varlikbilimsel baginin ve birbirleriyle bir temellendirme iliskisi icerisinde oldugunun altini cizmektedir. Ancak Hartmann’in estetik deger gorusu hem kendi icinde hem de estetik yargi bakimindan paradoksal bir durum arz etmektedir. Estetik degerin ideal bir on varligini kabul etmeden diger degerlerin onu nasil gorunuse cikardigi, onun estetik deger anlayisinin yanit veremedigi bir sorudur. Ikincisi, tamamen duyusal nitelikli olan bir degerle ilgili yargi nasil genel-gecer olacaktir? Bu ve benzeri sorunlardan oturu estetik degerin statusu sorunu Hartmann’da tam olarak acikliga kavusmamistir
Neuroprotective effects of HTR1A antagonist WAY-100635 on scopolamine-induced delirium in rats and underlying molecular mechanisms (2016)

Taken together, these findings indicate that WAY-100635 may exert a therapeutic effect on post-operative delirium by controlling neurotransmission as well as suppressing neuroinflammation in the central nervous system.
Gender as a Factor in the Attribution of Leadership Traits (1993)

The candidate evaluation literature has emphasized the contribution of both candidate characteristics and voter characteristics (e.g., party identification) to candidate appraisals. But the literature on attribution and sex role stereotypes suggests that women candidates may be evaluated differently than their male counterparts. This paper presents the results of a survey of 98 voters in which we explored the relationships among gender role attitudes, voters' attribution of leadership traits, and support for male and female candidates. The surveys were conducted in Syracuse, New York, during the 1990 campaigns, which included three male-female races. Our results substantiate the hypothesis that when candidate information is sparse, gender role attitudes are consequential in the initial evaluation of lesser known women candidates. Gender attitudes are important factors in candidate favorability when the candidates are women challengers. Secondly, we found that voters had a tendency to attribute particular leadership qualities and issue skills based on sex to hypothetical candidates, if no other information was available. In addition, we found that the more egalitarian the voters' gender role attitudes, the more likely they were to evaluate favorably actual women candidates. Finally, it was the case that all incumbents, male and female, were rated more positively on both "masculine" and "feminine" traits than were challengers.
Entropy theory based analysis of supply chain coordination efficiency (2010)

Supply chain coordination is a hot topic in related research field recently. The Supply Chain Coordinative Structure (SCCS) that exactly represents which company acts as the coordinator in the network, could fundamentally affect the coordination efficiency. The paper constructs structure entropy models for three typical SCCSs (manufacturer-coordinator, retailer-coordinator and third-party-coordinator), and analyzes the impact of parameters to the coordination efficiency. Finally, the concept of level of order degree (LOD) is raised to evaluate the balance of informational timeliness and informational quality in certain SCCS, and a numerical example is analyzed.
Nanostructure formation via print diffusion etching through block copolymer templates (2010)

The present work demonstrates nanoscale etching of silicon with standard aqueous fluoride etchants running through the hydrophilic domains of a vertically aligned copolymer template. The delivery of etchants was unprecedentedly achieved by an etchant-solution-saturated agarose gel stamp, a technique we call print diffusion etching. Three-dimensional nanoprotrusion features with controllable shapes and sizes (about 20 nm) were formed. To prove that the block copolymers serve to direct the silicon surface morphology by controlling the spatial location of the reaction as well as concentration of reagents, the same etching steps both on silicon and PS-b-PEO (polystyrene-block-polyethyleneoxide) templates were carried out for comparison. The mechanism of the nanoprotrusion formation was elucidated, and the morphology evolution vs. etching time studied.
Selective Plugging of Waterflood Input Wells Theory, Methods and Results (1957)

Abstract Selective plugging is a practical and economical method for preventing the wasteful circulation of water through barren zones and fractures. It is accomplished by injection into the wellhead of finely divided in a suitable liquid carrying agent, either oil or water. The paper describes several plugging agents now in use and the methods of application for such typical problems as open sand streaks natural and induced fractures, leaky packers or casing settings and thief zones. Field results are given for several typical selective plugging operational in Pennsylvania, Illinois, Oklahoma and Texas. These show how selective plugging reduced the amount of water injected and increased oil production. Introduction In most oil reservoirs the oil saturated formations have strata of varying permeabilities. In the process of water flooding the more permeable strata are depleted of oil first, and thereafter they continue to take large quantities of water even though they produce no more oil. Under such conditions the following will result:Large quantities of water are circulated through depleted formations making unnecessary expense in the way of water costs and pumping.The injection rate (pressure) may have to be reduced resulting in insufficient pressure on the less permeable strata causing the oil in them to be unrecoverable.High back-pressure in the vicinity of the producing well which will interfere with the flow of oil from the less permeable strata. Formation fractures natural or induced, will also by-pass large quantities of water. In fact, they are often the reason for failure of a flood right from the start. By-passing of water through fractures creates the same conditions as by-passing through highly permeable strata only worse. Loss of useful water will also result from leaky packers or casing settings and thief zones. These problem conditions were recognized soon after pressure flooding was started over a generation ago. Solutions were hoped for in the haphazard dumping in of nearly every granular solid imaginable along with portland cement, aqua gel and miscellaneous "gumbos." It wasn't until 1942, however, that a scientific approach was made to the problem through research sponsored by the Pennsylvania oil operators at the Pennsylvania State University. By 1944 the theory of selective plugging was well advanced and a practical plugging agent developed for the Bradford Third sand. Since then selective plugging agents and methods have been developed for conditions in most waterflooding areas of the country.
Synthesis of diethyl alkoxymethylphosphonates via Lewis acid promoted regiospecific cleavage of alkoxy-4-chlorophenoxymethanes (1986)

Alkoxy-4-chlorophenoxymethanes, readily prepared from 1-chloro-4-chloromethoxybenzene and sodium alkoxide, generate alkoxymethyltriethoxyphosphonium ions in a regiospecific reaction with triethyl phosphite and titanium tetrachloride or boron trifluoride. Precise reaction conditions are necessary since the phosphonium ions can undergo disproportionation. Subsequent addition of water gives diethyl alkoxymethylphosphonates; if disproportionation has been permitted these contain 4-chlorophenyl ethyl alkoxymethylphosphonates. Under the preferred conditions (titanium tetrachloride, –78 °C, 15 min, dichloromethane) yields of ca. 80% of diethyl alkoxymethylphosphonates have been obtained from primary, secondary, tertiary, and allylic alcohols.
WSS 2012 reëlings op dreef : IDF news : technology (2009)

Die Internasionale Suiwelfederasie (ISF) se jaarlikse Wereldsuiwelspitsberaad (WSS) word in 2012 in Suid-Afrika gehou. WSS 2012 vind van 3 tot 9 November 2012 in Kaapstad plaas by die Kaapstad Internasionale Konvensiesentrum.
Susceptibility of Interlayer Potassium in Micas to Exchange with Sodium (1966)

Abstract I nterlayer K in muscovite, biotite, phlogopite, illite and vermiculite-hydrobiotite samples was replaced by cation exchange with Na. The rate and amount of exchange varied with the mineral and the level of K in solution. Essentially, all the K in muscovite, biotite, phlogopite and vermiculite was exchangeable when the mass-action effect of the replaced KT was reduced by maintaining a very low level of K in solution. The time required for this exchange varied from < 10 hr with vermiculite to > 45 weeks with muscovite. Only 66% of the K in the illite was exchangeable under these conditions. When the replaced K was allowed to accumulate in the solution, the amount of exchange was determined by the level of K in solution required for equilibrium. These levels decreased with the degree of K-depletion and with the selectivity of the mica for K. The order of selectivity was muscovite > illite > biotite > phlogopite > vermiculite. Decreasing the K in solution from 10 to 7 ppm increased the exchangeable K in biotite from 30 to 100%. A K level of only 0.1 ppm restricted the exchange of K in muscovite to 17%. A decrease in layer charge was not required for K exchange, but a decrease did occur in K-depleted biotite and vermiculite. Muscovite with the highest layer charge (247 meq/100 g), least expansion with Na (12.3Å), and least sensitivity to solution pH had the highest selectivity for K and the slowest rate of exchange. The K in vermiculite was the most readily exchangeable.
Photographs (1960)

Photographs O. A. Brines, M.D. O. A. Brines, M.D. Search for other works by this author on: Oxford Academic Google Scholar American Journal of Clinical Pathology, Volume 33, Issue 1, 1 January 1960, Page 2, https://doi.org/10.1093/ajcp/33.1.2 Published: 01 January 1960
Enzymatic Decarboxylation of the Aminobenzoates<sup>1</sup> (1957)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTEnzymatic Decarboxylation of the Aminobenzoates1Willard G. McCullough, John T. Piligian, and Idus J. DanielCite this: J. Am. Chem. Soc. 1957, 79, 3, 628–630Publication Date (Print):February 1, 1957Publication History Published online1 May 2002Published inissue 1 February 1957https://pubs.acs.org/doi/10.1021/ja01560a032https://doi.org/10.1021/ja01560a032research-articleACS PublicationsRequest reuse permissionsArticle Views278Altmetric-Citations25LEARN 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
Continuous-wave, single-pass, single-frequency second-harmonic-generation at 266 nm based on birefringent-multicrystal scheme (2016)

We report the implementation of a compact cascaded multicrystal scheme based on birefringent crystals in critical phase-matching, for the generation of continuous-wave (cw) radiation in the deep ultraviolet (UV). The approach comprises a cascade of 4 single-pass second-harmonic-generation (SHG) stages in β-BaB<sub>2</sub>O<sub>4</sub> (BBO) pumped by a single-frequency cw green source at 532 nm. A deep-UV cw output power of 37.7 mW at 266 nm has been obtained with a high passive power stability of 0.12% rms over more than 4 hours. Characterization and optimization of the system in each stage has been systematically performed. Angular phase-matching acceptance bandwidth under tight focusing in BBO, and spectral properties of the deep-UV radiation, have been studied. Theoretical calculations for SHG in the cascaded scheme based on birefringent phase-matching have been performed, and enhancement in UV power compared to single-stage single-pass scheme are studied. Theoretical comparison of BBO with other potential crystals for deep-UV generation in cascaded multicrystal scheme is also presented.
The Age of Incommensurability (2001)

Research Article| May 01 2001 The Age of Incommensurability Lindsay Waters Lindsay Waters Search for other works by this author on: This Site Google boundary 2 (2001) 28 (2): 133–172. https://doi.org/10.1215/01903659-28-2-133 Cite Icon Cite Share Icon Share Facebook Twitter LinkedIn MailTo Permissions Search Site Citation Lindsay Waters; The Age of Incommensurability. boundary 2 1 May 2001; 28 (2): 133–172. doi: https://doi.org/10.1215/01903659-28-2-133 Download citation file: 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 Books & JournalsAll Journalsboundary 2 Search Advanced Search The text of this article is only available as a PDF. Lindsay Waters2001 Article PDF first page preview Close Modal You do not currently have access to this content.
A Method of Three-Dimensional Recording of Mandibular Movement Based on Two-Dimensional Image Feature Extraction (2015)

Use of a real-time recording system of three-dimensional mandibular movement based on computer binocular vision and two-dimensional image feature recognition technology produced a recording accuracy of approximately ± 0.1 mm, and is therefore suitable for clinical application. Certainly, further research is necessary to confirm the clinical applications of the method.
Epidermal growth factor stimulates tyrosine phosphorylation of phospholipase C-II independently of receptor internalization and extracellular calcium. (1989)

Epidermal growth factor (EGF) rapidly stimulates the formation of inositol 1,4,5-trisphosphate in a variety of cell types. Previously we have found that in intact cells stimulation of phospholipase C (PLC) activity by EGF is correlated with the retention of increased amounts of PLC activity by a phosphotyrosine immunoaffinity matrix, suggesting that the EGF-receptor tyrosine kinase phosphorylates PLC. We now define parameters of the mechanism by which EGF addition to A-431 cells stimulates phosphotyrosine immunoisolation of PLC activity and demonstrate that EGF addition to A-431 cells increases tyrosine phosphorylation of PLC. EGF rapidly and reversibly stimulated the anti-phosphotyrosine recovery of increased PLC activity when cells were treated with growth factor at 3 degrees C, indicating that receptor internalization is not required and that the phosphorylation event occurs prior to formation of inositol 1,4,5-trisphosphate. Also, the EGF stimulation of anti-phosphotyrosine recovery of PLC activity occurred in the absence of extracellular Ca2+. Stimulation of PLC activity in intact cells by other agonists, such as bradykinin or ATP, did not result in increased anti-phosphotyrosine recovery of PLC activity, suggesting two separate mechanisms exist in A-431 cells for hormone-stimulated formation of inositol phosphates. Finally, using monoclonal antibodies that specifically recognize three distinct PLC isozymes, we show that an approximately 145-kDa PLC isozyme (PLC-II) is present in A-431 cells and that EGF treatment of A-431 cells stimulates phosphorylation of PLC-II on both tyrosine and serine residues.
Top 10 tech cars [fuel efficient cars] (2006)

There are two groups within the global automobile industry that are competing to develop the most fuel efficient car. On one hand are the US and Japanese manufacturers who have invested billions of dollars in hybrid electric technology, while on the other hand are the European makers who support light-duty diesel engines. In addition to fuel efficiency, car manufacturers are working to provide more high-tech features in the passenger compartment including interfaces for the iPod, high definition radio, and advanced navigation systems. Although self-driving cars in showrooms are still a few years away, there are significant milestones in that direction such as the 2007 Lexus sedan which is able to park itself with minimal help from the driver.
[Middle ear function in children with cleft palate]. (1996)

Middle ear problems in patients with cleft palate have for a long time received insufficient attention. The present study was designed to evaluate middle ear function in 56 children with cleft palate and in a control group of 50 children without cleft palate. The age ranging between 5 and 14 years was similar in both groups. All children underwent routine otoscopic examinations of ear, nose and throat, and were also examined using the Madsen acoustic impedance audiometer. Four major parameters (static compliance, middle ear pressure, acoustic stapedius reflex and Eustachian tube function) were analyzed. It was found that the negative middle ear pressures were higher and the static compliance, which reflected the elasticity of the conducting mechanism of the middle ear, was poorer in children with cleft palate than in the controls. The proportion of children with cleft palate who showed the presence of the acoustic stapedius reflex was also lower than in the control children. Children with cleft palate have a limited ability to actively open the Eustachian tube by swallowing, as evidenced by a poor ability to equilibrate applied positive or negative middle ear pressure. A multidisciplinary approach should be adopted for the complete overall rehabilitation of children with cleft palate. Plastic surgeons to whom most of the treatment is entrusted should be concerned not only with achieving palatal function and acceptable speech, but also with the various other problems associated with cleft palate, especially those affecting the middle ear.
Big Data technologies: A survey (2017)

Developing Big Data applications has become increasingly important in the last few years. In fact, several organizations from different sectors depend increasingly on knowledge extracted from huge volumes of data. However, in Big Data context, traditional data techniques and platforms are less efficient. They show a slow responsiveness and lack of scalability, performance and accuracy. To face the complex Big Data challenges, much work has been carried out. As a result, various types of distributions and technologies have been developed. This paper is a review that survey recent technologies developed for Big Data. It aims to help to select and adopt the right combination of different Big Data technologies according to their technological needs and specific applications’ requirements. It provides not only a global view of main Big Data technologies but also comparisons according to different system layers such as Data Storage Layer, Data Processing Layer, Data Querying Layer, Data Access Layer and Management Layer. It categorizes and discusses main technologies features, advantages, limits and usages.
Novel approach to reduce the pattern effect in 10-Gb/s clock recovery (2004)

A Fabry-Perot (F-P) etalon and a semiconductor optical amplifier (SOA) were combined to preprocess the data signals before clock recovery. With this technology in the 10-Gb/s clock recovery utilizing injection mode-locked laser (IMLL) based on SOA, the amplitude fluctuation and timing jitters caused by the pattern effect in recovered clock pulses were greatly reduced, experimentally. It also demonstrated that clock could be recovered from the very degraded signals.
Interaction of platelets with liposomes containing dodecapeptide sequence from fibrinogen (2004)

Liposomes with a covalently bound synthetic peptide containing the dodecapeptide sequence HHLGGAKQAGDV, the putative platelet interaction site at gamma(400-411) of fibrinogen (dodecapeptide-liposomes), were prepared. These liposomes enhanced platelet aggregation and specifically adhered to platelets activated on the collagen surface. Dodecapeptide-liposomes released encapsulated materials upon interacting with platelets activated on the collagen surface. The rate of content release was dependent on the peptide surface density, indicating that the interaction between the dodecapeptide-liposomes and platelets activated on the collagen surface induces clustering of the surface-coupled ligands at the binding site on the receptor matrix to facilitate release of the internal contents through the liposome membranes. The level of lipid mixing between the dodecapeptide-liposomes and platelets activated on the collagen surface was relatively low, however it was increased in liposome preparations containing octa-arginine, the (R)8 GDV sequence, while content release was maintained at the same level as that of the dodecapeptide-liposomes. The level of content release and lipid mixing for liposome preparations containing the RGD sequence as a ligand (RGD-liposomes) upon interacting with platelets activated on the collagen surface was extremely low. Both the level of the content release and lipid mixing, however, were enhanced in liposome preparations containing octa-arginine, the (R)8 RGD sequence. Dodecapeptide-liposomes and RGD-liposomes were not internalized by activated platelets. On the other hand, liposomes containing (R)8 PPQ, (R)8 RGD, or (R)8 GDV were internalized by activated platelets, and the extent of internalization was inversely related to ligand affinity to the target.