Gotowa bibliografia na temat „Méthode temporelle”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Méthode temporelle”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Artykuły w czasopismach na temat "Méthode temporelle"
KOENIGUER, Elise, Jean-Marie Nicolas, Béatrice Pinel-Puyssegur, Jean-Michel Lagrange i 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, nr 217-218 (21.09.2018): 99–108. http://dx.doi.org/10.52638/rfpt.2018.409.
Pełny tekst źródłaHerault, Joël, Rouzbeh Moini i Bernard Jecko. "Analyse de “microantennes” par une méthode temporelle". Annales des Télécommunications 42, nr 9-10 (wrzesień 1987): 578–87. http://dx.doi.org/10.1007/bf02994988.
Pełny tekst źródłaDubé, 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, nr 1 (9.11.2011): 9–29. http://dx.doi.org/10.7202/1006337ar.
Pełny tekst źródłaCrane, John. "A Model for Single System Evaluation of Treatments". Canadian Journal of Program Evaluation 1, nr 1 (marzec 1986): 59–74. http://dx.doi.org/10.3138/cjpe.01.007.
Pełny tekst źródłaOszwald, Johan, i Valéry Gond. "De l'utilisation des séries temporelles SPOT-VEGETATION pour surveiller un front pionnier". BOIS & FORETS DES TROPIQUES 312, nr 312 (1.06.2012): 77. http://dx.doi.org/10.19182/bft2012.312.a20505.
Pełny tekst źródłaHedhli, Ihsen, Gabriele Moser i 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, nr 216 (19.04.2018): 3–17. http://dx.doi.org/10.52638/rfpt.2018.301.
Pełny tekst źródłaVan-Wierts, Stéfanie, Pascal Bernatchez i 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, nr 4 (grudzień 2017): 194–212. http://dx.doi.org/10.5623/cig2017-402.
Pełny tekst źródłaBrossais, Emmanuelle, Nathalie Panissal i 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, nr 54 (24.07.2014): 113–40. http://dx.doi.org/10.7202/1025995ar.
Pełny tekst źródłaMahfoudi, El-Ahcene, Abderrahmane Gahmousse, Athmane Harizi, Kamel Talbi i Abdellah Hadjadj. "Simulation numérique de l’écoulement compressible supersonique Application aux tuyères propulsives à combustible liquide hydrogène". Journal of Renewable Energies 15, nr 3 (23.10.2023): 365–72. http://dx.doi.org/10.54966/jreen.v15i3.327.
Pełny tekst źródłaChapelon, Laurent, i Sandra Bozzani. "L'intermodalité air-fer en France : une méthode d'analyse spatiale et temporelle". Espace géographique 32, nr 1 (2003): 60. http://dx.doi.org/10.3917/eg.321.0060.
Pełny tekst źródłaRozprawy doktorskie na temat "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.
Pełny tekst źródłaDionne, É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.
Pełny tekst źródłaGarel, 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.
Pełny tekst źródłaBatista, Dominique. "Intégration temporelle de lois de comportement en environnement éléments finis". Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0104.
Pełny tekst źródłaTime 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.
Pełny tekst źródłaLanglois, 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.
Pełny tekst źródłaVerle, 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.
Pełny tekst źródłaColin, 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.
Pełny tekst źródłaNous 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.
Pełny tekst źródłaEl, Baida Rami. "Les composants logiciels réutilisables : méthode de vérification". Toulouse 3, 2004. http://www.theses.fr/2004TOU30066.
Pełny tekst źródłaThe 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
Książki na temat "Méthode temporelle"
Processus: Concepts et méthode pour l'analyse temporelle en sciences sociales. Louvain-la-Neuve: Academia-Bruylant, 2010.
Znajdź pełny tekst źródłaservice), SpringerLink (Online, red. Séries temporelles avec R: Méthodes et cas. Paris: Springer Paris, 2011.
Znajdź pełny tekst źródłaTime series models for business and economic forecasting. Cambridge, UK: Cambridge University Press, 1998.
Znajdź pełny tekst źródła(Editor), Eugene Asarin, i Patricia Bouyer (Editor), red. 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.
Znajdź pełny tekst źródła(Editor), Paul Pettersson, i Wang Yi (Editor), red. 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.
Znajdź pełny tekst źródłaPettersson, Paul, i 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.
Znajdź pełny tekst źródłaCzęści książek na temat "Méthode temporelle"
SARKIS, Bruno, Anne-Virginie SALSAC i José-Maria FULLANA. "Relaxation de capsules sous écoulement dans un tube". W Écoulements biologiques dans les grands vaisseaux, 209–29. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9065.ch8.
Pełny tekst źródłaDUPUTEL, Zacharie. "Phase co-sismique : imagerie de la rupture sismique". W Le cycle sismique, 77–118. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9038.ch2.
Pełny tekst źródłaOLIVERO, Jesús. "Biogéographie des maladies". W La biogéographie, 299–325. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9060.ch11.
Pełny tekst źródłaBOUNTZIS, Polyzois, Eleftheria PAPADIMITRIOU i George TSAKLIDIS. "Processus d’arrivée markoviens pour l’analyse du regroupement des tremblements de terre". W Méthodes et modèles statistiques pour la sismogenèse, 253–83. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9037.ch9.
Pełny tekst źródła"Chapitre 3 Régression linéaire par la méthode des moindres carrés". W Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2-006.
Pełny tekst źródła"Chapitre 3 Régression linéaire par la méthode des moindres carrés". W Séries temporelles avec R, 39–58. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-1994-2.c006.
Pełny tekst źródłaGRASLAND, Claude. "Exploration, agrégation et visualisation spatiotemporelle de données massives". W Traitements et cartographie de l’information géographique, 273–302. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9161.ch8.
Pełny tekst źródłaKARBOU, Fatima, Guillaume JAMES, Philippe DURAND i Abdourrahmane M. ATTO. "Seuils et distances pour la détection de neige avec les séries d’images Sentinel-1". W 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.
Pełny tekst źródłaGOUHIER, Mathieu. "Surveillance des volcans par télédétection spatiale". W Aléas et surveillance de l’activité volcanique 2, 177–226. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9045.ch3.
Pełny tekst źródłaATTO, Abdourrahmane M., Aluísio PINHEIRO, Guillaume GINOLHAC i Pedro MORETTIN. "Analyse d’ordre fractionnaire et prédiction de trajectoire de cyclones". W 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.
Pełny tekst źródła