Phase transition of triangulated spherical surfaces with elastic skeletons

A first-order transition is numerically found in a spherical surface model with skeletons, which are linked to each other at junctions. The shape of the triangulated surfaces is maintained by skeletons, which have a one-dimensional bending elasticity characterized by the bending rigidity $b$, and the surfaces have no two-dimensional bending elasticity except at the junctions. The surfaces swell and become spherical at large $b$ and collapse and crumple at small $b$. These two phases are separated from each other by the first-order transition. Although both of the surfaces and the skeleton are allowed to self-intersect and, hence, phantom, our results indicate a possible phase transition in biological or artificial membranes whose shape is maintained by cytoskeletons.Comment: 15 pages with 10 figure

Isabelle/PIDE as Platform for Educational Tools

The Isabelle/PIDE platform addresses the question whether proof assistants of the LCF family are suitable as technological basis for educational tools. The traditionally strong logical foundations of systems like HOL, Coq, or Isabelle have so far been counter-balanced by somewhat inaccessible interaction via the TTY (or minor variations like the well-known Proof General / Emacs interface). Thus the fundamental question of math education tools with fully-formal background theories has often been answered negatively due to accidental weaknesses of existing proof engines. The idea of "PIDE" (which means "Prover IDE") is to integrate existing provers like Isabelle into a larger environment, that facilitates access by end-users and other tools. We use Scala to expose the proof engine in ML to the JVM world, where many user-interfaces, editor frameworks, and educational tools already exist. This shall ultimately lead to combined mathematical assistants, where the logical engine is in the background, without obstructing the view on applications of formal methods, formalized mathematics, and math education in particular.Comment: In Proceedings THedu'11, arXiv:1202.453

Phase transition of meshwork models for spherical membranes

We have studied two types of meshwork models by using the canonical Monte Carlo simulation technique. The first meshwork model has elastic junctions, which are composed of vertices, bonds, and triangles, while the second model has rigid junctions, which are hexagonal (or pentagonal) rigid plates. Two-dimensional elasticity is assumed only at the elastic junctions in the first model, and no two-dimensional bending elasticity is assumed in the second model. Both of the meshworks are of spherical topology. We find that both models undergo a first-order collapsing transition between the smooth spherical phase and the collapsed phase. The Hausdorff dimension of the smooth phase is H\simeq 2 in both models as expected. It is also found that H\simeq 2 in the collapsed phase of the second model, and that H is relatively larger than 2 in the collapsed phase of the first model, but it remains in the physical bound, i.e., H<3. Moreover, the first model undergoes a discontinuous surface fluctuation transition at the same transition point as that of the collapsing transition, while the second model undergoes a continuous transition of surface fluctuation. This indicates that the phase structure of the meshwork model is weakly dependent on the elasticity at the junctions.Comment: 21 pages, 12 figure

Utilidade dos testes de sensibilidade do bacilo da tuberculose em saúde pública

Fez-se revisão na indicação dos testes de sensibilidade do bacilo tuberculoso, levando em conta sua utilidade em Saúde Pública ou em casos individualizados. Discutiram-se as dificuldades técnicas para a execução de um exame confiável, bem como os problemas existentes para a sua interpretação.The indications of sensitivity tests for tuberculous bacilli are reviewed, and their usefulness both in public health and individual cases is considered. Technical difficulties and some misinterpretations are discussed within the scop of our present knowledge

On a class of stationary loops on SO(n) and the existence of multiple twisting solutions to a nonlinear elliptic system subject to a hard incompressibility constraint

For full abstract please refer to http://dx.doi.org/10.1186/s13661-018-1047-

Fractionation of a Herbal Antidiarrheal Medicine Reveals Eugenol as an Inhibitor of Ca2+-Activated Cl− Channel TMEM16A

The Ca2+-activated Cl− channel TMEM16A is involved in epithelial fluid secretion, smooth muscle contraction and neurosensory signaling. We identified a Thai herbal antidiarrheal formulation that inhibited TMEM16A Cl− conductance. C18-reversed-phase HPLC fractionation of the herbal formulation revealed >98% of TMEM16A inhibition activity in one out of approximately 20 distinct peaks. The purified, active compound was identified as eugenol (4-allyl-2-methoxyphenol), the major component of clove oil. Eugenol fully inhibited TMEM16A Cl− conductance with single-site IC50∼150 µM. Eugenol inhibition of TMEM16A in interstitial cells of Cajal produced strong inhibition of intestinal contraction in mouse ileal segments. TMEM16A Cl− channel inhibition adds to the list of eugenol molecular targets and may account for some of its biological activities

Antibacterial activity of Thymoquinone, an active principle of Nigella sativa and its potency to prevent bacterial biofilm formation

