- A prospective randomised, open-labeled, trial comparing sirolimus-containing versus mTOR-inhibitor-free immunosuppression in patients undergoing liver transplantation for hepatocellular carcinoma (2010)
- Background: The potential anti-cancer effects of mammalian target of rapamycin (mTOR) inhibitors are being intensively studied. To date, however, few randomised clinical trials (RCT) have been performed to demonstrate anti-neoplastic effects in the pure oncology setting, and at present, no oncology endpoint-directed RCT has been reported in the high-malignancy risk population of immunosuppressed transplant recipients. Interestingly, since mTOR inhibitors have both immunosuppressive and anti-cancer effects, they have the potential to simultaneously protect against immunologic graft loss and tumour development. Therefore, we designed a prospective RCT to determine if the mTOR inhibitor sirolimus can improve hepatocellular carcinoma (HCC)-free patient survival in liver transplant (LT) recipients with a pre-transplant diagnosis of HCC. Methods: The study is an open-labelled, randomised, RCT comparing sirolimus-containing versus mTOR-inhibitor-free immunosuppression in patients undergoing LT for HCC. Patients with a histologically confirmed HCC diagnosis are randomised into 2 groups within 4-6 weeks after LT; one arm is maintained on a centre-specific mTOR-inhibitor-free immunosuppressive protocol and the second arm is maintained on a centre-specific mTOR-inhibitor-free immunosuppressive protocol for the first 4-6 weeks, at which time sirolimus is initiated. A 3-year recruitment phase is planned with a 5-year follow-up, testing HCC-free survival as the primary endpoint. Our hypothesis is that sirolimus use in the second arm of the study will improve HCC-free survival. The study is a non-commercial investigator-initiated trial (IIT) sponsored by the University Hospital Regensburg and is endorsed by the European Liver and Intestine Transplant Association; 13 countries within Europe, Canada and Australia are participating. Discussion: If our hypothesis is correct that mTOR inhibition can reduce HCC tumour growth while simultaneously providing immunosuppression to protect the liver allograft from rejection, patients should experience less post-transplant problems with HCC recurrence, and therefore could expect a longer and better quality of life. A positive outcome will likely change the standard of posttransplant immunosuppressive care for LT patients with HCC. (trial registered at www.clinicaltrials.gov: NCT00355862) (EudraCT Number: 2005-005362-36)
- Revision der Gattung Amphidium (Musci, Dicranaceae) (2000)
- Only 3 of the 13 species so far comprised in Amphidium were retained in the genus: A lapponicum (Hedw.) Schimp., A. mougeotii (B.S.G.) Schimp. and A. tortuosum (Hornschuch) Cufodontis. Amphidium. sublapponicum (C. Müll.) Broth. is conspecific with A. lapponicum, A. cyathicarpum (Mont.) Broth., A. curvipes (C. Müll.) Broth. and A. californicum (C. Müll.) Broth. are synoymous with A. tortuosum. Amphidium brevifolium Broth., A. clastophyllum Broth. and A. papillosum Broth., all known only from the type locality, are sterile and differ vegetatively from all other species of the genus. They belong probably not to Amphidium. The types of Amphidium letestui Thér. & P. Varde, A. aloysii-sabaudiae Negri and A. remotidens (C. Müll.) Broth. could not be located.
- Adequacy of compositional translations for observational semantics (2008)
- We investigate methods and tools for analysing translations between programming languages with respect to observational semantics. The behaviour of programs is observed in terms of may- and must-convergence in arbitrary contexts, and adequacy of translations, i.e., the reﬂection of program equivalence, is taken to be the fundamental correctness condition. For compositional translations we propose a notion of convergence equivalence as a means for proving adequacy. This technique avoids explicit reasoning about contexts, and is able to deal with the subtle role of typing in implementations of language extension.
- Program Equivalence for a Concurrent Lambda Calculus with Futures (2006)
- Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with futures Lambda(fut), which formalizes the operational semantics of the programming language Alice ML. We show that natural program optimizations, as well as partial evaluation with respect to deterministic rules, are correct for Lambda(fut). This relies on a number of fundamental properties that we establish for our observational semantics.
- On proving the equivalence of concurrency primitives (2008)
- Various concurrency primitives have been added to sequential programming languages, in order to turn them concurrent. Prominent examples are concurrent buffers for Haskell, channels in Concurrent ML, joins in JoCaml, and handled futures in Alice ML. Even though one might conjecture that all these primitives provide the same expressiveness, proving this equivalence is an open challenge in the area of program semantics. In this paper, we establish a first instance of this conjecture. We show that concurrent buffers can be encoded in the lambda calculus with futures underlying Alice ML. Our correctness proof results from a systematic method, based on observational semantics with respect to may and must convergence.
- On correctness of buffer implementations in a concurrent lambda calculus with futures (2009)
- Motivated by the question of correctness of a specific implementation of concurrent buffers in the lambda calculus with futures underlying Alice ML, we prove that concurrent buffers and handled futures can correctly encode each other. Correctness means that our encodings preserve and reflect the observations of may- and must-convergence. This also shows correctness wrt. program semantics, since the encodings are adequate translations wrt. contextual semantics. While these translations encode blocking into queuing and waiting, we also provide an adequate encoding of buffers in a calculus without handles, which is more low-level and uses busy-waiting instead of blocking. Furthermore we demonstrate that our correctness concept applies to the whole compilation process from high-level to low-level concurrent languages, by translating the calculus with buffers, handled futures and data constructors into a small core language without those constructs.
- Effect of montelukast on platelet activating factor- and tachykinin induced mucus secretion in the rat (2008)
- Background: Platelet activating factor and tachykinins (substance P, neurokinin A, neurokinin B) are important mediators contributing to increased airway secretion in the context of different types of respiratory diseases including acute and chronic asthma. Leukotriene receptor antagonists are recommended as add-on therapy for this disease. The cys-leukotriene-1 receptor antagonist montelukast has been used in clinical asthma therapy during the last years. Besides its inhibitory action on bronchoconstriction, only little is known about its effects on airway secretions. Therefore, the aim of this study was to evaluate the effects of montelukast on platelet activating factor- and tachykinin induced tracheal secretory activity. Methods: The effects of montelukast on platelet activating factor- and tachykinin induced tracheal secretory activity in the rat were assessed by quantification of secreted 35SO4 labelled mucus macromolecules using the modified Ussing chamber technique. Results: Platelet activating factor potently stimulated airway secretion, which was completely inhibited by the platelet activating factor receptor antagonist WEB 2086 and montelukast. In contrast, montelukast had no effect on tachykinin induced tracheal secretory activity. Conclusion: Cys-leukotriene-1 receptor antagonism by montelukast reverses the secretagogue properties of platelet activating factor to the same degree as the specific platelet activating factor antagonist WEB 2086 but has no influence on treacheal secretion elicited by tachykinins. These results suggest a role of montelukast in the signal transduction pathway of platelet activating factor induced secretory activity of the airways and may further explain the beneficial properties of cys-leukotriene-1 receptor antagonists.
- Towards a THz Bloch laser (2011)
- The realisation of tunable THz laser sources working at room temperature would give rise to further applications in this range of the electromagnetic spectrum. The THz Bloch laser could therefore become the basis for a technological breakthrough. Beside this practical relevance, the physics of the gain mechanism has been investigated theoretically for a long time and the experimental implementation of a self-starting laser still has not been achieved. At the beginning of this thesis the basic principles of Bloch oscillations and the related Bloch gain are described. The need of a superlattice structure to make Bloch oscillations possible in a semiconductor material is discussed. In this context, the effect of negative differential resistance and its influence on the field distribution due to Gunn domains is explained. The latter lead to an inhomogeneous field which may suppress the Bloch gain mechanism. The Krömer criterion is introduced and the concept of field-pinning layers to improve the field homogeneity is deduced. Finally, the design of the laser material is shown and different types of laser waveguides are compared. In chapter 3 detailed recipes for the processing of samples are given. Different types of contacts (ohmic and Schottky), the wafer bonding process required for double-metal lasers and the application of different photoresists for different purposes are described. An explanation of the formation of waveguides due to dry etching, wet etching and ion implantation follows. Dry etching is an established technique in the field of microstructure processing but the challenge of etching about 20 μm has led to problems. The high etching depth also makes wet etching difficult but this method could be improved due to a hard bake of the photoresist. The protection of critical areas on the surface of the samples with photoresist during ion implantation was increased by optimising the spin coating process. However, a full implantation of the active layer between the waveguides was not achieved which was the reason for the development of the hybrid technology. Here a prior wet etching of about 10 μm is performed and the rest of the material is implanted. The experimental setup is shown in chapter 4. An alternative method for the electrical contacting with the help of a copper bar is introduced. This improves the current distribution and the risk of an electrical breakdown during the measurements could therefore be lowered. Devices for THz beam guidance and spectroscopic measurements are shown and the method of biasing the samples with pulses below 100 ns and determining the effective voltage applied to the sample is depicted. These short pulses are required to prevent the samples heating up drastically due to high power. Chapter 5 contains the current-voltage characterisation of several structures including I-V-samples, Bloch laser samples and a quantum cascade laser. Different contacts (ohmic and Schottky) and different techniques for the formation of the ridges have been used in the processing of these samples (performed at the University of Frankfurt in all cases) and their influence on the I-V-dependence is discussed. The properties of the THz emission of the quantum cascade laser are in good agreement with published results from lasers processed with the same material. Another important result of this chapter is that the Bloch laser samples show unstable behaviour compared to the quantum cascade structure even with short pulses (of about 10 ns) where the risk of an electrical breakdown or the building of filaments is low. THz radiation emitted from one of the Bloch laser samples could not be observed. Two aspects that may have prevented the Bloch laser to emit are discussed in chapter 6. The saturation of the gain for higher amplitudes of the THz wave is investigated in single mode and multiple mode operation (the latter could occur due to the Bloch gain being expected to be broadband). In both cases it is shown that the saturation effect would limit the output power only to values clearly above the detection limit. In the subsequent section the distribution of the electric field is simulated with SILVACO software. Structures with transit layer lengths above the Krömer criterion are compared with structures which include field-pinning layers. It is shown that the latter are useful to avoid propagating Gunn domains as they build up in similar structures without field-pinning layers. Nevertheless, the electric field inside the superlattice regions is not stable. Beside spatial inhomogeneities also temporal variations of the field magnitude are observed. The lack of a suitable field distribution is expected to be the main reason for the samples not to work.