Relevant bibliographies by topics / Programmation certifiée

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books

Academic literature on the topic 'Programmation certifiée'

Author: Grafiati
Published: 25 May 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Programmation certifiée.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Programmation certifiée"

1

Potteiger, Kelly, and Andrew Lundgren. "Using an Audience Response System to Prepare Athletic Training Students for the Board of Certification Exam." Athletic Training Education Journal 7, no. 4 (2012): 198–204. http://dx.doi.org/10.4085/0704198.

Full text
Abstract:
Objective: To describe a pedagogical method using an Audience Response System (ARS), commonly referred to as “clickers,” for use in preparing athletic training students (ATSs) for the Board of Certification (BOC) exam. Background: The BOC is the only certifying agency for athletic trainers in the United States. ATSs may become a certified athletic trainer (AT) upon graduating from a Commission on Accreditation of Athletic Training Education (CAATE) accredited Athletic Training Education Program (ATEP) and successfully passing the BOC exam. In 2012, CAATE standards were revised to require progr
APA, Harvard, Vancouver, ISO, and other styles
2

Sciarappa, William, Sridhar Polavarapu, James Barry, et al. "Developing an Organic Production System for Highbush Blueberry." HortScience 43, no. 1 (2008): 51–57. http://dx.doi.org/10.21273/hortsci.43.1.51.

Full text
Abstract:
Four significant developments have occurred that amplify opportunity for certified organic growers to grow highbush blueberry (Vaccinium corymbosum) successfully. First, there is the 2002 U.S. Department of Agriculture national organic standard that defines organic production practices and crop labels that creates clarity and evens competition. Second, we have the continued increase of smallfruit and vegetable sales related to nutritional and human health reasons and the related market perception valuing organic produce more highly. Third, new tools are becoming available to organic growers th
APA, Harvard, Vancouver, ISO, and other styles
3

Wu, Eugenia, Olga Arsovska, Monita Sundar, et al. "Four-year overview of enrollment and participation in research studies conducted at the Prostate Cancer Supportive Care (PCSC) Program." Journal of Clinical Oncology 37, no. 31_suppl (2019): 39. http://dx.doi.org/10.1200/jco.2019.37.31_suppl.39.

Full text
Abstract:
39 Background: The mission of the Prostate Cancer Supportive Care (PCSC) Program at the Vancouver Prostate Centre (VPC) is to provide clinical care focused on the needs of prostate cancer patients and partners. It is comprised of six modules that are administered by medical professionals in urology, radiation oncology, sexual health nurses, registered dieticians, certified exercise physiologist, male pelvic floor physiotherapists, and couples’ counselling. Incorporation of research into daily care provides evidence for these practices, identifies areas for improvement, and tests new approaches
APA, Harvard, Vancouver, ISO, and other styles
4

Gessel, Chyrsten L., Stephanie M. Singe, and Heidi M. Crocker. "An Exploratory Case Study: Examining the Design of Clinical Immersion from the Preceptors’ Perspective." Athletic Training Education Journal 19, no. 1 (2024): 62–69. http://dx.doi.org/10.4085/1947-380x-22-072.

Full text
Abstract:
Context The clinical immersion experience is a key part of the socialization of the professional athletic training student. Clinical immersion offers the student the chance to experience the totality of the role of the athletic trainer. Programmatic autonomy allows many athletic training educators the opportunity to be creative in the implementation of clinical immersion(s). Objective Examine clinical immersion from the preceptors’ perspective to understand their opinions regarding the structure of the experience and preferences they may have surrounding clinical immersion structure. Design Qu
APA, Harvard, Vancouver, ISO, and other styles
5

Choko, Augustine T., Thomas J. Coates, Misheck Mphande, et al. "Engaging men through HIV self-testing with differentiated care to improve ART initiation and viral suppression among men in Malawi (ENGAGE): A study protocol for a randomized control trial." PLOS ONE 18, no. 2 (2023): e0281472. http://dx.doi.org/10.1371/journal.pone.0281472.

