Se connecter

Bibliographies thématiques / Checkley / Articles de revues

Articles de revues sur le sujet « Checkley »

Pour voir les autres types de publications sur ce sujet consultez le lien suivant : Checkley.

Auteur : Grafiati

Publié le 26 juillet 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Consultez les 50 meilleurs articles de revues pour votre recherche 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.

Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.

1

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

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

2

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, n^o 2 (juin 2010) : 179–80. http://dx.doi.org/10.1111/j.1475-4959.2010.00360_2.x.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

3

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, n^o 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égral

Styles APA, Harvard, Vancouver, ISO, etc.

4

Jacobson, 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, n^o 10 (octobre 2013) : 1566–69. http://dx.doi.org/10.1139/cjfas-2013-0128.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

5

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.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

6

Boyer, 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, n^o 3 (1986) : 189–95. http://dx.doi.org/10.1017/s0767399x00000031.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

7

Carvalho, 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, n^o 54 (9 février 2018) : 359–83. http://dx.doi.org/10.14195/1647-8606_54_14.

Texte intégral

Résumé :

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.

Styles APA, Harvard, Vancouver, ISO, etc.

8

Kleyngeld, Arwen. « Voorspelmodellen checken ». Zorgvisie ICT 20, n^o 2 (mars 2019) : 6–7. http://dx.doi.org/10.1007/s41186-019-0005-2.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

9

Beneteau, 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, n^o 1 (18 mars 2020) : 1–23. http://dx.doi.org/10.1145/3380993.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

10

Sullivan, Helen. « NHS Symptom Checker app NHS Symptom Checker app Free ». Nursing Standard 28, n^o 8 (23 octobre 2013) : 33. http://dx.doi.org/10.7748/ns2013.10.28.8.33.s40.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

11

White, Hilary. « Everything checked out ». Practical Pre-School 2013, n^o 148 (mai 2013) : ix—x. http://dx.doi.org/10.12968/prps.2013.1.148.ix.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

12

Haidrani, Layla. « Baby Symptom Checker ». Nursing Standard 31, n^o 42 (14 juin 2017) : 34. http://dx.doi.org/10.7748/ns.31.42.34.s39.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

13

Lawrence, Stephen Graham Copinger. « Phonetic spell checker ». Journal of the Acoustical Society of America 113, n^o 3 (2003) : 1201. http://dx.doi.org/10.1121/1.1566354.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

14

M.L. Sharma and Krishna Chandra Tripathi, Vasu Bansal. « Automated Answer-Checker ». International Journal for Modern Trends in Science and Technology 6, n^o 12 (5 décembre 2020) : 152–55. http://dx.doi.org/10.46501/ijmtst061229.

Texte intégral

Résumé :

We have seen that a number of students apply for various examinations which may be institutional, non-institutional or even competitive. The competitive exams mostly have objective or multiple choice questions (mcqs). The automation of scoring of subjective or descriptive answers is a need considered nowadays. This paper focuses on designing an efficient algorithm that will automatically evaluate the answers given by students and assign a score based on the AI technologies which are as good as scores given by a human being. Herein the concept of automatic text similarity has been used to establish an application that would check the answers of provided questions automatically and decide the correctness of the answers.

Styles APA, Harvard, Vancouver, ISO, etc.

15

Tripp, Charles. « Iraq ‐ ambitions checked ». Survival 28, n^o 6 (novembre 1986) : 495–509. http://dx.doi.org/10.1080/00396338608442332.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

16

Prasain, Bhawana, Nabin Lamichhane, Nabina Pandey, Prakriti Adhikari et Puja Mudbhari. « Nepali Spelling Checker ». Journal of Engineering and Sciences 1, n^o 1 (31 décembre 2022) : 128–30. http://dx.doi.org/10.3126/jes2.v1i1.58461.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

17

Chai, Yuan, et Shihong Ye. « Checked Syllables, Checked Tones, and Tone Sandhi in Xiapu Min ». Languages 7, n^o 1 (24 février 2022) : 47. http://dx.doi.org/10.3390/languages7010047.

Texte intégral

Résumé :

