High-resolution observations in the western Mediterranean Sea: the REP14-MED experiment

The observational part of the REP14-MED experiment was conducted in June 2014 in the Sardo-Balearic Basin west of Sardinia (western Mediterranean Sea). Two research vessels collected high-resolution oceanographic data by means of hydrographic casts, towed systems, and underway measurements. In addition, a vast amount of data was provided by a fleet of 11 ocean gliders, time series were available from moored instruments, and information on Lagrangian flow patterns was obtained from surface drifters and one profiling float. The spatial resolution of the observations encompasses a spectrum over 4 orders of magnitude from (10¹ m) to (10⁵ m), and the time series from the moored instruments cover a spectral range of 5 orders from (10¹ s) to (10⁶ s). The objective of this article is to provide an overview of the huge data set which has been utilised by various studies, focusing on (i) water masses and circulation, (ii) operational forecasting, (iii) data assimilation, (iv) variability of the ocean, and (v) new payloads for gliders

Platelet-Rich Plasma Promotes the Proliferation of Human Muscle Derived Progenitor Cells and Maintains Their Stemness

Human muscle-derived progenitor cells (hMDPCs) offer great promise for muscle cell-based regenerative medicine; however, prolonged ex-vivo expansion using animal sera is necessary to acquire sufficient cells for transplantation. Due to the risks associated with the use of animal sera, the development of a strategy for the ex vivo expansion of hMDPCs is required. The purpose of this study was to investigate the efficacy of using platelet-rich plasma (PRP) for the ex-vivo expansion of hMDPCs. Pre-plated MDPCs, myoendothelial cells, and pericytes are three populations of hMDPCs that we isolated by the modified pre-plate technique and Fluorescence Activated Cell Sorting (FACS), respectively. Pooled allogeneic human PRP was obtained from a local blood bank, and the effect that thrombin-activated PRP-releasate supplemented media had on the ex-vivo expansion of the hMDPCs was tested against FBS supplemented media, both in vitro and in vivo. PRP significantly enhanced short and long-term cell proliferation, with or without FBS supplementation. Antibody-neutralization of PDGF significantly blocked the mitogenic/proliferative effects that PRP had on the hMDPCs. A more stable and sustained expression of markers associated with stemness, and a decreased expression of lineage specific markers was observed in the PRP-expanded cells when compared with the FBS-expanded cells. The in vitro osteogenic, chondrogenic, and myogenic differentiation capacities of the hMDPCs were not altered when expanded in media supplemented with PRP. All populations of hMDPCs that were expanded in PRP supplemented media retained their ability to regenerate myofibers in vivo. Our data demonstrated that PRP promoted the proliferation and maintained the multi-differentiation capacities of the hMDPCs during ex-vivo expansion by maintaining the cells in an undifferentiated state. Moreover, PDGF appears to be a key contributing factor to the beneficial effect that PRP has on the proliferation of hMDPCs. © 2013 Li et al

Physical and biogeochemical controls on the variability in surface pH and calcium carbonate saturation states in the Atlantic sectors of the Arctic and Southern Oceans

Polar oceans are particularly vulnerable to ocean acidification due to their low temperatures and reduced buffering capacity, and are expected to experience extensive low pH conditions and reduced carbonate mineral saturations states (Ω) in the near future. However, the impact of anthropogenic CO2 on pH and Ω will vary regionally between and across the Arctic and Southern Oceans. Here we investigate the carbonate chemistry in the Atlantic sector of two polar oceans, the Nordic Seas and Barents Sea in the Arctic Ocean, and the Scotia and Weddell Seas in the Southern Ocean, to determine the physical and biogeochemical processes that control surface pH and Ω. High-resolution observations showed large gradients in surface pH (0.10–0.30) and aragonite saturation state (Ωar) (0.2–1.0) over small spatial scales, and these were particularly strong in sea-ice covered areas (up to 0.45 in pH and 2.0 in Ωar). In the Arctic, sea-ice melt facilitated bloom initiation in light-limited and iron replete (dFe>0.2 nM) regions, such as the Fram Strait, resulting in high pH (8.45) and Ωar (3.0) along the sea-ice edge. In contrast, accumulation of dissolved inorganic carbon derived from organic carbon mineralisation under the ice resulted in low pH (8.05) and Ωar (1.1) in areas where thick ice persisted. In the Southern Ocean, sea-ice retreat resulted in bloom formation only where terrestrial inputs supplied sufficient iron (dFe>0.2 nM), such as in the vicinity of the South Sandwich Islands where enhanced pH (8.3) and Ωar (2.3) were primarily due to biological production. In contrast, in the adjacent Weddell Sea, weak biological uptake of CO2 due to low iron concentrations (dFe<0.2 nM) resulted in low pH (8.1) and Ωar (1.6). The large spatial variability in both polar oceans highlights the need for spatially resolved surface data of carbonate chemistry variables but also nutrients (including iron) in order to accurately elucidate the large gradients experienced by marine organisms and to understand their response to increased CO2 in the future

Symbolic simulation as a simplifying strategy for SoC verification

ISBN: 076951944XThe successful application of model-checking to industrial designs requires methods for reducing the complexity of the model. This paper presents an original strategy, for a well identified class of circuit behaviors; by running an appropriate symbolic simulation pattern before the actual proof of a temporal formula, an important FSM model simplification can be obtained. The actual model reduction step is formalized and illustrated. This method has been implemented within the CMU version of the SMV model checking tool and validated on a large industrial design

Synthesis of property monitors for online fault detection

International audienceAn original method for generating components that capture the occurrence of events is proposed, and logical and temporal properties of hardware/software embedded systems are monitored. The properties are written in PSL, under the form of assertions in declarative form. The method includes the construction of a library of primitive digital components for the PSL temporal and sequence operators. These building blocks are interconnected to construct complex properties, resulting in a synthesizable digital module that can be properly linked to the digital system under scrutiny

Introducing formal validation in an asynchronous circuit design flow

International audienceIn this paper, after discussin the design flow, we describe the main CHP communication and synchronization primitives, their Petri Net Model, their "pseudo clocked" VHDL translation, and the verifications that could be performed on the model, before and after synthesis. We then propose a set of transformations to produce a more compact and efficient coding of the state machine. As a running example, we use a simple, yet characteristic, selector module, and show examples of safety and liveness properties that have been verified using "Formal Check"