Accedi

Bibliografie tematiche / Checkley / Articoli di riviste

Articoli di riviste sul tema "Checkley"

Segui questo link per vedere altri tipi di pubblicazioni sul tema: Checkley.

Autore: Grafiati

Pubblicato: 26 luglio 2024

Cita una fonte nei formati APA, MLA, Chicago, Harvard e in molti altri stili

Scegli il tipo di fonte:

Vedi i top-50 articoli di riviste per l'attività di ricerca sul tema "Checkley".

Accanto a ogni fonte nell'elenco di riferimenti c'è un pulsante "Aggiungi alla bibliografia". Premilo e genereremo automaticamente la citazione bibliografica dell'opera scelta nello stile citazionale di cui hai bisogno: APA, MLA, Harvard, Chicago, Vancouver ecc.

Puoi anche scaricare il testo completo della pubblicazione scientifica nel formato .pdf e leggere online l'abstract (il sommario) dell'opera se è presente nei metadati.

Vedi gli articoli di riviste di molte aree scientifiche e compila una bibliografia corretta.

1

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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 (giugno 2010): 179–80. http://dx.doi.org/10.1111/j.1475-4959.2010.00360_2.x.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

4

Jacobson, Larry D., e Sam McClatchie. "Comment on temperature-dependent stock–recruit modeling for Pacific sardine (Sardinops sagax) in Jacobson and MacCall (1995), McClatchie et al. (2010), and Lindegren and Checkley (2013)". Canadian Journal of Fisheries and Aquatic Sciences 70, n. 10 (ottobre 2013): 1566–69. http://dx.doi.org/10.1139/cjfas-2013-0128.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

6

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

7

Carvalho, Serafim, José Pinto-Gouveia, Paulo Pimentel, Paula Castilho, Dulce Maia e Jorge Mota Pereira. "Propriedades Psicométricas da Escala de Cuidado do Questionário de Experiências de Cuidado e Abuso na Infância (Childhood Experiences of Care and Abuse – CECA.Q)". Psychologica, n. 54 (9 febbraio 2018): 359–83. http://dx.doi.org/10.14195/1647-8606_54_14.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

8

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

9

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

10

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

11

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

12

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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 dicembre 2020): 152–55. http://dx.doi.org/10.46501/ijmtst061229.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

15

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

16

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

17

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

18

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

19

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

20

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

21

Rault, Dawn, Melanie Rock, Morgan Mouton e 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 maggio 2020): 19–20. http://dx.doi.org/10.29173/cjen46.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

22

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

23

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

24

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

25

Ali, Walaa Hashim, Shahd Bakri Sed Ahmed, Abdalaziz Mustafa Abdalaziz, Marwa Ibrahim Elshafie e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

27

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

28

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

29

Appel, Andrew W., Neophytos Michael, Aaron Stump e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

30

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

31

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

32

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

33

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

34

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

35

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

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 giugno 2023): 16320–21. http://dx.doi.org/10.1609/aaai.v37i13.27020.

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

39

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

40

Bektemessov, A. T., A. Zh Burlibaev e 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.

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

41

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

42

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

43

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

Testo completo

Abstract (sommario):

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.

Gli stili APA, Harvard, Vancouver, ISO e altri

44

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

45

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

46

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

47

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

48

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

49

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

50

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

Testo completo

Gli stili APA, Harvard, Vancouver, ISO e altri

Offriamo sconti su tutti i piani premium per gli autori le cui opere sono incluse in raccolte letterarie tematiche. Contattaci per ottenere un codice promozionale unico!