A Hennessy-Milner Property for Many-Valued Modal Logics

A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.

Rezension zu: Inge Govaere and Hanns Ulrich (eds.): Intellectual Property, Public Policy and International Trade

The contemporary intellectual property rights (IPR) system is not a simple, smoothly working block of rules but is complex and full of ambiguities, and as many argue, imperfections. Some deficits relate on the one hand to the inherent centrality of authorship, originality and mercantilism to the ‘Western’ IP model, which leaves numerous non-Western, collaborative or folkloric modes of production outside the scope of protection. On the other hand, some imperfections stem from the way IPR are granted, whereby creators acquire a temporary monopoly over their works and thus exclude the public from having access to them. In this sense, it is often uncertain whether the existent IPR model appropriately reflects the precarious balance between private and public interests, and whether the best incentives to promote creativity and innovation - the initially stated objectives of intellectual property protection - are offered. The matter becomes still more complicated when one considers that the IPR system is not domestically contained but is globalised and strongly affected by rules at the regional and international levels. The question of whether the balance between private interests and public values is sustained within the international legal framework, epitomised by the Agreement on Trade-Related Aspects of Intellectual Property Rights (TRIPS) of the World Trade Organization (WTO), is precisely the topic of the book reviewed here. Review of Intellectual Property, Public Policy, and International Trade, edited by Inge Govaere and Hanns Ullrich, P.I.E. Peter Lang, 2007.

Tight junctions in brain barriers during central nervous system inflammation

Homeostasis within the central nervous system (CNS) is a prerequisite to elicit proper neuronal function. The CNS is tightly sealed from the changeable milieu of the blood stream by the blood-brain barrier (BBB) and the blood-cerebrospinal fluid (CSF) barrier (BCSFB). Whereas the BBB is established by specialized endothelial cells of CNS microvessels, the BCSFB is formed by the epithelial cells of the choroid plexus. Both constitute physical barriers by a complex network of tight junctions (TJs) between adjacent cells. During many CNS inflammatory disorders, such as multiple sclerosis, human immunodeficiency virus infection, or Alzheimer's disease, production of pro-inflammatory cytokines, matrix metalloproteases, and reactive oxygen species are responsible for alterations of CNS barriers. Barrier dysfunction can contribute to neurological disorders in a passive way by vascular leakage of blood-borne molecules into the CNS and in an active way by guiding the migration of inflammatory cells into the CNS. Both ways may directly be linked to alterations in molecular composition, function, and dynamics of the TJ proteins. This review summarizes current knowledge on the cellular and molecular aspects of the functional and dysfunctional TJ complexes at the BBB and the BCSFB, with a particular emphasis on CNS inflammation and the role of reactive oxygen species.

Assessment of melanocytic skin lesions with a high-definition laser Doppler imaging system

Early detection is a major goal in the management of malignant melanoma. Besides clinical assessment many noninvasive technologies such as dermoscopy, digital dermoscopy and in vivo laser scanner microscopy are used as additional methods. Herein we tested a system to assess lesional perfusion as a tool for early melanoma detection.

[Complement--a phylogenetically old system as a new player in the development of atherosclerosis]

Atherosclerotic diseases such as coronary artery disease and ischaemic stroke are caused by chronic inflammation in arterial vessel walls. The complement system is part of the innate immune system. It is involved in many processes contributing to onset and development of atherosclerotic plaques up to the final stage of acute thrombotic events. This is due to its prominent role in inflammatory processes. In addition, there is increasing evidence that interactions between complement and coagulation provide a link between inflammation and thrombosis. On the other hand, the complement system also has an atheroprotective function through the clearance of apoptotic material. The knowledge of these complex mechanisms will become increasingly important, also for clinicians, since it may lead to novel therapeutic and diagnostic options. Therapies targeting the complement system have the potential to reduce tissue damage caused by acute ischaemic events. Whether early anti-inflammatory and anti-complement therapy may be able to prevent atherosclerosis, remains a hot topic for research.

TRPM4 channels in the cardiovascular system: physiology, pathophysiology, and pharmacology

