Log in

Relevant bibliographies by topics / Checkley / Journal articles

Journal articles on the topic 'Checkley'

To see the other types of publications on this topic, follow the link: Checkley.

Author: Grafiati

Published: 26 July 2024

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Checkley.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Jacobson, Larry D., and 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, no. 10 (October 2013): 1566–69. http://dx.doi.org/10.1139/cjfas-2013-0128.

Full text

APA, Harvard, Vancouver, ISO, and other styles

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.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

7

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

8

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

11

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

12

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

14

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

15

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

16

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

17

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

18

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

19

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

20

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

21

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

22

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

23

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

24

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

25

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

27

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

28

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

29

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

30

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

35

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

36

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

37

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

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, no. 13 (June 26, 2023): 16320–21. http://dx.doi.org/10.1609/aaai.v37i13.27020.

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

39

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

40

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

41

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

42

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

43

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

Full text

Abstract:

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.

APA, Harvard, Vancouver, ISO, and other styles

44

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

45

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

46

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

47

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

48

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

49

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

50

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

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!