Log in

Relevant bibliographies by topics / Langages de programmation logique / Journal articles

To see the other types of publications on this topic, follow the link: Langages de programmation logique.

Journal articles on the topic 'Langages de programmation logique'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 May 2024

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

Select a source type:

Consult the top 48 journal articles for your research on the topic 'Langages de programmation logique.'

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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Caldarone, Alessandro. "Une méthodologie automatisée de la logique juridique." Les Cahiers de droit 31, no. 1 (2005): 227–60. http://dx.doi.org/10.7202/043006ar.

Full text

Abstract:

Le droit est une matière qui se prête très bien au traitement informatique. En effet nous pouvons dans cette discipline identifier deux aspects différents et complémentaires de la même réalité, à savoir l'aspect éthique et l'aspect logique. Dans cette étude, l'auteur se penche sur l'aspect logique du droit. Pour ce faire, il utilise la logique formelle afin de réduire sous forme de règles la matière portant sur le remboursement des améliorations faites sur l'immeuble d'autrui. Le résultat final en est un d'intelligence artificielle avec la réalisation d'un système expert portant le nom de LEX-A. Celui-ci a été réalisé sur ordinateur Macintosh et utilise le langage de programmation PROLOG.

APA, Harvard, Vancouver, ISO, and other styles

2

Mélès, Baptiste. "Les langages de Turing." Intellectica. Revue de l'Association pour la Recherche Cognitive 72, no. 1 (2020): 81–110. http://dx.doi.org/10.3406/intel.2020.1947.

Full text

Abstract:

Si les machines de Turing sont réputées inutilisables, c'est parce qu''on prête souvent davantage attention à la rudimentaire description initiale proposée par leur inventeur qu'à son souci constant d'adapter la syntaxe de leur description aux objectifs poursuivis. Nous décrirons chacun des langages successivement adoptés par Turing en en explicitant la grammaire, en justifiant chaque innovation syntaxique et en confrontant aux déclarations d'intention de Turing sa pratique effective. L'exposition de ces langages sera également éclairée, à titre pédagogique, par la théorie moderne des langages de programmation. Nous verrons ainsi que Turing a proposé trois familles de langages pour décrire le fonctionnement de ses machines : d'abord tout une pyramide de langages explicatifs («tables complètes» et «tables abrégées»), voués à rendre intelligible au lecteur humain le fonctionnement des machines ; puis un langage calculatoire, seul véritable «langage de programmation», permettant notamment l'exécution d''une description de machine par une autre machine ; enfin un langage démonstratif, réservé au mathématicien pour la mise au jour de propriétés des nombres calculables.

APA, Harvard, Vancouver, ISO, and other styles

3

Cointe, Pierre, Jacques Noyé, Rémi Douence, et al. "Programmation post-objets. Des langages d'aspects aux langages de composants." L'objet 10, no. 4 (2004): 119–43. http://dx.doi.org/10.3166/objet.10.4.119-143.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Mélès, Baptiste. "Approche philologique des langages de programmation." Techniques et sciences informatiques 35, no. 2 (2016): 237–54. http://dx.doi.org/10.3166/tsi.35.237-254.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Blanc, G., and N. Bleuzen-Guernalec. "Algèbres effectives dans la programmation logique avec contraintes." RAIRO - Theoretical Informatics and Applications 26, no. 3 (1992): 221–42. http://dx.doi.org/10.1051/ita/1992260302211.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Philippot, Alexandre, Stéphane Lecasse, Bernard Riera, and François Gellot. "Développement d’un connecteur logiciel pour l’apprentissage de l’automatisme." J3eA 21 (2022): 2056. http://dx.doi.org/10.1051/j3ea/20222056.

Full text

Abstract:

L’apprentissage de l’automatisme s’adresse aujourd’hui à un public d’étudiants ayant pour la plupart avant tout un background informatique. Ils/elles passent par des phases d’apprentissage de langages compilés et/ou interprétés. Il est compliqué alors pour eux de passer d’une réflexion informatique avec un langage venant du monde de l’IT (Information Technology) vers la programmation d’Automates Programmable Industriel (API), au comportement cyclique, synchrone et aux langages normalisés (IEC 61131-3) issu du monde de l’OT (Operational Technology). Ce papier présente une proposition de mise en place d’un connecteur logiciel entre ces deux mondes aux travers de l’utilisation d’un logiciel de simulation de Parties Opératives Factory I/O (realgames.co) et du langage Python.

APA, Harvard, Vancouver, ISO, and other styles

7

Corblin, Fabien, Eric Fanchon, and Laurent Trilling. "Modélisation de réseaux biologiques discrets en programmation logique par contraintes." Techniques et sciences informatiques 26, no. 1-2 (2007): 73–98. http://dx.doi.org/10.3166/tsi.26.73-98.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Lefebvre, Marie-Thérèse. "Analyse de la programmation radiophonique sur les ondes québécoises entre 1922 et 1939 : musique, théâtre, causeries." Les Cahiers des dix, no. 65 (February 3, 2012): 179–225. http://dx.doi.org/10.7202/1007776ar.

