gebhart/patrepeval huggingface dataset:
Bounds for Multiprocessor Scheduling with Resource Constraints (1975)

One well-studied model of a multiprocessing system involves a fixed number n of identical abstract processors, a finite set of tasks to be executed, each requiring a specified amount of computation time, and a partial ordering on the tasks which requires certain tasks to be completed before certain others can be initiated. The nonpreemptive operation of the system is guided by an ordered list L of the tasks, according to the rule that whenever a processor becomes idle, it selects for processing the first unexecuted task on L which may validly be executed. We introduce an additional element of realism into this model by postulating the existence of a set of “resources” with the property that for each resource, the total usage of that resource at any instant of time may not exceed its total availability. For this augmented model, we determine upper bounds on the ratio of finishing times achieved using two different lists, L and $L'$, and exhibit constructions to show that the bounds are best possible.
A Generic Virtual Reality Flight Simulator (2014)

Flight simulators are used for different purposes, such as pilot training, aircraft design and development. Full-scale flight simulators have high costs and dependency on aircraft type due to hardware constraints. Hence, virtual reality flight simulators are designed. On the other hand, they are generally created only for specific applications, such as helicopter simulators. As a result, these tools can hardly be used as a generic tool which can work with various aircraft simulations. Although, there are certain generic virtual reality applications that can be used for virtual prototyping and ergonomics, they lack realistic flight simulation and environment. In this paper, we present a generic aerospace application which brings a solution to these problems. The architecture of the application is described and a calibration method which, makes the application independent of the physical mock-up and the flight simulator compatible with different aircraft types, is presented. The preliminary results of the first prototype are given as the generic virtual reality flight simulator is used by the aerospace industry for research and development purposes.
Effect of Antisecretory Drugs and Nitrates on the Risk of Ulcer Bleeding Associated With Nonsteroidal Anti-Inflammatory Drugs, Antiplatelet Agents, and Anticoagulants (2007)

Antisecretory agent or nitrate treatment is associated with reduced UGIB RR in patients taking NSAID or aspirin. Only PPI therapy was associated with a marked, consistent risk reduction among patients receiving all types of agents (including nonaspirin antiplatelet agents). Protection was not apparent in patients taking anticoagulants.
Optical In‐situ Methods of High Local Resolution for the Investigation of Corrosion Processes (1993)

Abstract Different optical in‐situ methods which can be combined with standard electrochemistry are discussed. The related methods of micro‐ellipsometry (resolution ca. 40 μm) and micro‐reflection‐spectroscopy (resolution ca. 10 μm) have been added to a well proved laser scanning apparatus (resolution ca. 2 μm), which allows not only probing of sample surfaces but also, by using high laser power, modifying of the layers under investigation. — With these non destructive methods not only new and complement properties are obtained but also local electrode processes in the μm 2 scale can be investigated, whereas standard electrochemistry is limited to the mm 2 range. — As an example for the application of these methods, the investigation of grain depending passive layer formation on electropolished titanium surfaces is chosen. Herewith predictions about the local corrosion behaviour of this material can be deduced.
Calibration of the attenuation-rain rate power-law parameters using measurements from commercial microwave networks (2016)

A common way to describe the relation between rain-rate R [mm/h] and attenuation A [dB] in radio signal is the Power-Law A = aRb, where a and b are the Power-Law parameters, which depend on the radio signal (frequency, polarization) and on some properties of the specific environmental conditions. These parameters are usually set off-line using special purpose equipment and are used from existing tables. However, such tables provide averaged, approximated values to the Power-Law parameters. Using these values for local network design and/or for rainfall estimation can cause inaccuracies. In this paper we propose a new method for calibrating the power law parameters locally, in almost real time, using standard equipment - that is, measurements from rain-gauges and from existing commercial microwave networks deployed in cellular backhauling systems. We suggest an estimation procedure and demonstrate its operation using real scenario in the south of Israel.
SigB Is a Dominant Regulator of Virulence in Staphylococcus aureus Small-Colony Variants (2013)

