gebhart/patrepeval huggingface dataset:
Physical Impossibility Instead of Fault Models (1990)

In this paper we describe the concept of physical impossibility as an alternative to the specification of fault models. These axioms can be used to exclude impossible diagnoses similar to fault models. We show for Horn clause theories while the complexity of finding a first diagnosis is worst-case exponential for fault models, it is polynomial for physical impossibility axioms. Even for the case of finding all diagnoses using physical impossibility axioms instead of fault models is more efficient, although both are exponential in the worst case. These results are used for a polynomial diagnosis and measurement strategy which finds a final sufficient diagnosis.
Open surgery assisted by the neuronavigator, a stereotactic, articulated, sensitive arm (1991)

A new computed tomographic-stereotactic device that translates the operating point onto preoperative computed tomographic (CT) images, the Neuronavigator, has been developed. We have applied this system to various neurosurgical procedures to examine its usefulness. The system consists of a 6-joint sensing arm and a 16-bit personal computer. It projects the location of the arm tip onto a corresponding CT slice with a cursor that guides the surgeon toward the intracranial target during open surgery. The system also projects the location of the tip onto angiograms, and when used in conjunction with echography or a transcranial Doppler (TCD) flow meter, the surgeon's ability to navigate is enhanced. Sixty-eight patients underwent operation with the Neuronavigator. The navigation system worked as the core of a multimodal three-dimensional data base that proved to be useful during surgery. The maximum detection error was 2.5 mm, which was considered sufficient for open microsurgery. It also proved useful in designing the position of a craniotomy, in targeting deep-seated mass lesions, and in tracing the tumor edge, which had been identified on a CT scan. When the angiogram was combined with the navigator, it became easy to identify key vessels within a small operating field. The system was also combined with a TCD flow meter. This combination makes it possible to translate the measuring point of the TCD directly into CT coordinates, improving the precision of location of the TCD probe. The Neuronavigator combines various diagnostic images into one database and effectively guides the surgeon during surgery.
Spin dynamics and thermodynamics in solid-state NMR cross polarization (1986)

We investigate spin thermodynamic processes taking place during Hartmann–Hahn cross-polarization experiments in solids, in which spin polarization is transferred between two nuclear spin species by the application of two strong rf fields. As is well known, optimum cross polarization is achieved for a particular ratio of the two rf field strengths called the Hartmann–Hahn condition; we find experimentally that this condition provides the optimum transfer not only on kinetic grounds, as is usually supposed, but also for thermodynamic reasons. By measurement of the evolution of the spin observables in a ferrocene single crystal we demonstrate the existence of a quasi-equilibrium state with nonuniform spin temperature and less than maximum entropy. A modified spin thermodynamic theory is developed whose main features are the important role of the dipolar energy for the quasi-equilibrium state and the existence of constants of the motion other than the total energy. A new cross-polarization experiment is suggested which is shown to provide efficient cross polarization even for mismatched Hartmann–Hahn conditions.
Robust and Accurate Visual Echo Cancelation in a Full-Duplex Projector-Camera System (2006)

We developed a comprehensive set of techniques to address the “visual echo” problem in a full-duplex projectorcamera system. A calibration procedure records the geometric and photometric transfer between the projector and camera in a look-up table. With the calibration information, the predicted camera view of the projected image is compared against the captured camera image to find echo pixels. Only non-echo pixels are used for display, therefore achieving the goal of suppressing visual echo. Compared to previous techniques, our approach’s main advantages are two-fold. First, it accurately handles full color images with no assumption about the surface reflectance or the photometric response of the projector or camera. Secondly, it is robust to geometric registration errors and quantization effect. It is particularly effective for high-frequency contents such as texts and hand drawings. We demonstrate the effectiveness of our approach with a variety of real images in a full-duplex projector-camera system.
Feasibility study of a wearable carbon monoxide warning system for construction workers (2011)

