Relevant bibliographies by topics / Checkers

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Checkers'

Author: Grafiati
Published: 4 June 2021
Last updated: 29 July 2024

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

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Checkers.'

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.

Journal articles on the topic "Checkers"

1

Markowitz, David M., Timothy R. Levine, Kim B. Serota, and Alivia D. Moore. "Cross-checking journalistic fact-checkers: The role of sampling and scaling in interpreting false and misleading statements." PLOS ONE 18, no. 7 (July 25, 2023): e0289004. http://dx.doi.org/10.1371/journal.pone.0289004.

Full text
Abstract:
Professional fact-checkers and fact-checking organizations provide a critical public service. Skeptics of modern media, however, often question the accuracy and objectivity of fact-checkers. The current study assessed agreement among two independent fact-checkers, The Washington Post and PolitiFact, regarding the false and misleading statements of then President Donald J. Trump. Differences in statement selection and deceptiveness scaling were investigated. The Washington Post checked PolitiFact fact-checks 77.4% of the time (22.6% selection disagreement). Moderate agreement was observed for deceptiveness scaling. Nearly complete agreement was observed for bottom-line attributed veracity. Additional cross-checking with other sources (Snopes, FactCheck.org), original sources, and with fact-checking for the first 100 days of President Joe Biden’s administration were inconsistent with potential ideology effects. Our evidence suggests fact-checking is a difficult enterprise, there is considerable variability between fact-checkers in the raw number of statements that are checked, and finally, selection and scaling account for apparent discrepancies among fact-checkers.
APA, Harvard, Vancouver, ISO, and other styles
2

Lim, Chloe. "Checking how fact-checkers check." Research & Politics 5, no. 3 (July 2018): 205316801878684. http://dx.doi.org/10.1177/2053168018786848.

Full text
Abstract:
Fact-checking has gained prominence as a movement for revitalizing truth-seeking ideals in journalism. While fact-checkers are often assumed to code facts accurately, few studies have formally assessed fact-checkers’ overall performance. I evaluated the performance of two major fact-checkers in the USA, Fact Checker and Politifact, comparing their inter-rater reliability using a method that is regularly employed across the social sciences. Surprisingly, only one in 10 statements was found to be fact-checked by both fact-checkers. Regarding claims evaluated by both organizations, the fact-checkers performed fairly well on outright falsehoods or obvious truths; however, the agreement rate was much lower for statements in the more ambiguous scoring range (that is, “Half True” or “Mostly False”). The results suggest that fact-checking is difficult, and that validation is challenging. Fact-checkers rarely evaluate statements that are exactly the same, and disagree more often than one might suppose, particularly when politicians craft language to be ambiguous. At least in some cases, the strategic ambiguity of politicians may impede the fact-checking movement’s goals.
APA, Harvard, Vancouver, ISO, and other styles
3

Yu, Stephanie Wing Yin, Andre Ma, Vivian Hiu Man Tsang, Lulu Suet Wing Chung, Siu-Chung Leung, and Ling-Pong Leung. "Triage accuracy of online symptom checkers for Accident and Emergency Department patients." Hong Kong Journal of Emergency Medicine 27, no. 4 (April 16, 2019): 217–22. http://dx.doi.org/10.1177/1024907919842486.

Full text
Abstract:
Background: Overutilisation of the Accident and Emergency Department is an increasingly serious healthcare challenge. Online symptom checkers could help alleviate this challenge by allowing patients to self-triage before visiting the Accident and Emergency Department. Objectives: This study aimed to assess the triage accuracy of online symptom checkers, which would help determine the potential roles of symptom checkers in an Accident and Emergency Department setting. Methods: A total of 100 random Accident and Emergency Department records were sampled from the Queen Mary Hospital in Hong Kong. The inclusion criteria were patients over the age of 18 attending the Queen Mary Hospital Accident and Emergency Department in 2016. Symptom checkers by Drugs.com and FamilyDoctor were selected as representative tools. One triage recommendation was generated by each symptom checker for each case record. Each symptom checker’s triage accuracy was then evaluated using a few outcome measures: overall sensitivity, sensitivity for emergency cases and specificity for non-emergency cases, when compared with the triage categories assigned by the triage nurses. Results: The results showed that Drugs.com had a higher overall triage accuracy than FamilyDoctor (74% and 50%, respectively), but both checkers are inadequately sensitive to emergency cases (70% and 45%, respectively) with low negative predictive values (43% and 24%, respectively). Conclusion: In their current states, symptom checkers are not yet suitable as alternatives to Accident and Emergency Department triage protocols due to their low overall sensitivities and negative predictive values. However, symptom checkers might serve as useful Accident and Emergency Department adjuncts in other ways, such as to provide more information prior to a patient’s arrival to streamline the triage and preparation process at the Accident and Emergency Department.
APA, Harvard, Vancouver, ISO, and other styles
4

