Relevant bibliographies by topics / Langages de programmation logique

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Reports

Academic literature 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 lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.

Journal articles on the topic "Langages de programmation logique"

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
More sources

Dissertations / Theses on the topic "Langages de programmation logique"

1

Fronhöfer, Franz Bertram. "La logique dans la programmation : synthèse logique de programmes et langages de programmation logique." Grenoble INPG, 1989. http://www.theses.fr/1989INPG0047.

Full text
Abstract:
Comparaison de plusieurs approches de la synthese de programmes. Presentation de deux etudes visant d'une part a l'affinement du raisonnement logique en forme non normale et d'autre part a la transformation de la logique de premier ordre en clauses de horn. Un langage logique qui unifie le raisonnement deductif et la programmation procedurale est propose
APA, Harvard, Vancouver, ISO, and other styles
2

Ezequel, Philippe. "Décomposition en programmation logique." Montpellier 2, 1990. http://www.theses.fr/1990MON20100.

Full text
Abstract:
On étudie dans cette thèse la décomposition de programmes logiques, c'est-à-dire le fait qu'un programme puisse être découpé en sous-programmes de telle sorte que le résultat de l'exécution indépendante de chacun des sous-programmes soit équivalent à l'exécution du programme entier. A cet effet, une nouvelle description des programmes logiques (en termes d'ensembles de buts, les comportements) est donnée. On prouve qu'elle est équivalente aux sémantiques classiques. On en déduit de nouvelles conditions nécessaires et suffisantes d'équivalence et de décomposabilité des programmes logiques. Une étude plus approfondie des comportements montre que certains de leurs buts, appelés donc générateurs, engendrent les autres, et qu'ils suffisent pour décrire opérationnellement le programme. L'existence d'une relation entre décomposabilité et buts générateurs est enfin examinée
APA, Harvard, Vancouver, ISO, and other styles
3

Lafont, Yves. "Logiques, catégories et machines : implantation de langages de programmation guidée par la logique catégorique /." [Le Chesnay] : [Institut national de recherche en informatique et en automatique], 1988. http://catalogue.bnf.fr/ark:/12148/cb34935229k.

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

Denis, François. "Contribution à l'étude des sémantiques axiomatiques de Prolog." Lille 1, 1990. http://www.theses.fr/1990LIL10170.

Full text
Abstract:
La sémantique opérationnelle des programmes Prolog(définis) la plus fréquemment étudiée fait implicitement l'hypothèse que ces programmes sont évalués par des interpréteurs idéaux (en largeur d'abord et équitables). En conséquence, les résultats théoriques très complets qui ont été obtenus jusqu'à présent ne s'appliquent pas aux interpréteurs standard usuels. Nous définissons de nouvelles sémantiques opérationnelles, adaptées aux interpréteurs standards ou plus généralement, décrivant un noyau calculable quel que soit l'interpréteur envisagé. Nous montrons ensuite que ces sémantiques peuvent être caractérisées axiomatiquement ; ces résultats constituent donc une version plus réaliste et plus générale des résultats classiques. Nous avons utilisé, au cours de cette étude, une technique de dédoublement des symboles de prédicats dont nous avons étudié systématiquement les rapports avec la logique trivaluée. Nous avons également démontré des théorèmes de complétude en logiques bivaluée et trivaluée s'appliquant à des classes générales de programmes logiques (comprenant bon nombre des traductions axiomatiques rencontrées en programmation logique) dans le cadre de la Théorie Équationnelle de Clark.
APA, Harvard, Vancouver, ISO, and other styles
5

Yaacoub, Antoun. "Flux de l'information en programmation logique." Toulouse 3, 2012. http://thesesups.ups-tlse.fr/1787/.

