gebhart/patrepeval huggingface dataset:
Factory scheduling: simulation-based finite scheduling at Albany International (2003)

Simulation-based production scheduling approaches are emerging as alternatives to optimization and simpler approaches such as priority rules. This paper presents an application of a simulation-based finite scheduling at Albany International, the largest manufacturer of paper machine clothing in the world. Simulation is used as a decision support tool for manual schedule creation. User experiences have been encouraging. We argue that an optimization-based approach is not necessarily the most economical and identify a number of tentative key enablers of a simulation-based solution. The case indicates that a simulation-based solution is a viable option when the production process does not include combination of materials and local sequencing is adequate. A simulation-based solution capitalizes on this existing source of tacit knowledge by giving expert human schedulers tools for testing and improving schedules.
Design and implementation of formal verification methodology using Boolean satisfiability. (2010)

Functional verification is an important phase in the design flow of digital circuits as it is used to verify a design when changes occur. It ensures that the functionality of the original design is not affected by the changes. Logic simulation is a widely used technique for the verification of a design. Formal verification is an alternative technique for logic simulation as it is impossible to verify the overall design completely and detect design bugs by logic simulation since the quality of simulation results deeply depend on given input patterns. To address this, formal verification uses mathematical techniques to compare the original representation to the new representation. Formal verification method breaks the designs into mathematical representations and then formally proves that the two design representations are equivalent. Formal verification is realized on top of the basic Boolean reasoning techniques such as binary decision diagram (BDD), automatic test-pattern generation (ATPG) and Boolean satisfiability (SAT) as logic circuits compute Boolean functions. In this report, a design methodology for formal verification of digital combinational circuit using Boolean satisfiability had been proposed and a new formal verification tool Verification-Satisfiability (VeriSat) had been implemented.
Zinc Supplementation for Macular Degeneration (1991)

<h3>To the Editor.</h3> —In recent months, readers have noticed that Lederle Laboratories and Storz Ophthalmics Inc, in a joint effort, have begun placing zinc supplementation advertisements in theArchivesand one other ophthalmologic journal,<i>Retina</i>. Earlier, the same two companies distributed tablet packets and advertising brochures to ophthalmologists nationwide. The information in those brochures was substantiated by several references, foremost of which was the article by Newsome et al<sup>1</sup>in the February 1988 issue of theArchives. Review of that article reveals some data inconsistencies that the authors will not mind clarifying, I trust, even at this late time. In Table 5, they note that two eyes in the zinc-treated group sustained a visual loss of 20 letters or more, and that five eyes in the placebo group suffered the same loss. The first paragraph in the "Visual Acuity Outcomes" section reiterates that same data. In the next section,
Treatment of Blepharospasm With Botulinum Toxin (1984)

The effects of botulinum A toxin injections for the treatment of facial spasm were analyzed for 22 patients. Sixteen patients had unoperated on essential blepharospasm, three had essential blepharospasm with residual spasm following previous surgical treatment, and three had unoperated on hemifacial spasm. Treatment was effective for most patients, but transient, with the mean interval of relief of spasm after the first injections being ten weeks. The injection of botulinum toxin reduced the maximum lid force by about 10%. While side effects were common, they were generally mild and well tolerated. No cumulative effect of botulinum toxin was evident in those receiving three series of injections. There is no significant difference in either the interval free of spasm or the rate of lid-force recovery following any of three sequential injections of increasing doses of botulinum toxin.
Polyethylenes (1946)