Full text
Abstract:
Background Men experience twice the mortality of women while on ART in sub-Saharan Africa (SSA) largely due to late HIV diagnosis and poor retention. Here we propose to conduct an individually randomized control trial (RCT) to investigate the impact of three-month home-based ART (hbART) on viral suppression among men who were not engaged in care. Methods and design A programmatic, individually randomized non-blinded, non-inferiority-controlled trial design (ClinicalTrials.org NCT04858243). Through medical chart reviews we will identify “non-engaged” men living with HIV, ≥15years of age who are
APA, Harvard, Vancouver, ISO, and other styles
6

Krug, Aaron, Lucas Ramirez, Heng Nhoung, et al. "Abstract T P283: A Survey of Certified Stroke Center Medical Directors in the United States." Stroke 46, suppl_1 (2015). http://dx.doi.org/10.1161/str.46.suppl_1.tp283.

Full text
Abstract:
Background: Certification of hospitals as advanced primary stroke centers (PSC) and comprehensive stroke centers (CSC) leads to improvements in stroke care. We aimed to characterize the specialization and demographics of programmatic leadership at stroke centers nationwide, and to determine the proportion of programs lead by Vascular Neurologists. Methods: We identified hospitals holding advanced primary stroke center and comprehensive stroke center designation using the Joint Commission, DNV, and HFAP websites as of September 2013. The identity of the stroke center director was obtained by co
APA, Harvard, Vancouver, ISO, and other styles
7

Haegele, Justin A., Wesley J. Wilson, Xihe Zhu, Justin J. Bueche, Ellie Brady, and Chunxiao Li. "Barriers and facilitators to inclusion in integrated physical education: Adapted physical educators’ perspectives." European Physical Education Review, August 4, 2020, 1356336X2094442. http://dx.doi.org/10.1177/1356336x20944429.

Full text
Abstract:
While movement toward the education of students with disabilities in integrated physical education has now become common internationally, it is not without concerns. Notably, scholars have questioned whether instruction in integrated physical education settings provides inclusive experiences for students with disabilities. The purpose of this exploratory study was to explore certified adapted physical educators’ (CAPEs’) perspectives on barriers and facilitators to students with disabilities experiencing inclusion in integrated physical education. A sample of 99 CAPEs (74.7% female) across the
APA, Harvard, Vancouver, ISO, and other styles
8

Raynolds, Laura T. "Can certification increase trade fairness and worker empowerment? Lessons from Fairtrade International-certified plantations in Ecuador." International Sociology, July 21, 2022, 026858092211035. http://dx.doi.org/10.1177/02685809221103598.

Full text
Abstract:
This article analyzes the strategic potential and empirical challenges of private governance in promoting decent work in global agriculture by curtailing buyer power and fostering labor agency, drawing lessons from Fairtrade International-certified flower plantations in Ecuador. The study explains (1) Fairtrade’s logic in promoting ‘trade fairness’ and ‘worker empowerment’ and operationalization of these values via its certification standards, (2) the power relations shaping certification practices in global flower markets and Ecuadorian plantations, and (3) the grounded implications of partic
APA, Harvard, Vancouver, ISO, and other styles
9

"Accreditation in Tourism and Hospitality Undergraduate Education in the ASEAN context: the Case of Thailand from the Ted Qual Perspective." Journal of Social Sciences Research, no. 52 (January 30, 2019): 275–83. http://dx.doi.org/10.32861/jssr.52.275.283.

Full text
Abstract:
One of the most important developments in tourism and hospitality education in the last decades has been the implementation of institutional and programmatic international accreditation systems to support and ensure the competitiveness and excellence levels of the education centres and the study paths they offer. Institutions in the ASEAN region can (and should) opt for these international accreditations if they aim to take profit of the various advantages they offer, but how prepared are its centres nowadays to obtain these types of certifications? In order to answer this question, the aim of
APA, Harvard, Vancouver, ISO, and other styles
10

D. Nash, Scott, Ambahun Chernet, Paul Weiss, et al. "Prevalence of Ocular Chlamydia trachomatis Infection in Amhara Region, Ethiopia, after 8 Years of Trachoma Control Interventions." American Journal of Tropical Medicine and Hygiene, January 9, 2023. http://dx.doi.org/10.4269/ajtmh.22-0535.

Full text
Abstract:
Although trachoma mass drug administration (MDA) programs target ocular Chlamydia trachomatis, the global trachoma control program does not monitor infection as a measure of impact but instead relies on monitoring clinical indicators. This study aimed to monitor the prevalence of ocular C. trachomatis among a population-based sample of children ages 1–5 years throughout Amhara, Ethiopia, a region that has received approximately 8 years of annual MDA as part of trachoma control. Between 2014 and 2021, trachoma impact surveys and surveillance surveys were conducted in all 156 districts of Amhara
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Programmation certifiée"

