Results 81 to 90 of about 364,714 (239)

Counterexample-Guided Polynomial Loop Invariant Generation by Lagrange Interpolation

, 2015
We apply multivariate Lagrange interpolation to synthesize polynomial quantitative loop invariants for probabilistic programs. We reduce the computation of an quantitative loop invariant to solving constraints over program variables and unknown ...
A Chakarov, A Dolzmann, A Dolzmann, A Gupta, A Gupta, A McIver, C Boor De, CAR Hoare, D Kozen, EW Dijkstra, F Gretz, F Gretz, J Hartog Den, J-P Katoen, JW Eaton, L Moura de, M Uslar, MA Colón, MO Rabin, P Cousot, PJ Olver, RW Floyd, S Sankaranarayanan, T Sauer   +23 more
core   +1 more source

Globally Distributed Product Development: Role of Complexity on the What, Where and How [PDF]

, 2008
Student research ...
Makumbe, Pedzi
core  

Quelle gestion des incivilités dans les entreprises accueillant du public ?

Lien Social et Politiques, 2007
La notion d’incivilité regroupe un très large éventail de conduites : indifférence, impolitesse, dégradations, agressivité verbale. Les espaces publics de la Société nationale des Chemins de fer (SNCF) comme ceux de La Poste sont des lieux de brassage ...
Pascal André, Sophie Beauquier, Catherine Gorgeon   +2 more
doaj   +1 more source

ONDE SISMICHE GUIDATE DAGLI STRATI SEDIMENTARI

Annals of Geophysics, 1955
Per strati sedimentari intendiamo quelli di origine alluvionale,<br />che formano il fondo di valli e di estese pianure; non solo, ma anche<br />gli strati di già consolidati che si sono formati nell'eocene e nel cretaceo.<br />È noto ...
M. C. SPADEA, D. DI FILIPPO, P. CALOI
doaj   +1 more source

Strategies in Enterprise Ecology: Symbiotic Models for Commercial Aviation as an Enterprise of Enterprises [PDF]

, 2007
Student research ...
Sgouridis, Sgouris
core  

Codifying the Invisible, Further Enabling Lean Transformation [PDF]

, 2009
Student research ...
Sisto, Gwendolyn
core  

La Poste en milieu rural : une gestion entre rentabilité et aménagement du territoire

, 2012
Sous l'influence des politiques publiques, notamment celles de l'Union europeenne, les services publics postaux ont connu de nombreuses evolutions de meme que la gestion de l'entreprise La Poste.
Ygal Fijalkow, François Taulelle
semanticscholar   +1 more source

Distribución de los esfuerzos en tramos protésicos fijos de tres unidades con elementos intrarradiculares colados y prefabricados: análisis biomecánico utilizando un modelo de elementos finitos Stress distribution in three unit fixed partial prosthesis with cast and prefabricated post and core: a biomechanical finite element analysis

Revista Facultad de Odontología Universidad de Antioquia, 2009
INTRODUCCIÓN: en esta investigación se analiza el comportamiento de la distribución de los esfuerzos en tramos de prótesis parcial fija (PPF) utilizando un modelo de elementos finitos.
Érica Janeth Saldarriaga Quintero, César Iván Uribe Díaz, Edwin Chica Arrieta, Federico Latorre Correa   +3 more
doaj  

Un poste consulaire en Macédoine, Bitola-Monastir, 1851-1912

Cahiers Balkaniques, 2011
The article attempts to restore, starting with the consular archives of the Macedonian city of Bitola, between 1851 and 1912, a social and cultural reality of Macedonia, less filtered by the national ideologies than that which translates the internal ...
Bernard Lory
doaj   +1 more source

Enablers, Barriers, and Precursors to the Development of Systems Thinking in Engineers [PDF]

, 2005
Student research ...
Davidz, Heidi
core   +1 more source