Auswahl der wissenschaftlichen Literatur zum Thema „Méthode temporelle“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Inhaltsverzeichnis
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Méthode temporelle" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Méthode temporelle"
KOENIGUER, Elise, Jean-Marie Nicolas, Béatrice Pinel-Puyssegur, Jean-Michel Lagrange und 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.
Der volle Inhalt der QuelleHerault, Joël, Rouzbeh Moini und Bernard Jecko. „Analyse de “microantennes” par une méthode temporelle“. Annales des Télécommunications 42, Nr. 9-10 (September 1987): 578–87. http://dx.doi.org/10.1007/bf02994988.
Der volle Inhalt der QuelleDubé, 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 (09.11.2011): 9–29. http://dx.doi.org/10.7202/1006337ar.
Der volle Inhalt der QuelleCrane, John. „A Model for Single System Evaluation of Treatments“. Canadian Journal of Program Evaluation 1, Nr. 1 (März 1986): 59–74. http://dx.doi.org/10.3138/cjpe.01.007.
Der volle Inhalt der QuelleOszwald, Johan, und Valéry Gond. „De l'utilisation des séries temporelles SPOT-VEGETATION pour surveiller un front pionnier“. BOIS & FORETS DES TROPIQUES 312, Nr. 312 (01.06.2012): 77. http://dx.doi.org/10.19182/bft2012.312.a20505.
Der volle Inhalt der QuelleHedhli, Ihsen, Gabriele Moser und 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.
Der volle Inhalt der QuelleVan-Wierts, Stéfanie, Pascal Bernatchez und 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 (Dezember 2017): 194–212. http://dx.doi.org/10.5623/cig2017-402.
Der volle Inhalt der QuelleBrossais, Emmanuelle, Nathalie Panissal und 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.
Der volle Inhalt der QuelleMahfoudi, El-Ahcene, Abderrahmane Gahmousse, Athmane Harizi, Kamel Talbi und 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.
Der volle Inhalt der QuelleChapelon, Laurent, und 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.
Der volle Inhalt der QuelleDissertationen zum Thema "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.
Der volle Inhalt der QuelleDionne, É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.
Der volle Inhalt der QuelleGarel, 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.
Der volle Inhalt der QuelleBatista, Dominique. „Intégration temporelle de lois de comportement en environnement éléments finis“. Lyon, INSA, 2000. http://www.theses.fr/2000ISAL0104.
Der volle Inhalt der QuelleTime 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.
Der volle Inhalt der QuelleLanglois, 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.
Der volle Inhalt der QuelleVerle, 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.
Der volle Inhalt der QuelleColin, 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.
Der volle Inhalt der QuelleNous 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.
Der volle Inhalt der QuelleEl, Baida Rami. „Les composants logiciels réutilisables : méthode de vérification“. Toulouse 3, 2004. http://www.theses.fr/2004TOU30066.
Der volle Inhalt der QuelleThe 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
Bücher zum Thema "Méthode temporelle"
Processus: Concepts et méthode pour l'analyse temporelle en sciences sociales. Louvain-la-Neuve: Academia-Bruylant, 2010.
Den vollen Inhalt der Quelle findenAragon, Yves. Séries temporelles avec R: Méthodes et cas. Paris: Springer Paris, 2011.
Den vollen Inhalt der Quelle findenFranses, Philip Hans. Time series models for business and economic forecasting. Cambridge, UK: Cambridge University Press, 1998.
Den vollen Inhalt der Quelle finden(Editor), Eugene Asarin, und Patricia Bouyer (Editor), Hrsg. 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.
Den vollen Inhalt der Quelle finden(Editor), Paul Pettersson, und Wang Yi (Editor), Hrsg. 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.
Den vollen Inhalt der Quelle findenPettersson, Paul, und 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.
Den vollen Inhalt der Quelle findenBuchteile zum Thema "Méthode temporelle"
SARKIS, Bruno, Anne-Virginie SALSAC und 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.
Der volle Inhalt der QuelleDUPUTEL, 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.
Der volle Inhalt der QuelleOLIVERO, Jesús. „Biogéographie des maladies“. In La biogéographie, 299–325. ISTE Group, 2022. http://dx.doi.org/10.51926/iste.9060.ch11.
Der volle Inhalt der QuelleBOUNTZIS, Polyzois, Eleftheria PAPADIMITRIOU und 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.
Der volle Inhalt der Quelle„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.
Der volle Inhalt der Quelle„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.
Der volle Inhalt der QuelleGRASLAND, 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.
Der volle Inhalt der QuelleKARBOU, Fatima, Guillaume JAMES, Philippe DURAND und 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.
Der volle Inhalt der QuelleGOUHIER, 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.
Der volle Inhalt der QuelleATTO, Abdourrahmane M., Aluísio PINHEIRO, Guillaume GINOLHAC und 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.
Der volle Inhalt der Quelle