Stans, Jelle. "A brief overview of animal symptom checkers." Open Veterinary Journal 10, no. 1 (April 21, 2020): 1–3. http://dx.doi.org/10.4314/ovj.v10i1.1.

Full text
Abstract:
Symptom checkers are tools that provide health information, including possible conditions, after entering one or more symptoms. Some symptom checkers also provide advice on how urgent medical attention should be sought. In addition to human symptom checkers, several tools are also available to check the symptoms of animals and provide veterinary triage advice. Unlike in human symptom checkers, this widespread availability has not lead to investigations of these tools. Indeed, little to no peer-reviewed research has been published regarding animal symptom checkers. This paper aims to describe some examples of animal symptom checkers. In addition, the proposals for future research are formulated by translating knowledge obtained from research into human symptom checkers. Keywords: Animal, Online, Pet, Symptom checker.
APA, Harvard, Vancouver, ISO, and other styles
5

Aboueid, Stephanie, Samantha Meyer, James R. Wallace, Shreya Mahajan, and Ashok Chaurasia. "Young Adults’ Perspectives on the Use of Symptom Checkers for Self-Triage and Self-Diagnosis: Qualitative Study." JMIR Public Health and Surveillance 7, no. 1 (January 6, 2021): e22637. http://dx.doi.org/10.2196/22637.

Full text
Abstract:
Background Young adults often browse the internet for self-triage and diagnosis. More sophisticated digital platforms such as symptom checkers have recently become pervasive; however, little is known about their use. Objective The aim of this study was to understand young adults’ (18-34 years old) perspectives on the use of the Google search engine versus a symptom checker, as well as to identify the barriers and enablers for using a symptom checker for self-triage and self-diagnosis. Methods A qualitative descriptive case study research design was used. Semistructured interviews were conducted with 24 young adults enrolled in a university in Ontario, Canada. All participants were given a clinical vignette and were asked to use a symptom checker (WebMD Symptom Checker or Babylon Health) while thinking out loud, and were asked questions regarding their experience. Interviews were audio-recorded, transcribed, and imported into the NVivo software program. Inductive thematic analysis was conducted independently by two researchers. Results Using the Google search engine was perceived to be faster and more customizable (ie, ability to enter symptoms freely in the search engine) than a symptom checker; however, a symptom checker was perceived to be useful for a more personalized assessment. After having used a symptom checker, most of the participants believed that the platform needed improvement in the areas of accuracy, security and privacy, and medical jargon used. Given these limitations, most participants believed that symptom checkers could be more useful for self-triage than for self-diagnosis. Interestingly, more than half of the participants were not aware of symptom checkers prior to this study and most believed that this lack of awareness about the existence of symptom checkers hindered their use. Conclusions Awareness related to the existence of symptom checkers and their integration into the health care system are required to maximize benefits related to these platforms. Addressing the barriers identified in this study is likely to increase the acceptance and use of symptom checkers by young adults.
APA, Harvard, Vancouver, ISO, and other styles
6

Rimbar, Hazelynn. "THE INFLUENCE OF SPELL-CHECKERS ON STUDENTS’ ABILITY TO GENERATE REPAIRS OF SPELLING ERRORS." Journal of Nusantara Studies (JONUS) 2, no. 1 (June 30, 2017): 1. http://dx.doi.org/10.24200/jonus.vol2iss1pp1-12.