This paper is a discussion of data which have been obtained on polymers of ethylene over a wide molecular weight range. Following a brief description of the methods used in grading or identifying these polymers, specific properties are discussed. Data are given for a number of mechanical properties and their variations with molecular weight are shown. In the section on spectral transmission information is given on the transmission characteristics in the electrical, infrared, visible, ultraviolet and x‐ray portions of the frequency spectrum. Data on the solvent resistance of the polymers are presented both in respect to their solubility in various solvents and their resistance to various liquids as measured by the degree of swelling. The effect of acids and alkalies is reported by noting the change in physical properties after contact with the several acids and alkalies. The data on weathering show the change in power factor after South Florida exposure and illustrate the importance of the type of pigmentation used.
New pyridazine-based binuclear nickel(<scp>ii</scp>), copper(<scp>ii</scp>) and zinc(<scp>ii</scp>) complexes as prospective anticancer agents (2016)

The complexes containing diethylamino substituents exhibit promising cytotoxicity against the estrogen receptor (ER) negative MDA-MB-231 breast cancer cell line.
Sjogren's Syndrome: A Clinical and Biochemical Analysis (2009)

Sjogren’s syndrome (SS) is a systemic autoimmune disease that presents to eye care\npractitioners with the hallmark symptom of “dry eye.” Stratifying dry eye patients as Sjogren’s positive or negative is a critical differential diagnosis, as SS patients have numerous systemic complications and a forty times greater risk of developing lymphoma. As such, management of this relatively common dry eye sub-population requires specialized\ncare. Since a firm diagnosis requires testing that is both invasive and expensive, patients should be protected from these tests if they are not warranted.\nIn this thesis, studies were therefore undertaken to determine if SS dry eye could be differentiated from other forms of dry eye using two methods: 1) standard clinical tests used in a multi-disciplinary Sjogren’s syndrome clinic and 2) subsequent biological evaluation of collected tear samples and cells from the ocular surface. The former would allow eye care\npractitioners to conduct appropriate tests and pose suitable questions to ifferentiate these subgroups, and the latter might serve in the future as a relatively non-invasive quantitative means of differentiating such groups through biomarkers.
Design, Synthesis & Biological Evaluation of Some Novel Quinazolinone Scaffolds (2012)

In an effort to discover new candidates with improved antimicrobial activities, we synthesized and studied invitro antimicrobial activities of various series of 3-((thiophen-2-yl)-ethyl)-2-(styryl)-quinazolin-4(3H)-one (3a-3g) and N1-(substituted aryl)-N3-[3-((3,4-dimethoxy phenyl-2-yl)-ethyl)-4(3H)-quinazolone-2-yl]-acetonyl semicarbazides (7a-7j) with an intent to overcome multiple drug resistance to the pathogenic strains and to retain psychological action to develop novel class of antibacterial agents. The structure of newly synthesized scaffolds has been affirmed on the basis of FTIR, 1H NMR, 13C NMR, mass and elemental analysis. All the final scaffolds have been subjected to in vitro antimicrobial screening against two Gram (+Ve) bacteria (S. aureus, B. subtilis), two Gram (-Ve) bacteria (E. coli, S.typhi) and two fungal strains (C. albicans, A. niger) using the broth micro-dilution method.
Substance Abuse Treatment for Juvenile Delinquents: Promising and Not-So-Promising Practices in the U.S. (2006)

When working with youth who have committed crimes, social workers should be sensitive to the risk factors that have the greatest impact on recidivism. In a study recently conducted by Rivaux, Springer, Bohman, Wagner and Gil (in press), substance abuse predicted recidivism individually as did older age and being male. These findings highlight the need for a focus on prevention and early intervention services with delinquent behaviors, particularly for substance-abusing youth and for males. This study also found that greater levels of family problems predicted recidivism for Latino youth, while increased levels of psychological problems predicted recidivism for African American youth. Knowledge of these predictors could help social workers in assessments of risk and in targeting interventions in a culturally useful way.
Modified Edman degradation applied to hemoglobin for monitoring occupational exposure to alkylating agents (1986)

