Weekly Gridded Aquarius L-band Radiometer-Scatterometer Observations and Salinity Retrievals over the Polar Regions - Part 2: Initial Product Analysis

Following the development and availability of Aquarius weekly polar-gridded products, this study presents the spatial and temporal radiometer and scatterometer observations at L band (frequency1.4 GHz) over the cryosphere including the Greenland and Antarctic ice sheets, sea ice in both hemispheres, and over sub-Arctic land for monitoring the soil freeze-thaw state. We provide multiple examples of scientific applications for the L-band data over the cryosphere. For example, we show that over the Greenland Ice Sheet, the unusual 2012 melt event lead to an L-band brightness temperature (TB) sustained decrease of 5 K at horizontal polarization. Over the Antarctic ice sheet, normalized radar cross section (NRCS) observations recorded during ascending and descending orbits are significantly different, highlighting the anisotropy of the ice cover. Over sub-Arctic land, both passive and active observations show distinct values depending on the soil physical state (freeze-thaw). Aquarius sea surface salinity (SSS) retrievals in the polar waters are also presented. SSS variations could serve as an indicator of fresh water input to the ocean from the cryosphere, however the presence of sea ice often contaminates the SSS retrievals, hindering the analysis. The weekly grided Aquarius L-band products used a redistributed by the US Snow and Ice Data Center at http:nsidc.orgdataaquariusindex.html, and show potential for cryospheric studies

Single machine scheduling with time-dependent linear deterioration and rate-modifying maintenance

We study single machine scheduling problems with linear time-dependent deterioration effects and maintenance activities. Maintenance periods (MPs) are included into the schedule, so that the machine, that gets worse during the processing, can be restored to a better state. We deal with a job-independent version of the deterioration effects, that is, all jobs share a common deterioration rate. However, we introduce a novel extension to such models and allow the deterioration rates to change after every MP. We study several versions of this generalized problem and design a range of polynomial-time solution algorithms that enable the decision-maker to determine possible sequences of jobs and MPs in the schedule, so that the makespan objective can be minimized. We show that all problems reduce to a linear assignment problem with a product matrix and can be solved by methods very similar to those used for solving problems with positional effects

Weekly gridded Aquarius L-band radiometer/scatterometer observations and salinity retrievals over the polar regions – Part 1: Product description

Passive and active observations at L band (frequency ~1.4 GHz) from the Aquarius/SAC-D mission offer new capabilities to study the polar regions. Due to the lack of polar-gridded products, however, applications over the cryosphere have been limited. We present three weekly polar-gridded products of Aquarius data to improve our understanding of L-band observations of ice sheets, sea ice, permafrost, and the polar oceans. Additionally, these products intend to facilitate access to L-band data, and can be used to assist in algorithm developments. Aquarius data at latitudes higher than 50° are averaged and gridded into weekly products of brightness temperature (TB), normalized radar cross section (NRCS), and sea surface salinity (SSS). Each grid cell also contains sea ice fraction, the standard deviation of TB, NRCS, and SSS, and the number of footprint observations collected during the seven-day cycle. The largest 3 dB footprint dimensions are 97 km × 156 km and 74 km × 122 km (along × across track) for the radiometers and scatterometer, respectively. The data is gridded to the Equal-Area Scalable Earth version 2.0 (EASE2.0) grid, with a grid cell resolution of 36 km. The data sets start in August 2011, with the first Aquarius observations and will be updated on a monthly basis following the release schedule of the Aquarius Level 2 data sets. The weekly gridded products are distributed by the US National Snow and Ice Data Center at http://nsidc.org/data/aquarius/index.html

Automated Certification of Authorisation Policy Resistance

Attribute-based Access Control (ABAC) extends traditional Access Control by considering an access request as a set of pairs attribute name-value, making it particularly useful in the context of open and distributed systems, where security relevant information can be collected from different sources. However, ABAC enables attribute hiding attacks, allowing an attacker to gain some access by withholding information. In this paper, we first introduce the notion of policy resistance to attribute hiding attacks. We then propose the tool ATRAP (Automatic Term Rewriting for Authorisation Policies), based on the recent formal ABAC language PTaCL, which first automatically searches for resistance counter-examples using Maude, and then automatically searches for an Isabelle proof of resistance. We illustrate our approach with two simple examples of policies and propose an evaluation of ATRAP performances.Comment: 20 pages, 4 figures, version including proofs of the paper that will be presented at ESORICS 201

A formal framework to prove the correctness of model driven engineering composition operators

