• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 422
  • 171
  • 72
  • 2
  • 1
  • 1
  • Tagged with
  • 721
  • 336
  • 296
  • 278
  • 254
  • 246
  • 243
  • 144
  • 133
  • 92
  • 90
  • 82
  • 79
  • 69
  • 68
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
91

Rôle d'un logiciel de manipulation symbolique dans l'apprentissage de l'algèbre au secondaire

Damboise, Caroline January 2007 (has links) (PDF)
Dans la littérature, plusieurs recherches parlent du potentiel de l'utilisation de la technologie dans l'apprentissage de l'algèbre au secondaire. Cependant, peu de ces recherches portent sur la factorisation. Mon travail de recherche a été motivé par ces deux faits et avait pour objectif d'explorer si la calculatrice symbolique pouvait jouer un rôle significatif dans l'apprentissage de la factorisation. Dans ma recherche, je me suis inspirée de l'approche technique/théorique développée par Chevallard (1999), et adaptée ensuite par Artigue (2002a) et Lagrange (2000). Dans cette approche, les composantes technique et théorique sont étroitement liées et la dimension théorique ne peut progresser, dans les environnements technologiques, sans la présence de la dimension technique. Mon but a donc été d'explorer le rôle d'une approche technique/théorique, intégrée dans un environnement où l'on utilise la calculatrice symbolique, pour l'apprentissage de la notion de factorisation chez des élèves en 4ième secondaire. Pour atteindre ce but, j'ai fait une étude comparative entre deux groupes d'élèves de 4ième secondaire ayant des difficultés en algèbre: un groupe dont les élèves avaient chacun accès à une calculatrice symbolique (6 élèves) et un groupe où tel n'était pas le cas (10 élèves). Des feuilles d'activités avec des questions similaires pour les deux groupes ont été réalisées. Avant d'accomplir la séquence didactique composée des activités, les élèves avaient fait un pré-test pour que je puisse voir si les deux groupes avaient des connaissances semblables dans les composantes technique et théorique. La séquence didactique a été suivie par un post-test pour explorer les acquis des élèves et les différences entre les deux groupes. Des notes ont été consignées dans un journal de bord pour chacun des cours avec les deux groupes. De plus, j'ai été l'enseignante des deux groupes lors de cette étude. En comparant les résultats au pré-test des deux groupes, on s'est aperçu qu'ils étaient similaires pour la dimension technique, mais qu'iIs étaient légèrement plus forts pour la dimension théorique dans un groupe. Cependant, les résultats pour la dimension théorique étaient très bas dans les deux groupes. Les résultats au post-test nous ont indiqué que le groupe avec la calculatrice symbolique a accompli plus d'améliorations que le groupe sans calculatrice et ce, dans les deux dimensions (technique et théorique). À la suite de l'analyse des notes gardées dans le journal de bord et des réponses contenues dans les feuilles d'activités des élèves des deux groupes, on a pu dégager trois fonctions remplies par la calculatrice symbolique, qui expliqueraient les améliorations chez les élèves du groupe avec celle-ci. Les trois fonctions jouées par la calculatrice étaient les suivantes: la fonction génératrice de formes exactes, la fonction vérificatrice et la fonction instigatrice de discussions. Cette recherche m'a permis de réaliser que le fait d'avoir rendu accessible une calculatrice à des élèves ayant des difficultés en factorisation a eu un apport positif. En fait, ces jeunes ont plus appris avec cet outil, tant au niveau technique que théorique, que les autres élèves qui n'ont pas eu accès à cet outil. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Factorisation, Calculatrice symbolique, Système de calcul formel, Technique, Théorie, Théorique, Vérificatrice, Génératrice de formes exactes, Instigatrice de discussions.
92

Estimation de projets web : application et analyse de fiabilité des modèles COCOMO II et WebMo

Ktata, Oualid January 2007 (has links) (PDF)
Allant des simples pages Web aux systèmes transactionnels sophistiqués, les applications Web ont beaucoup évolué et continuent de l'être. On parle même d'une nouvelle ingénierie logicielle à savoir l'ingénierie Web [pressman2005]. La mise en marché rapide et l'hétérogénéité de l'équipe de développement sont parmi les principales spécificités des applications et projets Web. Ces spécificités lancent de nouveaux défis aux modèles d'estimation actuels même pour les plus matures d'entre eux comme COCOMO II. Dans ce travail nous avons analysé la fiabilité d'un nouveau modèle d'estimation à savoir: WebMo. Ce dernier est une adaptation de la version COCOMO II avant projet au contexte du Web. L'instigateur de WebMo est Donald Reifer qui est aussi un membre très actif dans la communauté de COCOMO. Reifer a présenté son nouveau modèle comme une alternative viable à COCOMO II si on le dote en plus d'une nouvelle métrique qui tient compte des spécificités des applications Web. Dans cette étude visant l'analyse de fiabilité de WebMo, nous avons développé un outil d'estimation qui permet d'estimer et comparer les efforts de développement pour des projets Web selon les modèles COCOMO II et WebMo. En suivant un processus de sélection de projet bien défini, nous avons choisi cinq projets Web de la banque de projets ISBSG. Malgré l'immaturité du modèle WebMo et son caractère prévisionnel, les résultats générés par l'outil étaient conformes à nos attentes. En effet, WebMo fournit des estimations de l'effort plus proches de la réalité en comparaison avec son modèle de base (COCOMO II version avant projet). Ceci est dû essentiellement à la prise en compte des objets multimédias et autres objets spécifiques aux applications Web par la nouvelle métrique de Reifer à savoir: les 'Web Objects'. Un autre facteur important de succès est la calibration du modèle qui est basée uniquement sur des projets Web. Finalement, on suggère certaines recommandations telles qu'une version WebMo post-architecture pour des phases plus avancées du cycle de développement et aussi tenir compte de la diversité des langages de programmation, caractéristique typique des applications Web. Nous recommandons aussi d'alimenter la base de données du modèle avec plus de projets pour une meilleure calibration et ramener sa conception à une forme plus standard comme celle de COCOMO II. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Estimation, Projet Web, WebMo, COCOMO II, ISBSG, Ingénierie Web.
93