A method that can be used for the monitoring of exposure to alkylating agents in the environment is presented. It is based on the quantification of alkylated N‐terminal valines in hemoglobin, using a modified Edman degradation procedure. The detection limit (GC/electron capture detector or GC/MS) is increased by two magnitudes of ten when using pentafluorophenyl isothiocyanate instead of phenyl isothiocyanate in the derivatization step. As little as one nmole N‐(—2 hydroxyethyl)valine per gram hemoglobin can be detected under practical conditions.
Multimedia databases modeling (2002)

Integration of structural and semantic information in a model of a complex object is a very important step in the design of a multimedia database. We propose a control structure for different objects comprising a single multimedia document. We have developed a typology of the relations between disjointed objects in order to construct generic classes of complex objects. A single control structure is integrated in the composition of the object. This implementation of a control mechanism is based on the concept of ECA rules. We propose a multimedia database model based on the composition of objects.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Selective Synthesis of Polyamine Derivatives: Efficient derivatization of the secondary amino group of <i>N</i>‐monosubstituted 1,3‐diamines (1997)

Abstract N ‐Monosubstituted 1,3‐diamines were selectively functionalized at the secondary N‐atom via 2‐Ph‐substituted hexahydropyrimidine intermediates. Reaction of the diamines with benzaldehyde, followed by treatment with an electrophile and hydrolysis, provided the desired products with excellent selectivity and in high yields. N 4 , N 9 ‐bis[3‐phenylprop‐2‐enoyl]spermine ( 4a ), which was further converted to N 1 , N 1 2 ‐bis[3‐phenylprop‐2‐enoyl]spermine ( 15 ) by a transamidation reaction, was prepared by this way in 82% yield from spermine ( 1 ). Compound 4a was alternatively synthesized in 83% yield, equally from 1 , by a sequence involving intermediary protection of the terminal amino groups.
Detection of Recurrent Atrial Fibrillation Utilizing Novel Technology. (2013)

The true prevalence of AF is likely underestimated because episodes are often sporadic and challenging to detect in a "real world" setting. This case report will describe a 58-year-old atrial fibrillation patient with multiple cardiac risk factors. After two ablations and one cardioversion, the patient failed to remain in normal sinus rhythm. Shortly after AF returned, the decision was made to perform a second cardioversion. Post-procedure, the patient was given a novel FDA-approved, wireless ECG monitoring device compatible with the iPhone®. This device has the capability of recording and transmitting a single-channel ECG. Within days, the patient began feeling symptomatic again and used his device to transmit an ECG to his healthcare provider. Recurrent AF was detected and the patient was directed to seek further evaluation. The success of this novel device to detect recurrent AF highlights the "real world" applicability of using mHealth technology more readily in patient care.
The cyclic AMP signaling pathway: Exploring targets for successful drug discovery (Review) (2016)

During development of disease, complex intracellular signaling pathways regulate an intricate series of events, including resistance to external toxins, the secretion of cytokines and the production of pathological phenomena. Adenosine 3',5'-cyclic monophosphate (cAMP) is a nucleotide that acts as a key second messenger in numerous signal transduction pathways. cAMP regulates various cellular functions, including cell growth and differentiation, gene transcription and protein expression. This review aimed to provide an understanding of the effects of the cAMP signaling pathway and the associated factors on disease occurrence and development by examining the information from a new perspective. These novel insights aimed to promote the development of novel therapeutic approaches and aid in the development of new drugs.
Multivariate analysis of the prognostic value of CEA and CA 19-9 serum levels in colorectal cancer. (2001)

The postoperative Dukes' classification represents the best prognostic information besides the preoperative values of CA 19-9. The predictive information provided by preoperative CA 19-9 serum levels is independent from that obtained by the other factors investigated. Only Dukes' classification and CA 19-9 levels showed statistical significance (p < 0.001).
Dynamics of the dissipative two-state system (1987)