The transient receptor potential channel (TRP) family comprises at least 28 genes in the human genome. These channels are widely expressed in many different tissues, including those of the cardiovascular system. The transient receptor potential channel melastatin 4 (TRPM4) is a Ca(2+)-activated non-specific cationic channel, which is impermeable to Ca(2+). TRPM4 is expressed in many cells of the cardiovascular system, such as cardiac cells of the conduction pathway and arterial and venous smooth muscle cells. This review article summarizes the recently described roles of TRPM4 in normal physiology and in various disease states. Genetic variants in the human gene TRPM4 have been linked to several cardiac conduction disorders. TRPM4 has also been proposed to play a crucial role in secondary hemorrhage following spinal cord injuries. Spontaneously hypertensive rats with cardiac hypertrophy were shown to over-express the cardiac TRPM4 channel. Recent studies suggest that TRPM4 plays an important role in cardiovascular physiology and disease, even if most of the molecular and cellular mechanisms have yet to be elucidated. We conclude this review article with a brief overview of the compounds that have been shown to either inhibit or activate TRPM4 under experimental conditions. Based on recent findings, the TRPM4 channel can be proposed as a future target for the pharmacological treatment of cardiovascular disorders, such as hypertension and cardiac arrhythmias.

Immunologic privilege in the central nervous system and the blood-brain barrier

The brain is in many ways an immunologically and pharmacologically privileged site. The blood-brain barrier (BBB) of the cerebrovascular endothelium and its participation in the complex structure of the neurovascular unit (NVU) restrict access of immune cells and immune mediators to the central nervous system (CNS). In pathologic conditions, very well-organized immunologic responses can develop within the CNS, raising important questions about the real nature and the intrinsic and extrinsic regulation of this immune privilege. We assess the interactions of immune cells and immune mediators with the BBB and NVU in neurologic disease, cerebrovascular disease, and intracerebral tumors. The goals of this review are to outline key scientific advances and the status of the science central to both the neuroinflammation and CNS barriers fields, and highlight the opportunities and priorities in advancing brain barriers research in the context of the larger immunology and neuroscience disciplines. This review article was developed from reports presented at the 2011 Annual Blood-Brain Barrier Consortium Meeting.

Interactions between the microbiota and the immune system

The large numbers of microorganisms that inhabit mammalian body surfaces have a highly coevolved relationship with the immune system. Although many of these microbes carry out functions that are critical for host physiology, they nevertheless pose the threat of breach with ensuing pathologies. The mammalian immune system plays an essential role in maintaining homeostasis with resident microbial communities, thus ensuring that the mutualistic nature of the host-microbial relationship is maintained. At the same time, resident bacteria profoundly shape mammalian immunity. Here, we review advances in our understanding of the interactions between resident microbes and the immune system and the implications of these findings for human health.

A high-resolution soil erosion risk map of Switzerland as strategic policy support system

Soil erosion models and soil erosion risk maps are often used as indicators to assess potential soil erosion in order to assist policy decisions. This paper shows the scientific basis of the soil erosion risk map of Switzerland and its application in policy and practice. Linking a USLE/RUSLE-based model approach (AVErosion) founded on multiple flow algorithms and the unit contributing area concept with an extremely precise and high-resolution digital terrain model (2 m × 2 m grid) using GIS allows for a realistic assessment of the potential soil erosion risk, on single plots, i.e. uniform and comprehensive for the agricultural area of Switzerland (862,579 ha in the valley area and the lower mountain regions). The national or small-scale soil erosion prognosis has thus reached a level heretofore possible only in smaller catchment areas or single plots. Validation was carried out using soil loss data from soil erosion damage mappings in the field from long-term monitoring in different test areas. 45% of the evaluated agricultural area of Switzerland was classified as low potential erosion risk, 12% as moderate potential erosion risk, and 43% as high potential erosion risk. However, many of the areas classified as high potential erosion risk are located at the transition from valley to mountain zone, where many areas are used as permanent grassland, which drastically lowers their current erosion risk. The present soil erosion risk map serves on the one hand to identify and prioritise the high-erosion risk areas, and on the other hand to promote awareness amongst farmers and authorities. It was published on the internet and will be made available to the authorities in digital form. It is intended as a tool for simplifying and standardising enforcement of the legal framework for soil erosion prevention in Switzerland. The work therefore provides a successful example of cooperation between science, policy and practice.

