72 research outputs found
Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale Graph Analytics
No full textFor the last decade, teams at Oracle relied on the Spoofax language workbench to develop a family of domain-specific languages for graph analytics in research projects and in product development. In this paper, we analyze the requirements for integrating language processors into large-scale graph analytics toolkits and for the development of these language processors as part of a larger product development process. We discuss how Spoofax helps to meet these requirements and point out the need for future improvements
Robust Real-Time Synchronization between Textual and Graphical Editors
No full textModeling languages such as Behavior Trees or QVT Relational provide both textual and graphical concrete syntaxes. Textual and graphical editors for such languages need to synchronize textual representations, graphical representations, and underlying models. During this synchronization, layout in textual and graphical representations needs to be preserved. By bridging the grammarware and modelware technological spaces, we can create support for textual and graphical editors. The former space provides solutions to the parsing of text while the latter space has strong support for graphical syntaxes and editors. In this thesis, we present an approach for the robust synchronization of textual and graphical editors based on such bridging. The approach: provides a mapping from textual syntax definitions to metamodels and a corresponding bidirectional mapping between their instances, recovers from errors during text-to-model synchronization, preserves textual and graphical layout even in the presence of erroneous texts and models, and provides synchronized editor services such as selection sharing and persistent model sharing. The approach was implemented for synchronizing textual editors generated by the Spoofax language workbench and graphical editors generated by the Graphical Modeling Framework.Software Engineering Research GroupDepartment of Software TechnologyElectrical Engineering, Mathematics and Computer Scienc
Silica replication of the hierarchical structure of wood with nanometer precision
No full textThe structural features of wood were replicated in silica on all levels of hierarchy from the macroscopic to the nanoscopic level of the cellulose elementary fibrils. This was achieved by a series of processing steps on spruce wood templates. Sodium chlorite was used to partially remove the lignin matrix from the wood cell walls, exposing the cellulose fibrils. These were optionally functionalized with maleic acid anhydride to stabilize the fibrillar structure and reduce the shrinkage of the template. Repeated infiltration with tetraethyl orthosilicate in ethanol deposited silica on the fibrils. Calcination at 500 °C removed the rest of the organic template by oxidation and resulted in the fusion of the deposited material into a positive silica replica. Small-angle x-ray scattering evidenced fibrillar structures parallel to the original cellulose fibrils at length scales in the order of 10 nm, suggesting the successful nanoscopic replication of the cellulose fibrils and their orientation
Breakup prediction under uncertainty: application to Upper Stage controlled reentries from GTO orbit
No full textMore and more human-made space objects re-enter the atmosphere, and yet the risk for human population remains often unknown because predicting their reentry trajectories is formidably complex. While falling back on Earth, the space object absorbs large amounts of thermal energy that affects its structural integrity.It undergoes strong aerodynamic forces that lead to one or several breakups. Breakup events have a critical influence on the rest of the trajectory are extremely challenging to predict and subject to uncertainties. In this work, we present an original model for robustly predicting the breakup of a reentering space object. This model is composed of a set of individual solvers that are coupled together such as each solver resolves a specific aspect of this multiphysics problem. This paper deals with two levels of uncertainties. The first level is the stochastic modelling of the breakup while the second level is the statistical characterization of the model input uncertainties. The framework provides robust estimates of the quantities of interest and quantitative sensitivity analysis. The objective is twofold: first to compute a robust estimate of the breakup distribution and secondly to identify the main uncertainties in the quantities of interest. Due to the significant computational cost, we use an efficient framework par-* Corresponding author. ticularly suited to multiple solver predictions for the uncertainty quantification analysis. Then, we illustrate the breakup model for the controlled reentry of an upper stage deorbited from a Geo Transfer Orbit (GTO), which is a classical Ariane mission
Neuropsychopharmacology
No full textBehavioral phenotyping devices have been successfully used to build ethograms, but many aspects of behavior remain out of reach of available phenotyping systems. We now report on a novel device, which consists in an open-field platform resting on highly sensitive piezoelectric (electromechanical) pressure-sensors, with which we could detect the slightest movements (up to individual heart beats during rest) from freely moving rats and mice. The combination with video recordings and signal analysis based on time-frequency decomposition, clustering, and machine learning algorithms provided non-invasive access to previously overlooked behavioral components. The detection of shaking/shivering provided an original readout of fear, distinct from but complementary to behavioral freezing. Analyzing the dynamics of momentum in locomotion and grooming allowed to identify the signature of gait and neurodevelopmental pathological phenotypes. We believe that this device represents a significant progress and offers new opportunities for the awaited advance of behavioral phenotyping. © 2021, The Author(s), under exclusive licence to American College of Neuropsychopharmacology.Bordeaux Region Aquitaine Initiative for NeuroscienceInitiative d'excellence de l'Université de Bordeau
Breakup prediction under uncertainty: application to Upper Stage controlled reentries from GTO orbit
No full textMore and more human-made space objects re-enter the atmosphere, and yet the risk for human population remains often unknown because predicting their reentry trajectories is formidably complex. While falling back on Earth, the space object absorbs large amounts of thermal energy that affects its structural integrity.It undergoes strong aerodynamic forces that lead to one or several breakups. Breakup events have a critical influence on the rest of the trajectory are extremely challenging to predict and subject to uncertainties. In this work, we present an original model for robustly predicting the breakup of a reentering space object. This model is composed of a set of individual solvers that are coupled together such as each solver resolves a specific aspect of this multiphysics problem. This paper deals with two levels of uncertainties. The first level is the stochastic modelling of the breakup while the second level is the statistical characterization of the model input uncertainties. The framework provides robust estimates of the quantities of interest and quantitative sensitivity analysis. The objective is twofold: first to compute a robust estimate of the breakup distribution and secondly to identify the main uncertainties in the quantities of interest. Due to the significant computational cost, we use an efficient framework par-* Corresponding author. ticularly suited to multiple solver predictions for the uncertainty quantification analysis. Then, we illustrate the breakup model for the controlled reentry of an upper stage deorbited from a Geo Transfer Orbit (GTO), which is a classical Ariane mission
VizieR Online Data Catalog: IRAS 16293-2422 spectral cubes (van der Wiel+, 2019)
No full textVizieR On-line Data Catalog: J/A+A/626/A93. Originally published in: 2019A&A...626A..93VThis data collection contains nine spectral cubes (RA, DE, frequency) extracted from the ALMA-PILS dataset. The observation setup and details concerning the processing performed are given in Jorgensen et al. (2016A&A...595A.117J) and van der Wiel et al. (2019A&A...626A..93V). In short, interferometric baselines of the ~47 element array range up to 300m. Phase-only self-calibration was performed based on the continuum signal, first separately for the Atacama Compact Array (ACA) and the main ALMA array. The final imaging of the combined dataset used Briggs waiting with robust=0.5 and a restoring beam fwhm of 0.5-arcsec was imposed. The resulting spectral cubes samples angular scales between 0.5-arcsec and 13-arcsec. Spectral channels are uniform in frequency space, each being 0.244MHz wide. The FITS cubes delivered here cover a frequency range defined by ±20km/s centered around the rest frequency of the following molecular transitions (see also Table 2 in the paper): * 337.06100GHz (C17O 3-2); * 345.79600GHz (CO 3-2); * 345.33977GHz (H13CN 4-3); * 351.76864GHz (o-H2CO 5(1,5)-4(1,4)); * 343.32571GHz (o-H2(13C)O 5(1,5)-4(1,4)); * 337.39646GHz (C34S 7-6); * 347.33058GHz (SiO 8-7); * 342.98084GHz (29SiO 8-7); * 349.39997GHz (C2H 4(7/2)-3(5/2)). Broadband continuum signal has been substracted following the strategy outlined in Sect. 3.1.2 of Jorgensen et al. (2016A&A...595A.117J), which is needed to cope with the extremely high density of line signal in the spectral domain. (2 data files)
- …