Full text
Abstract:
Recent studies show that spell-checkers help reduce students’ surface errors in writing by flagging spelling errors and giving correct spelling suggestions. This study investigates if the error correction provided by the spell-checker tool in word processors are internalized by students. A quasi-experimental two-group study was conducted on 30 Form 1 students in a school in Kuching, Sarawak. The learners were given dictations which contained words listed as commonly misspelled words according to Oxford University Press (2012). The experimental group were given three dictations- one in which they used word processors and allowed to use the spell-checker tool and the control group was given two dictations, both handwritten. The data gathered were analysed using a software for statistical analysis. This study found that, while the spell-checker helped the learners revise their spelling on one dictation exercise, learners still made the same errors in their spelling after the use of spell-checkers. Therefore it argues that while spell-checkers help eliminate surface errors, they have very little influence on correcting the errors on the cognitive level. Keywords: Spell-checkers, word processors, error correction, dictation, spellingCite as: Rimbar, H. (2017). The influence of spell-checkers on students’ ability to generate repairs of spelling errors. Journal of Nusantara Studies, 2(1), 1-12.
APA, Harvard, Vancouver, ISO, and other styles
7

Fleming, Jason, and Jean-Pierre Jeannon. "Head and neck cancer in the digital age: an evaluation of mobile health applications." BMJ Innovations 6, no. 1 (January 2020): 13–17. http://dx.doi.org/10.1136/bmjinnov-2019-000350.

Full text
Abstract:
AimThe technology of online and mobile-based symptom checkers is developing on a background of unprecedented demand for General Practioner (GP) and medical services. This study was performed to assess the performance of popular ‘artificial intelligence’ symptom checkers currently available to the public and evaluate their accuracy as a screening tool for head and neck cancer symptoms.MethodWe selected three of the most popular and previously compared mobile application (app) symptom checkers available including Babylon (London), Your.md (London) and Ada (Ada Health GmbH, Munich). A recent Pan-London Suspected Cancer Referral Guide was obtained and distilled into a list of qualifying symptoms for referral to secondary care on a 2-week wait cancer pathway. A generic patient background was devised and each symptom was passed through the selected symptom checker apps. Differential diagnoses and recommended triage times were compared.ResultsOverall a cancer diagnosis was suggested possible in the differential diagnosis in 33% of symptoms. As a screening tool, Babylon was the most accurate for including a potential cancer diagnosis in the differential diagnosis, with a sensitivity of 45% cases, Ada with 32% and Your.md 23%. Ada attempted the most diagnoses, able to provide a differential diagnosis in 95% scenarios, but was also the most risk averse triage assessor, with 55% outcomes recommending medical advice immediately or within hours.ConclusionThe ability of modern symptom checkers to promote health awareness and self-checks is promising, but we have identified a number of areas of potential improvement. At present the sensitivity of the tested symptom checker apps remains low for head and neck cancer.
APA, Harvard, Vancouver, ISO, and other styles
8

Smith, Frederick E. "Door Checkers." Library & Archival Security 7, no. 1 (September 6, 1985): 7–13. http://dx.doi.org/10.1300/j114v07n01_02.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Hurtley, S. M. "Playing Checkers." Science Signaling 4, no. 188 (August 30, 2011): ec237-ec237. http://dx.doi.org/10.1126/scisignal.4188ec237.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Aleksander, Igor. "Evolutionary checkers." Nature 402, no. 6764 (December 1999): 857–59. http://dx.doi.org/10.1038/47201.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Checkers"

1

Menon, Jithu. "Soar Checkers - an intelligent checkers playing agent in Soar /." Connect to this title online, 2007. http://etd.lib.clemson.edu/documents/1181251081/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Sharan, Smita. "Checkers game app." Kansas State University, 2016. http://hdl.handle.net/2097/32920.

Full text
Abstract:
Master of Science
Department of Computing and Information Sciences
Daniel Andresen
Android Phones and Tablets are driven by apps and becoming more and more popular these days. Enthusiastic game players around the world are always looking for fun and exciting games which are easily accessible from their handheld devices like smartphones, tablets etc. Checkers is one such mobile game app based on the popular game American Checkers or Draughts and is developed on Android platform. This game is turn based in which players play against each other. The player capture the pieces of opponent and progresses diagonally, trying to become the winner by capturing all the pieces of opponent or blocking the opponent so that there is no legal moves left. There are various features in the game. Instant messaging allows players to chat during the game.. Saved Games feature lets users to play the incomplete games later. Leaderboards and Scores make the game competitive as players can see their rankings and scores after the game. Tournaments and Scheduling enables players to schedule matches. Tournament is scheduled with Round Robin process wherein each player plays with all other players in turn and finally winner is declared after end of the game.
APA, Harvard, Vancouver, ISO, and other styles
3