This paper presents a feasibility study of a wearable computing system to protect construction workers from carbon monoxide poisoning. A pulse oximetry sensor has been integrated into a typical construction helmet to allow continuous and non-invasive monitoring of workers' blood saturation levels. To show the feasibility of monitoring for carbon monoxide poisoning without subjecting users to dangerous conditions, a prototype for monitoring blood O <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> was constructed and tested during a user study involving typical construction tasks to determine its reliability while undergoing motion. Because monitoring for blood O <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> and CO involve the same principles and technologies, if monitoring O <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">2</sub> is feasible, then monitoring for CO will be feasible as well. The results of this initial study show that integrating an oximeter into a construction helmet will warn the user of impeding carbon monoxide poisoning with a probability greater than 99%.
Biosynthesis of <i>cis</i>‐Jasmone: a pathway for the inactivation and the disposal of the plant stress hormone jasmonic acid to the gas phase? (1997)

Abstract Flowers of Jasminum rincospernum convert deuterium‐labeled jasmonic acid [ 2 H 5 ]‐ 4a and methyl 1,2‐didehy‐drojasmonate [ 2 H 4 ]‐ 8 into labeled cis ‐jasmone [ 2 H 4 ]‐ 1. The labeling pattern of the resulting cis ‐jasmone ( 1 ) is consistent with a Grob fragmentation of the didehydrojasmonic acid 8a by decarboxylation after protonation of the keto group. The pathway is also operative in leaves of several higher plants, including mono‐ and dicotyledonous specimens. In Lima beans besides cis‐jasmone ( 1 ) an equimolar mixture of trans ‐ and cis ‐isomers of methyl jasmonate ( 4 ) and epi ‐ 4 , is emitted after treatment with Jasmonic acid ( 4a ). The relative ratio of 1 and 4 / epi ‐ 4 is critically dependent on the concentration of the administered jasmonic acid ( 4a ) and the ambient temperature of the plant. Unlike 4a , the 1,2‐didehydrojasmonic acid ( 8a ) is not able to induce volatile biosynthesis. Therefore, the transformation of 4a via 8 a into 1 appears to have a special importance for the irreversible inactivation and disposal of the plant stress hormone jasmonic acid to the gas phase and may serve, besides other modes of inactivation, as a shunt in case of high internal of the stress hormone 4a. The conversion of the biologically active jasmonic acid ( 4a ) into the inactive and volatile cis ‐jasmone (1) is the first example of a disposal of an inactive metabolite of a phytohormone to the gas phase as an infinite sink.
Effect of pore morphology on the electrochemical properties of electric double layer carbon cryogel supercapacitors (2008)

In this study, a group of carbon cryogels have been synthesized using resorcinol formaldehyde as precursors, and altered via catalysis and activation, to obtain varied nanostructures and pore size distributions. To understand the relation between structure and electrochemical properties, an alternate approach to de Levi’s cylindrical pore, transmission line method was utilized. Using electrochemical impedance spectroscopy, the capacitor can be studied as a dielectric system composed of a porous electrode and the electrolyte (tetraethylammonium tetrafluoroborate in propylene carbonate). The complex capacitance and power are used to study the behavior of the system below the relaxation frequency f0 (φ=−45°). Therefore, the relaxation of the capacitor system at the low frequency range, f&lt;f0, may be used as a measure of pore/electrolyte interaction. The approach proposed here also allows for a direct experimental characterization of the capacitance and power at low frequencies, where small pores are likely to affect the diffusion kinetics and dynamics of the electrolyte molecules. The results suggest a correlation between the occurrence of small micropores and that of high power losses that are related to the resistive element at the low frequency range. Moreover, the impact of the micropore structure on the supercapacitor’s performance is apparent in its capacitance and energy as well. In addition to the complex power and capacitance, other measurements including nitrogen physisorption, cyclic voltammetry, galvanic cycling, and x-ray Raman scattering were used to characterize the samples and support these results.
c-Myc induces chromosomal rearrangements through telomere and chromosome remodeling in the interphase nucleus (2005)

