Literatura académica sobre el tema "Checkley"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Checkley".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Checkley"
PEVELER, ROBERT. "The Management of Depression. Edited by S. Checkley (Pp. 476; £60.00.) Blackwell Science: Oxford. 1998." Psychological Medicine 29, n.º 4 (julio de 1999): 1003–8. http://dx.doi.org/10.1017/s0033291798258211.
Texto completoTer Hofstede, Remment. "Climate Change and Small Pelagic Fish - Edited by David M Checkley, Jürgen Alheit, Yoshioki Oozeki and Claude Roy". Geographical Journal 176, n.º 2 (junio de 2010): 179–80. http://dx.doi.org/10.1111/j.1475-4959.2010.00360_2.x.
Texto completoByrne, 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, n.º 5 (mayo de 1999): 406. http://dx.doi.org/10.1002/(sici)1099-1166(199905)14:5<406::aid-gps953>3.0.co;2-k.
Texto completoJacobson, Larry D. y 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, n.º 10 (octubre de 2013): 1566–69. http://dx.doi.org/10.1139/cjfas-2013-0128.
Texto completoTANAKA, 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.
Texto completoBoyer, P., M. Dàvila, C. Schaub y J. Nassiet. "Growth hormone response to clonidine stimulation in depressive states — First part of a two-part study —". Psychiatry and Psychobiology 1, n.º 3 (1986): 189–95. http://dx.doi.org/10.1017/s0767399x00000031.
Texto completoCarvalho, Serafim, José Pinto-Gouveia, Paulo Pimentel, Paula Castilho, Dulce Maia y 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, n.º 54 (9 de febrero de 2018): 359–83. http://dx.doi.org/10.14195/1647-8606_54_14.
Texto completoKleyngeld, Arwen. "Voorspelmodellen checken". Zorgvisie ICT 20, n.º 2 (marzo de 2019): 6–7. http://dx.doi.org/10.1007/s41186-019-0005-2.
Texto completoBeneteau, Erin, Yini Guan, Olivia K. Richards, Mingrui Ray Zhang, Julie A. Kientz, Jason Yip y Alexis Hiniker. "Assumptions Checked". Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 4, n.º 1 (18 de marzo de 2020): 1–23. http://dx.doi.org/10.1145/3380993.
Texto completoSullivan, Helen. "NHS Symptom Checker app NHS Symptom Checker app Free". Nursing Standard 28, n.º 8 (23 de octubre de 2013): 33. http://dx.doi.org/10.7748/ns2013.10.28.8.33.s40.
Texto completoTesis sobre el tema "Checkley"
Checkley, Stephen [Verfasser]. "Engineering Tuneable Gene Circuits in Yeast / Stephen Checkley". Munich : GRIN Verlag, 2015. http://d-nb.info/1097425436/34.
Texto completoBahtiyar, 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.
Texto completoBy 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.
Texto completoKojovic, 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.
Texto completoGhribi, Brahim. "A model checker for LOTOS". Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7536.
Texto completoHedin, 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.
Texto completoViktorsson, Arvid y 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.
Texto completoYoo, Joonhyuk. "Harnessing checker hierarchy for reliable microprocessors". College Park, Md.: University of Maryland, 2007. http://hdl.handle.net/1903/7688.
Texto completoThesis 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.
Texto completoENGLISH 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.
Texto completoLibros sobre el tema "Checkley"
Foley, Jim. Checkley: Where Time Stands Still. Stafford, England: Jim Foley, 1992.
Buscar texto completoBelshaw, Adam. Syntax checker. Oxford: Oxford Brookes University, 2002.
Buscar texto completoGold, Elizabeth Jane. Prolog syntax checker. Oxford: Oxford Brookes University, 2000.
Buscar texto completoUnited States. National Aeronautics and Space Administration., ed. A proactive password checker. [Washington, DC: National Aeronautics and Space Administration, 1990.
Buscar texto completoShriver, Lionel. Checker and the derailleurs. New York, N.Y., U.S.A: Penguin Books, 1989.
Buscar texto completoReshetnikov, V. V. Vasiliĭ Sokov. Moskva: "Fizkulʹtura i sport", 1985.
Buscar texto completoGorodetsḳi, Binyomin. A inṭerṿyu miṭ zikh aleyn. Mosḳṿe: Farlag "Soṿeṭsḳi pisaṭel", 1987.
Buscar texto completoW, Pike Robert. Play winning checkers: Official American Mensa game book. New York: Sterling Pub., 1999.
Buscar texto completoMeindertsma, Christien. Checked baggage: 3264 prohibited items. [Eindhoven]: Soeps Uitgeverij, 2004.
Buscar texto completoGetmanskiĭ, A. Ė. Shashechnye batalii na stokletochnoĭ doske: Statisticheskiĭ analiz chempionatov SSSR po mezhdunarodnym shashkam, 1954-1991. Tula: Infra, 2003.
Buscar texto completoCapítulos de libros sobre el tema "Checkley"
Bell, James B. "A Handmaiden for Episcopacy: John Checkley of Boston". En A War of Religion, 33–41. London: Palgrave Macmillan UK, 2008. http://dx.doi.org/10.1057/9780230583214_3.
Texto completoSchifman, Richard S. y Günther Heinrich. "Checkme Checkup". En Multimedia-Projektmanagement, 249–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-662-08880-7_14.
Texto completoBrown, Helen y Patricia Tiffney. "Spelling Checker". En Intermediate Exercises in Word Processing, 118–22. London: Macmillan Education UK, 1991. http://dx.doi.org/10.1007/978-1-349-10411-6_17.
Texto completoSchifman, Richard S., Günther Heinrich y Yvonne Heinrich. "Checkme Checkup". En Multimedia-Projektmanagement, 205–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-98006-0_11.
Texto completoSchifman, Richard S., Günther Heinrich y Yvonne Heinrich. "Checkme Checkup". En Multimedia Design interaktiv!, 211–27. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-95743-7_11.
Texto completoCerny, Eduard, Surrendra Dudani, John Havlicek y Dmitry Korchemny. "Checker Libraries". En 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.
Texto completoWeik, Martin H. "style checker". En Computer Science and Communications Dictionary, 1680. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18440.
Texto completoWeik, Martin H. "syntax checker". En Computer Science and Communications Dictionary, 1713. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18832.
Texto completoWeik, Martin H. "grammar checker". En Computer Science and Communications Dictionary, 687. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_8019.
Texto completoSchifman, Richard S. y Günther Heinrich. "Checkme Checkup". En Multimedia-Projektmanagement, 261–79. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56731-5_15.
Texto completoActas de conferencias sobre el tema "Checkley"
Elkhiyaoui, Kaoutar, Erik-Oliver Blass y Refik Molva. "CHECKER". En the fifth ACM conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2185448.2185471.
Texto completoDroste, Alexander, Michael Kuhn y Thomas Ludwig. "MPI-checker". En the Second Workshop. New York, New York, USA: ACM Press, 2015. http://dx.doi.org/10.1145/2833157.2833159.
Texto completoOsswald, Sebastian, Niklas Brueckel, Carsten Brickwedde, Markus Lienkamp y Martin Schoell. "Taxi Checker". En the 6th International Conference. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2667239.2667267.
Texto completoPeperkamp, Jeroen y Bettina Berendt. "Diversity Checker". En UMAP '18: 26th Conference on User Modeling, Adaptation and Personalization. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3213586.3226208.
Texto completoBari, Md Abdullah Shahneous, Ujjwal Arora, Varun Hegde, Tony Curtis y Barbara Chapman. "OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM". En 2021 20th International Symposium on Parallel and Distributed Computing (ISPDC). IEEE, 2021. http://dx.doi.org/10.1109/ispdc52870.2021.9521645.
Texto completoPahanel, Michael O. "Hardware checker module". En 2012 35th IEEE/CPMT International Electronics Manufacturing Technology Conference (IEMT). IEEE, 2012. http://dx.doi.org/10.1109/iemt.2012.6521753.
Texto completoGries, Paul, Jennifer Campbell, Daniel Zingaro y Tom Fairgrieve. "Poetry Form Checker". En WCCCE '19: Western Canadian Conference on Computing Education. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3314994.3325080.
Texto completoMahboubi, Assia. "Computer-checked mathematics". En 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.
Texto completoMorey-Chaisemartin, Philippe y Eric Beisser. "Using a mask rule checker as an electrical rule checker". En Photomask and NGL Mask Technology XX, editado por Kokoro Kato. SPIE, 2013. http://dx.doi.org/10.1117/12.2028657.
Texto completoChatterjee, Saugata, Chris Weaver y Todd Austin. "Efficient checker processor design". En the 33rd annual ACM/IEEE international symposium. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/360128.360139.
Texto completoInformes sobre el tema "Checkley"
Weirich, Stephanie y Steve Zdancewic. Machine-Checked Metatheory for Security-Oriented Languages. Fort Belvoir, VA: Defense Technical Information Center, agosto de 2006. http://dx.doi.org/10.21236/ada536269.
Texto completoBejleri, Andi, Jonathan Aldrich y Kevin Bierhoff. A Type Checked Prototype-Based Model with Linearity. Fort Belvoir, VA: Defense Technical Information Center, diciembre de 2004. http://dx.doi.org/10.21236/ada456086.
Texto completoZhylenko, Tetyana I. Auto Checker of Higher Mathematics - an element of mobile cloud education. [б. в.], julio de 2020. http://dx.doi.org/10.31812/123456789/3895.
Texto completoMorris, KC, Simon Frechette, Puja Goyal, Josh Lubell, Boonserm Kulvatunyou, Salifou Sidi Malick, Nocilas Brayard y 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.
Texto completoWalicki, Michal, Jens U. Skakkebaek y Sriram Sankar. The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology. Fort Belvoir, VA: Defense Technical Information Center, agosto de 1991. http://dx.doi.org/10.21236/ada311136.
Texto completoKaufmann, Matt. Generalization in the Presence of Free Variables: a Mechanically-Checked Correctness Proof for One Algorithm. Fort Belvoir, VA: Defense Technical Information Center, abril de 1990. http://dx.doi.org/10.21236/ada222681.
Texto completoШестопалова (Бондар), Катерина Миколаївна. Active Citizenship of Ukrainian Teenagers. Київ, 2016. http://dx.doi.org/10.31812/123456789/3233.
Texto completoElko, Nicole, Katherine Brutsché, Quin Robertson, Michael Hartman y Zhifei Dong. USACE Navigation Sediment Placement : An RSM Program Database (1998 – 2019). Engineer Research and Development Center (U.S.), julio de 2022. http://dx.doi.org/10.21079/11681/44703.
Texto completoWang, Yingxuan, Cheng Yan y 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, junio de 2022. http://dx.doi.org/10.37766/inplasy2022.6.0100.
Texto completoWang, Xiaoyue, Hui Lu, Zhihao Liang, Liang Wang y 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, julio de 2022. http://dx.doi.org/10.37766/inplasy2022.7.0061.
Texto completo