Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring

2018 ◽  
pp. 120-136 ◽  
Author(s):  
Falk Howar ◽  
Dimitra Giannakopoulou ◽  
Malte Mues ◽  
Jorge A. Navas
Keyword(s):  
Symbolic Analysis ◽  
Runtime Monitoring

The role of birds in Roman imperial funerary rituals at La Magdalena (Alcalá de Henares, Spain): osteoarchaeological and symbolic analysis

2021 ◽  
Vol 13 (4) ◽  
Author(s):  
Rocío Bernal-García ◽  
Felipe Gómez-Moreno ◽  
Francisco J. Serrano ◽  
César Heras ◽  
José Yravedra
Keyword(s):  
Symbolic Analysis ◽  
Funerary Rituals

A symbolic analysis of Vermeille and Borkowski polynomials for transforming 3D Cartesian to geodetic coordinates

2009 ◽  
Vol 83 (11) ◽  
pp. 1071-1081 ◽  
Author(s):  
Laureano Gonzalez-Vega ◽  
Irene Polo-Blanco
Keyword(s):  
Symbolic Analysis ◽  
Geodetic Coordinates

Offline symbolic analysis to infer Total Store Order

2011 ◽  
Author(s):  
Dongyoon Lee ◽  
Mahmoud Said ◽  
Satish Narayanasamy ◽  
Zijiang Yang
Keyword(s):  
Symbolic Analysis

scholarly journals SapWin 4.0-a new simulation program for electrical engineering education using symbolic analysis

2015 ◽  
Vol 24 (1) ◽  
pp. 44-57 ◽  
Author(s):  
F. Grasso ◽  
A. Luchetta ◽  
S. Manetti ◽  
M. C. Piccirilli ◽  
A. Reatti
Keyword(s):  
Engineering Education ◽  
Electrical Engineering ◽  
Symbolic Analysis ◽  
Simulation Program ◽  
Electrical Engineering Education
Sign in / Sign up

Export Citation Format

Share Document