Littérature scientifique sur le sujet « Méthode temporelle »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Méthode temporelle ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Méthode temporelle"
KOENIGUER, Elise, Jean-Marie Nicolas, Béatrice Pinel-Puyssegur, Jean-Michel Lagrange et Fabrice Janez. « Visualisation des changements sur séries temporelles radar : méthode REACTIV évaluée à l'échelle mondiale sous Google Earth Engine ». Revue Française de Photogrammétrie et de Télédétection, no 217-218 (21 septembre 2018) : 99–108. http://dx.doi.org/10.52638/rfpt.2018.409.
Texte intégralHerault, Joël, Rouzbeh Moini et Bernard Jecko. « Analyse de “microantennes” par une méthode temporelle ». Annales des Télécommunications 42, no 9-10 (septembre 1987) : 578–87. http://dx.doi.org/10.1007/bf02994988.
Texte intégralDubé, Jean. « Une méthode de réconciliation des données d’enquêtes pour évaluer la dynamique spatiale de l’emploi au Canada, 1987-2008 : Application à l’Enquête sur la population active (EPA) ». Articles 87, no 1 (9 novembre 2011) : 9–29. http://dx.doi.org/10.7202/1006337ar.
Texte intégralCrane, John. « A Model for Single System Evaluation of Treatments ». Canadian Journal of Program Evaluation 1, no 1 (mars 1986) : 59–74. http://dx.doi.org/10.3138/cjpe.01.007.
Texte intégralOszwald, Johan, et Valéry Gond. « De l'utilisation des séries temporelles SPOT-VEGETATION pour surveiller un front pionnier ». BOIS & ; FORETS DES TROPIQUES 312, no 312 (1 juin 2012) : 77. http://dx.doi.org/10.19182/bft2012.312.a20505.
Texte intégralHedhli, Ihsen, Gabriele Moser et Josiane Zerubia. « Nouvelle méthode en cascade pour la classification hiérarchique multi-temporelle ou multi-capteur d'images satellitaires haute résolution ». Revue Française de Photogrammétrie et de Télédétection, no 216 (19 avril 2018) : 3–17. http://dx.doi.org/10.52638/rfpt.2018.301.
Texte intégralVan-Wierts, Stéfanie, Pascal Bernatchez et Christian Larouche. « Suivi topographique côtier au moyen d’un système LiDAR mobile terrestre : exemple d’une recharge sédimentaire de plage ». GEOMATICA 71, no 4 (décembre 2017) : 194–212. http://dx.doi.org/10.5623/cig2017-402.
Texte intégralBrossais, Emmanuelle, Nathalie Panissal et Claudine Garcia-Debanc. « Analyses plurielles d’un débat entre élèves. Émergence d’une méthode d’analyse thématico-argumentative ». Cahiers de recherche sociologique, no 54 (24 juillet 2014) : 113–40. http://dx.doi.org/10.7202/1025995ar.
Texte intégralMahfoudi, El-Ahcene, Abderrahmane Gahmousse, Athmane Harizi, Kamel Talbi et Abdellah Hadjadj. « Simulation numérique de l’écoulement compressible supersonique Application aux tuyères propulsives à combustible liquide hydrogène ». Journal of Renewable Energies 15, no 3 (23 octobre 2023) : 365–72. http://dx.doi.org/10.54966/jreen.v15i3.327.
Texte intégralChapelon, Laurent, et Sandra Bozzani. « L'intermodalité air-fer en France : une méthode d'analyse spatiale et temporelle ». Espace géographique 32, no 1 (2003) : 60. http://dx.doi.org/10.3917/eg.321.0060.
Texte intégralThèses sur le sujet "Méthode temporelle"
Noël, Christophe. « Méthode temporelle d'identification de sources sonores bruyantes en milieu industriel ». Aix-Marseille 2, 2003. http://www.theses.fr/2003AIX22087.
Texte intégralDionne, Éric. « Méthode asymptotique appliquée à la résolution temporelle des équations dynamiques linéaires ». Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1997. http://www.collectionscanada.ca/obj/s4/f2/dsk2/ftp04/mq25557.pdf.
Texte intégralGarel, Pierre-Yves. « Une méthode mixte éléments finis volumiques-différences finies pour l'analyse temporelle d'antennes compactes ». Nice, 2002. http://www.theses.fr/2002NICE5718.
Texte intégralBatista, Dominique. « Intégration temporelle de lois de comportement en environnement éléments finis ». Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0104.
Texte intégralTime discretization of constitutive equations used in civil engineering leads frequently to numerical problems in finite element modelling. And indeed, serious numerical problems may arise from an unsuitable time-integration of such constitutive equation leading usually to a Jack of stability and high costs of computation time infinite element simulations. We focus our attention on the time discretization of three different constitutive equations : a non linear viscoelastic model describing the behaviour of bitumen, an hypoplastic mode! developed for granular materials such as sand and a thermo-viscoplastic model developed for bituminous concrete. The integration of such constitutive equations, which are stiff Ordinary Differential Equations, leads usually to a Jack of stability which compels engineers to use small steps or implicit schemes of integration (besides, most of them are low order accurate). We build three new methods of time discretization in finite element modelling. These methods appear to be quite general. In our study, we use them in the field of FEM in geomechanics in order to carry out the time discretization of the constitutive equations considered and to build the variational formulations. Analytical and numerical solutions for linear and non-linear problems in geomechanics are computed, they show the good stability and accuracy properties of the method proposed compared to other existing time discretization methods. Moreover, a very cheap strategy of step-size control is described, leading to an important decrease of computation time
Tran, Thanh Tinh. « Développement d'une méthode hybride RANS-LES temporelle pour la simulation de sillages d'obstacles cylindriques ». Phd thesis, ISAE-ENSMA Ecole Nationale Supérieure de Mécanique et d'Aérotechique - Poitiers, 2013. http://tel.archives-ouvertes.fr/tel-00823281.
Texte intégralLanglois, Sébastien. « Prédiction des vibrations éoliennes d'un système conducteur-amortisseur avec une méthode temporelle non linéaire ». Thèse, Université de Sherbrooke, 2013. http://hdl.handle.net/11143/6133.
Texte intégralVerle, Alexandre. « Développement d'une méthode de distribution de la contrainte temporelle sur les circuits combinatoires CMOS ». Montpellier 2, 2005. http://www.theses.fr/2005MON20066.
Texte intégralColin, Samuel. « Contribution à l'intégration de temporalité au formalisme B : Utilisation du calcul des durées en tant que sémantique temporelle pour B ». Phd thesis, Université de Valenciennes et du Hainaut-Cambresis, 2006. http://tel.archives-ouvertes.fr/tel-00123899.
Texte intégralNous nous proposons donc d'étendre la méthode B pour lui permettre de spécifier et valider des systèmes à contraintes temporelles complexes. Nous utilisons pour ce faire des calculs de durées pour exprimer la sémantique du langage B et en déduire une extension conservative qui permet de l'utiliser à la fois dans son cadre d'origine et dans le cadre de systèmes à contraintes temporelles.
Nous nous penchons également sur le problème de l'utilisation d'un outil de preuve générique pour valider des formules de calcul des durées. La généricité de ce type d'outil répond à la multiplication des méthodes formelles, mais pose le problème de l'intégration des fondations mathématiques de ces méthodes à un outil générique. Nous proposons donc d'étudier la mise en oeuvre en plongement léger du calcul des durées dans l'assistant de preuve Coq. Nous en déduisons un retour sur expérience de la définition d'une logique modale particulière dans un outil à vocation générique.
Khnaisser, Christina. « Méthode de construction d'entrepôt de données temporalisé pour un système informationnel de santé ». Mémoire, Université de Sherbrooke, 2016. http://hdl.handle.net/11143/8386.
Texte intégralEl, Baida Rami. « Les composants logiciels réutilisables : méthode de vérification ». Toulouse 3, 2004. http://www.theses.fr/2004TOU30066.
Texte intégralThe object oriented programming is more and more used in the development of complex systems. One of the principal characteristics of this type of programming is to favor the reusability. Some resounding failures (like the breakdown of the telephone network in the United-States of America in 1989) proved the necessity of the verification phase for such type of systems. Several verification's methods exist, like the verification by proof and the model-checking. In this thesis, we present a modeling language for the concurrent object systems as well as the associated temporal logic (temporal logic for concurrent object or TLCO). The two types of verification are then approached. First, the verification by proof is carried out in VSE (Visual Support Environment). Afterwards, the automatic checking is carried out in the model checker of SPIN. Finally, a tableau method allowing the verification of TLCO's formulas is presented
Livres sur le sujet "Méthode temporelle"
Processus : Concepts et méthode pour l'analyse temporelle en sciences sociales. Louvain-la-Neuve : Academia-Bruylant, 2010.
Trouver le texte intégralAragon, Yves. Séries temporelles avec R : Méthodes et cas. Paris : Springer Paris, 2011.
Trouver le texte intégralFranses, Philip Hans. Time series models for business and economic forecasting. Cambridge, UK : Cambridge University Press, 1998.
Trouver le texte intégral(Editor), Eugene Asarin, et Patricia Bouyer (Editor), dir. Formal Modeling and Analysis of Timed Systems : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings (Lecture Notes in Computer Science). Springer, 2006.
Trouver le texte intégral(Editor), Paul Pettersson, et Wang Yi (Editor), dir. Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2006.
Trouver le texte intégralPettersson, Paul, et Wang Yi. Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Springer London, Limited, 2005.
Trouver le texte intégralChapitres de livres sur le sujet "Méthode temporelle"
SARKIS, Bruno, Anne-Virginie SALSAC et José-Maria FULLANA. « Relaxation de capsules sous écoulement dans un tube ». Dans Écoulements biologiques dans les grands vaisseaux, 209–29. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9065.ch8.
Texte intégralDUPUTEL, Zacharie. « Phase co-sismique : imagerie de la rupture sismique ». Dans Le cycle sismique, 77–118. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9038.ch2.
Texte intégralOLIVERO, Jesús. « Biogéographie des maladies ». Dans La biogéographie, 299–325. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9060.ch11.
Texte intégralBOUNTZIS, Polyzois, Eleftheria PAPADIMITRIOU et George TSAKLIDIS. « Processus d’arrivée markoviens pour l’analyse du regroupement des tremblements de terre ». Dans Méthodes et modèles statistiques pour la sismogenèse, 253–83. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9037.ch9.
Texte intégral« Chapitre 3 Régression linéaire par la méthode des moindres carrés ». Dans Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2-006.
Texte intégral« Chapitre 3 Régression linéaire par la méthode des moindres carrés ». Dans Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2.c006.
Texte intégralGRASLAND, Claude. « Exploration, agrégation et visualisation spatiotemporelle de données massives ». Dans Traitements et cartographie de l’information géographique, 273–302. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9161.ch8.
Texte intégralKARBOU, Fatima, Guillaume JAMES, Philippe DURAND et Abdourrahmane M. ATTO. « Seuils et distances pour la détection de neige avec les séries d’images Sentinel-1 ». Dans Détection de changements et analyse des séries temporelles d’images 1, 139–58. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9056.ch5.
Texte intégralGOUHIER, Mathieu. « Surveillance des volcans par télédétection spatiale ». Dans Aléas et surveillance de l’activité volcanique 2, 177–226. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9045.ch3.
Texte intégralATTO, Abdourrahmane M., Aluísio PINHEIRO, Guillaume GINOLHAC et Pedro MORETTIN. « Analyse d’ordre fractionnaire et prédiction de trajectoire de cyclones ». Dans Détection de changements et analyse des séries temporelles d’images 1, 159–82. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9056.ch6.
Texte intégral