This paper presents the results of a functional-integral approach to the dynamics of a two-state system coupled to a dissipative environment. It is primarily an extended account of results obtained over the last four years by the authors; while they try to provide some background for orientation, it is emphatically not intended as a comprehensive review of the literature on the subject. Its contents include (1) an exact and general prescription for the reduction, under appropriate circumstances, of the problem of a system tunneling between two wells in the presence of a dissipative environment to the "spin-boson" problem; (2) the derivation of an exact formula for the dynamics of the latter problem; (3) the demonstration that there exists a simple approximation to this exact formula which is controlled, in the sense that we can put explicit bounds on the errors incurred in it, and that for almost all regions of the parameter space these errors are either very small in the limit of interest to us (the "slow-tunneling" limit) or can themselves be evaluated with satisfactory accuracy; (4) use of these results to obtain quantitative expressions for the dynamics of the system as a function of the spectral density $J(\ensuremath{\omega})$ of its coupling to the environment. If $J(\ensuremath{\omega})$ behaves as ${\ensuremath{\omega}}^{s}$ for frequencies of the order of the tunneling frequency or smaller, the authors find for the "unbiased" case the following results: For $s<1$ the system is localized at zero temperature, and at finite $T$ relaxes incoherently at a rate proportional to $\mathrm{exp}\ensuremath{-}{(\frac{{T}_{0}}{T})}^{1\ensuremath{-}s}$. For $s>2$ it undergoes underdamped coherent oscillations for all relevant temperatures, while for $1<s<2$ there is a crossover from coherent oscillation to overdamped relaxation as $T$ increases. Exact expressions for the oscillation and/or relaxation rates are presented in all these cases. For the "ohmic" case, $s=1$, the qualitative nature of the behavior depends critically on the dimensionless coupling strength $\ensuremath{\alpha}$ as well as the temperature $T$: over most of the ($\ensuremath{\alpha}$,$T$) plane (including the whole region $\ensuremath{\alpha}>1$) the behavior is an incoherent relaxation at a rate proportional to ${T}^{2\ensuremath{\alpha}\ensuremath{-}1}$, but for low $T$ and $0<\ensuremath{\alpha}<\frac{1}{2}$ the authors predict a combination of damped coherent oscillation and incoherent background which appears to disagree with the results of all previous approximations. The case of finite bias is also discussed.
Carbonsat instrument pre- developments: towards monitoring carbon dioxide and methane concentrations from space (2017)

CarbonSat was a candidate satellite mission in the frame of ESA’s Living Planet Programme, which targeted high-precision measurements of carbon dioxide (CO2) and methane (CH4) concentrations from space.
Random intersection trees (2014)

Finding interactions between variables in large and high-dimensional data sets is often a serious computational challenge. Most approaches build up interaction sets incrementally, adding variables in a greedy fashion. The drawback is that potentially informative high-order interactions may be overlooked. Here, we propose an alternative approach for classification problems with binary predictor variables, called Random Intersection Trees. It works by starting with a maximal interaction that includes all variables, and then gradually removing variables if they fail to appear in randomly chosen observations of a class of interest. We show that informative interactions are retained with high probability, and the computational complexity of our procedure is of order pκ, where p is the number of predictor variables. The value of κ can reach values as low as 1 for very sparse data; in many more general settings, it will still beat the exponent s obtained when using a brute force search constrained to order s interactions. In addition, by using some new ideas based on min-wise hash schemes, we are able to further reduce the computational cost. Interactions found by our algorithm can be used for predictive modelling in various forms, but they are also often of interest in their own right as useful characterisations of what distinguishes a certain class from others.
A message from the president (1982)

Presents the President's message for this issue of the publication.
The experimental chemotherapy of leishmaniasis (1975)

