Littérature scientifique sur le sujet « Checkley »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Sommaire
Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques sur le sujet « Checkley ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Articles de revues sur le sujet "Checkley"
PEVELER, ROBERT. « The Management of Depression. Edited by S. Checkley (Pp. 476 ; £60.00.) Blackwell Science : Oxford. 1998. » Psychological Medicine 29, no 4 (juillet 1999) : 1003–8. http://dx.doi.org/10.1017/s0033291798258211.
Texte intégralTer Hofstede, Remment. « Climate Change and Small Pelagic Fish - Edited by David M Checkley, Jürgen Alheit, Yoshioki Oozeki and Claude Roy ». Geographical Journal 176, no 2 (juin 2010) : 179–80. http://dx.doi.org/10.1111/j.1475-4959.2010.00360_2.x.
Texte intégralByrne, Peter. « Book review : The Management of Depression. Edited by Stuart Checkley. Blackwell Science, London, 1998. No. of pages : 476. » International Journal of Geriatric Psychiatry 14, no 5 (mai 1999) : 406. http://dx.doi.org/10.1002/(sici)1099-1166(199905)14:5<406 ::aid-gps953>3.0.co;2-k.
Texte intégralJacobson, Larry D., et Sam McClatchie. « Comment on temperature-dependent stock–recruit modeling for Pacific sardine (Sardinops sagax) in Jacobson and MacCall (1995), McClatchie et al. (2010), and Lindegren and Checkley (2013) ». Canadian Journal of Fisheries and Aquatic Sciences 70, no 10 (octobre 2013) : 1566–69. http://dx.doi.org/10.1139/cjfas-2013-0128.
Texte intégralTANAKA, HIROYUKI. « THE^|^ldquo;AVOID EMBEDDING^|^rdquo;CONDITION AND THE CHECKER/CHECKEE ASYMMETRY ». ENGLISH LINGUISTICS 15 (1998) : 281–89. http://dx.doi.org/10.9793/elsj1984.15.281.
Texte intégralBoyer, P., M. Dàvila, C. Schaub et J. Nassiet. « Growth hormone response to clonidine stimulation in depressive states — First part of a two-part study — ». Psychiatry and Psychobiology 1, no 3 (1986) : 189–95. http://dx.doi.org/10.1017/s0767399x00000031.
Texte intégralCarvalho, Serafim, José Pinto-Gouveia, Paulo Pimentel, Paula Castilho, Dulce Maia et Jorge Mota Pereira. « Propriedades Psicométricas da Escala de Cuidado do Questionário de Experiências de Cuidado e Abuso na Infância (Childhood Experiences of Care and Abuse – CECA.Q) ». Psychologica, no 54 (9 février 2018) : 359–83. http://dx.doi.org/10.14195/1647-8606_54_14.
Texte intégralKleyngeld, Arwen. « Voorspelmodellen checken ». Zorgvisie ICT 20, no 2 (mars 2019) : 6–7. http://dx.doi.org/10.1007/s41186-019-0005-2.
Texte intégralBeneteau, Erin, Yini Guan, Olivia K. Richards, Mingrui Ray Zhang, Julie A. Kientz, Jason Yip et Alexis Hiniker. « Assumptions Checked ». Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 4, no 1 (18 mars 2020) : 1–23. http://dx.doi.org/10.1145/3380993.
Texte intégralSullivan, Helen. « NHS Symptom Checker app NHS Symptom Checker app Free ». Nursing Standard 28, no 8 (23 octobre 2013) : 33. http://dx.doi.org/10.7748/ns2013.10.28.8.33.s40.
Texte intégralThèses sur le sujet "Checkley"
Checkley, Stephen [Verfasser]. « Engineering Tuneable Gene Circuits in Yeast / Stephen Checkley ». Munich : GRIN Verlag, 2015. http://d-nb.info/1097425436/34.
Texte intégralBahtiyar, Muhammed Yasin. « Software Architecture Checker ». Thesis, Växjö University, School of Mathematics and Systems Engineering, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2294.
Texte intégralBy the increasing needs of software industry, software systems became more complex constructions than ever before. As a result of increasing complexity in software systems, functional decomposition of these systems gains the status of the most important aspect in the software development process. Dividing problems to sub-problems and producing specific solutions for divided parts makes it easier to solve the main problem.
Component Based Software Engineering is a way of developing software systems that consists of logically or functionally decomposed components which integrated to each other by the help of well-defined interfaces. CBSE relies on architectural design of a software system.
Planning phase and implementation of a software project may differ time to time. Because of the complexity of software systems, solving specific problems may affect the architecture of the whole system.
In spite of sophisticated software engineering processes and CASE tools there is still a large gap between the planned and implemented architecture of software systems. Finding deviations from architecture in source code is a non-trivial task requiring tool support.
Since, matching operation of designed software architecture and implemented software architecture needs to check design documents against implementation code. This manual checking operation is nearly impossible for major software systems. Software Architecture Checker provides a great approach to check the architecture of any software system.
This bachelor thesis examines the approach behind the Software Architecture Checker.
Bubeník, Martin. « RaspberryPI kamerový checker ». Master's thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2019. http://www.nusl.cz/ntk/nusl-402129.
Texte intégralKojovic, Ivana. « An automatic protocol composition checker ». Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for telematikk, 2012. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-19105.
Texte intégralGhribi, Brahim. « A model checker for LOTOS ». Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7536.
Texte intégralHedin, Rasmus. « Spell checker in CET Designer ». Thesis, Linköpings universitet, Institutionen för datavetenskap, 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-131642.
Texte intégralViktorsson, Arvid, et Illya Kyrychenko. « Spell checker for a Java Application ». Thesis, Karlstads universitet, Institutionen för matematik och datavetenskap (from 2013), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-78054.
Texte intégralYoo, Joonhyuk. « Harnessing checker hierarchy for reliable microprocessors ». College Park, Md. : University of Maryland, 2007. http://hdl.handle.net/1903/7688.
Texte intégralThesis research directed by: Dept. of Electrical and Computer Engineering. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
Gerber, Erick D. B. « A model checker for the LF system ». Thesis, Stellenbosch : Stellenbosch University, 2007. http://hdl.handle.net/10019.1/19597.
Texte intégralENGLISH ABSTRACT: Computer aided veri cation techniques, such as model checking, can be used to improve the reliability of software. Model checking is an algorithmic approach to illustrate the correctness of temporal logic speci cations in the formal description of hardware and software systems. In contrast to traditional testing tools, model checking relies on an exhaustive search of all the possible con gurations that these systems may exhibit. Traditionally model checking is applied to abstract or high level designs of software. However, often interpreting or translating these abstract designs to implementations introduce subtle errors. In recent years one trend in model checking has been to apply the model checking algorithm directly to the implementations instead. This thesis is concerned with building an e cient model checker for a small concurrent langauge developed at the University of Stellenbosch. This special purpose langauge, LF, is aimed at developement of small embedded systems. The design of the language was carefully considered to promote safe programming practices. Furthermore, the language and its runtime support system was designed to allow directly model checking LF programs. To achieve this, the model checker extends the existing runtime support infrastructure to generate the state space of an executing LF program.
AFRIKAANSE OPSOMMING: Rekenaar gebaseerde program toetsing, soos modeltoetsing, kan gebruik word om die betroubaarheid van sagteware te verbeter. Model toetsing is 'n algoritmiese benadering om die korrektheid van temporale logika spesi kasies in die beskrywing van harde- of sagteware te bewys. Anders as met tradisionlee program toetsing, benodig modeltoetsing 'n volledige ondersoek van al die moontlike toestande waarin so 'n beskrywing homself kan bevind. Model toetsing word meestal op abstrakte modelle van sagteware of die ontwerp toegepas. Indien die ontwerp of model aan al die spesi kasies voldoen word die abstrakte model gewoontlik vertaal na 'n implementasie. Die vertalings proses word gewoontlik met die hand gedoen en laat ruimte om nuwe foute, en selfs foute wat uitgeskakel in die model of ontwerp is te veroorsaak. Deesdae, is 'n gewilde benadering tot modeltoetsing om di e tegnieke direk op die implementasie toe te pas, en sodoende die ekstra moeite van model konstruksie en vertaling uit te skakel. Hierdie tesis handel oor die ontwerp, implementasie en toetsing van 'n e ektiewe modeltoetser vir 'n klein gelyklopende taal, LF, wat by die Universiteit van Stellenbosch ontwikkel is. Die enkeldoelige taal, LF, is gemik op die veilige ontwikkeling van ingebedde sagteware. Die taal is ontwerp om veilige programmerings praktyke aan te moedig. Verder is die taal en die onderliggende bedryfstelsel so ontwerp om 'n model toetser te akkomodeer. Om die LF programme direk te kan toets, is die model toetser 'n integrale deel van die bedryfstelsel sodat dit die program kan aandryf om alle moontlike toestande te besoek.
Hoyos, Jacob. « PLPrepare : A Grammar Checker for Challenging Cases ». Digital Commons @ East Tennessee State University, 2021. https://dc.etsu.edu/etd/3898.
Texte intégralLivres sur le sujet "Checkley"
Foley, Jim. Checkley : Where Time Stands Still. Stafford, England : Jim Foley, 1992.
Trouver le texte intégralBelshaw, Adam. Syntax checker. Oxford : Oxford Brookes University, 2002.
Trouver le texte intégralGold, Elizabeth Jane. Prolog syntax checker. Oxford : Oxford Brookes University, 2000.
Trouver le texte intégralUnited States. National Aeronautics and Space Administration., dir. A proactive password checker. [Washington, DC : National Aeronautics and Space Administration, 1990.
Trouver le texte intégralShriver, Lionel. Checker and the derailleurs. New York, N.Y., U.S.A : Penguin Books, 1989.
Trouver le texte intégralReshetnikov, V. V. Vasiliĭ Sokov. Moskva : "Fizkulʹtura i sport", 1985.
Trouver le texte intégralGorodetsḳi, Binyomin. A inṭerṿyu miṭ zikh aleyn. Mosḳṿe : Farlag "Soṿeṭsḳi pisaṭel", 1987.
Trouver le texte intégralW, Pike Robert. Play winning checkers : Official American Mensa game book. New York : Sterling Pub., 1999.
Trouver le texte intégralMeindertsma, Christien. Checked baggage : 3264 prohibited items. [Eindhoven] : Soeps Uitgeverij, 2004.
Trouver le texte intégralGetmanskiĭ, A. Ė. Shashechnye batalii na stokletochnoĭ doske : Statisticheskiĭ analiz chempionatov SSSR po mezhdunarodnym shashkam, 1954-1991. Tula : Infra, 2003.
Trouver le texte intégralChapitres de livres sur le sujet "Checkley"
Bell, James B. « A Handmaiden for Episcopacy : John Checkley of Boston ». Dans A War of Religion, 33–41. London : Palgrave Macmillan UK, 2008. http://dx.doi.org/10.1057/9780230583214_3.
Texte intégralSchifman, Richard S., et Günther Heinrich. « Checkme Checkup ». Dans Multimedia-Projektmanagement, 249–67. Berlin, Heidelberg : Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-662-08880-7_14.
Texte intégralBrown, Helen, et Patricia Tiffney. « Spelling Checker ». Dans Intermediate Exercises in Word Processing, 118–22. London : Macmillan Education UK, 1991. http://dx.doi.org/10.1007/978-1-349-10411-6_17.
Texte intégralSchifman, Richard S., Günther Heinrich et Yvonne Heinrich. « Checkme Checkup ». Dans Multimedia-Projektmanagement, 205–22. Berlin, Heidelberg : Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-98006-0_11.
Texte intégralSchifman, Richard S., Günther Heinrich et Yvonne Heinrich. « Checkme Checkup ». Dans Multimedia Design interaktiv !, 211–27. Berlin, Heidelberg : Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-95743-7_11.
Texte intégralCerny, Eduard, Surrendra Dudani, John Havlicek et Dmitry Korchemny. « Checker Libraries ». Dans The Power of Assertions in SystemVerilog, 513–29. Boston, MA : Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-6600-1_23.
Texte intégralWeik, Martin H. « style checker ». Dans Computer Science and Communications Dictionary, 1680. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18440.
Texte intégralWeik, Martin H. « syntax checker ». Dans Computer Science and Communications Dictionary, 1713. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18832.
Texte intégralWeik, Martin H. « grammar checker ». Dans Computer Science and Communications Dictionary, 687. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_8019.
Texte intégralSchifman, Richard S., et Günther Heinrich. « Checkme Checkup ». Dans Multimedia-Projektmanagement, 261–79. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56731-5_15.
Texte intégralActes de conférences sur le sujet "Checkley"
Elkhiyaoui, Kaoutar, Erik-Oliver Blass et Refik Molva. « CHECKER ». Dans the fifth ACM conference. New York, New York, USA : ACM Press, 2012. http://dx.doi.org/10.1145/2185448.2185471.
Texte intégralDroste, Alexander, Michael Kuhn et Thomas Ludwig. « MPI-checker ». Dans the Second Workshop. New York, New York, USA : ACM Press, 2015. http://dx.doi.org/10.1145/2833157.2833159.
Texte intégralOsswald, Sebastian, Niklas Brueckel, Carsten Brickwedde, Markus Lienkamp et Martin Schoell. « Taxi Checker ». Dans the 6th International Conference. New York, New York, USA : ACM Press, 2014. http://dx.doi.org/10.1145/2667239.2667267.
Texte intégralPeperkamp, Jeroen, et Bettina Berendt. « Diversity Checker ». Dans UMAP '18 : 26th Conference on User Modeling, Adaptation and Personalization. New York, NY, USA : ACM, 2018. http://dx.doi.org/10.1145/3213586.3226208.
Texte intégralBari, Md Abdullah Shahneous, Ujjwal Arora, Varun Hegde, Tony Curtis et Barbara Chapman. « OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM ». Dans 2021 20th International Symposium on Parallel and Distributed Computing (ISPDC). IEEE, 2021. http://dx.doi.org/10.1109/ispdc52870.2021.9521645.
Texte intégralPahanel, Michael O. « Hardware checker module ». Dans 2012 35th IEEE/CPMT International Electronics Manufacturing Technology Conference (IEMT). IEEE, 2012. http://dx.doi.org/10.1109/iemt.2012.6521753.
Texte intégralGries, Paul, Jennifer Campbell, Daniel Zingaro et Tom Fairgrieve. « Poetry Form Checker ». Dans WCCCE '19 : Western Canadian Conference on Computing Education. New York, NY, USA : ACM, 2019. http://dx.doi.org/10.1145/3314994.3325080.
Texte intégralMahboubi, Assia. « Computer-checked mathematics ». Dans CSL-LICS '14 : JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC. New York, NY, USA : ACM, 2014. http://dx.doi.org/10.1145/2603088.2603090.
Texte intégralMorey-Chaisemartin, Philippe, et Eric Beisser. « Using a mask rule checker as an electrical rule checker ». Dans Photomask and NGL Mask Technology XX, sous la direction de Kokoro Kato. SPIE, 2013. http://dx.doi.org/10.1117/12.2028657.
Texte intégralChatterjee, Saugata, Chris Weaver et Todd Austin. « Efficient checker processor design ». Dans the 33rd annual ACM/IEEE international symposium. New York, New York, USA : ACM Press, 2000. http://dx.doi.org/10.1145/360128.360139.
Texte intégralRapports d'organisations sur le sujet "Checkley"
Weirich, Stephanie, et Steve Zdancewic. Machine-Checked Metatheory for Security-Oriented Languages. Fort Belvoir, VA : Defense Technical Information Center, août 2006. http://dx.doi.org/10.21236/ada536269.
Texte intégralBejleri, Andi, Jonathan Aldrich et Kevin Bierhoff. A Type Checked Prototype-Based Model with Linearity. Fort Belvoir, VA : Defense Technical Information Center, décembre 2004. http://dx.doi.org/10.21236/ada456086.
Texte intégralZhylenko, Tetyana I. Auto Checker of Higher Mathematics - an element of mobile cloud education. [б. в.], juillet 2020. http://dx.doi.org/10.31812/123456789/3895.
Texte intégralMorris, KC, Simon Frechette, Puja Goyal, Josh Lubell, Boonserm Kulvatunyou, Salifou Sidi Malick, Nocilas Brayard et Severin Tixier. User's guide for the quality of design testing tool and the content checker. Gaithersburg, MD : National Institute of Standards and Technology, 2008. http://dx.doi.org/10.6028/nist.ir.7538.
Texte intégralWalicki, Michal, Jens U. Skakkebaek et Sriram Sankar. The Stanford Ada Style Checker : An Application of the Anna Tools and Methodology. Fort Belvoir, VA : Defense Technical Information Center, août 1991. http://dx.doi.org/10.21236/ada311136.
Texte intégralKaufmann, Matt. Generalization in the Presence of Free Variables : a Mechanically-Checked Correctness Proof for One Algorithm. Fort Belvoir, VA : Defense Technical Information Center, avril 1990. http://dx.doi.org/10.21236/ada222681.
Texte intégralШестопалова (Бондар), Катерина Миколаївна. Active Citizenship of Ukrainian Teenagers. Київ, 2016. http://dx.doi.org/10.31812/123456789/3233.
Texte intégralElko, Nicole, Katherine Brutsché, Quin Robertson, Michael Hartman et Zhifei Dong. USACE Navigation Sediment Placement : An RSM Program Database (1998 – 2019). Engineer Research and Development Center (U.S.), juillet 2022. http://dx.doi.org/10.21079/11681/44703.
Texte intégralWang, Yingxuan, Cheng Yan et Liqin Zhao. The value of radiomics-based machine learning for hepatocellular carcinoma after TACE : a systematic evaluation and Meta-analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, juin 2022. http://dx.doi.org/10.37766/inplasy2022.6.0100.
Texte intégralWang, Xiaoyue, Hui Lu, Zhihao Liang, Liang Wang et Ji Ma. Ixazomib combined with autologous stem cell transplantation for POEMS syndrome : a case report and meta‑analysis. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, juillet 2022. http://dx.doi.org/10.37766/inplasy2022.7.0061.
Texte intégral