gebhart/patrepeval huggingface dataset:
Synthesizing a protocol converter from executable protocol traces (1991)

Communicating finite state machines (CFSM's) with FIFO (first in, first out) queues are used to model a protocol converter. A protocol conversion algorithm is developed and presented for the CSFM model of the protocols A and B. A converter H for protocols A=(A/sub 0/, A/sub 1/) and B=(B/sub 0/, B/sub 1/) is viewed as a black box such that H is between sender A/sub 0/ and receiver B/sub 1/. This gives a resulting protocol X=(A/sub 0/, H, B/sub 1/). The conversion algorithm requires a specification of the message relationships between the messages of protocols A and B. It is assumed that protocols A and B have the required progress properties. The algorithm includes a search for related messages from the two protocols in an FIFO from a composite space formed by a Cartesian cross-product of state spaces A/sub 1/ and B/sub 0/. The search produces finite-length traces which are combined to form a state machine H, which is examined for freedom from unspecified receptions, deadlocks, and livelocks. A protocol conversion example demonstrates the applicability of the algorithm.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Noninverting switched-current sample/hold circuit with compensation of the clock-feedthrough effect (1997)

The author shows that a circuit proposed in an earlier paper (Yang and El-Masry, 1994) can be used as a noninverting switched-current sample/hold circuit.
IMOST: Interactive Multiple Objective System Technique (1995)

An interactive multiple objective system technique (IMOST) is investigated to improve the flexibility and robustness of multiple objective decision making (MODM) methodologies. The interactive concept provides a learning process about the system, whereby the decision maker can learn to recognize good solutions, the relative importance of factors in the system, and then design a high-productivity and zero-buffer system instead of optimizing a given system. This interactive technique provides integration-oriented, adaptation and dynamic learning features by considering all possibilities of a specific domain of MODM problems which are integrated in logical order. It encompasses the decision-making processes of formulating problems, constructing a model, solving the model, testing/examining its solution, and improving/reshaping the model and its solution in a specific problem domain. Although IMOST deals with multiple objective programming problems, it also provides some valuable orientation of integrated system methodologies.
A randomized, controlled pilot study of the safety and efficacy of 4% icodextrin solution in the reduction of adhesions following laparoscopic gynaecological surgery (2002)

In this preliminary study, 4% icodextrin lavage plus instillation was well tolerated and reduced adhesion formation and reformation following laparoscopic gynaecological surgery. A Phase III pivotal study is currently in progress.
Ultrasonic Flexural-Plate-Wave Sensor for Detecting the Concentration of Settling<i>E.</i><i>c</i><i>oli</i>W3110 Cells (1999)

The flexural-plate-wave (FPW) sensor, a type of ultrasonic sensor, can detect changes in E. coli W3110 concentration in solution as the cells settle onto the sensor under the influence of gravity. A model of the sensor's response to cell settling has been developed and is in good agreement with the experimental data. The FPW technique improves on conventional methods for determining cell concentrations; this technique allows for on-line data collection, is nondestructive, and requires only small sample volumes. The FPW sensor has applications as a device to measure cell concentrations and growth rates in industrial fermentors, biofilms, and wastewater treatment facilities.
A prospective, randomized comparison of two starting doses of recombinant FSH in combination with cetrorelix in women undergoing ovarian stimulation for IVF/ICSI (2001)

When using a starting dose of 225 IU rhFSH combined with the multiple dose of 0.25 mg cetrorelix from stimulation day 6, significantly more oocytes were obtained than with a starting dose of 150 IU rhFSH.
Preparation of (Alkaneimidoyl)lanthanides and Their Reactions with Carbonyl Compounds (1996)

Abstract The preparation of (alkaneimidoyl)lanthanide(III) reagents and their reactions with carbonyl compounds were studied. Alkyllithium was added to a mixture of an anhydrous lanthanide salt and 2,6-xylyl isocyanide in tetrahydrofuran at −78 °C. Among a series of lanthanide salts, CeCl3 effected the quantitative conversion of the isocyanide to afford an orange solution of (alkaneimidoyl)cerium(III). Although LaCl3, SmI3, and Sm(OTf)3 were found to be highly reactive, multiple insertion of the isocyanide ensued. (Alkaneimidoyl)cerium(III) could also be prepared by the reaction of dialkylmagnesium with CeCl3 and 2,6-xylyl isocyanide at −45 °C. The thus-prepared (alkaneimidoyl)cerium(III) reacted with a carbonyl compound to afford an addition product, i.e., an α-hydroxy imine. The present reactions for the preparation of (alkaneimidoyl)cerium(III) provide a convenient synthetic equivalent to a nucleophilic acyllanthanide species with a wide variation for the acyl group.
Commercial Chemical Development of Butadiene (1948)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTCommercial Chemical Development of ButadieneJames H. BoydCite this: Ind. Eng. Chem. 1948, 40, 9, 1703–1707Publication Date (Print):September 1, 1948Publication History Published online1 May 2002Published inissue 1 September 1948https://doi.org/10.1021/ie50465a022Request reuse permissionsArticle Views95Altmetric-Citations2LEARN 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 (1 MB) Get e-Alerts
Tumor Suppressor Gene Mutations in Mice. (1999)

Over the past several years, a number of human tumor suppressor genes have been cloned and characterized. Germline mutations in tumor suppressor genes strongly predispose to cancer, and they are also mutated somatically in sporadic forms of the disease. In order to create animal models for the familial cancer syndromes caused by inherited mutations in these genes as well as to determine their role in embryogenesis, the homologues of several members of this class have been mutated in the mouse. The initial characterization of the heterozygous and homozygous phenotypes caused by these mutations has led to important insights into the mechanisms by which tumor suppressor genes participate in normal development and how their loss contributes to tumorigenesis.
Laser tracker-based control for peg-in-hole assembly robot (2014)

The peg-in-hole insertion is the most common and often one of the most important procedures in large-scale equipment manufacturing. However, in the process of peg-in-hole assembly operation using robot, the parts may not be assembled correctly or even be damaged because of the deviation causing by the inaccuracy of the assembly robot. To overcome this problem, this paper presents a kind of large-scale peg-in-hole robotic assembly system based on laser tracker and its corresponding control strategy. The simulation and analysis are also demonstrated to verify the system efficient.
Mycobacterium paratuberculosis DNA in Crohn's disease tissue. (1992)

Crohn's disease has long been suspected of having a mycobacterial cause. Mycobacterium paratuberculosis is a known cause of chronic enteritis in animals, including primates, but may be very difficult to detect by culture. IS900 is a multicopy genomic DNA insertion element highly specific for M paratuberculosis. A polymerase chain reaction (PCR) based on the 5' region of IS900 and capable of the specific detection of a single M paratuberculosis genome was developed. This was applied to DNA extracts of full thickness samples of intestine removed at surgery from 40 patients with Crohn's disease, 23 patients with ulcerative colitis, and 40 control patients without inflammatory bowel disease. Stringent precautions were taken that excluded contamination artefact. M paratuberculosis was identified in 26 of 40 (65%) Crohn's disease, in 1 of 23 (4.3%) ulcerative colitis, and in 5 of 40 (12.5%) control tissues. Positive samples from Crohn's disease were from both the small intestine and colon, those from control tissues were from the colon those from control tissues were from the colon only. All PCR internal control reactions were negative. The presence of M paratuberculosis in a small proportion of apparently normal colonic samples is consistent with a previously unsuspected alimentary prevalence in humans. The presence in two thirds of Crohn's disease tissues but in less than 5% of ulcerative colitis tissues is consistent with an aetiological role for M paratuberculosis in Crohn's disease.
Professional LAMP: Linux, Apache, MySQL and PHP5 Web Development (2005)

Use this invaluable guide to help you think outside the box and discover great new ideas for future applications with the amazing combination of Linux, Apache, MySQL, and PHP (LAMP).
25.78-Gb/s Operation of RSOA for Next-Generation Optical Access Networks (2011)

We report the 25.78-Gb/s operation of the reflective semiconductor optical amplifier (RSOA) for the next-generation optical access network. For this purpose, we develop a butterfly-packaged RSOA and minimize the electrical parasitics. As a result, the modulation bandwidth of RSOA is improved from 2.2 to 3.2 GHz (which is the fundamental limit imposed by the carrier lifetime). In addition, the slope of the RSOA's frequency response curve is enhanced from -40 to -20 dB/decade. Using this butterfly-packaged RSOA, we have demonstrated the 25.78-Gb/s operation. The receiver sensitivity is measured to be -11 dBm with the help of the electronic equalization and forward-error-correction (FEC) techniques. To evaluate the possibility of implementing the 100-Gb/s passive optical network (PON) by using this RSOA and the coarse wavelength-division-multiplexing (CWDM) technique, we evaluate the BER performance at four different wavelengths in the C-band. The results show that the error-free transmission can be achieved in the wavelength range of 20 nm with a penalty less than 2 dB. Thus, we can realize the 100-Gb/s PON cost-effectively by utilizing the directly modulated RSOAs operating at 25 Gb/s.
Post-transcriptional regulation of the peripheral myelin protein gene PMP22/Gas3 (1999)

The peripheral myelin protein PMP22 gene has been described as a growth arrest-specific gene gas3 and has been identified as disease gene of various demyelinating neuropathies. The gene consists of two highly conserved alternative noncoding 5'-exons la (CD25) and 1b (SR13), respectively. Differential expression patterns of these transcripts in vivo and in vitro suggest a very complex mode of PMP22 gene regulation, which cannot be explained merely by transcriptional control. In fact, the PMP22 gene is regulated on different post-transcriptional levels. While reverse transcriptase polymerase chain reaction (RT-PCR) analyses revealed no alterations in stability for both PMP22 transcripts in randomly growing Schwann cell cultures of rat sciatic nerve for at least 8 hours, in serum-induced synchronized cultures of resting cells we observed a specific cell cycle-regulated degradation of both transcripts. We further prepared diverse PMP22/CAT fusion genes to study the influence of the alternative 5'UTRs on PMP22 translation. Transient transfection of NIH3T3-fibroblasts and rat Schwann cells demonstrated that the alternative 5'UTRs (CD25 and SR13) and the 3'UTR exert differential regulatory influences on the translation efficiency.
Impact of the Invasive Brown Marmorated Stink Bug,<i>Halyomorpha halys</i>(Stål), in Mid-Atlantic Tree Fruit Orchards in the United States: Case Studies of Commercial Management (2012)

Four commercial orchards in the mid-Atlantic region of the United States were surveyed weekly in 2010 and 2011 for the presence of brown marmorated stink bug and the injury caused to both apple and peaches. Among tested sampling techniques, pyramid traps baited with the aggregation pheromone of Plautia stali Scott, methyl-(2 E ,4 E ,6 Z )-decatrienoate, yielded the most brown marmorated stink bug adults and nymphs, followed by visual observations. Brown marmorated stink bugs began to feed on apples and peaches soon after fruit set and continued to feed on fruit throughout the growing season. Injury to apple was relatively inconsequential until after mid-June, whereas feeding on peaches resulted in immediate economic injury as the surface became distorted, dented, discolored, and the flesh beneath turned brown. Significantly more apples were injured and with greater severity in 2010 than in 2011. Likewise, percent injury on the exterior portion of each apple plot was significantly greater than injury reported from the interior in both years. Growers increased the number of insecticide applications nearly 4-fold from 2010 to 2011. In addition to the increased number of targeted insecticide applications, growers also reduced the interval between treatments in 2011. A metric was created to compare the relative intensity of each grower's commercial management program between seasons and amongst each other.
Multidrug resistance gene deficient ( <i>mdr1a</i> <sup>-/-</sup> ) mice have an altered caecal microbiota that precedes the onset of intestinal inflammation (2009)

Differences in caecal microbiota of mdr1a(-/-) and FVB mice (12 weeks) suggest genotype specific colonization. The results provide evidence that Abcb1 transporters may regulate host interactions with commensal bacteria. Future work is needed to identify the mechanisms involved in this possible cross-talk between the host intestinal cells and microbiota.
Copper‐Promoted Sandmeyer Difluoromethylthiolation of Aryl and Heteroaryl Diazonium Salts (2015)

An efficient copper-promoted difluoromethylthiolation of aryl and heteroaryl diazonium salts is described. The reaction is conducted under mild reaction conditions and various functional groups were compatible. In addition, reactions of heteroaryl diazonium salts such as pyridyl, quinolinyl, benzothiazolyl, thiophenyl, carbazolyl, and pyrazolyl diazonium salts occurred smoothly to afford the medicinally important difluoromethylthiolated heteroarenes. Furthermore, a more practical one-pot direct diazotization and difluoromethylthiolation protocol was developed, and it converts the aniline derivatives into difluoromethylthiolated arenes. The utility of the method is demonstrated by difluoromethylthiolation of a number of natural products and drug molecules.
Detection and identification of Yersinia pseudotuberculosis and pathogenic Yersinia enterocolitica by an improved polymerase chain reaction method (1992)

We developed a polymerase chain reaction method in order to detect and identify both Yersinia pseudotuberculosis and pathogenic Yersinia enterocolitica. Polymerase chain reaction was performed by using a mixture of primers against the inv gene from Y. pseudotuberculosis and the ail gene from pathogenic Y. enterocolitica. Further addition of primers against the plasmid-coded virF gene from Y. enterocolitica made it possible to detect a virulence-associated gene of both species at the same time. This method was proved to be an adequate and convenient procedure for routine detection and identification of these bacilli.
Security attack prediction based on user sentiment analysis of Twitter data (2016)

In recent years, security attacks on the web have been perpetrated by hacker activist organizations that aim to destabilize (using different techniques) web services in a specific context for which they are motivated. Predicting these attacks is an important task that helps to consider what actions should be taken if the attack is latent. Although there are applications to detect security threats on the web, currently there is no system that can predict or forecast whether the attacks can reach consummation. This paper presents a sentiment analysis method on Twitter content to predict future attacks on the web. The method is based on the daily collection of tweets from two sets of users; those who use the platform as a means of expression for views on relevant issues, and those who use it to present contents related to security attacks in the web. Daily information is converted into data that can be analysed statistically to predict whether there is a possibility of an attack. The latter is done by analyzing the collective sentiment of users and groups of hacking activists in response to a global event.
Effects of Hyperglycemia on Neurologic Outcome in Stroke Patients (2005)

Hyperglycemia in acute stroke patients increases cerebral infarct size and worsens neurologic outcome with and without preexisting diabetes mellitus. Hyperglycemia results from metabolic alterations in glucose metabolism, and is most common in patients with acute illness such as stroke. Strict control of hyperglycemia with intensive insulin therapy has been shown to dramatically decrease hospital morbidity and mortality, inpatient stays, hospital costs, and, most importantly, neurologic injury. Insulin treatment protocols developed and implemented by multidisciplinary teams allow for rapid and effective control of hyperglycemia. Nurses who know about hyperglycemia's often-neglected and detrimental effects can play a vital role in influencing outcomes in stroke patients.
A Modified Bart Reaction (1940)

ADVERTISEMENT RETURN TO ISSUEPREVArticleNEXTA Modified Bart ReactionG. O. DoakCite this: J. Am. Chem. Soc. 1940, 62, 1, 167–168Publication Date (Print):January 1, 1940Publication History Published online1 May 2002Published inissue 1 January 1940https://pubs.acs.org/doi/10.1021/ja01858a048https://doi.org/10.1021/ja01858a048research-articleACS PublicationsRequest reuse permissionsArticle Views143Altmetric-Citations16LEARN 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
I-AUV docking and intervention in a subsea panel (2014)

While commercially available autonomous underwater vehicles (AUVs) are routinely used in survey missions, a new set of applications exist which clearly demand intervention capabilities: the maintenance of permanent underwater structures as well as the recovery of benthic stations or black-boxes are a few of them. These tasks are addressed nowadays using manned submersibles or work-class remotely operated vehicles (ROVs), equipped with teleoperated arms under human supervision. In the context of the TRITON Spanish funded project, a subsea panel docking and an intervention procedure are proposed. The light-weight intervention AUV (I-AUV) Girona 500 is used to autonomously dock into a subsea panel using a funnel-based docking method for passive accommodation. Once docked, an autonomous fixed-based manipulation system, which uses feedback from a digital camera, is used to turn a valve and plug/unplug a connector. The paper presents the techniques used for the autonomous docking and manipulation as well as how the adapted subsea panel has been designed to facilitate such operations.
Laser-induced photochromic effect in Tb <sup>3+</sup> -dopedsilica fibres (1994)

Broad-band visible absorption was induced in Tb3+ doped silica fibres when Tb3+ ions were resonantly excited at wavelengths of 476.5, 488 and 496.5 nm. The induced absorption can be partially bleached by green light at 514 nm and blue light at 457.9 nm.
Materials Science (1982)

A study has been made on improving the adhesion of a glass ionomer cement by the chemical treatment of dentin and enamel surfaces. The most effective surface conditioners were high molecular weight substances containing a multiplicity of functional groups capable of hydrogen bonding. Low molecular weight chelating agents which dissolve calciferous material and dramatically alter the surfaces of enamel and dentin are less effective.
Identification of a novel type C porcine endogenous retrovirus: evidence that copy number of endogenous retroviruses increases during host inbreeding (2001)

Different classes of porcine endogenous retroviruses (PERVs), which have the potential to infect humans during xenotransplantation, have been isolated from the pig genome. Because vertebrate genomes may contain numerous endogenous retrovirus sequences, the pig genome was examined for additional endogenous retroviruses, resulting in the isolation of a novel, complete endogenous retrovirus genome, designated PERV-E. The gag, pol and env genes of PERV-E are closely related to those of human endogenous retrovirus (HERV) 4-1, which belongs to the HERV-E family. Results of studies to determine the presence and copy number of PERVs demonstrated that PERV-E and PERV-A/B-like proviruses were present in all genomes tested, but that PERV-C was not found in two of the species examined, including wild boar. Multiple copies of PERVs could be found in each pig genome. Among all of the pig genomes tested, the wild boar genome had the lowest copy number of all PERVs, suggesting that the number of integrations of complete endogenous retroviruses is increased by inbreeding.