Gotowa bibliografia na temat „Vérification scientifique”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Vérification scientifique”.
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 "Vérification scientifique"
Laplante, Julie. "Plantes médicinales, savoirs et société : vue des rastafaris sud-africains". Drogues, santé et société 8, nr 1 (21.01.2010): 93–121. http://dx.doi.org/10.7202/038917ar.
Pełny tekst źródłaCharette1, Yanick, Pierre Tremblay i Nadine Deslauriers-Varin. "La trajectoire de la recherche empirique quantitative dans la revue Criminologie (1968-2016) : une perspective éditoriale". Criminologie 51, nr 1 (9.05.2018): 169–99. http://dx.doi.org/10.7202/1045312ar.
Pełny tekst źródłaTchetan, Esaïe, Abiodoun Pascal Olounlade, Erick Virgile Bertrand Azando, Muriel Quinet, Tanguy Marcotty, Sylvie Mawulé Hounzangbe-Adoté, Joëlle Quetin-Leclercq i Fernand Ahokannou Gbaguidi. "La médecine ethnovétérinaire à la croisée de la recherche scientifique : synthèse des connaissances et perspectives". Revue d’élevage et de médecine vétérinaire des pays tropicaux 74, nr 3 (30.09.2021): 167–75. http://dx.doi.org/10.19182/remvt.36762.
Pełny tekst źródłaPiard, Jonathan, i Marine Moyon. "Former à la démarche scientifique grâce à la pédagogie active et la formation par la recherche : cas d’une Unité d’Enseignement de chimie expérimentale". Didactique 5, nr 2 (5.05.2024): 151–205. http://dx.doi.org/10.37571/2024.0206.
Pełny tekst źródłaTrébuchon, Jean-François. "Bois et Forêts des Tropiques évolue en partenariat avec la recherche au Sud". BOIS & FORETS DES TROPIQUES 343 (7.04.2020): 3–4. http://dx.doi.org/10.19182/bft2020.343.a31854.
Pełny tekst źródłaLeite, José Yvan Pereira, i André Luis Calado Araújo. "Editorial". HOLOS 4 (29.11.2010): 1. http://dx.doi.org/10.15628/holos.2010.489.
Pełny tekst źródłade Serres, Linda. "Déroulement et apport de la technique du protocole oral chez le lecteur adulte". Mesure et évaluation en éducation 24, nr 1 (9.08.2022): 1–26. http://dx.doi.org/10.7202/1091195ar.
Pełny tekst źródłaPicard, France, Annie Pilote, Michel Turcotte, Gaële Goastellec i Noémie Olympio. "Opérationnaliser la théorie de la justice sociale d’Amartya Sen au champ de l’orientation scolaire : les apports d’une étude multicas qualitative et comparative". Mesure et évaluation en éducation 37, nr 3 (13.05.2016): 5–37. http://dx.doi.org/10.7202/1036326ar.
Pełny tekst źródłaJalbert, Paul. "Au sein du foyer : une analyse relationnelle des interactions entre les membres d’une famille". Nouvelles perspectives en sciences sociales 11, nr 2 (26.07.2016): 287–301. http://dx.doi.org/10.7202/1037110ar.
Pełny tekst źródłaFarkas, Brenlea, Daniel J. Wagner, Alberto Nettel-Aguirre, Christine Friedenreich i Gavin R. McCormack. "Synthèse des données probantes - Associations entre les caractéristiques de l’environnement bâti du quartier et la marche chez les adultes canadiens : une revue systématisée de la littérature". Promotion de la santé et prévention des maladies chroniques au Canada 39, nr 1 (styczeń 2019): 1–14. http://dx.doi.org/10.24095/hpcdp.39.1.01f.
Pełny tekst źródłaRozprawy doktorskie na temat "Vérification scientifique"
Coppé, Sylvie. "Processus de vérification en mathématiques chez les élèves de première scientifique en situation de devoir surveillé". Lyon 1, 1993. http://www.theses.fr/1993LYO10274.
Pełny tekst źródłaMekki, Ahmed. "Contribution à la Spécification et à la Vérification des Exigences Temporelles : Proposition d’une extension des SRS d’ERTMS niveau 2". Thesis, Ecole centrale de Lille, 2012. http://www.theses.fr/2012ECLI0006/document.
Pełny tekst źródłaThe work developed in this thesis aims to assist the engineering process of temporal requirements for time-constrained complex systems. Our contributions concern three phases: the specification, the behaviour modelling and the verification. For the specification of temporal requirements, a new temporal properties typology taking into account all the common requirements one may meet when dealing with requirements specification, is introduced. Then, to facilitate the expression, we have proposed a structured English grammar. Nevertheless, even if each requirement taken individually is correct, we have no guarantee that a set of temporal properties one may express is consistent. Here we have proposed an algorithm based on graph theory techniques to check the consistency of temporal requirements sets. For the behaviour modelling, we have proposed an algorithm for transforming UML State Machine with time annotations into Timed Automata (TA). The idea is to allow the user manipulating a quite intuitive notation (UML SM diagramsduring the modelling phase and thereby, automatically generate formal models (TA) that could be used directly by the verification process. Finally, for the verification phase, we have adopted an observer-based technique. Actually, we have developed a repository of observation patterns where each pattern is relative to a particular temporal requirement class in our classification. Thereby, the verification process is reduced to a reachability analysis of the observers’ KO states relatives to the requirements’ violation
Nguyen, Thi Viet Nga. "Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code". Paris, ENMP, 2002. http://www.theses.fr/2002ENMP1113.
Pełny tekst źródłaDorner, Bernhard. "Vérification et simulations scientifiques avec le simulateur des performances de l'instrument JWST - NIRSpec". Phd thesis, Université Claude Bernard - Lyon I, 2012. http://tel.archives-ouvertes.fr/tel-00738070.
Pełny tekst źródłaAit, Wakrime Abderrahim. "Une approche par composants pour l'analyse visuelle interactive de résultats issus de simulations numériques". Thesis, Orléans, 2015. http://www.theses.fr/2015ORLE2060/document.
Pełny tekst źródłaComponent-based approaches are increasingly studied and used for the effective development of the applications in software engineering. They offer, on the one hand, safe architecture to developers, and on the other one, a separation of the various functional parts and particularly in the interactive scientific visualization applications. Modeling such applications enables the behavior description of each component and the global system’s actions. Moreover, the interactions between components are expressed through a communication schemes sometimes very complex with, for example, the possibility to lose messages to enhance performance. This thesis describes ComSA model (Component-based approach for Scientific Applications) that relies on a component-based approach dedicated to interactive and dynamic scientific visualization applications and its formalization in strict Colored FIFO Nets (sCFN). The main contributions of this thesis are, first, the definition of a set of tools to model the component’s behaviors and the various application communication policies. Second, providing some properties on the application to guarantee it starts properly. It is done by analyzing and detecting deadlocks. This ensures the liveness throughout the application execution. Finally, we present dynamic reconfiguration of visual analytics applications by adding or removing on the fly of a component without stopping the whole application. This reconfiguration minimizes the number of unavailable services
Koliaï, Souad. "Approche statique et dynamique pour l'évaluation de performances de codes scientifiques". Versailles-St Quentin en Yvelines, 2011. http://www.theses.fr/2011VERS0010.
Pełny tekst źródłaCurrent hardware tends to increase pressure on programmers to optimize the codes. The complexity of modern architectures makes it more difficult to understand the behavior of the programs running on them. Moreover, the compilers apply aggressive optimizations which makes the compiled code more difficult to understand. This increasing complexity shows that there is still a need of performance analysis to help the programmers. Different tools and techniques exist, but no single tool is a panacea; instead, different tools have different strengths. This thesis proposes two different and complementary tools for performance analysis on binary code. The first tool, Maqao’s static analysis, performs a static evaluation of the performance of the code, and gives an estimate of the quality of the code, such as the vectorization ratios. The second tool, Decan, is a new approach of performance analysis that targets the memory instructions to pinpoint the set of instructions responsible of the poor performance. Both tools are combined to propose a semi-automated methodology for performance evaluation
Mostefaoui, Mounia. "Assessment of the three main anthropogenic greenhouse gases emissions and removals by bottom-up and top-down methods : a main tool for the evaluation of the respect of the Paris Climate Accords. A case study over Africa". Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS460.
Pełny tekst źródłaSince the second part of the 20th century, the role of three main greenhouse gases (GHG) : Carbon Dioxide (CO2), Methane (CH4) and Nitrous Oxide (N2O) has been clearly established by the scientific community as the main cause of the recent forcing of the Earth energetic processes from human-induced activities, resulting among other disturbances in an increase of the annual mean surface temperatures. As GHG are well-mixed in the atmosphere and due to the complexity of atmospheric transport processes, the main emitters do not necessarily face the consequences of the additional radiative forcing that they directly induce. In this study, we restrict the analysis to CO2, CH4 and N2O because they are the most important GHG in the atmosphere. For the following-up of GHG, the Paris Agreement has a device named the “Enhanced Transparency Framework “(ETF). Within the ETF, countries have to report annually or biannually their GHG emissions and removals starting in 2023 within the Global Stocktake (GST). The ETF is based on the Monitoring, Reporting and Verification (MRV) provisions of the PA, aiming at the measurement of GHG for the PA signatory countries, at the centralization of the regularly updated country-reports, and at the verification of the respect of the countries ex ante vs. ex post pledges. This GST will represent a challenge for many Non-Annex I countries, including Africa, where emissions and removals in national inventories have been irregular since the UNFCCC creation in 1992. The literature tends to be scarce about GHG emissions from African countries, usually thought to be small emitters by non-experts. However, the recent Sixth Assessment Report (AR6) of the IPCC (Intergovernmental Panel on Climate Change) underlines with high confidence that the speed of surface temperature increase in Africa has already been higher than elsewhere in the world due to anthropogenic emissions (IPCC Working Group I, 2021). Recent analyses also predict a fast increase of African emissions correlated with its demographic growth, which is the fastest in the world. Pioneering papers on anthropogenic emissions and the carbon balance in Africa like the one of Ciais et al. (2011), already underlined that “Africa is likely to increase its share of global emissions over the coming decades” (Canadell, 2009). That is the reason why we chose to strictly restrict to Africa the scope of our central analysis in the original study of the present manuscript. Our aim is to assess African CO2, CH4 and N2O anthropogenic emissions and removals using bottom-up datasets (inventories and process-based models) and to compare them with top-down inversions coming from satellites over three decades (1990-2018) in order to deliver trends’ analyses. The purpose of this analysis is also to discuss the following main question: how can the current state of science help for the evaluation of the Respect of the Paris Agreement (PA) in Non-Annex I countries, and most specifically in Africa? Chapter 1 presents CO2, CH4 and N2O main features and impacts with regards to the Earth Radiative Budget forcing, and contextualizes the scientific monitoring of GHG emissions and removals from anthropogenic origins in the climate policy context of the Monitoring, Reporting and Verification (MRV) provisions of the PA. Chapter 2 delivers an original analysis of GHG emissions and removals trends over the last three decades for the case of Africa. Chapter 3 discusses more broadly the conclusions of the African case analysis and proposes larger perspectives from both a scientific and from a climate policy view for future developments in the evaluation of the respect of the PA
Berrebi, Johanna. "Contribution à l'intégration d'une liaison avionique sans fil. L'ingénierie système appliquée à une problématique industrielle". Phd thesis, Ecole Polytechnique X, 2013. http://pastel.archives-ouvertes.fr/pastel-00800141.
Pełny tekst źródła