Full text

Abstract:

Élément essentiel de la modernisation du Québec, la radio a-t-elle été également un véhicule des idées nouvelles qui se développent dans les années 1930 ? L’analyse de la programmation de la musique, du théâtre et des causeries démontre que les choix d’émissions ont obéi davantage à la logique marchande qu’à la volonté de participer aux changements qui ont marqué ces années.

APA, Harvard, Vancouver, ISO, and other styles

9

Laperrière, Hélène. "Une pratique réflexive collective de production de connaissances dans la lutte communautaire contre le VIH/sida au Québec." Nouvelles pratiques sociales 22, no. 1 (2010): 77–91. http://dx.doi.org/10.7202/039661ar.

Full text

Abstract:

Les agences canadiennes de santé publique recourent à la mobilisation d’acteurs communautaires pour mettre en oeuvre leurs programmes au plan local. La logique sociétale de programmation diffère toutefois de la pratique communautaire de production et de mise en oeuvre des connaissances. Comment se produit la connaissance locale au sein du partenaire communautaire ? En quoi cette connaissance contribue-t-elle à la lutte contre le sida ?

APA, Harvard, Vancouver, ISO, and other styles

10

Faye, R. M., S. Sawadogo, and F. Mora-Camino. "Logique floue Appliquée à la gestion à long terme des ressources en eau." Revue des sciences de l'eau 15, no. 3 (2005): 579–96. http://dx.doi.org/10.7202/705470ar.

Full text

Abstract:

Dans le contexte de la rareté des ressources en eau, une approche globale de la gestion à long terme d'un système de stockage/transfert/distribution d'eau est proposée. L'objectif principal de la gestion d'un tel type de système est de gérer les réserves et les délestages de manière à minimiser les écarts entre offre et demande, ceci à partir d'une prédiction de la demande et des apports. Ainsi, on propose une approche à horizon glissant et surtout une procédure d'adaptation des pondérations du critère fondée sur la logique floue. Cette notion d'adaptation du critère parait tout à fait judicieuse quand on connaît la difficulté de définir les pondérations de tels problèmes d'optimisation et son influence sur la pertinence de la solution obtenue. On vérifie ici l'apport essentiel de la logique floue qui permet d'appréhender finement les enjeux en présence dans la gestion de long terme du système stockage/transfert/distribution d'eau. Le problème de gestion à long terme est résolu par une heuristique améliorée utilisant la programmation linéaire et la programmation dynamique pour réduire les effets de la discrétisation spatiale qui est si limitative dans ce contexte. L'approche de gestion proposée est effectivement appliquée à un cas d'étude qui permet de mettre en évidence sa relative simplicité de mise en œuvre.

APA, Harvard, Vancouver, ISO, and other styles

11

Muxart, Tatiana. "Dossier Interdisciplinarité La programmation des recherches interdisciplinaires en environnement au CNRS. Logique scientifique ou logique de pouvoir ?" Natures Sciences Sociétés 12, no. 3 (2004): 310–15. http://dx.doi.org/10.1051/nss:2004044.

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

Rivenc, François. "Faut-il enterrer le principe de compositionnalitè?" Dialogue 34, no. 2 (1995): 305–20. http://dx.doi.org/10.1017/s0012217300014736.

Full text

Abstract:

