Works matching DE "CONFIRMATION (Logic)"

Results: 374

Fault Diagnosis and Tolerant Control of Current Sensors Zero-Offset Fault in Multiphase Brushless DC Motors Utilizing Current Signals.

Published in:

Energies (19961073), 2025, v. 18, n. 9, p. 2243, doi. 10.3390/en18092243

By:

Chen, Wei;
Liu, Zhiqi;
Wang, Zhiqiang;
Li, Chen

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

Superaddressee or Who Will Succeed a Mentor?

Published in:

Studies in Philosophy & Education, 2006, v. 25, n. 3, p. 227, doi. 10.1007/s11217-005-3462-y

By:

Bryzzheva, Lyudmila

Publication type:

Article

Relevance and Verification.

Published in:

Philosophical Quarterly, 2021, v. 71, n. 3, p. 457, doi. 10.1093/pq/pqaa071

By:

Blumson, Ben

Publication type:

Article

When Critics Disagree: Prospects for Realism in Aesthetics.

Published in:

Philosophical Quarterly, 2014, v. 64, n. 257, p. 590, doi. 10.1093/pq/pqu044

By:

Ross, Stephanie

Publication type:

Article

Explanation and the New Riddle of Induction.

Published in:

Philosophical Quarterly, 2012, v. 62, n. 247, p. 365, doi. 10.1111/j.1467-9213.2012.00044.x

By:

Ward, Barry

Publication type:

Article

WITTGENSTEIN AND STRONG MATHEMATICAL VERIFICATIONISM.

Published in:

Philosophical Quarterly, 2006, v. 56, n. 224, p. 406, doi. 10.1111/j.1467-9213.2006.00449.x

By:

Panjvani, Cyrus

Publication type:

Article

Assume-guarantee verification of nonlinear hybrid systems with Ariadne.

Published in:

International Journal of Robust & Nonlinear Control, 2014, v. 24, n. 4, p. 699, doi. 10.1002/rnc.2914

By:

Benvenuti, Luca;
Bresolin, Davide;
Collins, Pieter;
Ferrari, Alberto;
Geretti, Luca;
Villa, Tiziano

Publication type:

Article

Shape optimization of cantilevered columns subjected to a rocket-based follower force and its experimental verification.

Published in:

Structural & Multidisciplinary Optimization, 2012, v. 46, n. 6, p. 829, doi. 10.1007/s00158-012-0796-2

By:

Sugiyama, Yoshihiko;
Langthjem, Mikael;
Iwama, Toshiki;
Kobayashi, Masakazu;
Katayama, Kazuo;
Yutani, Hiroshi

Publication type:

Article

Experimental Verification of the Bernstein Effect 'Repetition without Repetition'.

Published in:

Bulletin of Experimental Biology & Medicine, 2017, v. 163, n. 1, p. 1, doi. 10.1007/s10517-017-3723-0

By:

Zilov, V.;
Eskov, V.;
Khadartsev, A.

Publication type:

Article

How One Mistake Leads to Another: On the Importance of Verification/Replication.

Published in:

Political Analysis, 2004, v. 12, n. 2, p. 199, doi. 10.1093/pan/mph009

By:

Ward, Artemus

Publication type:

Article

No Influence of Masked Priming on the Multiplication Fact Retrieval in a Result Verification Task.

Published in:

Journal of Numerical Cognition (JNC), 2022, v. 8, n. 1, p. 202, doi. 10.5964/jnc.8319

By:

Didino, Daniele;
Brandtner, Matthias;
Knops, André

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 VERIFICATION OF THE ECONOMICAL CONDITIONS OF THE ACTIVE PERFECTING CUSTOMS REGIME.

Published in:

Juridical Current, 2009, v. 12, n. 1, p. 117

By:

Tudor, Florin

Publication type:

Article

WHY MUST WE TEACH VERIFICATION AND VALIDATION TO UNDERGRADUATES?

Published in:

Studia Universitatis Babes-Bolyai, Informatica, 2011, v. 56, n. 3, p. 39

By:

Frentiu, Militon;
Craciun, Florin

Publication type:

Article

Experimental verification of a theoretical error estimate for calculation of a response matrix.

Published in:

Russian Journal of Numerical Analysis & Mathematical Modelling, 2007, v. 22, n. 3, p. 221, doi. 10.1515/rnam.2007.22.3.221

