-
1by Djoudi, Adel“..., Airbus, etc.).Static program analysis aims to automatically infer verified properties of programs, based...”
Published 2016
Get full text
-
2
-
3by Wen, Guangyang“... occurs under static and dynamic loading conditions. It can appear in the bulk of solids, in which case...”
Published 2016
Get full text
-
4
-
5
-
6
-
7by Tomi-Tricot, Raphaël“... independent waveforms. However, this technology is not exploited fully in practice, as only the static RF...”
Published 2018
Get full text
-
8by Zophoniasson, Harald“... feedback. This prevents any simultaneous multi-user scenario.This work aims to develop static and dynamic...”
Published 2017
Get full text
-
9by Lopez, Alexandre“... in static conditions with preservation solution IGL-1, potentially due to the oncotic agent PEG35...”
Published 2019
Get full text
-
10by Castro benitez, Carlos“... par ischémie, transporteur d'oxygène. === Static cold storage (SCS) is the gold standard of organ...”
Published 2019
Get full text
-
11by Guermonprez, Cyprien“... in static array. The 2D-array enable not only the visualisation of each colonies in timelapse experiment...”
Published 2016
Get full text
-
12by Safour, Salaheddine“... is widespread; however, static force measurement remains extremely limited to MEMS applications (pressure...”
Published 2016
Get full text
-
13by Magnier, Valentin“... environment using two dedicated algorithms: one for the moving obstacles and another for the static scene....”
Published 2018
Get full text
-
14by Naddei, Fabio“... simulations is selected.Both static and dynamic p-adaptive algorithms for the simulation of unsteady flows...”
Published 2019
Get full text
-
15by Nguyen, Thi Mai“... by specifying a set of security requirements, i.e. static and dynamic rules, along with the functional aspect...”
Published 2017
Get full text
-
16by Mas, Alexandre“... of mismatch spurs in the frequency domain, arising both from static errors (gain and offset mismatch...”
Published 2018
Get full text
-
17by Postma, Barteld“... that perceptual differences between dynamic voice directivity and regular static source ordinations...”
Published 2017
Get full text
-
18by Irolla, Paul“... in the following areas:Static and dynamic analysis of Android applications, application web crawling.First...”
Published 2018
Get full text
-
19by Lindner, Dominik“... explicit simulations in context of a centrifugal quasi-static loading. The results show that acceleration...”
Published 2016
Get full text
-
20