gebhart/patrepeval huggingface dataset:
Analytical evaluation of the finite journal bearing impedance forces using the exact analytical solution of the Reynolds equation (2012)

Abstract. The exact analytical solution of the Reynolds equation for the finite journal bearing lubrication is used in this work in order to evaluate the finite journal bearing impedance forces. A path for obtaining the exact analytical solution is given and the closed form expression of the pressure distribution is integrated through the lubricants volume domain in order to obtain the closed form expressions about the finite journal bearing impedance forces. The pressure profile under the exact analytical solution is compared with other pressure profiles yielded by numerical methods. The main operational journal bearing characteristics such as eccentricity ratio, minimum fluid film thickness location and maximum lubricant pressure location are evaluated and presented in comparison with other correspondent results from the literature. Also the stiffness and damping coefficients of the finite journal bearing are evaluated using the exact analytical solution and they are presented for variable length to diameter ratios of the finite journal bearing.
Autoregressive model-based speech packet-loss concealment (2008)

We study packet-loss concealment for speech based on autoregressive modeling using a rigorous minimum mean square error (MMSE) approach. The effect of the model estimation error on predicting the missing segment is studied and an upper bound on the mean square error is derived. Our experiments show that the upper bound is tight when the estimation error is less than the signal variance. We also consider the usage of perceptual weighting on prediction to improve speech quality. A rigorous argument is presented to show that perceptual weighting is not useful in this context. We create simple and practical MMSE-based systems using two signal models: a basic model capturing the short-term correlation and a more sophisticated model that also captures the long-term correlation. Subjective quality comparison tests show that the proposed MMSE-based system provides state-of-the-art performance.
Experimental studies of viscosities of some CaO–CaF<sub>2</sub>–SiO<sub>2</sub>slags (1999)

AbstractIn the present work, the viscosities of some CaO–CaF2–SiO2 slags were measured using the rotating cylinder method. The effects of various volatile fluorine compounds on the change in slag composition are discussed on the basis of thermodynamic calculations. The kinetic factors concerning the escape of the volatile fluorides under the experimental conditions were also examined. It was found that the formation of gaseous species SiF4 was the main source for compositional changes during the viscosity measurements. In the case of CaO–CaF2–SiO2slags, the formation of SiF4 would be somewhat limited owing to the existence of CaO. The composition change during the measurements was only about ±1 wt-% for all components in most cases. Viscosity measurements are reported for slags, based on the post-measurement compositions. It was found that the addition of CaF2 causes a significant decrease in viscosity.
Deuterium-Resistant Algal Cell Line for D Labeling of Heterotrophs Expresses Enhanced Level of Hsp60 in D<sub>2</sub>O Medium (2005)

Fully deuterated components from autotrophic cell lysate are useful materials for labeling of heterotrophs with deuterium. To facilitate the faster production of deuterated algal lysate, we selected a mutant Chlorella strain that grows faster in heavy water than the wild type. The mutant DR-17 was found to have a higher level of Hsp60 and an elevated level of protein synthesis. We previously isolated a deuterium-resistant yeast cell line that was also found to express elevated level of Hsp70 (K. Unno, T. Kishido, M. Morioka, S. Okada, and N. Oku, Biol. Pharm. Bull. 26:799-802, 2003). This suggests that the overexpression of heat shock proteins is required to compensate for the deuterium isotope effect.
Genetic risk factors for cerebral infarction (2005)

In the process of human genome sequencing, many polymorphisms of genes, which might include disease specific or disease sensitive genes, have been revealed. We examined whether these polymorphisms contributed to the onset of cerebral infarction by means of case-control studies, although ischemic stroke is recognized as a multi-factorial disease. The subjects of this study were approximately 226 symptomatic ischemic stroke patients being treated at the Department of Neurology of Keio University Hospital and approximately 312 control subjects who were employees of Keio University Hospital undergoing regular health check-ups, We selected 20 candidate genes and analyzed their polymorphisms by means of the polymerase chain reaction and restriction fragment length polymorphisms. Four gene polymorphisms among the 20 were significantly frequent in those who had suffered cerebral infarctions. The four polymorphisms were found in the Met allele of Thr145Met of platelet glycoprotein Iba, the T allele of the C242T NADPH oxidase p22 PHOX. the T allele of the C1019T of connexin37, and the C allele of the A561C of E-selectin. Our studies suggest that polymorphisms of genes related to platelets, leukocytes, and cell adhesion molecules may be risk factors for ischemic stroke.
Occupational rhinitis affects occupational asthma severity (2016)