In previous work, we showed that telomeres of normal cells are organized within the 3D space of the interphase nucleus in a nonoverlapping and cell cycle-dependent manner. This order is distorted in tumor cell nuclei where telomeres are found in close association forming aggregates of various numbers and sizes. Here we show that c-Myc overexpression induces telomeric aggregations in the interphase nucleus. Directly proportional to the duration of c-Myc deregulation, we observe three or five cycles of telomeric aggregate formation in interphase nuclei. These cycles reflect the onset and propagation of breakage-bridge-fusion cycles that are initiated by end-to-end telomeric fusions of chromosomes. Subsequent to initial chromosomal breakages, new fusions follow and the breakage-bridge-fusion cycles continue. During this time, nonreciprocal translocations are generated. c-Myc-dependent remodeling of the organization of telomeres thus precedes the onset of genomic instability and subsequently leads to chromosomal rearrangements. Our findings reveal that c-Myc possesses the ability to structurally modify chromosomes through telomeric fusions, thereby reorganizing the genetic information.
Superconducting nanowire single-photon detection system and demonstration in quantum key distribution (2013)

We developed a superconducting nanowire single-photon detection (SNSPD) system based on Gifford-McMahon cryocooler for quantum communication applications. Environmental factors which may influence the system performance are intensively studied. Those factors include temperature fluctuations, the ambient magnetic field and the background radiation. By optimizing the bias circuit, the stability of SNSPD system to electrical noise and disturbance was effectively enhanced, thus making it more suitable for field application. A 4-channel SNSPD system with quantum efficiency higher than 4% at the dark count rate of 10 Hz for λ=1550 nm is integrated and applied into a quantum key distribution (QKD) experiment. QKD was successfully carried out over 100 km optical fiber with the final secure key rate of 1.6 kbps and the quantum bit error rate of less than 2%.
Functional and physical characterization of transcription initiation complexes in the bacteriophage lambda OR region. (1985)

We have used transcriptional activity assays and DNase I footprinting techniques to examine in vitro the binding of Escherichia coli RNA polymerase and lambda repressor protein to the bacteriophage lambda rightward promoter-operator region. For the lambda PR promoter, the activity and physical binding results determined at several repressor concentrations correlated very well. Good agreement was also found for repression of PRM, which occurred at higher repressor concentrations; however, our results indicate that at low repressor concentrations, RNA polymerase can physically occupy PRM in a transcriptionally inactive form. These inactive complexes formed with a binding constant similar to that previously measured for "closed complexes" at PRM. A kinetic study of PR open complex formation on an OR2-template in the presence of lambda repressor showed that decreased initiation frequency from this promoter was due largely to a decrease in KB. The kinetically determined inhibition constant for repressor (Ki = 4 nM) was similar to the dissociation constant (Kd approximately 2 nM) determined from the footprinting studies.
Diet, Lipoproteins, and the Progression of Coronary Atherosclerosis (1985)

We studied the relation between diet, serum lipoproteins, and the progression of coronary lesions in 39 patients with stable angina pectoris in whom coronary arteriography had shown at least one vessel with 50 per cent obstruction before intervention. Intervention consisted of a two-year vegetarian diet that had a ratio of polyunsaturated to saturated fatty acids of at least 2 and that contained less than 100 mg of cholesterol per day. Dietary changes were associated with a significant increase in linoleic acid content of cholesteryl esters and a significant lowering of body weight, systolic blood pressure, serum total cholesterol, and the ratio of total to high-density lipoprotein (total/HDL) cholesterol. Angiographic examination was performed after 24 months; angiograms were assessed visually (with blinding) and by computer-assisted image analysis. Both types of assessment indicated progression of disease in 21 of 39 patients but no lesion growth in 18. Coronary lesion growth correlated with total/HDL cholesterol (r = 0.50, P = 0.001) but not with blood pressure, smoking status, alcohol intake, weight, or drug treatment. Disease progression was significant in patients who had values for total/HDL cholesterol that were higher than the median (greater than 6.9) throughout the trial period. No coronary-lesion growth was observed in patients who had lower values for total/HDL cholesterol (less than 6.9) throughout the trial or who initially had higher values (greater than 6.9) that were significantly lowered by dietary intervention.
The separation of electrolytes by a “solventing‐out” process (1985)