By:

MARTYNOV, R. S.

Publication type:

Article

Bounding set calculation for neural network-based output feedback adaptive control systems.

Published in:

Neural Computing & Applications, 2011, v. 20, n. 3, p. 373, doi. 10.1007/s00521-010-0404-6

By:

Campa, Giampiero;
Fravolini, Mario;
Mammarella, Marco;
Napolitano, Marcello

Publication type:

Article

Verification of PCN NDT certification.

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

AXIOLOGIA E ÉTICA PROPOSICIONAL SEGUNDO CARNAP: PELA ANÁLISE LÓGICA.

Published in:

Eidos, 2008, n. 9, p. 74

By:

de Meneses, Ramiro Délio Borges

Publication type:

Article

El rigor: garantía para los periodistas, credibilidad para los medios y esperanza para los ciudadanos.

Published in:

Palabra Clave, 2004, n. 11, p. 113

By:

Torres Loaiza, Jesús Erney

Publication type:

Article

RAZONAMIENTO CONFIGURAL Y PROCEDIMIENTOS DE VERIFICACIÓN EN CONTEXTO GEOMÉTRICO.

Published in:

Revista Latinoamericana de Investigación en Matemática Educativa, 2013, v. 16, n. 3, p. 339, doi. 10.12802/relime.13.1633

By:

PRIOR MARTÍNEZ, JUAN;
TORREGROSA GIRONÉS, GERMÁN

Publication type:

Article

The converse consequences condition and Hempelian qualitative confirmation.

Published in:

Philosophy of Science, 1999, v. 66, n. 3, p. 448, doi. 10.1086/392697

By:

Le Morvan, Pierre

Publication type:

Article

Inductive logic and the ravens paradox.

Published in:

Philosophy of Science, 1999, v. 66, n. 1, p. 50, doi. 10.1086/392676

By:

Maher, Patrick

Publication type:

Article

Swimming in evidence: A reply to Maher.

Published in:

Philosophy of Science, 1996, v. 63, n. 2, p. 175, doi. 10.1086/289907

By:

Achinstein, Peter

Publication type:

Article

Subjective and objective confirmation.

Published in:

Philosophy of Science, 1996, v. 63, n. 2, p. 149, doi. 10.1086/289906

By:

Maher, Patrick

Publication type:

Article

Decisions of an Alarmingly Personal Nature, or, What I Think About William Wordsworth.

Published in:

Arts & Humanities in Higher Education, 2007, v. 6, n. 1, p. 114, doi. 10.1177/1474022207072233

By:

Abbott, Ruth

Publication type:

Article

Optimized sampling design and rationale for verification and validation.

Published in:

Quality & Reliability Engineering International, 2019, v. 35, n. 1, p. 483, doi. 10.1002/qre.2353

By:

Cheng, S.;
Kupfer, K.;
Dixon, M.;
Shammas, S.

Publication type:

Article

Investigation of water depth and basin wall effects on KVLCC2 in manoeuvring motion using viscous-flow calculations.

Published in:

Journal of Marine Science & Technology, 2013, v. 18, n. 4, p. 471, doi. 10.1007/s00773-013-0221-6

By:

Toxopeus, S. L.;
Simonsen, C. D.;
Guilmineau, E.;
Visonneau, M.;
Xing, T.;
Stern, F.

Publication type:

Article

Taxonomy of quality metrics for assessing assurance of security correctness.

Published in:

Software Quality Journal, 2013, v. 21, n. 1, p. 67, doi. 10.1007/s11219-011-9169-0

By:

Ouedraogo, Moussa;
Savola, Reijo;
Mouratidis, Haralambos;
Preston, David;
Khadraoui, Djamel;
Dubois, Eric

Publication type:

Article

A framework for testing first-order logic axioms in program verification.

Published in:

Software Quality Journal, 2013, v. 21, n. 1, p. 159, doi. 10.1007/s11219-011-9168-1

By:

Ahn, Ki;
Denney, Ewen

Publication type:

Article

Focus effects on quantifier domains in a visual verification task.

Published in:

Acta Linguistica Academica, 2018, v. 65, n. 2/3, p. 417, doi. 10.1556/2062.2018.65.2-3.7

By:

Tomaszewicz, Barbara

Publication type:

Article