A “checked” syllable usually refers to one with a short vowel and an oral or glottal coda, which results impressionistically in a “short” and “abrupt” quality. Although common in languages of the world, it is unclear how to characterize checked syllables phonetically. In this study, we investigated the acoustic features of checked syllables in citation and sandhi forms in Xiapu Min, an under-documented language from China. We conducted a production experiment and analyzed the F0, phonatory quality, vowel duration, and vowel quality in checked syllables. The results show that, in citation tones, checked syllables are realized with distinct F0 contours from unchecked syllables, along with glottalization in the end and a shorter duration overall. In sandhi tones, checked syllables lose their distinct F0 contours and become less glottalized. However, the shorter duration of checked syllables is retained in sandhi forms. This study lays out the acoustic properties that tend to be associated with checked syllables and can be used when testing checked syllables in other language varieties. The fact that in Xiapu Min sandhi checked tones become less glottalized but preserve their shorter duration suggests that, when checked syllables become unchecked diachronically, glottalization might be lost prior to duration lengthening.

Styles APA, Harvard, Vancouver, ISO, etc.

18

Takeoka, Fumi, Masaharu Komori, Masaki Takahashi, Aizoh Kubo, Toshiyuki Takatsuji, Sonko Osawa et Osamu Sato. « Gear checker analysis and evaluation using a virtual gear checker ». Measurement Science and Technology 20, n^o 4 (10 février 2009) : 045104. http://dx.doi.org/10.1088/0957-0233/20/4/045104.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

19

KOMORI, Masaharu, Kazuhiko OKAMOTO, Masaki TAKAHASHI, Fumi TAKEOKA et Aizoh KUBO. « 1315 Calibration Method of Gear Checker by Virtual Gear Checker (VGC) ». Proceedings of Conference of Kansai Branch 2006.81 (2006) : _13–15_. http://dx.doi.org/10.1299/jsmekansai.2006.81._13-15_.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

20

B, Manoj, et Fancy C. « Checksec Email Phishi Trasher Tool ». International Journal of Engineering & ; Technology 7, n^o 4.6 (25 septembre 2018) : 363. http://dx.doi.org/10.14419/ijet.v7i4.6.28442.

Texte intégral

Résumé :

In this faster networking world, Phishing has become the most popular practice among the criminals of the web. Various phishing types are deceptive, spear phishing, Email phishing, malware-based phishing, key loggers, session hijacking, man in middle, Trojan, DNS poisoning, cross-site scripting attacks. There is a need for automated tools to solve the problem by the victim side. Existing methods are regularly too tedious to be utilized in reality as far as recognition and relief session. Hence it is decided to propose a model which focuses on detecting and preventing the email phishing attack. In this paper, we present PhishiTrasher, another discovery and relief approach, where we initially propose another system for Deep Packet Inspection afterward use in phishing exercises through email and electronic correspondence. The proposed packet inspection approach comprises parts, vulnerable mark arrangement then continuous DPI. With the help of the phishing assault marks, outline the continuous DPI with the goal that PhishiTrasher can adapt to address the elements of phishing assaults in reality. PhishiTrasher gives better system movement administration to containing phishing assaults since it has the worldwide perspective of a system. Moreover, we assess PhishiTrasher utilizing a true test bed condition and databases comprising of genuine email with installed joins. Our broad test contemplate demonstrates that PhishiTrasher gives a powerful and effective answer for prevent phishing attacks through email. Results demonstrate that profiling should be possible with very high genuine.

Styles APA, Harvard, Vancouver, ISO, etc.

21

Rault, Dawn, Melanie Rock, Morgan Mouton et Melissa Parkinson. « ‘One Health’ promotion in a model city for dog-aggression policy : A qualitative inquiry in the City of Calgary ». Canadian Journal of Emergency Nursing 43, n^o 2 (25 mai 2020) : 19–20. http://dx.doi.org/10.29173/cjen46.

Texte intégral

Résumé :