We demonstrated, for the first time in the occupational setting, a significant association between occupational rhinitis and asthma severity.
Accurate ILP-Based Contention Modeling on Statically Scheduled Multicore Systems (2019)

Commercially available Off The Shelf (COTS) multicores have been assessed as the baseline computing platform even in the most conservative real-time domains. Multicore contention arising on shared hardware resources, with its circular dependence with scheduling, is among the most challenging issues that require urgent attention before multicores can be fully embraced for real-time computing. In the context of static scheduling, still the most used scheduling approach in real-time industries, we propose an ILP formulation for computing the worst-case contention delay suffered by a task due to interference on a shared bus. Our model provides accurate contention delay bounds that avoid unnecessary over-accounting of conflicts between bus requests, by considering contention effects at system-level (i.e., across tasks) rather than at task-level only. This allows precisely capturing the interdependence between timing interference of conflicting requests, issued in parallel by other cores (tasks), and the identification of the particular set of tasks co-running on those cores. We assess our technique both analytically and empirically on a real COTS multicore platform. We show, via extensive evaluation, that jointly accounting for worst-case task overlapping and request distribution scenarios always provides tighter contention bounds when compared to state-of-the-art solutions.
Quantification of Tolerable Parametric and Dynamic Uncertainty for Robust MRAC Systems (2020)

Adaptive controllers have been proposed in a number of applications characterized by large modelling uncertainties in the open loop system. Despite this attractive feature it is not al-ways immediate to guarantee, by design, a predictable closed-loop transient. Indeed the characterization of the transient response of a closed loop adaptive control system is still a challenging problem from the verification and validation standpoint. This issue is particular-ly relevant in the presence of unmodelled dynamics, time delays, disturbances and un-matched uncertainties. In this paper it is proposed a practical mythology for the quantifica-tion of the tolerable parametric and dynamic uncertainty in systems controlled by a Model Reference Adaptive Controller (MRAC) in the case the parameters that characterize the parametric and the dynamic uncertain as long as the controller adaptation weights are as-sumed unknown but bounded within a defined box domain. Given these bounded uncertain-ties, the MRAC design is formalized as a H2 controller design to guarantee minimum H2 gain between the reference model states and the tracking error states. Exploiting a quadratic Lyapunov function a parameter dependent LMI condition is derived whose feasibility guar-antees a specified input-output H2 gain. This LMI condition can be exploited to quantify the tolerable matched and dynamic uncertainty and to evaluate the corresponding input-output H2 gain. The proposed approach has been applied to the design of a MRAC controller and to evaluate the tolerable uncertainties of a benchmark cart-pole system.
Efficient execution in an automated reasoning environment (2007)

Abstract We describe a method that permits the user of a mechanized mathematical logic to write elegant logical definitions while allowing sound and efficient execution. In particular, the features supporting this method allow the user to install, in a logically sound way, alternative executable counterparts for logically defined functions. These alternatives are often much more efficient than the logically equivalent terms they replace. These features have been implemented in the ACL2 theorem prover, and we discuss several applications of the features in ACL2.
Figure S2 from Targeting Mitochondrial Iron Metabolism Suppresses Tumor Growth and Metastasis by Inducing Mitochondrial Dysfunction and Mitophagy (2023)

&lt;p&gt;High Resolution Supplementary Figure 2&lt;/p&gt;
A novel soft-switching inverter with ZCS-ZVS features (2002)

