We present a systematic analysis of human prostatic fluid with two-dimensional gel electrophoresis (the ISO-DALT system) and a characterization of normal and disease-related protein patterns. A reference map for prostatic fluid proteins was established by analysis of pooled prostatic fluids from 80 men (age less than or equal to 50 years) without prostatic lesions. Proteins in prostatic fluid t...

Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. This thesis presents broadcast psi-calculi and higher-order psi-calculi, two extensions of the psi-calculi framework, allowing respectively one-to-many communications and the use of higher-order process descriptions through conditions in the parame...

We present a case of submandibular duct calculi diagnosed using transoral sonography. Sonography is the first-line imaging modality of salivary gland calculi. However, it is performed via a transcutaneous approach, which is limited in identifying small salivary duct calculi. Using an intraoral transducer, transoral sonography can visualize the submandibular duct and detect the presence of small...

We provide a systematic and modular method to define nondeterministic finite-valued semantics for a natural and very general family of canonical labelled calculi, of which many previously studied sequent and labelled calculi are particular instances. This semantics is effective, in the sense that it naturally leads to a decision procedure for these calculi. It is then applied to provide simple ...

The syntax of modal graphs is defined in terms of the continuous cut and broken cut following Charles Peirce’s notation in the gamma part of his graphical logic of existential graphs. Graphical calculi for normal modal logics are developed based on a reformulation of the graphical calculus for classical propositional logic. These graphical calculi are of the nature of deep inference. The relati...

We present the first internal calculi for Lewis’ conditional logics characterized by uniformity and reflexivity, including non-standard internal hypersequent calculi for a number of extensions of the logic VTU. These calculi allow for syntactic proofs of cut elimination and known connections to S5. We then introduce standard internal hypersequent calculi for all these logics, in which sequents ...

Qualitative spatial and temporal reasoning is based on socalled qualitative calculi. Algebraic properties of these calculi have several implications on reasoning algorithms. But what exactly is a qualitative calculus? And to which extent do the qualitative calculi proposed meet these demands? The literature provides various answers to the first question but only few facts about the second. In t...

BACKGROUND Electrohydraulic lithotripsy (EHL) has been used as an alternative to cystotomy in human medicine to remove urinary calculi. This prospective study evaluated the efficacy and safety of EHL to remove urinary calculi in dogs. HYPOTHESIS EHL is an efficient and safe method of treatment of bladder and urethral calculi in dogs. METHODS Dogs presented between January 1, 2005 and June 1...

BACKGROUND Since the outbreak of renal diseases among children who had consumed melamine-tainted powdered formula in 2008, urinary system ultrasound examination was carried out for these children at our hospital. This study aimed to investigate the ultrasonographic characteristics of urolithiasis caused by melamine-tainted powdered formula. METHODS From September 12 to October 9, 2008, urinar...

Investigations concerning the description of languages in terms of categorial grammar started with examining concatenation as the only syntactic operation. Type reduction systems such as associative Ajdukiewicz or Lambek calculi, which admit concatenation of types in the calculus (and consequently concatenation of words in a language) as the expression-forming operation, were proved defective. ...