1

Letouzey, Pierre. "Programmation fonctionnelle certifiée : L'extraction de programmes dans l'assistant Coq." Phd thesis, Université Paris Sud - Paris XI, 2004. http://tel.archives-ouvertes.fr/tel-00150912.

Full text
Abstract:
Nous nous intéressons ici à la génération de programmes certifiés<br />corrects par construction. Ces programmes sont obtenus en<br />extrayant l'information pertinente de preuves constructives réalisées<br />dans l'assistant de preuves Coq.<br /><br />Une telle traduction, ou "extraction", des preuves constructives<br />en programmes fonctionnels n'est pas nouvelle, elle correspond <br />à un isomorphisme bien connu sous le nom de Curry-Howard. Et<br />l'assistant Coq comporte depuis longtemps un tel outil d'extraction. <br />Mais l'outil précédent présentait d'importantes limitations. Certai
APA, Harvard, Vancouver, ISO, and other styles
2

Sall, Boubacar Demba. "Programmation impérative par raffinements avec l'assistant de preuve Coq." Electronic Thesis or Diss., Sorbonne université, 2020. http://www.theses.fr/2020SORUS181.

Full text
Abstract:
Cette thèse s’intéresse à la programmation certifiée correcte dans le cadre formel fourni par l’assistant de preuve Coq, et conduite par étapes de raffinements, avec l'objectif d’aboutir à un résultat correct par construction. Le langage de programmation considéré est un langage impératif simple, avec affectations, alternatives, séquences, et boucles. La sémantique associée à ce langage est une sémantique relationnelle exprimée dans un cadre prédicatif plus adapté à un plongement dans la théorie des types, plutôt que dans le calcul des relations. Nous étudions la relation entre d’une part la s
APA, Harvard, Vancouver, ISO, and other styles
3

Auger, Cédric. "Compilation certifiée de SCADE/LUSTRE." Phd thesis, Université Paris Sud - Paris XI, 2013. http://tel.archives-ouvertes.fr/tel-00818169.

Full text
Abstract:
Les langages synchrones sont apparus autour des années quatre-vingt, en réponse à un besoin d'avoir un modèle mathématique simple pour implémenter des systèmes temps réel critiques. Dans ce modèle, le temps est découpé en instants discrets durant lesquels tous les composants du système reçoivent et produisent une donnée. Cette modélisation permet des raisonnements beaucoup plus simples en évitant de devoir prendre en compte le temps de calcul de chaque opération. Dans le monde du logiciel critique, la fiabilité du matériel et de son fonctionnement sont primordiaux, et on accepte d'être plus le
APA, Harvard, Vancouver, ISO, and other styles
4

Hachmaoui, Mohammed Houssem Eddine. "Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée." Thesis, université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG021.

Full text
Abstract:
En 1974, Boyce et Chamberlin ont créé le langage SQL en se basant sur l'algèbre relationnelle proposée par Codd en 1970, mais à mesure d'extensions, la sémantique formelle de SQL s'est éloignée de celle de l'algèbre relationnelle. Le petit fragment select from where de SQL peut correspondre à une algèbre relationnelle avec une sémantique multiensemble en restreignant les expressions et les formules à celles exprimables en algèbre relationnelle. Pour capturer la sémantique du fragment beaucoup plus réaliste select from where group by having en prenant en compte toutes les expressions y compris
APA, Harvard, Vancouver, ISO, and other styles
5

Demange, Delphine. "Semantic foundations of intermediate program representations." Phd thesis, École normale supérieure de Cachan - ENS Cachan, 2012. http://tel.archives-ouvertes.fr/tel-00905442.

Full text
Abstract:
An end-to-end guarantee of software correctness by formal verification must consider two sources of bugs. First, the verification tool must be correct. Second, programs are often verified at the source level, before being compiled. Hence, compilers should also be trustworthy. Verifiers and compilers' complexity is increasing. To simplify code analysis and manipulation, these tools rely on intermediate representations (IR) of programs, that provide structural and semantic properties. This thesis gives a formal, semantic account on IRs, so that they can also be leveraged in the formal proof of s
APA, Harvard, Vancouver, ISO, and other styles
6

