Relevant bibliographies by topics / Logique de Hoare hybride

Contents

  1. Journal articles
  2. Dissertations / Theses

Academic literature on the topic 'Logique de Hoare hybride'

Author: Grafiati
Published: 4 June 2021
Last updated: 1 February 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logique de Hoare hybride.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logique de Hoare hybride"

1

Andrès, Bernard. "L’essai biographique : incarner l’archive 1." Dossier 30, no. 2 (2005): 67–78. http://dx.doi.org/10.7202/011244ar.

Full text
Abstract:
Résumé Le recours au biographique dans l’essai littéraire s’explique par la nécessité d’ordonnancer le matériau archivistique selon la logique narrative d’un récit de vie. Empruntant alors à un genre familier, l’histoire des mentalités, celle de l’institution littéraire et la réflexion sur l’identitaire se coulent dans une forme hybride, « l’essai biographique », marquée par des procédés de fiction et de métafiction. La souplesse de cette écriture autorise l’auteur à explorer des hypothèses de lecture sur son personnage ou sur la société de référence avec plus de liberté que dans l’essai unive
APA, Harvard, Vancouver, ISO, and other styles
2

Andrade, Pedro. "Sociologie sémantico-logique des ruines: pour une herméneutique hybride de la ruine du Web 2.0 au Web 3.0." Sociétés 120, no. 2 (2013): 105. http://dx.doi.org/10.3917/soc.120.0105.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bérard, Stéphanie. "Les dramaturgies antillaises contemporaines du « Chaos-Monde »." L’Annuaire théâtral, no. 43-44 (May 25, 2010): 45–57. http://dx.doi.org/10.7202/041705ar.

Full text
Abstract:
La création théâtrale caribéenne contemporaine s’oriente vers des voies esthétiques plurielles favorisant le mélange des genres, des langues et l’hybridation des formes artistiques (en intégrant en son sein des composantes culturelles populaires telles que tradition orale des contes, proverbes et chansons, musiques et danses, rituels profanes et religieux). Des oeuvres innovantes, parfois déroutantes, viennent perturber les habitudes des spectateurs contraints de donner un sens à des pièces en apparence hétérogènes, désordonnées, voire chaotiques. C’est ce « désordre théâtral » que nous examin
APA, Harvard, Vancouver, ISO, and other styles
4

Z. Karvalics, László. "Mesterséges intelligencia – a diskurzusok újratervezésének kora." Információs Társadalom 15, no. 4 (2017): 7. http://dx.doi.org/10.22503/inftars.xv.2015.4.1.

Full text
Abstract:
A közelmúltban az intelligens robotokban rejlő egyre növekvő
 veszélyek a mesterséges intelligenciáról (MI) szóló irodalom központi témájává váltak. Ez az általam „alarmistának” nevezett nézőpont logikus következménye (és erős szövetségese) az „erős MI” korosodó paradigmájának, illetve ezen paradigma legújabb változatainak. A veszélydiskurzus főbb argumentumainak és az ezekkel kapcsolatos problémák ismertetése után felvázolok egy új értelmezési keretet, melyben minden MI-rendszer elválaszthatatlan egységet, hibridet alkot humán komponensével,
 a funkcióval és környezetével. Véleménye
APA, Harvard, Vancouver, ISO, and other styles
5

Hounlonon, Montcho Crépin, Clément A. Kouchade, and Basile B. Kounouhewa. "PROPRIÉTÉS PHYSIQUES ET MÉCANIQUES DU BOIS DE TECK DE PROVENANCES TANZANIENNE ET LOCALE AU BÉNIN." BOIS & FORETS DES TROPIQUES 331 (July 21, 2017): 45–53. http://dx.doi.org/10.19182/bft2017.331.a31325.

Full text
Abstract:
Le teck (Tectona grandis L. f.) est une espèce ligneuse tropicale dont le bois est très demandé. Au Bénin, la provenance tanzanienne et la provenance locale sont les deux variétés de cette espèce les plus plantées. Pour contribuer à la caractérisa- tion du bois de teck du Bénin, nous avons déterminé et comparé, pour le bois de chaque provenance, les modules d’élasti- cité et de cisaillement, la longueur du fût, la circonférence et l’épaisseur d’écorce à hauteur d’abattage, le pourcentage de bois de cœur, la circonférence à une hau- teur de 1,30 m du sol et la masse volu- mique (ou la densité)
APA, Harvard, Vancouver, ISO, and other styles
6

Vandenberghe, Vincent. "Numéro 2 - mai 2002." Regards économiques, October 12, 2018. http://dx.doi.org/10.14428/regardseco.v1i0.16273.

