Using Graph Transformation Systems to Specify and Verify Data Abstractions

This paper proposes an approach for the specification of the behavior of software components that implement data abstractions. By generalizing the approach of behavior models using graph transformation, we provide a concise specification for data abstractions that describes the relationship between the internal state, represented in a canonical form, and the observers of the component. Graph transformation also supports the generation of behavior models that are amenable to verification. To this end, we provide a translation approach into an LTL model on which we can express useful properties that can be model-checked with a SAT solver

FABRIC: A National-Scale Programmable Experimental Network Infrastructure

FABRIC is a unique national research infrastructure to enable cutting-edge and exploratory research at-scale in networking, cybersecurity, distributed computing and storage systems, machine learning, and science applications. It is an everywhere-programmable nationwide instrument comprised of novel extensible network elements equipped with large amounts of compute and storage, interconnected by high speed, dedicated optical links. It will connect a number of specialized testbeds for cloud research (NSF Cloud testbeds CloudLab and Chameleon), for research beyond 5G technologies (Platforms for Advanced Wireless Research or PAWR), as well as production high-performance computing facilities and science instruments to create a rich fabric for a wide variety of experimental activities

Spatial and temporal variation of hydraulic conductivity and vegetation growth in green infrastructures using infiltrometer and visual technique

Hydraulic conductivity of a vegetated soil (i.e., mixed grass cover) is an important parameter governing the hydrological performance of green infrastructure (GI). This paper focuses on GI with mixed grass cover in the presence of trees. Due to shading effects (interception of radiant energy) of tree canopy, mixed grass cover in the vicinity of trees may not receive direct photosynthetically active radiation (PAR). This can hinder the growth rates resulting in the low grass cover (i.e., in density). The hydraulic conductivity and the performance of GI can be further affected. Several field studies were conducted to investigate hydraulic conductivity in different types of vegetated covers. However, any variation in growth and hydraulic conductivity of mixed grass cover in the vicinity of trees was rarely investigated. The objective of this study is to quantify spatial and temporal variation of vegetation growth and hydraulic conductivity in a mixed grass cover in the vicinity of a tree. Field monitoring of a mixed grass cover in the vicinity of a tree in a GI was conducted for about six months. Hydraulic conductivity tests were carried out using mini disk infiltrometer (MDI) at 149 locations in a selected site once every month. Vegetation density was quantified using image analysis and the images were captured by a DJI Phantom drone. The growth of mixed grass cover around tree vicinity (within 5 m radial distance) was found to be more uniform during months characterized by high rainfall depth. Spatial heterogeneity in both vegetation density and hydraulic conductivity is found to be more significant during a dry period than wet period. Variation of hydraulic conductivity with respect to the change in vegetation density is found to be significant in a wet period than dry period. It is also found that hydraulic conductivity is higher at the portions where shredded leaves are present. The obtained dynamic spatio-temporal relationship of soil, vegetation and atmospheric parameters can support the design of green infrastructures and contribute to a better understanding of the maintenance practices

Ataxia with oculomotor apraxia type 2: clinical, biological and genotype/phenotype correlation study of a cohort of 90 patients