<p>Abstract</p> <p>Background</p> <p>Thymoquinone is an active principle of <it>Nigella sativa </it>seed known as "Habbah Al-Sauda" in Arabic countries and "Sinouj" in Tunisia. Bacterial biofilms tend to exhibit significant tolerance to antimicrobials drugs during infections.</p> <p>Methods</p> <p>The antibacterial activity of Thymoquinone (TQ) and its biofilm inhibition potencies were investigated on 11 human pathogenic bacteria. The growth and development of the biofilm were assessed using the crystal violet (CV) and the 2, 3-bis [2-methyloxy-4-nitro-5-sulfophenyl]-2H-tetrazolium-5-carboxanilide (XTT) reduction assay.</p> <p>Results</p> <p>TQ exhibited a significant bactericidal activity against the majority of the tested bacteria (MICs values ranged from 8 to 32 μg/ml) especially Gram positive cocci (<it>Staphylococcus aureus </it>ATCC 25923 and <it>Staphylococcus epidermidis </it>CIP 106510). Crystal violet assay demonstrated that the minimum biofilm inhibition concentration (BIC50) was reached with 22 and 60 μg/ml for <it>Staphylococcus aureus </it>ATCC 25923 and <it>Staphylococcus epidermidis </it>CIP 106510 respectively. In addition our data revealed that cells oxidative activity was influenced by TQ supplementation. In the same way, TQ prevented cell adhesion to glass slides surface.</p> <p>Conclusion</p> <p>The ability of TQ to prevent biofilm formation warrants further investigation to explore its use as bioactive substances with antibiofilm potential.</p

Comparative analysis of medicinal plants used in traditional medicine in Italy and Tunisia

<p>Abstract</p> <p>Background</p> <p>Italy and Tunisia (Africa for the Romans), facing each other on the opposite sides of the Mediterranean Sea, have been historically linked since the ancient times. Over the centuries both countries were mutually dominated so the vestiges and traces of a mutual influence are still present. The aim of the present study is to conduct a comparative analysis of the medicinal species present in the respective Floras in order to explore potential analogies and differences in popular phytotherapy that have come out from those reciprocal exchanges having taken place over the centuries</p> <p>Methods</p> <p>The comparative analysis based on the respective floras of both countries takes into consideration the bulk of medicinal species mutually present in Italy and Tunisia, but it focuses on the species growing in areas which are similar in climate. The medicinal uses of these species are considered in accordance with the ethnobotanical literature.</p> <p>Results</p> <p>A list of 153 medicinal species belonging to 60 families, present in both floras and used in traditional medicine, was drawn. A considerable convergence in therapeutic uses of many species emerged from these data.</p> <p>Conclusion</p> <p>This comparative analysis strengthens the firm belief that ethno-botanical findings represent not only an important shared heritage, developed over the centuries, but also a considerable mass of data that should be exploited in order to provide new and useful knowledge.</p

Key concepts and a world‐wide look at plant recruitment networks

Plant–plant interactions are major determinants of the dynamics of terrestrial ecosystems. There is a long tradition in the study of these interactions, their mechanisms and their consequences using experimental, observational and theoretical approaches. Empirical studies overwhelmingly focus at the level of species pairs or small sets of species. Although empirical data on these interactions at the community level are scarce, such studies have gained pace in the last decade. Studying plant–plant interactions at the community level requires knowledge of which species interact with which others, so an ecological networks approach must be incorporated into the basic toolbox of plant community ecology. The concept of recruitment networks (RNs) provides an integrative framework and new insights for many topics in the field of plant community ecology. RNs synthesise the set of canopy–recruit interactions in a local plant assemblage. Canopy–recruit interactions describe which (“canopy”) species allow the recruitment of other species in their vicinity and how. Here we critically review basic concepts of ecological network theory as they apply to RNs. We use RecruitNet, a recently published worldwide data set of canopy–recruit interactions, to describe RN patterns emerging at the interaction, species, and community levels, and relate them to different abiotic gradients. Our results show that RNs can be sampled with high accuracy. The studies included in RecruitNet show a very high mean network completeness (95%), indicating that undetected canopy–recruit pairs must be few and occur very infrequently. Across 351,064 canopy–recruit pairs analysed, the effect of the interaction on recruitment was neutral in an average of 69% of the interactions per community, but the remaining interactions were positive (i.e. facilitative) five times more often than negative (i.e. competitive), and positive interactions had twice the strength of negative ones. Moreover, the frequency and strength of facilitation increases along a climatic aridity gradient worldwide, so the demography of plant communities is increasingly strongly dependent on facilitation as aridity increases. At network level, species can be ascribed to four functional types depending on their position in the network: core, satellite, strict transients and disturbance-dependent transients. This functional structure can allow a rough estimation of which species are more likely to persist. In RecruitNet communities, this functional structure most often departs from random null model expectation and could allow on average the persistence of 77% of the species in a local community. The functional structure of RNs also varies along the aridity gradient, but differently in shrubland than in forest communities. This variation suggests an increase in the probability of species persistence with aridity in forests, while such probability remains roughly constant along the gradient in shrublands. The different functional structure of RNs between forests and shrublands could contribute to explaining their co-occurrence as alternative stable states of the vegetation under the same climatic conditions. This review is not exhaustive of all the topics that can be addressed using the framework of RNs, but instead aims to present some of the interesting insights that it can bring to the field of plant community ecology