Gotowe bibliografie tematyczne / Checkley

Gotowa bibliografia na temat „Checkley”

Autor: Grafiati

Data publikacji: 26 lipca 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji
Raporty organizacyjne

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Checkley”.

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.

Artykuły w czasopismach na temat "Checkley"

PEVELER, ROBERT. "The Management of Depression. Edited by S. Checkley (Pp. 476; £60.00.) Blackwell Science: Oxford. 1998." Psychological Medicine 29, nr 4 (lipiec 1999): 1003–8. http://dx.doi.org/10.1017/s0033291798258211.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Ter Hofstede, Remment. "Climate Change and Small Pelagic Fish - Edited by David M Checkley, Jürgen Alheit, Yoshioki Oozeki and Claude Roy". Geographical Journal 176, nr 2 (czerwiec 2010): 179–80. http://dx.doi.org/10.1111/j.1475-4959.2010.00360_2.x.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Byrne, 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, nr 5 (maj 1999): 406. http://dx.doi.org/10.1002/(sici)1099-1166(199905)14:5<406::aid-gps953>3.0.co;2-k.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Jacobson, Larry D., i 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, nr 10 (październik 2013): 1566–69. http://dx.doi.org/10.1139/cjfas-2013-0128.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

TANAKA, 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Boyer, P., M. Dàvila, C. Schaub i J. Nassiet. "Growth hormone response to clonidine stimulation in depressive states — First part of a two-part study —". Psychiatry and Psychobiology 1, nr 3 (1986): 189–95. http://dx.doi.org/10.1017/s0767399x00000031.

Pełny tekst źródła

Streszczenie:

Summary31 patients presenting a Major Depressive Episode were divided into two groups (endogenous versus neurotic depression), in keeping with the Newcastle criteria (Garside and Roth, 1974). 10 patients were allocated to each group for the realization of a test of growth hormone (GH) response to clonidine stimulation.The patients received no psychotropes for 8 days prior to the test. Mean age for the neurotic and endogenous groups was respectively 36.67 ± 3.18 years and 44.71 ± 2.56 years. Severity of depression, assessed with the Hamilton rating scale (21 items), was comparable in the two groups (35.35 ± 4.12 versus 39.8 ± 6.13).The test was carried out in two phases in each patient. During the initial phase, saline was infused over 10 minutes and continuous sampling was realized over a 4-hour period (automatic fraction collector with peristaltic pump), at between 9 AM and 1 PM. 48 hours later, the same procedure was repeated with the addition of 15 µg clonidine. This procedure allowed partial neutralization, for interpretation of results, of the «test apprehension» effect. Assays were carried out by radioimmunoassay (pooled samples), and correspond to real values for 10-minute time intervals (integrated values).Spontaneous GH secretion in the endogenous group was significantly lower (0.57 ± 0.16 ng/ml) than in the neurotic group (5.03 ± 1.08 ng/ml) and the control group (2.47 ± 0.78 ng/ml). After clonidine stimulation, GH response in the neurotic group was identical to that in the control group. No significant response was observed in the endogenous group. These results confirm those of several previous studies (Matussek, Charney, Checkley, Boyer, Corn, Siever) and seem to indicate hyposensitivity of the post-synaptic α2-adrenergic receptors in endogenous depression. Nevertheless, spontaneous GH hyposecretion in the same patients necessarily involves other mechanisms. The hypotheses concerning these mechanisms will be discussed in the second part of this study.

Style APA, Harvard, Vancouver, ISO itp.

Carvalho, Serafim, José Pinto-Gouveia, Paulo Pimentel, Paula Castilho, Dulce Maia i 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, nr 54 (9.02.2018): 359–83. http://dx.doi.org/10.14195/1647-8606_54_14.

Pełny tekst źródła

Streszczenie:

Certas formas de cuidado, como negligência ou antipatia, o abuso infantil e a adversidade em geral são preditores de patologia na vida adulta. As entrevistas existentes para a sua avaliação são muito longas tornando-se úteis só em pequenas amostras. O estudo das experiências infantis através de um questionário de auto-resposta torna viável a realização de investigação em amostras mais amplas. Neste trabalho apresentam-se as propriedades psicométricas da Escala de Cuidado (EC) da versão em português do Questionário de Experiências de Cuidado e Abuso na Infância (CECA.Q) (Smith, Lam, Bifulco, & Checkley, 2002). A EC avalia as experiencias de cuidado até aos 17 anos. Na versão original apresenta uma escala com 16 itens, respondida duas vezes, uma em relação à mãe e outra em relação ao pai, possuindo duas subescalas, negligência e antipatia. Globalmente, o CECA.Q avalia para além de experiências de negligência e antipatia, perda parental, abuso físico e sexual. A EC foi avaliada num grupo de estudantes (N = 545), num grupo da população geral (N = 262) e num grupo de doentes com depressão major (N = 100). Após um primeira análise dos dados, concluiu-se que os itens 7, 8, 11, e 15 não possuíam qualidades psicométricas para se manterem na versão portuguesa da EC do CECA.Q, resultando então uma versão de 12 itens. A análise factorial demonstrou a existência de dois factores (negligência e antipatia) nas três amostras, verificou-se uma boa consistência interna, entre .70 e .95 considerando os dois factores, ambos os pais, os três grupos e ambos os géneros, bem como uma adequada validade de construto e estabilidade teste-reteste entre .62 e .88 no grupo de estudantes e população geral. A presente versão da Escala de Cuidado do CECA.Q mostrou ter qualidades psicométricas adequadas para ser utilizada em estudantes, em sujeitos da população geral, bem como em populações com psicopatologia depressiva, sendo necessária agora investigação em outras amostras e utilizando estudos de seguimento.

Style APA, Harvard, Vancouver, ISO itp.

Kleyngeld, Arwen. "Voorspelmodellen checken". Zorgvisie ICT 20, nr 2 (marzec 2019): 6–7. http://dx.doi.org/10.1007/s41186-019-0005-2.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Beneteau, Erin, Yini Guan, Olivia K. Richards, Mingrui Ray Zhang, Julie A. Kientz, Jason Yip i Alexis Hiniker. "Assumptions Checked". Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies 4, nr 1 (18.03.2020): 1–23. http://dx.doi.org/10.1145/3380993.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Sullivan, Helen. "NHS Symptom Checker app NHS Symptom Checker app Free". Nursing Standard 28, nr 8 (23.10.2013): 33. http://dx.doi.org/10.7748/ns2013.10.28.8.33.s40.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "Checkley"

Checkley, Stephen [Verfasser]. "Engineering Tuneable Gene Circuits in Yeast / Stephen Checkley". Munich : GRIN Verlag, 2015. http://d-nb.info/1097425436/34.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bahtiyar, 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.

Pełny tekst źródła

Streszczenie:

By 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.

Style APA, Harvard, Vancouver, ISO itp.

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.

Pełny tekst źródła

Streszczenie:

The diploma thesis deals with the industrial inspection of correctly made connectors based on computer recognition, and the detection and recognition application is implemented in Python on the Raspberry Pi platform.The work uses empirically known OpenCV library for recognition. The work also deals with the selection of suitable hardware devices, which are a camera with a lens and an illuminator, from which is created one compact device together with the Raspberry Pi microcomputer. The compact device is further mounted on the designed mechanical structure under which is created inspection zone. Finally, Raspberry Pi has a web-based user interface to check the inspection and the interface to write the data to the database.

Style APA, Harvard, Vancouver, ISO itp.

Kojovic, 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.

Pełny tekst źródła

Streszczenie:

Formal analysis is widely used to prove security properties of the protocols. There are tools to check protocols in isolation, but in fact we use many protocols in parallel or even vertically stacked, e.g. running an application protocol (like login) over a secure channel (like TLS) and in general it is unclear if that is safe. There are several works that give sufficient conditions for parallel and vertical composition, but there exists no program to check whether these conditions are actually met by a given suite of protocols.The aim of the master thesis project is to implement a protocol composition checker and present it as a service for registering protocols and checking compatibility of the protocols among each other. In order to establish the checker, it is necessary to collect and integrate different conditions defined through the literature. Also, we will define a framework based on Alice and Bob notation, so the checker can examine protocols in an unambiguous manner.Further we will develop a library of widely-used protocols like TLS that are provenly compatible with each other and define a set of negative example proto- cols to test the checker.We want to implement the checker as an extension of the existing Open-Source Fixed-Point Model-Checker OFMC to easily integrate our composition checker with a existing verification procedure that support Alice and Bob notation.

Style APA, Harvard, Vancouver, ISO itp.

Ghribi, Brahim. "A model checker for LOTOS". Thesis, University of Ottawa (Canada), 1992. http://hdl.handle.net/10393/7536.

Pełny tekst źródła

Streszczenie:

LOTOS (Language Of Temporal Ordering Specification) is a Formal Description Technique (FDT) based on the temporal ordering of observational behaviour. It was developed by ISO (International Organization for Standardization) for the specification of OSI (Open Systems Interconnections) services and protocols. CTL (Computation Tree Logic) is a branching-time temporal logic, which can be used to express properties of the system being designed. Efficient algorithms were reported in the literature which make it possible to check whether a given behaviour tree enjoys a property expressed in CTL. Such algorithms constitute what is commonly called "model checking". The topic of this thesis is the design and implementation of a model checker for LOTOS specifications called LMC (LOTOS Model Checker). LMC allows users to check whether a specification behaves correctly. To do so, LMC requires a graph model obtained by expanding the LOTOS specification symbolically, and a set of correctness properties describing the requirements behaviour of the system to be checked. These properties are expressed in the branching temporal logic CTL. We present an introduction to formal description techniques along with a review of some relevant existing work. We then present the technical framework of the branching temporal logic CTL, and discuss some important aspects such as correctness properties of concurrent systems and their classification. We discuss the algorithms used in our model checker together with their application to LOTOS. Finally, we use two examples to illustrate the validation methodology.

Style APA, Harvard, Vancouver, ISO itp.

Hedin, 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.

Pełny tekst źródła

Streszczenie:

A common feature of text input tools is spell checking. It exists in search engines, email clients and of course in word processors like Microsoft Word. By having a spell checker when you are typing you can be more efficient than if you had to check the spelling with a separate proofing tool. Spell checking is a common request by the users of the room planning software CET Designer which is developed by Configura. In this thesis Windows Spell Checking API is evaluated and compared to alternative spell checkers. A prototype of an integrated spell checker in CET Designer text tool is then implemented with Windows Spell Checking API.

Style APA, Harvard, Vancouver, ISO itp.

Viktorsson, Arvid, i 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.

Pełny tekst źródła

Streszczenie:

Many text-editor users depend on spellcheckers to correct their typographical errors. The absence of a spellchecker can create a negative experience for the user. In today's advanced technological environment spellchecking is an expected feature. 2Consiliate Business Solutions owns a Java application with a text-editor which does not have a spellchecker. This project aims to investigate and implement available techniques and algorithms for spellcheckers and automated word correction. During implementation, the techniques were tested for their performance and the best solutions were chosen for this project. All the techniques were gathered from earlier written literature on the topic and implemented in Java using default Java libraries. Analysis of the results proves that it is possible to create a complete spellchecker combining available techniques and that the quality of a spellchecker largely depends on a well defined dictionary.

Style APA, Harvard, Vancouver, ISO itp.

Yoo, Joonhyuk. "Harnessing checker hierarchy for reliable microprocessors". College Park, Md.: University of Maryland, 2007. http://hdl.handle.net/1903/7688.

Pełny tekst źródła

Streszczenie:

Thesis (Ph. D.) -- University of Maryland, College Park, 2007.
Thesis 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.

Style APA, Harvard, Vancouver, ISO itp.

Gerber, Erick D. B. "A model checker for the LF system". Thesis, Stellenbosch : Stellenbosch University, 2007. http://hdl.handle.net/10019.1/19597.

Pełny tekst źródła

Streszczenie:

Thesis (MSc)--University of Stellenbosch, 2007.
ENGLISH 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.

Style APA, Harvard, Vancouver, ISO itp.

Hoyos, Jacob. "PLPrepare: A Grammar Checker for Challenging Cases". Digital Commons @ East Tennessee State University, 2021. https://dc.etsu.edu/etd/3898.

Pełny tekst źródła

Streszczenie:

This study investigates one of the Polish language’s most arbitrary cases: the genitive masculine inanimate singular. It collects and ranks several guidelines to help language learners discern its proper usage and also introduces a framework to provide detailed feedback regarding arbitrary cases. The study tests this framework by implementing and evaluating a hybrid grammar checker called PLPrepare. PLPrepare performs similarly to other grammar checkers and is able to detect genitive case usages and provide feedback based on a number of error classifications.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Książki na temat "Checkley"

Foley, Jim. Checkley: Where Time Stands Still. Stafford, England: Jim Foley, 1992.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Belshaw, Adam. Syntax checker. Oxford: Oxford Brookes University, 2002.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Gold, Elizabeth Jane. Prolog syntax checker. Oxford: Oxford Brookes University, 2000.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

United States. National Aeronautics and Space Administration., red. A proactive password checker. [Washington, DC: National Aeronautics and Space Administration, 1990.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Shriver, Lionel. Checker and the derailleurs. New York, N.Y., U.S.A: Penguin Books, 1989.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Reshetnikov, V. V. Vasiliĭ Sokov. Moskva: "Fizkulʹtura i sport", 1985.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Gorodetsḳi, Binyomin. A inṭerṿyu miṭ zikh aleyn. Mosḳṿe: Farlag "Soṿeṭsḳi pisaṭel", 1987.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

W, Pike Robert. Play winning checkers: Official American Mensa game book. New York: Sterling Pub., 1999.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Meindertsma, Christien. Checked baggage: 3264 prohibited items. [Eindhoven]: Soeps Uitgeverij, 2004.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Getmanskiĭ, A. Ė. Shashechnye batalii na stokletochnoĭ doske: Statisticheskiĭ analiz chempionatov SSSR po mezhdunarodnym shashkam, 1954-1991. Tula: Infra, 2003.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Części książek na temat "Checkley"

Bell, James B. "A Handmaiden for Episcopacy: John Checkley of Boston". W A War of Religion, 33–41. London: Palgrave Macmillan UK, 2008. http://dx.doi.org/10.1057/9780230583214_3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Schifman, Richard S., i Günther Heinrich. "Checkme Checkup". W Multimedia-Projektmanagement, 249–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/978-3-662-08880-7_14.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Brown, Helen, i Patricia Tiffney. "Spelling Checker". W Intermediate Exercises in Word Processing, 118–22. London: Macmillan Education UK, 1991. http://dx.doi.org/10.1007/978-1-349-10411-6_17.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Schifman, Richard S., Günther Heinrich i Yvonne Heinrich. "Checkme Checkup". W Multimedia-Projektmanagement, 205–22. Berlin, Heidelberg: Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/978-3-642-98006-0_11.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Schifman, Richard S., Günther Heinrich i Yvonne Heinrich. "Checkme Checkup". W Multimedia Design interaktiv!, 211–27. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/978-3-642-95743-7_11.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Cerny, Eduard, Surrendra Dudani, John Havlicek i Dmitry Korchemny. "Checker Libraries". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Weik, Martin H. "style checker". W Computer Science and Communications Dictionary, 1680. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18440.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Weik, Martin H. "syntax checker". W Computer Science and Communications Dictionary, 1713. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_18832.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Weik, Martin H. "grammar checker". W Computer Science and Communications Dictionary, 687. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_8019.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Schifman, Richard S., i Günther Heinrich. "Checkme Checkup". W Multimedia-Projektmanagement, 261–79. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/978-3-642-56731-5_15.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Checkley"

Elkhiyaoui, Kaoutar, Erik-Oliver Blass i Refik Molva. "CHECKER". W the fifth ACM conference. New York, New York, USA: ACM Press, 2012. http://dx.doi.org/10.1145/2185448.2185471.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Droste, Alexander, Michael Kuhn i Thomas Ludwig. "MPI-checker". W the Second Workshop. New York, New York, USA: ACM Press, 2015. http://dx.doi.org/10.1145/2833157.2833159.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Osswald, Sebastian, Niklas Brueckel, Carsten Brickwedde, Markus Lienkamp i Martin Schoell. "Taxi Checker". W the 6th International Conference. New York, New York, USA: ACM Press, 2014. http://dx.doi.org/10.1145/2667239.2667267.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Peperkamp, Jeroen, i Bettina Berendt. "Diversity Checker". W UMAP '18: 26th Conference on User Modeling, Adaptation and Personalization. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3213586.3226208.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bari, Md Abdullah Shahneous, Ujjwal Arora, Varun Hegde, Tony Curtis i Barbara Chapman. "OpenSHMEM Checker - A Clang Based Static Checker for OpenSHMEM". W 2021 20th International Symposium on Parallel and Distributed Computing (ISPDC). IEEE, 2021. http://dx.doi.org/10.1109/ispdc52870.2021.9521645.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Pahanel, Michael O. "Hardware checker module". W 2012 35th IEEE/CPMT International Electronics Manufacturing Technology Conference (IEMT). IEEE, 2012. http://dx.doi.org/10.1109/iemt.2012.6521753.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Gries, Paul, Jennifer Campbell, Daniel Zingaro i Tom Fairgrieve. "Poetry Form Checker". W WCCCE '19: Western Canadian Conference on Computing Education. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3314994.3325080.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Mahboubi, Assia. "Computer-checked mathematics". W 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Morey-Chaisemartin, Philippe, i Eric Beisser. "Using a mask rule checker as an electrical rule checker". W Photomask and NGL Mask Technology XX, redaktor Kokoro Kato. SPIE, 2013. http://dx.doi.org/10.1117/12.2028657.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Chatterjee, Saugata, Chris Weaver i Todd Austin. "Efficient checker processor design". W the 33rd annual ACM/IEEE international symposium. New York, New York, USA: ACM Press, 2000. http://dx.doi.org/10.1145/360128.360139.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Checkley"

Weirich, Stephanie, i Steve Zdancewic. Machine-Checked Metatheory for Security-Oriented Languages. Fort Belvoir, VA: Defense Technical Information Center, sierpień 2006. http://dx.doi.org/10.21236/ada536269.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bejleri, Andi, Jonathan Aldrich i Kevin Bierhoff. A Type Checked Prototype-Based Model with Linearity. Fort Belvoir, VA: Defense Technical Information Center, grudzień 2004. http://dx.doi.org/10.21236/ada456086.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Zhylenko, Tetyana I. Auto Checker of Higher Mathematics - an element of mobile cloud education. [б. в.], lipiec 2020. http://dx.doi.org/10.31812/123456789/3895.

Pełny tekst źródła

Streszczenie:

We analyzed the main cloud services in the article. We also described the main contribution of mobile cloud technology to education. The article presents the author’s development from the field of mobile cloud education in higher mathematics. The design architecture of this application is described in detail: QR generator and scanner, authorization, sending tasks. Block diagrams and images are presented that clearly demonstrate the operation of the application. We showed an example of solving the integral from the section of integral calculus for higher mathematics and showed how to download the answer in the form of a QR code and find out whether it is correct or incorrect (this can be seen by the color on the smart phone screen). It is shown how this technology helps the teacher save time for checking assignments completed by students. This confirms its effectiveness. Such an application provides students and teachers with the ability to store and process data on a cloud computing platform.

Style APA, Harvard, Vancouver, ISO itp.

Morris, KC, Simon Frechette, Puja Goyal, Josh Lubell, Boonserm Kulvatunyou, Salifou Sidi Malick, Nocilas Brayard i 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.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Walicki, Michal, Jens U. Skakkebaek i Sriram Sankar. The Stanford Ada Style Checker: An Application of the Anna Tools and Methodology. Fort Belvoir, VA: Defense Technical Information Center, sierpień 1991. http://dx.doi.org/10.21236/ada311136.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Kaufmann, Matt. Generalization in the Presence of Free Variables: a Mechanically-Checked Correctness Proof for One Algorithm. Fort Belvoir, VA: Defense Technical Information Center, kwiecień 1990. http://dx.doi.org/10.21236/ada222681.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Шестопалова (Бондар), Катерина Миколаївна. Active Citizenship of Ukrainian Teenagers. Київ, 2016. http://dx.doi.org/10.31812/123456789/3233.

Pełny tekst źródła

Streszczenie:

Adaptation of the questionnaire "Active citizenship of young people" by Polish psychologists Anna Zalewska, Beata Krzywosz-Rynkiewicz was conducted on a sample of 206 people (11 –14 –17 year-old). Evaluation of psychometric properties of Ukrainian version of the questionnaire was conducted, its scales checked for internal consistency and reproducibility. With the help of correlation analysis construct validity was proved, that received almost a complete reproduction of the factor structure of the original.

Style APA, Harvard, Vancouver, ISO itp.

Elko, Nicole, Katherine Brutsché, Quin Robertson, Michael Hartman i Zhifei Dong. USACE Navigation Sediment Placement : An RSM Program Database (1998 – 2019). Engineer Research and Development Center (U.S.), lipiec 2022. http://dx.doi.org/10.21079/11681/44703.

Pełny tekst źródła

Streszczenie:

This US Army Corps of Engineers, Regional Sediment Management, technical note describes a geodatabase of federal coastal and inland navigation projects developed to determine the extent to which RSM goals have been implemented across the USACE at the project and district levels. The effort 1) quantified the volume of sediment dredged from federal navigation channels by both contract and USACE-owned dredges and 2) identified the placement type and whether sediment was placed beneficially. The majority of the dredging data used to populate the geodatabase were based on the USACE Dredging Information System DIS database, but when available, the geodatabase was expanded to include more detailed USACE district-specific data that were not included in the DIS database. Two datasets were developed in this study: the National Dataset and the District-Specific and Quality-Checked Dataset. The National Dataset is based on statistics extracted from the combined DIS Contract and Government Plant data. This database is a largely unedited database that combined two available USACE datasets. Due to varying degrees of data completeness in these two datasets, this study undertook a data refinement process to improve the information. This was done through interviews with the districts, literature search, and the inclusion of additional district-specific data provided by individual districts that often represent more detailed information on dredging activities. The District-Specific and Quality-Checked Database represents a customized database generated by this study. An interactive web-based tool was developed that accesses both datasets and displays them on a national map that can be viewed at the district or project scale.

Style APA, Harvard, Vancouver, ISO itp.

Wang, Yingxuan, Cheng Yan i 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, czerwiec 2022. http://dx.doi.org/10.37766/inplasy2022.6.0100.

Pełny tekst źródła

Streszczenie:

Review question / Objective: Meta-analysis was performed to predict the efficacy and survival status of patients with hepatocellular carcinoma after the application of TACE, applying clinical models, radiomic models and combined models for non-invasive assessment.We performed a Meta-analysis on the prediction of efficacy and survival status after TACE for hepatocellular carcinoma. Condition being studied: Patients were scanned using CT or MR machines, and some patients had multiple follow-up records, and imaging feature extraction software was applied to extract regions of interest and build multiple prediction models.Literature screening was conducted by two reviewers independently, who had more than 3 years’ experience in imaging diagnosis and was cross-checked. Disagreements were settled by a third reviewer.

Style APA, Harvard, Vancouver, ISO itp.

Wang, Xiaoyue, Hui Lu, Zhihao Liang, Liang Wang i 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, lipiec 2022. http://dx.doi.org/10.37766/inplasy2022.7.0061.

Pełny tekst źródła

Streszczenie:

Review question / Objective: POEMS syndrome is a rare monoclonal plasma cell proliferation disorder. At present, there is no unified treatment for POEMS syndrome. Here, we describe one case with POEMS syndrome. And we made a metaanalysis to assess the efficacy of treatment strategies in recent ten years. Search strategy: We searched relevant articles in PubMed, Embase and MEDLINE database for the period up to July 2021.The search strategy included the keywords: POEMS, Therapy, Drug Therapy, Biological Therapy, Combined Modality Therapy, Hematopoietic Stem Cell Transplantation, Immunotherapy, Molecular Targeted Therapy, Chemoradiotherapy, Salvage Therapy, Controlled Clinical Trial, Randomized Controlled Trial et al. In addition, we checked all the references of eligible articles that our search retrieved to identify potentially eligible papers.

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!