Ludics and its Applications to natural Language Semantics

Proofs, in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. The conception is at the intersection of a proof-theoretic and a game-theoretic accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes

Microwave responses of the western North Atlantic

Features and objects in the Western North Atlantic Ocean - the Eastern Seaboard of the United States - are observed from Earth orbit by passive microwaves. The intensities of their radiated flux signatures are measured and displayed in color as a microwave flux image. The features of flux emitting objects such as the course of the Gulf Stream and the occurrence of cold eddies near the Gulf Stream are identified by contoured patterns of relative flux intensities. The flux signatures of ships and their wakes are displayed and discussed. Metal data buoys and aircraft are detected. Signal to clutter ratios and probabilities of detection are computed from their measured irradiances. Theoretical models and the range equations that explain passive microwave detection using the irradiances of natural sources are summarized

Mesothelioma and thymic tumors: Treatment challenges in (outside) a network setting

The management of patients with mesothelioma and thymic malignancy requires continuous multidisciplinary expertise at any step of the disease. A dramatic improvement in our knowledge has occurred in the last few years, through the development of databases, translational research programs, and clinical trials. Access to innovative strategies represents a major challenge, as there is a lack of funding for clinical research in rare cancers and their rarity precludes the design of robust clinical trials that could lead to specific approval of drugs. In this context, patient-centered initiatives, such as the establishment of dedicated networks, are warranted. International societies, such as IMIG (International Mesothelioma Interest Group) and ITMIG (International Thymic Malignancy Interest Group) provide infrastructure for global collaboration, and there are many advantages to having strong regional groups working on the same issues. There may be regional differences in risk factors, susceptibility, management and outcomes. The ability to address questions both regionally as well as globally is ideal to develop a full understanding of mesothelioma and thymic malignancies. In Europe, through the integration of national networks with EURACAN, the collaboration with academic societies and international groups, the development of networks in thoracic oncology provides multiplex integration of clinical care and research, ultimately ensuring equal access to high quality care to all patients, with the opportunity of conducting high level clinical and translational research projects

Microwave hydrology: A trilogy

Microwave hydrology, as the term in construed in this trilogy, deals with the investigation of important hydrological features on the Earth's surface as they are remotely, and passively, sensed by orbiting microwave receivers. Microwave wavelengths penetrate clouds, foliage, ground cover, and soil, in varying degrees, and reveal the occurrence of standing liquid water on and beneath the surface. The manifestation of liquid water appearing on or near the surface is reported by a microwave receiver as a signal with a low flux level, or, equivalently, a cold temperature. Actually, the surface of the liquid water reflects the low flux level from the cosmic background into the input terminals of the receiver. This trilogy describes and shows by microwave flux images: the hydrological features that sustain Lake Baykal as an extraordinary freshwater resource; manifestations of subsurface water in Iran; and the major water features of the Congo Basin, a rain forest

Classical Structures Based on Unitaries

Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper addresses the question of when, or whether, they may coincide. Provided all definitions are strict in the categorical sense, we show that this can never be the case. However, allowing for the defining axioms to be taken up to canonical isomorphism, a close connection between the classical structures of categorical quantum mechanics, and the categorical property of self-similarity familiar from logical and computational models becomes apparent. The required canonical isomorphisms are non-trivial, and mix both typed (multi-object) and untyped (single-object) tensors and structural isomorphisms; we give coherence results that justify this approach. We then give a class of examples where distinct self-similar structures at an object determine distinct matrix representations of arrows, in the same way as classical structures determine matrix representations in Hilbert space. We also give analogues of familiar notions from linear algebra in this setting such as changes of basis, and diagonalisation.Comment: 24 pages,7 diagram

Dynamics of active membranes with internal noise

We study the time-dependent height fluctuations of an active membrane containing energy-dissipating pumps that drive the membrane out of equilibrium. Unlike previous investigations based on models that neglect either curvature couplings or random fluctuations in pump activities, our formulation explores two new models that take both of these effects into account. In the first model, the magnitude of the nonequilibrium forces generated by the pumps is allowed to fluctuate temporally. In the second model, the pumps are allowed to switch between "on" and "off" states. We compute the mean squared displacement of a membrane point for both models, and show that they exhibit distinct dynamical behaviors from previous models, and in particular, a superdiffusive regime specifically arising from the shot noise.Comment: 7 pages, 4 figure

Variation of the Diameter of the Sun as Measured by the Solar Disk Sextant (SDS)

The balloon-borne Solar Disk Sextant (SDS) experiment has measured the angular size of the Sun on seven occasions spanning the years 1992 to 2011. The solar half-diameter -- observed in a 100-nm wide passband centred at 615 nm -- is found to vary over that period by up to 200 mas, while the typical estimated uncertainty of each measure is 20 mas. The diameter variation is not in phase with the solar activity cycle; thus, the measured diameter variation cannot be explained as an observational artefact of surface activity. Other possible instrument-related explanations for the observed variation are considered but found unlikely, leading us to conclude that the variation is real. The SDS is described here in detail, as is the complete analysis procedure necessary to calibrate the instrument and allow comparison of diameter measures across decades.Comment: 41 pages; appendix and 2 figures added plus some changes in text based on referee's comments; to appear in MNRA