Acceder

Bibliografías temáticas / Checkley / Artículos de revistas

Artículos de revistas sobre el tema "Checkley"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Checkley.

Autor: Grafiati

Publicado: 26 de julio de 2024

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores artículos de revistas para su investigación 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.

Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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 completo

Los estilos 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.º 2 (junio de 2010): 179–80. http://dx.doi.org/10.1111/j.1475-4959.2010.00360_2.x.

Texto completo

Los estilos 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.º 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 completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

4

Jacobson, 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 completo

Los estilos 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.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

6

Boyer, 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 completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

7

Carvalho, 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 completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

8

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

9

Beneteau, 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 completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

10

Sullivan, 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 completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

11

White, Hilary. "Everything checked out". Practical Pre-School 2013, n.º 148 (mayo de 2013): ix—x. http://dx.doi.org/10.12968/prps.2013.1.148.ix.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

12

Haidrani, Layla. "Baby Symptom Checker". Nursing Standard 31, n.º 42 (14 de junio de 2017): 34. http://dx.doi.org/10.7748/ns.31.42.34.s39.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

13

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

Texto completo

Los estilos 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.º 12 (5 de diciembre de 2020): 152–55. http://dx.doi.org/10.46501/ijmtst061229.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

15

Tripp, Charles. "Iraq ‐ ambitions checked". Survival 28, n.º 6 (noviembre de 1986): 495–509. http://dx.doi.org/10.1080/00396338608442332.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

16

Prasain, Bhawana, Nabin Lamichhane, Nabina Pandey, Prakriti Adhikari y Puja Mudbhari. "Nepali Spelling Checker". Journal of Engineering and Sciences 1, n.º 1 (31 de diciembre de 2022): 128–30. http://dx.doi.org/10.3126/jes2.v1i1.58461.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

17

Chai, Yuan y Shihong Ye. "Checked Syllables, Checked Tones, and Tone Sandhi in Xiapu Min". Languages 7, n.º 1 (24 de febrero de 2022): 47. http://dx.doi.org/10.3390/languages7010047.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

18

Takeoka, Fumi, Masaharu Komori, Masaki Takahashi, Aizoh Kubo, Toshiyuki Takatsuji, Sonko Osawa y Osamu Sato. "Gear checker analysis and evaluation using a virtual gear checker". Measurement Science and Technology 20, n.º 4 (10 de febrero de 2009): 045104. http://dx.doi.org/10.1088/0957-0233/20/4/045104.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

19

KOMORI, Masaharu, Kazuhiko OKAMOTO, Masaki TAKAHASHI, Fumi TAKEOKA y 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_.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

20

B, Manoj y Fancy C. "Checksec Email Phishi Trasher Tool". International Journal of Engineering & Technology 7, n.º 4.6 (25 de septiembre de 2018): 363. http://dx.doi.org/10.14419/ijet.v7i4.6.28442.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

21

Rault, Dawn, Melanie Rock, Morgan Mouton y 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.º 2 (25 de mayo de 2020): 19–20. http://dx.doi.org/10.29173/cjen46.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

22

Ayegba, Sani, Musa Ugbedeojo, Benson-Iyare Chinezie y Onoja Abu. "Igala Language Spell Checker". Current Journal of Applied Science and Technology 23, n.º 1 (7 de agosto de 2017): 1–9. http://dx.doi.org/10.9734/cjast/2017/35445.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

23

Gill, R. S. y J. A. Lack. "Vaporizers ? serviced and checked?" Anaesthesia 46, n.º 8 (agosto de 1991): 695–96. http://dx.doi.org/10.1111/j.1365-2044.1991.tb09732.x.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

24

Walters, Sabine. "Checken Sie Ihre Website". VPT Magazin 05, n.º 01 (enero de 2019): 16–17. http://dx.doi.org/10.1055/s-0038-1677433.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

25

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

26

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

27

Holzmann, G. J. "The model checker SPIN". IEEE Transactions on Software Engineering 23, n.º 5 (mayo de 1997): 279–95. http://dx.doi.org/10.1109/32.588521.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

28

Rich, Vera. "Poland: University advances checked". Nature 315, n.º 6018 (mayo de 1985): 362. http://dx.doi.org/10.1038/315362a0.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

29

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

30

Mirfazaelian, Ali. "Fabricating a fit checker". Journal of Prosthetic Dentistry 83, n.º 3 (marzo de 2000): 376. http://dx.doi.org/10.1016/s0022-3913(00)70145-4.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

31

Selnes, Marvin. "Lab checker (Laurita, William)". Journal of Chemical Education 68, n.º 10 (octubre de 1991): A264. http://dx.doi.org/10.1021/ed068pa264.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

32

Saini, Anu, Ankita Bahl, Supriya Kumari y Mitali Singh. "Plagiarism Checker: Text Mining". International Journal of Computer Applications 134, n.º 3 (15 de enero de 2016): 8–11. http://dx.doi.org/10.5120/ijca2016907833.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

33

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

34

Kopp, Sigmar. "Erst checken — dann entscheiden!" der junge zahnarzt 1, n.º 3 (septiembre de 2010): 48. http://dx.doi.org/10.1007/bf03360330.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

35

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

36

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

37

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

Texto completo

Los estilos 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.º 13 (26 de junio de 2023): 16320–21. http://dx.doi.org/10.1609/aaai.v37i13.27020.

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

39

Sullivan, Helen. "NHS Health & Symptom Checker app NHS Health & Symptom Checker app Free". Cancer Nursing Practice 12, n.º 9 (noviembre de 2013): 10. http://dx.doi.org/10.7748/cnp2013.11.12.9.10.s13.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

40

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

41

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

42

Kellner, Elias y Horst Urbach. "Machine Outputs Must Be Checked". Clinical Neuroradiology 31, n.º 2 (9 de abril de 2021): 507–8. http://dx.doi.org/10.1007/s00062-021-01012-6.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

43

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

Texto completo

Resumen

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.

Los estilos APA, Harvard, Vancouver, ISO, etc.

44

Kane, R. y S. Sahni. "A Systolic Design-Rule Checker". IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 6, n.º 1 (enero de 1987): 22–32. http://dx.doi.org/10.1109/tcad.1987.1270242.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

45

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

46

Hemaspaandra, Lane A. y Riccardo Silvestri. "Easily Checked Generalized Self-Reducibility". SIAM Journal on Computing 24, n.º 4 (agosto de 1995): 840–58. http://dx.doi.org/10.1137/s0097539792234901.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

47

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

48

Kalayappan, Rajshekar y Smruti R. Sarangi. "A survey of checker architectures". ACM Computing Surveys 45, n.º 4 (agosto de 2013): 1–34. http://dx.doi.org/10.1145/2501654.2501662.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

49

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

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

50

Wiseman, Robert C. "Computer style/grammar checker programs". TechTrends 35, n.º 4 (septiembre de 1990): 51–52. http://dx.doi.org/10.1007/bf02800560.

Texto completo

Los estilos APA, Harvard, Vancouver, ISO, etc.

Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!