Works matching DE "CONFIRMATION (Logic)"

Results: 378

Evidentiality in discourse.

Published in:

Intercultural Pragmatics, 2014, v. 11, n. 3, p. 321, doi. 10.1515/ip-2014-0015

By:

Fetzer, Anita;
Oishi, Etsuko

Publication type:

Article

A Low Complexity Fingerprint Verification Algorithm with Reduced Hardware Resources.

Published in:

Journal of Information Science & Engineering, 2008, v. 24, n. 3, p. 859

By:

Jia-Hong Dai;
Ching-Han Chen

Publication type:

Article

Hypothesis Testing in Unidentified Models.

Published in:

Review of Economic Studies, 1986, v. 53, n. 4, p. 635, doi. 10.2307/2297609

By:

Breusch, Trevor S.

Publication type:

Article

Usefulness of biological fingerprint in magnetic resonance imaging for patient verification.

Published in:

2016

By:

Ueda, Yasuyuki;
Morishita, Junji;
Kudomi, Shohei;
Ueda, Katsuhiko

Publication type:

journal article

Factors that influence the independence of EIA follow-up verifiers: a developing country perspective.

Published in:

Impact Assessment & Project Appraisal, 2013, v. 31, n. 3, p. 169, doi. 10.1080/14615517.2013.820510

By:

Wessels, Jan-Albert

Publication type:

Article

Timed-automata based schedulability analysis for distributed firm real-time systems: a case study.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 3, p. 211, doi. 10.1007/s10009-012-0245-y

By:

Le, Thi;
Palopoli, Luigi;
Passerone, Roberto;
Ramadian, Yusi

Publication type:

Article

Runtime verification of concurrency-specific correctness criteria.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 291, doi. 10.1007/s10009-011-0210-1

By:

Qadeer, Shaz;
Tasiran, Serdar

Publication type:

Article

A Critical Review of the Theory of the Precedence of Action Over Belief with Emphasis on John Cottingham's View.

Published in:

Journal of Philosophical Theological Research, 2023, v. 25, n. 2, p. 57, doi. 10.22091/jptr.2023.9254.2871

By:

Khayatzadeh, Mahdi

Publication type:

Article

Lightweight one‐time password authentication scheme based on radio‐frequency fingerprinting.

Published in:

IET Communications (Wiley-Blackwell), 2018, v. 12, n. 11, p. 1477, doi. 10.1049/iet-com.2018.0023

By:

Chen, Yi;
Wen, Hong;
Song, Huanhuan;
Chen, Songlin;
Xie, Feiyi;
Yang, Qing;
Hu, Lin

Publication type:

Article

How to Relate Models to Reality? An Epistemological Framework for the Validation and Verification of Computational Models.

Published in:

Journal of Artificial Societies & Social Simulation, 2018, v. 21, n. 3, p. 1, doi. 10.18564/jasss.3772

By:

Grabner, Claudius

Publication type:

Article

Towards the Formal Development of Software Based Systems: Access Control System as a Case Study.

Published in:

Information Technology & Control, 2018, v. 47, n. 3, p. 393, doi. 10.5755/j01.itc.47.3.20330

By:

Boucherit, Ammar;
Castro, Laura M.;
Khababa, Abdallah;
Hasan, Osman

Publication type:

Article

How Fundamental is the Fundamental Assumption?

Published in:

Teorema, 2012, v. 31, n. 2, p. 5

By:

Kürbis, Nils

Publication type:

Article

INTRODUCTION: Knowledge and Verification.

Published in:

Social Analysis, 2003, v. 47, n. 1, p. 1, doi. 10.3167/015597703782353050

By:

Jordt, Ingrid;
Applbaum, Kalman

Publication type:

Article

The Concept of the Auditory Training for Blind and Visually Impaired Children and Teenagers.

Published in:

Acta Physica Polonica: A, 2014, v. 125, n. 4A, p. A-31, doi. 10.12693/APhysPolA.125.A-31

By:

SKRODZKA, E.;
MACIĄGOWSKI, M.;
FURMANN, A.

Publication type:

Article

TLP volume 12 issue 6 Cover and Back matter.

Published in:: Theory & Practice of Logic Programming, 2012, v. 12, n. 6, p. b1, doi. 10.1017/S1471068412000415
Publication type:: Article

Confirmation, Increase in Probability, and the Likelihood Ratio Measure: a Reply to Glass and McCartney.

Published in:

Acta Analytica, 2017, v. 32, n. 4, p. 491, doi. 10.1007/s12136-017-0322-7

By:

Roche, William

Publication type:

Article

A New Argument for the Likelihood Ratio Measure of Confirmation.

Published in:

Acta Analytica, 2015, v. 30, n. 1, p. 59, doi. 10.1007/s12136-014-0228-6

By:

Glass, David;
McCartney, Mark

Publication type:

Article

THE IRREPRESSIBLE MYTHS OF BARCHRIS.