Device side soft-switching inverters provide a desired zero-current switching (ZCS) turn-off and zero-voltage switching (ZVS) turn-on of the switching devices with the resonance at the device side. However, ZCS and ZVS cannot be realized with the same topology. A novel soft-switching inverter with both ZCS and ZVS features is proposed in this paper. The advantages of the proposed inverter topology are that all the main and auxiliary switches can be turned off with ZCS and can be turned on with ZVS. The principles of operation have been investigated with equivalent circuits at different operation modes for both ZCS and ZVS under different load current directions. Simulation with Saber gives the results that agree with the theoretical analyses.
Form reading based on form-type identification and form-data recognition (2005)

Form reading technology based on form-typeidentification and form-data recognition is proposed. Thistechnology can solve difficulties in variety for readingdifferent items on fairly large number of different types offorms. The form-type identification consists of two parts:(i) extraction of targets such as important keywords in aform by matching between recogised characters and wordstrings in a keyword dictionary, and (ii) analysis ofpositional or semantic relationship between the targets byconstellation matching between these targets and wordlocation information in the keyword dictionary. The formdatarecognition consists of two parts: (i) extraction of aregion of interest (ROI) contained a character string of theitem by using a layout knowledge of the very form-type,and (ii) character string recognition of the item by usingthe linguistic constraint which can be obtained from acontent knowledge of the form-type. A experiment using642 sample forms with 107 different types in totalconfirmed that the form-type identification method cancorrectly identify 97% of 642 form samples at a rejectionrate 3%. Another experiment confirmed that the form-data recognition method can correctly read 95% of thenumber of items on the form samples.
Entropy-Driven Stabilization of a Novel Configuration for Acceptor-Hydrogen Complexes in GaN (2001)

We present a model for the microscopic structure of Mg-H complexes in GaN, explaining the unusual bond angle observed in recent vibrational spectroscopy studies. The structure is not the lowest-energy configuration at T = 0, but it is stabilized at elevated temperatures due to the large entropy associated with a set of low-energy rotational excitations. The rotational excitation spectrum is calculated using a quantum-mechanical model in which the hydrogen atom moves in a weak corrugation potential. Consequences for experiment are discussed.
Cross-Protective Shigella Whole-Cell Vaccine With a Truncated O-Polysaccharide Chain (2018)

<i>Shigella</i> is a highly prevalent bacterium causing acute diarrhea and dysentery in developing countries. <i>Shigella</i> infections are treated with antibiotics but Shigellae are increasingly resistant to these drugs. Vaccination can be a countermeasure against emerging antibiotic-resistant shigellosis. Because of the structural variability in Shigellae O-antigen polysaccharides (Oag), cross-protective <i>Shigella</i> vaccines cannot be derived from single serotype-specific Oag. We created an attenuated <i>Shigella flexneri</i> 2a strain with one rather than multiple Oag units by disrupting the Oag polymerase gene (Δ<i>wzy</i>), which broadened protective immunogenicity by exposing conserved surface proteins. Inactivated Δ<i>wzy</i> mutant cells combined with <i>Escherichia coli</i> double mutant LT(R192G/L211A) as adjuvant, induced potent antibody responses to outer membrane protein PSSP-1, and type III secretion system proteins IpaB and IpaC. Intranasal immunization with the vaccine preparation elicited cross-protective immunity against <i>S. flexneri</i> 2a, <i>S. flexneri</i> 3a, <i>S. flexneri</i> 6, and <i>Shigella sonnei</i> in a mouse pneumonia model. Thus, <i>S. flexneri</i> 2a Δ<i>wzy</i> represents a promising candidate strain for a universal <i>Shigella</i> vaccine.
A RISC architecture with two-size, overlapping register windows (1988)

The issues involved in designing multiple-register window schemes are examined, and fixed-size, variable-size and two-size window organizations are discussed. These three multiple-register approaches are compared. A detailed example is presented, showing that the proposed two-size register window scheme has significant advantages over both fixed-size and variable-size schemes. A prototype design is presented.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>
Call blocking probability for heterogeneous and asymmetrical traffics in a TD-CDMA system (2005)