Chrysostomou, Marina. "Prospective memory in sub-clinical checkers." Thesis, University of Reading, 2017. http://centaur.reading.ac.uk/78063/.

Full text
Abstract:
People often fail to complete their future intended behaviours (prospective memory). Prospective memory research on individuals with checking behaviours is relatively recent. Studies have revealed impaired prospective memory performance in individuals with high checking behaviours. As a result, individuals report less confidence in their memory and use more prospective memory aiding strategies compared to the general population. The aim of the experiments reported in the current thesis was to investigate prospective memory performance in a sub-clinical checking population and improve confidence and vividness in their actions. In order to achieve this, two strategies, namely implementation intentions and imagery, were used. These self¬-regulatory strategies have been repeatedly found to improve prospective memory performance in the general population. The findings of the experiments reported in this thesis revealed that prospective memory performance was not always consistent with previous findings, as in some studies high checkers performed as well as low checkers. However, this could be due to methodological differences between these and earlier studies. Nevertheless, when participants were instructed to use implementation intentions and imagery during encoding, their performance was significantly improved, with the effect being more profound in low checkers. Consistent with the literature, high checkers experienced more metacognitive deficits, particularly increased lack of cognitive confidence. It can be concluded that individuals with checking tendencies can benefit from the use of implementation intentions and imagery when forming future intentions as it was found to improve prospective memory performance and cognitive confidence. These observations are discussed in relation to previous findings and experimental limitations are reported. Further studies should aim to replicate these findings using a clinical checking population.
APA, Harvard, Vancouver, ISO, and other styles
4

Gaynor, Robert Lee. "Computer Grammar Checkers and ESL Writers." PDXScholar, 1994. https://pdxscholar.library.pdx.edu/open_access_etds/4796.

Full text
Abstract:
The use of word processors has become common in writing instruction for students of English as a second language (ESL). Recent developments in microcomputer technology have increased the number of "tools" or writing aids that are incorporated into word processing programs. Among these are computer style and grammar checkers, programs that attempt to identify and diagnose stylistic, grammatical, and mechanical problems in writing. This study examines the suitability of commercial grammar checking programs for use by ESL writers through descriptive analysis of program features and evaluation of accuracy. The programs evaluated are Grammatik 5, Microsoft Word 6.0 and Correct Grammar (both using CorrecText as an underlying system), and Right Writer 6.0. The principal issues explored in the descriptive analysis are comparative ease-of-use, the nature of diagnostic advice and tutorial information, and modification capabilities of each program. The analysis shows that grammar checking programs that are part of word processing programs (e.g., Word Perfect and Microsoft Word) are easier to use, but lack key components that permit modification of advice messages and tutorial information, or addition of new error patterns. The evaluation of accuracy examines program performance in terms of error types the programs were designed to identify in relation to errors common in ESL writing. In a test of sample sentences, the overall accuracy rate for the most successful program, Grammatik 5, was only 50%. Microsoft Word and Correct Grammar were second with 42%; Right Writer 6.0 was the weakest, with a score of 25%. Program accuracy was substantially reduced in analysis of a sample student essay. Microsoft Word and Correct Grammar performed best, but with only 21% accuracy. The score of Grammatik 5 was reduced to 17%, and that of Right Writer 6.0 to 13%. This suggests that student writing contains a larger number of errors the programs cannot identify than do the test sentences. In addition, sentences in the essay contained multiple errors, while most of the test sentences contained only one error. Low accuracy rates might be improved by rule modification features of standalone versions of programs such as Grammatik 5 and Correct Grammar.
APA, Harvard, Vancouver, ISO, and other styles
5

Liang, Hsuan Lorraine. "Spell checkers and correctors : a unified treatment." Diss., Pretoria : [s.n.], 2009. http://upetd.up.ac.za/thesis/available/etd-06252009-163007/.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Chee, Chong Hin. "Totally-self-checking balance checkers and window comparators." Thesis, University of Hull, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.389293.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Lee, Chris Y. "Full Custom VLSI Design of On-Line Stability Checkers." DigitalCommons@CalPoly, 2011. https://digitalcommons.calpoly.edu/theses/607.

