Academic literature on the topic 'Checkley'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Checkley.'
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 "Checkley"
PEVELER, ROBERT. "The Management of Depression. Edited by S. Checkley (Pp. 476; £60.00.) Blackwell Science: Oxford. 1998." Psychological Medicine 29, no. 4 (July 1999): 1003–8. http://dx.doi.org/10.1017/s0033291798258211.
Full textTer 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 (June 2010): 179–80. http://dx.doi.org/10.1111/j.1475-4959.2010.00360_2.x.
Full textByrne, 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 (May 1999): 406. http://dx.doi.org/10.1002/(sici)1099-1166(199905)14:5<406::aid-gps953>3.0.co;2-k.
Full textJacobson, Larry D., and 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 (October 2013): 1566–69. http://dx.doi.org/10.1139/cjfas-2013-0128.
Full textTANAKA, 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.
Full textBoyer, P., M. Dàvila, C. Schaub, and 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.
Full textCarvalho, Serafim, José Pinto-Gouveia, Paulo Pimentel, Paula Castilho, Dulce Maia, and 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 (February 9, 2018): 359–83. http://dx.doi.org/10.14195/1647-8606_54_14.
Full textKleyngeld, Arwen. "Voorspelmodellen checken." Zorgvisie ICT 20, no. 2 (March 2019): 6–7. http://dx.doi.org/10.1007/s41186-019-0005-2.
Full textBeneteau, Erin, Yini Guan, Olivia K. Richards, Mingrui Ray Zhang, Julie A. Kientz, Jason Yip, and Alexis Hiniker. "Assumptions Checked." Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 4, no. 1 (March 18, 2020): 1–23. http://dx.doi.org/10.1145/3380993.
Full textSullivan, Helen. "NHS Symptom Checker app NHS Symptom Checker app Free." Nursing Standard 28, no. 8 (October 23, 2013): 33. http://dx.doi.org/10.7748/ns2013.10.28.8.33.s40.
Full textDissertations / Theses on the topic "Checkley"
Checkley, Stephen [Verfasser]. "Engineering Tuneable Gene Circuits in Yeast / Stephen Checkley." Munich : GRIN Verlag, 2015. http://d-nb.info/1097425436/34.
Full textBahtiyar, 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.
Full textBy 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.
Full textKojovic, 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.
Full textGhribi, Brahim. "A model checker for LOTOS." Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7536.
Full textHedin, 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.
Full textViktorsson, Arvid, and 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.
Full textYoo, Joonhyuk. "Harnessing checker hierarchy for reliable microprocessors." College Park, Md.: University of Maryland, 2007. http://hdl.handle.net/1903/7688.
Full textThesis 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.
Full textENGLISH 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.
Full textBooks on the topic "Checkley"
Foley, Jim. Checkley: Where Time Stands Still. Stafford, England: Jim Foley, 1992.
Find full textBelshaw, Adam. Syntax checker. Oxford: Oxford Brookes University, 2002.
Find full textGold, Elizabeth Jane. Prolog syntax checker. Oxford: Oxford Brookes University, 2000.
Find full textUnited States. National Aeronautics and Space Administration., ed. A proactive password checker. [Washington, DC: National Aeronautics and Space Administration, 1990.
Find full textShriver, Lionel. Checker and the derailleurs. New York, N.Y., U.S.A: Penguin Books, 1989.
Find full textReshetnikov, V. V. Vasiliĭ Sokov. Moskva: "Fizkulʹtura i sport", 1985.
Find full textGorodetsḳi, Binyomin. A inṭerṿyu miṭ zikh aleyn. Mosḳṿe: Farlag "Soṿeṭsḳi pisaṭel", 1987.
Find full textW, Pike Robert. Play winning checkers: Official American Mensa game book. New York: Sterling Pub., 1999.
Find full textMeindertsma, Christien. Checked baggage: 3264 prohibited items. [Eindhoven]: Soeps Uitgeverij, 2004.
Find full textGetmanskiĭ, A. Ė. Shashechnye batalii na stokletochnoĭ doske: Statisticheskiĭ analiz chempionatov SSSR po mezhdunarodnym shashkam, 1954-1991. Tula: Infra, 2003.
Find full textBook chapters on the topic "Checkley"
Bell, James B. "A Handmaiden for Episcopacy: John Checkley of Boston." In A War of Religion, 33–41. London: Palgrave Macmillan UK, 2008. http://dx.doi.org/10.1057/9780230583214_3.
Full textSchifman, Richard S., and Günther Heinrich. "Checkme Checkup." In Multimedia-Projektmanagement, 249–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-662-08880-7_14.
Full textBrown, Helen, and Patricia Tiffney. "Spelling Checker." In Intermediate Exercises in Word Processing, 118–22. London: Macmillan Education UK, 1991. http://dx.doi.org/10.1007/978-1-349-10411-6_17.
Full textSchifman, Richard S., Günther Heinrich, and Yvonne Heinrich. "Checkme Checkup." In Multimedia-Projektmanagement, 205–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-98006-0_11.
Full textSchifman, Richard S., Günther Heinrich, and Yvonne Heinrich. "Checkme Checkup." In Multimedia Design interaktiv!, 211–27. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-95743-7_11.
Full textCerny, Eduard, Surrendra Dudani, John Havlicek, and Dmitry Korchemny. "Checker Libraries." In 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.
Full textWeik, Martin H. "style checker." In Computer Science and Communications Dictionary, 1680. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18440.
Full textWeik, Martin H. "syntax checker." In Computer Science and Communications Dictionary, 1713. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18832.
Full textWeik, Martin H. "grammar checker." In Computer Science and Communications Dictionary, 687. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_8019.
Full textSchifman, Richard S., and Günther Heinrich. "Checkme Checkup." In Multimedia-Projektmanagement, 261–79. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56731-5_15.
Full textConference papers on the topic "Checkley"
Elkhiyaoui, Kaoutar, Erik-Oliver Blass, and Refik Molva. "CHECKER." In the fifth ACM conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2185448.2185471.
Full textDroste, Alexander, Michael Kuhn, and Thomas Ludwig. "MPI-checker." In the Second Workshop. New York, New York, USA: ACM Press, 2015. http://dx.doi.org/10.1145/2833157.2833159.
Full textOsswald, Sebastian, Niklas Brueckel, Carsten Brickwedde, Markus Lienkamp, and Martin Schoell. "Taxi Checker." In the 6th International Conference. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2667239.2667267.
Full textPeperkamp, Jeroen, and Bettina Berendt. "Diversity Checker." In UMAP '18: 26th Conference on User Modeling, Adaptation and Personalization. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3213586.3226208.
Full textBari, Md Abdullah Shahneous, Ujjwal Arora, Varun Hegde, Tony Curtis, and Barbara Chapman. "OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM." In 2021 20th International Symposium on Parallel and Distributed Computing (ISPDC). IEEE, 2021. http://dx.doi.org/10.1109/ispdc52870.2021.9521645.
Full textPahanel, Michael O. "Hardware checker module." In 2012 35th IEEE/CPMT International Electronics Manufacturing Technology Conference (IEMT). IEEE, 2012. http://dx.doi.org/10.1109/iemt.2012.6521753.
Full textGries, Paul, Jennifer Campbell, Daniel Zingaro, and Tom Fairgrieve. "Poetry Form Checker." In WCCCE '19: Western Canadian Conference on Computing Education. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3314994.3325080.
Full textMahboubi, Assia. "Computer-checked mathematics." In 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.
Full textMorey-Chaisemartin, Philippe, and Eric Beisser. "Using a mask rule checker as an electrical rule checker." In Photomask and NGL Mask Technology XX, edited by Kokoro Kato. SPIE, 2013. http://dx.doi.org/10.1117/12.2028657.
Full textChatterjee, Saugata, Chris Weaver, and Todd Austin. "Efficient checker processor design." In the 33rd annual ACM/IEEE international symposium. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/360128.360139.
Full textReports on the topic "Checkley"
Weirich, Stephanie, and Steve Zdancewic. Machine-Checked Metatheory for Security-Oriented Languages. Fort Belvoir, VA: Defense Technical Information Center, August 2006. http://dx.doi.org/10.21236/ada536269.
Full textBejleri, Andi, Jonathan Aldrich, and Kevin Bierhoff. A Type Checked Prototype-Based Model with Linearity. Fort Belvoir, VA: Defense Technical Information Center, December 2004. http://dx.doi.org/10.21236/ada456086.
Full textZhylenko, Tetyana I. Auto Checker of Higher Mathematics - an element of mobile cloud education. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3895.
Full textMorris, KC, Simon Frechette, Puja Goyal, Josh Lubell, Boonserm Kulvatunyou, Salifou Sidi Malick, Nocilas Brayard, and 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.
Full textWalicki, Michal, Jens U. Skakkebaek, and Sriram Sankar. The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology. Fort Belvoir, VA: Defense Technical Information Center, August 1991. http://dx.doi.org/10.21236/ada311136.
Full textKaufmann, Matt. Generalization in the Presence of Free Variables: a Mechanically-Checked Correctness Proof for One Algorithm. Fort Belvoir, VA: Defense Technical Information Center, April 1990. http://dx.doi.org/10.21236/ada222681.
Full textШестопалова (Бондар), Катерина Миколаївна. Active Citizenship of Ukrainian Teenagers. Київ, 2016. http://dx.doi.org/10.31812/123456789/3233.
Full textElko, Nicole, Katherine Brutsché, Quin Robertson, Michael Hartman, and Zhifei Dong. USACE Navigation Sediment Placement : An RSM Program Database (1998 – 2019). Engineer Research and Development Center (U.S.), July 2022. http://dx.doi.org/10.21079/11681/44703.
Full textWang, Yingxuan, Cheng Yan, and 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, June 2022. http://dx.doi.org/10.37766/inplasy2022.6.0100.
Full textWang, Xiaoyue, Hui Lu, Zhihao Liang, Liang Wang, and 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, July 2022. http://dx.doi.org/10.37766/inplasy2022.7.0061.
Full text