We develop a mathematical model to analyze the call-level performance of radio channel allocation of TD-CDMA systems supporting multi-type heterogeneous and asymmetrical traffic conditions. Our mathematical model uses multidimensional operations of random vectors or matrices to deal with multiple types of traffic and with both the up- and down-transmission directions at one time. Employing the mathematical model, we obtain the call blocking probability and the optimum timeslot switching-point with the smallest call blocking probability. We also propose a framework for radio resource management in TD-CDMA systems to increase the overall performance in terms of call blocking probability considering the multidimensional conditions of heterogeneous and asymmetrical traffic.
SPIRIT II mission overview (1993)

The second Spatial sPectral Infrared Rocketbome Interferometer Telescope (SPIRiT II), a recently launched sounding rocket experiment, measured the spatial and spectral structure of the LWIR region of the earthlimb. The two primary instruments, a 300-detector spatial radiometer and a 6-detector interferometer-spectrometer, were both housed in a highoff-axis-rejection telescope cooled to liquid helium temperatures. A photometer was used to sense energy input into the atmosphere. Ancillary instruments used to determine pointing direction and to view scene content (both during flight and for postflight data analysis) included an electronic star tracker, a horizon sensor, a low light level television camera, and a celestial aspect sensor television camera. The instrument payload, which was separated from the booster rocket in flight, contained its own attitude control system and performed a preplanned scanning pattern through the earthlimb.
Sonic Rarefaction Wave Low Recoil Gun (2002)

Abstract : A principal challenge faced by the U.S. Army TACOM-ARDEC Benet Laboratories in the design of armaments for lightweight future fighting vehicles with lethality overmatch is mitigating the deleterious effects of large caliber cannon recoil. The sonic RArefaction waVE low recoil guN (RAVEN) is a novel invention to dramatically reduce the gas momentum contribution to recoil with absolutely no reduction in me ballistic efficiency of launch. This technology is being investigated as part of the future combat vehicle armaments program conducted at Picatinny Arsenal, NJ, and Watervliet Arsenal, NY.
Non-corticosteroid adjuvant therapies for acute bacterial meningitis (2021)

Few adjuvant therapies for bacterial meningitis have been tested in RCTs. Paracetamol may make little or no difference to mortality, with a high level of uncertainty in the absolute effects (low certainty evidence). Paracetamol may make little or no difference to hearing loss, neurological sequelae other than hearing loss, and severe hearing loss (all low certainty evidence). Paracetamol may lead to slightly more short-term and long-term neurological sequelae other than hearing loss (both outcomes low certainty evidence). There is insufficient evidence to determine whether any of the adjuvant therapies included in this review (paracetamol, immunoglobulins, heparin, pentoxifylline, or a mixture of succinic acid, inosine, nicotinamide, and riboflavin mononucleotide) are beneficial or detrimental in acute bacterial meningitis.
Repair of peripheral meniscal tears: Open versus arthroscopic technique (1991)

Tears in the peripheral vascular zone of 71 menisci in 68 knees were repaired by us from 1978 to 1986. The meniscus repair was done by open arthrotomy in 26 cases and by arthroscopic techniques in 45 cases. We have assessed the relative efficacies of open and arthroscopic repair techniques. The results were compared in knees with and without anterior cruciate laxity. The indications for meniscal repair included unstable peripheral detachments and longitudinal tears of the outer third of the meniscus. Open repair was performed by a posteromedial arthrotomy incision. Arthroscopic repair was done using the double-lumen guide system with a limited posterior incision for retrieval of needles. We have found that the arthroscopic technique is easier to perform than the open repair because some tears are too far inside the rim to lend themselves to open suture. The average follow-up is 4 years, 2 months, with a range of 2-10 years. There have been no neurologic or vascular injuries from either technique. Twenty-five patients have had a repeat arthroscopy. The overall failure rate was 9.8%. The difference between the failure rate of 11% in the open-repair group and 8.8% in the arthroscopic repair group was not statistically significant. The failure rate in anterior cruciate-stable knees was 8% versus a 13% failure in cruciate-deficient knees. We conclude that both open and arthroscopic meniscus repair techniques are safe and effective with few complications in both stable and unstable knees. Anterior cruciate ligament stability is ideal, but it is not mandatory for a successful result.
Capacitance-Increase Method (2010)