Staphylococcus aureus small-colony variants (SCVs) are persistent pathogenic bacteria characterized by slow growth and, for many of these strains, an increased ability to form biofilms and to persist within host cells. The virulence-associated gene expression profile of SCVs clearly differs from that of prototypical strains and is often influenced by SigB rather than by the agr system. One objective of this work was to confirm the role of SigB in the control of the expression of virulence factors involved in biofilm formation and intracellular persistence of SCVs. This study shows that extracellular proteins are involved in the formation of biofilm by three SCV strains, which, additionally, have a low biofilm-dispersing activity. It was determined that SigB activity modulates biofilm formation by strain SCV CF07-S and is dominant over that of the agr system without being solely responsible for the repression of proteolytic activity. On the other hand, the expression of fnbA and the control of nuclease activity contributed to the SigB-dependent formation of biofilm of this SCV strain. SigB was also required for the replication of CF07-S within epithelial cells and may be involved in the colonization of lungs by SCVs in a mouse infection model. This study methodically investigated SigB activity and associated mechanisms in the various aspects of SCV pathogenesis. Results confirm that SigB activity importantly influences the production of virulence factors, biofilm formation and intracellular persistence for some clinical SCV strains.
6-DoF pose localization in 3D point-cloud dense maps using a monocular camera (2013)

We present a 6-degree-of-freedom (6-DoF) pose localization method for a monocular camera in a 3D point-cloud dense map prebuilt by depth sensors (e.g., RGB-D sensor, laser scanner, etc.). We employ fast and robust 2D feature detection on the real camera to be matched against features from a virtual view. The virtual view (color and depth images) is constructed by projecting the map's 3D points onto a plane using the previous localized pose of the real camera. 2D-to-3D point correspondences are obtained from the inherent relationship between the real camera's 2D features and their matches on the virtual depth image (projected 3D points). Thus, we can solve the Perspective-n-Point (PnP) problem in order to find the relative pose between the real and virtual cameras. With the help of RANSAC, the projection error is minimized even further. Finally, the real camera's pose is solved with respect to the map by a simple frame transformation. This procedure repeats for each time step (except for the initial case). Our results indicate that a monocular camera alone can be localized within the map in real-time (at QVGA-resolution). Our method differentiates from others in that no chain of poses is needed or kept. Our localization is not susceptible to drift because the history of motion (odometry) is mostly independent over each PnP + RANSAC solution, which throws away past errors. In fact, the previous known pose only acts as a region of interest to associate 2D features on the real image with 3D points in the map. The applications of our proposed method are various, and perhaps it is a solution that has not been attempted before.
Development of optical parametric amplifier for lidar measurements of trace gases on Earth and Mars (2011)

Trace gases in planetary atmospheres offer important clues as to the origins of the planet's hydrology, geology, atmosphere, and potential for biology. We report on the development effort of a nanosecond-pulsed optical parametric amplifier (OPA) for remote trace gas measurements for Mars and Earth. The OPA output light is single frequency with high spectral purity and is widely tunable both at 1600 nm and 3300 nm with an optical-optical conversion efficiency of ~40%. We demonstrated open-path atmospheric measurements of CH4 (3291 nm and 1651 nm), CO<sub>2</sub> (1573 nm), H<sub>2</sub>O (1652 nm) with this laser source.
Airborne Pulsed Doppler Radar (1989)

This second edition of Airborne Pulsed Doppler Radar brings you up-to-date on new radar technologies since 1987 -- plus those likely to appear in the next five years. The book provides valuable insight into specific issues unique to airborne systems and contains the most extensive treatment of the medium-PRF waveform for more accurate performance analysis. Complete with nearly 250 illustrations and 290 equations, the book provides the background you need to: - Plan and predict the outcome of test programs - Evaluate proposals for new radar systems or upgrades - Analyze the performance of airborne radars in various scenarios - Understand the capabilities and limitations of airborne systems This book is a valuable reference for radar engineers, missile-seeker system engineers, and users of military airborne radar. It keeps you current on the fundamental principles and system design rationale for establishing radar characteristics, signal processing for target detection performance, and signal processing for tracking and system testing.
Genetic markers useful for distinguishing between organ‐confined and locally advanced prostate cancer (2003)

