• Search: "PROGRAMMATION"

Showing 61 - 80 of 104,804

61

Problèmes d'optimisation avec un objectif linéaire évidentiel
Vu, Tuan-Anh ; Afifi, Sohaib ; Lefevre, Eric ; et al.
25ème congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, ROADEF'2024, Mar 2024, Amiens, France

Amiens, France Fonctions de croyance Op... Fonctions de croyance Optimisation robuste Optimisation combinatoir... Programmation linéaire …
Conference
Save to List
62

Programming language and formally verified compiler for low-level numerical libraries
Langage de programmation et compilateur formellement vérifié pour les bibliothèques numériques de bas niveau
Moreau, Josué ; Laboratoire Méthodes Formelles (LMF) ; Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay) ; et al.
Programming Languages [cs.PL]. Université Paris-Saclay, 2025. English. ⟨NNT : 2025UPASG091⟩

Numerical libraries Formal proof Compilation Semantics Programming language Bibliothèques numériques... …
Dissertation/ Thesis
Save to List
64

Theory of sequences tailored for program verification
Théorie des séquences adaptée à la vérification des programmes
Ait El Hara, Hichem Rami ; Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)) ; Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)) ; et al.
Other [cs.OH]. Université Paris-Saclay, 2025. English. ⟨NNT : 2025UPASG067⟩

Constraint programming Constraint solver Satisfiability Modulo Th... SMT solver Theory of sequences Program verification …
Dissertation/ Thesis
Save to List
66

QuickFill, QuickMixte : approches par blocs pour la réduction du nombre de programmes en synthèse de programmes
QuickFill, QuickMixte: block approaches for reducing the number of programs in program synthesis
Fokou, Vanessa ; Cellier, Peggy ; Tchuente, Maurice ; et al.
CARI 2022 - Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées. :1-10

Yaoundé, Cameroon approche par blocs tâches répétitives manipulation des chaînes... programmation par l'exem... Synthèse de programmes …
Conference
Save to List
67

Solution methods for finite-horizon vector-valued Markov decision processes
Méthodes de résolution de processus de décision markoviens multi-objectifs à horizon fini
Mifrani, Anas ; Institut de Mathématiques de Toulouse UMR5219 (IMT) ; Université Toulouse Capitole (UT Capitole) ; et al.
Optimization and Control [math.OC]. Université de Toulouse, 2025. English. ⟨NNT : 2025TLSES072⟩

Efficient policy Multicriteria decision m... Multi-objective linear p... Dynamic programming Multi-objective optimiza... Vector-valued Markov dec... …
Dissertation/ Thesis
Save to List
68

Une approche basée sur la programmation par contraintes pour accompagner les initiatives agroécologiques durables de petites exploitations agricoles
Challand, Margot ; Vismara, Philippe ; Justeau-Allaire, Dimitri ; et al.
19. Journées Francophones de Programmation par Contraintes (JFPC 2024), Jun 2024, Lens, France

Lens, France programmation par contra... [INFO.INFO-AI]Computer S... Artificial Intelligence... [SDV.SA.AGRO]Life Scienc... Agricultural sciences …
Conference
Save to List
69

Une contrainte globale pour l'extraction de motifs d'intervalles fréquents fermés
Bekkoucha, Djawad ; Ouali, Abdelkader ; Boizumault, Patrice ; et al.
Journées Francophones de Programmation par Contraintes 2024, Lens, France, Jun 2024, Lens, France

Lens, France Programmation par contra... [INFO.INFO-AI]Computer S... Artificial Intelligence... [INFO.INFO-LG]Computer S... Machine Learning [cs.LG]
Conference
Save to List
70

A constraint-based programming model for aeronautical operational maintenance
Un modèle de programmation par contraintes pour la maintenance opérationnelle aéronautique
Sciau, Jean-Baptiste ; Goyon, Agathe ; Sarazin, Alexandre ; et al.
JFPC 2024 - Journées Francophones de Programmation par Contraintes, Centre de Recherche en Informatique de Lens, Jun 2024, Lens, France. 3 p

Lens, France Programmation par constr... Maintenance aéronautique... Planification RCPSP [INFO.INFO-RO]Computer S... …
Conference
Save to List
71