Full text
Abstract:
Un constat fort se dégage des enquêtes sur les connaissances des élèves en math, en sciences et en lecture opérées depuis 30 ans par l’OCDE : la performance de notre enseignement décroche graduellement par rapport à celle des pays voisins et de la Flandre. Quels sont les déterminants probables d’un tel état de fait ? Peut-on penser que le niveau des ressources joue un rôle décisif ? A vrai dire non. Communautés française et flamande ont dépensé tout au long des années 1990 pratiquement le même montant par élève. Mais les scores des élèves en Flandre sont nettement supérieurs. Nos travaux et ce
APA, Harvard, Vancouver, ISO, and other styles
7

Vandenberghe, Vincent. "Numéro 2 - mai 2002." Regards économiques, October 12, 2018. http://dx.doi.org/10.14428/regardseco2002.05.01.

Full text
Abstract:
Un constat fort se dégage des enquêtes sur les connaissances des élèves en math, en sciences et en lecture opérées depuis 30 ans par l’OCDE : la performance de notre enseignement décroche graduellement par rapport à celle des pays voisins et de la Flandre. Quels sont les déterminants probables d’un tel état de fait ? Peut-on penser que le niveau des ressources joue un rôle décisif ? A vrai dire non. Communautés française et flamande ont dépensé tout au long des années 1990 pratiquement le même montant par élève. Mais les scores des élèves en Flandre sont nettement supérieurs. Nos travaux et ce
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Logique de Hoare hybride"

1

Behaegel, Jonathan. "Modèles hybrides de réseaux de régulation : étude du couplage des cycles cellulaire et circadien." Thesis, Université Côte d'Azur (ComUE), 2018. http://www.theses.fr/2018AZUR4071/document.

Full text
Abstract:
La modélisation de systèmes biologiques est devenue indispensable pour comprendre les phénomènes complexes et émergents issus d'influences partiellement connues, et pour envisager de contrôler un système altéré dans le but de restaurer un comportement physiologique. Tout modèle, quel que soit son paradigme sous-jacent, fait intervenir des paramètres gouvernant sa dynamique mais les mesures expérimentales ne permettent généralement pas de les identifier et cela reste l'un des problèmes majeurs de la modélisation. Cette thèse propose une méthode automatique d'identification des paramètres dynami
APA, Harvard, Vancouver, ISO, and other styles
2

Brenas, Jon Haël. "Hoare-like verification of graph transformation." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM066/document.

Full text
Abstract:
En informatique comme dans de multiples autres domaines, les graphes peuvent être trouvés partout. Ils sont utilisés pour représenter des données dans des domaines allant de la chimie à l'architecture, en tant que structures abstraites ou que modèles des données et de leurs évolutions. Dans tous ces domaines, il est prévisible que les graphes évoluent au cours du temps suite à des réactions chimiques, une mise à jour des connaissance ou l'exécution d'un programme. Être capable de traiter ces transformations est une tâche particulièrement importante et difficile. Dans ce travail, notre objectif
APA, Harvard, Vancouver, ISO, and other styles
3

Lozes, Etienne. "Expressivité des logiques d'espace." Lyon, École normale supérieure (sciences), 2004. http://www.theses.fr/2004ENSL0289.

Full text
Abstract:
Les logiques spatiales sont une nouvelle classe de formalismes dedies a la specification des systemes distribues dans la lignee des logiques modales (Hennessy-Milner). Elles peuvent aussi etre vues comme une extension de la logique classique mieux adaptee a la semantique axiomatique des langages imperatifs manipulant des pointeurs, dans la lignee de la logique de Hoare-Floyd. Cette these presente ces diverses logiques en les comparant du point de vue de leur expressivite. On etablit ainsi des encodages des logiques, des fragments minimaux, des unifications de logiques, et des resultats de deci
APA, Harvard, Vancouver, ISO, and other styles
4

Ben, Jemaa Abdelhak. "Coopération méta heuristique et logique floue pour le dimensionnement d'une installation hybride." Thesis, Reims, 2015. http://www.theses.fr/2015REIMS009/document.

Full text
Abstract:
Cette thèse propose la méthodologie de dimensionnement optimal pour optimiser la configuration de système d'énergie hybride. Pour cela, nous utilisons une approche pour la génération de base de règles floues et une optimisation automatiques au moyen d'algorithme génétique et d'un PSO adaptés avec le floue. Ces algorithmes nous permet d'obtenir le nombre optimal de panneaux photovoltaïques, d'éoliennes et des batteries, minimisant le coût total du système et garantissant la disponibilité permanente de l'électricité pour couvrir les besoins énergétiques. L'historique horaire de vitesse du vent,
APA, Harvard, Vancouver, ISO, and other styles
5

