Adjacent versus coincident representations of geospatial uncertainty: Which promote better decisions?

3D geological models commonly built to manage natural resources are much affected by uncertainty because most of the subsurface is inaccessible to direct observation. Appropriate ways to intuitively visualize uncertainties are therefore critical to draw appropriate decisions. However, empirical assessments of uncertainty visualization for decision making are currently limited to 2D map data, while most geological entities are either surfaces embedded in a 3D space or volumes.This paper first reviews a typical example of decision making under uncertainty, where uncertainty visualization methods can actually make a difference. This issue is illustrated on a real Middle East oil and gas reservoir, looking for the optimal location of a new appraisal well. In a second step, we propose a user study that goes beyond traditional 2D map data, using 2.5D pressure data for the purposes of well design. Our experiments study the quality of adjacent versus coincident representations of spatial uncertainty as compared to the presentation of data without uncertainty; the representations' quality is assessed in terms of decision accuracy. Our study was conducted within a group of 123 graduate students specialized in geology.     

Efficient search of combinatorial maps using signatures

In this paper, we address the problem of computing canonical representations of n-dimensional combinatorial maps and of using them for efficiently searching for a map in a database. We define two combinatorial map signatures: the first one has a quadratic space complexity and may be used to decide an isomorphism with a new map in linear time whereas the second one has a linear space complexity and may be used to decide an isomorphism in quadratic time. We show that these signatures can be used to efficiently search for a map in a database.     

Loop Shifting for Loop Compaction

The idea of decomposed software pipelining is to decouple the software pipelining problem into a cyclic scheduling problem without resource constraints and an acyclic scheduling problem with resource constraints. In terms of loop transformation and code motion, the technique can be formulated as a combination of loop shifting and loop compaction. Loop shifting amounts to moving statements between iterations thereby changing some loop independent dependences into loop carried dependences and vice versa. Then, loop compaction schedules the body of the loop considering only loop independent dependences, but taking into account the details of the target architecture. In this paper, we show how loop shifting can be optimized so as to minimize both the length of the critical path and the number of dependences for loop compaction. The first problem is well-known and can be solved by an algorithm due to Leiserson and Saxe. We show that the second optimization (and the combination with the first one) is also polynomially solvable with a fast graph algorithm, variant of minimum-cost flow algorithms. Finally, we analyze the improvements obtained on loop compaction by experiments on random graphs.     

Testing Planning Domains (without Model Checkers)

We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning domains which is self-contained, in the sense that flight rules are verified using a planner and no external tools are required. We review and analyse coverage conditions for requirements-based testing, and we reason in detail on "Unique First Cause" (UFC) coverage for test suites. We characterise flight rules using patterns, encoded using LTL, and we provide UFC coverage for them. We then present a translation of LTL formulae into planning goals, and illustrate our approach on a case study.     

How do interactive tabletop systems influence collaboration?

This paper examines some aspects of the usefulness of interactive tabletop systems, if and how these impact collaboration. We chose creative problem solving such as brainstorming as an application framework to test several collaborative media: the use of pen-and-paper tools, the “around-the-table” form factor, the digital tabletop interface, the attractiveness of interaction styles. Eighty subjects in total (20 groups of four members) participated in the experiments. The evaluation criteria were task performance, collaboration patterns (especially equity of contributions), and users’ subjective experience. The “around-the-table” form factor, which is hypothesized to promote social comparison, increased performance and improved collaboration through an increase of equity. Moreover, the attractiveness of the tabletop device improved subjective experience and increased motivation to engage in the task. However, designing attractiveness seems a highly challenging issue, since overly attractive interfaces may distract users from the task.     

3D model based tracking for omnidirectional vision: A new spherical approach

The current work addresses the problem of 3D model tracking in the context of monocular and stereo omnidirectional vision in order to estimate the camera pose. To this end, we track 3D objects modeled by line segments because the straight line feature is often used to model the environment. Indeed, we are interested in mobile robot navigation using omnidirectional vision in structured environments. In the case of omnidirectional vision, 3D straight lines are projected as conics in omnidirectional images. Under certain conditions, these conics may have singularities.In this paper, we present two contributions. We, first, propose a new spherical formulation of the pose estimation withdrawing singularities, using an object model composed of lines. The theoretical formulation and the validation on synthetic images thus show that the new formulation clearly outperforms the former image plane one. The second contribution is the extension of the spherical representation to the stereovision case. We consider in the paper a sensor which combines a camera and four mirrors. Results in various situations show the robustness to illumination changes and local mistracking. As a final result, the proposed new stereo spherical formulation allows us to localize online a robot indoor and outdoor whereas the classical formulation fails.     

Synthetic Melanin Acts as Efficient Peptide Carrier in Cancer Vaccine Strategy