Full text
Abstract:
A stability checker is a clocked storage element, much like a flip-flop, which detects unstable and late signals in the pipeline of a digital system. The On-line stability checker operates concurrently with its associated circuit-under-test (CUT). This thesis describes the full custom very-large-scale integration (VLSI) design and testing process of On-Line Stability Checkers. The goals of this thesis are to construct and test Stability Checker designs, and to create a design template for future class projects in the EE 431 Computer-Aided Design (CAD) of VLSI Devices course at Cal Poly. A method for concurrent fault testing called On-line Stability Checking was introduced by Franco and McCluskey [10] to detect reliability failures. Reliability failures initially manifest themselves as delay faults and transient glitching, which become progressively larger over time due to the wearout of conducting metal lines, eventually leading to functional faults. Stability checkers periodically detect reliability failures by monitoring CUT output signals for unstable and late input signals over a time period after the sampling clock edge. The checkers are tested by applying variable delayed input test patterns to emulate reliability failures. Consequently, configurable delay chains were incorporated into the system to provide variable delays on the input signal lines. The system also includes external test signal ports. Circuit and layout designs were implemented in the Electric VLSI Design tool [12] and simulated with LTSPICE [13]. Electric provides Design Rule Checking (DRC) and Layout-versus-Schematic (LVS) utilities for verification. Each module was designed in a bottom-up, hierarchical cell-based approach. Functional simulation, DRC and LVS checks were performed at every subsequent higher cell layer in the design hierarchy. The final chip layout was taped out for fabrication on November 29, 2010 and finished parts were received on July 7, 2011 after two manufacturing delays. Finished packaged parts were successfully verified for functionality based on SPICE simulations. The stability checkers were tested for flip-flop operation, glitch detection and late signal arrival detection. Configurable delay chains were tested to determine delay resolution and uniformity. Actual delay resolution and range measurements show a 3 to 4 times difference compared to simulated values. The Electric design template created from this project includes basic CMOS logic gates with uniform standard cell heights. The template contains a 40-pin pad ring cell along with the individual pad ring components. EE 431 students would be able to create custom chips that are compatible for fabrication via the MOSIS MEP service. In future work, the template design library can be expanded to include more logic gate variants of various inputs and drive strengths as well as more complex functional modules.
APA, Harvard, Vancouver, ISO, and other styles
8

Netterström, Jonna, and Amanda Persson. "“Do we rely need tradisional spelling instruction when their are spell checkers?” : The correlation between spell checkers and spelling acquisition of the L2 learner." Thesis, Högskolan i Halmstad, Akademin för lärande, humaniora och samhälle, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-42332.

Full text
Abstract:
This study aimed to investigate in which ways spell checkers affect L2 learners’ spelling acquisition and whether or not they are suitable for educational purposes. A systematic literature review and a survey were conducted to retrieve data. Further, a phenomenographic approach was applied throughout the study. The results of the study showed that in order forspell checkers to function as an aid for the L2 learners’ spelling acquisition, the learner needs to consciously engage in explicit learning to be able to utilize the aid. Therefore, spell checkers require learners to use individual responsibility. The results also showed that spell checkers need improvements in order to fully function in educational purposes since current spell checkers have limitations as far as detecting errors.
APA, Harvard, Vancouver, ISO, and other styles
9

Larsson, Fredrik. "Efficient implementation of model-checkers for networks of timed automata." Licentiate thesis, Uppsala universitet, Avdelningen för datorteknik, 2000. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-226511.

Full text
Abstract:
Since real-time systems often operate in safety-critical environments it is extremely important that they function correctly. UPPAAL is a tool that can be used for validation and verification of real-time systems. The user models the system using networks of timed automata and uses a simple logic to express safety requirements that the modelled system must satisfy to guarantee its correct behaviour. UPPAAL then performs reachability analysis using constraint solving techniques to check if the model satisfies the given requirements. In addition, the tool is also able to provide the user with a sample execution that explains why a requirement is (or is not) satisfied by the model. The analysis is fully automated. This thesis describes various techniques adopted when implementing UPPAAL. Some of the techniques have improved the performance of UPPAAL significantly. We have studied the techniques with performance measurements in several case-studies. One of the main contributions is the comparison of different strategies in implementing the basic data structures and searching algorithms. The measurements can be used as hints on what parts of the model-checker that are most important to optimise. Though the techniques are studied in the context of timed automata, we believe that they are applicable to the implementation of general software tools for automated analysis.
APA, Harvard, Vancouver, ISO, and other styles
10