A new method for capacitance increase is proposed, thus allowing for capacitance standards with a sixfold higher value than those currently found in the market. The method can be used for capacitance increase in any standard and provides a solution for calibration problems of high-capacitance four-terminal meters. The increase in capacitance is based on the introduction of inductive coupling between the current and potential circuits in devices with four electrodes. The output capacitance is created by the summation of the capacitive and inductive parameters that were formed in various channels. The operating frequency range resides at the left of the resonant frequency and is separated from the resonance by a range of frequencies called ¿protective band¿. The limitations on the width of this band and the quality factor are considered in this paper and are discussed in depth. It is shown that standards should be calibrated on each operating frequency when using the proposed method. The uncertainties of the method are also analyzed, and the factors that affect the uncertainty increase are clearly indicated. Simulation and experimental results are presented to verify the proposed method and demonstrate its feasibility.
Three-dimensional sensing by using a lenslet, a Dammann grating, and a combination (1998)

In the last two decades, three-dimensional sensors based on misfocusing have been suggested. This research addresses the question of measuring several focal depths simultaneously. Two options for generating the necessary array of spots are analyzed: the use of a lenslet array and the use of a Dammann grating. Finally, a combination of the two approaches is proposed. Such a combination enables tailoring the system performance to the exact needs of the user.
Bipolar Membrane Electrodialysis for Ammonia Recovery from Synthetic Urine: Experiments, Modeling, and Performance Analysis (2021)

Recovering nitrogen from source-separated urine is an important part of the sustainable nitrogen management. A novel bipolar membrane electrodialysis with membrane contactor (BMED-MC) process is demonstrated here for efficient recovery of ammonia from synthetic source-separated urine (∼3772 mg N L<sup>-1</sup>). In a BMED-MC process, electrically driven water dissociation in a bipolar membrane simultaneously increases the pH of the urine stream and produces an acid stream for ammonia stripping. With the increased pH of urine, ammonia transports across the gas-permeable membrane in the membrane contactor and is recovered by the acid stream as ammonium sulfate that can be directly used as fertilizer. Our results obtained using batch experiments demonstrate that the BMED-MC process can achieve 90% recovery. The average ammonia flux and the specific energy consumption can be regulated by varying the current density. At a current density of 20 mA cm<sup>-2</sup>, the energy required to achieve a 67.5% ammonia recovery in a 7 h batch mode is 92.8 MJ kg<sup>-1</sup> N for a bench-scale system with one membrane stack and can approach 25.8 MJ kg<sup>-1</sup> N for large-scale systems with multiple membrane stacks, with an average ammonia flux of 2.2 mol m<sup>-2</sup> h<sup>-1</sup>. Modeling results show that a continuous BMED-MC process can achieve a 90% ammonia recovery with a lower energy consumption (i.e., 12.5 MJ kg<sup>-1</sup> N). BMED-MC shows significant potential for ammonia recovery from source-separated urine as it is relatively energy-efficient and requires no external acid solution.
Polarization insensitive arbitrary wavelength conversion in entire C-band using a PM-HNLF (2010)

Polarization insensitive pump-wavelength-tunable FWM in a zero dispersion and dispersion slope PM-HNLF was demonstrated. Polarization scrambled 10Gbit/s NRZ and DPSK signals in entire C-band were converted into entire C-band with power penalties less than 0.3dB and 0.5dB, respectively.
Detection of the Low Molecular Weight Heparin Component of ITF 1300 in Urines After Intranasal Administration to Dogs (1994)

GAGs were purified from urine of dogs after intranasal administration of 40 mg/kg ITF 1300. The electrophoretic patterns of urine GAGs in acidic buffer showed the presence of heparin together with chondroitins, heparan sulfate, and hyaluronic acid. The heparin present in urines was purified using chondroitinase ABC, and its purity was tested by electrophoresis in acidic buffer. The sample obtained was characterized by 13C-NMR, showing the same characteristic signals of the heparin starting material.