Works matching DE "CONFIRMATION (Logic)"
Results: 365
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:
- Publication type:
- Article
Computing Small Unsatisfiable Cores in Satisfiability Modulo Theories.
- Published in:
- Journal of Artificial Intelligence Research, 2011, v. 40, p. 701, doi. 10.1613/jair.3196
- By:
- Publication type:
- Article
Relevance and Verification.
- Published in:
- Philosophical Quarterly, 2021, v. 71, n. 3, p. 457, doi. 10.1093/pq/pqaa071
- By:
- 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:
- 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:
- 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:
- Publication type:
- Article
Zero-current-switching bidirectional interleaved switched-capacitor DC-DC converter: analysis, design and implementation.
- Published in:
- IET Power Electronics (Wiley-Blackwell), 2016, v. 9, n. 5, p. 1074, doi. 10.1049/iet-pel.2015.0425
- By:
- Publication type:
- Article
When it hurts to be misled: A Stroop-like effect in a simple addition production task.
- Published in:
- Memory & Cognition, 2000, v. 28, n. 1, p. 1, doi. 10.3758/BF03211569
- By:
- Publication type:
- Article
When plausibility judgments supersede fact retrieval: The example of the odd-even effect on...
- Published in:
- Memory & Cognition, 1995, v. 23, n. 1, p. 34, doi. 10.3758/BF03210555
- By:
- Publication type:
- Article
基于自适应尺度变换与特征融合的目标跟踪.
- Published in:
- Command Control & Simulation / Zhihui Kongzhi yu Fangzhen, 2024, v. 46, n. 4, p. 82, doi. 10.3969/j.issn.1673-3819.2024.04.002
- By:
- Publication type:
- Article
基于统-架构框架(UAF)的体系协同作战架构建模研究.
- Published in:
- Command Control & Simulation / Zhihui Kongzhi yu Fangzhen, 2024, v. 46, n. 4, p. 8, doi. 10.3969/j.issn.1673-3819.2024.04.002
- By:
- Publication type:
- Article
Offline Signature Verification Using Graph Matching.
- Published in:
- Turkish Journal of Electrical Engineering & Computer Sciences, 2007, v. 15, n. 1, p. 89
- By:
- Publication type:
- Article
Confirmatory Versus Comparative Approaches to Judging Theory Tests.
- Published in:
- Journal of Consumer Research, 1987, v. 14, n. 1, p. 114, doi. 10.1086/209097
- By:
- Publication type:
- Article
Specification, testing and verification of unconventional computations using generalized X -machines.
- Published in:
- International Journal of General Systems, 2014, v. 43, n. 7, p. 713, doi. 10.1080/03081079.2014.924203
- By:
- Publication type:
- Article
A new verification approach for nowcasting based on intensity and spatial-temporal feature correction.
- Published in:
- Scientific Reports, 2024, v. 14, n. 1, p. 1, doi. 10.1038/s41598-024-82182-4
- By:
- Publication type:
- Article
Relational Verification of Programs with Integer Data.
- Published in:
- Information Sciences & Technologies: Bulletin of the ACM Slovakia, 2013, v. 5, n. 1, p. 13
- By:
- Publication type:
- Article
Testimony and Gettier: A Reply to Vance.
- Published in:
- Ratio, 2016, v. 29, n. 2, p. 228, doi. 10.1111/rati.12089
- By:
- Publication type:
- Article
Truthmaker Theory without Truthmakers.
- Published in:
- Ratio, 2014, v. 27, n. 3, p. 276, doi. 10.1111/rati.12042
- By:
- 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:
- Publication type:
- Article
Unification and Confirmation.
- Published in:
- 2016
- By:
- Publication type:
- Abstract
Unification and Confirmation.
- Published in:
- Theoria: An International Journal for Theory, History & Foundations of Science, 2016, v. 31, n. 1, p. 107, doi. 10.1387/theoria.13084
- By:
- Publication type:
- Article
Verification of the Integrity and Legitimacy of Academic Credential Documents in an International Setting.
- Published in:
- College & University, 2009, v. 84, n. 4, p. 75
- By:
- Publication type:
- Article
On Dummett's verificationist justification procedure.
- Published in:
- Synthese, 2016, v. 193, n. 8, p. 2539, doi. 10.1007/s11229-015-0865-3
- By:
- Publication type:
- Article
Shogenji’s measure of justification and the inverse conjunction fallacy.
- Published in:
- Synthese, 2013, v. 190, n. 15, p. 3075, doi. 10.1007/s11229-012-0125-8
- By:
- Publication type:
- Article
Proper bootstrapping.
- Published in:
- Synthese, 2013, v. 190, n. 1, p. 171, doi. 10.1007/s11229-012-0115-x
- By:
- Publication type:
- Article
Introduction: The philosophy of logical consequence and inference.
- Published in:
- 2012
- By:
- Publication type:
- Editorial
Between proof and truth.
- Published in:
- Synthese, 2012, v. 187, n. 3, p. 821, doi. 10.1007/s11229-011-9903-y
- By:
- Publication type:
- Article
Introduction to the Special Issue: Probability, Confirmation and Fallacies.
- Published in:
- Synthese, 2012, v. 184, n. 1, p. 1, doi. 10.1007/s11229-009-9700-z
- By:
- Publication type:
- Article
How the conjunction fallacy is tied to probabilistic confirmation: Some remarks on Schupbach (2009).
- Published in:
- Synthese, 2012, v. 184, n. 1, p. 3, doi. 10.1007/s11229-009-9701-y
- By:
- Publication type:
- Article
A realist partner for Linda: confirming a theoretical hypothesis more than its observational sub-hypothesis.
- Published in:
- Synthese, 2012, v. 184, n. 1, p. 63, doi. 10.1007/s11229-009-9697-3
- By:
- Publication type:
- Article
Data meet theory: up close and inferentially personal.
- Published in:
- Synthese, 2011, v. 182, n. 1, p. 89, doi. 10.1007/s11229-009-9614-9
- By:
- Publication type:
- Article
Verifying time, memory and communication bounds in systems of reasoning agents.
- Published in:
- Synthese, 2009, v. 169, n. 2, p. 385, doi. 10.1007/s11229-009-9557-1
- By:
- Publication type:
- Article
Assessing theories, Bayes style.
- Published in:
- Synthese, 2008, v. 161, n. 1, p. 89, doi. 10.1007/s11229-006-9141-x
- By:
- 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:
- Publication type:
- Article
Multi-Objective Minimization of Test Suite and its Cost Associates Using Swarm Intelligence.
- Published in:
- International Review on Computers & Software, 2011, v. 6, n. 2, p. 275
- By:
- Publication type:
- Article
Development of a Constraint Based Sequential Pattern Mining Tool.
- Published in:
- International Review on Computers & Software, 2011, v. 6, n. 2, p. 191
- By:
- Publication type:
- Article
Verifying Dynamic Properties with Past Temporal Operators in the B Refinement.
- Published in:
- International Review on Computers & Software, 2008, v. 3, n. 4, p. 429
- By:
- Publication type:
- Article
Writer verification based on a single handwriting word samples.
- Published in:
- EURASIP Journal on Image & Video Processing, 2016, v. 2016, n. 1, p. 1, doi. 10.1186/s13640-016-0139-0
- By:
- 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:
- Publication type:
- Article
PROPOSITIONALISM AND THE METAPHYSICS OF EXPERIENCE.
- Published in:
- Philosophical Issues, 2007, v. 17, n. 1, p. 165, doi. 10.1111/j.1533-6077.2007.00128.x
- By:
- Publication type:
- Article
基于DoDAF的载人登月体系结构建模.
- Published in:
- Systems Engineering & Electronics, 2023, v. 45, n. 7, p. 2131, doi. 10.12305/j.issn.1001-506X.2023.07.24
- 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:
- 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:
- Publication type:
- Article
Formal Verification of Real-Time Systems with Data Processing.
- Published in:
- Periodica Polytechnica: Electrical Engineering & Computer Science, 2017, v. 61, n. 2, p. 166, doi. 10.3311/PPee.9766
- By:
- Publication type:
- Article
PLC Program Translation for Verification Purposes.
- Published in:
- Periodica Polytechnica: Electrical Engineering & Computer Science, 2017, v. 61, n. 2, p. 151, doi. 10.3311/PPee.9743
- By:
- Publication type:
- Article
Comparison and verification of numerical reconstruction methods in digital holography.
- Published in:
- Optical Engineering, 2009, v. 48, n. 10, p. 105802, doi. 10.1117/1.3251340
- By:
- 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:
- 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:
- Publication type:
- Article
Obstacles to the flow of requirements verification.
- Published in:
- Systems Engineering, 2010, v. 13, n. 1, p. 1, doi. 10.1002/sys.20127
- By:
- Publication type:
- Article
A historical review of the development of verification and validation theories for simulation models.
- Published in:
- International Journal of Modeling, Simulation & Scientific Computing, 2017, v. 8, n. 2, p. -1, doi. 10.1142/S1793962317300011
- By:
- Publication type:
- Article