Characterization of mycobacteria and mycobacteriophages isolated from compost at the São Paulo Zoo Park Foundation in Brazil and creation of the new mycobacteriophage Cluster U

Background: A large collection of sequenced mycobacteriophages capable of infecting a single host strain of Mycobacterium smegmatis shows considerable genomic diversity with dozens of distinctive types (clusters) and extensive variation within those sharing evident nucleotide sequence similarity. Here we profiled the mycobacterial components of a large composting system at the São Paulo zoo. Results: We isolated and sequenced eight mycobacteriophages using Mycobacterium smegmatis mc2155 as a host. None of these eight phages infected any of mycobacterial strains isolated from the same materials. The phage isolates span considerable genomic diversity, including two phages (Barriga, Nhonho) related to Subcluster A1 phages, two Cluster B phages (Pops, Subcluster B1; Godines, Subcluster B2), three Subcluster F1 phages (Florinda, Girafales, and Quico), and Madruga, a relative of phage Patience with which it constitutes the new Cluster U. Interestingly, the two Subcluster A1 phages and the three Subcluster F1 phages have genomic relationships indicating relatively recent evolution within a geographically isolated niche in the composting system. Conclusions: We predict that composting systems such as those used to obtain these mycobacteriophages will be a rich source for the isolation of additional phages that will expand our view of bacteriophage diversity and evolution

Outcomes of synchronous and metachronous bilateral small renal masses (< 4 cm):a population‑based cohort study

Objectives: To report longitudinal outcomes of a population based cohort of patients diagnosed with bilateral small renal masses from a period of over 11 years.Patients and Methods: Consecutive patients diagnosed with bilateral small renal masses (synchronous or metachronous) of a defined geographical area were recorded in a large database (TUCAN database) between January 2005 and December 2016. Patients had a unique identifier number and followed during this period using an agreed upon protocol. Clinicopathological characteristics and outcomes of bilateral small renal masses on active surveillance were analysed and compared to propensity score matched sporadic unilateral small renal masses. Data were analysed for renal mass growth rate, rate of intervention and development of metastatic disease and patient survival.Results: A total of 1060 patients were diagnosed with renal cancer, of which bilateral small renal masses accounted for 70 (6.6%) cases. Synchronous SRMs were observed in 63 patients, whereas metachronous lesions were found in seven patients during the study period. Metachronous lesion mean time to appearance was 62 ± 41 months (range, 9 to 149 months). While most cases were sporadic, four were found to be hereditary. Growth rate of bilateral small renal masses did not differ from that of unilateral sporadic small renal masses. Similarly, there were no differences between the groups for rate of interventions and survival.Conclusion: Progression, rate of metastases and survival for patients diagnosed with bilateral small renal masses is similar to those diagnosed with unilateral disease

Monoidal computer III: A coalgebraic view of computability and complexity

Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of computation is that a categorical formalism should provide a much needed high level language for theory of computation, flexible enough to allow abstracting away the low level implementation details when they are irrelevant, or taking them into account when they are genuinely needed. A salient feature of the approach through monoidal categories is the formal graphical language of string diagrams, which supports visual reasoning about programs and computations. In the present paper, we provide a coalgebraic characterization of monoidal computer. It turns out that the availability of interpreters and specializers, that make a monoidal category into a monoidal computer, is equivalent with the existence of a *universal state space*, that carries a weakly final state machine for any pair of input and output types. Being able to program state machines in monoidal computers allows us to represent Turing machines, to capture their execution, count their steps, as well as, e.g., the memory cells that they use. The coalgebraic view of monoidal computer thus provides a convenient diagrammatic language for studying computability and complexity.Comment: 34 pages, 24 figures; in this version: added the Appendi

Soundness and completeness proofs by coinductive methods

We show how codatatypes can be employed to produce compact, high-level proofs of key results in logic: the soundness and completeness of proof systems for variations of first-order logic. For the classical completeness result, we first establish an abstract property of possibly infinite derivation trees. The abstract proof can be instantiated for a wide range of Gentzen and tableau systems for various flavors of first-order logic. Soundness becomes interesting as soon as one allows infinite proofs of first-order formulas. This forms the subject of several cyclic proof systems for first-order logic augmented with inductive predicate definitions studied in the literature. All the discussed results are formalized using Isabelle/HOL’s recently introduced support for codatatypes and corecursion. The development illustrates some unique features of Isabelle/HOL’s new coinductive specification language such as nesting through non-free types and mixed recursion–corecursion

Coordinated optimization of visual cortical maps (II) Numerical studies