Développement de l'interface web du logiciel T-REX (Tree and reticulogram reconstruction)

Younes, Adel 12 1900 (has links) (PDF)
Depuis son apparition, le logiciel T-Rex (tree and reticulogram recontruction) est un outil puissant pour la reconstruction et la visualisation d'arbres phylogénétiques et de réticulogrammes. Un réticulogramme est un réseau phylogénétique permettant de représenter les phénomènes d'évolution réticulée tels que l'hybridation, la recombinaison génétique et le transfert latéral de gènes. La reconstruction peut être faite à partir des matrices de distances complètes, des matrices de distances incomplètes et des séquences moléculaires. Dans le but de permettre aux biologistes et aux bioinformaticiens de bénéficier des différentes options, modes de calcul, ainsi que des diverses nouveautés de T-Rex, nous avons développé la version Web de ce logiciel. Dans ce mémoire, nous décrivons les différentes fonctions, méthodes et outils inclus dans T-Rex Web. Nous décrivons aussi les nouveaux programmes ajoutés à T-Rex Web, tels que ClustalW, Calcul de la distance topologique de Robinson et Foulds, et Species Taxonomy. La dernière option permet de générer une matrice de distances d'arbre et de reconstruire des arbres phylogénétiques à partir des listes des lignées des espèces données. La version Web du logiciel T-Rex est disponible à l'adresse URL suivante: www.trex.uqam.ca. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : T-Rex, arbre phylogénétique, matrice de distance, réticulogramme, interface Web, taxonomie d'espèces.
94

NetSim : un logiciel de modélisation et de simulation de réseaux d'information

Lord, Mélanie 04 1900 (has links) (PDF)
Les réseaux électroniques basés sur Internet ont beaucoup accéléré la circulation de l'information dans notre société moderne, mais on commence à voir que les échanges d'information s'effectuent d'abord dans le cadre de réseaux sociaux. Le Web comporte également une structure en réseau, mais celle-ci est assez particulière. Ces différents types de réseaux d'information montrent à la fois des caractéristiques communes et des spécificités dont il convient de tenir compte. Pour des raisons à la fois techniques, sociales et économiques, il est donc utile de chercher à modéliser les réseaux par lesquels circulent information et connaissances. En nous inspirant des acquis importants en sociologie structurale et en analyse mathématique de réseaux, nous avons développé une approche de modélisation des réseaux par simulation. Nous avons tout d'abord développé un langage de modélisation qui se veut le plus flexible possible tout en demeurant simple et abordable pour des utilisateurs variés. Pour ce faire, nous nous sommes inspirés de modèles existants de la littérature et avons tenté d'en abstraire les concepts essentiels que devrait offrir un tel langage. Ensuite, nous avons réalisé NetSim, une plate-forme paramétrable de génération de réseaux capable d'interpréter ce langage et permettant de tester diverses hypothèses sur la structure des réseaux que l'on peut observer empiriquement. Cet outil offre aussi des fonctionnalités de visualisation, sous forme de graphe, de l'évolution du réseau dans le temps. Finalement, nous avons obtenu des résultats plutôt convaincants quant à l'utilisation de notre logiciel pour modéliser et simuler divers types de modèles de l'évolution temporelle de la structure des réseaux. Les phénomènes observés par simulation s'apparentent effectivement à certains faits observés dans la réalité. Ce logiciel pourra servir d'outil de recherche, d'expérimentation, de visualisation et de formation dans un domaine en plein développement. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Réseaux d'information, réseaux sociaux, modélisation, simulation.
95

Implantation et nouvelles applications de la méthode d'équivalence de Cartan

Neut, Sylvain Petitot, Michel. January 2003 (has links) (PDF)
Thèse doctorat : Informatique : Lille 1 : 2003. / N° d'ordre (Lille 1) : 3296. Résumé en français et en anglais. Bibliogr. p. 133-136.
96

Méthodologie de développement des services de communication temps-réel d'un intergiciel embarqué dans l'automobile

Santos Marques, Ricardo Simonot-Lion, Françoise January 2006 (has links) (PDF)
Thèse de doctorat : Informatique : INPL : 2006. / Titre provenant de l'écran-titre. Bibliogr.
97

Solveur numérique pour les systèmes algébro-différentiels hybrides The numerical solver for the simulation of the hybrid dynamical systems /

Najafi, Masoud Nikoukhah, Ramine. January 2005 (has links) (PDF)
Thèse de doctorat : Automatique : Paris 12 : 2005. / Titre provenant de l'écran-titre. Bibliogr.
98

Qualité de Service temporelle pour composants logiciels

Saudrais, Sébastien Jézéquel, Jean-Marc January 2007 (has links) (PDF)
Thèse doctorat : Informatique : Rennes 1 : 2007. / Bibliogr. p. 115-118.
99

Identification et exploitation des types dans un modèle de connaissances à objets

Capponi, Cécile. Rechenmann, François. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 1995. / Titre provenant de l'écran-titre.
100

Construction hypothétique d'objets complexes

Girard, Pierre Rechenmann, François. January 2008 (has links)
Reproduction de : Thèse de doctorat : informatique : Grenoble 1 : 1995. / Titre provenant de l'écran-titre. Bibliogr. p. 253-262.

Page generated in 0.0235 seconds