Bampovits, Stefanos, and Amelie Löwe. "Do Software Code Smell Checkers Smell Themselves? : A Self Reflection." Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-97558.

Full text
Abstract:
Code smells are defined as poor implementation and coding practices, and as a result decrease the overall quality of a source code. A number of code smell detection tools are available to automatically detect poor implementation choices, i.e., code smells. The detection of code smells is essential in order to improve the quality of the source code. This report aims to evaluate the accuracy and quality of seven different open-source code smell detection tools, with the purpose of establishing their level of trustworthiness.To assess the trustworthiness of a tool, we utilize a controlled experiment in which several versions of each tool are scrutinized using the most recent version of the same tool. In particular, we wanted to verify to what extent the code smell detection tools that reveal code smells in other systems, contain smells themselves. We further study the evolution of code smells in the tools in terms of number, types of code smells and code smell density.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Checkers"

1

undifferentiated, John Marsden. Checkers. Würzburg: Arena-Taschenbuch, 2000.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Smith, Pamela Rose. Checkers. Ithaca, N.Y. (104 Autum Ridge Circle, Ithaca, 14850): P.R. Smith, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

John, Marsden. Checkers. Sydney: Pan Macmillan Australia, 1996.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gorodetsḳi, Binyomin. A inṭerṿyu miṭ zikh aleyn. Mosḳṿe: Farlag "Soṿeṭsḳi pisaṭel", 1987.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Getmanskiĭ, A. Ė. Shashechnye batalii na stokletochnoĭ doske: Statisticheskiĭ analiz chempionatov SSSR po mezhdunarodnym shashkam, 1954-1991. Tula: Infra, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Pu̇rėvdorzh, T. Khȯlȯg dėėr bichsėn tu̇u̇kh. Ulaanbaatar: "Mȯnkhiĭn U̇sėg" KhKhK, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Fazylov, Markiėl. Ispovedʹ chempiona mira. [Ierusalim?]: Sogdiana, 2020.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Boulé, Marc, and Zeljko Zilic. Generating Hardware Assertion Checkers. Dordrecht: Springer Netherlands, 2008. http://dx.doi.org/10.1007/978-1-4020-8586-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Pask, Richard. Starting out in checkers. London: Everyman Publishers, 2001.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Kaplan, Vladimir M. Play checkers and win. New York: V. Kaplan, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Checkers"

1

Cerny, Eduard, Surrendra Dudani, John Havlicek, and Dmitry Korchemny. "Checkers." In The Power of Assertions in SystemVerilog, 447–87. Boston, MA: Springer US, 2010. http://dx.doi.org/10.1007/978-1-4419-6600-1_21.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Khan, Gul Muhammad. "Checkers." In Evolution of Artificial Neural Development, 107–24. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-67466-7_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cerny, Eduard, Surrendra Dudani, John Havlicek, and Dmitry Korchemny. "Checkers." In SVA: The Power of Assertions in SystemVerilog, 187–223. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-07139-8_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Mehta, Ashok B. "Checkers." In System Verilog Assertions and Functional Coverage, 335–52. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-24737-9_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Mehta, Ashok B. "Checkers." In Introduction to SystemVerilog, 689–704. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71319-5_20.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Fleisher, Paul. "Checkers Variations." In Brain Food 100+ Games That Make Kids Think, 57–70. New York: Routledge, 2021. http://dx.doi.org/10.4324/9781003233350-7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Gupta, Priyanshi, Vividha, and Preeti Nagrath. "Checkers-AI." In Deep Learning in Gaming and Animations, 1–18. Boca Raton: CRC Press, 2021. http://dx.doi.org/10.1201/9781003231530-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Martin, Eric, Samuel Kaski, Fei Zheng, Geoffrey I. Webb, Xiaojin Zhu, Ion Muslea, Kai Ming Ting, et al. "Samuel’s Checkers Player." In Encyclopedia of Machine Learning, 881. Boston, MA: Springer US, 2011. http://dx.doi.org/10.1007/978-0-387-30164-8_740.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Micali, Silvio. "Computationally-sound checkers." In Mathematical Foundations of Computer Science 1998, 94–116. Berlin, Heidelberg: Springer Berlin Heidelberg, 1998. http://dx.doi.org/10.1007/bfb0055760.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Namjoshi, Kedar S. "Certifying Model Checkers." In Computer Aided Verification, 2–13. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-44585-4_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Checkers"

