The shape of the urine stream — from biophysics to diagnostics

We develop a new computational model of capillary-waves in free-jet flows, and apply this to the problem of urological diagnosis in this first ever study of the biophysics behind the characteristic shape of the urine stream as it exits the urethral meatus. The computational fluid dynamics model is used to determine the shape of a liquid jet issuing from a non-axisymmetric orifice as it deforms under the action of surface tension. The computational results are verified with experimental modelling of the urine stream. We find that the shape of the stream can be used as an indicator of both the flow rate and orifice geometry. We performed volunteer trials which showed these fundamental correlations are also observed in vivo for male healthy volunteers and patients undergoing treatment for low flow rate. For healthy volunteers, self estimation of the flow shape provided an accurate estimation of peak flow rate (+-2%). However for the patients, the relationship between shape and flow rate suggested poor meatal opening during voiding. The results show that self measurement of the shape of the urine stream can be a useful diagnostic tool for medical practitioners since it provides a non-invasive method of measuring urine flow rate and urethral dilation

Genitourinary tuberculosis: A profile of 55 in-patients

Objective: To outline the pattern and trends in major cases of genito-urinary tuberculosis (GUTB) which require hospital treatment.Method: We retrospectively reviewed 55 patients with proven GUTB who were treated as in-patients in a major referral hospital in Pakistan.Results: The male/female ratio was 3:1. Prevailing symptoms were lower urinary tract symptoms, flank pain, gross hematuria and fever. A urine culture was positive for tuberculosis (TB) in 57%, bladder biopsies in 54%. For renal TB, intravenous urogram (IVU) and ultrasound were suggestive in about 50% of cases. Ultrasound was very helpful in the diagnosis of testicular TB. Patients underwent surgery in 36% of cases. In contrast to the general trend reported worldwide, surgery was mainly ablative rather than re-constructive. Patient compliance in clinical follow-up and drug therapy was poor.Conclusion: Surgery for GUTB in Pakistan is still mainly ablative, probably due to a high number of complicated and progressed cases. To date, therapy of GUTB is mainly based on anti-tuberculosis chemotherapy (ATT). However, huge efforts will be required to improve patient compliance without which every therapeutic approach will remain futile

Thermal correlators of anyons in two dimensions

