Works matching DE "CHECKERS"

Results: 107

Playing Checkers with Machines--from Ajeeb to Chinook.

Published in:

2015

By:

Kidwell, Peggy Aldrich

Publication type:

Essay

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:

Gallardo, María‐del‐Mar;
Panizo, Laura

Publication type:

Article

Symptom checkers versus doctors: A prospective, head‐to‐head comparison for cough.

Published in:

Clinical Respiratory Journal, 2020, v. 14, n. 4, p. 413, doi. 10.1111/crj.13135

By:

Berry, Andrew C.;
Berry, Nicholas A.;
Wang, Bin;
Mulekar, Madhuri S.;
Melvin, Anne;
Battiola, Richard J.;
Bulacan, Frederick K.;
Berry, Bruce B.

Publication type:

Article

A PROOF SYSTEM FOR GRAPH (NON)-ISOMORPHISM VERIFICATION.

Published in:

Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 1, p. 1, doi. 10.46298/LMCS-19(19)2023

By:

BANKOVIĆ, MILAN;
DRECUN, IVAN;
MARIĆ, FILIP

Publication type:

Article

The quality of diagnosis and triage advice provided by free online symptom checkers and apps in Australia.

Published in:

Medical Journal of Australia, 2021, v. 214, n. 3, p. 143, doi. 10.5694/mja2.50923

By:

Hill, Michella G;
Sim, Moira;
Mills, Brennen

Publication type:

Article

The quality of diagnosis and triage advice provided by free online symptom checkers and apps in Australia.

Published in:

Medical Journal of Australia, 2021, v. 214, n. 3, p. 143, doi. 10.5694/mja2.50917

By:

Gilbert, Stephen;
Wicks, Paul;
Novorol, Claire

Publication type:

Article

Will online symptom checkers improve health care in Australia?

Published in:

2020

By:

Dunn, Adam G

Publication type:

Editorial

The quality of diagnosis and triage advice provided by free online symptom checkers and apps in Australia.

Published in:

2020

By:

Hill, Michella G;
Sim, Moira;
Mills, Brennen

Publication type:

journal article

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:

Livingston, Eric

Publication type:

Article

Automated testing of metamodels and code co-evolution.

Published in:

Software & Systems Modeling, 2025, v. 24, n. 2, p. 573, doi. 10.1007/s10270-024-01245-2

By:

Kebaili, Zohra Kaouter;
Khelladi, Djamel Eddine;
Acher, Mathieu;
Barais, Olivier

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:

Oakes, Bentley James;
Troya, Javier;
Galasso, Jessie;
Wimmer, Manuel

Publication type:

Article

Systematic review of spell-checkers for highly inflectional languages.

Published in:

Artificial Intelligence Review, 2020, v. 53, n. 6, p. 4051, doi. 10.1007/s10462-019-09787-4

By:

Singh, Shashank;
Singh, Shailendra

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:

ZOU, RUI;
LIU, YUBIN;
CHU, GUOQING;
ZHAO, JIE;
CAI, HEGAO

Publication type:

Article

Automated Writing Evaluation: The Accuracy of Grammarly's Feedback on Form.

Published in:

International Journal of TESOL Studies, 2021, v. 3, n. 2, p. 71, doi. 10.46451/ijts.2021.06.06

By:

Dodigovic, Marina;
Tovmasyan, Artak

Publication type:

Article

FORMAL VERIFICATION OF STPA WITH MODEL CHECKING.

Published in:

Scientific Journal of Gdynia Maritme University, 2023, n. 125, p. 7, doi. 10.26408/125.01

By:

Ryeonggu Kwon;
Gihwon Kwon

Publication type:

Article

TRANSFINITE GAME VALUES IN INFINITE DRAUGHTS.

Published in:

Integers: Electronic Journal of Combinatorial Number Theory, 2022, v. 22, p. 1

By:

Hamkins, Joel David;
Leonessi, Davide

Publication type:

Article

half full or half empty?

Published in:

Journal: American Water Works Association, 2006, v. 98, n. 6, p. 76, doi. 10.1002/j.1551-8833.2006.tb07684.x

By:

Standish-Lee, Perri;
Loboschefsky, Erik;
Lecina, Krishna

Publication type:

Article

Diversions with John Gough.

Published in:

Australian Mathematics Teacher, 2010, v. 66, n. 4, p. 25

By:

Gough, John

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:

Kyprianos, Konstantinos;
Sifaki, Eirini;
Bantimaroudis, Philemon

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:

Fabris, Giuliano;
Scalera, Lorenzo;
Gasparetto, Alessandro

Publication type:

Article

Interactive Robot for Playing Russian Checkers.

Published in:

Robotics, 2020, v. 9, n. 4, p. 107, doi. 10.3390/robotics9040107

By:

Kopets, Ekaterina E.;
Karimov, Artur I.;
Kolev, Georgii Y.;
Scalera, Lorenzo;
Butusov, Denis N.

Publication type:

Article

Herramientas e inteligencias artificiales para la investigación científica.

Published in:

Dilemas Contemporáneos: Educación, Política y Valores, 2024, v. 12, n. 1, p. 1

By:

GarcíaAlcaraz, Jorge Luis;
Alcaraz, Pedro García;
RonquilloChávez, Cely Celene

