Works matching DE "CONFIRMATION (Logic)"
Results: 368
Usefulness of biological fingerprint in magnetic resonance imaging for patient verification.
- Published in:
- 2016
- By:
- Publication type:
- journal article
Relevance and Verification.
- Published in:
- Philosophical Quarterly, 2021, v. 71, n. 3, p. 457, doi. 10.1093/pq/pqaa071
- By:
- Publication type:
- Article
The Effects of Minority/Majority Source Status on Attitude Certainty: A Matching Perspective.
- Published in:
- Personality & Social Psychology Bulletin, 2009, v. 35, n. 1, p. 114, doi. 10.1177/0146167208325677
- By:
- Publication type:
- Article
Where can we really prove instances of the Paris-Harrington principle?
- Published in:
- PAMM: Proceedings in Applied Mathematics & Mechanics, 2016, v. 16, n. 1, p. 903, doi. 10.1002/pamm.201610440
- By:
- 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:
- Publication type:
- Article
Secure Handover Authentication Protocol Based on Bilinear Pairings.
- Published in:
- Wireless Personal Communications, 2013, v. 73, n. 3, p. 1037, doi. 10.1007/s11277-013-1246-1
- By:
- Publication type:
- Article
Experimental verification of discrete models for combustion of microheterogeneous compositions forming condensed combustion products (Review).
- Published in:
- Combustion, Explosion, & Shock Waves, 2015, v. 51, n. 1, p. 53, doi. 10.1134/S0010508215010050
- By:
- 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:
- 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
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:
- Publication type:
- Article
Verification of Embedded Systems Based on Interval Analysis.
- Published in:
- International Journal of Parallel Programming, 2005, v. 33, n. 6, p. 697, doi. 10.1007/s10766-005-8909-9
- By:
- Publication type:
- Article
Specification and Verification in Integrated Model of Distributed Systems (IMDS).
- Published in:
- Computers (2073-431X), 2018, v. 7, n. 4, p. 65, doi. 10.3390/computers7040065
- By:
- Publication type:
- Article
Spatial techniques applied to precipitation ensemble forecasts: from verification results to probabilistic products.
- Published in:
- Meteorological Applications, 2014, v. 21, n. 4, p. 922, doi. 10.1002/met.1435
- By:
- Publication type:
- Article
A new index for the verification of accuracy and timeliness of weather warnings.
- Published in:
- Meteorological Applications, 2013, v. 20, n. 2, p. 206, doi. 10.1002/met.1404
- By:
- Publication type:
- Article
High-level Synthesis Integrated Verification.
- Published in:
- Engineering, Technology & Applied Science Research, 2015, v. 5, n. 5, p. 864, doi. 10.48084/etasr.596
- By:
- 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:
- Publication type:
- Article
The Dreamer and Their Authenticity in the Zhuangzi.
- Published in:
- Religions, 2019, v. 10, n. 2, p. 75, doi. 10.3390/rel10020075
- By:
- Publication type:
- Article
Verification and Inferentialism in Wittgenstein's Philosophy.
- Published in:
- Philosophical Investigations, 2001, v. 24, n. 4, p. 304, doi. 10.1111/1467-9205.00149
- By:
- Publication type:
- Article
An arithmetic interpretation of intuitionistic verification.
- Published in:
- Journal of Logic & Computation, 2020, v. 30, n. 1, p. 381, doi. 10.1093/logcom/exaa016
- By:
- Publication type:
- Article
Verification logic.
- Published in:
- Journal of Logic & Computation, 2017, v. 27, n. 8, p. 2451, doi. 10.1093/logcom/exx027
- By:
- Publication type:
- Article
An extended framework for specifying and reasoning about proof systems.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 2, p. 539, doi. 10.1093/logcom/exu029
- By:
- Publication type:
- Article
Falsification, natural deduction and bi-intuitionistic logic.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 425, doi. 10.1093/logcom/ext035
- By:
- Publication type:
- Article
An open logical framework.
- Published in:
- Journal of Logic & Computation, 2016, v. 26, n. 1, p. 293, doi. 10.1093/logcom/ext028
- By:
- Publication type:
- Article
Collaborative Runtime Verification with Tracematches.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 3, p. 707, doi. 10.1093/logcom/exn077
- By:
- Publication type:
- Article
A Proof System for Abstract Non-interference.
- Published in:
- Journal of Logic & Computation, 2010, v. 20, n. 2, p. 449, doi. 10.1093/logcom/exp053
- By:
- Publication type:
- Article
The effect of typicality on online category verification of inanimate category exemplars in aphasia.
- Published in:
- 2007
- By:
- Publication type:
- Journal Article
CRUELTY, DIGNITY, AND DETERMINISM.
- Published in:
- American Sociological Review, 1959, v. 24, n. 3, p. 375, doi. 10.2307/2089386
- By:
- Publication type:
- Article
Verification of PCN NDT certification.
- Published in:
- Insight: Non-Destructive Testing & Condition Monitoring, 2012, p. 4
- Publication type:
- Article
A Gaussian Mixture Model Approach to Forecast Verification.
- Published in:
- Weather & Forecasting, 2010, v. 25, n. 3, p. 908, doi. 10.1175/2010WAF2222355.1
- By:
- 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:
- 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:
- 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
Formal verification and performance evaluation of task scheduling heuristics for makespan optimization and workflow distribution in large-scale computing systems.
- Published in:
- Computer Systems Science & Engineering, 2017, v. 32, n. 3, p. 227
- 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
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:
- Publication type:
- Article
THE PARADOXES OF CONFIRMATION AND THE NATURE OF NATURAL LAWS.
- Published in:
- Philosophical Quarterly, 1977, v. 27, n. 107, p. 97, doi. 10.2307/2219421
- By:
- Publication type:
- Article
Confirmation and Confirmability (Book).
- Published in:
- 1976
- By:
- Publication type:
- Book Review
DISCRETE WAVELET TRANSFORM APPLIED ON PERSONAL IDENTITY VERIFICATION WITH ECG SIGNAL.
- Published in:
- International Journal of Wavelets, Multiresolution & Information Processing, 2009, v. 7, n. 3, p. 341, doi. 10.1142/S0219691309002957
- By:
- 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:
- 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:
- Publication type:
- Article
Numerical Analysis of Bio-Hybrid Crashworthiness Design and Investigation of Energy Absorption Performances Under Oblique Impact.
- Published in:
- International Journal of Engineering Research & Development (IJERAD), 2023, v. 15, n. 3, p. 113, doi. 10.29137/umagd.1339630
- By:
- Publication type:
- Article
Nový halštatský areál Suchohrdly „U Hájkova mlýna“ v mikroregionálním kontextu.
- Published in:
- Studia Archaeologica Brunensia, 2016, v. 21, n. 1, p. 47, doi. 10.5817/SAB2016-1-3
- By:
- Publication type:
- Article
Inductive Logic.
- Published in:
- Journal of Philosophical Logic, 2015, v. 44, n. 6, p. 641, doi. 10.1007/s10992-015-9348-8
- By:
- Publication type:
- Article
Embedding If and Only If.
- Published in:
- Journal of Philosophical Logic, 2012, v. 41, n. 2, p. 449, doi. 10.1007/s10992-011-9170-x
- By:
- Publication type:
- Article
Intuitionistic Epistemic Logic, Kripke Models and Fitch's Paradox.
- Published in:
- Journal of Philosophical Logic, 2012, v. 41, n. 5, p. 877, doi. 10.1007/s10992-011-9207-1
- By:
- Publication type:
- Article
False Though Partly True – An Experiment in Logic.
- Published in:
- Journal of Philosophical Logic, 2003, v. 32, n. 6, p. 613, doi. 10.1023/B:LOGI.0000003922.76154.69
- By:
- Publication type:
- Article
The State of Non-Traditional Authorship Attribution Studies—2012: Some Problems and Solutions.
- Published in:
- English Studies, 2012, v. 93, n. 3, p. 259, doi. 10.1080/0013838X.2012.668785
- By:
- Publication type:
- Article
OPTIMAL CONTRACTS WHEN ENFORCEMENT IS A DECISION VARIABLE: A COMMENT.
- Published in:
- Econometrica, 2003, v. 71, n. 1, p. 387, doi. 10.1111/1468-0262.00403
- By:
- Publication type:
- Article
Judging the Probability of Hypotheses Versus the Impact of Evidence: Which Form of Inductive Inference Is More Accurate and Time-Consistent?
- Published in:
- Cognitive Science, 2016, v. 40, n. 3, p. 758, doi. 10.1111/cogs.12259
- By:
- Publication type:
- Article