Abstract The analytic expression found before for the precipitated function of an electrolyte as a function of the added volume of a miscle organic solvent (MOS) to a saturated aqueous solution was used to discuss the required conditions for separation of two electrolytes.
Distinct isozyme patterns of cyclic nucleotide phosphodiesterase in human neuroblastoma and ganglioneuroma; a possible marker of differentiation of neural crest-derived tumors and Schwann cells. (1986)

By DEAE-cellulose chromatography, the 30,000g supernatants of human neuroblastoma (n = 7), ganglioneuroma (n = 5), sympathetic ganglia (n = 3), and Schwannoma (n = 2) were found to contain three major peaks of adenosine 3',5'-cyclic monophosphate (cAMP) phosphodiesterase (PDE) activity, which were termed peaks I, II, and III in the order of their elution from the column. Peak I isozyme was calmodulin-dependent, and had two different Km values for cAMP (32 and 2.3 microM) and a low Km for guanosine 3',5'-cyclic monophosphate (cGMP) (2.9 microM). Peak II isozyme had a high Km for both cAMP, 76 microM, and cGMP, 32 microM, and peak III isozyme was a cAMP-PDE with Km of 1.8 microM. The peak II and III isozymes were calmodulin-independent. The activity ratio of peak I isozyme to peak III isozyme (I/III isozyme ratio) was significantly different (P less than 0.001) in neuroblastoma and in ganglioneuroma/sympathetic ganglia, i.e., 0.23 +/- 0.11 for neuroblastoma vs. 0.79 +/- 0.20 for ganglioneuroma and 0.51 +/- 0.08 for sympathetic ganglia. Schwannoma showed the highest value of 1.05 (P less than 0.05). These results suggest that the I/III isozyme ratio of cAMP-PDE could be a useful marker in studies on the differentiation of neural crest-derived tumors and Schwann cells.
A Novel Three‐Dimensional Computer‐Assisted Method for a Quantitative Study of Microvascular Networks of the Human Cerebral Cortex (2006)

Among the many parameters that can be analyzed by this method, the capillary size, the frequency distributions of diameters and lengths, the fractal nature of these networks, and the depth-related density of vessels are all vital features for an adequate model of cerebral microcirculation.
Trust is Good, Control is Better: Creating Secure Clouds by Continuous Auditing (2016)

Cloud service certifications (CSC) attempt to assure a high level of security and compliance. However, considering that cloud services are part of an ever-changing environment, multi-year validity periods may put in doubt reliability of such certifications. We argue that continuous auditing (CA) of selected certification criteria is required to assure continuously reliable and secure cloud services, and thereby increase trustworthiness of certifications. CA of cloud services is still in its infancy, thus, we conducted a thorough literature review, interviews, and workshops with practitioners to conceptualize an architecture for continuous cloud service auditing. Our study shows that various criteria should be continuously audited. Yet, we reveal that most of existing methodologies are not applicable for third party auditing purposes. Therefore, we propose a conceptual CA architecture, and highlight important components and processes that have to be implemented. Finally, we discuss benefits and challenges that have to be tackled to diffuse the concept of continuous cloud service auditing. We contribute to knowledge and practice by providing applicable internal and third party auditing methodologies for auditors and providers, linked together in a conceptual architecture. Further on, we provide groundings for future research to implement CA in cloud service contexts.
A multi-user framework supporting video-based avatars (2003)