Publication type:

Article

From Checkers to Chess: Using Social Science Lessons to Advance Wildfire Adaptation Processes.

Published in:

Journal of Forestry, 2021, v. 119, n. 6, p. 618, doi. 10.1093/jofore/fvab028

By:

Paveglio, Travis B

Publication type:

Article

Combined decongestive therapy including equine manual lymph drainage to assist management of chronic progressive lymphoedema in draught horses.

Published in:

Equine Veterinary Education, 2012, v. 24, n. 2, p. 81, doi. 10.1111/j.2042-3292.2011.00311.x

By:

Powell, H.;
Affolter, V. K.

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:

RODRIGUEZ-PEREZ, CARLOS;
SEIBT, TAÍS

Publication type:

Article

The Influence of Media Trust and Normative Role Expectations on the Credibility of Fact Checkers.

Published in:

Journalism Practice, 2024, v. 18, n. 5, p. 1137, doi. 10.1080/17512786.2022.2080102

By:

Primig, Florian

Publication type:

Article

Ukrainian Fact Checkers: Before and During the War.

Published in:

Ukrainian Quarterly, 2022, v. 78, n. 2, p. 27

By:

BILOUSENKO, OLHA

Publication type:

Article

Stomatal responses to drought at a Mediterranean site: a comparative study of co-occurring woody species differing in leaf longevity.

Published in:

Tree Physiology, 2003, v. 23, n. 14, p. 987, doi. 10.1093/treephys/23.14.987

By:

Sonia Mediavilla

Publication type:

Article

Children teaching children.

Published in:

Early Child Development & Care, 2007, v. 177, n. 1, p. 43, doi. 10.1080/03004430500317226

By:

Williams, Pia

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:

Vingen, David;
Andrews, Elias J.;
Ferati, Mexhid

Publication type:

Article

Retrolife and The Pawns Neighbors.

Published in:

College Mathematics Journal, 2012, v. 43, n. 2, p. 147, doi. 10.4169/college.math.j.43.2.147

By:

Elran, Yossi

Publication type:

Article

Program Proves That Checkers, Perfectly Played, Is a No-Win Situation/Checkers Is Solved.

Published in:

College Mathematics Journal, 2008, v. 39, n. 1, p. 81

By:

Starr, Norton

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:

Rashidi, Bahram

Publication type:

Article

Misadventure with the checkerboard.

Published in:

Mathematical Intelligencer, 1999, v. 21, n. 4, p. 36

By:

Shen, Alexander

Publication type:

Article

Estrategias para evaluar la confiabilidad de aplicaciones móviles en estudiantes de bachillerato.

Published in:

Didáctica de las Ciencias Experimentales y Sociales, 2025, n. 48, p. 145, doi. 10.7203/DCES.48.30174

By:

Aguilera, Mauricio;
López Simó, Víctor;
Domènech Amador, Núria

Publication type:

Article

Poetry and Psychoanalysis: The Opening of the Field.

Published in:

British Journal of Psychotherapy, 2024, v. 40, n. 4, p. 636, doi. 10.1111/bjp.12927

By:

Morgan, Neil

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:

ÖZTAŞ, Tayfun;
ÖZTAŞ, Gülin Zeynep

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:

Stoica, Laura Florentina;
Boian, Florian Mircea

Publication type:

Article

Internet or Archive? Expertise in Searching for Digital Sources on a Contentious Historical Question.

Published in:

Cognition & Instruction, 2022, v. 40, n. 4, p. 488, doi. 10.1080/07370008.2021.1908288

By:

McGrew, Sarah

Publication type:

Article

Using Grammar Checkers in an ESL Context: An Investigation of Automatic Corrective Feedback.

Published in:

CALICO Journal, 2020, v. 37, n. 2, p. 169, doi. 10.1558/cj.36523

By:

John, Paul;
Woll, Nina

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:

Denzin, Norman K.

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:

Rafe, Vahid;
Mohammady, Somayeh;
Cuevas, Erik

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:

JOE, BRYAN;
J., JUDITH JOHNSI;
C. M., DEEPA

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:

Radu, Andrei-Flavius;
Bungau, Simona Gabriela;
Corb Aron, Raluca Anca;
Tarce, Alexandra Georgiana;
Bodog, Ruxandra;
Bodog, Teodora Maria;
Radu, Ada

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:

Abram, Susan M

Publication type:

Article

Regret Minimization in Games and the Development of Champion Multiplayer Computer Poker-Playing Agents.

Published in:

Canadian Young Scientist Journal, 2014, v. 2014, n. 1, p. 4

By:

Gibson, Richard

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:

RICCI, CECELIA WAGNER;
GAVIN, SUSAN O’SULLIVAN

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:

Grami, Grami Mohammad A.

Publication type:

Article

The CC-version of Stewart's Theorem.

Published in:

Applied Sciences, 2009, v. 11, p. 68

By:

Gelişgen, Özcan;
Kaya, Rüstem

Publication type:

Article

On the regular polygons in the Chinese checker plane.

Published in:

Applied Sciences, 2008, v. 10, p. 29

By:

Bariş C.^Çolakoğlu, H.;
Kaya, Rüustem

Publication type:

Article