Prostate cancer is one of the most commonly diagnosed cancers and the second leading cause of cancer deaths among men in the United States. In this study, we performed comparative genomic hybridization (CGH) on 45 primary prostate adenocarcinomas to determine genetic markers that could be useful for distinguishing between organ-confined and locally advanced prostate cancer. Of these tumors, 24 were pT2 stage, 21 were pT3b; 20 had low Gleason scores (GS), 25 had high GS. The most common chromosomal alterations in all 45 tumors included losses on 8p (57.8%), 10q21-->qter (40.0%), 16q (35.6%), 11q21-->qter (28.9%), 16p (22.2%), 6q22-->24 (22.2%), 10p (20.0%), 5q31-->qter (17.8%), 6p (17.8%), 15q22-->qter (15.6%), and 17p (15.6%) as well as gains on 7cen-->p14 (20.0%), 7cen-->q22 (20.0%), and Xcen-->q21 (17.8%). Contingency table analysis showed that losses of 8p, 10q25-->qter, 6p21, 6q24-->qter, and 15q22-->qter were significantly increased in frequency (P < 0.05) with increasing stage and/or GS. A model was created following multivariate logistic regression analysis that was predictive of tumor stage in approximately 90% of the tumors studied. This model suggests that loss of 8p is the most valuable predictor of stage. These findings suggest that chromosomal regions identified in this study may be useful for distinguishing between organ-confined and locally advanced prostate tumors.
Minireview: Obesity and Breast Cancer: A Tale of Inflammation and Dysregulated Metabolism (2013)

In addition to the spectrum of conditions known collectively as the Metabolic Syndrome, obesity is now recognized to be associated with increased risk of several cancers including colon, endometrial, and breast cancer. Obesity and carcinogenesis share 2 characteristics in common. On the one hand, they involve inflammatory pathways, and on the other hand, they involve dysregulated metabolism. In this review we focus on postmenopausal breast cancer and discuss the metabolic and cellular mechanisms whereby obesity and breast cancer are related. Because a majority of postmenopausal breast tumors are estrogen responsive, we include a discussion of the action of obesity-related factors on estrogen formation within the breast.
Patents for perpetual motion machines (2007)

Legal context: Perpetual motion will not go away, and it continues to fascinate inventors. It simultaneously appeals to the best and worst sides of human nature: the urge to transcend the limits of the possible, against the desire to get something for nothing. Perpetual motion machines are scientifically impossible, but that does not stop a steady stream of applications attempting to patent them. Key points: Patents for perpetual motions machines are always refused, or are they? Objections are examined from the points of view of industrial applicability, sufficiency of description, and novelty. Three recent cases on appeal to the United Kingdom Patents Court are reviewed, as are three older ones from the Boards of Appeal of the European Patent Office. It is concluded that the most appropriate legal objection varies from case to case, and may depend on the form of claim. Practical significance: President Abraham Lincoln once said that the patent system ‘added the fuel of interest to the fire of genius, in the discovery and production of new and useful things.’ Perpetual motion disdains fuel, and exalts a particularly madcap kind of genius. Its embodiments are invariably useless, but the reader may be surprised to see it argued that perpetual motion machines are always (in the patent sense) ‘new’, no matter how old they may be. Perpetual motion is impossible, but perpetual novelty is the inventor's consolation prize.
A Systematical Analysis of <i>In Vivo</i> Contact Forces on Virtual Catheter Tip/Tissue Surface Contact during Cardiac Mapping and Intervention (2008)