In this paper we present our ongoing work in setting up a multi-user framework that supports video texturing on avatars, creating added value for both gaming and collaborative work applications. Limiting the data propagation and bandwidth usage is a key goal when targeting a scalable application that will be deployed on a general-purpose network such as the Internet. We therefore present a number of techniques that can be used in these circumstances, including increased client responsibilities and multicast communications. By making full use of the increased client processing power and bandwidth, we can relieve the server of many of its traditional roles. At the same time, we can target a range of network-enabled devices by handing over control of quality parameters to the individual clients. Through the combination of real-time video distribution and animated avatars, we aim to achieve an increased level of immersion in the virtual world.
A comparative analysis of insertional effects in genetically engineered plants: considerations for pre-market assessments (2014)

During genetic engineering, DNA is inserted into a plant's genome, and such insertions are often accompanied by the insertion of additional DNA, deletions and/or rearrangements. These genetic changes are collectively known as insertional effects, and they have the potential to give rise to unintended traits in plants. In addition, there are many other genetic changes that occur in plants both spontaneously and as a result of conventional breeding practices. Genetic changes similar to insertional effects occur in plants, namely as a result of the movement of transposable elements, the repair of double-strand breaks by non-homologous end-joining, and the intracellular transfer of organelle DNA. Based on this similarity, insertional effects should present a similar level of risk as these other genetic changes in plants, and it is within the context of these genetic changes that insertional effects must be considered. Increased familiarity with genetic engineering techniques and advances in molecular analysis techniques have provided us with a greater understanding of the nature and impact of genetic changes in plants, and this can be used to refine pre-market assessments of genetically engineered plants and food and feeds derived from genetically engineered plants.
Plant Glandular Trichomes: Natural Cell Factories of High Biotechnological Interest (2017)

Multicellular glandular trichomes are epidermal outgrowths characterized by the presence of a head made of cells that have the ability to secrete or store large quantities of specialized metabolites. Our understanding of the transcriptional control of glandular trichome initiation and development is still in its infancy. This review points to some central questions that need to be addressed to better understand how such specialized cell structures arise from the plant protodermis. A key and unique feature of glandular trichomes is their ability to synthesize and secrete large amounts, relative to their size, of a limited number of metabolites. As such, they qualify as true cell factories, making them interesting targets for metabolic engineering. In this review, recent advances regarding terpene metabolic engineering are highlighted, with a special focus on tobacco (<i>Nicotiana tabacum</i>). In particular, the choice of transcriptional promoters to drive transgene expression and the best ways to sink existing pools of terpene precursors are discussed. The bioavailability of existing pools of natural precursor molecules is a key parameter and is controlled by so-called cross talk between different biosynthetic pathways. As highlighted in this review, the exact nature and extent of such cross talk are only partially understood at present. In the future, awareness of, and detailed knowledge on, the biology of plant glandular trichome development and metabolism will generate new leads to tap the largely unexploited potential of glandular trichomes in plant resistance to pests and lead to the improved production of specialized metabolites with high industrial or pharmacological value.
Deposition of pressurised aerosols in the human respiratory tract. (1981)

Although the use of pressurised aerosol inhalers is widespread, little is known about the actual deposition of the aerosol in the respiratory tract, since this has previously been difficult to measure. We have incorporated Teflon particles (mean diameter 2 micrometer) with aerodynamic properties similar to those of bronchodilator drug crystals into pressurised aerosol canisters. Controlled inhalations by eight patients with obstructive airways disease showed that on average 8.8% of the dose was deposited in the lungs (3.0% in the alveoli and 5.8% on the conducting airways) and 80% in the mouth. These figures are in good agreement with previous indirect estimates of deposition based on metabolic studies. The remainder of the dose was either expired (1.0%) or deposited in the aerosol actuator (9.8%). This method should have wide application for measurement of deposition patterns under various conditions and for assessment of therapeutic effects.
Intraocular lens calculation accuracy limits in normal eyes (2008)

The need to individualize and fudge parameters decreases with better physical models of the pseudophakic eye. Further improvements are possible by individual topography to extract corneal asphericity and measured pupil size to calculate the best focus, by improved position predictions based on individual measurements of the crystalline lens and by smaller tolerances for IOL manufacturing.