Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Robust Estimators in Generalized Pareto Models

This paper deals with optimally-robust parameter estimation in generalized Pareto distributions (GPDs). These arise naturally in many situations where one is interested in the behavior of extreme events as motivated by the Pickands-Balkema-de Haan extreme value theorem (PBHT). The application we have in mind is calculation of the regulatory capital required by Basel II for a bank to cover operational risk. In this context the tail behavior of the underlying distribution is crucial. This is where extreme value theory enters, suggesting to estimate these high quantiles parameterically using, e.g. GPDs. Robust statistics in this context offers procedures bounding the influence of single observations, so provides reliable inference in the presence of moderate deviations from the distributional model assumptions, respectively from the mechanisms underlying the PBHT.Comment: 26pages, 6 figure

Exchange Rate Pass-Through in an Emerging Market: The Case of the Czech Republic

We examine exchange rate pass-through, or how domestic prices respond to exchange rate shocks, in the Czech Republic from 1998 to 2013 by employing vector autoregression models. Using the aggregate consumer price index and its sub-components, we find that the degree of passthrough is incomplete except for food prices. The peak response occurs between 9 and 13 months after the exchange rate shock. The long-term pass-through is approximately 50% at the aggregate level. The degree of pass-through is greater for tradables than for non-tradables. The results also suggest that the exchange rate pass-through becomes slower but more complete during the financial crisis experienced in period considered

A randomized phase III study of carfilzomib vs low-dose corticosteroids with optional cyclophosphamide in relapsed and refractory multiple myeloma (FOCUS)

This randomized, phase III, open-label, multicenter study compared carfilzomib monotherapy against low-dose corticosteroids and optional cyclophosphamide in relapsed and refractory multiple myeloma (RRMM). Relapsed and refractory multiple myeloma patients were randomized (1:1) to receive carfilzomib (10-min intravenous infusion; 20 mg/m(2) on days 1 and 2 of cycle 1; 27 mg/m(2) thereafter) or a control regimen of low-dose corticosteroids (84 mg of dexamethasone or equivalent corticosteroid) with optional cyclophosphamide (1400 mg) for 28-day cycles. The primary endpoint was overall survival (OS). Three-hundred and fifteen patients were randomized to carfilzomib (n=157) or control (n=158). Both groups had a median of five prior regimens. In the control group, 95% of patients received cyclophosphamide. Median OS was 10.2 (95% confidence interval (CI) 8.4-14.4) vs 10.0 months (95% CI 7.7-12.0) with carfilzomib vs control (hazard ratio=0.975; 95% CI 0.760-1.249; P=0.4172). Progression-free survival was similar between groups; overall response rate was higher with carfilzomib (19.1 vs 11.4%). The most common grade ⩾3 adverse events were anemia (25.5 vs 30.7%), thrombocytopenia (24.2 vs 22.2%) and neutropenia (7.6 vs 12.4%) with carfilzomib vs control. Median OS for single-agent carfilzomib was similar to that for an active doublet control regimen in heavily pretreated RRMM patients

Towards a Cognitive Semantics of Type

Types are a crucial concept in conceptual modelling, logic, and knowledge representation as they are an ubiquitous device to un- derstand and formalise the classification of objects. We propose a logical treatment of types based on a cognitively inspired modelling that ac- counts for the amount of information that is actually available to a cer- tain agent in the task of classification. We develop a predicative modal logic whose semantics is based on conceptual spaces that model the ac- tual information that a cognitive agent has about objects, types, and the classification of an object under a certain type. In particular, we ac- count for possible failures in the classification, for the lack of sufficient information, and for some aspects related to vagueness

Distribution maps of vegetation alliances in Europe

Aim The first comprehensive checklist of European phytosociological alliances, orders and classes (EuroVegChecklist) was published by Mucina et al. (2016, Applied Vegetation Science, 19 (Suppl. 1), 3–264). However, this checklist did not contain detailed information on the distribution of individual vegetation types. Here we provide the first maps of all alliances in Europe. Location Europe, Greenland, Canary Islands, Madeira, Azores, Cyprus and the Caucasus countries. Methods We collected data on the occurrence of phytosociological alliances in European countries and regions from literature and vegetation-plot databases. We interpreted and complemented these data using the expert knowledge of an international team of vegetation scientists and matched all the previously reported alliance names and concepts with those of the EuroVegChecklist. We then mapped the occurrence of the EuroVegChecklist alliances in 82 territorial units corresponding to countries, large islands, archipelagos and peninsulas. We subdivided the mainland parts of large or biogeographically heterogeneous countries based on the European biogeographical regions. Specialized alliances of coastal habitats were mapped only for the coastal section of each territorial unit. Results Distribution maps were prepared for 1,105 alliances of vascular-plant dominated vegetation reported in the EuroVegChecklist. For each territorial unit, three levels of occurrence probability were plotted on the maps: (a) verified occurrence; (b) uncertain occurrence; and (c) absence. The maps of individual alliances were complemented by summary maps of the number of alliances and the alliance–area relationship. Distribution data are also provided in a spreadsheet. Conclusions The new map series represents the first attempt to characterize the distribution of all vegetation types at the alliance level across Europe. There are still many knowledge gaps, partly due to a lack of data for some regions and partly due to uncertainties in the definition of some alliances. The maps presented here provide a basis for future research aimed at filling these gaps

Distribution maps of vegetation alliances in Europe

Aim The first comprehensive checklist of European phytosociological alliances, orders and classes (EuroVegChecklist) was published by Mucina et al. (2016, Applied Vegetation Science, 19 (Suppl. 1), 3–264). However, this checklist did not contain detailed information on the distribution of individual vegetation types. Here we provide the first maps of all alliances in Europe. Location Europe, Greenland, Canary Islands, Madeira, Azores, Cyprus and the Caucasus countries. Methods We collected data on the occurrence of phytosociological alliances in European countries and regions from literature and vegetation-plot databases. We interpreted and complemented these data using the expert knowledge of an international team of vegetation scientists and matched all the previously reported alliance names and concepts with those of the EuroVegChecklist. We then mapped the occurrence of the EuroVegChecklist alliances in 82 territorial units corresponding to countries, large islands, archipelagos and peninsulas. We subdivided the mainland parts of large or biogeographically heterogeneous countries based on the European biogeographical regions. Specialized alliances of coastal habitats were mapped only for the coastal section of each territorial unit. Results Distribution maps were prepared for 1,105 alliances of vascular-plant dominated vegetation reported in the EuroVegChecklist. For each territorial unit, three levels of occurrence probability were plotted on the maps: (a) verified occurrence; (b) uncertain occurrence; and (c) absence. The maps of individual alliances were complemented by summary maps of the number of alliances and the alliance–area relationship. Distribution data are also provided in a spreadsheet. Conclusions The new map series represents the first attempt to characterize the distribution of all vegetation types at the alliance level across Europe. There are still many knowledge gaps, partly due to a lack of data for some regions and partly due to uncertainties in the definition of some alliances. The maps presented here provide a basis for future research aimed at filling these gaps