Works matching DE "CHECKERS"

Results: 104

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

VConMC: Enabling Consistency Verification for Distributed Systems Using Implementation-Level Model Checkers and Consistency Oracles.

Published in:

Electronics (2079-9292), 2024, v. 13, n. 6, p. 1153, doi. 10.3390/electronics13061153

By:

Kim, Beom-Heyn

Publication type:

Article

Accuracy of popular online symptom checkers for dermatological diagnoses.

Published in:

Clinical & Experimental Dermatology, 2022, v. 47, n. 2, p. 456, doi. 10.1111/ced.14960

By:

Drozdowski, R.;
Sinha, S.;
Lin, G.;
Feng, H.

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:

Graics, Bence;
Molnár, Vince;
Majzik, István

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

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

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

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

Misadventure with the checkerboard.

Published in:

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

By:

Shen, Alexander

Publication type:

Article

WHO'S IN AND WHO'S OUT UNDER WORKPLACE COVID SYMPTOM SCREENING?

Published in:

Journal of Policy Analysis & Management, 2021, v. 40, n. 2, p. 614, doi. 10.1002/pam.22288

By:

Ruffini, Krista;
Sojourner, Aaron;
Wozniak, Abigail

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

"DO YOU UNDERSTAND?" INTERACTIONAL STRATEGIES IN ELF NARRATIVES OF MIGRATION: A case study.

Published in:

Lingue e Linguaggi, 2020, v. 38, p. 87, doi. 10.1285/i22390359v38p85

By:

CATENACCIO, PAOLA

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

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

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

Less Is More: Seagrass Restoration Success Using Less Vegetation per Area.

Published in:

Sustainability (2071-1050), 2023, v. 15, n. 17, p. 12937, doi. 10.3390/su151712937

By:

Mourato, Carolina V.;
Padrão, Nuno;
Serrão, Ester A.;
Paulo, Diogo

Publication type:

Article

Feynman checkers: External electromagnetic field and asymptotic properties.

Published in:

Reviews in Mathematical Physics, 2024, v. 36, n. 7, p. 1, doi. 10.1142/S0129055X2450017X

By:

Ozhegov, Fedor

Publication type:

Article

Feynman checkers: Number-theoretic properties.

Published in:

Reviews in Mathematical Physics, 2023, v. 35, n. 9, p. 1, doi. 10.1142/S0129055X23500228

By:

Kuyanov, F.;
Slizkov, A.

Publication type:

Article

Feynman checkers: The probability to find an electron vanishes nowhere inside the light cone.

Published in:: Reviews in Mathematical Physics, 2022, v. 34, n. 7, p. 1, doi. 10.1142/S0129055X22500209
Publication type:: Article

Debunking practices and topics: Fact-checking agencies from the United Kingdom, France and Spain.

Published in:

Catalan Journal of Communication & Cultural Studies, 2024, v. 16, n. 2, p. 257, doi. 10.1386/cjcs_00112_1

By:

Hidalgo-Cobo, Pablo;
López-Marcos, Casandra;
Puebla-Martínez, Belén

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

Twentieth Century Checkers.

Published in:

1946

By:

C. L. D.

Publication type:

Book Review

Checker Board Strategy Made Easy.

Published in:

1946

By:

C. L. D.

Publication type:

Book Review

Low-Power Area-Efficient Fault Tolerant Adder in Current Mode Multi Valued Logic Using Berger Codes.

Published in:

Journal of Electronic Testing, 2020, v. 36, n. 4, p. 555, doi. 10.1007/s10836-020-05887-0

By:

Mohammadi, Shahram;
Omidi, Reza;
Lotfinejad, Mohammad

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

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

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

«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:

Sgroi, Salvatore Claudio

Publication type:

Article

Fire Evacuation in Metro Stations: Modeling Research on the Effects of Two Key Parameters.

Published in:

Sustainability (2071-1050), 2020, v. 12, n. 2, p. 684, doi. 10.3390/su12020684

By:

Wang, Chen;
Song, Yanchao

Publication type:

Article

THE WEST AFRICAN SPORTS OFFICIAL.

Published in:

Paideuma: Mitteilungen zur Kulturkunde, 2013, v. 59, p. 77

By:

van Beek, Walter E.A.

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

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

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:

Brown, Jason I.;
Knight, Erick;
Wolfe, David

Publication type:

Article

Artificial intelligence—friend or foe in fake news campaigns.

Published in:

Economics & Business Review, 2023, v. 9, n. 2, p. 41, doi. 10.18559/ebr.2023.2.736

By:

Węcel, Krzysztof;
Sawiński, Marcin;
Stróżyna, Milena;
Lewoniewski, Włodzimierz;
Księżniak, Ewelina;
Stolarski, Piotr;
Abramowicz, Witold

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

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:

Stans, Jelle

Publication type:

Article

Glossing Over: How Magazine Fact Checkers Use Conditional Self-Presentation to Straddle Glamour and Dreariness in Their Work.

Published in:

Journal of Organizational Psychology, 2020, v. 20, n. 1, p. 82, doi. 10.33423/jop.v20i1.2762

By:

Spataro, Sandra E.;
Cohen, Lisa E.

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:

Bril, Marco

Publication type:

Article

Oversensitivity and overgeneralization of the error withdrawal response in different obsessive-compulsive traits.

Published in:

Current Psychology, 2020, v. 39, n. 4, p. 1314, doi. 10.1007/s12144-018-9835-5

By:

Hochman, Eldad Yitzhak;
Tal, Liron

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

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:

Stoica, Laura F.;
Stoica, Florin

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:

Nam, Wonhong;
Yang, Haejin;
Kil, Hyunyoung

Publication type:

Article

Fashion's Measure: Preaching, Chronicle-Writing, and the New Look of the 1340s.

Published in:

Fashion Theory: The Journal of Dress, Body & Culture, 2021, v. 25, n. 2, p. 157, doi. 10.1080/1362704X.2019.1627758

By:

Lugli, Emanuele

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