1

Dash, Santanu Kumar, Fan Wu, Michail Basios, Lingbo Li, and Leslie Kanthan. "Checkers." In ICSE '20: 42nd International Conference on Software Engineering. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3387940.3392173.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ergün, Funda, Sampath Kannan, S. Ravi Kumar, Ronitt Rubinfeld, and Mahesh Viswanathan. "Spot-checkers." In the thirtieth annual ACM symposium. New York, New York, USA: ACM Press, 1998. http://dx.doi.org/10.1145/276698.276757.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

An Lin, Wei, Meng-Cong Zheng, and Li-Jen Wang. "Exploring the Usability and User Experience of the Symptom Checker Interface." In 15th International Conference on Applied Human Factors and Ergonomics (AHFE 2024). AHFE International, 2024. http://dx.doi.org/10.54941/ahfe1004836.

Full text
Abstract:
The symptom checker is an application designed to assist patients in self-assessment and provide recommendations on whether they should see the doctor. In the United States, many healthcare websites have provided symptom checkers as a service, whether for educational purposes or to enhance the patient's healthcare experience. Research indicates that symptom checkers must be more transparent and accessible for the users. Users must be able to trust the recommendations of the symptom checker for it to be effective. Therefore, the aim of this study is (1) To test whether the symptom checker can provide users with practical medical advice through clinical cases and (2) To examine whether the interface and features of the symptom checker affect user trust and experience.This study surveyed medical websites that currently offer symptom checkers. Two symptom checkers were ultimately selected for the study based on the symptom checker coverage of medical conditions, diagnostic accuracy, and appropriateness of medical advice. A total of 30 participants were invited to participate in the experiment to evaluate the usability of the symptom checker interfaces. Six clinical vignettes were provided during the experiment as scenarios of symptom inquiries. The evaluation methods included: (1) Tasks performed by think aloud method, (2) completing the questionnaire of SUS (System Usability Scale), UEQ (User Experience Questionnaire), and a DAS(Decision Attitude Scale), (3) conducting semi-structured interviews to gain in-depth insights into participants' experiences, perceptions, and recommendations regarding their interactions with the symptom checker.The results revealed that the SUS scores of the two symptom checkers were 67.5 (Grade D) and 47.5 (Grade F), respectively, failing to meet the acceptable standards of the SUS score. Furthermore, the pragmatic and hedonic quality of the UEQ scale didn't meet the criteria. Through the semi-structured interview, we found that: (1) participants' accuracy in identifying diseases was only 48% and 53%, and the majority of participants indicated that they would consider the results of the symptom checker just a suggestion. (2) 70% of participants thought detailed descriptions of symptoms and treatment methods could help increase trust and understanding of the conditions. (3) 67% of participants indicated that human body model feature assistance helped describe their physical condition. These results help us understand user behavior in the symptom checker interface and their sense of trust in the symptom checker, providing valuable insights for future design improvements.
APA, Harvard, Vancouver, ISO, and other styles
4

Vo, Nguyen, and Kyumin Lee. "Learning from Fact-checkers." In SIGIR '19: The 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3331184.3331248.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Cooper, Nicholas, Aaron Keatley, Maria Dahlquist, Simon Mann, Hannah Slay, Joanne Zucco, Ross Smith, and Bruce H. Thomas. "Augmented Reality Chinese Checkers." In the 2004 ACM SIGCHI International Conference. New York, New York, USA: ACM Press, 2004. http://dx.doi.org/10.1145/1067343.1067357.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

""FACT CHECKERS IN DEMOCRACY: PERCEPTION OF INDEPENDENT FACT CHECKERS AND NEWS ORGANIZATIONS"." In International Conferences on E-Society 2023 and Mobile Learning 2023. IADIS Press, 2023. http://dx.doi.org/10.33965/es_ml2023_202301l023.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