Background Dog-bite injuries remain a perennial problem, especially in pediatric emergency services. Nonetheless, few researchers have examined how local-level policies may contribute to primary prevention. We do so with qualitative research and an emphasis on implementation. This study highlights the potential benefit of coordination in Alberta between municipalities and emergency health services. Implementation This study mainly took place in the City of Calgary, which has earned a sterling reputation, in Canada and internationally, for the results of its animal-control policy in reducing dog-aggression incidents. We attribute part of this achievement to the high compliance of licensing in Calgary. The City estimates 80-90% of all dogs in Calgary have been licensed (by comparison, the City of Toronto estimates 35% compliance with mandatory licensing for dogs). The City of Calgary earmarks revenue from licensing for human-animal services, including public education, assessment of dogs’ behavior, and a state-of-the-art shelter oriented towards rehoming. Here, we frame the City of Calgary’s dog-aggression policy as a ‘One Health’ issue. This concept refers to human-animal-environment interdependencies as the basis for health. Whereas most One Health research has focused on preventing zoonotic infections or environmental toxins, our approach emphasizes health promotion, in which ‘caring for one’s self and others’ as the foundation for improving longevity and quality of life. Over the years, we have informed and learned from the City of Calgary’s implementation of its dog-aggression policy framework. Evaluation Methods Related research (Caffrey et al., 2019) has analyzed the City of Calgary’s administrative data on dog-bite incidents, statistically and spatially. Previously our team partnered with the Emergency Services Strategic Clinical Network on an analysis of emergency services utilization for dog-bite injuries across Alberta (Jelinski et al., 2016). We have also highlighted risks to occupational health and safety amongst officers who enforce dog-aggression policies, in Alberta and worldwide (Rault et al., 2018). In this presentation, we delve into how these officers act on municipal data when investigating dog-aggression incidents in the City of Calgary. Our main sources of information were semi-structured interviews and participant-observation. Results High compliance with dog-licensing bylaws in Calgary assists officers in efficiently locating dogs following a dog-aggression complaint. In turn, citizens lodge complaints because they view the City of Calgary’s human-animal services as effective and humane. References Caffrey, N., Rock, M., Schmidtz, O., Anderson, D., Parkinson, M., Checkley, S.L. Insights about the epidemiology of dog bites in a Canadian city using a dog aggression scale and administrative data. Animals, 9(6). doi: 10.3390/ani9060324. Jelinski, S.E., Phillips, C., Doehler, M., Rock, M. (May, 2016). The epidemiology of emergency department visits for dog-related injuries in Alberta. Canadian Journal of Emergency Medicine, 18(S1). doi: 10.1017/cem.2016.68 Rault, D., Nowicki, S., Adams, C., Rock, M. (2018). To protect animals, first we must protect law enforcement officers. Journal of Animal and Natural Resource Law, XIV, pp.1-33.

Styles APA, Harvard, Vancouver, ISO, etc.

22

Ayegba, Sani, Musa Ugbedeojo, Benson-Iyare Chinezie et Onoja Abu. « Igala Language Spell Checker ». Current Journal of Applied Science and Technology 23, n^o 1 (7 août 2017) : 1–9. http://dx.doi.org/10.9734/cjast/2017/35445.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

23

Gill, R. S., et J. A. Lack. « Vaporizers ? serviced and checked ? » Anaesthesia 46, n^o 8 (août 1991) : 695–96. http://dx.doi.org/10.1111/j.1365-2044.1991.tb09732.x.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

24

Walters, Sabine. « Checken Sie Ihre Website ». VPT Magazin 05, n^o 01 (janvier 2019) : 16–17. http://dx.doi.org/10.1055/s-0038-1677433.

Texte intégral

Résumé :

ZusammenfassungDie neue Datenschutz-Grundverordnung ist seit gut einem halben Jahr in Kraft. Leider haben immer noch sehr viele Betreiber einer Website die erforderlichen Maßnahmen zur DSGVO-Konformität für ihre Website nicht umgesetzt. Das kann nun sehr teuer werden, denn seit einem Urteil des OLG Hamburg können zukünftig auch Wettbewerber abmahnen lassen. Sabine Walters, Datenschutzbeauftragte und Mediendesignerin, hat in einer Checkliste die wichtigsten Punkte zusammengestellt, die Inhaber einer Website nun beachten sollten.

Styles APA, Harvard, Vancouver, ISO, etc.

25

Ali, Walaa Hashim, Shahd Bakri Sed Ahmed, Abdalaziz Mustafa Abdalaziz, Marwa Ibrahim Elshafie et Haj Ali A. Mohammed. « Drug-Drug Interaction Checker ». Journal of Clinical Engineering 44, n^o 3 (2019) : 125–34. http://dx.doi.org/10.1097/jce.0000000000000347.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

26

Stevenson, Deborah. « Checked by Cynthia Kadohata ». Bulletin of the Center for Children's Books 71, n^o 8 (2018) : 341. http://dx.doi.org/10.1353/bcc.2018.0268.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

27

Holzmann, G. J. « The model checker SPIN ». IEEE Transactions on Software Engineering 23, n^o 5 (mai 1997) : 279–95. http://dx.doi.org/10.1109/32.588521.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

28

Rich, Vera. « Poland : University advances checked ». Nature 315, n^o 6018 (mai 1985) : 362. http://dx.doi.org/10.1038/315362a0.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

29