Commençons par saluer la parution de cet ouvrage, qui propose au lecteur francophone les traductions de quatorze articles de Hintikka (dont deux écrits en collaboration avec G. Sandu), couvrant la période 1976-1990, qu'on peut pour l'essentiel répartir en deux rubriques; les six premiers articles constituent à des titres divers un plaidoyer pour l'introduction d'un nouveau cadre conceptuel, ou «paradigme», en linguistique, destiné à rem-placer le programme de la grammaire générative, et capable (selon l'auteur) d'expliquer et de prédire un grand nombre de phénomènes linguistiques plus ou moins négligés par l'approche traditionnelle, liée au pré-jugé selon lequel la créativité du langage est essentiellement d'ordre récursif. La seconde partie du recueil a pour thème central les limites de la logique du premier ordre (théorie de la quantification), et esquisse ce que devrait être une logique du premier ordre plus générate, en ce qu'elle accueille dans ses notations des phénoménes d'independance relative des quantificateurs et des connecteurs (Independence-friendly Logic, en abrégé IF). Á travers les deux révolutions dans la pensée qui sont ainsi proposées, Hintikka développe (et c'est ce qui fait l'unité profonde de l'ouvrage) les conséquences proches et lointaines de la sémantique qu'il a introduite dans les années 1970 (Hintikka, 1973), et initialement appliquée á la logique du premier ordre, sémantique fondée sur l'utilisation de concepts de la théorie des jeux (Game-theoretical Semantics, en abrégé GTS). Quels que soient par ailleurs ses grands mérites, la traduction française ici utilisée par N. Lavand, «sémantique des jeux», voile plus qu'elle ne révèle les rapports exacts entre la théorie mathématique desjeux, les langages, naturels ou formalisés, pour lesquels on construit une sémantique dite «formelle», et les concepts de stratégic et d'information, en particulier, tirés précisément de l a théorie des jeux et appliqués á l'interprétation du vocabulaire logique de ces langages. II est vrai qu'il y a lá une difficulté de traduction.

APA, Harvard, Vancouver, ISO, and other styles

13

Espinasse, Bernard, Rinaldo Lima, and Fred Freitas. "Extraction automatique d’entités et de relations par ontologies et programmation logique inductive." Revue d'intelligence artificielle 30, no. 6 (2016): 637–74. http://dx.doi.org/10.3166/ria.30.637-674.

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

Laugier, C. "Les apports respectifs des langages symboliques et de la cao en programmation des robots." Robotica 6, no. 3 (1988): 243–53. http://dx.doi.org/10.1017/s0263574700004355.

Full text

Abstract:

SUMMARYA high-level robot programming language constitutes a general purpose interface for accessing the basic functional capabilities of a robot. On the other hand, CAD facilities give the possibility of using a subset of these capabilities in an easier fashion. In this paper, we show how a robot programming language and CAD facilities can be combined to obtain a robot programming system satisfying the need for generality, and allowing an easy connection with the basic robot programming functions. Such a connection is based on a “complete” simulator providing facilities for executing robot control programs on a graphic display, for describing manipulation tasks using interactive graphic tools, for simulating the physical world and its perception through sensors, and for displaying three-dimensional scenes as shaded pictures.

APA, Harvard, Vancouver, ISO, and other styles

15

Riera, Bernard, David Annebicque, Idriss Moussa, Aristide Doucet, and Fabien Emprin. "Enseigner les bases de la commande logique avec HOME I/O et Scratch 3.0." J3eA 22 (2023): 1025. http://dx.doi.org/10.1051/j3ea/20231025.

Full text

Abstract:

Le logiciel HOME I/O est le résultat d'un projet de R&D démarré en 2011 entre le laboratoire CReSTIC de l'Université de Reims Champagne-Ardenne (URCA) et Real Games, L’objectif était de concevoir une maison virtuelle pour l'enseignement des STEM (Sciences, Technologies, Ingénierie et Mathématiques) utilisable du collège à l'université. Lors des CETSIS en 2017 et 2021, HOME I/O et les premiers retours d’expérience ont été présentés. Cet article, décrit un module d’enseignement original d’initiation à la commande logique destiné à des étudiants en 2ème année de BUT « informatique » à l’IUT de Reims-Châlons-Charleville. HOME I/O, combiné avec Scratch 3 (logiciel utilisé au collège pour s’initier à la programmation), a été utilisé pour présenter les principaux concepts de la commande logique. L’approche pédagogique mise en œuvre, est basée sur un apprentissage par l'erreur, permettant aux étudiants d’appréhender, à partir des difficultés qu’ils ou elles rencontrent, les spécificités de l’informatique industrielle et de la commande logique. Les retours des étudiants obtenus au moyen de questionnaires anonymes sont globalement positifs.

APA, Harvard, Vancouver, ISO, and other styles

16

Avila, Manuel, Christophe Charrière, Pascal Vrignat, Florent Duculty, Stéphane Begot, and Jean-Christophe Bardet. "Usage du nano-ordinateur Raspberry Pi et Matlab pour la régulation d’une alimentation à découpage." J3eA 22 (2023): 1008. http://dx.doi.org/10.1051/j3ea/20231008.

Full text

Abstract:

Les nano-ordinateurs de type Raspberry Pi ont pris une place importante dans le domaine de l’EEA, que ce soit pour des Interfaces Homme-Machine (IHM), pour le contrôle-commande de systèmes (automatisation simple, fonction pour des services de communication, superviseur domotique…). Les outils disponibles sur ce type de plateforme ainsi que les systèmes d’exploitation sont nombreux. Les langages de programmation disponibles pour l’implémentation des programmes sont également nombreux. Dans ce contexte, Matlab permet notamment ces implémentations. Ce dernier est particulièrement adapté pour la mise en œuvre de systèmes asservis. Cependant, l’une des difficultés avec une carte Raspberry Pi est l’absence d’entrées et/ou sorties analogiques. Dans ce travail, nous proposons une solution de gestion d’entrées/sorties analogiques pour une fréquence d’échantillonnage de l’ordre de quelques kHz.

APA, Harvard, Vancouver, ISO, and other styles

17

Fortin, Etienne, Louis Rivest, and Jean-François Chateiain. "COMBINER DE MULTIPLE LANGAGES POUR LA PROGRAMMATION DES CONTRÔLEURS DE MACHINES-OUTILS À ARCHITECTURE OUVERTE." Transactions of the Canadian Society for Mechanical Engineering 28, no. 3-4 (2004): 511–30. http://dx.doi.org/10.1139/tcsme-2004-0035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

18

Audureau, Éric. "Les objets de la logique classique peuvent-ils être des énoncés ?" Philosophiques 27, no. 2 (2002): 263–85. http://dx.doi.org/10.7202/004894ar.

Full text

Abstract:

RÉSUMÉ La philosophie de Quine n'aurait pas lieu d'être s'il y avait des propositions. L'existence de celles-ci rangerait la logique aux côtés des mathématiques ; la rupture entre, d'une part, la science et, d'autre part, le langage et le sens commun serait alors établie et le programme empiriste devrait renoncer à rendre compte du fait de la science ; ce qui était précisément son but initial. Quine a si brillamment analysé les difficultés de la notion de proposition , qu'on a peu songé à examiner la nature de ce par quoi il les remplace : les énoncés. En s'appuyant sur des considérations élémentaires ressortant à des matières scientifiques philosophiquement neutres, on tente de montrer que la notion d'énoncé n'est : (1)ni logiquement distincte (où « logiquement » signifie conforme aux lois de la logique et non pas à un mode de raisonnement particulier) de la notion de proposition : c'est une notion confuse ; (2)ni linguistiquement claire (où « linguistiquement » signifie conforme à la théorie générale des langages) : c'est une notion obscure.

APA, Harvard, Vancouver, ISO, and other styles

19

Namer, Fiammetta. "Le modèle Lstat : ou comment se constituer une base de données morphologique à partir du Web." Revue québécoise de linguistique 32, no. 1 (2006): 85–109. http://dx.doi.org/10.7202/012245ar.

Full text

Abstract:

Résumé L’objectif de cet article est de présenter une méthode d’acquisition, d’organisation et d’interrogation de corpus textuels à partir de données et outils librement récupérables sur le Web (corpus de textes, lexiques, langages de programmation spécialisés, outils d’étiquetage et de lemmatisation). Nous nous intéressons ici plus particulièrement aux préoccupations des chercheurs en morphologie dérivationnelle, en proposant d’intégrer à la méthode présentée un module d’analyse morphologique dérivationnelle qui permet au linguiste de se constituer une base de données lexicale munie d’annotations morphosémantiques (que nous appellerons base de données morphologique, notée BDM). La méthodologie proposée sera illustrée tout au long de l’article par la présentation de Lstat, modèle de BDM utilisé avec un lexique de 27,5 millions d’occurrences issu d’archives de presse française en ligne, automatiquement téléchargées entre 2001 et 2002.

APA, Harvard, Vancouver, ISO, and other styles

20

Bourgault, Serge, Jean-Pierre Le Pape, and Daniel Ranson. "Lislog-C: Une première étape vers I’expression généralisée de contraintes en programmation en logique." Annales Des Télécommunications 44, no. 5-6 (1989): 218–28. http://dx.doi.org/10.1007/bf02995668.

Full text

APA, Harvard, Vancouver, ISO, and other styles

21

Malherbe, Jean-François. "La théologie dans le champ spéculatif." Thème 1, no. 1 (2009): 101–22. http://dx.doi.org/10.7202/602384ar.

Full text

Abstract:

RÉSUMÉ Dans la culture actuelle, la théologie souffre d’un discrédit qui procède de la fascination générale à l’égard de disciplines opératoires privilégiées par un monde universitaire devenu largement scientiste. La théologie elle-même entretient, sans doute involontairement, ce discrédit à partir d’une image de soi négative. Or, cette situation est totalement injustifiée aux yeux de la raison philosophique qui, à travers la mise en oeuvre de l’analyse logique des langages spéculatifs, souligne la parenté très profonde qui existe entre théologie, philosophie et sciences opératoires. De reconnaître la validité de cette perspective, la théologie posséderait toute la vis medicatrix naturae pour se remettre en accord avec elle-même et retrouver sa dignité dans le concert des disciplines universitaires.

APA, Harvard, Vancouver, ISO, and other styles

22

Ardourel, Gilles, Pierre Crescenzo, and Philippe Lahire. "LAMP : vers un langage de définition de mécanismes de protection pour les langages de programmation à objets." L'objet 9, no. 1-2 (2003): 151–63. http://dx.doi.org/10.3166/objet.9.1-2.151-163.

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

Certes, C., and P. Hubert. "Application de la programmation logique en hydrologie. Definition d'un programme d'interpretation automatique des pompages d'essai." Journal of Hydrology 81, no. 1-2 (1985): 137–55. http://dx.doi.org/10.1016/0022-1694(85)90172-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

Bujold, Stéphane, and Guy Ausloos. "Évaluation du fonctionnement familial : le modèle des fonctions de Guy Ausloos comme données probantes fondées sur la pratique." Thérapie Familiale Vol. 44, no. 3 (2023): 211–22. http://dx.doi.org/10.3917/tf.233.0211.

Full text

Abstract:

Bien qu’il existe différents types de modèles d’évaluation du fonctionnement familial (Pauzé et Petitpas, 2013 ; Pauzé et al. , 2017), cet article vise à présenter le modèle d’évaluation du D r Guy Ausloos comme une pratique clinique ( Practice-Based-Evidence ) efficace. Il appert que la théorie des fonctions du D r Ausloos est un outil clinique qui a le mérite d’être facilement utilisé par une panoplie de thérapeutes, allant des débutants aux plus expérimentés. Cette théorie comprend six fonctions selon deux catégories : les fonctions logistiques (programmation, pilotage et contrôle) et les fonctions relationnelles (communication, distance et mémoires). Cette évaluation a l’avantage de mener directement à des hypothèses permettant l’établissement du plan d’intervention. Finalement, ce modèle s’inscrit dans la logique de la compétence des familles (Ausloos, 1995).

APA, Harvard, Vancouver, ISO, and other styles

25

Leveneur-Martel, Laurence. "La « télévision doudou ». Les tactiques éditoriales des chaînes de télévision françaises sur les réseaux socionumériques pendant le premier confinement." Communication & langages N° 218, no. 4 (2023): 63–86. http://dx.doi.org/10.3917/comla1.218.0063.

Full text

Abstract:

Lors du premier confinement français lié à la crise sanitaire, les chaînes de télévision ont dû bousculer leurs grilles de programmation, non seulement pour anticiper l’effet de la crise sur leurs offres, mais également dans une logique plus tactique. Dans cet article, nous tâcherons de montrer, à travers l’analyse des publications de TF1, France 2 et M6 sur Twitter, Facebook et Instagram, que les valeurs positives qui caractérisent leurs messages sur cette période permirent de sanctuariser la télévision comme une sorte « d’auxiliaire de vie » des Français alors confinés chez eux. Nous verrons comment la fonction sociale de la télévision fut ainsi renforcée, en particulier par la circulation de discours qui promouvaient une écoute collective, principalement par le prisme du foyer, positionnant les énonciateurs télévisuels au plus proche de leurs publics.

APA, Harvard, Vancouver, ISO, and other styles

26

Dubois, Didier, Henri Prade, and Steven Schokaert. "Règles et métarègles en théorie des possibilités. De la logique possibiliste à la programmation par ensembles-réponses." Revue d'intelligence artificielle 26, no. 1-2 (2012): 63–83. http://dx.doi.org/10.3166/ria.26.63-83.

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

Badir, Sémir. "La typologie sémiotique des modalités. Une mise au point." Semiotica 2020, no. 234 (2020): 79–101. http://dx.doi.org/10.1515/sem-2018-0123.

Full text

Abstract:

RésuméOn enquête dans cet article sur le concept de modalité comme il a été élaboré dans la théorie sémiotique, distinctement des approches linguistique et logique, à l’instigation d’A. J. Greimas, puis largement employé dans l’analyse des textes. Si la modalité répond tout d’abord de la possibilité de présence d’un verbe modal (pouvoir, vouloir, savoir), bientôt l’effort théorique des sémioticiens a tendu à rendre compte des différentes modalités au moyen d’une structure sémantique. L’exposé de cinq travaux poursuivant cet effort de systématisation (Rengstorf. 1976. Pour une quatrième modalité narrative. Langages 43. 71–77 ; Greimas et Courtés. 1979. Sémiotique. Dictionnaire raisonné de la théorie du langage. Paris: Hachette ; Greimas et Fontanille. 1991. Sémiotique des passions. Paris: Seuil ; Fontanille et Zilberberg. 1998. Tension et signification. Liège: Mardaga ; et Fontanille. 2003 [1999]. Sémiotique du discours. Limoges: PULIM) nous permettra de proposer, dans un premier temps, un bilan. On remarquera, dans un second temps, que les extensions et justifications successives n’ont pas toutefois été sans introduire des contradictions dans la conception théorique de la modalité. Nous mènerons alors les développements nécessaires en vue d’une définition plus raisonnée du concept de modalité et d’une refonte générale du système des modalités.

APA, Harvard, Vancouver, ISO, and other styles

28

Boyé, Marc. "La géographie est-elle une science? Introduction aux problèmes de codification dans le traitement automatique de l’information géographique." Cahiers de géographie du Québec 14, no. 32 (2005): 157–69. http://dx.doi.org/10.7202/020907ar.

Full text

Abstract:

Le présent article est à la fois une introduction épistémologique à la géographie et une approche sémantique du langage, fort complexe, qu'emploient les géographes. Son but est d'inviter à la réflexion sur les problèmes que pose la codification de l'information géographique pour un traitement automatique. Comme toutes les disciplines chargées de gérer et de présenter un « corps de savoir », la géographie est aujourd'hui confrontée à l'accumulation accélérée de la masse documentaire qu'elle utilise. Les éléments qui composent son corps de savoir viennent pour la plupart d'autres sciences et d'autres disciplines, d'un degré de complexité moindre, qui lui fournissent des informations concernant la Terre et les Hommes. Le rôle du géographe est de synthétiser ces apports en vue de rendre compte de la répartition des faits physiques ou humains considérés à la surface du globe et d'en produire une expression cartographique ; son point de vue est celui d'un généraliste. Toutefois, la géographie ne s'intéresse pas aux faits sur le seul plan statistique ; elle considère encore leurs rapports et leur genèse, voire leur devenir en ce qu'ils sont, eux aussi, susceptibles de représentation cartographique. Il n'y a donc pas, à proprement parler, d'information géographique, mais une manière géographique de dresser la synthèse d'informations de provenances diverses. Or, chaque source d'information a son langage propre, de sorte que le langage géographique procède pour une grande part d'emprunts et ne dispose d'un langage spécifique qu'à partir d'un certain degré de synthèse. Il en résulte que, n'étant ni une science ni une discipline scientifique, même lorsqu'elle s'équipe de méthodes pour « percevoir et pénétrer » du nouveau, la géographie ne peut pas se plier à une codification unique, sous la forme d'un thésaurus de mots-clés. Il lui faut au moins trois ordres de codes aptes à un jeu de combinaisons : 1 — Un code géographique, pour la localisation à la surface du globe ; un système de coordonnées par exemple ; 2 — Un code taxonomique, c'est-à-dire un vocabulaire des « maîtres-mots » qui portent l'esprit même de la préoccupation géographique et constituent la classification typologique propre à la discipline ; 3 — Un code syntaxique, où notamment les emprunts faits à d'autres langages seraient à faire jouer comme des données grammaticales. Par la logique même de l'argumentation, des notions comme science, discipline, connaissance, corps de savoir ont trouvé l'occasion d'être précisées.

APA, Harvard, Vancouver, ISO, and other styles

29

GARDAN, Yvon, and Michel LUCAS. "Langages de programmation graphique." Technologies logicielles Architectures des systèmes, March 1990. http://dx.doi.org/10.51257/a-v1-h2420.

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

DESCHIZEAUX, Pierre. "Langages de programmation industriels." Traçabilité, January 1987. http://dx.doi.org/10.51257/a-v1-r7565.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

ROBINET, Bernard. "Langages de programmation - Introduction." Technologies logicielles Architectures des systèmes, June 1994. http://dx.doi.org/10.51257/a-v2-h2000.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

CHAILLOUX, Emmanuel, Romain DEMANGEON, and Michel MAUNY. "Typage des langages de programmation." Technologies logicielles Architectures des systèmes, May 2018. http://dx.doi.org/10.51257/a-v1-h3320.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

GRIFFITHS, Michael. "Traduction de langages de programmation." Technologies logicielles Architectures des systèmes, December 1985. http://dx.doi.org/10.51257/a-v1-h2060.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

MELIN, Christian, and Hocine HAMDI. "Langages de programmation des robots." Automatique et ingénierie système, October 1988. http://dx.doi.org/10.51257/a-v1-r7720.

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

TRILLING, Laurent. "Programmation logique avec contraintes." Technologies logicielles Architectures des systèmes, May 1998. http://dx.doi.org/10.51257/a-v1-h3158.

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

SIDI, Jacqueline. "Conformité aux normes des langages de programmation." Technologies logicielles Architectures des systèmes, September 1986. http://dx.doi.org/10.51257/a-v1-h2650.

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

Graham, Shawn. "Une introduction aux Bots Twitter avec Tracery." Programming Historian en français, no. 2 (May 9, 2020). http://dx.doi.org/10.46430/phfr0010.

Full text

Abstract:

Cette leçon explique comment créer de simples bots Twitter à l'aide de la grammaire Tracery et du service Cheap Bots Done Quick. Tracery est interopérable avec plusieurs langages de programmation et peut être intégrée dans des sites web, des jeux ou des bots.

APA, Harvard, Vancouver, ISO, and other styles

38

Ézéquel, Philippe. "Apprentissage de la programmation fonctionnelle à des étudiants en musicologie : une expérience." Revue Francophone Informatique et Musique 1, no. 1 (2022). http://dx.doi.org/10.56698/rfim.482.

Full text

Abstract:

L’enseignement de la programmation fonctionnelle « pure » présente au moins deux difficultés pédagogiques spécifiques : d’abord l’absence des structures de contrôle habituelles dans le paradigme impératif, ensuite la nécessité de maîtriser, par conséquent, l’induction. L’utilisation d’un langage « réel » dans un tel cadre s’avère délicat, car ces concepts sont obscurcis par des contraintes syntaxiques par ailleurs légitimes s’agissant de langages permettant de réaliser de « vrais » logiciels. C’est pourquoi la machine de Peano a été conçue, offrant une syntaxe simple et permettant de manipuler les objets classiques de la programmation fonctionnelle (listes et arbres). Ce texte décrit la machine, ainsi que son utilisation dans le cadre d’une initiation à la programmation fonctionnelle, tant en musicologie qu’en première année de licence scientifique.

APA, Harvard, Vancouver, ISO, and other styles

39

JARGOT, Patricia. "Langages de programmation pour API. Norme IEC 1131-3." Automatique et ingénierie système, June 1999. http://dx.doi.org/10.51257/a-v1-s8030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

Norilo, Vesa. "Le traitement du signal pour les musiciens." Revue Francophone Informatique et Musique 1, no. 1 (2022). http://dx.doi.org/10.56698/rfim.534.

Full text

Abstract:

Ce texte porte sur l‘utilité pour des étudiants en musique, en composition et en ingénierie du son de s’intéresser aux techniques de traitement du signal. Nous exposons les questions et les idées concernant les principaux obstacles à cet apprentissage et présentons des outils logiciels appropriés pour y remédier. Les caractéristiques des langages de programmation, telles que la gestion de la complexité et de la simplicité, les capacités d'abstraction, la visualisation et le développement itératif sont examinées du point de vue de l'enseignant et de l'apprenant. En outre, nous proposons des synergies entre apprentissage, programmation créative et codage en direct.

APA, Harvard, Vancouver, ISO, and other styles

41

JOUVRAY, Nicolas. "Langages de programmation pour systèmes automatisés : norme CEI 61131-3." Automatique et ingénierie système, March 2008. http://dx.doi.org/10.51257/a-v2-s8030.

Full text

APA, Harvard, Vancouver, ISO, and other styles

42

Gräf, Albert. "Leçons tirées de l’enseignement de l’informatique musicale à des musicologues." Revue Francophone Informatique et Musique 1, no. 1 (2022). http://dx.doi.org/10.56698/rfim.530.

Full text

Abstract:

Nous présentons des expériences d’enseignement de la musique-informatique à des étudiants en musicologie et de diverses disciplines (informatique, mathématiques, sciences médiatiques) à l’université pluridisciplinaire JGU, dans le groupe de recherche Music-Informatics (Institut d’histoire de l’art et de musicologie). Nos cours couvrent un large éventail de sujets, allant des théories sous-jacentes (acoustique, traitement du signal numérique, théorie mathématique de la musique et certains domaines de l’informatique) à des sujets pratiques en technologie musicale et en programmation informatique. Réfléchir à qui et pourquoi nous enseignons est aussi important que de demander quoi enseigner et comment. Dans ce texte, nous réfléchissons à certaines de ces questions et à leurs interdépendances, et nous discutons également des outils logiciels et des langages de programmation utilisés.

APA, Harvard, Vancouver, ISO, and other styles

43

Mpondo-Dicka, Patrick. "Le Markdown, une praxis énonciative du numérique." L'énonciation en acte ou comment la praxis énonciative opère au sein des espaces numériques 8, no. 2 (2020). http://dx.doi.org/10.25965/interfaces-numeriques.3915.

Full text

Abstract:

Le Markdown est un lieu privilégié d’observation de ce que la théorie opérationnelle de l’écriture numérique (Crozat et al., 2011) appelle « la tension de la manifestation », c'est-à-dire la tension entre le niveau techno-applicatif des formats, des langages de programmation et des programmes, et le niveau sémio-rhétorique des interfaces. Nous choisirons l’exemple de l’avènement du Markdown, de son évolution, pour montrer, en acte, la praxis énonciative qui préside à ce lieu du dialogue humain-machine.

APA, Harvard, Vancouver, ISO, and other styles

44

BAZEX, Pierre, and Agusti CANALS. "Modélisation en UML/OCL des langages de programmation : vers un processus IDM incrémental." Technologies logicielles Architectures des systèmes, August 2011. http://dx.doi.org/10.51257/a-v2-h3880.

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

Tchoupé Tchendji, Maurice. "Un protocole de fertilisation croisée d’un langage fonctionnel et d’un langage objet: application à la mise en oeuvre d’un prototype d’éditeur coopératif asynchrone." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 14 - 2011 - Special... (October 5, 2011). http://dx.doi.org/10.46298/arima.1952.

Full text

Abstract:

International audience The cross-fertilization is a technique to pool expertise and resources of at least two sectors in order to make the best of each. In this paper, we present a protocol of programming based on cross-fertilization of two programming languages (Haskell and Java) under two different programming paradigms: the functional paradigm and the object paradigm. This pooling of the strengths of each type of language permit to develop more secure applications in a shorter time, with functional code concise, easily understandable and thus, easily maintainable by one third. We present the meta-architecture of applications developed following this approach and an instantiation of it for the implementation of a prototype of an asynchronous collaborative editor. La fertilisation croisée est une technique permettant de mettre en commun des compétences et des ressources d’au moins deux secteurs d’activité afin d’en tirer le meilleur de chaque. Dans ce papier, nous présentons un protocole de programmation basé sur la fertilisation croisée de deux langages de programmation (Haskell et Java) relevant de deux paradigmes de programmation différents: le paradigme fonctionnel et le paradigme objet. Cette mutualisation des points forts de chaque type de langage permet de développer des applications plus sûres, en un temps moindre, ayant un code fonctionnel concis, facilement compréhensible et donc, facilement maintenable par un tiers. Nous présentons la méta-architecture des applications développées suivant cette approche ainsi qu’une instanciation de celle-ci pour la mise en oeuvre d’un prototype d’éditeur coopératifasynchrone.

APA, Harvard, Vancouver, ISO, and other styles

46

Bertin, Erik. "Écouter et réécouter." 38, no. 2 (2010): 29–40. http://dx.doi.org/10.7202/044949ar.

Full text

Abstract:

Résumé Cet article explore l’écoute de la musique comme pratique, et plus précisément le phénomène de l’audition répétée d’un même morceau de musique. Au fil des écoutes, une interaction se construit entre une forme répétée à l’identique et un sujet potentiellement soumis à des variations modales, cognitives et passionnelles. Un cycle de vie de l’écoute répétitive se dégage, qui mène du surgissement émotionnel lié à la découverte d’une musique à son appropriation progressive par le sujet, puis parfois à son déclin et à son abandon. Cette interaction répétée articule étroitement logique passionnelle et logique de la programmation, donnant lieu à différentes modulations des tensions entre ressentir et découvrir. C’est la création d’un blogue d’une quinzaine de sujets-auditeurs décrivant régulièrement leurs perceptions et leurs impressions dans un processus de familiarisation avec un morceau de musique qui a permis de constituer le corpus soumis à l’analyse sémiotique.

APA, Harvard, Vancouver, ISO, and other styles

47

Lokpo, Ibrahim, Michel Babri, and Gérard Padiou. "Mise en oeuvre de tests unitaires dans un contexte de programmation eXtrème répartie." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 4, 2006 (September 24, 2006). http://dx.doi.org/10.46298/arima.1843.

Full text

Abstract:

International audience eXtreme Programming (XP) is a methodology based on principles and practices for quickly developing software. However this approach requires the programmers to be co-located. Many research projects investigate how to extend XP to a distributed environment. However the challenge is to carry out the XP approach without conflicting with the distributed constraints. Our work takes place in this way. More precisely, we propose an extension based on assistance for supporting distributed unit testing, one of the key principles of XP methodology. La programmation eXtrème dite XP (eXtreme Programming) est une méthodologie efficace de développement rapide de logiciels qui exige que les membres d'une équipe de développeurs soient physiquement proches les uns des autres. Des travaux de recherche tentent d'étendre les principes de cette méthodologie à un contexte réparti. Le défi est alors de préserver les qualités fondamentales de l'approche tout en s'affranchissant de la contrainte de proximité physique des développeurs. Notre travail s'inscrit dans cette logique. De façon plus précise, nous proposons de fonder cette extension de XP à un environnement réparti sur l'assistance à la réalisation des tests unitaires, pierre angulaire de la méthodologie XP.

APA, Harvard, Vancouver, ISO, and other styles

48

Tutschku, Hans. "L’espace entourant – l’espace personnel." Revue Francophone Informatique et Musique 1, no. 1 (2022). http://dx.doi.org/10.56698/rfim.370.

Full text

Abstract:

Introduction Je présente dans ce texte quelques expériences personnelles, en rapport avec le sujet de ce numéro. Depuis 1982, j’ai utilisé l’espace sonore dans des configurations très diverses, allant des compositions mixtes aux installations sonores, en passant par des pièces pour 24 haut-parleurs et pour la Wave-Field-Synthesis. Ce texte présente quelques exemples, avec des questionnements, sur les besoins artistiques et leurs implémentations techniques et compositionnelles. Je vais commencer par un rapide survol de mon parcours musical et technologique. Figure 1. Survol historique J’ai commencé en 1982 à pratiquer les technologies analogiques avec un petit synthétiseur, le « Synthi-E ». Ensuite, un grand changement s’est produit pour moi avec l’arrivée de mon premier ordinateur en 1989, avec lequel l’aspect de la programmation est entré dans ma vie. Très vite, quand j’ai eu mon premier DX7, je me suis rendu compte que tout ce que je faisais avec cet instrument ne me plaisait pas. Tout ce que je voyais avec l’ordinateur ne me plaisait pas non plus. J’ai donc appris un certain nombre de langages, comme le Basic, le C etc., pour petit à petit me forger mes propres outils. C’était assez intéressant, surtout au début des années 1990, quand j’ai programmé un environnement de traitement en temps réel avec mon Atari. Le programme tournait sans l’utilisation de l’écran. L’ordinateur démarrait avec une disquette et un ensemble de fonctions était contrôlable par les touches du cla

APA, Harvard, Vancouver, ISO, and other styles

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!