La robotique pédagogique au service de l’apprentissage de la programmation : une charge cognitive trop élevée pour des élèves de cycle 3 ?
Sigayret, Kevin ; Blanc, Nathalie ; Tricot, André ; et al.
16ème Colloque International RIPSYDEVE, Jun 2024, Reims, France

Reims, France Programmation Pensée informatique Scratch Robotique pédagogique Charge cognitive …
Conference
Save to List
72

Enrichir ses données avec OpenRefine (Niveau 2)
Moisan, Aurélien ; Sorbonne Université (SU) ; INRAE ; et al.

Paris, France API enrichissement des donné... réconciliation moissonnage page web URL …
Conference
Save to List
73

Cabestan : à l'abordage des données linguistiques du Sudoc
Svenbro, Anna ; Bibliothèque Sainte-Geneviève (BSG) ; Université Sorbonne Nouvelle - Paris 3 ; et al.
Journées Abes 2024, May 2024, Montpellier, France. Zenodo, 2024, ⟨10.5281/zenodo.11449450⟩

Montpellier, France Abes Journées Abes 2024 jabes24 Programmation Python Datavisualisation …
Conference
Save to List
74

Des structures de données à la structure du monde
Rôle performatif et sémantique des APIs
Ferretti, Giulia ; Université de Montréal (UdeM) ; Association francophone des humanités numériques
Humanistica 2024, Association francophone des humanités numériques, May 2024, Meknès, Maroc

Meknès, Morocco Google Books Europeana Database Interface de programmati... Application programming... …
Conference
Save to List
75

Géométrie avec Thymio
Orlane, Donadelli ; Tom, Bigeure ; Université Côte d'Azur (UniCA)
JAP'I, Journée Académique Pédagogie et Innovation 2024, Apr 2024, Nice, France

Nice, France 'Thymio' 'Scratch' 'Géométrie' 'Programmation' Polygône régulier' …
Conference
Save to List
76

Measuring the acquisition of computational thinking: Design and validation of two instruments
Mesurer l’acquisition de la pensée informatique : conception et validation de deux instruments
Sigayret, Kevin ; Tricot, A. ; Blanc, N. ; et al.
European Review of Applied Psychology / Revue Européenne de Psychologie Appliquée. 75:101116-101116

Programmation Pensée informatique Evaluation Concepts computationnels Algorithmique [SHS]Humanities and Soci... …
Journal
Save to List
77

On the properties of monotone functionals for generalizing Bellman Principle
Caen, Auguste ; Mathias, Jean-Denis ; Mathématiques et Informatique Appliquées du Génome à l'Environnement [Jouy-En-Josas] (MaIAGE) ; et al.
Automatica. 179:112418-112418

Dynamic programming Monotone functionals Optimal control Dynamic programming Opti... Programmation dynamique Fonctionnelles monotones …
Journal
Save to List
78

Day and night
De jour comme de nuit
Day and night: Accounting for the continuities of free and paid work through digital traces
De jour comme de nuit: Rendre compte des continuités du travail gratuit et rémunéré à partir des traces de l’activité informatique
Alcaras, Gabriel ; médialab (Sciences Po) (médialab) ; Sciences Po (Sciences Po)
Sociologie. 16(3):227-250

Free work software programming temporality mixed methods big data …
Journal
Save to List
79

Advent of code, jour 17
Mancheron, Alban ; Méthodes et Algorithmes pour la Bioinformatique (LIRMM | MAB) ; Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM) ; et al.
GNU/Linux Magazine. 276:46-55

Python Assembleur Programmation [INFO.INFO-AR]Computer S... Hardware Architecture [c... [INFO.INFO-DS]Computer S... …
Journal
Save to List
80

Orbit slot allocation in earth observation constellations
Maqrot, Sara ; Roussel, Stéphanie ; Picard, Gauthier ; et al.
Conference on Prestigious Applications of Intelligent Systems (PAIS). :3-16

Vienne, Austria COMBINATORIAL OPTIMIZATI... CONSTRAINT PROGRAMMING FAIRNESS ORBIT SLOT ALLOCATION EARTH OBSERVATION CONSTE... …
Conference
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter