Letteratura scientifica selezionata sul tema "Checkley"
Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili
Consulta la lista di attuali articoli, libri, tesi, atti di convegni e altre fonti scientifiche attinenti al tema "Checkley".
Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.
Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.
Articoli di riviste sul 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 (luglio 1999): 1003–8. http://dx.doi.org/10.1017/s0033291798258211.
Testo 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 (giugno 2010): 179–80. http://dx.doi.org/10.1111/j.1475-4959.2010.00360_2.x.
Testo 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 (maggio 1999): 406. http://dx.doi.org/10.1002/(sici)1099-1166(199905)14:5<406::aid-gps953>3.0.co;2-k.
Testo completoJacobson, Larry D., e 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 (ottobre 2013): 1566–69. http://dx.doi.org/10.1139/cjfas-2013-0128.
Testo 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.
Testo completoBoyer, P., M. Dàvila, C. Schaub e 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.
Testo completoCarvalho, Serafim, José Pinto-Gouveia, Paulo Pimentel, Paula Castilho, Dulce Maia e 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 febbraio 2018): 359–83. http://dx.doi.org/10.14195/1647-8606_54_14.
Testo completoKleyngeld, Arwen. "Voorspelmodellen checken". Zorgvisie ICT 20, n. 2 (marzo 2019): 6–7. http://dx.doi.org/10.1007/s41186-019-0005-2.
Testo completoBeneteau, Erin, Yini Guan, Olivia K. Richards, Mingrui Ray Zhang, Julie A. Kientz, Jason Yip e Alexis Hiniker. "Assumptions Checked". Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 4, n. 1 (18 marzo 2020): 1–23. http://dx.doi.org/10.1145/3380993.
Testo completoSullivan, Helen. "NHS Symptom Checker app NHS Symptom Checker app Free". Nursing Standard 28, n. 8 (23 ottobre 2013): 33. http://dx.doi.org/10.7748/ns2013.10.28.8.33.s40.
Testo completoTesi sul tema "Checkley"
Checkley, Stephen [Verfasser]. "Engineering Tuneable Gene Circuits in Yeast / Stephen Checkley". Munich : GRIN Verlag, 2015. http://d-nb.info/1097425436/34.
Testo 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.
Testo 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.
Testo 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.
Testo completoGhribi, Brahim. "A model checker for LOTOS". Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7536.
Testo 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.
Testo completoViktorsson, Arvid, e 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.
Testo completoYoo, Joonhyuk. "Harnessing checker hierarchy for reliable microprocessors". College Park, Md.: University of Maryland, 2007. http://hdl.handle.net/1903/7688.
Testo 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.
Testo 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.
Testo completoLibri sul tema "Checkley"
Foley, Jim. Checkley: Where Time Stands Still. Stafford, England: Jim Foley, 1992.
Cerca il testo completoBelshaw, Adam. Syntax checker. Oxford: Oxford Brookes University, 2002.
Cerca il testo completoGold, Elizabeth Jane. Prolog syntax checker. Oxford: Oxford Brookes University, 2000.
Cerca il testo completoUnited States. National Aeronautics and Space Administration., a cura di. A proactive password checker. [Washington, DC: National Aeronautics and Space Administration, 1990.
Cerca il testo completoShriver, Lionel. Checker and the derailleurs. New York, N.Y., U.S.A: Penguin Books, 1989.
Cerca il testo completoReshetnikov, V. V. Vasiliĭ Sokov. Moskva: "Fizkulʹtura i sport", 1985.
Cerca il testo completoGorodetsḳi, Binyomin. A inṭerṿyu miṭ zikh aleyn. Mosḳṿe: Farlag "Soṿeṭsḳi pisaṭel", 1987.
Cerca il testo completoW, Pike Robert. Play winning checkers: Official American Mensa game book. New York: Sterling Pub., 1999.
Cerca il testo completoMeindertsma, Christien. Checked baggage: 3264 prohibited items. [Eindhoven]: Soeps Uitgeverij, 2004.
Cerca il testo completoGetmanskiĭ, A. Ė. Shashechnye batalii na stokletochnoĭ doske: Statisticheskiĭ analiz chempionatov SSSR po mezhdunarodnym shashkam, 1954-1991. Tula: Infra, 2003.
Cerca il testo completoCapitoli di libri sul tema "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.
Testo completoSchifman, Richard S., e 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.
Testo completoBrown, Helen, e 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.
Testo completoSchifman, Richard S., Günther Heinrich e 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.
Testo completoSchifman, Richard S., Günther Heinrich e 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.
Testo completoCerny, Eduard, Surrendra Dudani, John Havlicek e 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.
Testo completoWeik, 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.
Testo completoWeik, 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.
Testo completoWeik, 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.
Testo completoSchifman, Richard S., e 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.
Testo completoAtti di convegni sul tema "Checkley"
Elkhiyaoui, Kaoutar, Erik-Oliver Blass e Refik Molva. "CHECKER". In the fifth ACM conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2185448.2185471.
Testo completoDroste, Alexander, Michael Kuhn e Thomas Ludwig. "MPI-checker". In the Second Workshop. New York, New York, USA: ACM Press, 2015. http://dx.doi.org/10.1145/2833157.2833159.
Testo completoOsswald, Sebastian, Niklas Brueckel, Carsten Brickwedde, Markus Lienkamp e 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.
Testo completoPeperkamp, Jeroen, e 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.
Testo completoBari, Md Abdullah Shahneous, Ujjwal Arora, Varun Hegde, Tony Curtis e 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.
Testo completoPahanel, 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.
Testo completoGries, Paul, Jennifer Campbell, Daniel Zingaro e 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.
Testo completoMahboubi, 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.
Testo completoMorey-Chaisemartin, Philippe, e Eric Beisser. "Using a mask rule checker as an electrical rule checker". In Photomask and NGL Mask Technology XX, a cura di Kokoro Kato. SPIE, 2013. http://dx.doi.org/10.1117/12.2028657.
Testo completoChatterjee, Saugata, Chris Weaver e 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.
Testo completoRapporti di organizzazioni sul tema "Checkley"
Weirich, Stephanie, e Steve Zdancewic. Machine-Checked Metatheory for Security-Oriented Languages. Fort Belvoir, VA: Defense Technical Information Center, agosto 2006. http://dx.doi.org/10.21236/ada536269.
Testo completoBejleri, Andi, Jonathan Aldrich e Kevin Bierhoff. A Type Checked Prototype-Based Model with Linearity. Fort Belvoir, VA: Defense Technical Information Center, dicembre 2004. http://dx.doi.org/10.21236/ada456086.
Testo completoZhylenko, Tetyana I. Auto Checker of Higher Mathematics - an element of mobile cloud education. [б. в.], luglio 2020. http://dx.doi.org/10.31812/123456789/3895.
Testo completoMorris, KC, Simon Frechette, Puja Goyal, Josh Lubell, Boonserm Kulvatunyou, Salifou Sidi Malick, Nocilas Brayard e 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.
Testo completoWalicki, Michal, Jens U. Skakkebaek e Sriram Sankar. The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology. Fort Belvoir, VA: Defense Technical Information Center, agosto 1991. http://dx.doi.org/10.21236/ada311136.
Testo completoKaufmann, Matt. Generalization in the Presence of Free Variables: a Mechanically-Checked Correctness Proof for One Algorithm. Fort Belvoir, VA: Defense Technical Information Center, aprile 1990. http://dx.doi.org/10.21236/ada222681.
Testo completoШестопалова (Бондар), Катерина Миколаївна. Active Citizenship of Ukrainian Teenagers. Київ, 2016. http://dx.doi.org/10.31812/123456789/3233.
Testo completoElko, Nicole, Katherine Brutsché, Quin Robertson, Michael Hartman e Zhifei Dong. USACE Navigation Sediment Placement : An RSM Program Database (1998 – 2019). Engineer Research and Development Center (U.S.), luglio 2022. http://dx.doi.org/10.21079/11681/44703.
Testo completoWang, Yingxuan, Cheng Yan e 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, giugno 2022. http://dx.doi.org/10.37766/inplasy2022.6.0100.
Testo completoWang, Xiaoyue, Hui Lu, Zhihao Liang, Liang Wang e 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, luglio 2022. http://dx.doi.org/10.37766/inplasy2022.7.0061.
Testo completo