Full text
Abstract:
Cette thèse est développée dans le but d'aborder la question du flux de l'information en programmation logique. Les contributions de cette thèse peuvent être divisées en trois parties: 1. Flux de l'information en programmation logique: Nous proposons une base théorique de ce que pourrait être un flux de l'information en programmation logique. Plusieurs définitions de flux d'information (basées sur la réussite / échec, les substitutions réponses, bisimulation entre les arbres de résolution des buts logiques) sont évaluées et comparées. Des problèmes de décision sont donnés pour chaque définition et la complexité est étudiée pour certaines catégories de programmes logiques. 2. Bisimulation de buts logiques: Nous introduisons la notion de bisimulation entre les buts Datalog: deux buts Datalog sont bisimilaires par rapport à un programme Datalog donné lorsque leurs SLD-arbres, considérés comme des structures relationnelles, sont bisimilaires. Nous abordons le problème de décider si deux buts donnés sont bisimilaires à l'égard d'un programme donné. Lorsque les programmes sont hiérarchiques ou restricted, ce problème est décidable en 2EXPTIME. 3. Contrôle préventif de l'inférence dans les bases de données déductives: Nous proposons un mécanisme de sécurité sûr et précis pour les bases de données déductives basé sur la notion de flux de l'information dans la programmation logique<br>This thesis is developed in order to tackle the issue of information flow in logic programming. The contributions of this thesis can be split into three mains parts: 1. Information flow in logic programming: we propose a theoretical foundation of what could be an information flow in logic programming. Several information flow definitions (based on success/failure, substitution answers, bisimulation between resolution trees of goals) are stated and compared. Decision procedures are given for each definition and complexity is studied for specific classes of logic programs. 2. Bisimulation of logic goals: We introduce the concept of bisimulation between Datalog goals: two Datalog goals are bisimilar with respect to a given Datalog program when their SLD-trees, considered as relational structures, are bisimilar. We address the problem of deciding whether two given goals are bisimilar with respect to given programs. When the given programs are hierarchical or restricted, this problem is decidable in 2EXPTIME. 3. Preventive inference control for deductive databases: We propose a secure and a precise security mechanism for deductive databases based on the notion of information flow in logic programming
APA, Harvard, Vancouver, ISO, and other styles
6

Blay-Fornarino, Mireille, and Anne-Marie Pinna. "Un modèle objet logique et relationnel : le langage Othelo." Nice, 1990. http://www.theses.fr/1990NICE4359.

Full text
Abstract:
Cette thèse a pour but d'intégrer dans un système unique certains résultats de la programmation par objets, de la programmation en logique et de la programmation par relations. Ce système est alors capable de modéliser les connaissances du monde extérieur dans un formalisme permettant de les manipuler symboliquement. Cette thèse est constituée de trois parties principales. Définition d'un modèle objet abstrait dans lequel les opérations élémentaires sous-jacentes aux mécanismes mis en œuvre dans un langage à objets (création, héritage, envoi de message) sont redéfinissables par un programmeur. Un langage issu de ce modèle peut autoriser : la création d'objets de structures internes différentes pouvant communiquer entre eux ; la définition de modes d'héritage complexes ; l'expression des exceptions et des cas particuliers. Apports d'inférence déclarative au modèle objet. Le langage Othello est une implantation en Prolog du modèle abstrait dans laquelle les principaux mécanismes ont été reconsidérés afin d'attribuer aux objets des comportements logiques. Citons : la définition de méthodes polymorphes, l'envoi de message à objets anonymes, des combinaisons et du contrôle sur les méthodes dans un graphe d'héritage et des capacités intrinsèques à raisonner. Aspect relationnel de la connaissance. L’idée est d'utiliser l'approche objet pour décrire un langage de relations et ainsi faciliter l'expression des relations de dépendance et le maintien automatique de leur cohérence. Une des originalités de cette proposition est la prise en compte des modifications intervenant sur l'objet maitre pour rétablir de façon incrémentale la cohérence. Les liens de la hiérarchie proposée permettent de décrire les relations d'héritage et d'implanter une interface graphique. Une quatrième partie illustre ce travail par une application en thermique
APA, Harvard, Vancouver, ISO, and other styles
7

MALLET, OLIVIER. "Interpretation abstraite appliquee a la compilation et la parallelisation en programmation logique." Palaiseau, École polytechnique, 1992. http://www.theses.fr/1992EPXX0011.

Full text
Abstract:
L'interpretation abstraite est une technique puissante d'analyse semantique qui permet la detection de proprietes dynamiques. Elle repose sur la notion d'abstraction (ou approximation) qui remplace les elements du domaine habituel - dit concret - par ceux du domaine abstrait. Nous presentons une semantique deductive de prolog, qui approche la semantique operationnelle standard et possede une propriete de compositionnalite grace a l'utilisation de l'espace des termes quotiente par la relation de renommage et grace a une decomposition de l'operateur d'unification en deux parties independantes. Puis nous proposons pour cette semantique un interprete abstrait generique, c'est-a-dire qui necessite pour une analyse donnee un nombre tres limite d'informations decrivant le domaine et les operateurs abstraits. Cet interprete est implemente en c, fonctionne avec precision et efficacite, et n'est pas restreint aux treillis abstraits de hauteur finie. Nous utilisons ensuite cet outil pour detecter certaines familles de proprietes, et expliquons comment un compilateur ou un repartiteur de programmes prolog peut tirer parti de telles informations
APA, Harvard, Vancouver, ISO, and other styles
8

