Search

In this paper, I establish the categorical structure necessary to interpret dependent inductive and coinductive types. It is well-known that dependent type theories \`a la Martin-L\"of can be interpreted using fibrations. Modern theorem provers, however, are based on more sophisticated type systems that allow the definition of powerful inductive dependent types (known as inductive families) and, somewhat limited, coinductive dependent types. I define a class of functors on fibrations and show how data type definitions correspond to initial and final dialgebras for these functors. This description is also a proposal of how coinductive types should be treated in type theories, as they appear here simply as dual of inductive types. Finally, I show how dependent data types correspond to algebras and coalgebras, and give the correspondence to dependent polynomial functors., Comment: In Proceedings FICS 2015, arXiv:1509.02826

Contains fulltext : 143633.pdf (Author’s version preprint ) (Open Access)

Introduction: The increasing microbial resistance against antibiotics complicates the therapy of bacterial infections. Therefore new therapeutic options, particularly those causing no resistance, are of high interest. Cold atmospheric plasma is one possible option to eradicate multidrug resistant microorganisms, and so far no resistance development against physical plasma is known. Method: We tested 6-fold repeated plasma applications on a Staphylococcus aureus strain embedded in biofilm and compared the reduction of the colony forming units between the different treatment periods to asses a possible development of resistance. Result: For all treatment periods, the control biofilms were reduced by plasma in average by 1.7 log10 CFU, and decreased from 7.6 to 5.8 log10 (CFU/cm2) within 5 hours. The results demonstrated that repeated plasma doses not induce resistance or habituation against plasma applied within short time periods. Conclusion: The repeated application of cold plasma is a promising option for the treatment of infected wounds without the risk of development of resistance against plasma., GMS Hygiene and Infection Control; 9(3):Doc17; ISSN 2196-5226

Background: The formation of biofilms is crucial to the pathogenesis of many dental microbial infections. Oral candidosis are common and often found under removable partial dentures. Nonthermal atmospheric plasma (tissue tolerable plasma, TTP) was tested for its antimicrobial activity against different matured Candida albicans biofilms. Methods: We assessed the efficacy of selected agents (chlorhexidine, sodium hypochlorite, fluconazol) and TTP against in vitro biofilms of C. albicans grown 12 h (young), 24 h and 48 h (mature) in microtiter plates. Results: One minute TTP-treatment was shown to have significant effects on biofilm formation during the whole measurement period of young and mature biofilms. Only the effects of fluconazol and TTP could reduce formation of young biofilms for a longer period. Conclusions: The maturity level of biofilms influences the antiseptic efficacy of different agents. Young biofilms are very sensitive to antimicrobial effects, but they recover from it very fast. Mature biofilms show lower but long-term effects. Single plasma treatment for 1 min reduces the formation of young as well as mature biofilms. For the future physical treatment by TTP may get an alternative to chemical antisepsis. Hintergrund: Orale Candidosen, insbesondere unter Prothesen, sind weit verbreitet. Daher wurde die antimykotische Wirksamkeit eines kalten Atmosphärendruckplasmas (tissue tolerable plasma, TTP) gegen unterschiedlich reife Candida albicans -Biofilme untersucht. Methoden: Die Wirksamkeit ausgewählter Substanzen (Chlorhexidin, Natriumhypochlorit, Fluconazol) und von TTP gegen Biofilme, die 12 h (jung), 24 h und 48 h (reif) in Mikrotiterplatten wuchsen, wurde ermittelt. Ergebnisse: Einminütige TTP-Behandlung zeigte über den gesamten Messzeitraum eine signifikante Verminderung der Biofilmbildung bei jungen und reifen Biofilmen gegenüber der unbehandelten Kontrolle. Neben TTP konnte nur Fluconazol die Biofilmbildung des jungen Biofilms langfristig reduzieren. Schlussfolgerung: Der Reifegrad von Biofilmen hat einen Einfluss auf die antiseptische Wirksamkeit verschiedener Substanzen. Junge Biofilme sind sehr empfindlich, erholen sich allerdings sehr schnell. Reife Biofilme zeigen weniger ausgeprägte Effekte, die allerdings lang anhaltender sind. Die einminütige TTP-Anwendung reduziert die Biofilmbildung von jungen und reifen Biofilmen signifikant und könnte in Zukunft eine Alternative zur chemischen Antiseptik darstellen.

We show that coinductive predicates expressing behavioural properties of infinite objects can be themselves expressed as final coalgebras in a category of relations. The well-known case of bisimulation will simply be a special case of such final predicates. We will show how some useful pointwise and mixed properties of streams can be modelled in this way.

In this report, we prove the undecidability of Core XPath 1.0 (CXP) extended with an Inflationary Fixed Point (IFP) operator. We prove that the satisfiability problem of this language is undecidable. In fact, the fragment of CXP+IFP containing only the self and descendant axes is already undecidable.

Auf der Grundlage des aktuellen Wissenstands zu den physikalischen Eigenschaften und den biologischen Wirkungen von Tissue Tolerable Plasma (TTP) werden die Möglichkeiten und Perspektiven der Plasmamedizin diskutiert, um im interdisziplinären Dialog Hypothesen für die weitere Grundlagen- und Anwendungsforschung zu generieren. Folgende Möglichkeiten bieten sich zur medizinischen Anwendung von TTP an: Prävention und Therapie von Erkrankungen (chronische Wunden, infektiöse Haut- und Schleimhauterkrankungen, lokalisierte Tumoren, Keloidbildung, Förderung der Angiogenese, Gewebeabtragung, Blutstillung) Hemmung der Biofilmbildung durch Oberflächenbehandlung und durch direkte Einwirkung auf Biofilme Förderung der Einheilung von Implantaten durch veränderte Oberflächen (Hydrophobie, plasmagesteuerte Auftragung antimikrobiell wirksamer Schichten mit der Funktion eines Drug delivery Systems) Förderung der Penetration topisch applizierter Arzneimittel mit verbessertem Therapieergebnis Einsatz für veterinärmedizinische Indikationen Verbesserte Reinigungsleistung im Aufbereitungsprozess von Medizinprodukten durch Oberflächenveränderung., GMS Krankenhaushygiene Interdisziplinär; 4(2):Doc10; ISSN 1863-5245

Committee on Identification of Research Needs Relating to Potential Biological or Adverse Health Effects of Wireless Communications Devices, National Research Council of the USA

We describe a locally trivial quantum principal U(1)-bundle over the quantum space S^2_{pq} which is a noncommutative analogue of the usual Hopf bundle. We also provide results concerning the structure of its total space algebra (irreducible *-representations and topological K-groups) and its Galois aspects (Galois property, existence of a strong connection, non-cleftness)., 5 pages, Latex2e

The irreducible *-representations of the polynomial algebra O(S^3_{pq}) of the quantum 3-sphere introduced by Calow and Matthes are classified. The K-groups of its universal C*-algebra are shown to coincide with their classical counterparts. The U(1)-action on O(S^3_{pq}) corresponding for p=1=q to the classical Hopf fibration is proven to be Galois (free). The thus obtained locally trivial Hopf-Galois extension is shown to be relatively projective (admitting a strong connection) and non-cleft. The latter is proven by determining an appropriate Chern-Connes pairing., latex 2e, 23 pages in A4

National audience; Ce document constitue un guide destiné à limiter l'exposition aux champs électromagnétiques à des niveaux assurant la protection des personnes contre les effets nocifs connus de ces champs. Il présente des études sur les effets directs et indirects des champs électromagnétiques (les effets directs résultant d'une interaction directe entre les champs et l'organisme humain, les effets indirects faisant intervenir des interactions avec un objet se trouvant à un potentiel électrique différent de celui du corps humain). Les auteurs discutent les résultats des études épidémiologiques et de laboratoire, les principaux critères d'exposition et les niveaux de référence pour l'évaluation pratique du risque. Le guide s'applique à l'exposition des travailleurs et du public.

The paper covers known facts about the Dixmier trace (with some generalities about traces), the Wodzicki residue, and Connes' trace theorem, including two variants of proof of the latter. Action formulas are treated very sketchy, because they were considered in other lectures of the workshop., Latex2e, 32 pages, expanded version of a lecture at the workshop "The Standard Model of Elementary Particle Physics from a Mathematical-Geometrical Viewpoint", Hesselberg, March 1999, http://www.uni-leipzig.de/~ntz/abs/abs1299.htm, revised version

We construct a quantum frame bundle of the quantum plane $C^2_p$ by requiring that a $GL_{q,p}(2)$-covariant differential calculus on $C^2_p$ be isomorphic as a bimodule to the space of sections of the associated quantum cotangent bundle. We also construct the section space of the associated quantum tangent bundle, and show that it is naturally dual to the differential calculus., 8 pages, latex