Three lines of Leishmania have been grown successfully in tissue culture. L. mexicana mexicana, L.tropica major and L. donovani develop readily as amastigotes in dog sarcoma cells, and in a hamster peritoneal exudate cell line. The procedures used for cultivating both host cells and parasites are described, as are the methods employed for studying the senitivity of the parasites and hosts to drugs. It is concluded that the use of a tissue culture system is a valid way of determining the baseline sensitivity of a Leishmania to chemotherapy and the limitations of the technique are discussed. Illustrative data are presented of the response of two Leishmania species to amphotericin B and to a quinine analogue. L. mexicana mexicana is highly sensitive to amphotericin B and the response is shown to be consistent in duplicate experiments. L. mexicana mexicana and L. donovani are shown to have a different innate sensitivity to the quinine analogue.
Pars plana vitrectomy. Microsurgical pars plana lensectomy. (1976)

Pars plana lensectomy, wherein the entire lens within the pupillary area (the anterior capsule, anterior cortex, nucleus, posterior cortex, and posterior capsule) is removed, is now a well-established technique. It is to be considered as a method of choice for the removal of presenile cataracts in patients under the age of 40, developmental cataracts, cataracta complicata secondary to uveitis, subluxated and luxated cataracts. Pars plana lensectomy of the senile cataract is limited to a grade 2 nuclear sclerosis on a scale of 4. The use of ultrasonic instrumentation via the pars plana in conjunction with vitreous instrumentation permits the removal of the grade 3 nuclear sclerotic cataract. A pars plana two-instrument technique is used for the extraction of the totally luxated senile cataract no matter how sclerotic the nucleus may be.
Direction based Hazard Routing Protocol (DHRP) for disseminating road hazard information using road side infrastructures in VANETs (2014)

This paper presents Direction based Hazard Routing Protocol (DHRP) for disseminating information about fixed road hazards such as road blocks, tree fall, boulders on road, snow pile up, landslide, road maintenance work and other obstacles to the vehicles approaching the hazardous location. The proposed work focuses on dissemination of hazard messages on highways with sparse traffic. The vehicle coming across the hazard would report the presence of the hazard. It is proposed to use Road Side fixed infrastructure Units for reliable and timely delivery of hazard messages to vehicles. The vehicles can then take appropriate safety action to avoid the hazardous location. The proposed protocol has been implemented and tested using SUMO simulator to generate road traffic and NS 2.33 network simulator to analyze the performance of DHRP. The performance of the proposed protocol was also compared with simple flooding protocol and the results are presented.
Using hypertext and the Internet for structure and management of observational studies (1997)

The evolution of computer and communications systems in the past decade brings new opportunities for increased efficiency and accuracy of observational studies. In ongoing, large scale research studies, the problem of bridging organizational and analytic methods of the past to modern methods of data structure and control can consume considerable effort. A model for information flow in an observational study is sketched, and the flow is found inherently complex. This complexity and corresponding managerial demands are compounded by database file proliferation and by evolution of system hardware and software. Interactive, network-based database mapping and documentation tools are described as currently implemented in an SAS-based system for the management and analysis of several large epidemiologic studies. © 1997 John Wiley & Sons, Ltd.
Adaptive streaming protocol for mobile-augmented-reality-based concurrent engineering (2000)

In this paper we describe a new adaptive streaming protocol for mobile augmented reality applications. Mobile augmented reality is typically a multi-user environment, where users interact with each other using shared computer-generated virtual objects. One application area of mobile augmented reality is concurrent design and engineering, where the consistency of shared objects is maintained with a real-time streaming protocol. The protocol adapts the stream of update messages according to the wireless link quality. Adaptation means the adjusting of transmission speed to maximize reliability and to minimize packet delivery latencies and their variation, jitter. Conventional streaming protocols use an end-to-end feedback channel to transmit network quality parameters used in adaptation. However, this causes unnecessary delays and decrease the reliability, because feedback messages have to be transmitted over a wireless media. We present a new approach, in which the adaptation is based on the link quality parameters, stored in a base station. No high protocol layer wireless feedback channel is required, which makes the adaptation fast. We justify the feasibility of our protocol by comparing its performance with the most common transport-layer streaming protocols and show that faster adaptation reduces the number of lost packets and jitter in the network.