Gandriau, Marcel. "CIEL classes et instances en logique /." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37613782d.

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

CAMP, OLIVIER. "Les contraintes en programmation logico-fonctionnelle : application au langage miles." Paris 6, 1994. http://www.theses.fr/1994PA066336.

Full text
Abstract:
Depuis les annees 80 on s'est souvent penche sur l'integration des styles de programmation en logique et fonctionnelle. Le langage miles est le resultat d'une telle fusion. Il est obtenu en ajoutant a un noyau lisp les concepts d'un langage de programmation en logique: le non-determinisme, les variables logiques et l'unification. L'ajout de variables logiques dans un langage applicatif fait apparaitre de nouveaux objets: les expressions gelees. Dans cette these nous montrons comment celles-ci permettent, grace a l'unification, de definir des contraintes semblables a celles des clp. De plus, nous voyons comment on peut definir, en miles, un systeme de resolution gerant les contraintes numeriques du langage. Dans un premier temps nous nous focalisons sur les contraintes d'egalite. Nous etudions les algorithmes traditionnels de resolution de systemes lineaires et montrons comment ils doivent etre modifies pour permettre le traitement de contraintes d'egalite sur les reels. Nous montrons comment nous pouvons implanter ces algorithmes en miles pour obtenir un langage de programmation logico-fonctionnelle autorisant une utilisation active des contraintes d'egalite numeriques. Nous nous interessons ensuite aux contraintes d'inegalite numeriques du langage. Apres avoir montre comment une version modifiee de l'algorithme du simplex pouvait etre utilisee pour resoudre un systeme d'inequations lineaires de maniere incrementale, nous en proposons une definition en miles pour gerer les contraintes d'inegalite. Muni de ces deux systemes de resolution le langage miles devient un langage de programmation logico-fonctionnelle avec contraintes sur les reels. Il permet d'adopter les styles de programmation en logique avec contraintes et fonctionnel
APA, Harvard, Vancouver, ISO, and other styles
10

Plaindoux, Didier. "Etude et conception d'un système logique orienté-objet parallèle fortement typé." Toulouse 3, 1997. http://www.theses.fr/1997TOU30315.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Langages de programmation logique"

1

Doets, Kees. From logic to logic programming. MIT Press, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Koutchouk, Michel. Construction logique de programmes COBOL. 3rd ed. Masson, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

PLILP, '88 (1988 Orléans France). Programming languages implementation and logic programming: International workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings. Springer-Verlag, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

M, Bruynooghe, and Wirsing M, eds. Programming language implementation and logic programming: 4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992 : proceedings. Springer-Verlag, 1992.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

The craft of Prolog. MIT Press, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

European Symposium on Programming (2nd 1988 Nancy, France). ESOP '88: 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988 : proceedings. Springer-Verlag, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Thomas, Schiex, ed. Intelligence artificielle et informatique théorique. Cépaduès-éd., 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Grant, Malcolm, ed. Algebraic semantics of imperative programs. MIT Press, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Logic of domains. Birkhauser, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

W, Lloyd J. Foundations of logic programming. 2nd ed. Springer-Verlag, 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Langages de programmation logique"

1

Bouhineau, Denis, and Stéphane Channac. "La programmation logique par contraintes pour l'aide à l'enseignant." In Intelligent Tutoring Systems. Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61327-7_131.

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

RIBEIRO, Tony, Maxime FOLSCHETTE, Laurent TRILLING, et al. "Les enjeux de l’inférence de modèles dynamiques à partir de séries temporelles." In Approches symboliques de la modélisation et de l’analyse des systèmes biologiques. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9029.ch3.

Full text
Abstract:
Ce chapitre dresse un panorama des approches portant sur l’élaboration de modèles qualitatifs de réseaux de régulation, via des démarches s’apparentant au model-checking (pour l’analyse) et à la programmation logique (pour l’inférence). Nous nous attachons à étudier ce problème dans un contexte large-échelle, autrement dit avec potentiellement plusieurs centaines de composants interagissant.
APA, Harvard, Vancouver, ISO, and other styles
3

