We announce a tool for mapping E derivations to Mizar proofs. Our mapping complements earlier work that generates problems for automated theorem provers from Mizar inference checking problems. We describe the tool, explain the mapping, and show how we solved some of the difficulties that arise in mapping proofs between different logical formalisms, even when they are based on the same notion of...

Jens Knoop1, Janis Voigtländer2 1 Institut für Computersprachen, TU Wien Argentinierstr. 8 / E185.1, A-1040 Wien, Österreich [email protected] 2 Institut für Informatik, Universität Bonn Römerstraße 164, D-53117 Bonn, Deutschland [email protected] Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen ...

the goal of this research was to isolate and identify the thermostable alkaline protease producing bacteria among several native iranian microorganisms. at the end of screening program, a bacillus subtilis bp-36 strain producing thermophilic alkaline protease was isolated from a hot spring in ardebil province. the target enzyme was purified using a one-step aqueous two-phase systems (atps) prot...

BACKGROUND Accurate placement of pedicle screw during Anterior Transpedicular Screw fixation (ATPS) in cervical spine depends on accurate anatomical knowledge of the vertebrae. However, little is known of the morphometric characteristics of cervical vertebrae in Chinese population. METHODS Three-dimensional reconstructions of CT images were performed for 80 cases. The anatomic data and screw ...

Guanidine hydrochloride has been widely used in the initial recovery steps of active protein from the inclusion bodies in aqueous two-phase system (ATPS). The knowledge of the guanidine hydrochloride effects on the liquid-liquid equilibrium (LLE) phase diagram behavior is still inadequate and no comprehensive theory exists for the prediction of the experimental trends. Therefore the effect the ...

We investigated variations in cell growth and ATP Sulfurylase (ATPS) activity when two cyanobacterial strains—Synechocystis sp. PCC6803 Synechococcus WH7803—were grown conventional media, media with low ammonium, sulfate a high CO2/low O2 atmosphere. In both organisms, transition adaptation to the reconstructed environmental resulted decrease ATPS activity. This variation appears be decoupled f...

Software verification is one of the most prominent application areas for automatic reasoning systems, but their potential improvement is limited by shortage of good benchmarks. Current benchmarks are usually large but shallow, require decision procedures, or have soundness problems. In contrast, we propose a family of benchmarks in first-order logic with equality which is scalable, relatively s...

For a challenging application, the software component retrieval , we present a powerful solution by combining two systems. The NORA/HAMMR-tool handles all aspects concerning with the logical representation of the application problem, the ILF-tool provides an infrastructure to apply several ATPs like SETHEO, OTTER, SPASS to the emerging deductive problems. For a fruitful practically application,...

BACKGROUND Evaluation of latest generation automated attenuation-based tube potential selection (ATPS) impact on image quality and radiation dose in contrast-enhanced chest-abdomen-pelvis computed tomography examinations for gynaecologic cancer staging. METHODS This IRB approved single-centre, observer-blinded retrospective study with a waiver for informed consent included a total of 100 pati...

FucoPol, a fucose-containing extracellular polysaccharide (EPS) produced by bacterium Enterobacter A47 using glycerol as the carbon source, was employed as a coating material for magnetic particles (MPs), which were subsequently functionalized with an artificial ligand for the capture of antibodies. The performance of the modified MPs (MP-EPS-22/8) for antibody purification was investigated usi...