It is an attractive hypothesis that the spatial structure of visual cortical architecture can be explained by the coordinated optimization of multiple visual cortical maps representing orientation preference (OP), ocular dominance (OD), spatial frequency, or direction preference. In part (I) of this study we defined a class of analytically tractable coordinated optimization models and solved representative examples in which a spatially complex organization of the orientation preference map is induced by inter-map interactions. We found that attractor solutions near symmetry breaking threshold predict a highly ordered map layout and require a substantial OD bias for OP pinwheel stabilization. Here we examine in numerical simulations whether such models exhibit biologically more realistic spatially irregular solutions at a finite distance from threshold and when transients towards attractor states are considered. We also examine whether model behavior qualitatively changes when the spatial periodicities of the two maps are detuned and when considering more than 2 feature dimensions. Our numerical results support the view that neither minimal energy states nor intermediate transient states of our coordinated optimization models successfully explain the spatially irregular architecture of the visual cortex. We discuss several alternative scenarios and additional factors that may improve the agreement between model solutions and biological observations.Comment: 55 pages, 11 figures. arXiv admin note: substantial text overlap with arXiv:1102.335

Results of consecutive training procedures in pediatric cardiac surgery

This report from a single institution describes the results of consecutive pediatric heart operations done by trainees under the supervision of a senior surgeon. The 3.1% mortality seen in 1067 index operations is comparable across procedures and risk bands to risk-stratified results reported by the Society of Thoracic Surgeons. With appropriate mentorship, surgeons-in-training are able to achieve good results as first operators

Rapidity and Centrality Dependence of Proton and Anti-proton Production from Au+Au Collisions at sqrt(sNN) = 130GeV

We report on the rapidity and centrality dependence of proton and anti-proton transverse mass distributions from Au+Au collisions at sqrt(sNN) = 130GeV as measured by the STAR experiment at RHIC. Our results are from the rapidity and transverse momentum range of |y|<0.5 and 0.35 <p_t<1.00GeV/c. For both protons and anti-protons, transverse mass distributions become more convex from peripheral to central collisions demonstrating characteristics of collective expansion. The measured rapidity distributions and the mean transverse momenta versus rapidity are flat within |y|<0.5. Comparisons of our data with results from model calculations indicate that in order to obtain a consistent picture of the proton(anti-proton) yields and transverse mass distributions the possibility of pre-hadronic collective expansion may have to be taken into account.Comment: 4 pages, 3 figures, 1 table, submitted to PR

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Probing strongly coupled anisotropic plasma

We calculate the static potential, the drag force and the jet quenching parameter in strongly coupled anisotropic N=4 super Yang-Mills plasma. We find that the jet quenching is in general enhanced in presence of anisotropy compared to the isotropic case and that its value depends strongly on the direction of the moving quark and the direction along which the momentum broadening occurs. The jet quenching is strongly enhanced for a quark moving along the anisotropic direction and momentum broadening happens along the transverse one. The parameter gets lower for a quark moving along the transverse direction and the momentum broadening considered along the anisotropic one. Finally, a weaker enhancement is observed when the quark moves in the transverse plane and the broadening occurs on the same plane. The drag force for quark motion parallel to the anisotropy is always enhanced. For motion in the transverse space the drag force is enhanced compared to the isotropic case only for quarks having velocity above a critical value. Below this critical value the force is decreased. Moreover, the drag force along the anisotropic direction is always stronger than the force in the transverse space. The diffusion time follows exactly the inverse relations of the drag forces. The static potential is decreased and stronger decrease observed for quark-antiquark pair aligned along the anisotropic direction than the transverse one. We finally comment on our results and elaborate on their similarities and differences with the weakly coupled plasmas.Comment: 1+44 pages, 18 Figures; Added results on static force; Added references; version published in JHE

Recent ASA presidents and ‘top’ journals: observed publication patterns, alleged cartels and varying careers

It has been common for studies presented as about American sociology as a whole to rely on data compiled from leading journals (American Sociological Review [ASR] and American Journal of Sociology [AJS]), or about presidents of the American Sociological Association [ASA], to represent it. Clearly those are important, but neither can be regarded as providing a representative sample of American sociology. Recently, Stephen Turner has suggested that dominance in the ASA rests with a ‘cartel’ initially formed in graduate school, and that it favors work in a style associated with the leading journals. The adequacy of these ideas is examined in the light of available data on the last 20 years, which show that very few of the presidents were in the same graduate schools at the same time. All presidents have had distinguished academic records, but it is shown that their publication strategies have varied considerably. Some have had no ASR publications except their presidential addresses, while books and large numbers of other journals not normally mentioned in this context have figured in their contributions, as well as being more prominent in citations. It seems clear that articles in the leading journals have not been as closely tied to prestigious careers as has sometimes been suggested, and that if there is a cartel it has not included all the presidents