Works matching DE "CHECKERS"

Results: 102

Inductive general game playing.

Published in:

Machine Learning, 2020, v. 109, n. 7, p. 1393, doi. 10.1007/s10994-019-05843-w

By:

Cropper, Andrew;
Evans, Richard;
Law, Mark

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:

Tan, Yong Kiam;
Heule, Marijn J. H.;
Myreen, Magnus O.

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:

Kirszenberg, Alexandre;
Martin, Antoine;
Moreau, Hugo;
Renault, Etienne

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:

Taylor, Ramsay G.;
Foster, Michael;
North, Siobhán

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:

Kopetzki, Dawid;
Lybecait, Michael;
Naujokat, Stefan;
Steffen, Bernhard

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:

Ruland, Sebastian;
Lochau, Malte;
Fehse, Oliver;
Schürr, Andy

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:

Beyer, Dirk;
Jakobs, Marie-Christine

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:

Metzler, Patrick;
Suri, Neeraj;
Weissenbacher, Georg

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:

Budde, Carlos E.;
D'Argenio, Pedro R.;
Hartmanns, Arnd;
Sedwards, Sean

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

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

A fake news inoculation? Fact checkers, partisan identification, and the power of misinformation.

Published in:

Politics, Groups & Identities, 2020, v. 8, n. 5, p. 986, doi. 10.1080/21565503.2020.1803935

By:

Morris, David S.;
Morris, Jonathan S.;
Francia, Peter L.

Publication type:

Article

Screening Tools: Their Intended Audiences and Purposes. Comment on "Diagnostic Accuracy of Web-Based COVID-19 Symptom Checkers: Comparison Study".

Published in:

2021

By:

Millen, Elizabeth;
Gilsdorf, Andreas;
Fenech, Matthew;
Gilbert, Stephen

Publication type:

Letter

Authors' Reply to: Screening Tools: Their Intended Audiences and Purposes. Comment on "Diagnostic Accuracy of Web-Based COVID-19 Symptom Checkers: Comparison Study".

Published in:

2021

By:

Munsch, Nicolas;
Martin, Alistair;
Gruarin, Stefanie;
Nateqi, Jama;
Abdarahmane, Isselmou;
Weingartner-Ortner, Rafael;
Knapp, Bernhard

Publication type:

Letter

Benchmarking Triage Capability of Symptom Checkers Against That of Medical Laypersons: Survey Study.

Published in:

2021

By:

Schmieding, Malte L;
Mörgeli, Rudolf;
Schmieding, Maike A L;
Feufel, Markus A;
Balzer, Felix

Publication type:

journal 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

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

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

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

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

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

Temporal-difference search in computer Go.

Published in:

Machine Learning, 2012, v. 87, n. 2, p. 183, doi. 10.1007/s10994-012-5280-0

By:

Silver, David;
Sutton, Richard;
Müller, Martin

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

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

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:

Robaldo, Livio;
Pacenza, Francesco;
Zangari, Jessica;
Calegari, Roberta;
Calimeri, Francesco;
Siragusa, Giovanni

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

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

A Comparative Analysis of Three Online Drug-Drug Interaction Checkers: A Short Communication.

Published in:

Pesquisa Brasileira em Odontopediatria e Clinica Integrada, 2024, v. 24, p. 1, doi. 10.1590/pboci.2024.044

By:

Rodrigues de Aguilar, Diego;
Silva Cruz, Alex Junio;
Parreiras Martins, Maria Auxiliadora;
Nogueira Guimarães Abreu, Mauro Henrique

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

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

Connecting with Colleagues.

Published in:

Journal of College Admission, 2006, n. 191, p. 2

By:

Esperance Jr., Emmanuel;
Reilly, Mary Beth

Publication type:

Article

Security Enhancement in Cloud Environment using Secure Secret Key Sharing.

Published in:

Journal of Communications Software & Systems, 2020, v. 16, n. 4, p. 296, doi. 10.24138/jcomss.v16i3.964

By:

Chhabra, Sakshi;
Singh, Ashutosh Kumar

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

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:

Schjøtt, Anna;
Bengtsson, Mette

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

"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

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

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

Games, Pastimes, and Leisure Pursuits.

Published in:

American Sociologist, 2012, v. 43, n. 1, p. 109, doi. 10.1007/s12108-012-9151-8

By:

Livingston, Eric

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

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

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

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