Works matching DE "CHECKERS"
Results: 94
Ethnomethodological studies of mediated interaction and mundane expertise.
- Published in:
- Sociological Review, 2006, v. 54, n. 3, p. 405, doi. 10.1111/j.1467-954X.2006.00623.x
- By:
- Publication type:
- Article
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis.
- Published in:
- Software & Systems Modeling, 2024, v. 23, n. 3, p. 737, doi. 10.1007/s10270-023-01123-3
- By:
- Publication type:
- Article
Fault-tolerant and error-correcting 4-bit S-boxes for cryptography applications with multiple errors detection.
- Published in:
- Journal of Supercomputing, 2024, v. 80, n. 2, p. 1464, doi. 10.1007/s11227-023-05530-7
- By:
- Publication type:
- Article
A brief overview of animal symptom checkers.
- Published in:
- Open Veterinary Journal, 2020, v. 10, n. 1, p. 1, doi. 10.4314/ovj.v10i1.1
- By:
- Publication type:
- Article
Playing Checkers with Machines--from Ajeeb to Chinook.
- Published in:
- 2015
- By:
- Publication type:
- Essay
Disinformation narratives in Spain: reach, impact and spreading patterns.
- Published in:
- El Profesional de la Información, 2023, v. 32, n. 5, p. 1, doi. 10.3145/epi.2023.sep.08
- By:
- Publication type:
- Article
On the performance of modern digital grammar checkers for native and second language learners: A study of gender marking in French.
- Published in:
- Dutch Journal of Applied Linguistics (John Benjamins Publishing Co.), 2019, v. 8, n. 2, p. 228, doi. 10.1075/dujal.18009.bri
- By:
- Publication type:
- Article
THE BRAZILIAN FACT--CHECKERS CRITERIA: an analysis of the guiding purposes, principles, and routines of this journalistic practice.
- Published in:
- Brazilian Journalism Research, 2022, v. 18, n. 2, p. 350, doi. 10.25200/BJR.v18n2.2022.1510
- By:
- Publication type:
- Article
ATLDesigner: ATL Model Checking Using An Attribute Grammar.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2022, v. 32, n. 8, p. 1125, doi. 10.1142/S0218194022500450
- By:
- Publication type:
- Article
Winning Strategy Tree Construction for BDD-Based ATL Model Checkers.
- Published in:
- International Journal of Software Engineering & Knowledge Engineering, 2020, v. 30, n. 4, p. 555, doi. 10.1142/S0218194020500199
- By:
- Publication type:
- Article
Accuracy of online symptom checkers and the potential impact on service utilisation.
- Published in:
- PLoS ONE, 2021, v. 16, n. 7, p. 1, doi. 10.1371/journal.pone.0254088
- By:
- Publication type:
- Article
Child's Play and the Construction of Social Order.
- Published in:
- Quest (00336297), 1976, v. 26, n. 1, p. 48, doi. 10.1080/00336297.1976.10519868
- By:
- Publication type:
- Article
Deciphering the Intricate Interplay in the Framework of Antibiotic-Drug Interactions: A Narrative Review.
- Published in:
- Antibiotics (2079-6382), 2024, v. 13, n. 10, p. 938, doi. 10.3390/antibiotics13100938
- By:
- Publication type:
- Article
Chess, Not Checkers: The Complexities of Historic Creek Diplomacy.
- Published in:
- Diplomatic History, 2023, v. 47, n. 5, p. 890, doi. 10.1093/dh/dhad051
- By:
- Publication type:
- Article
„DIE SPRACH-CHECKER - SO SPRECHEN WIR IN DER NECKARSTADT": REFLEXION EINES CITIZEN-SCIENCE-PROJEKTS MIT KINDERN UND JUGENDLICHEN.
- Published in:
- Sprachreport, 2024, v. 40, n. 3, p. 26, doi. 10.14618/sr-3-2024_roe
- By:
- Publication type:
- Article
Draughts and other checker games.
- Published in:
- Australian Mathematics Education Journal (AMEJ), 2019, v. 1, n. 2, p. 4
- By:
- Publication type:
- Article
Diversions with John Gough.
- Published in:
- Australian Mathematics Teacher, 2010, v. 66, n. 4, p. 25
- By:
- Publication type:
- Article
Digital gatekeepers and website visitors of the Acropolis Museum: revisiting gatekeeping theory in the cultural domain.
- Published in:
- Museum Management & Curatorship, 2020, v. 35, n. 4, p. 409, doi. 10.1080/09647775.2019.1630851
- By:
- Publication type:
- Article
Children teaching children.
- Published in:
- Early Child Development & Care, 2007, v. 177, n. 1, p. 43, doi. 10.1080/03004430500317226
- By:
- Publication type:
- Article
Playing Checkers with an Intelligent and Collaborative Robotic System †.
- Published in:
- Robotics, 2024, v. 13, n. 1, p. 4, doi. 10.3390/robotics13010004
- By:
- Publication type:
- Article
Interactive Robot for Playing Russian Checkers.
- Published in:
- Robotics, 2020, v. 9, n. 4, p. 107, doi. 10.3390/robotics9040107
- By:
- Publication type:
- Article
Efficient compliance checking of RDF data.
- Published in:
- Journal of Logic & Computation, 2023, v. 33, n. 8, p. 1753, doi. 10.1093/logcom/exad034
- By:
- Publication type:
- Article
An Evaluation of Online and Automated English Writing Assistants: Collocations and Idioms Checkers.
- Published in:
- International Journal of Emerging Technologies in Learning, 2020, v. 15, n. 4, p. 218, doi. 10.3991/ijet.v15i04.11782
- By:
- Publication type:
- Article
Using Bayesian optimization algorithm for model-based integration testing.
- Published in:
- Soft Computing - A Fusion of Foundations, Methodologies & Applications, 2022, v. 26, n. 7, p. 3503, doi. 10.1007/s00500-021-06476-9
- By:
- Publication type:
- Article
ONLINE ACTIVE ENSEMBLE LEARNING FOR ROBOT COLLISION DETECTION IN DYNAMIC ENVIRONMENTS.
- Published in:
- Journal of Mechanics in Medicine & Biology, 2021, v. 21, n. 4, p. N.PAG, doi. 10.1142/S0219519421500354
- By:
- Publication type:
- Article
Parity Party with Picture Proofs: An Odd Checkerboard Problem.
- Published in:
- Mathematics Magazine, 2011, v. 84, n. 2, p. 142, doi. 10.4169/math.mag.84.2.142
- By:
- Publication type:
- Article
TRANSFINITE GAME VALUES IN INFINITE DRAUGHTS.
- Published in:
- Integers: Electronic Journal of Combinatorial Number Theory, 2022, v. 22, p. 1
- By:
- Publication type:
- Article
Component‐based specification, design and verification of adaptive systems.
- Published in:
- Systems Engineering, 2023, v. 26, n. 5, p. 567, doi. 10.1002/sys.21675
- By:
- Publication type:
- Article
Checking the Checkers: Evaluating the Readability of the SEC’s Plain English Handbook.
- Published in:
- Quarterly Journal of Finance & Accounting, 2022, v. 60, n. 3/4, p. 79
- By:
- Publication type:
- Article
Ukrainian Fact Checkers: Before and During the War.
- Published in:
- Ukrainian Quarterly, 2022, v. 78, n. 2, p. 27
- By:
- Publication type:
- Article
Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.
- Published in:
- Sensors (14248220), 2020, v. 20, n. 16, p. 4506, doi. 10.3390/s20164506
- By:
- Publication type:
- Article
The CC-version of Stewart's Theorem.
- Published in:
- Applied Sciences, 2009, v. 11, p. 68
- By:
- Publication type:
- Article
On the regular polygons in the Chinese checker plane.
- Published in:
- Applied Sciences, 2008, v. 10, p. 29
- By:
- Publication type:
- Article
Verified Propagation Redundancy and Compositional UNSAT Checking in CakeML.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 2, p. 167, doi. 10.1007/s10009-022-00690-y
- By:
- Publication type:
- Article
Go2Pins: a framework for the LTL verification of Go programs (extended version).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2023, v. 25, n. 1, p. 77, doi. 10.1007/s10009-022-00692-w
- By:
- Publication type:
- Article
An automated framework for verifying or refuting trace properties of extended finite state machines.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 949, doi. 10.1007/s10009-022-00666-y
- By:
- Publication type:
- Article
CPA/Tiger-MGP: test-goal set partitioning for efficient multi-goal test-suite generation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 6, p. 853, doi. 10.1007/s10009-020-00574-z
- By:
- Publication type:
- Article
Towards language-to-language transformation.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 655, doi. 10.1007/s10009-021-00630-2
- By:
- Publication type:
- Article
Cooperative verifier-based testing with CoVeriTest.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 3, p. 313, doi. 10.1007/s10009-020-00587-8
- By:
- Publication type:
- Article
An efficient statistical model checker for nondeterminism and rare events.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 6, p. 759, doi. 10.1007/s10009-020-00563-2
- By:
- Publication type:
- Article
Extracting safe thread schedules from incomplete model checking results.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2020, v. 22, n. 5, p. 565, doi. 10.1007/s10009-020-00575-y
- By:
- Publication type:
- Article
ONLINE GRAMMAR CHECKERS VERSUS SELF-EDITING: AN INVESTIGATION OF ERROR CORRECTION RATES AND WRITING QUALITY.
- Published in:
- Journal of Nusantara Studies, 2022, v. 7, n. 1, p. 441, doi. 10.24200/jonus.vol7iss1pp441-458
- By:
- Publication type:
- Article
De- and recoding algorithmic systems: The case of fact checkers and fact checked users.
- Published in:
- Convergence: The Journal of Research into New Media Technologies, 2024, v. 30, n. 6, p. 1919, doi. 10.1177/13548565241289233
- By:
- Publication type:
- Article
CREATING SECURE PASSWORDS THROUGH PERSONALIZED USER INPUTS.
- Published in:
- i-Manager's Journal on Computer Science, 2024, v. 12, n. 3, p. 39, doi. 10.26634/jcom.12.3.21147
- By:
- Publication type:
- Article
Usability in Patient-Oriented Drug Interaction Checkers—A Scandinavian Sampling and Heuristic Evaluation.
- Published in:
- Informatics, 2020, v. 7, n. 4, p. 42, doi. 10.3390/informatics7040042
- By:
- Publication type:
- Article
A Comparative Analysis of Factors Affecting the Selection of English Grammar Checkers with FUCOM and BWM.
- Published in:
- Çankırı Karatekin University Journal of the Faculty of Economics & Administrative Sciences, 2023, v. 13, n. 3, p. 1026, doi. 10.18074/ckuiibfd.1243457
- By:
- Publication type:
- Article
Extending model checkers for hybrid system verification: the case study of SPIN.
- Published in:
- Software Testing: Verification & Reliability, 2014, v. 24, n. 6, p. 438, doi. 10.1002/stvr.1505
- By:
- Publication type:
- Article
«L'eccezione fa la regola»: ma è proprio vero? A margine di un nuovo libro di Matteo Motolese.
- Published in:
- Zeitschrift für Romanische Philologie, 2023, v. 139, n. 2, p. 608, doi. 10.1515/zrp-2023-0020
- By:
- Publication type:
- Article
Games, Pastimes, and Leisure Pursuits.
- Published in:
- American Sociologist, 2012, v. 43, n. 1, p. 109, doi. 10.1007/s12108-012-9151-8
- By:
- Publication type:
- Article
ALGEBRAIC APPROACH TO IMPLEMENTING AN ATL MODEL CHECKER.
- Published in:
- Studia Universitatis Babes-Bolyai, Informatica, 2012, v. 57, n. 2, p. 73
- By:
- Publication type:
- Article