HONBA HONBA, Cédric. "Sémiotique et archive d’images." In Corpus audiovisuels. Editions des archives contemporaines, 2022. http://dx.doi.org/10.17184/eac.5705.

Full text
Abstract:
L’archivage photographique est une pratique dont l’enjeu est de mobiliser la photographie en tant que dispositif technique, comprenant autant une phase d’inscription que d’expression, afin de produire des ressources documentaires. Bien que le problème de la conservation et de la classification des supports photographiques soit déjà considérée par l’archivistique et les sciences de la documentation, celui de la médiation ou de l’énonciation des archives d’images est, selon nous, trop peu explorée, et mérite davantage de problématisation. Par ailleurs, le développement ainsi que la part de plus en plus importante des techniques informatiques dans les processus de communication transforment les modalités de l’inscription et de l’énonciation des documents, des images, voire des médias, à travers la technologie numérique. Dispositifs multimédias et langages de programmation sont désormais largement utilisés pour manipuler et transmettre des contenus à travers des écrans, des logiciels, des applications, des interfaces, etc., qui deviennent progressivement les nouveaux intermédiaires de la communication. Il est nécessaire de prendre acte de ces nouvelles possibilités de médiatisation des archives d’images, notamment parce que de nombreux projets et institutions patrimoniales visent plus récemment à rendre accessibles des archives d’images sur le réseau internet. Parmi les nombreux usages de la photographie, nous proposons ainsi non seulement de nous intéresser à ses usages documentaires, mais surtout à l’établissement progressif de l’archive photographique à travers des réseaux, plus précisément : des réseaux de communication. En effet, l’interpénétration du dispositif photographique et de la technologie numérique aboutit sur des objets techniques et des processus complexes, qui ne sont pas aisément interprétables, et dont le fonctionnement n’est pas toujours très limpide. Sans doute, parce que l’analyse de ces objets et processus relève de plusieurs dimensions techniques, mais aussi énonciatives et stratégiques. C’est en examinant l’environnement technologique où sont intégrés différents supports photographiques, ainsi que les modalités de leurs valorisations en tant qu’objets documentaires que nous remarquerons la portée communicationnelle de l’archive photographique.
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Langages de programmation logique"

1

Le Béchec, Mariannig, Aline Bouchard, Philippe Charrier, Claire Denecker, Gabriel Gallezot, and Stéphanie Rennes. State of open science practices in france (SOSP-FR). Ministère de l'enseignement supérieur et de la recherche, 2022. http://dx.doi.org/10.52949/5.

Full text
Abstract:
L’enquête State of Open Science Practices in France (SOSP-FR) a été conduite entre juin 2020 et septembre 2020. Elle a pour but d’interroger les pratiques des outils numé- riques et autour des données de la recherche dans les communautés scientifiques françaises. Le questionnaire se compose de 38 questions réparties en 9 thématiques. Les questions portent sur des pratiques déjà établies et des pratiques ou usages émer- gents comme l’open peer review ou les articles de données dits data paper. Le nombre de répondants est de 1089, permettant d’interroger une répartition disciplinaire, genrée et statutaire assez représentative de l’état de l’emploi dans l’enseignement supérieur et de recherche en France. Dans l’enquête, le focus sur le contexte de travail des répondants, qualifié de solitaire ou collectif, met en exergue des différences dans les pratiques, notamment d’archivage des données de recherche et dans les usages, particulièrement d’accès à l’information, aux infrastructures de recherche ou aux outils numériques institutionnels. Les réseaux sociaux des chercheurs semblent influencer les pratiques et les usages liés à la science ouverte en France. En distinguant les usages et les pratiques selon deux perspectives, l’une où la science ouverte est associée à une dimension humaine incluant une ouverture au plus grand nombre des résultats de recherche et l’autre où la dimension technique, incluant l’usage d’un environnement numérique libre et gratuit, est celle qui prévaut, les résultats aboutissent à des distinctions disciplinaires mais également statuaires, générationnelles et au niveau du contexte de travail. Les résultats sont équivalents quant à l’arrivée de nouveaux logiciels et langages de programmation, comme nous avons pu le constater avec R, Excel et Python. L’acculturation aux enjeux de la science ouverte passe par des collectifs, plus accessibles dans des environnements de recherche que dans le couple recherche-enseignement.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Langages de programmation logique' for particular source types:
Journal articles Dissertations / Theses Books
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