Literatura académica sobre el tema "Méthode temporelle"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Méthode temporelle".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Méthode temporelle"
KOENIGUER, Elise, Jean-Marie Nicolas, Béatrice Pinel-Puyssegur, Jean-Michel Lagrange y 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, n.º 217-218 (21 de septiembre de 2018): 99–108. http://dx.doi.org/10.52638/rfpt.2018.409.
Texto completoHerault, Joël, Rouzbeh Moini y Bernard Jecko. "Analyse de “microantennes” par une méthode temporelle". Annales des Télécommunications 42, n.º 9-10 (septiembre de 1987): 578–87. http://dx.doi.org/10.1007/bf02994988.
Texto completoDubé, 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, n.º 1 (9 de noviembre de 2011): 9–29. http://dx.doi.org/10.7202/1006337ar.
Texto completoCrane, John. "A Model for Single System Evaluation of Treatments". Canadian Journal of Program Evaluation 1, n.º 1 (marzo de 1986): 59–74. http://dx.doi.org/10.3138/cjpe.01.007.
Texto completoOszwald, Johan y Valéry Gond. "De l'utilisation des séries temporelles SPOT-VEGETATION pour surveiller un front pionnier". BOIS & FORETS DES TROPIQUES 312, n.º 312 (1 de junio de 2012): 77. http://dx.doi.org/10.19182/bft2012.312.a20505.
Texto completoHedhli, Ihsen, Gabriele Moser y 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, n.º 216 (19 de abril de 2018): 3–17. http://dx.doi.org/10.52638/rfpt.2018.301.
Texto completoVan-Wierts, Stéfanie, Pascal Bernatchez y 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, n.º 4 (diciembre de 2017): 194–212. http://dx.doi.org/10.5623/cig2017-402.
Texto completoBrossais, Emmanuelle, Nathalie Panissal y 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, n.º 54 (24 de julio de 2014): 113–40. http://dx.doi.org/10.7202/1025995ar.
Texto completoMahfoudi, El-Ahcene, Abderrahmane Gahmousse, Athmane Harizi, Kamel Talbi y Abdellah Hadjadj. "Simulation numérique de l’écoulement compressible supersonique Application aux tuyères propulsives à combustible liquide hydrogène". Journal of Renewable Energies 15, n.º 3 (23 de octubre de 2023): 365–72. http://dx.doi.org/10.54966/jreen.v15i3.327.
Texto completoChapelon, Laurent y Sandra Bozzani. "L'intermodalité air-fer en France : une méthode d'analyse spatiale et temporelle". Espace géographique 32, n.º 1 (2003): 60. http://dx.doi.org/10.3917/eg.321.0060.
Texto completoTesis sobre el tema "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.
Texto completoDionne, É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.
Texto completoGarel, 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.
Texto completoBatista, Dominique. "Intégration temporelle de lois de comportement en environnement éléments finis". Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0104.
Texto completoTime 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.
Texto completoLanglois, 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.
Texto completoVerle, 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.
Texto completoColin, 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.
Texto completoNous 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.
Texto completoEl, Baida Rami. "Les composants logiciels réutilisables : méthode de vérification". Toulouse 3, 2004. http://www.theses.fr/2004TOU30066.
Texto completoThe 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
Libros sobre el tema "Méthode temporelle"
Processus: Concepts et méthode pour l'analyse temporelle en sciences sociales. Louvain-la-Neuve: Academia-Bruylant, 2010.
Buscar texto completoservice), SpringerLink (Online, ed. Séries temporelles avec R: Méthodes et cas. Paris: Springer Paris, 2011.
Buscar texto completoTime series models for business and economic forecasting. Cambridge, UK: Cambridge University Press, 1998.
Buscar texto completo(Editor), Eugene Asarin y Patricia Bouyer (Editor), eds. 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.
Buscar texto completo(Editor), Paul Pettersson y Wang Yi (Editor), eds. 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.
Buscar texto completoPettersson, Paul y 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.
Buscar texto completoCapítulos de libros sobre el tema "Méthode temporelle"
SARKIS, Bruno, Anne-Virginie SALSAC y José-Maria FULLANA. "Relaxation de capsules sous écoulement dans un tube". En Écoulements biologiques dans les grands vaisseaux, 209–29. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9065.ch8.
Texto completoDUPUTEL, Zacharie. "Phase co-sismique : imagerie de la rupture sismique". En Le cycle sismique, 77–118. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9038.ch2.
Texto completoOLIVERO, Jesús. "Biogéographie des maladies". En La biogéographie, 299–325. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9060.ch11.
Texto completoBOUNTZIS, Polyzois, Eleftheria PAPADIMITRIOU y George TSAKLIDIS. "Processus d’arrivée markoviens pour l’analyse du regroupement des tremblements de terre". En Méthodes et modèles statistiques pour la sismogenèse, 253–83. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9037.ch9.
Texto completo"Chapitre 3 Régression linéaire par la méthode des moindres carrés". En Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2-006.
Texto completo"Chapitre 3 Régression linéaire par la méthode des moindres carrés". En Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2.c006.
Texto completoGRASLAND, Claude. "Exploration, agrégation et visualisation spatiotemporelle de données massives". En Traitements et cartographie de l’information géographique, 273–302. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9161.ch8.
Texto completoKARBOU, Fatima, Guillaume JAMES, Philippe DURAND y Abdourrahmane M. ATTO. "Seuils et distances pour la détection de neige avec les séries d’images Sentinel-1". En 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.
Texto completoGOUHIER, Mathieu. "Surveillance des volcans par télédétection spatiale". En Aléas et surveillance de l’activité volcanique 2, 177–226. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9045.ch3.
Texto completoATTO, Abdourrahmane M., Aluísio PINHEIRO, Guillaume GINOLHAC y Pedro MORETTIN. "Analyse d’ordre fractionnaire et prédiction de trajectoire de cyclones". En 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.
Texto completo