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.

Landmark Detection for Fusion of Fundus and MRI Towards a Patient-Specific Multi-Modal Eye Model

Ophthalmologists typically acquire different image modalities to diagnose eye pathologies. They comprise e.g., Fundus photography, Optical Coherence Tomography (OCT), Computed Tomography (CT) and Magnetic Resonance Imaging (MRI). Yet, these images are often complementary and do express the same pathologies in a different way. Some pathologies are only visible in a particular modality. Thus, it is beneficial for the ophthalmologist to have these modalities fused into a single patient-specific model. The presented article’s goal is a fusion of Fundus photography with segmented MRI volumes. This adds information to MRI which was not visible before like vessels and the macula. This article’s contributions include automatic detection of the optic disc, the fovea, the optic axis and an automatic segmentation of the vitreous humor of the eye.

Justifying induction on modal μ-formulae

We define a rank function for formulae of the propositional modal μ-calculus such that the rank of a fixed point is strictly bigger than the rank of any of its finite approximations. A rank function of this kind is needed, for instance, to establish the collapse of the modal μ-hierarchy over transitive transition systems. We show that the range of the rank function is ωω. Further we establish that the rank is computable by primitive recursion, which gives us a uniform method to generate formulae of arbitrary rank below ωω.

Split for the cure: VEGF, PDGF-BB and intussusception in therapeutic angiogenesis

Therapeutic angiogenesis is an attractive strategy to treat patients suffering from ischaemic conditions and vascular endothelial growth factor-A (VEGF) is the master regulator of blood vessel growth. However, VEGF can induce either normal or aberrant angiogenesis depending on its dose localized in the microenvironment around each producing cell in vivo and on the balanced stimulation of platelet-derived growth factor-BB (PDGF-BB) signalling, responsible for pericyte recruitment. At the doses required to induce therapeutic benefit, VEGF causes new vascular growth essentially without sprouting, but rather through the alternative process of intussusception, or vascular splitting. In the present article, we briefly review the therapeutic implications of controlling VEGF dose on one hand and pericyte recruitment on the other, as well as the key features of intussusceptive angiogenesis and its regulation.

Marital split-up and widowhood in old age: Differential impact on psychological and social well-being

Marital split-up and spousal loss are among the most stressful critical life events. Numerous studies have documented their detrimental effects on well-being, yet the large individual differences in psychological adaptation are still not well understood. Whereas in old age bereavement is normative and can be anticipated, divorce is an “off-time” transition for this age group. In contrast to bereavement which has been amply studied, research on later life divorce is still missing despite the increasing relevance of the topic due to the significant increase of divorces in older age. Based on a modified and extended view of Amato’s divorce-stress-adjustment model (2000), the aim of this contribution is to explore the differential impact of marital split-up and widowhood in older age on psychological (life satisfaction) and social well-being (social loneliness), and the adaptation to these critical life events. Our analyses are based on data gathered in a questionnaire study, which is part of the Swiss National Centre of Competence in Research LIVES. In a first step we compared three groups of individuals aged 60 to 75 years: a sample of 251 persons with a marital split-up (127 women; 123 men), a sample of 270 widowed persons (170 women; 100 men), and a group of 221 continuously married people (110 women; 111 men), which served as control group. In a second step, we investigated the role of socio-demographic variables, intrapersonal and interpersonal resources and variables of the context of loss as predictors for the psychological adaptation to a marital break-up and loss in old age. First results by ANCOVA indicate significant differences with regard to life satisfaction among the three groups, with divorced persons with the lowest scores, followed by the bereaved ones, and the married controls with the highest. Regarding social loneliness, divorced individuals report higher social loneliness than the bereaved group and the married controls (no significant difference between widowed and the married). In both loss groups, financial and intrapersonal resources, as well as the emotional valence of the loss are the most important predictors for the psychological and social adaptation. However, happiness in the past relationship is an important resource regarding the indicators for adaptation for the widowers, but not for individuals with a marital dissolution.

Modal interpolation via nested sequents

The main method of proving the Craig Interpolation Property (CIP) constructively uses cut-free sequent proof systems. Until now, however, no such method has been known for proving the CIP using more general sequent-like proof formalisms, such as hypersequents, nested sequents, and labelled sequents. In this paper, we start closing this gap by presenting an algorithm for proving the CIP for modal logics by induction on a nested-sequent derivation. This algorithm is applied to all the logics of the so-called modal cube.

Effects of PEG-Induced Water Deficit in Solanum nigrum on Zn and Ni Uptake and Translocation in Split Root Systems

Drought strongly influences root activities in crop plants and weeds. This paper is focused on the performance of the heavy metal accumulator Solanum nigrum, a plant which might be helpful for phytoremediation. The water potential in a split root system was decreased by the addition of polyethylene glycol (PEG 6000). Rubidium, strontium and radionuclides of heavy metals were used as markers to investigate the uptake into roots, the release to the shoot via the xylem, and finally the basipetal transport via the phloem to unlabeled roots. The uptake into the roots (total contents in the plant) was for most makers more severely decreased than the transport to the shoot or the export from the shoot to the unlabeled roots via the phloem. Regardless of the water potential in the labeling solution, 63Ni and 65Zn were selectively redistributed within the plant. From autoradiographs, it became evident that 65Zn accumulated in root tips, in the apical shoot meristem and in axillary buds, while 63Ni accumulated in young expanded leaves and roots but not in the meristems. Since both radionuclides are mobile in the phloem and are, therefore, well redistributed within the plant, the unequal transfer to shoot and root apical meristems is most likely caused by differences in the cell-to-cell transport in differentiation zones without functional phloem (immature sieve tubes).

Giant Electric Field Enhancement in Split Ring Resonators Featuring Nanometer-Sized Gaps

Today's pulsed THz sources enable us to excite, probe, and coherently control the vibrational or rotational dynamics of organic and inorganic materials on ultrafast time scales. Driven by standard laser sources THz electric field strengths of up to several MVm−1 have been reported and in order to reach even higher electric field strengths the use of dedicated electric field enhancement structures has been proposed. Here, we demonstrate resonant electric field enhancement structures, which concentrate the incident electric field in sub-diffraction size volumes and show an electric field enhancement as high as ~14,000 at 50 GHz. These values have been confirmed through a combination of near-field imaging experiments and electromagnetic simulations.

Diagnosing Organizational Identity Beliefs by Eliciting Complex, Multi-Modal Metaphors

The purpose of this article is to extend the organizational development diagnostics repertoire by advancing an approach that surfaces organizational identity beliefs through the elicitation of complex, multimodal metaphors by organizational members. We illustrate the use of such "Type IV" metaphors in a postmerger context, in which individuals sought to make sense of the implications of the merger process for the identity of their organization. This approach contributes to both constructive and discursive new organizational development approaches; and offers a multimodal way of researching organizational identity that goes beyond the dominant, mainly textual modality.