Almost from the inception of Hilbert’s program, foundational and structural efforts in proof theory have been directed towards the goal of clarifying the computational content of modern mathematical methods. This essay surveys various methods of extracting computational information from proofs in classical first-order arithmetic, and reflects on some of the relationships between them. Variants ...

Analyses of 71 Roman provincial silver coins of the Julio-Claudian emperors (27 BC–AD 68) minted at Caesarea in Cappadocia and Antioch and Tyre in Syria are discussed in this paper. The finenesses of the alloys are presented and it is proposed that there was a logical relationship between the standards used for Caesarea and Antioch. Trace element profiles and selected lead isotope analyses help...

This research evaluated the effects of biosolid levels on yield and chemical composition of Mentha piperita L. essential oil. Mint plants were grown in a greenhouse in pots containing the equivalent to 0, 28, 56, and 112 t.ha-1 biosolid. Three evaluations were made at 90, 110, and 120 days after planting (DAP). The oil was extracted from the dry matter of shoots by hydrodistillation, and compos...

Old textiles are important elements of thecultural heritage. As a result their composition mostly natural old extremely prone to physical and chemical degradation due fungal action. The treatments usually applied for the cleaning heritage target use synthetic fungicides, which potentially harmful both human health environment. Numerous studies highlight as an alternative conventional antifungal...

trichomoniasis is one of the most common urinary-genital tract disease. the causal agent of trichomoniasis is flagellate protozoan called trichomonas vaginalis. metronidazole and tinidazole are the drug of choice for treatment. carcinogenic and embryo-teratogenic effects of the mentioned drugs and resistance to metronidazole has been reported. according to cytotoxic effects of medicinal herbs i...

background identification of novel pathogenic bacteria always has a crucial role in clinical microbiology to defeat uncontrolled diseases. objectives sample preparation platform has been developed for rapid and simple detection of infectious organisms from the point of care diagnostics and molecular manipulation by using three novel genomic dna isolation protocols. materials and methods most of...