""FACT CHECKERS IN DEMOCRACY: PERCEPTION OF INDEPENDENT FACT CHECKERS AND NEWS ORGANIZATIONS"." In International Conferences on E-Society 2023 and Mobile Learning 2023. IADIS Press, 2023. http://dx.doi.org/10.33965/es_ml2023_202302l023.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Mammo, B., D. Chatterjee, D. Pidan, A. Nahir, A. Ziv, R. Morad, and V. Bertacco. "Approximating checkers for simulation acceleration." In 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE 2012). IEEE, 2012. http://dx.doi.org/10.1109/date.2012.6176449.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Yao, A. C. C. "Coherent functions and program checkers." In the twenty-second annual ACM symposium. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/100216.100226.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Gupta, S. K., and D. K. Pradhan. "Can concurrent checkers help BIST?" In Proceedings International Test Conference 1992. IEEE, 1992. http://dx.doi.org/10.1109/test.1992.527814.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Checkers"

1

Black, Paul E., Paul Ammann, and Wei Ding. Model checkers in software testing. Gaithersburg, MD: National Institute of Standards and Technology, 2002. http://dx.doi.org/10.6028/nist.ir.6777.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gaynor, Robert. Computer Grammar Checkers and ESL Writers. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.6679.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Kannan, Sampath. Checkers, Self-Testers, and Self-Correctors for Reactive Systems. Fort Belvoir, VA: Defense Technical Information Center, July 2001. http://dx.doi.org/10.21236/ada399009.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Magallón-Rosa, Raúl, Juan Pedro Molina-Cañabate, Carolina Fernández-Castrillo, Francisco Seoane-Pérez, Miriam Garriga, Miguel Paisana, Paulo Couraceiro, et al. IBERIFIER Reports – Needs and challenges for Iberian fact-checkers. Servicio de Publicaciones de la Universidad de Navarra, 2024. http://dx.doi.org/10.15581/026.007.

Full text
Abstract:
The aim of this report is to analyse disinformation consumption patterns in Spain and Portugal. To do so, and first of all, we analyse the background and state of the question in a context of evolution of the forms of consumption, platforms, disinformation narratives and their adaptation to current events.
APA, Harvard, Vancouver, ISO, and other styles
5

Cantón-Correa, J., J. Gómez-Romero, A. Montoro-Montarroso, and M. J. Molina-Solana. Iberifier Report. Needs and challenges for Iberian fact-checkers. Servicio de Publicaciones de la Universidad de Navarra, 2024. http://dx.doi.org/10.15581/026.008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Lala, P. K., and A. Walker. Modular Implementation of Efficient Self-Checking Checkers for the Berger Code. Fort Belvoir, VA: Defense Technical Information Center, March 1996. http://dx.doi.org/10.21236/ada310441.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Haeck, Wim, Jeremy Lloyd Conlin, Austin Paul McCartney, and Donald Kent Parsons. Continuous-Energy Data Checks. Office of Scientific and Technical Information (OSTI), May 2016. http://dx.doi.org/10.2172/1254931.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

LaPorta, Rafael, Florencio Lopez-de-Silane, Cristian Pop-Eleches, and Andrei Shleifer. Judicial Checks and Balances. Cambridge, MA: National Bureau of Economic Research, June 2003. http://dx.doi.org/10.3386/w9775.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Wright, B. L. String-survey results from the CHECKPRO exercise. Office of Scientific and Technical Information (OSTI), August 1994. http://dx.doi.org/10.2172/10171596.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Zhylenko, Tetyana I. Auto Checker of Higher Mathematics - an element of mobile cloud education. [б. в.], July 2020. http://dx.doi.org/10.31812/123456789/3895.

Full text
Abstract:
We analyzed the main cloud services in the article. We also described the main contribution of mobile cloud technology to education. The article presents the author’s development from the field of mobile cloud education in higher mathematics. The design architecture of this application is described in detail: QR generator and scanner, authorization, sending tasks. Block diagrams and images are presented that clearly demonstrate the operation of the application. We showed an example of solving the integral from the section of integral calculus for higher mathematics and showed how to download the answer in the form of a QR code and find out whether it is correct or incorrect (this can be seen by the color on the smart phone screen). It is shown how this technology helps the teacher save time for checking assignments completed by students. This confirms its effectiveness. Such an application provides students and teachers with the ability to store and process data on a cloud computing platform.
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Checkers' for particular source types:
Journal articles Dissertations / Theses Books
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!

To the bibliography