10.9k citations
- Centre National de la Recherche ScientifiqueFR301 papers
- University of WashingtonUS295 papers
- University of ArizonaUS293 papers
- Lancaster UniversityGB282 papers
- University of MichiganUS275 papers
- Stony Brook UniversityUS273 papers
- Boston UniversityUS270 papers
- Lomonosov Moscow State UniversityRU269 papers
- Michigan State UniversityUS269 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR268 papers
- McGill UniversityCA268 papers
- Université Paris CitéFR268 papers
39 papers · 1 filter
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon
Timed Transition Models (TTMs) are event-based descriptions for modelling, specifying, and verifying discrete real-time systems. An event can be spontaneous, fair, or timed with sp…
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
Betty Cheng, Kerstin Eder, Martin Gogolla +10
A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirement…
Fractal Growth on the Surface of a Planet and in Orbit around it
Ioannis Haranas, Ioannis Gkigkitzis, Athanasios Alexiou
Fractals are defined as geometric shapes that exhibit symmetry of scale. This simply implies that fractal is a shape that it would still look the same even if somebody could zoom i…
Cubic Tessellations of the Helicosms
Isabel Hubard, Mark Mixer, Daniel Pellicer +1
Up to isomorphism there are six fixed-point free crystallographic groups in Euclidean Space generated by twists (screw motions). In each case, an orientable 3-manifold is obtained…
Towards Query Optimization for SPARQL Property Paths
Nikolay Yakovets, Parke Godfrey, Jarek Gryz
The extension of SPARQL in version 1.1 with property paths offers a type of regular path query for RDF graph databases. Such queries are difficult to optimize and evaluate efficien…
The Sloan Digital Sky Survey Reverberation Mapping Project: Rapid CIV Broad Absorption Line Variability
C. J. Grier, P. B. Hall, W. N. Brandt +22
We report the discovery of rapid variations of a high-velocity CIV broad absorption line trough in the quasar SDSS J141007.74+541203.3. This object was intensively observed in 2014…