This paper represents a rather shortened version of the first part of a report the title of which can be found in the parentheses following the title of this paper. It deals with a method which enables to realize a random sampling of well-formed formulas of an appropriate formalized theory by using random numbers. Some possibilities of application of this method are mentioned in the closing sec...

Modern functional-logic programming languages like Toy or Curry feature non-strict nondeterministic functions that behave under call-time choice semantics. A standard formulation for this semantics is the CRWL logic, that specifies a proof calculus for computing the set of possible results for each expression. In this paper we present a formalization of that calculus in the Isabelle/HOL proof a...

background : within the framework to control mosquitoes, ovicidal, larvicidal and pupicidal activity of annona senegalensis leaf extract and its 4 fractions against anopheles gambiae and culex quinquefasciatus were evaluated in the laboratory conditions. methods : ovicidal test was performed by submitting at least 100 eggs of mosquitoes to 125, 250, 500, 1000 and 2000 ppm concentrations, while ...

scattering of an incoming wave train by a discontinuity at the upper surface of the ocean over a uniform porous bottom of finite depth is considered here in the framework of linearized water wave theory. by employing residue calculus method, the reflection and transmission coefficient are obtained. these coefficients are computed numerically for different values of the porosity parameter g and ...

This study further extends the clinical usefulness of the estimation of cardiac chamber size by means of single echocardiographic dimensions. In 24 patients left atrial size was calculatedfrom an anteroposterior standard echographic dimension and correlates (r=o088) with the left atrial surface area measured from selective cineangiograms in the right anterior oblique position. For clinical use ...

Leiomyoma of the urinary bladder is a rare benign mesenchymal tumour. We describe here a case of leiomyoma of the urinary bladder in a 65-year-old gentleman who presented with haematuria, passage of clots and combined obstructive and irritative urinary symptoms. The investigations revealed a vesical calculus and a mass on the left lateral wall of the urinary bladder. Cystolitholapaxy and transu...

Protein kinase C (PKC) activity and isozyme distribution were evaluated during development of pressure-overload-induced cardiac hypertrophy. Three-week-old rats were loosely banded on the ascending aorta (left ventricular hypertrophy [LVH] group). Two weeks later, when left ventricular mass was 50% greater than in the sham-operated control group and cardiac mass was still rapidly increasing bey...

OBJECTIVE To report laparoscopic-assisted cystotomy and inguinal cystostomy for treating bladder urolithiasis in a gelding. STUDY DESIGN Clinical report. ANIMALS Twelve-year-old Appaloosa gelding. METHODS A laparoscopic approach was used to locate and grasp the bladder, which was exteriorized through an enlarged instrument portal for cystotomy to remove the calculus. During withdrawal, th...

In this paper, we consider a problem in calculus of variations motivated by quantitative isoperimetric inequality the plane. More precisely, aim article is computation minimum variational $$\begin{aligned}\inf _{u\in {\mathcal {W}}} \frac{\displaystyle \int _{-\pi }^{\pi }[(u')^2-u^2]d\theta }{\displaystyle \left[ } |u| d\theta \right] ^2} \end{aligned}$$ where function $$u\in {W}}$$ $$H^1(-\pi...

the distribution of extracellular enzyme activities in particle-size fractions of sediments was investigated in a subtropical mangrove ecosystem. five enzymes involved in carbon (c), nitrogen (n), and phosphorus (p) cycling were analyzed in the sand, silt, and clay of sediments. among these fractions, the highest activities of phenol oxidase (pho), β-d glucosidase (glu), and n-acetyl-glucosimin...