9,904 research outputs found

    Bacterial urinary tract infections associated with transitional cell carcinoma in dogs.

    Get PDF
    BackgroundUrinary tract infections (UTI) are believed to be common in dogs with transitional cell carcinoma (TCC), but incidence and contributing factors have not been reported.ObjectivesTo determine the frequency and bacterial agents associated with UTI in dogs with TCC and define contributing factors.AnimalsEighty-five dogs with a history of urogenital TCC undergoing treatment with chemotherapy that had at least 1 urine culture performed.MethodsMedical records and culture results were retrospectively reviewed and ultrasound images were reviewed when available. Clinical factors were evaluated statistically for association with positive culture.ResultsFifty-five percent (47/85) of dogs had at least 1 positive culture during the course of treatment. Female dogs (80%, 40/50) were more likely than male dogs (29%, 10/35) to have at least 1 positive culture. Ultrasound examination determined that female dogs were more likely to have urethral (74%, 31/42) or trigonal tumor involvement (71%, 30/42) compared to male dogs (32%, 9/28 and 43%, 12/28, respectively). The most commonly isolated organisms were Staphylococcus spp. (23.9%, 29/121) and Escherichia coli (19.8%, 24/121). Dogs with urethral involvement of TCC were significantly more likely to have at least 1 positive culture than dogs without urethral involvement (75%, 30/40 versus 30%, 9/30).ConclusionsUrinary tract infection is common in dogs with TCC highlighting the importance of regular monitoring for bacterial cystitis in dogs with TCC. In addition, clinical factors such as tumor location and sex may be predictive of positive culture and can help clinicians assess the risk of UTI

    Shutters, Boxes, But No Paradoxes: Time Symmetry Puzzles in Quantum Theory

    Full text link
    The ``N-Box Experiment'' is a much-discussed thought experiment in quantum mechanics. It is claimed by some authors that a single particle prepared in a superposition of N+1 box locations and which is subject to a final ``post-selection'' measurement corresponding to a different superposition can be said to have occupied ``with certainty'' N boxes during the intervening time. However, others have argued that under closer inspection, this surprising claim fails to hold. Aharonov and Vaidman have continued their advocacy of the claim in question by proposing a variation on the N-box experiment, in which the boxes are replaced by shutters and the pre- and post-selected particle is entangled with a photon. These authors argue that the resulting ``N-shutter experiment'' strengthens their original claim regarding the N-box experiment. It is argued in this paper that the apparently surprising features of this variation are no more robust than those of the N-box experiment and that it is not accurate to say that the particle is ``with certainty'' in all N shutters at any given time.Comment: Presentation improved; to appear in International Studies in Philosophy of Scienc

    Word-level Symbolic Trajectory Evaluation

    Full text link
    Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at the level of bits, allowing signals to take values in {0, 1, X}. This limits the amount of abstraction that can be achieved, and presents inherent limitations to scaling. The main contribution of this paper is to show how much more abstract lattices can be derived automatically from RTL descriptions, and how a model checker for the general theory of STE instantiated with such abstract lattices can be implemented in practice. This gives us the first practical word-level STE engine, called STEWord. Experiments on a set of designs similar to those used in industry show that STEWord scales better than word-level BMC and also bit-level STE.Comment: 19 pages, 3 figures, 2 tables, full version of paper in International Conference on Computer-Aided Verification (CAV) 201

    Ketamine Restores Thalamic-Prefrontal Cortex Functional Connectivity in a Mouse Model of Neurodevelopmental Disorder-Associated 2p16.3 Deletion

    No full text
    2p16.3 deletions, involving heterozygous NEUREXIN1 (NRXN1) deletion, dramatically increase the risk of developing neurodevelopmental disorders, including autism and schizophrenia. We have little understanding of how NRXN1 heterozygosity increases the risk of developing these disorders, particularly in terms of the impact on brain and neurotransmitter system function and brain network connectivity. Thus, here we characterize cerebral metabolism and functional brain network connectivity in Nrxn1α heterozygous mice (Nrxn1α+/− mice), and assess the impact of ketamine and dextro-amphetamine on cerebral metabolism in these animals. We show that heterozygous Nrxn1α deletion alters cerebral metabolism in neural systems implicated in autism and schizophrenia including the thalamus, mesolimbic system, and select cortical regions. Nrxn1α heterozygosity also reduces the efficiency of functional brain networks, through lost thalamic “rich club” and prefrontal cortex (PFC) hub connectivity and through reduced thalamic-PFC and thalamic “rich club” regional interconnectivity. Subanesthetic ketamine administration normalizes the thalamic hypermetabolism and partially normalizes thalamic disconnectivity present in Nrxn1α+/− mice, while cerebral metabolic responses to dextro-amphetamine are unaltered. The data provide new insight into the systems-level impact of heterozygous Nrxn1α deletion and how this increases the risk of developing neurodevelopmental disorders. The data also suggest that the thalamic dysfunction induced by heterozygous Nrxn1α deletion may be NMDA receptor-dependent

    Remarks on the method of comparison equations (generalized WKB method) and the generalized Ermakov-Pinney equation

    Full text link
    The connection between the method of comparison equations (generalized WKB method) and the Ermakov-Pinney equation is established. A perturbative scheme of solution of the generalized Ermakov-Pinney equation is developed and is applied to the construction of perturbative series for second-order differential equations with and without turning points.Comment: The collective of the authors is enlarged and the calculations in Sec. 3 are correcte

    Analogues of Kahan's method for higher order equations of higher degree

    Get PDF
    Kahan introduced an explicit method of discretization for systems of first order differential equations with nonlinearities of degree at most two (quadratic vector fields). Kahan's method has attracted much interest due to the fact that it preserves many of the geometrical properties of the original continuous system. In particular, a large number of Hamiltonian systems of quadratic vector fields are known for which their Kahan discretization is a discrete integrable system. In this note, we introduce a special class of explicit order-preserving discretization schemes that are appropriate for certain systems of ordinary differential equations of higher order and higher degree

    Effects of Short-Term Training of Community-Dwelling Elderly with Modular Interactive Tiles

    Get PDF
    Objective: The objective of this study is to test for the increased mobility, agility, balancing, and general fitness of community-dwelling elderly individuals as a result of short-term training involving playing with modular interactive tiles (Entertainment Robotics, Odense, Denmark) at two community activity centers for the elderly. Three different tests from the Senior Fitness Test were used in order to test a variety of health parameters of the community-dwelling elderly, including those parameters related to fall prevention. Materials and Methods: Eighteen community-dwelling elderly individuals (63–95 years of age; mean, 83.2 years of age) were assessed in one intervention group without the use of a control group. The intervention group performed nine group sessions (1–1.5 hours each) of playful training with the modular interactive tiles over a 12-week period in two community activity centers for the elderly. Data were collected using pre-tests and post-tests of the 6-Minute Walk Test (6MWT), the 8-foot Timed Up & Go Test (TUG), and the Chair-Stand Test (CS). Data were analyzed for statistically significant differences and increases of means. Results: The 6MWT, TUG, and CS measurements showed statistically significant differences and increases of means between the pre-tests and post-tests with the 6MWT (P<0.001) (means difference, 22.4 percent), TUG (P<0.001) (means difference, 15 percent), and CS (P<0.002) (means difference, 14 percent). Fifty-six percent of the elderly progressed from one health risk level to a better level, according to the three tests. Conclusions: Statistically significant increases in scores were found across all tests, suggesting an improvement of many different health parameters for the elderly. Well-established research has shown the relationship between such test scores and fall incidents, balancing, mobility, agility, etc. This significant improvement in the health status of the elderly is obtained in as few as nine training sessions over a 12-week period of “playing” exergames with the modular interactive tiles
    • 

    corecore