Dailler, Sylvain. "Extension paramétrée de compilateur certifié pour la programmation parallèle." Thesis, Orléans, 2015. http://www.theses.fr/2015ORLE2071/document.

Full text
Abstract:
Les applications informatiques sont de plus en plus présentes dans nos vies. Pour les applications critiques (médecine, transport, . . .), les conséquences d’une erreur informatique ont un coût inacceptable, que ce soit sur le plan humain ou financier. Une des méthodes pour éviter la présence d’erreurs dans les programmes est la vérification déductive. Celle-ci s’applique à des programmes écrits dans des langages de haut-niveau transformés, par des compilateurs, en programmes écrits en langage machine. Les compilateurs doivent être corrects pour ne pas propager d’erreurs au langage machine. De
APA, Harvard, Vancouver, ISO, and other styles
7

BOULME, SYLVAIN. "Specification d'un environnement dedie a la programmation certifiee de bibliotheques de calcul formel." Paris 6, 2000. http://www.theses.fr/2000PA066492.

Full text
Abstract:
Cette these decrit un systeme pour specifier, programmer et certifier (prouver) des bibliotheques de calcul formel. Chaque unite de bibliotheque represente une certaine structure algebrique, comme les groupes, les anneaux, les algebres de polynomes, etc. En pratique, les bibliotheques de calcul formel comportent un grand nombre de structures algebriques qui partagent entre elles algorithmes, proprietes et preuves, de facon assez compliquee. Par exemple, une notion calculatoire d'algebre (comme le pgcd) est definie par des proprietes algebriques. Toutes les structures algebriques verifiant ces
APA, Harvard, Vancouver, ISO, and other styles
8

Prevosto, Virgile. "Conception et implantation du langage FoC pour le développement de logiciels certifiés." Phd thesis, Université Pierre et Marie Curie - Paris VI, 2003. http://tel.archives-ouvertes.fr/tel-00007143.

Full text
Abstract:
Cette thèse porte sur la construction d'un environnement pour développer des librairies de calcul formel certifié. Nous présentons d'abord les espèces, structures servant à décrire des spécifications par héritage multiple, raffinement et paramétrisation. Les collections, construites par encapsulation d'espèces constituent la librairie utilisateur. Nous définissons également les analyses statiques garantissant la correction d'une définition d'espèce. Ensuite, nous étudions la compilation des espèces et collections vers le langage d'exécution OCAML, en utilisant les objets et modules OCAML. Puis
APA, Harvard, Vancouver, ISO, and other styles
9

Nigron, Pierre. "Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing." Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS480.

Full text
Abstract:
Pour pouvoir raisonner sur nos programmes, une méthode est de directement les écrire dans un assistant de preuve. Utilisant la correspondance de Curry-Howard, les programmes et les preuves ne font alors qu’un. Pour ne pas nuire à la cohérence logique de l’assistant de preuve, le système est obligé de restreindre les programmes à ne pas avoir d’effets de bord. Cependant, les effets de bord sont omniprésents et essentiels dans la programmation. Différentes techniques telles que les monades ou les effets algébriques ont alors émergé pour les modéliser offrant ainsi un moyen d'écrire des programme
APA, Harvard, Vancouver, ISO, and other styles
10

Bodin, Martin. "Certified semantics and analysis of JavaScript." Thesis, Rennes 1, 2016. http://www.theses.fr/2016REN1S087/document.

Full text
Abstract:
JavaScript est un langage de programmation maintenant très utilisé - y compris dans des domaines où la sécurité est importante. Il est donc important de permettre de vérifier la qualité des logiciels écrit en JavaScript. Cette thèse explore l'approche de la preuve formelle, visant à donner une preuve mathématique qu'un programme donné se comporte comme prévu. Pour construire cette preuve, nous utilisons un assistant de preuve tel que Coq - un programme de confiance permettant de vérifier nos preuves formelles. Pour pouvoir énoncer qu'un programme JavaScript se comporte correctement, nous avons
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Programmation certifiée"

1

author, Glenday David, ed. Teradata 12 SQL: An authorized Teradata Certified Professional Program study guide. [publisher not identified], 2011.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography