Refine
Year of publication
Document Type
- Article (19)
- Preprint (3)
- Working Paper (2)
- Diploma Thesis (1)
Has Fulltext
- yes (25)
Is part of the Bibliography
- no (25)
Keywords
- LHC (4)
- ALICE (2)
- 900 GeV (1)
- ALICE experiment (1)
- Active middle ear implants (1)
- Arbeitslosigkeit (1)
- Armut (1)
- Auditory system (1)
- B cells (1)
- B-cell antigen receptor (1)
Institute
Nowadays, several options are available to treat patients with conductive or mixed hearing loss. Whenever surgical intervention is not possible or contra-indicated, and amplification by a conventional hearing device (e.g., behind-the-ear device) is not feasible, then implantable hearing devices are an indispensable next option. Implantable bone-conduction devices and middle-ear implants have advantages but also limitations concerning complexity/invasiveness of the surgery, medical complications, and effectiveness. To counsel the patient, the clinician should have a good overview of the options with regard to safety and reliability as well as unequivocal technical performance data. The present consensus document is the outcome of an extensive iterative process including ENT specialists, audiologists, health-policy scientists, and representatives/technicians of the main companies in this field. This document should provide a first framework for procedures and technical characterization to enhance effective communication between these stakeholders, improving health care.
B-cell development and function depend on stage-specific signaling through the B-cell antigen receptor (BCR). Signaling and intracellular trafficking of the BCR are connected, but the molecular mechanisms of this link are incompletely understood. Here, we investigated the role of the endosomal adaptor protein and member of the LAMTOR/Ragulator complex LAMTOR2 (p14) in B-cell development. Efficient conditional deletion of LAMTOR2 at the pre-B1 stage using mb1-Cre mice resulted in complete developmental arrest. Deletion of LAMTOR2 using Cd19-Cre mice permitted analysis of residual B cells at later developmental stages, revealing that LAMTOR2 was critical for the generation and activation of mature B lymphocytes. Loss of LAMTOR2 resulted in aberrant BCR signaling due to delayed receptor internalization and endosomal trafficking. In conclusion, we identify LAMTOR2 as critical regulator of BCR trafficking and signaling that is essential for early B-cell development in mice.
Ziel dieser Arbeit war es, ein System zu entwickeln, mit dem Sätze von Reduktionsdiagrammen auf ihre Vollständigkeit überprüft werden können. Das System sollte in der puren, funktionalen Programmiersprache Haskell realisiert werden und speziell auf einen nichtdeterministischen Kalkül mit Konstruktoren, einem case-Konstrukt und einem rekursiven let- Ausdruck (letrec) ausgerichtet sein. Dazu wurde in Kapitel 2 der lambda-Kalkül und funktionale Programmiersprachen eingeführt, um die Entwicklung der Kalküle lambda-nd und lambda-nd,rec zu motivieren. Die Basis-Kalküle lambda-nd und lamda-nd,rec wurden in Kapitel 3 bezüglich ihrer Sprachdefinition und Reduktionsregeln vorgestellt. Die Implementierung der beiden Kalküle und der Parser für die verwendete Kernsprache wurden ebenso angegeben wie die Mechanismen zur Markierung und Reduktion der Terme. Die Unterscheidung eines reduzierbaren Terms in NO- und internen Redex, sowie deren Erkennung wurde in diesem Kapitel besonders herausgestellt, da sie die Grundlage für die zu validierenden Reduktionsdiagramme darstellt. Damit ist der Grundstock für diese Arbeit gelegt worden. In Kapitel 4 haben wir kurz Methoden vorgestellt, die lamda-Kalkülen und deren Derivate eine Bedeutung zuzumessen versuchen, um Programme oder Terme miteinander vergleichen zu können. Also nicht nur ihre Termstruktur, sondern ihr Verhalten zu vergleichen. Dabei ist festgestellt worden, daß für nichtdeterministische Kalküle nur eine Methode verfügbar ist, und zwar die der kontextuellen Äquivalenz. Da wir gängige Programmtransformationen dahingehend überprüfen wollten, ob sie der kontextuellen Äquivalenz genügen, also nicht die Auswertung oder das Ergebnis derselben verändern, haben wir ein Kontext-Lemma vorgestellt. Mit Hilfe des Kontext-Lemmas ist es uns möglich gewesen, die Gültigkeit von Beweisen in Reduktionskontexten auf beliebige Kontexte auszudehnen. Für die eigentlichen Beweise werden Reduktionsdiagramme benötigt, die Reduktionsfolgen in verschiedener Weise umstellen. Wir haben die Reduktionsdiagramme ebenfalls in Kapitel 4 definiert. Die Reduktionsdiagramme müssen an jeder Stelle einer Reduktionsfolge anwendbar sein, da sonst die Äquivalenz-Beweise nicht möglich sind. D. h. es müßte bewiesen werden, daß mindestens ein Reduktionsdiagramm einer definierten Menge von Reduktionsdiagrammen für jeden Term und jede seiner Reduktionsfolgen anwendbar ist. Der naive Weg wäre, alle Terme und seine Reduktionsfolgen dahingehend zu überprüfen. Da dies jedoch nicht möglich ist, haben wir uns dazu entschlossen so viele Terme wie möglich zu untersuchen, nicht um die Vollständigkeit der Diagramme zu beweisen, sondern um zu zeigen, daß auf viele verschiedenartige Terme Reduktionsdiagramme erfolgreich angewendet werden können. Die Generierung der Terme haben wir in Kapitel 5 ausführlich dargestellt. In Kapitel 6 haben wir die Sprache zur Darstellung von Reduktionsdiagrammen und die Implementierung der Diagramm-Validierung beschrieben. Weiterhin haben wir ein Verfahren vorgestellt, mit dem wir fehlende Diagramme für Terme suchen und meist auch finden können. Das gesamte System haben wir so aufgebaut, daß eine große Menge an Termen generiert wird, für die Diagramme anwendbar sein müssen. Wenn keines der Diagramme auf einen Term anwendbar ist, also nicht validiert werden kann, dann wird ein passendes Diagramm gesucht. Mit Hilfe des entwickelten Systems Jonah sind in Kapitel 7 verschiedene Programmtransformationen dahingehend überprüft worden, ob die angegebenen Reduktionsdiagramme für große Mengen von Termen gültig sind. Dabei ist als Ergebnis herausgekommen, daß ein vollständiger Satz an Reduktionsdiagrammen für die (cp)-Reduktion nur sehr schwer zu finden ist. Selbst neu hinzugefügte Transformationen, die dabei helfen sollten, die Schwierigkeiten zu umgehen, konnten nicht verwendet werden, da es uns ebenfalls nicht möglich gewesen ist, für sie vollständige Diagrammsätze zu finden. Daraufhin haben wir den Basis-Kalkül zweimal erweitert, um die Schwierigkeiten der (cp)-Diagramme in den Griff zu bekommen. Aber auch diese Ansätze haben kein zufriedenstellendes Ergebnis geliefert. Als positives Ergebnis dieser Arbeit kann aber festgestellt werden, daß das System Jonah bei der Entwicklung nichtdeterministischer Kalküle auf Basis von lambda-Kalkülen eine sehr gute Hilfestellung sein kann, auch wenn es nicht zum vollständigen Beweis der Gültigkeit von Reduktionsdiagrammen dienen kann.
In a collective treatment the energies of the giant resonances are given by the boundary conditions at the nuclear surface, which is subject to vibration in spherical nuclei. The general form of the coupling between these two collective motions is given by angular-momentum and parity conservation. The coupling constants are completely determined within the hydrodynamical model. In the present treatment the influence of the surface vibrations on the total photon-absorption cross section is calculated. It turns out that in most of the spherical nuclei this interaction leads to a pronounced structure in the cross section. The agreement with the experiments in medium-heavy nuclei is striking; many of the experimental characteristics are reproduced by the present calculations. In some nuclei, however, there seem to be indications of single-particle excitations which are not yet contained in this work.
The last decade has seen a sharp increase in the number of scientific publications describing physiological and pathological functions of extracellular vesicles (EVs), a collective term covering various subtypes of cell-released, membranous structures, called exosomes, microvesicles, microparticles, ectosomes, oncosomes, apoptotic bodies, and many other names. However, specific issues arise when working with these entities, whose size and amount often make them difficult to obtain as relatively pure preparations, and to characterize properly. The International Society for Extracellular Vesicles (ISEV) proposed Minimal Information for Studies of Extracellular Vesicles (“MISEV”) guidelines for the field in 2014. We now update these “MISEV2014” guidelines based on evolution of the collective knowledge in the last four years. An important point to consider is that ascribing a specific function to EVs in general, or to subtypes of EVs, requires reporting of specific information beyond mere description of function in a crude, potentially contaminated, and heterogeneous preparation. For example, claims that exosomes are endowed with exquisite and specific activities remain difficult to support experimentally, given our still limited knowledge of their specific molecular machineries of biogenesis and release, as compared with other biophysically similar EVs. The MISEV2018 guidelines include tables and outlines of suggested protocols and steps to follow to document specific EV-associated functional activities. Finally, a checklist is provided with summaries of key points.