In this paper, we present our work to add a model-checker to the GRAS framework. This tool provides a development environment allowing debug real applications within the simulator before deploying them on real platforms. We discuss the main difficulties to integrate such a model-checker, and present our approach to solve them, as well as a prototype implementation.

The plant-specific GRAS/SCL transcription factors play diverse roles in plant development and stress responses. In this study, a poplar SCL gene, PeSCL7, was functionally characterized in Arabidopsis thaliana, especially with regard to its role in abiotic stress resistance. Expression analysis in poplar revealed that PeSCL7 was induced by drought and high salt stresses, but was repressed by gib...

GRAS family transcription factors are involved in multiple biological processes in plants. Here, we report that GRAS2 plays a vital role in regulating fruit weight in tomato (Solanum lycopersicum). We establish that the expression of GRAS2 was elevated in ovaries and maintained at a constant level in fertilized ovules. Reduction of GRAS2 expression in transgenic plants reduced fruit weight thro...

963–9. 21. Rinaldi CA, Burri H, Thibault B, Curnis A, Rao A, Gras D et al. A review of multisite pacing to achieve cardiac resynchronization therapy. Europace 2015;17:7–17. 22. Biffi M, Foerster L, Eastman W, Eggen M, Grenz NA, Sommer J et al. Effect of bipolar electrode spacing on phrenic nerve stimulation and left ventricular pacing thresholds an acute canine study. Circ Arrhythmia Electrophy...

We present an information filtering and adaptive personalisation algorithm for arbitrary information systems based on databases. This algorithm is called GRAS (Gaussian Rating Adaptation Scheme), and it combines content-based and collaborative filtering. The goal is to filter retrieved documents of a query according to the personal interest of a user and to sort them according to the personal r...

We conducted a study to assess the GNSS (Global Navigation Satellite System) Receiver for Atmospheric Sounding (GRAS) ionospheric data quality by processing Radio Occultation (RO) observations of products. The main objective is validate generated at EUMETSAT, such as bending angle profiles, amplitude and phase scintillations, topside Total Electron Content (TEC) from MetOp-A GRAS instrument wel...

Introduction Occultation methods based on effects connected with the refraction of electromagnetic waves in both the optical and radiofrequency domains have been used by astronomers for numerous investigations of planetary atmospheres over the last decades. The first experiment started with the Mars flyby by Mariner-IV in 1964. Since this first attempt, radio-occultation experiments have been c...

Client / Server distribution in (software) design environments can be achieved by distributing an underlying repository database management system. Several alternative approaches for such a distribution exist, which diier in the layer of the architecture at which client / server communication takes place. We discuss two approaches | query-server and page-server | we have studied in the context ...

men dieser Arbeit realisiert. Bei PROGRES wurden die Codegenerierung und das UPGRADERahmenwerk angepasst. DRAGOS ersetzt nun das bisher verwendete GRAS vollständig. Seine Verwendung ist transparent und hat keinen Einfluss auf die Spezifikation oder die Werkzeugentwicklung. Die durch GRAS bedingten Einschränkungen sind weggefallen. Für Fujaba wurde ein spezielles Plugin entwickelt, das dessen Co...

Tommy (fictitious name, but a true story) did not pick a run-of-the-mill school science fair project, such as seeing whether plants grew better with Bach versus Metallica, powering a radio with a potato, or testing the absorbency of various paper towel brands. Tommy, one of our patients with type 1 diabetes, had a different motivation. His project was designed to test whether a simple dietary m...