Rozprawy doktorskie na temat „Certification”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Certification”.
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.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
Sievert, Marilyn Kay. "In-house certification CNC training and certification /". Online version, 1999. http://www.uwstout.edu/lib/thesis/1999/1999sievertm.pdf.
Pełny tekst źródłaBlackwelder, Reid B. "Maintenance of Certification". Digital Commons @ East Tennessee State University, 2005. https://dc.etsu.edu/etsu-works/6914.
Pełny tekst źródłaHelsing, Linda. "Certification of sustainable charcoal : Implementing a certification process for Vi Agroforestry farmers". Thesis, Uppsala universitet, Kulturgeografiska institutionen, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-167772.
Pełny tekst źródłaRomero, Brandon Clark. "Reviewing Alternative Teacher Certification". Thesis, The University of Arizona, 2011. http://hdl.handle.net/10150/144949.
Pełny tekst źródłaMurray, Susan Marie. "Certification and a certification program for arborists and tree workers in the Pacific Northwest". Thesis, University of British Columbia, 1989. http://hdl.handle.net/2429/27601.
Pełny tekst źródłaLand and Food Systems, Faculty of
Graduate
Ocasio, Ralph, i Regina Bublitz. "Defense Acquisition Workforce Improvement Act (DAWIA) certification: a comparative analysis of certification versus qualification". Thesis, Monterey, California: Naval Postgraduate School, 2013. http://hdl.handle.net/10945/37688.
Pełny tekst źródłaThis project reflects extensive research on the Defense Acquisition Workforce Improvement Act (DAWIA) certification process. Project participants analyzed the processes currently employed by the Department of Defense (DOD) for civilian Army acquisition Program Managers and compared these processes to other Services in relation to execution of the DAWIA certification process. Additionally, this project provides a comparative analysis of DAWIA compared to current DOD qualification initiatives. The intent of the project is to identify and provide recommendations for best of breed practices for maintaining a proficient workforce while preserving the integrity of the Army civilian Program Manager profession. While identification and recommendations for best of breed practices have been stated, the availability of qualification initiatives is either limited or emerging. As such, the researchers have identified future areas for further study. DAWIA addresses career path requirements in title 10, United States Code 1723 by stating that the Secretary of Defense acting through the Under Secretary of Defense for Acquisition, Technology and Logistics, shall establish requirements for the completion of course work and related on-the-job training and demonstration of qualifications in the critical acquisition-related duties and tasks of the career path. Workforce demographics are changing. The intent of the project is to examine current credentialing processes in place to maintain a proficient workforce and preserve the integrity of the profession. Prior research regarding the effectiveness of DAWIA exists. This project will leverage this available body of knowledge and will compare it to existing processes to identify more efficient mechanisms/certifications for qualifying civilian Army acquisition Program Managers..
Baccari, Flavio. "Certification of many-body systems". Doctoral thesis, Universitat Politècnica de Catalunya, 2019. http://hdl.handle.net/10803/666981.
Pełny tekst źródłaLa física cuántica es posiblemente la teoría física más exitosa y la más contraintuitiva jamás desarollada. A pesar de que sus predicciones extremadamente precisas sobre el comportamiento de las partículas microscópicas han llevado a avances tecnológicos sin precedentes en varios campos, muchos fenómenos cuánticos desafían nuestra intuición basada en una concepción clásica de la física. Sin embargo, a partir de la década de 1980 tuvo lugar un cambio de paradigma en la comunidad científica, que se orientó en estudiar los fenómenos cuánticos no como enigmas inexplicables, sino como recursos útiles. Este cambio marcó el nacimiento del campo de la ciencia de la información cuántica, que desde entonces ha explorado las ventajas que la teoría cuántica puede aportar a la forma en que procesamos y transferimos la información. Hoy en día es un hecho bien establecido que la codificación de información en partículas cuánticas puede llevar, por ejemplo, a procesos de cálculo más eficientes, así como a comunicaciones extremadamente seguras. Además, debido a sus aplicaciones prácticas a la vida cotidiana, la ciencia de la información cuántica ha atraído un gran interés político y económico. Recientemente se han lanzado varias iniciativas con el propósito de cerrar la brecha entre la ciencia básica y la industria en este campo, tanto a nivel nacional como internacional. Al mismo tiempo, cada vez más empresas están incrementando sus esfuerzos para producir dispositivos cuánticos a nivel comercial. No hay duda de que hemos entrado en la era de la primera generación de dispositivos cuánticos, en la cual los sistemas cuánticos controlables compuestos de decenas o cientos de partículas son cada vez más accesibles. En tal escenario, el certificar que estos dispositivos exhiben sus atractivas propiedades cuánticas constituye un problema fundamental. Es importante destacar que, para que los métodos de certificación deseados sean aplicables en situaciones reales, éstos deben ser escalables con el tamaño del sistema. En otras palabras, tienen que basarse en requerimientos computacionales y experimentales que crezcan, a lo sumo,polinomialmente con el número de partículas en el sistema de interés. En esta tesis, introducimos herramientas de certificación escalables que se aplican a varias propiedades operativas de sistemas cuánticos de muchos cuerpos. En los primeros tres casos que consideramos, basamos nuestros protocolos de certificación en la detección de correlaciones no locales. Estos tipos de correlaciones no clásicas, que únicamente pueden ser producidas por sistemas cuánticos, permiten evaluar propiedades relevantes de forma independiente del dispositivo, es decir, sin realizar hipótesis acerca del funcionamiento específico del dispositivo que produce el estado de interés o las mediciones implementadas. En el primer escenario, presentamos un método eficiente para detectar entrelazamiento en sistemas multipartitos de forma independiente del dispositivo. Lo hacemos mediante la introducción de una prueba numérica para las correlaciones no locales que involucra recursos computacionales y experimentales que escalan polinomialmente con el número de partículas del sistema. Mostramos el rango de aplicabilidad de dicho método usándolo para detectar entrelazamiento en varias familias de sistemas multipartitos. Sin embargo, al tratar con sistemas de muchos cuerpos a menudo es más informativo proporcionar informaciones cuantitativas. Abordamos este problema en el segundo escenario mediante la introducción de métodos escalables para cuantificar la profundidad no local (non-locality depth) de un sistema multipartito, es decir, la cantidad de partículas que comparten correlaciones no locales entre sí. Mostramos cómo realizar dicha cuantificación a partir del conocimiento únicamente de los correladores de dos cuerpos, y aplicamos las técnicas resultantes a los datos experimentales de un sistema de unos pocos cientos de átomos. En el tercer escenario, pasamos a considerar el caso de self-testing, que es el método de certificación más informativo basado en la no localidad. De hecho, en una tarea de self-testing, el objetivo es caracterizar el estado del sistema y las mediciones realizadas en él, simplemente observando las correlaciones resultantes. Introducimos el primer método de self-testing escalable basado en las desigualdades de Bell y lo aplicamos a estados de grafo, una familia muy conocida de estados cuánticos multipartitos. Además, demostramos que la certificación lograda con nuestro método es robusta a imperfecciones experimentales. Por último, consideramos el problema de certificar el resultado de optimizadores cuánticos. Estos son dispositivos cuánticos diseñados para estimar la energía del estado fundamental de sistemas de espines clásicos. Desarollamos un método eficiente para calcular una serie convergente de límites superiores e inferiores al mínimo de interés, que en cada paso permite certificar el resultado de cualquier optimizador cuántico
Marshall, Neleffra. "A CASE STUDY: ALTERNATIVE CERTIFICATION". Doctoral diss., University of Central Florida, 2006. http://digital.library.ucf.edu/cdm/ref/collection/ETD/id/2300.
Pełny tekst źródłaEd.D.
Department of Educational Research, Technology and Leadership
Education
Educational Leadership
Capuzzi, Angelo Michael. "Strategic planning for LEED certification". Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/59160.
Pełny tekst źródłaCataloged from PDF version of thesis.
Includes bibliographical references (p. 49-51).
Intel Corporation has recently implemented a "green building" policy, which states that Intel will design all new facilities to achieve a minimum LEED-Silver certification. LEED (Leadership in Energy and Environmental Design) is a voluntary, consensus-driven rating system used to distinguish high performance, sustainable buildings. Buildings earn "points" in different environmental categories, and the total number of points achieved determines the certification level (Certified, Silver, Gold, or Platinum). While LEED certification has been successfully applied to many residential and commercial buildings, and occasionally to manufacturing facilities, it has not been applied to many wafer manufacturing facilities (fabs), which house the manufacturing and production of Intel's microprocessors. Wafer fabs have much higher energy and water consumption levels than typical buildings due to their strictly controlled temperature, humidity, and particulate requirements, making LEED certification more challenging for a fab than for a typical building. The objective of this study was to develop a planning strategy case study for Intel to achieve LEEDSilver certification for the construction of a hypothetical new wafer fab. The case study identified the main barriers to achieve LEED certification, including cost, risk, process, acceptance and alignment barriers, and outlined means to overcome them. The LEED criteria were then analyzed to determine the costs, benefits, and risks of pursuing each individual credit. The resulting "portfolio planning" model was then used to optimize a portfolio of credits for Intel to pursue. The final results indicated that for the optimized scenario, LEED-Silver certification could be achieved for a positive NPV of over $130,000. Significant cost savings were achieved through the avoidance of the credits related to energy efficiency and on-site renewable energy generation, credits that pose a significant risk to Intel due to the high energy consumption of a fab. Finally, process improvement recommendations were made for the planning, design, and construction of a LEED certified fab.
Angelo Michael Capuzzi.
S.M.
M.B.A.
Riccardo, Michele. "Calculation and tests for Shark CS-LSA type certification and preliminary design for CS-VLA certification". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2019.
Znajdź pełny tekst źródłaKhaloui, Judy M. "The status of alternative teacher certification and a descriptive analysis of alternative certification programs and participants". Diss., Virginia Tech, 1991. http://hdl.handle.net/10919/39765.
Pełny tekst źródłaEd. D.
Supic, Ivan. "Device-independent certification of quantum resources". Doctoral thesis, Universitat Politècnica de Catalunya, 2018. http://hdl.handle.net/10803/663208.
Pełny tekst źródłaLes dues darreres dècades han significat un període molt fructífer per a la investigació bàsica en relació a la teoria quàntica de la informació. Avui en dia tenim un grau de comprensió raonable sobre l'efecte que les propietats quàntiques tenen sobre diverses tasques computacionals i criptogràfiques. Paral·lelament, també es produeixen avenços en les implementacions pràctiques: Varis dispositius que realitzen distribució quàntica de claus o generació quàntica de nombres aleatoris són ja una realitat i estan disponibles comercialment. Mentrestant, més recursos s'estan invertint en construir un dispositiu que pugui provar i explotar l'anomenada superioritat quàntica. En el context d'aquesta imminent segona revolució quàntica, la importància de construir noves eines de certificació i millorar les existents és crucial. En el procés d'avaluar la no-classicalitat d'un dispositiu donat, és essencial poder estimar quines hipòtesis no comprometen el procés de certificació. L'escenari independent del dispositiu no fa cap hipòtesi sobre el funcionament intern dels dispositius, tan sols pren com a punt de partida que la teoria quàntica és correcta. Aquest escenari aconsegueix certificar el caràcter quàntic de certs dispositius, fins i tot en el supòsit que adversaris potencials tenen a la seva disposició tot el poder que les lleis de la física permeten. El tema principal d'aquesta tesi és la certificació de diversos recursos quàntics de manera independent del dispositiu. En la primera part de la tesi ens centrem en l'autoavaluació, un dels protocols independents del dispositiu més senzills. El seu objectiu és recuperar els estats quàntics que s'usen, només a partir de les correlacions observades al mesurar. Té una importància fonamental en el paradigma independent del dispositiu ja que mostra quins estats quàntics deixen una 'empremta'. En aquesta tesi presentem varis resultats referents a l'autoavaluació. Primerament, demostrem que les desigualtats de Bell encadenades poden ser usades per auto-avaluar parelles de qubits màximament entrellaçats de manera robusta, així com estats de Dicke, estats de grafs i estats de dimensió finita arbitrària que admetin la descomposició de Schmidt. Finalment, estenem l'autoavaluació a l'escenari semi-independent del dispositiu i n'explorem les seves propietats. En la segona part de la tesi anem a la certificació de varis recursos quàntics i protocols. Mentre que l'escenari independent del dispositiu ofereix seguretat en grau màxim, té algunes propietats que hom voldria evitar. És difícil d'implementar: En alguns casos es poden plantejar hipòtesis més fortes sobre el funcionament dels dispositius.En segon lloc, l'escenari es basa en l'observació de correlacions no locals, cosa que inutilitza certes classes d'estats entrellaçats per a protocols independents del dispositiu. Abordem el primer repte presentant una quantificació de l'entrellaçament i l'aleatorietat en xarxes quàntiques en l'escenari de mesurament independent del dispositiu, on se suposa que totes les parts tenen els seus aparells de preparació caracteritzats. En aquest cas, es poden detectar tots els estats entrellaçats. Quant al segon problema, combinem l'escenari de la mesurament independent del dispositiu amb l'autoavaluació i presentem el primer protocol per a una detecció de tots els estats entrellaçats de manera independent del dispositiu. El protocol implica la col·locació d'un estat entrellaçat per ser detectat en una xarxa quàntica. Finalment, identifiquem la teleportació d'estats quàntics com un representant dels protocols unilaterals de mesurament independent del dispositiu, el qual ens ajuda a proposar un nou punt de referència per certificar la no-classicalitat de la teleportació. Partint d'aquest punt de referència, demostrem que tots els estats entrellaçats indueixen un experiment de teleportació que no pot ser simulat de manera clàssica.
Gantt, Anita Masha. "Teachers as professionals national board certification /". [Pensacola, Fla.] : University of West Florida, 2006. http://purl.fcla.edu/fcla/etd/WFE0000037.
Pełny tekst źródłaShi, Xiaomu. "Certification of an Instruction Set Simulator". Phd thesis, Université de Grenoble, 2013. http://tel.archives-ouvertes.fr/tel-00937524.
Pełny tekst źródłaChan, Ho-pang, i 陳浩鵬. "Sustainable seafood certification in Hong Kong". Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2011. http://hub.hku.hk/bib/B46733991.
Pełny tekst źródłaClarke, Matthew T. "Federal Acquisition Network implementation and certification". Thesis, Monterey, California. Naval Postgraduate School, 1995. http://hdl.handle.net/10945/31419.
Pełny tekst źródłaKarlsson, Niklas, i Marcus Källbrink. "Environmental certification of commercial real estate". Thesis, KTH, Fastigheter och byggande, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-191508.
Pełny tekst źródłaDe senaste tio åren har det kunnat observeras en markant ökning av antalet miljöcertifierade byggnader runt om i världen. Fler och fler blir medvetna om att byggnader använder mycket energi och påverkar hur både människor och vår planet mår. Forskningen har de senaste 15 åren därför producerat många studier som utreder flertalet av de alternativ som finns för att sänka byggnaders miljöpåverkan. Genom följande rapport görs en sammanställning av en del av det brus och åsikter som finns om ämnet. Tanken med kandidatarbetet är således att utreda frågeställningen ”Varför ska fastighetsägare och hyresgäster välja miljöcertifierade fastigheter? Vad finns det för fördelar och nackdelar för respektive part?”. För att kunna svara på denna fråga genomfördes en utförlig litteraturstudie av tillgängligt material inom området, både internationellt och i Sverige. En närmare undersökning har sedan gjorts med hjälp av intervjuer för att komplettera och fylla ut bilden av miljöcertifieringssystem i Sverige. De intervjuade tillhör intressenter som är verksamma från olika perspektiv för fastighetsägare eller hyresgäster. Vi kan i resultaten se att det finns flera fördelar för fastighetsägare i att äga miljöcertifierade fastigheter. Några av de tydligare av dessa är bättre driftnetto på grund av energibesparing, potentiellt högre hyresnivåer och marknadsvärden samt lägre vakans. Lägg därtill ett konkurrensmedel mot andra fastighetsägare och minskad risk för att bli bortvald av hyresgäster. Ur hyresgästperspektiv är det svårare att motivera varför de ska vara lokaliserade till miljöcertifierade fastigheter, vilket i Sverige i många fall beror på att byggnader redan har hög standard samt att det är svårare att knyta fördelar just till själva miljöcertifieringen. Men generellt sett i och med att efterfrågan ändå är stor borde anledningar som bättre inomhusklimat, ökad produktivitet och kvalitetssäkring vara kraftiga argument för att välja miljöcertifierat. Vidare skulle oenigheten i branschen kunna lösas med mer transparens i kostnadsfrågan och en tydligare överensstämmelse mellan de olika miljöcertifieringssystemen.
Grochocki, Jeannie. "National Board Certification and Cognitive Coaching". Thesis, Northern Arizona University, 2018. http://pqdtopen.proquest.com/#viewpdf?dispub=10751373.
Pełny tekst źródłaThe National Board Certification is a process for educators who desire to pursue a deeper level of professional development and enhance their teaching practice. This certification process coupled with cognitive coaching involved high levels of reflective practices and deepened self-efficacy evident in this study. This study determined that with the use of cognitive coaching an educator self-efficacy would increase depending on what stage they were on in the process. The researcher provided three groups of participants (National Board Certified Teachers, Candidates in the process of National Board Certification and Did Not Achieve) an opportunity to elaborate on their experience moving through the process using a cognitive coach.
An analysis of qualitative and quantitative data revealed that the three groups differed in self-efficacy in favor of the National Board Certified Teacher (NBC) group and that on several aspects of cognitive coaching, the NBC group scored higher than the other groups. As well, each group showed support for the coaching process through certification and revealed that with this coaching they were able to achieve a deeper reflective state of mind.
Flores, Alvaro. "Brazilian Leather Certification of Sustainability - 32". Verein für Gerberei-Chemie und -Technik e. V, 2019. https://slub.qucosa.de/id/qucosa%3A34141.
Pełny tekst źródłaSchmid, Michael Sebastian. "Model-based certification of automated vehicles". Thesis, Massachusetts Institute of Technology, 2020. https://hdl.handle.net/1721.1/127083.
Pełny tekst źródłaCataloged from the official PDF of thesis.
Includes bibliographical references (pages 121-131).
Automated vehicles (AVs) have long been predicted to disrupt the transportation industry any moment. Although numerous companies have shared that optimism and supported development, it now seems that the challenges of building automated vehicles are becoming apparent and are pushing the vision far into the future. While manufacturers are making technological progress there are concerns about the safety of AVs. For AVs new types of accidents such as accidents due to unsafe software behavior and interactions between vehicle hardware, software, and humans must be considered in addition to what has been done for the safety of conventional vehicles. Many stakeholders in the AV industry are looking for ways to ensure and demonstrate the safety of AV designs. For one, regulators are responsible for assessing safety and granting certification based on whether a minimum level of confidence in safety was achieved.
Similarly, manufacturers need to be able to argue for the safety of their AV design in order to receive certification and convince customers. Finally, suppliers such as software/hardware providers, AV app developers, etc., also depend on a way to demonstrate the safety of their product and convince Original Equipment Manufacturers (OEMs). Hence, safety is an important problem for the progress of the AV industry that calls for a solution. This thesis presents a potential solution by suggesting a model-based certification. First, currently existing problems with AV safety and the currently taken approaches to address AV safety are identified. Then, an alternative model-based safety approach that addresses the identified problems is demonstrated and a conceptual architecture model and safety requirements are derived. Finally, it is shown how the model-based safety approach may be implemented through certification.
The application to safety-related problems such as regulation and the insurance of AVs is outlined and an organizational structure and processes for model-based certification are derived.
by Michael Sebastian Schmid.
S.M.
S.M. Massachusetts Institute of Technology, Department of Aeronautics and Astronautics
Neitzel, Amber Rae. "Death Certification of ‘‘Suicide by Cop’’". Thesis, The University of Arizona, 2013. http://hdl.handle.net/10150/281777.
Pełny tekst źródłaDeath certification of ‘‘suicide by cop’’ is controversial among some medical examiners and coroners. We present five such deaths that were certified as suicides and discuss the medico-legal issues involved with these certifications. To certify such a death as a suicide, certain criteria should be met. Suicide by cop is a circumstance that involves competing intentional acts that may result in dichotomous determinations of the manner of death. Despite the absence of direct self-infliction, there is overwhelming evidence that these five individuals intended to end their own lives. Their use of an unusual method to accomplish this goal may inappropriately result in a reflexive certification of homicide. All of the decedents possessed weapons or a facsimile of a weapon. We present five instances of suicide by cop and contend that these types of deaths are best certified as suicides. KEYWORDS: forensic science, forensic pathology, suicide, police, gunshot wounds, manner of death
Bai, Wei. "Automated certification of online auction services". Thesis, University of Liverpool, 2016. http://livrepository.liverpool.ac.uk/3003726/.
Pełny tekst źródłaKhayati, Amine. "Bank Certification Effect on CEO Compensation". OpenSIUC, 2010. https://opensiuc.lib.siu.edu/dissertations/174.
Pełny tekst źródłaKokic, Damir, i Marcus Brando Pedersen-Slaatten. "Customer Perceptions of Organic Certification Standards". Thesis, Internationella Handelshögskolan, Högskolan i Jönköping, IHH, Företagsekonomi, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-44279.
Pełny tekst źródłaJones, Steven C. "Assessing the Need for Evaluator Certification". DigitalCommons@USU, 2001. https://digitalcommons.usu.edu/etd/6163.
Pełny tekst źródłaPark, Sherry. "Stakeholders' Perception of Alternative Certification Program". ScholarWorks, 2015. https://scholarworks.waldenu.edu/dissertations/893.
Pełny tekst źródłaChurch, W. Mark. "Benefits of Student Certification: A Study of Automotive Service Managers". Diss., Virginia Tech, 2007. http://hdl.handle.net/10919/26249.
Pełny tekst źródłaPh. D.
Biggs, Robert C. "Missile defense certification examination of the U.S. Navy Aegis warship and U.S. Army patriot crew certification process". Thesis, Monterey, California. Naval Postgraduate School, 2008. http://hdl.handle.net/10945/3879.
Pełny tekst źródłaThe process employed by Naval Surface Forces to capture information during warfare certification is enabled by a computer-based feedback mechanism. The Surface Force Type Commander employs two information management system models in the form of Training and Operational Readiness Information Service (TORIS) and Training Figure of Merit (TFOM) to report progress, capture data, compare trends, and achieve training and certification process efficiency. These systems have advantages that can be recognized and capitalized upon by other elements within the Ballistic Missile Defense community. This thesis examines how two Ballistic Missile Defense elements Naval Aegis units and Army Patriot units leverage technology to capture data as part of the certification timeline and the degree of alignment between the certification processes of the elements. It is recommended that an initiative be undertaken to record and retain data associated with certification events down to a granular (unit) level. It is further recommended that the Patriot community in particular consider an information technology solution for the issue of unit-level readiness management.
Roeschmann, Juan. "Is Environmental Certification Associated with Price Premiums? The Case of Costa Rica Hotel and Community Certification Programs". Thesis, The George Washington University, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3718231.
Pełny tekst źródłaThe research examines how firms’ price premiums are affected by performance in facility and community level environmental certification programs. Relying on a propensity score matching approach aimed at correcting for self-selection bias, I analyze two major voluntary environmental certification programs in Costa Rica: the Blue Flag Program, which provides certification for coastal communities, and the Certification for Sustainable Tourism (CST) program, which certifies beyond-compliance environmental performance by individual hotels. To do this, I use panel data for the entire population of hotels and beach communities in Costa Rica between 2001-2008 (n=3,500 hotel-year observations). The majority of studies of voluntary certification programs tend to analyze individual programs and their associated effect on participant firm facilities, leaving aside the environmental performance of the community where participant firm operate. This research seeks to quantify the combined price premium effects of two voluntary environmental certification programs: one focused on firm facilities and another focused on communities.
Findings of the study suggest: (1) a lack of a significant price premium for firms showing low certified facility-level environmental performance even when they are located in communities receiving collective environmental certification (in the form of the Blue Flag). (2) Significant price premiums for firms showing superior certified facility-level environmental performance. And (3), most interestingly, community level environmental certification only increases the magnitude of the price premiums for firms showing the highest individual facility-level environmental performance. That is, to gain the greatest price premiums from a certified “green” reputation, it is necessary for firm to be located in host community receiving collective environmental certification and to also show the highest levels of certified facility-level environmental performance.
Biggs, Robert C. JOINT AUTHOR. "Missile defense certification examination of the U.S. Navy Aegis warship and U.S. Army patriot crew certification process /". Monterey, Calif. : Naval Postgraduate School, 2008. http://edocs.nps.edu/npspubs/scholarly/theses/2008/Sept/08Sep%5FNAME.pdf.
Pełny tekst źródłaThesis Advisor(s): last name, first name ; "September 2008." Joint authors: Description based on title screen as viewed on ... Includes bibliographical references (p. ). Also available in print.
RIDOLPHI, REBHUHN SOPHIE. "Certification de la qualite des medicaments ; etude de deux approches : le systeme oms et la certification iso". Strasbourg 1, 1995. http://www.theses.fr/1995STR15075.
Pełny tekst źródłaHumphries, Shoana S. "Forest certification for community-based forest enterprises in Brazil's western Amazon local stakeholders' perceptions of negative and positive aspects of certification and how to improve the certification process /". [Gainesville, Fla.] : University of Florida, 2005. http://purl.fcla.edu/fcla/etd/UFE0012320.
Pełny tekst źródłaDavis, Buddy L. "A Simulation Study for a Computerized Approach to Teacher Certification Information". Thesis, North Texas State University, 1985. https://digital.library.unt.edu/ark:/67531/metadc331662/.
Pełny tekst źródłaAmbrose, Matthew H. "Past performance in supplier certification program : a study of current certification and incentive practices in certified supplier programs". Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1997. http://handle.dtic.mil/100.2/ADA333461.
Pełny tekst źródłaThesis advisors, Mark W. Stone, Walter E. Owen. AD-A333 461. Includes bibliographical references (p. 69-71). Also available online.
Asensi, Conejero Emilio, i Renars Kaulins. "Motivations and Barriers of Using Emerging Technology in Eco-label Certification for Sustainability, from the certification companies’ perspective". Thesis, Malmö universitet, Fakulteten för kultur och samhälle (KS), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:mau:diva-22554.
Pełny tekst źródłaEtheredge, David K. "Alternative Certification Teaching Programs in Texas: A Historical Analysis". Thesis, University of North Texas, 2015. https://digital.library.unt.edu/ark:/67531/metadc799511/.
Pełny tekst źródłaNusbaum, Charles M. "Principals' Perceptions of the Effectiveness of Alternatively Certified and Traditionally Certified Teachers In Hampton Roads Virginia". Diss., Virginia Tech, 2002. http://hdl.handle.net/10919/30009.
Pełny tekst źródłaEd. D.
Flynn, Kimberly C. Grassco Colleen E. Boorom Eric W. "Paperless Contract Folder's (PCF) DoD 5015.2 certification". Monterey, Calif. : Naval Postgraduate School, 2010. http://edocs.nps.edu/npspubs/scholarly/JAP/2010/Jun/10Jun%5FFlynn%5FJAP.pdf.
Pełny tekst źródłaAdvisor(s): Doelling, Michael C. ; Brinkley, Douglas E. "June 2010." "Joint applied project"--Cover. Joint authors: .Grasso, Colleen E. ; Boorom, Eric W. Description based on title screen as viewed on July 14, 2010. Author(s) subject terms: Paperless Contract Folder's (PCF) DoD 5015.2 certification Includes bibliographical references (p. 97). Also available in print.
Al-Zahofi, Waseem I. "Information technology feasibility of certification in Wisconsin /". Menomonie, WI : University of Wisconsin--Stout, 2005. http://www.uwstout.edu/lib/thesis/2005/2005al-zahofiw.pdf.
Pełny tekst źródłaDutta, Abhishek. "Design and certification of industrial predictive controllers". Thesis, University of Cambridge, 2014. https://www.repository.cam.ac.uk/handle/1810/246154.
Pełny tekst źródłaJosif, Dina. "Cognitive assessment of certification examination in endocrinology". Thesis, McGill University, 1992. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=61300.
Pełny tekst źródłaThe results showed that the responses did not always correspond to task requirements. There was a general tendency to focus on specific details that the subjects understood at the expense of the global aspect of the question. There was a greater variation in performance within groups than between groups. The results also suggest that undergraduate education may have less influence on the performance in certification examination than residency training. The importance of developing examination questions with high construct and criterion validity is discussed.
Flynn, Kimberly C., Eric W. Boorom i Colleen E. Grasso. "Paperless Contract Folder's (PCF) DoD 5015.2 certification". Monterey, California. Naval Postgraduate School, 2010. http://hdl.handle.net/10945/10522.
Pełny tekst źródłaThe objective of this project is to conduct an analysis of the CECOM Contracting Center's Paperless Contracting Folder program in regards to maintaining its DoD 5015.2 certification. The desired outcomes will be the creation of a File Plan and User Guide to assist with DoD 5015.2 certification.
Everson, Matthew D. "Training system device certification and qualification process". Thesis, Monterey, California. Naval Postgraduate School, 2013. http://hdl.handle.net/10945/37624.
Pełny tekst źródłaTraining system devices are frequently used for aviation training to prepare students to fly aircraft. The use of training systems can be used to reduce the number of flight hours required for pilots and aircrew. The aviation training system device must be designed properly to ensure that necessary learning objectives are met. Certification is the last step in the test and evaluation process during the validation phase, within the systems engineering process, that ensures the system works as it was intended, and meets the users need. Training System certification ensures the user that the training device can be used to properly meet certain learning objectives prior to flying. This thesis analyzes existing training system device certification processes and provides recommendations to the United States Navy, Naval Air Warfare Center Training Systems Division, for improvements.
Oyeniya, Atinuke Adebisi. "Certification challenges for emerging technologies in aviation". Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/118532.
Pełny tekst źródłaCataloged from PDF version of thesis.
Includes bibliographical references (pages 70-72).
Over the last decade the aerospace industry has seen a shift in traditional architectures of an aircraft. The desire for aircraft to be lighter, more efficient, quieter, faster, and cheaper has driven trends across the industry. These trends look for ways to accomplish what many other industries such as automotive have done which is a complete transformation of the "normal." The shift has created an advanced architecture for aircraft and therefore requires a new view on certification. The traditional approach for certification is pretty straightforward since majority of aircraft have been the same over several years with minor changes in sub level aircraft systems. Aircraft manufacturers in combination with suppliers develop concepts for new or improved aircraft, requirements are outlined and implemented based on aviation authority regulations, and eventually the aircraft receives a certificate declaring the safety of the aircraft design and production. In fairness, the traditional standard approach to aircraft certification has worked. Aircraft are safer than ever and data shows a sharp decline in aviation accidents over the years. However, with changes in technology what use to be the "normal" architecture is changing significantly and the desire for the industry to be more agile both play a role in the need to view certification slightly different. The main objective of certification has been, is, and will always be safety. This thesis proposes a framework on how to approach certification of new technologies. Perhaps the two most important elements in the framework are the proposal of a threshold utilizing the technology infusion effort equation to gage the significance of a change in architecture and the proactive safety analysis utilizing a new kind of technique called STPA. The framework is developed based on an in-depth outline of the traditional certification process and a review of the historical development of safety regulations. Two parts of the proposed framework are then applied and analyzed based on the more electric aircraft concept.
by Atinuke Adebisi Oyeniya.
S.M. in Engineering and Management
O'Sullivan, Tony, i Harold Book. "Tape Certification Today and in The Future". International Foundation for Telemetering, 1988. http://hdl.handle.net/10150/615052.
Pełny tekst źródłaThe advent of high density digital recording has required the development of sophisticated tape certification equipment which allows the user to test tape for dropouts at his actual system bit packing density and to clean and program wind tapes with the same equipment. By using two sets of reproduce heads with dual threshold and duration controls tapes can be graded as to their suitability for use with HDDR systems or far less exacting analog applications.
Ekici, Burak. "Certification de programmes avec des effets calculatoires". Thesis, Université Grenoble Alpes (ComUE), 2015. http://www.theses.fr/2015GREAM070/document.
Pełny tekst źródłaIn this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts of effects: state change, exceptions, input/output, non-determinism, etc. They may bring ease and flexibility to the coding process. However, the problem is to take into account the effects when proving the properties of programs. The major difficulty in such kind of reasoning is the mismatch between the syntax of operations with effects and their interpretation. Typically, a piece of program with arguments in X that returns a value in Y is not interpreted as a function from X to Y , due to the effects. The best-known algebraic approach to the problem interprets programs including effects with the use of monads: the interpretation is a function from X to T(Y) where T is a monad. This approach has been extendedto Lawvere theories and algebraic handlers. Another approach called, the decorated logic, provides a sort of equational semantics for reasoning about programs with effects. We specialize the approach of decorated logic to the state and the exceptions effects by defining the decorated logic for states (L_st) and the decorated logic for exceptions (L_exc), respectively. This enables us to prove properties of programs involving such effects. Then, we formalize these logics in Coq and certify the related proofs. These logics are built so as to be sound. In addition, we introduce a relative notion of syntactic completeness of a theory in a given logic with respect to a sublogic. We prove that the decorated theory for the global states as well as two decorated theories for exceptions are syntactically complete relatively to their pure sublogics. These proofs are certified in Coq as applications of ourgeneric frameworks
Yuce, Martin. "Sustainability Evaluation of Green Building Certification Systems". FIU Digital Commons, 2012. http://digitalcommons.fiu.edu/etd/769.
Pełny tekst źródłaGlondu, Stéphane. "Vers une certification de l'extraction de coq". Paris 7, 2012. http://www.theses.fr/2012PA077089.
Pełny tekst źródłaThe Coq proof assistant mechanically checks the consistency of the logical reasoning in a proof. It can also be used to develop certified programs. Indeed, Coq uses intemally a typed language derived from lambda-calculus, the calculus of inductive constructions (CIC). This language can be directl; used by a programmer, and a procedure, extraction, allows one to translate CIC programs into more widely used languages such as OCaml, Haskell or Scheme. Extraction is not a mere syntax change: the type System of CIC is very rich, but purely logical entities can appear inside programs, impacting their performance. Extraction erases these logical artefacts as well. In this thesis, we tackle certification of the extraction itself. We have proved its correction in the context of a full formalization of Coq in Coq. Even though this formalization is not exactly Coq, we worked on it with the concrete implementation of Coq in mind. We also propose a new way to certify extracted programs, in the concrete setting of the existing Coq System
Thomas, Angela Falter. "The Professional Implications of National Board Certification". The Ohio State University, 2009. http://rave.ohiolink.edu/etdc/view?acc_num=osu1254757886.
Pełny tekst źródłaZanella, Béguelin Santiago José. "Formal certification of game-based cryptographic proofs". Institut national de recherche en informatique et en automatique (France). Unité de recherche (Sophia Antipolis, Alpes-Maritimes), 2010. http://pastel.archives-ouvertes.fr/pastel-00584350.
Pełny tekst źródłaThe game-based approach is a popular methodology for structuring cryptographic proofs as sequences of games. Game-based proofs can be rigorously formalized by taking a code-centric view of games as probabilistic programs and relying on programming language techniques to justify proof steps. In this dissertation we present CertiCrypt, a framework that enables the machine-checked construction and verification of game-based cryptographic proofs. CertiCrypt is built upon the general-purpose proof assistant Coq, from which it inherits the ability to provide independently verifiable evidence that proofs are correct, and draws on many areas, including probability and complexity theory, algebra, and semantics of programming languages. The framework provides certified tools to reason about the equivalence of probabilistic programs, including a relational Hoare logic, a theory of observational equivalence, verified program transformations, and ad-hoc programming language techniques of particular interest in cryptographic proofs, such as reasoning about failure events. We validate our framework through the formalization of several significant case studies, including proofs of security of the Optimal Asymmetric Encryption Padding scheme against adaptive chosen-ciphertext attacks, and of existential unforgeability of Full-Domain Hash signatures