We previously reported that a novel peptide vaccine platform, based on synthetic melanin nanoaggregates, triggers strong cytotoxic immune responses and significantly suppresses tumor growth in mice. However, the mechanisms underlying such an efficacy remained poorly described. Herein, we investigated the role of dendritic cells (DCs) in presenting the antigen embedded in the vaccine formulation, as well as the potential stimulatory effect of melanin upon these cells, in vitro by coculture experiments and ELISA/flow cytometry analysis. The vaccine efficiency was evaluated in FLT3-L^−/− mice constitutively deficient in DC1, DC2, and pDCs, in Zbtb46^DTR chimera mice deficient in DC1 and DC2, and in Langerin^DTR mice deficient in dermal DC1 and Langerhans cells. We concluded that DCs, and especially migratory conventional type 1 dendritic cells, seem crucial for mounting the immune response after melanin-based vaccination. We also assessed the protective effect of L-DOPA melanin on peptides from enzymatic digestion, as well as the biodistribution of melanin–peptide nanoaggregates, after subcutaneous injection using [¹⁸F]MEL050 PET imaging in mice. L-DOPA melanin proved to act as an efficient carrier for peptides by fully protecting them from enzymatic degradation. L-DOPA melanin did not display any direct stimulatory effects on dendritic cells in vitro. Using PET imaging, we detected melanin–peptide nanoaggregates up to three weeks after subcutaneous injections within the secondary lymphoid tissues, which could explain the sustained immune response observed (up to 4 months) with this vaccine technology.     

Multi-angle remote sensing of forest light use efficiency by observing PRI variation with canopy shadow fraction

We show that observed co-variations at sub-hourly time scales between the photochemical reflectance index (PRI) and canopy light use efficiency (LUE) over a Douglas-fir forest result directly from sub-hourly leaf reflectance changes in a 531 nm spectral window roughly 50 nm wide. We conclude then, that over a forest stand we are observing the direct effects of photosynthetic down-regulation on leaf-level reflectance at 531 nm. Key to our conclusion is our ability to simultaneously measure the LUE and reflectance of the Douglas-fir stand as a function of shadow fraction from the “hot spot” to the "dark spot"dark spot” and a new finding herein, based on radiative transfer theory, that the magnitude of a normalized reflectance difference index (NDRI) such as PRI can vary with shadow fraction only in case the reflectance of the shaded and sunlit leaves differ in at least one of the NDRI bands.Our spectrometer measurements over a nearly 6 month period show that at a forest stand scale, only two NDRIs (both containing a band near 570 nm) vary with shadow fraction and are correlated with LUE; an NDRI with a band centered at 531 nm roughly 50 nm wide, and another near 705 nm. Therefore, we are able to conclude that only these two bands' reflectance differ between the sunlit and the shaded elements of the canopy. Their reflectance changes on time scales of a few minutes or less. Our observations also show that the reflectance changes at 531 nm are more highly correlated with variations in canopy light use efficiency when only sunlit canopy elements are viewed (the hot spot), than when only shaded elements (the dark spot) are viewed. Taken together then, these results demonstrate that the observed sub-hourly changes in foliage reflectance at 531 nm and 705 nm can only result from corresponding variations in photosynthetic rates.The importance of our results are as follows: (1) We show that variations in PRI with LUE are a direct result of rapid changes in foliage reflectance at 531 nm resulting from photosynthetic down-regulation, and can be observed at forest scales. (2) Our findings also suggest a new sensor and methodology for the direct retrieval from space of changes in forest LUE by measuring PRI as a function of shadow fraction using a multi-angle spectrometer simultaneously retrieving both shadow fraction and PRI.     

Experimental Evidence for Seed Metabolic Allometry in Barrel Medic (Medicago truncatula Gaertn.)

Seed size is often considered to be an important trait for seed quality, i.e., vigour and germination performance. It is believed that seed size reflects the quantity of reserve material and thus the C and N sources available for post-germinative processes. However, mechanisms linking seed size and quality are poorly documented. In particular, specific metabolic changes when seed size varies are not well-known. To gain insight into this aspect, we examined seed size and composition across different accessions of barrel medic (Medicago truncatula Gaertn.) from the genetic core collection. We conducted multi-elemental analyses and isotope measurements, as well as exact mass GC–MS metabolomics. There was a systematic increase in N content (+0.17% N mg⁻¹) and a decrease in H content (–0.14% H mg⁻¹) with seed size, reflecting lower lipid and higher S-poor protein quantity. There was also a decrease in ²H natural abundance (δ²H), due to the lower prevalence of ²H-enriched lipid hydrogen atoms that underwent isotopic exchange with water during seed development. Metabolomics showed that seed size correlates with free amino acid and hexoses content, and anticorrelates with amino acid degradation products, disaccharides, malic acid and free fatty acids. All accessions followed the same trend, with insignificant differences in metabolic properties between them. Our results show that there is no general, proportional increase in metabolite pools with seed size. Seed size appears to be determined by metabolic balance (between sugar and amino acid degradation vs. utilisation for storage), which is in turn likely determined by phloem source metabolite delivery during seed development.