International audienceCurrent trends in system engineering combine modeling, composition and verification technologies in order to harness their ever growing complexity. Each composition operator dedicated to a different modeling concern should be proven to be property preserving at assembly time. These proofs are usually burdensome with repetitive aspects. Our work targets the factorisation of these aspects relying on primitive generic composition operators used to express more sophisticated language specific ones. These operators are defined for languages expressed with OMG MOF metamodeling technologies. The proof are done with the Coq proof assistant relying on the Coq4MDE framework defined previously. These basic operators, Union and Substitution, are illustrated using the MOF Package Merge as composition operator and the preservation of model conformance as verified property

Clinical aspects of Mayer-Rokitansky-Kuester-Hauser syndrome: recommendations for clinical diagnosis and staging

BACKGROUND: The Mayer-Rokitansky-Kuester-Hauser (MRKH) syndrome is a malformation of the female genitals (occurring in one in 4000 female live births) as a result of interrupted embryonic development of the Müllerian (paramesonephric) ducts. This retrospective study examined the issue of associated malformations, subtyping, and the frequency distribution of subtypes in MRKH syndrome. METHODS: Fifty-three MRKH patients were investigated using a newly developed standardized questionnaire. Together with the results of clinical and diagnostic examinations, the patients were classified into the three recognized subtypes [typical, atypical and MURCS (Müllerian duct aplasia, renal aplasia, and cervicothoracic somite dysplasia)]. RESULTS: The typical form was diagnosed in 25 patients (47%), the atypical form in 11 patients (21%), and the most marked form—the MURCS type—in 17 patients (32%). Associated malformations were notably frequent among the patients. Malformations of the renal system were the most frequent type of accompanying malformation, with 23 different malformations in 19 patients, followed by 18 different skeletal changes in 15 patients. CONCLUSIONS: In accordance with the literature, this study shows that associated malformations are present in more than a third of cases. Therefore, new basic guidelines for standard diagnostic classification involving patients with suspected MRKH are presente

Ownership and control in a competitive industry

We study a differentiated product market in which an investor initially owns a controlling stake in one of two competing firms and may acquire a non-controlling or a controlling stake in a competitor, either directly using her own assets, or indirectly via the controlled firm. While industry profits are maximized within a symmetric two product monopoly, the investor attains this only in exceptional cases. Instead, she sometimes acquires a noncontrolling stake. Or she invests asymmetrically rather than pursuing a full takeover if she acquires a controlling one. Generally, she invests indirectly if she only wants to affect the product market outcome, and directly if acquiring shares is profitable per se. --differentiated products,separation of ownership and control,private benefits of control

Resource dedication problem in a multi-project environment

There can be different approaches to the management of resources within the context of multi-project scheduling problems. In general, approaches to multiproject scheduling problems consider the resources as a pool shared by all projects. On the other hand, when projects are distributed geographically or sharing resources between projects is not preferred, then this resource sharing policy may not be feasible. In such cases, the resources must be dedicated to individual projects throughout the project durations. This multi-project problem environment is defined here as the resource dedication problem (RDP). RDP is defined as the optimal dedication of resource capacities to different projects within the overall limits of the resources and with the objective of minimizing a predetermined objective function. The projects involved are multi-mode resource constrained project scheduling problems with finish to start zero time lag and non-preemptive activities and limited renewable and nonrenewable resources. Here, the characterization of RDP, its mathematical formulation and two different solution methodologies are presented. The first solution approach is a genetic algorithm employing a new improvement move called combinatorial auction for RDP, which is based on preferences of projects for resources. Two different methods for calculating the projects’ preferences based on linear and Lagrangian relaxation are proposed. The second solution approach is a Lagrangian relaxation based heuristic employing subgradient optimization. Numerical studies demonstrate that the proposed approaches are powerful methods for solving this problem

The trade off between diversity and quality for multi-objective workforce scheduling

In this paper we investigate and compare multi-objective and weighted single objective approaches to a real world workforce scheduling problem. For this difficult problem we consider the trade off in solution quality versus population diversity, for different sets of fixed objective weights. Our real-world workforce scheduling problem consists of assigning resources with the appropriate skills to geographically dispersed task locations while satisfying time window constraints. The problem is NP-Hard and contains the Resource Constrained Project Scheduling Problem (RCPSP) as a sub problem. We investigate a genetic algorithm and serial schedule generation scheme together with various multi-objective approaches. We show that multi-objective genetic algorithms can create solutions whose fitness is within 2% of genetic algorithms using weighted sum objectives even though the multi-objective approaches know nothing of the weights. The result is highly significant for complex real-world problems where objective weights are seldom known in advance since it suggests that a multi-objective approach can generate a solution close to the user preferred one without having knowledge of user preferences