This study shows that mapping and ablation using a robotic sheath guidance system are critically dependent on generated force. These findings suggest that ablative lesion size is optimized by the application of 10-20 grams of contact force, although mapping requires lower-force application to avoid image distortions.
Compression-based technique for SDN using sparse-representation dictionary (2016)

As Software-Defined Networks (SDN) emerged, the control and forwarding planes were abstracted using the standardized OpenFlow protocol which led to the increasing demand for optimal usage of the control link between the two planes especially for network monitoring. This paper proposes a data collection scheme based on a compression technique for SDN-based networks. It employs sparsity approximation algorithms for compressing the aggregated data in the SDN switch, while the recovery of the sparse data is taking place at the controller. The approach aims at further decreasing the link usage for Quality of Service (QoS) applications while increasing the network observability. The proposed solution extends the functionality of the SDN switch by integrating dictionary learning algorithms like K-SVD and Orthogonal Matching Pursuit (OMP) methods for the purpose of sparsity approximation. Experimental setup and the QoS link utilization metric for link monitoring were used for performance evaluation. The proposed solution was analysed over a range of sparsity levels, showing the data recovery accuracy of the controller under different compression ratios and using real internet traces. The results show that the proposed method reduces the control link overhead cost with up to 98% when compared to the case of periodic acquisition network monitoring of the SDN network.
Elafin-overexpressing mice have improved cardiac function after myocardial infarction (2004)

Elevated serine elastase activity after myocardial infarction can contribute to remodeling associated with left ventricular dilatation and dysfunction. We therefore assessed the effects of overexpressing the selective serine elastase inhibitor elafin in transgenic mice in which a myocardial infarction was caused by ligation of the left anterior descending coronary artery (LAD). Elevated serine elastase activity was observed in nontransgenic littermates as early as 6 h after LAD ligation and persisted at 4 and 7 days but not in sham-operated or elafin-overexpressing transgenic mice. Myeloperoxidase activity (index of inflammatory cells) and matrix metalloproteinase 2 were also increased but only at 4 and 7 days and only in nontransgenic mice (P < 0.05 for both comparisons), and this increase correlated with inflammatory cell infiltration. Echocardiographic study at 4 days revealed indexes of diastolic dysfunction in nontransgenic versus elafin-overexpressing mice (P < 0.05). Morphometric and biochemical analyses at 28 days indicated impairment in cardiac performance, with greater scar thinning and infarct expansion in nontransgenic versus elafin transgenic littermates (P < 0.05 for all comparisons). Thus serine elastase inhibition appears to suppress inflammation, cardiac dilatation, and dysfunction after myocardial infarct.
Progress on Active Control of Open Cavities (2011)

This paper describes progress towards the development of an active suppression system for open cavity oscillations. A leading-edge array of piezoelectric zero-net mass-flux (ZNMF) actuators is used to suppress cavity flow oscillations determined from measured pressure fluctuations near the rear wall of cavities with length-to-depth ratios (L/D) of 5 and 6 at Mach 0.3 and 0.4. The waveform parameters of the actuator array excitation signal are systematically investigated using open-loop control. Closed-loop control using the quasistatic downhill simplex and the dynamic ARMARKOV adaptive disturbance rejection and generalized predictive control (GPC) algorithms are applied and compared to open-loop control. Up to 30% broadband reduction in rms pressure fluctuations over a 4 kHz bandwidth are obtained and compare favorably with optimized open-loop sinusoidal control.
On the compressive response of open-cell aluminum foams (2008)

studies.His knowledge, experience and deep understanding of the subject helped me through every step to accomplish this research.
A Mobile Multimedia Technology to Aid Those with Alzheimer's Disease (2010)

A first-generation, mobile, video-based reminder system offers memory support to those afflicted with mild-stage Alzheimer's disease.
Duplication-targeted DNA methylation and mutagenesis in the evolution of eukaryotic chromosomes. (1992)

