Literatura científica selecionada sobre o tema "Méthode temporelle"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Méthode temporelle".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Méthode temporelle"
KOENIGUER, Elise, Jean-Marie Nicolas, Béatrice Pinel-Puyssegur, Jean-Michel Lagrange e 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 setembro de 2018): 99–108. http://dx.doi.org/10.52638/rfpt.2018.409.
Texto completo da fonteHerault, Joël, Rouzbeh Moini e Bernard Jecko. "Analyse de “microantennes” par une méthode temporelle". Annales des Télécommunications 42, n.º 9-10 (setembro de 1987): 578–87. http://dx.doi.org/10.1007/bf02994988.
Texto completo da fonteDubé, 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 novembro de 2011): 9–29. http://dx.doi.org/10.7202/1006337ar.
Texto completo da fonteCrane, John. "A Model for Single System Evaluation of Treatments". Canadian Journal of Program Evaluation 1, n.º 1 (março de 1986): 59–74. http://dx.doi.org/10.3138/cjpe.01.007.
Texto completo da fonteOszwald, Johan, e 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 junho de 2012): 77. http://dx.doi.org/10.19182/bft2012.312.a20505.
Texto completo da fonteHedhli, Ihsen, Gabriele Moser e 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 completo da fonteVan-Wierts, Stéfanie, Pascal Bernatchez e 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 (dezembro de 2017): 194–212. http://dx.doi.org/10.5623/cig2017-402.
Texto completo da fonteBrossais, Emmanuelle, Nathalie Panissal e 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 julho de 2014): 113–40. http://dx.doi.org/10.7202/1025995ar.
Texto completo da fonteMahfoudi, El-Ahcene, Abderrahmane Gahmousse, Athmane Harizi, Kamel Talbi e 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 outubro de 2023): 365–72. http://dx.doi.org/10.54966/jreen.v15i3.327.
Texto completo da fonteChapelon, Laurent, e 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 completo da fonteTeses / dissertações sobre o assunto "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 completo da fonteDionne, É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 completo da fonteGarel, 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 completo da fonteBatista, Dominique. "Intégration temporelle de lois de comportement en environnement éléments finis". Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0104.
Texto completo da fonteTime 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 completo da fonteLanglois, 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 completo da fonteVerle, 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 completo da fonteColin, 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 completo da fonteNous 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 completo da fonteEl, Baida Rami. "Les composants logiciels réutilisables : méthode de vérification". Toulouse 3, 2004. http://www.theses.fr/2004TOU30066.
Texto completo da fonteThe 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
Livros sobre o assunto "Méthode temporelle"
Processus: Concepts et méthode pour l'analyse temporelle en sciences sociales. Louvain-la-Neuve: Academia-Bruylant, 2010.
Encontre o texto completo da fonteAragon, Yves. Séries temporelles avec R: Méthodes et cas. Paris: Springer Paris, 2011.
Encontre o texto completo da fonteFranses, Philip Hans. Time series models for business and economic forecasting. Cambridge, UK: Cambridge University Press, 1998.
Encontre o texto completo da fonte(Editor), Eugene Asarin, e 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.
Encontre o texto completo da fonte(Editor), Paul Pettersson, e 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.
Encontre o texto completo da fontePettersson, Paul, e 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.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "Méthode temporelle"
SARKIS, Bruno, Anne-Virginie SALSAC e José-Maria FULLANA. "Relaxation de capsules sous écoulement dans un tube". In Écoulements biologiques dans les grands vaisseaux, 209–29. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9065.ch8.
Texto completo da fonteDUPUTEL, Zacharie. "Phase co-sismique : imagerie de la rupture sismique". In Le cycle sismique, 77–118. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9038.ch2.
Texto completo da fonteOLIVERO, Jesús. "Biogéographie des maladies". In La biogéographie, 299–325. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9060.ch11.
Texto completo da fonteBOUNTZIS, Polyzois, Eleftheria PAPADIMITRIOU e George TSAKLIDIS. "Processus d’arrivée markoviens pour l’analyse du regroupement des tremblements de terre". In 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 da fonte"Chapitre 3 Régression linéaire par la méthode des moindres carrés". In Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2-006.
Texto completo da fonte"Chapitre 3 Régression linéaire par la méthode des moindres carrés". In Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2.c006.
Texto completo da fonteGRASLAND, Claude. "Exploration, agrégation et visualisation spatiotemporelle de données massives". In Traitements et cartographie de l’information géographique, 273–302. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9161.ch8.
Texto completo da fonteKARBOU, Fatima, Guillaume JAMES, Philippe DURAND e Abdourrahmane M. ATTO. "Seuils et distances pour la détection de neige avec les séries d’images Sentinel-1". In 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 completo da fonteGOUHIER, Mathieu. "Surveillance des volcans par télédétection spatiale". In Aléas et surveillance de l’activité volcanique 2, 177–226. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9045.ch3.
Texto completo da fonteATTO, Abdourrahmane M., Aluísio PINHEIRO, Guillaume GINOLHAC e Pedro MORETTIN. "Analyse d’ordre fractionnaire et prédiction de trajectoire de cyclones". In 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 da fonte