Result verification, code verification and computation of support values in phylogenetics.

Published in:

Briefings in Bioinformatics, 2011, v. 12, n. 3, p. 270, doi. 10.1093/bib/bbq079

By:

Stamatakis, Alexandros;
Izquierdo-Carrasco, Fernando

Publication type:

Article

UWAGI O PROCEDURACH WERYFIKACJI HIPOTEZ Z BRAKUJĄCĄ INFORMACJĄ.

Published in:

Research Papers of the Wroclaw University of Economics / Prace Naukowe Uniwersytetu Ekonomicznego we Wroclawiu, 2013, n. 309, p. 54

By:

Domański, Czesław

Publication type:

Article

OCENA PRZYDATNOŚCI REKOMENDACJI GIEŁDOWYCH OPARTYCH NA METODZIE DCF NA PRZYKŁADZIE SPÓŁEK BUDOWLANYCH.

Published in:

Research Papers of the Wroclaw University of Economics / Prace Naukowe Uniwersytetu Ekonomicznego we Wroclawiu, 2012, n. 254, p. 103

By:

Kowalke, Krzysztof

Publication type:

Article

Towards Combining Model Checking and Proof Checking.

Published in:

Computer Journal, 2019, v. 62, n. 9, p. 1365, doi. 10.1093/comjnl/bxy112

By:

Jiang, Ying;
Liu, Jian;
Dowek, Gilles;
Ji, Kailiang

Publication type:

Article

Dynamic Access Control Policies: Specification and Verification.

Published in:

Computer Journal, 2013, v. 56, n. 4, p. 440, doi. 10.1093/comjnl/bxs102

By:

Janicke, H.;
Cau, A.;
Siewe, F.;
Zedan, H.

Publication type:

Article

Reverse Protocol Verification: Concept, Algorithm and Application.

Published in:

Computer Journal, 1996, v. 39, n. 6, p. 511, doi. 10.1093/comjnl/39.6.511

By:

Huang, C.-M.;
Chang, Y.-I.;
Huang, D.-T.

Publication type:

Article

THE INTERLINKAGE BETWEEN ACCOUNTING INDICATORS AND THE FINANCING DECISION OF A COMPANY.

Published in:

Annals of Eftimie Murgu University Resita, Fascicle II, Economic Studies, 2012, p. 278

By:

MILOŞ, Marius Cristian;
MILOŞ, Laura Raisa

Publication type:

Article

Control of customer and supplier risks by the guardband method.

Published in:

International Journal of Metrology & Quality Engineering, 2015, v. 6, n. 2, p. 205-p1, doi. 10.1051/ijmqe/2015012

By:

Pou, J. -M.;
Leblond, L.

Publication type:

Article

Verification of computational models of cardiac electro-physiology.

Published in:

International Journal for Numerical Methods in Biomedical Engineering, 2014, v. 30, n. 5, p. 525, doi. 10.1002/cnm.2615

By:

Pathmanathan, Pras;
Gray, Richard A.

Publication type:

Article

Las peculiaridades de auditar a partes vinculadas.

Published in:

Partida Doble, 2010, v. 21, n. 223, p. 118

By:

Bonsoms, Yolanda Olius

Publication type:

Article

Systemism and International Relations: How a Graphic Method Can Enhance Communication.

Published in:

International Studies Review, 2023, v. 25, n. 2, p. 1, doi. 10.1093/isr/viad013

By:

Canbolat, Sercan;
Gansen, Sarah;
James, Patrick

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

LANGUAGE AS PICTURE IN PLATO'S CRATYLUS AND WITTGENSTEIN'S TRACTATUS.

Published in:

Tópicos. Revista de Filosofía, 2007, n. 33, p. 9

By:

Mualem, Shlomy

Publication type:

Article

Addressing potential observer effects in forensic science: a perspective from a forensic scientist who uses linear sequential unmasking techniques.

Published in:

Australian Journal of Forensic Sciences, 2017, v. 49, n. 5, p. 548, doi. 10.1080/00450618.2016.1259433

By:

Langenburg, Glenn

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

Network design for verification of ceiling and visibility forecasts.

Published in:

Environmetrics, 2006, v. 17, n. 6, p. 575, doi. 10.1002/env.765

By:

Gilleland, Eric;
Fowler, Tressa L.

Publication type:

Article