Mammalian genomes are threatened with gene inactivation and chromosomal scrambling by recombination between repeated sequences such as mobile genetic elements and pseudogenes. We present and test a model for a defensive strategy based on the methylation and subsequent mutation of CpG dinucleotides in those DNA duplications that create uninterrupted homologous sequences longer than about 0.3 kilobases. The model helps to explain both the diversity of CpG frequencies in different genes and the persistence of gene fragmentation into exons and introns.
Why Does Public Transport Not Arrive on Time? The Pervasiveness of Equal Headway Instability (2009)

The equal headway instability phenomenon can be avoided with the suggested technological and social measures.
Evolution of microbiological analytical methods for dairy industry needs (2014)

Traditionally, culture-based methods have been used to enumerate microbial populations in dairy products. Recent developments in molecular methods now enable faster and more sensitive analyses than classical microbiology procedures. These molecular tools allow a detailed characterization of cell physiological states and bacterial fitness and thus, offer new perspectives to integration of microbial physiology monitoring to improve industrial processes. This review summarizes the methods described to enumerate and characterize physiological states of technological microbiota in dairy products, and discusses the current deficiencies in relation to the industry's needs. Recent studies show that Polymerase chain reaction-based methods can successfully be applied to quantify fermenting microbes and probiotics in dairy products. Flow cytometry and omics technologies also show interesting analytical potentialities. However, they still suffer from a lack of validation and standardization for quality control analyses, as reflected by the absence of performance studies and official international standards.
Symbol synchronization using baud-rate sampling and data-sequence-dependent signal processing (1991)

An algorithm for symbol timing recovery using baud-rate sampling is presented. Using this algorithm, the decoded data sequence is scanned for particular data patterns that yield samples which need only to be added or subtracted to give an estimate of the required timing function. The statistics of occurrence of these data patterns are calculated for random binary data. The variance of the timing function estimates is calculated for pulses with raised-cosine spectra that have been degraded by quadratic delay distortion and is shown to be lower, in most cases, than for other synchronizers using baud-rate sampling.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>
Detrusor inhibition on selective pudendal nerve stimulation in the perineum (1987)

Abstract Selective electrical pudendal nerve stimulation calibrated to achieve a “maximal motor response” as recorded electromyographically in the periurethral sphincter was found to increase the micturition threshold in three neurological patients with detrusor hyperreflexia. Such electrical stimulation (0.2‐ms long pulses at 5 Hz and up to 2.0 mA) could conceivably be also supplied by an implanted “vesicoinhibitory” stimulator, and this report is considered as a pilot study towards formulation of such a therapeutic approach.
Comparison of static and step‐pulsed ultra‐high pressure on the microbial stability of fresh cut pineapple (1998)

Fresh cut pineapple cubes inoculated with 104–5 CFU g−1 Saccharomyces cerevisiae were packed in heat-sealed polyethylene pouches and subjected at ambient temperature to static and step-pulsed ultra-high pressure (UHP) treatments. Static treatments included 100 and 9000 s at 270 MPa and 9000 s at 340 MPa. Step-pulsed pressure treatments included 100, 300 and 600 s at 0–270 MPa using 0·5-s and 10-s pulses. Inoculated treated and untreated samples were held at 4°C for 60 days. Bacteria and yeast counts were determined using plate count agar and yeast extract peptone dextrose agar, respectively. Static treatment at 270 and 340 MPa for 9000 s resulted in <240 CFU g−1 yeast and bacteria counts for up to 60 days. Step-pulsed pressure treatments for 100 s at 0–270 MPa using 0·5-s (200 pulses) and 10-s pulses (10 pulses) were more effective than a 100-s static 270-MPa treatment. Step-pulsed pressure treatments (300 and 600 s) using 0·5-s pulses (600 and 1200 pulses) and 10-s pulses (30 and 60 pulses) were as effective as 9000-s static pressure treatments at 270 and 340 MPa. This storage study confirmed the superiority of step-pulsed over static pressure treatments. © 1998 SCI.