The anyon fields have trivial $\alpha$-commutator for $\alpha$ not integer. For integer $\alpha$ the commutators become temperature-dependent operator valued distributions. The $n$-point functions do not factorize as for quasifree states.Comment: 14 pages, LaTeX (misprints corrected, a reference added

Electromagnetism in terms of quantum measurements

We consider the question whether electromagnetism can be derived from quantum physics of measurements. It turns out that this is possible, both for quantum and classical electromagnetism, if we use more recent innovations such as smearing of observables and simultaneous measurability. In this way we justify the use of von Neumann-type measurement models for physical processes. We apply operational quantum measurement theory to gain insight in fundamental aspects of quantum physics. Interactions of von Neumann type make the Heisenberg evolution of observables describable using explicit operator deformations. In this way one can obtain quantized electromagnetism as a measurement of a system by another. The relevant deformations (Rieffel deformations) have a mathematically well-defined "classical" limit which is indeed classical electromagnetism for our choice of interaction

Carbon turnover in the water-soluble protein of the adult human lens.

PurposeHuman eye lenses contain cells that persist from embryonic development. These unique, highly specialized fiber cells located at the core (nucleus) of the lens undergo pseudo-apoptosis to become devoid of cell nuclei and most organelles. Ostensibly lacking in protein transcriptional capabilities, it is currently believed that these nuclear fiber cells owe their extreme longevity to the perseverance of highly stable and densely packed crystallin proteins. Maintaining the structural and functional integrity of lenticular proteins is necessary to sustain cellular transparency and proper vision, yet the means by which the lens actually copes with a lifetime of oxidative stress, seemingly without any capacity for protein turnover and repair, is not completely understood. Although many years of research have been predicated upon the assumption that there is no protein turnover or renewal in nuclear fiber cells, we investigated whether or not different protein fractions possess protein of different ages by using the (14)C bomb pulse.MethodsAdult human lenses were concentrically dissected by gently removing the cell layers in water or shaving to the nucleus with a curved micrometer-controlled blade. The cells were lysed, and the proteins were separated into water-soluble and water-insoluble fractions. The small molecules were removed using 3 kDa spin filters. The (14)C/C was measured in paired protein fractions by accelerator mass spectrometry, and an average age for the material within the sample was assigned using the (14)C bomb pulse.ResultsThe water-insoluble fractions possessed (14)C/C ratios consistent with the age of the cells. In all cases, the water-soluble fractions contained carbon that was younger than the paired water-insoluble fraction.ConclusionsAs the first direct evidence of carbon turnover in protein from adult human nuclear fiber cells, this discovery supports the emerging view of the lens nucleus as a dynamic system capable of maintaining homeostasis in part due to intricate protein transport mechanisms and possibly protein repair. This finding implies that the lens plays an active role in the aversion of age-related nuclear (ARN) cataract

Not Just Thinking, but Believing: Obsessive Beliefs and Domains of Cognitive Fusion in the Prediction of OCD Symptom Dimensions

Cognitive fusion (CF), involves the tendency to “buy in” to thoughts and feelings and consists of three empirically established domains: somatic concerns, emotion regulation, and negative evaluation. CF is hypothesized to play a role in obsessive-compulsive disorder (OCD). The present study examined how well the CF domains, relative to traditional cognitive-behavioral constructs (i.e., obsessive beliefs such as inflated responsibility), predict OCD symptoms. 52 treatment-seeking adults with OCD completed self-report measures of CF, obsessive beliefs, OCD symptoms, and general distress. Domains of CF were differentially associated with the responsibility for harm, symmetry and unacceptable thoughts OCD dimensions, yet after accounting for obsessive beliefs, only the negative evaluation domain of CF significantly predicted symmetry OCD symptoms. Obsessive beliefs significantly predicted all OCD dimensions except for contamination. These findings provide additional support for existing cognitive-behavioral models of OCD across symptom dimensions, with the exception of contamination symptoms, and suggest that the believability of thoughts and feelings about negative evaluation adds to the explanation of symmetry symptoms. Conceptual and treatment implications, study limitations, and future directions are discussed

On separable Fokker-Planck equations with a constant diagonal diffusion matrix

We classify (1+3)-dimensional Fokker-Planck equations with a constant diagonal diffusion matrix that are solvable by the method of separation of variables. As a result, we get possible forms of the drift coefficients $B_1(\vec x),B_2(\vec x),B_3(\vec x)$ providing separability of the corresponding Fokker-Planck equations and carry out variable separation in the latter. It is established, in particular, that the necessary condition for the Fokker-Planck equation to be separable is that the drift coefficients $\vec B(\vec x)$ must be linear. We also find the necessary condition for R-separability of the Fokker-Planck equation. Furthermore, exact solutions of the Fokker-Planck equation with separated variables are constructedComment: 20 pages, LaTe

Quantitative Timed Analysis of Interactive Markov Chains

Abstract This paper presents new algorithms and accompanying tool support for analyzing interactive Markov chains (IMCs), a stochastic timed 1 1 2-player game in which delays are exponentially distributed. IMCs are compositional and act as semantic model for engineering for-malisms such as AADL and dynamic fault trees. We provide algorithms for determining the extremal expected time of reaching a set of states, and the long-run average of time spent in a set of states. The prototypical tool Imca supports these algorithms as well as the synthesis of ε-optimal piecewise constant timed policies for timed reachability objectives. Two case studies show the feasibility and scalability of the algorithms.

Algebraic totality, towards completeness

Finiteness spaces constitute a categorical model of Linear Logic (LL) whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefschetz in 1942) and morphisms as continuous linear maps. First, we recall definitions of finiteness spaces and describe their basic properties deduced from the general theory of linearly topologised spaces. Then we give an interpretation of LL based on linear algebra. Second, thanks to separation properties, we can introduce an algebraic notion of totality candidate in the framework of linearly topologised spaces: a totality candidate is a closed affine subspace which does not contain 0. We show that finiteness spaces with totality candidates constitute a model of classical LL. Finally, we give a barycentric simply typed lambda-calculus, with booleans ${\mathcal{B}}$ and a conditional operator, which can be interpreted in this model. We prove completeness at type ${\mathcal{B}}^n\to{\mathcal{B}}$ for every n by an algebraic method