Published in:

Delaware Journal of Corporate Law, 2012, v. 37, n. 2, p. 411

By:

LEAHY, JOSEPH K.

Publication type:

Article

Presentism and The Grounding Objection.

Published in:

Nous (0029-4624), 2007, v. 41, n. 1, p. 118, doi. 10.1111/j.1468-0068.2007.00639.x

By:

Crisp, Thomas M.

Publication type:

Article

What is Relative Confirmation?

Published in:

Nous (0029-4624), 1997, v. 31, n. 3, p. 370, doi. 10.1111/0029-4624.00050

By:

Christensen, David

Publication type:

Article

Specification, verification, and quantification of security in model-based systems.

Published in:

Computing, 2015, v. 97, n. 7, p. 691, doi. 10.1007/s00607-015-0445-x

By:

Ouchani, Samir;
Debbabi, Mourad

Publication type:

Article

Issue Information.

Published in:: Software Testing: Verification & Reliability, 2016, v. 26, n. 8, p. 543, doi. 10.1002/stvr.1591
Publication type:: Article

THE AMBIGUITY OF KNOWABILITY.

Published in:

Review of Symbolic Logic, 2016, v. 9, n. 3, p. 421, doi. 10.1017/S1755020315000416

By:

KOOI, BARTELD

Publication type:

Article

CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS.

Published in:

Review of Symbolic Logic, 2015, v. 8, n. 3, p. 506, doi. 10.1017/S1755020314000409

By:

FRENCH, ROHAN;
RIPLEY, DAVID

Publication type:

Article

A NOVEL AND PRACTICAL SYSTEM FOR VERIFYING SIGNATURES ON PERSIAN HANDWRITTEN BANK CHECKS.

Published in:

International Journal of Pattern Recognition & Artificial Intelligence, 2012, v. 26, n. 6, p. -1, doi. 10.1142/S0218001412560149

By:

FOROOZANDEH, ATEFEH;
AKBARI, YOUNES;
JALILI, MOHAMMAD J.;
SADRI, JAVAD

Publication type:

Article

CLASSIFIER COMBINATION AND ITS APPLICATION IN IRIS RECOGNITION.

Published in:

International Journal of Pattern Recognition & Artificial Intelligence, 2008, v. 22, n. 3, p. 617, doi. 10.1142/S0218001408006314

By:

FENG, XINHUA;
DING, XIAOQING;
WU, YOUSHOU;
WANG, PATRICK S. P.

Publication type:

Article

COMPARISON OF ROC AND LIKELIHOOD DECISION METHODS IN AUTOMATIC FINGERPRINT VERIFICATION.

Published in:

International Journal of Pattern Recognition & Artificial Intelligence, 2008, v. 22, n. 3, p. 535, doi. 10.1142/S0218001408006326

By:

SRIHARI, SARGUR N.;
SRINIVASAN, HARISH

Publication type:

Article

SVD-BASED SIGNATURE VERIFICATION TECHNIQUE USING DATA GLOVE.

Published in:

International Journal of Pattern Recognition & Artificial Intelligence, 2008, v. 22, n. 3, p. 431, doi. 10.1142/S0218001408006387

By:

KAMEL, NIDAL S.;
SAYEED, SHOHEL

Publication type:

Article

ROBUST PROFILE VERIFICATION SCHEME BASED ON EAR REFERENCE COORDINATE SYSTEM.

Published in:

International Journal of Pattern Recognition & Artificial Intelligence, 2004, v. 18, n. 4, p. 685, doi. 10.1142/S0218001404003320

By:

Kim, Byung-Gyu;
Jung, Sung-Yun;
Park, Dong-Jo

Publication type:

Article

Truth and epistemic value.

Published in:

European Journal of Philosophy, 2018, v. 26, n. 3, p. 1057, doi. 10.1111/ejop.12345

By:

Treanor, Nick

Publication type:

Article

Bayesian coherentism and the problem of measure sensitivity.

Published in:

Logic Journal of the IGPL, 2016, v. 24, n. 4, p. 584, doi. 10.1093/jigpal/jzw028

By:

SCHIPPERS, MICHAEL

Publication type:

Article

Second-order probability affects hypothesis confirmation.

Published in:

Psychonomic Bulletin & Review, 2010, v. 17, n. 1, p. 129, doi. 10.3758/PBR.17.1.129

By:

Katya Tentori

Publication type:

Article

USING A META-LANGUAGE TO BRIDGE THE GAP BETWEEN NATURAL LANGUAGES AND COMPUTER LANGUAGES.

Published in:

Journal of Aeronautics & Space Technologies / Havacilik ve Uzay Teknolojileri Dergisi, 2007, v. 3, n. 2, p. 25

By:

Temizer, Selim

Publication type:

Article

Verification of PCN NDT certification.

Published in:: Insight: Non-Destructive Testing & Condition Monitoring, 2012, p. 4
Publication type:: Article

Is Quine a Verificationist?

Published in:

Southern Journal of Philosophy, 2003, v. 41, n. 3, p. 399, doi. 10.1111/j.2041-6962.2003.tb00959.x

By:

Raatikainen, Panu

Publication type:

Article

Model Checking Multi-agent Systems with APTL.

Published in:

Adhoc & Sensor Wireless Networks, 2017, v. 37, n. 1-4, p. 35

By:

HAIYANG WANG;
ZHENHUA DUAN;
CONG TIAN

Publication type:

Article

Knowledge Base Decomposition to Facilitate Verification.

Published in:

Information Systems Research, 2000, v. 11, n. 3, p. 260, doi. 10.1287/isre.11.3.260.12207

By:

Sarkar, Sumit;
Ramaswamy, Mysore

Publication type:

Article

DESIGNING EQUILIBRIA IN CONCURRENT GAMES WITH SOCIAL WELFARE AND TEMPORAL LOGIC CONSTRAINTS.

Published in:

Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 4, p. 21:1, doi. 10.46298/LMCS-20(4:21)2024

By:

GUTIERREZ, JULIAN;
NAJIB, MUHAMMAD;
PERELLI, GIUSEPPE;
WOOLDRIDGE, MICHAEL

Publication type:

Article

PARAMETERIZED SYNTHESIS.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:12)2014

By:

JACOBS, SWEN;
BLOEM, RODERICK

Publication type:

Article

MARKOV DECISION PROCESSES WITH MULTIPLE LONG-RUN AVERAGE OBJECTIVES.

Published in:

Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:13)2014

By:

BRÁZDIL, TOMÁŠ;
BROŽEK, VÁCLAV;
CHATTERJEE, KRISHNENDU;
FOREJT, VOJTĚCH;
KUČERA, ANTONÍN

Publication type:

Article

MODELING AND VERIFICATION OF INFINITE SYSTEMS WITH RESOURCES.

Published in:

Logical Methods in Computer Science (LMCS), 2013, v. 9, n. 4, p. 1, doi. 10.2168/LMCS-9(4:22)2013

By:

LANG, MARTIN;
LÖDING, CHRISTOF

Publication type:

Article

Verifying Conventional Force Reductions.

Published in:

Washington Quarterly, 1991, v. 14, n. 1, p. 133, doi. 10.1080/01636609109477670

By:

Hansen, Lynn M.

Publication type:

Article

Verification of five pharmacogenomics-based warfarin administration models.

Published in:

Indian Journal of Pharmacology, 2016, v. 48, n. 3, p. 258, doi. 10.4103/0253-7613.182876

By:

Meiqin Lin;
Liangping Yu;
Hanfan Qiu;
Qimin Wang;
Jing Zhang;
Hongtao Song

Publication type:

Article

Flexible and configurable verification policies with Omnibus.

Published in:

Software & Systems Modeling, 2008, v. 7, n. 3, p. 257, doi. 10.1007/s10270-007-0060-1

By:

Wilson, Thomas;
Maharaj, Savi;
Clark, Robert G.

Publication type:

Article

PROCEDURES OF RESEARCH THE QUALITY DEGRADATION WITH FORECAST OF THE STATE USING THE VIBRATION METHODS.

Published in:

Studies & Proceedings of Polish Association for Knowledge Management, 2016, n. 82, p. 96

By:

ŻÓŁTOWSKI, MARIUSZ

Publication type:

Article

基于B方法的道岔控制系统形式化建模与验证.

Published in:

Railway Signalling & Communication Engineering, 2022, v. 19, n. 6, p. 5, doi. 10.3969/j.issn.1673-4440.2022.06.002

By:

刘宁;
韩程;
王峥;
侯锡立;
王恪铭

Publication type:

Article

Application of mechanistic drying models in pharmaceuticals and other industries.

Published in:

Drying Technology, 2019, v. 37, n. 5, p. 600, doi. 10.1080/07373937.2018.1498878

By:

Kemp, Ian C.

Publication type:

Article

Propuesta de evaluación cualitativa en derechos humanos.

Published in:

Direito e Práxis, 2025, v. 16, n. 1, p. 1, doi. 10.1590/2179-8966/2025/78622

By:

Yoma, Solana María

Publication type:

Article

Computational logics and verification techniques of multi-agent commitments: survey.

Published in:

Knowledge Engineering Review, 2015, v. 30, n. 5, p. 564, doi. 10.1017/S0269888915000065

By:

El Menshawy, Mohamed;
Bentahar, Jamal;
El Kholy, Warda;
Yolum, Pinar;
Dssouli, Rachida

Publication type:

Article

A roadmap to pervasive systems verification.

Published in:

Knowledge Engineering Review, 2015, v. 30, n. 3, p. 324, doi. 10.1017/S0269888914000228

By:

Konur, Savas;
Fisher, Michael

Publication type:

Article