Treffer 121 - 140 von 104.804

121

Extraction de Motifs d'Intervalles Fermés en utilisant la Programmation Par Contraintes
Bekkoucha, Djawad ; Ouali, Abdelkader ; Reynaud, Justine ; et al.
Journées Francophones de Programmation par Contraintes, Élise Varielles, Jul 2023, Strasbourg, France

Strasbourg, France Constraint Programming Pattern Structures Heterogenous patterns motifs d'intervalles fer... Programmation par contra...
Konferenz
Zu den Favoriten
122

Software, practice & experience.

Computer software Period... Computer programming Per... Computer programs Period... Programming languages (E... Programmation (Informati... Langages de programmatio...
Zu den Favoriten
123

Strategic energy planning models under uncertainty
Babonneau, Frédéric ; Kedge Business School (Kedge BS) ; Université de Bordeaux ; et al.
Optimization and Control [math.OC]. Université de Bordeaux, 2024

Optimisation under uncer... energy modelling robust optimization distritionally RO Sotchastic programming SDDP
Report
Zu den Favoriten
124

L’apprentissage de la programmation : quels outils pour évaluer le développement de la pensée informatique à l’école ?
Sigayret, Kevin ; Blanc, Nathalie ; Tricot, André ; et al.
Enfance. 4(4):479-500

PROGRAMMING LEARNING COM... PROGRAMMING LEARNING COMPUTATIONAL THINKING ASSESSMENT TOOLS Programmation
Zeitschrift
Zu den Favoriten
125

Un monde façonné par les services Web
Un monde façonné par les services Web: Lecture théorique de REST et GraphQL

Ferretti, Giulia ; Université de Montréal (UdeM) ; Association francophone des humanités numériques

Genève, Switzerland Application Programming... GraphQL Representational state t... Interface de programmati... [INFO.INFO-WB]Computer S...
Konferenz
Zu den Favoriten
126

LiRoT: A lightweight incremental reasoner for the Web of Things
LiRoT : Un raisonneur incrémental léger pour le Web des Objets

Bento, Alexandre ; Médini, Lionel ; Singh, Kamal ; et al.
Colloque 2023 du GDR SoC2, Jun 2023, Villeurbanne, France

Villeurbanne, France Optimization Artificial intelligence Embedded programming Reasoning Optimisation
Konferenz
Zu den Favoriten
127

Une méthode, un langage et un environnement pour la modélisation et la résolution de problème de conception de système
Yvars, Pierre-Alain ; Zimmer, Laurent ; Dassault Aviation ; et al.
S-MART 2023 : 18ème Colloque national S.mart, Arts et Métiers Paristech ENSAM Aix-en-Provence, Université de Toulon [UTLN], Apr 2023, Carry-le-Rouet, France

Carry-le-Rouet, France dimensionnement configuration allocation génération d'architectur... programmation par contra...
Konferenz
Zu den Favoriten
128

Stiffness Matters : Asymmetric Bending for Shape Programming
Asymétrie de rigidités de flexion pour la programmation de formes

Vani, Nathan ; Physique et mécanique des milieux hétérogènes (PMMH) ; Ecole Superieure de Physique et de Chimie Industrielles de la Ville de Paris (ESPCI Paris) ; et al.
Materials and structures in mechanics [physics.class-ph]. Université Paris sciences et lettres, 2025. English. ⟨NNT : 2025UPSLS010⟩

Shape morphing Slender structures Inflatables Elasticity Programmation de forme Structures élancées
Dissertation
Zu den Favoriten
129

8e Atelier 'Apprentissage de la pensée informatique de la maternelle à l'Université (APIMU 1000)' @ EIAH 2025
Broisin, Julien ; Declercq, Christophe ; Jolivet, Sébastien ; et al.
8e Atelier "Apprentissage de la pensée informatique de la maternelle à l'Université (APIMU 1000)" @ EIAH 2025, Jun 2025, Villeneuve d’Ascq (Lille), France. 2025

Villeneuve d’Ascq (Lille... pensée informatique didactique de l'informat... environnements informati... programmation [INFO.EIAH]Computer Scie...
Zu den Favoriten
130

Combinatorial optimization and decision-focused learning : algorithms, implementations, and applications at Air France
Optimisation combinatoire et apprentissage axé sur la prise de décision : algorithmes, implémentations et applications chez Air France

Baty, Léo ; Centre d'Enseignement et de Recherche en Mathématiques et Calcul Scientifique (CERMICS) ; École nationale des ponts et chaussées (ENPC) ; et al.
General Mathematics [math.GM]. École des Ponts ParisTech, 2025. English. ⟨NNT : 2025ENPC0022⟩

Machine learning Tail assignment Mathematical programming Delay propagation Resource constrained sho... Combinatorial optimizati...
Dissertation
Zu den Favoriten
131

GTnum ScienceXGames CreaJV - Les rôles des élèves dans la création d’un jeu vidéo en classe - Groupes thématiques numériques de la Direction du numérique pour l'éducation (Ministère de l'Education nationale, de l'Enseignement supérieur et de la Recherche) 2021 - 2024
Vigneau, Chloé ; Chartraire, Cyril ; CEDRIC - Interactivité pour Lire et Jouer (CEDRIC - ILJ) ; et al.

Jeu vidéo Atelier créatif Socle commun de connaiss... Moteur de jeu Programmation Création graphique
Zu den Favoriten
132

Robots humanoïdes et stratégies cognitives mises en œuvre dans les activités robotiques au primaire
Bugmann, Julien ; Cloux Renard, Nathalie ; Haute École Pédagogique du Canton de Vaud (HEP Vaud) ; et al.
Mens. :150-151

Louvain-La-Neuve, Belgiu... Robotique robots humanoïdes programmation école primaire [INFO]Computer Science [...
Konferenz
Zu den Favoriten
133

Modelling and solving scheduling problems for preventive and corrective maintenance operations within the SNCF
Modélisation et résolution de problèmes d’ordonnancement d’opérations de maintenance préventive et corrective au sein de la SNCF

Ray, Tom ; Laboratoire d'Informatique Fondamentale et Appliquée de Tours (LIFAT) ; Université de Tours (UT)-Institut National des Sciences Appliquées - Centre Val de Loire (INSA CVL) ; et al.

Scheduling, Heuristics,... Ordonnancement, Heuristi... [INFO.INFO-RO]Computer S... Operations Research [mat...
E-Ressource
Zu den Favoriten
134

Multi-tiered healthcare response to a pandemic crisis
Réponse hospitalière étagée face à une crise pandémie

Messabis, Mohamed El Habib ; Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS) ; Ecole Nationale Supérieure des Mines de St Etienne (ENSM ST-ETIENNE)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA)-Institut national polytechnique Clermont Auvergne (INP Clermont Auvergne) ; et al.
Optimization and Control [math.OC]. Mines Saint-Etienne, 2025. English. ⟨NNT : 2025EMSEM003⟩

Stochastic programming Robust optimization Dynamic programming COVID-19 Healthcare network Capacity planning
Dissertation
Zu den Favoriten
135

EN — Augmented Python & GlyphNet Eurêka — Towards a Universal Human↔AI Language
Tabary, Frédéric ; Zoran aSiM

Programmation Glyphnet Observatoire de pratique... Governance & auditabilit... Conformité AI Act / ISO/... Langage hybride humain↔I...
Fachzeitschrift
Zu den Favoriten
136

TurtleTablet : un jeu collaboratif et tangible sur tablette pour l'initiation à la programmation
Marfisi-Schottman, Iza ; George, Sébastien ; Leconte, Marc ; et al.
Didapro – DidaSTIC. :92-101

Lille, France informatique programmation algorithme objet tangible collaboration
Konferenz
Zu den Favoriten
137

Mise en oeuvre d'approches pédagogiques fondées sur des pratiques de l'industrie du logiciel pour l'apprentissage de la programmation
Raclet, Jean-Baptiste ; Silvestre, Franck ; Pons, Mika ; et al.
8ème Colloque Didapro : L’informatique. :1-12

Lille, France conception guidée par le... Ingénierie logiciel revue de code apprentissage de la prog... [INFO.INFO-LG]Computer S...
Konferenz
Zu den Favoriten
138

Generation of a reversible semantics for Erlang in Maude
Generation de une sémantique reversible pour Erlang en Maude

Fabbretti, Giovanni ; Lanese, Ivan ; Stefani, Jean-Bernard ; et al.
[Research Report] RR-9468. :1-22

Concurrent systems Erlang Programming languages Maude Debugging systèmes concurrents
Report
Zu den Favoriten
139

Conformity of Ladder Programs against State Transition Diagrams
Analyse automatique de conformité de codes Ladder vis-à-vis de diagrammes états-transitions

Cousineau, Denis ; Inoue, Hiroaki ; Marché, Claude ; et al.
RR-9584. :31-31

State Transition Diagram... Why3 environment for ded... Ladder language for prog... Deductive verification Formal specification environnement Why3 pour...
Report
Zu den Favoriten
140

The Architect and the Program in a Concours/Competition Situation: a Quest for Reassurance and Openness
L’Architecte et le programme en situation de concours : une quête de réassurance et d’ouverture

Delbos, Alexandre ; Zetlaoui-Léger, Jodelle ; Laboratoire Espaces Travail (LET) ; et al.

Architectural Creativity Architectural Competitio... France Design Process Programming Architectural Program
Zeitschrift
Zu den Favoriten

Filter