Appel, Andrew W., Neophytos Michael, Aaron Stump et Roberto Virga. « A Trustworthy Proof Checker ». Journal of Automated Reasoning 31, n^o 3/4 (2003) : 231–60. http://dx.doi.org/10.1023/b:jars.0000021013.61329.58.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

30

Mirfazaelian, Ali. « Fabricating a fit checker ». Journal of Prosthetic Dentistry 83, n^o 3 (mars 2000) : 376. http://dx.doi.org/10.1016/s0022-3913(00)70145-4.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

31

Selnes, Marvin. « Lab checker (Laurita, William) ». Journal of Chemical Education 68, n^o 10 (octobre 1991) : A264. http://dx.doi.org/10.1021/ed068pa264.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

32

Saini, Anu, Ankita Bahl, Supriya Kumari et Mitali Singh. « Plagiarism Checker : Text Mining ». International Journal of Computer Applications 134, n^o 3 (15 janvier 2016) : 8–11. http://dx.doi.org/10.5120/ijca2016907833.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

33

M, Raja, Siva barathi, Sown daria, Suriya prabha et Vish anth. « Automatic Bus card Checker ». International Journal of Electronics and Communication Engineering 6, n^o 11 (25 novembre 2019) : 9–12. http://dx.doi.org/10.14445/23488549/ijece-v6i11p103.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

34

Kopp, Sigmar. « Erst checken — dann entscheiden ! » der junge zahnarzt 1, n^o 3 (septembre 2010) : 48. http://dx.doi.org/10.1007/bf03360330.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

35

Morgen, K. « Brückenbauer oder "code-checker" ? » Beton- und Stahlbetonbau 98, n^o 4 (avril 2003) : A3. http://dx.doi.org/10.1002/best.200301250.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

36

Dobrin, David N. « A new grammar checker ». Computers and the Humanities 24, n^o 1-2 (1990) : 67–80. http://dx.doi.org/10.1007/bf00115029.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

37

Knuth, Claudia. « Nach Feierabend Mails checken ». VDI nachrichten 77, n^o 10 (2023) : 29. http://dx.doi.org/10.51202/0042-1758-2023-10-29.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

38

Shahi, Gautam Kishore. « FakeKG : A Knowledge Graph of Fake Claims for Improving Automated Fact-Checking (Student Abstract) ». Proceedings of the AAAI Conference on Artificial Intelligence 37, n^o 13 (26 juin 2023) : 16320–21. http://dx.doi.org/10.1609/aaai.v37i13.27020.

Texte intégral

Résumé :

False information could be dangerous if the claim is not debunked timely. Fact-checking organisations get a high volume of claims on different topics with immense velocity. The efficiency of the fact-checkers decreases due to 3V problems volume, velocity and variety. Especially during crises or elections, fact-checkers cannot handle user requests to verify the claim. Until now, no real-time curable centralised corpus of fact-checked articles is available. Also, the same claim is fact-checked by multiple fact-checking organisations with or without judgement. To fill this gap, we introduce FakeKG: A Knowledge Graph-Based approach for improving Automated Fact-checking. FakeKG is a centralised knowledge graph containing fact-checked articles from different sources that can be queried using the SPARQL endpoint. The proposed FakeKG can prescreen claim requests and filter them if the claim is already fact-checked and provide a judgement to the claim. It will also categorise the claim's domain so that the fact-checker can prioritise checking the incoming claims into different groups like health and election. This study proposes an approach for creating FakeKG and its future application for mitigating misinformation.

Styles APA, Harvard, Vancouver, ISO, etc.

39

Sullivan, Helen. « NHS Health & ; Symptom Checker app NHS Health & ; Symptom Checker app Free ». Cancer Nursing Practice 12, n^o 9 (novembre 2013) : 10. http://dx.doi.org/10.7748/cnp2013.11.12.9.10.s13.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

40

Bektemessov, A. T., A. Zh Burlibaev et F. A. Iliyaletdinov. « Distributed algorithms and their verification with Byzantine model checker ». Journal of Mathematics, Mechanics and Computer Science 92, n^o 4 (2017) : 70–79. http://dx.doi.org/10.26577/jmmcs-2017-4-455.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

41

ALBERT, ELVIRA, PURI ARENAS, GERMÁN PUEBLA et MANUEL HERMENEGILDO. « Certificate size reduction in abstraction-carrying code ». Theory and Practice of Logic Programming 12, n^o 3 (5 janvier 2011) : 283–318. http://dx.doi.org/10.1017/s1471068410000487.

Texte intégral

Résumé :

AbstractAbstraction-Carrying Code (ACC) has recently been proposed as a framework for mobile code safety in which the code supplier provides a program together with an abstraction (or abstract model of the program) whose validity entails compliance with a predefined safety policy. The abstraction plays thus the role of safety certificate and its generation is carried out automatically by a fixpoint analyzer. The advantage of providing a (fixpoint) abstraction to the code consumer is that its validity is checked in a single pass (i.e., one iteration) of an abstract interpretation-based checker. A main challenge to make ACC useful in practice is to reduce the size of certificates as much as possible while at the same time not increasing checking time. The intuitive idea is to only include in the certificate information that the checker is unable to reproduce without iterating. We introduce the notion of reduced certificate which characterizes the subset of the abstraction which a checker needs in order to validate (and re-construct) the full certificate in a single pass. Based on this notion, we instrument a generic analysis algorithm with the necessary extensions in order to identify the information relevant to the checker. Interestingly, the fact that the reduced certificate omits (parts of) the abstraction has implications in the design of the checker. We provide the sufficient conditions which allow us to ensure that (1) if the checker succeeds in validating the certificate, then the certificate is valid for the program (correctness) and (2) the checker will succeed for any reduced certificate which is valid (completeness). Our approach has been implemented and benchmarked within the CiaoPP system. The experimental results show that our proposal is able to greatly reduce the size of certificates in practice.

Styles APA, Harvard, Vancouver, ISO, etc.

42

Kellner, Elias, et Horst Urbach. « Machine Outputs Must Be Checked ». Clinical Neuroradiology 31, n^o 2 (9 avril 2021) : 507–8. http://dx.doi.org/10.1007/s00062-021-01012-6.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

43

Moore-Bembry, Natalie. « Cultural Humility : The Bias Checker ». Innovation in Aging 5, Supplement_1 (1 décembre 2021) : 122–23. http://dx.doi.org/10.1093/geroni/igab046.472.

Texte intégral

Résumé :

Abstract Historically we have been taught to understand and embrace cultural competency, however, this focus has often led to a superficial understanding of others and seldom required one to better understand themselves. Cultural humility is based on one’s ability to engage in individual accountability and institutional accountability. Individual accountability is based on critical self-reflection and critique, lifelong learning, and the challenging of power imbalances. Institutional accountability requires one to challenge structural power. This session will: (1) explore ways to engage in critical self-reflection and critique; (2) describe how values and beliefs impact the interactions of our personal and professional lives; and (3) strategize ways to collectively model and practice in cultural humility in one’s personal and professional life.

Styles APA, Harvard, Vancouver, ISO, etc.

44

Kane, R., et S. Sahni. « A Systolic Design-Rule Checker ». IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 6, n^o 1 (janvier 1987) : 22–32. http://dx.doi.org/10.1109/tcad.1987.1270242.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

45

Riezina, O., et R. Kosiuh. « TECHNOLOGIES OF CREATING SPELL CHECKER ». Information Technologies in Education 2, n^o 39 (2019) : 78–88. http://dx.doi.org/10.14308/ite000698.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

46

Hemaspaandra, Lane A., et Riccardo Silvestri. « Easily Checked Generalized Self-Reducibility ». SIAM Journal on Computing 24, n^o 4 (août 1995) : 840–58. http://dx.doi.org/10.1137/s0097539792234901.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

47

Eker, Steven, José Meseguer et Ambarish Sridharanarayanan. « The Maude LTL Model Checker ». Electronic Notes in Theoretical Computer Science 71 (avril 2004) : 162–87. http://dx.doi.org/10.1016/s1571-0661(05)82534-4.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

48

Kalayappan, Rajshekar, et Smruti R. Sarangi. « A survey of checker architectures ». ACM Computing Surveys 45, n^o 4 (août 2013) : 1–34. http://dx.doi.org/10.1145/2501654.2501662.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

49

Beyer, Dirk, Thomas A. Henzinger, Ranjit Jhala et Rupak Majumdar. « The software model checker Blast ». International Journal on Software Tools for Technology Transfer 9, n^o 5-6 (13 septembre 2007) : 505–25. http://dx.doi.org/10.1007/s10009-007-0044-z.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

50

Wiseman, Robert C. « Computer style/grammar checker programs ». TechTrends 35, n^o 4 (septembre 1990) : 51–52. http://dx.doi.org/10.1007/bf02800560.

Texte intégral

Styles APA, Harvard, Vancouver, ISO, etc.

Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!