Antitumor activity of an epithelial cell adhesion molecule targeted nanovesicular drug delivery system

Site-specific delivery of anticancer agents to tumors represents a promising therapeutic strategy because it increases efficacy and reduces toxicity to normal tissues compared with untargeted drugs. Sterically stabilized immunoliposomes (SIL), guided by antibodies that specifically bind to well internalizing antigens on the tumor cell surface, are effective nanoscale delivery systems capable of accumulating large quantities of anticancer agents at the tumor site. The epithelial cell adhesion molecule (EpCAM) holds major promise as a target for antibody-based cancer therapy due to its abundant expression in many solid tumors and its limited distribution in normal tissues. We generated EpCAM-directed immunoliposomes by covalently coupling the humanized single-chain Fv antibody fragment 4D5MOCB to the surface of sterically stabilized liposomes loaded with the anticancer agent doxorubicin. In vitro, the doxorubicin-loaded immunoliposomes (SIL-Dox) showed efficient cell binding and internalization and were significantly more cytotoxic against EpCAM-positive tumor cells than nontargeted liposomes (SL-Dox). In athymic mice bearing established human tumor xenografts, pharmacokinetic and biodistribution analysis of SIL-Dox revealed long circulation times in the blood with a half-life of 11 h and effective time-dependent tumor localization, resulting in up to 15% injected dose per gram tissue. These favorable pharmacokinetic properties translated into potent antitumor activity, which resulted in significant growth inhibition (compared with control mice), and was more pronounced than that of doxorubicin alone and nontargeted SL-Dox at low, nontoxic doses. Our data show the promise of EpCAM-directed nanovesicular drug delivery for targeted therapy of solid tumors.

Functions and effects of creatine in the central nervous system

Creatine kinase catalyses the reversible transphosphorylation of creatine by ATP. In the cell, creatine kinase isoenzymes are specifically localized at strategic sites of ATP consumption to efficiently regenerate ATP in situ via phosphocreatine or at sites of ATP generation to build-up a phosphocreatine pool. Accordingly, the creatine kinase/phosphocreatine system plays a key role in cellular energy buffering and energy transport, particularly in cells with high and fluctuating energy requirements like neurons. Creatine kinases are expressed in the adult and developing human brain and spinal cord, suggesting that the creatine kinase/phosphocreatine system plays a significant role in the central nervous system. Functional impairment of this system leads to a deterioration in energy metabolism, which is phenotypic for many neurodegenerative and age-related diseases. Exogenous creatine supplementation has been shown to reduce neuronal cell loss in experimental paradigms of acute and chronic neurological diseases. In line with these findings, first clinical trials have shown beneficial effects of therapeutic creatine supplementation. Furthermore, creatine was reported to promote differentiation of neuronal precursor cells that might be of importance for improving neuronal cell replacement strategies. Based on these observations there is growing interest on the effects and functions of this compound in the central nervous system. This review gives a short excursion into the basics of the creatine kinase/phosphocreatine system and aims at summarizing findings and concepts on the role of creatine kinase and creatine in the central nervous system with special emphasis on pathological conditions and the positive effects of creatine supplementation.

Genetic engineering and the world trade system

While the WTO agreements do not regulate the use of biotechnology per se, their rules can have a profound impact on the use of the technology for both commercial and non-commercial purposes. This book seeks to identify the challenges to international trade regulation that arise from biotechnology. The contributions examine whether existing international obligations of WTO Members are appropriate to deal with the issues arising for the use of biotechnology and whether there is a need for new international legal instruments, including a potential WTO Agreement on Biotechnology. They combine various perspectives on and topics relating to genetic engineering and trade, including human rights and gender; intellectual property rights; traditional knowledge and access and benefit sharing; food security, trade and agricultural production and food safety; and medical research, cloning and international trade.