Artykuły w czasopismach na temat „Checkley”

Kliknij ten link, aby zobaczyć inne rodzaje publikacji na ten temat: Checkley.

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

Wybierz rodzaj źródła:

Sprawdź 50 najlepszych artykułów w czasopismach 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.

Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.

1

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

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

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

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

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

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

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

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
12

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
13

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
14

M.L. Sharma and Krishna Chandra Tripathi, Vasu Bansal. "Automated Answer-Checker". International Journal for Modern Trends in Science and Technology 6, nr 12 (5.12.2020): 152–55. http://dx.doi.org/10.46501/ijmtst061229.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
15

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
16

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
17

Chai, Yuan, i Shihong Ye. "Checked Syllables, Checked Tones, and Tone Sandhi in Xiapu Min". Languages 7, nr 1 (24.02.2022): 47. http://dx.doi.org/10.3390/languages7010047.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
18

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
19

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
20

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
21

Rault, Dawn, Melanie Rock, Morgan Mouton i 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, nr 2 (25.05.2020): 19–20. http://dx.doi.org/10.29173/cjen46.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
22

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
23

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
24

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
25

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
26

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
27

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
28

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
29

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
30

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
31

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
32

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
33

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
34

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
35

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
36

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
37

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
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, nr 13 (26.06.2023): 16320–21. http://dx.doi.org/10.1609/aaai.v37i13.27020.

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
39

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
40

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
41

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
42

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
43

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

Pełny tekst źródła
Streszczenie:
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.
Style APA, Harvard, Vancouver, ISO itp.
44

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
45

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
46

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
47

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
48

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
49

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

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
50

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

Pełny tekst źródła
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!

Do bibliografii