El, Mankibi Mohamed. "Développement et évaluation numérique et expérimentale de stratégies de régulation de la ventilation hybride." Lyon, INSA, 2003. http://www.theses.fr/2003ISAL0034.

Full text
Abstract:
Les systèmes de ventilation sont des composants essentiels à prendre en compte lors de la conception des bâtiments. En effet, alors que la ventilation a longtemps été associée à la qualité de l'air intérieur, on constate un intérêt grandissant pour la ventilation pour le confort d'été. Dans le cas des systèmes de ventilation hybride, la coexistence de deux modes de ventilation différents associée à des objectifs d'économie d'énergie nécessitent une meilleure évoluée. Notre étude vise le développement et l'évaluation sur le plan numérique et expérimental de plusieurs architectures de contrôleur
APA, Harvard, Vancouver, ISO, and other styles
6

Diouf, Magatte. "Méthodes d'analyse logique pour la simulation hybride de circuits par relaxation de formes d'onde /." [S.l.] : [s.n.], 1991. http://library.epfl.ch/theses/?display=detail&nr=953.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Kanig, Johannes. "Spécification et preuve de programmes d'ordre supérieur." Paris 11, 2010. http://www.theses.fr/2010PA112183.

Full text
Abstract:
Nous présentons d'abord un système théorique permettant la preuve de programmes d'ordre supérieur avec etfets de bord. Ce système est constitué de trois composantes majeures. D'abord un langage de programmation avec un système à effets, avec polymorphisme d'etfets, permettant une analyse fine des effets. Ensuite, un langage de spécitication d'ordre supérieur qui contient aussi un moyen de parler des évolutions d'états. Enfin, un calcul de plus faibles préconditions, permettant d'obtenir, à partir d'un programme annoté, des obligations de preuve, c'est-à-dire des formules dont la validité impli
APA, Harvard, Vancouver, ISO, and other styles
8

Juarez, Orozco Zulema. "Vérification de propriétés quantitatives des systèmes logiques par model-checking hybride." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2008. http://tel.archives-ouvertes.fr/tel-00341969.

Full text
Abstract:
La vérification formelle des contrôleurs logiques a donné lieu à de nombreux travaux scientifiques cette dernière décennie. Elle permet de démontrer (obtention d'un niveau requis de sûreté de fonctionnement (SdF) des systèmes industriels, et tout particulièrement des systèmes critiques. Nos travaux portent sur la preuve des propriétés relatives à la qualité du service rendu par le système automatisé, que nous nommons des propriétés quantitatives. Par exemple, au lieu de vérifier que plusieurs produits ont effectivement été dosés avant d'enclencher un mélange puis une réaction chimique, il peut
APA, Harvard, Vancouver, ISO, and other styles
9

Wang, Xiaohui. "Dfkn : un modèle hybride de connaissances pour la conception." Valenciennes, 1998. https://ged.uphf.fr/nuxeo/site/esupversions/61efe636-d96f-4210-a7c2-a6a427246cfa.

Full text
Abstract:
L'objet principal de cette recherche est le développement d'un modèle de connaissances dédié aux premières étapes de la conception qui est une activité complexe faisant appel à un grand nombre de connaissances. La connaissance en conception se définit par les caractéristiques suivantes : l'imprécision des problèmes de conception et l'incertitude des contraintes, les relations empiriquement définies entre les contraintes et les problèmes, les décisions de conception multi - critères et un processus de conception dirige par le problème, la nécessité d'ajuster les connaissances en fonction d'une
APA, Harvard, Vancouver, ISO, and other styles
10

Hoffmann, Guillaume. "Tâches de raisonnement en logiques hybrides." Phd thesis, Université Henri Poincaré - Nancy I, 2010. http://tel.archives-ouvertes.fr/tel-00541664.

Full text
Abstract:
Les logiques modales sont des logiques permettant la représentation et l'inférence de connaissances. La logique hybride est une extension de la logique modale de base contenant des nominaux, permettant de faire référence à un unique individu ou monde du modèle. Dans cette thèse nous présentons plusieurs algorithmes de tableaux pour logiques hybrides expressives. Nous présentons aussi une implémentation de ces calculs, et nous décrivons les tests de correction et de performance que nous avons effectués, ainsi que les outils les permettant. De plus, nous étudions en détail une famille particuliè
APA, Harvard, Vancouver, ISO, and other styles
More sources
You might also be interested in the extended bibliographies on the topic 'Logique de Hoare hybride' for particular source types:
Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography