In recent years, an important number of theoretical results concerning axiomatizability, proof systems (tableaux, natural deduction, etc.), interpolation, expressive power, complexity, etc. for hybrid logics has been obtained. The next natural step is to develop provers that can handle these languages. HyLoRes is a direct resolution prover for hybrid logics implementing a sound and complete alg...

BACKGROUND A tissue-mimicking phantom that accurately represents human-tissue properties is important for safety testing and for validating new imaging techniques. To achieve a variety of desired human-tissue properties, we have fabricated and tested several variations of gelatin phantoms. These phantoms are simple to manufacture and have properties in the same order of magnitude as those of so...

High average power, all-fiber integrated, broadband supercontinuum (SC) sources are demonstrated. Architecture for SC generation using amplified picosecond/nanosecond laser diode (LD) pulses followed by modulation instability (MI) induced pulse breakup is presented and used to demonstrate SC sources from the mid-IR to the visible wavelengths. In addition to the simplicity in implementation, thi...

submersible water pump Shiv Lal, Pawan Kumar, Rajeev Rajora Department of Mechanical Engineering, Rajasthan Technical University Kota, India Email:[email protected] Abstract: The performance of a photovoltaic (PV) array based water pumping system situated at Kota Rajasthan (25.18 N and 75.83 E), India has been studied. A 2hp DC motor with 2200W (10 panels of each 225W) have been used for disch...

structural codes vis-a-vis structural counts, like polynomials of a molecular graph, areimportant in computing graph-theoretical descriptors which are commonly known astopological indices. these indices are most important for characterizing carbon nanotubes(cnts). in this paper we have computed sadhana index (sd) for phenylenes and theirhexagonal squeezes using structural codes (counts). sadhan...

in this study, microwave-assisted solvent extraction (mase) was used to recover oil residues from pomace olive using acidic hexane. results obtained demonstrated that oil extraction yield increased with time, the amount of acetic acid in hexane and power radiation. for both radiation powers used (170 and 510w), the optimal extraction time and most interesting content of acetic acid in hexane ar...

In this paper, we describe the design and experimental results from the rebuild of a 250 GHz gyrotron used for Dynamic Nuclear Polarization enhanced Nuclear Magnetic Resonance spectroscopy on a 380 MHz spectrometer. Tuning bandwidth of approximately 2 GHz is easily achieved at a fixed magnetic field of 9.24 T and a beam current of 95 mA producing an average output power of >10 W over the entire...

In this paper, a new method is proposed to avoid acoustic-resonance-related instabilities in metal halide lamps when operated with a high-frequency electronic ballast. Angle modulation of the inverter switching pattern has been used as a vehicle to randomize lamp driving frequency and to limit lamp power spectrum below the instability threshold. The optimal modulating pattern is obtained by stu...

Hydrogen-rich synthesis gas was produced by pulsed dc plasma submerged into ethanol–water mixtures using an original system with a coaxial geometry. The ignition of the discharge is immediately followed by production of hydrogen and after a short time necessary for filling the outlet tubing a flame can be ignited. No auxiliary gas was used for the reforming process. The synthesis gas containing...