Ataxia with oculomotor apraxia type 2 (AOA2) is an autosomal recessive disease due to mutations in the senataxin gene, causing progressive cerebellar ataxia with peripheral neuropathy, cerebellar atrophy, occasional oculomotor apraxia and elevated alpha-feto-protein (AFP) serum level. We compiled a series of 67 previously reported and 58 novel ataxic patients who underwent senataxin gene sequencing because of suspected AOA2. An AOA2 diagnosis was established for 90 patients, originating from 15 countries worldwide, and 25 new senataxin gene mutations were found. In patients with AOA2, median AFP serum level was 31.0 mu g/l at diagnosis, which was higher than the median AFP level of AOA2 negative patients: 13.8 mu g/l, P = 0.0004; itself higher than the normal level (3.4 mu g/l, range from 0.5 to 17.2 mu g/l) because elevated AFP was one of the possible selection criteria. Polyneuropathy was found in 97.5% of AOA2 patients, cerebellar atrophy in 96%, occasional oculomotor apraxia in 51%, pyramidal signs in 20.5%, head tremor in 14%, dystonia in 13.5%, strabismus in 12.3% and chorea in 9.5%. No patient was lacking both peripheral neuropathy and cerebellar atrophy. The age at onset and presence of occasional oculomotor apraxia were negatively correlated to the progression rate of the disease (P = 0.03 and P = 0.009, respectively), whereas strabismus was positively correlated to the progression rate (P = 0.03). An increased AFP level as well as cerebellar atrophy seem to be stable in the course of the disease and to occur mostly at or before the onset of the disease. One of the two patients with a normal AFP level at diagnosis had high AFP levels 4 years later, while the other had borderline levels. The probability of missing AOA2 diagnosis, in case of sequencing senataxin gene only in non-Friedreich ataxia non-ataxia-telangiectasia ataxic patients with AFP level >= 7 mu g/l, is 0.23% and the probability for a non-Friedreich ataxia non-ataxia-telangiectasia ataxic patient to be affected with AOA2 with AFP levels >= 7 mu g/l is 46%. Therefore, selection of patients with an AFP level above 7 mu g/l for senataxin gene sequencing is a good strategy for AOA2 diagnosis. Pyramidal signs and dystonia were more frequent and disease was less severe with missense mutations in the helicase domain of senataxin gene than with missense mutations out of helicase domain and deletion and nonsense mutations (P = 0.001, P = 0.008 and P = 0.01, respectively). The lack of pyramidal signs in most patients may be explained by masking due to severe motor neuropathy

Maternal outcomes in subsequent delivery after previous obstetric anal sphincter injury (OASI): a multi-centre retrospective cohort study.

INTRODUCTION AND HYPOTHESIS: Women with a history of obstetric anal sphincter injury (OASI) are at increased risk of recurrence (rOASI) at subsequent delivery; however, evidence regarding the factors influencing this risk is limited. Furthermore, little is known about what factors influence the decision to alternatively deliver by elective caesarean section (ELLSCS). METHODS: Retrospective univariate and multivariate logistic regression analysis of prospectively collected data from four NHS electronic maternity databases including primiparous women sustaining OASIS during a singleton, term, cephalic, vaginal delivery between 2004 and 2015, who had a subsequent delivery. RESULTS: Two thousand two hundred seventy-two women met the criteria; 10.2% delivering vaginally had a repeat OASI and 59.4% had a second-degree tear. Women having an ELLSCS were more likely to be Caucasian, older, have previously had an operative vaginal delivery (OVD) and have a more severe degree of OASI. Positive predictors for rOASI were increased birth weight and maternal age at both index and subsequent deliveries, a more severe degree of initial OASI and Asian ethnicity. The overall mediolateral episiotomy (MLE) rate was 15.6%; 77.2% of those who had an episiotomy sustained no spontaneous perineal trauma. Only 4.4% of women with a rOASI had an MLE, whilst the MLE rate was 16.9% in those without a recurrence (p  4 kg increased the risk 2.5 fold. CONCLUSIONS: Women with previous OASIS are at an increased risk of recurrence. A more liberal use of MLE during subsequent vaginal delivery could significantly reduce the risk of recurrence

Palynostratigraphy and palynofacies of the early Eocene Gurha lignite mine, Rajasthan, India

A 105 m early Eocene section exposed in the Gurha mine in the Nagaur-Ganganagar Basin, Rajasthan, India, archiving remains of equatorial vegetation at a time of extreme global warmth and close to the onset of the India-Eurasia collision, is investigated using palynostratigraphic and palynofacies analyses. Four palynozones e.g., Palmidites plicatus Singh, Botryococcus braunii Kützing, Triangulorites bellus Kar and Ovoidites ligneolus are identified stratigraphically on the basis of abundance of these pollen taxa over others. The occurrence of taxonomically highly diverse angiosperm pollen in all the four palynozones attests to an extremely rich near-coastal tropical flora subject to frequent wildfires under a strongly seasonal precipitation regime. Palynotaxa characteristic of these palynozones are widely distributed in other early Paleogene sediments of India. Sedimentary organic matter (structured terrestrial, biodegraded, amorphous, grey amorphous, resins, charcoal/black-brown debris and algal remains) recovered from mire and lacustrine sediments are of terrestrial origin, recording fluctuations in burial anoxia and salinity. Episodes of elevated salinity are due either to seepage of marine waters and/or a periodic excess of evaporation over precipitation at times when the depositional system was closed