• Aucun résultat trouvé

18 résultats avec le mot-clé: 'realizability for programming languages'

Realizability for programming languages.

We present a toy programming language supporting higher-order functions, extensible records and polymorphic variants, as well as a sufficient condition (that can be tested in

Protected

N/A

38
0
0
2021
Iragankortasunaren dinamikaz zubereran: kasu adierazpen bikotzekiko baliobiko aditzen ikerketaren lehen etapa

Ikusiko dugu beste eraikuntza baditugu- la sinkronian, beti izan aditz laguntzailearekin bainan (ABS+DAT) kasuekin, eta beste agerpen bat ere *edün (ERG+ABS)-rekikoa.. •

Protected

N/A

29
0
0
2022
Perceptions paysannes du changement climatique, stratégies d'adaptation dans la gestion des parcs à karité au Bénin

Dans le Chapitre 3 intitulé : « Efficacité des adaptations aux changements climatiques des systèmes de production de parcs à karité du nord-Bénin », des résultats que le

Protected

N/A

158
0
0
2021
Perceptions paysannes du changement climatique, stratégies d’adaptation dans la gestion des parcs à karité au Bénin

Dans le Chapitre 3 intitulé : « Efficacité des adaptations aux changements climatiques des systèmes de production de parcs à karité du nord-Bénin », des résultats que le

Protected

N/A

158
0
0
2021
Université de STRASBOURG Faculté de Droit, de Sciences politiques et de Gestion

UFR, Direction, Service : Faculté de Droit, de Sciences Politiques et de Gestion Fonction exercée : secrétariat – gestionnaire de scolarité. Situation du poste dans l’organigramme

Protected

N/A

2
0
0
2022
Les outils de gestion des risques économiques de moyenne ampleur en agriculture

Face à ce constat de volatilité des prix des produits agricoles et des intrants ainsi que les effets induits par la mise en place d’un tel ou- til, le déclenchement d’une

Protected

N/A

5
0
0
2021
Garde,sommaire,administrationpp. 1-3.

Aloko  N.  Jérôme  (Université  de  Cocody  -  Abidjan)  -  Atta  Koffi  (Université  de  Cocody  - Abidjan) - Basset Thomas (University of Illinois at Urbana - Champaign)

Protected

N/A

3
0
0
2022
Realizability of Dynamic MSC Languages

We introduced dynamic communicating automata as a model of programs with process creation and asynchronous communication, and dynamic MSC grammars as a specifi- cation language..

Protected

N/A

41
0
0
2021
Realizability of Dynamic MSC Languages

Our model extends classical communicating finite-state machines [5], which allow only for actions of the form (2) and (3) and serve as an implementation model for existing

Protected

N/A

12
0
0
2022
Concentrated assemblies of magnetic nanoparticles in ionic liquids

Their crucial role on the interparticle potential and on the structure of the dispersions is evidenced : (i) The size of the NPs tunes the interparticle attraction

Protected

N/A

11
0
0
2021
SMARTLANE COULOIR SÉCURISÉ DE PASSAGE SL 90X SL 91X. Manuel technique. PRÉPARATION DU SITE INSTALLATION UTILISATION

Le couloir sécurisé de passage doit être adéquatement sécurisé et installé solidement en place, sinon les unités ne seront pas parfaitement de niveau ou d'aplomb, ce qui risque

Protected

N/A

37
0
0
2022
Taille des génomes

MAUVE évite ce problème en utilisant des « Multiple Maximal Unique Matches » (multi-MUMs) de longueur minimum k comme ancres, c’est-à-dire des régions qui sont trouvées

Protected

N/A

19
0
0
2022
Sampling genotype configurations in large complex pedigree

The objectives of this study were to investigate the suitability of using dry matter required (DMR) as predicted by the Cornell Value Discovery System (CVDS) in

Protected

N/A

1
0
0
2021
Approche multidimensionnelle des réactions individuelles face à un changement prescrit

Construit à partir de l’approche proactive du courant de recherche sur la socialisation organisationnelle, enrichi d’une perspective multidimensionnelle des

Protected

N/A

34
0
0
2021
The DART-Europe E-theses Portal

Or, les démarches qualité sont souvent perçues comme une façon de rationner le soin, de le réduire à une vision cybernétique de données d'entrée et de sortie

Protected

N/A

382
0
0
2022
Approche multidimensionnelle des réactions individuelles face à un changement prescrit

Construit à partir de l’approche proactive du courant de recherche sur la socialisation organisationnelle, enrichi d’une perspective multidimensionnelle des

Protected

N/A

35
0
0
2021
Vers un modèle intégrateur des démarches qualité à l’hôpital : l’apport des outils de gestion

La mise en œuvre d’outils, de procédures, de modes opératoires scrupuleux sans réflexion sur leur portée organisationnelle, sur leur pertinence ou encore sur leur

Protected

N/A

382
0
0
2021
Anne Abeillé (1993), Les nouvelles syntaxes : grammaires d’unification et analyse du français

Cette approche, dont la motivation principale est l’établissement d’un niveau de représentation plus général qui puisse servir pour l’application de la

Protected

N/A

10
0
0
2022

Télécharger plus de documents et télécharger des études de documentation immédiatement !