Search results
Jump to navigation
Jump to search
Page title matches
- ...ic model forecasts]]. Because of the complexity of these models, forecast verification goes a good deal beyond simple measures of [[association (statistics)|stati The [[World Meteorological Organization]] maintains a webpage on forecast verification.<ref>{{cite web ...5 KB (705 words) - 17:31, 8 November 2023
- ...eb|title=ISO/TC 213 Dimensional and geometrical product specifications and verification|url=https://www.iso.org/committee/54924.html}}</ref> The aim of those stand ...(GPS) — General concepts — Part 1: Model for geometrical specification and verification |url=https://www.iso.org/standard/53628.html}}</ref> ...55 KB (8,536 words) - 02:00, 17 February 2025
- ...2011 Winter Simulation Conference.</ref> This concern is addressed through verification and validation of the simulation model. ...r exactly imitate the real-world system. Due to that, a model should be [[Verification and validation|verified]] and validated to the degree needed for the model' ...16 KB (2,516 words) - 14:55, 7 February 2025
- '''Verification-based message-passing [[algorithms]]''' ('''VB-MPAs''') '''in [[compressed ...Banihashemi, and I. Lambadaris, “Density evolution analysis of node-based verification-based algorithms in compressed sensing,” Information Theory, IEEE Transacti ...21 KB (3,321 words) - 23:03, 28 August 2024
- ...ocation advertisements. This article presents an overview of some of these verification mechanisms proposed in the literature. ...publications in the literature, which propose techniques for this location verification. ...14 KB (2,173 words) - 20:35, 20 February 2025
Page text matches
- ...software tools in computational solid mechanics International Workshop on Verification and Validation in Computational Science University of Notre Dame 17–19 Octo ...M. [https://www.nafems.org/publications/resource_center/r0121/ Simulation Verification and Validation for Managers]. NAFEMS, 2017. {{ISBN|978-1-910643-33-4}}.</re ...5 KB (730 words) - 04:59, 22 March 2023
- ...ic model forecasts]]. Because of the complexity of these models, forecast verification goes a good deal beyond simple measures of [[association (statistics)|stati The [[World Meteorological Organization]] maintains a webpage on forecast verification.<ref>{{cite web ...5 KB (705 words) - 17:31, 8 November 2023
- ...|title=Analysis and Transformation of Constrained Horn Clauses for Program Verification |journal=Theory and Practice of Logic Programming |language=en |volume=22 | ...ink.springer.com/chapter/10.1007/978-3-031-13185-1_2 |title=Computer Aided Verification |series=Lecture Notes in Computer Science |volume=13371 |language=en |locat ...6 KB (795 words) - 22:58, 7 November 2024
- In [[formal verification]], the [[model checking]] method needs to obtain an automaton from a [[Line ...decision algorithm for full propositional temporal logic, [[Computer Aided Verification|CAV]]’93, Elounda, Greece, [[LNCS]] 697, Springer–Verlag, 97-109.</ref><ref ...5 KB (769 words) - 20:13, 17 January 2024
- ...ational Conference on Computer Aided Verification CAV 2000: Computer Aided Verification |series=Lecture Notes in Computer Science |location=Berlin, Heidelberg |pub In computer-aided verification and analysis of programs, models of computation often consist of [[state (c ...8 KB (1,111 words) - 03:55, 8 February 2025
- ...con Homepage: Femisphere<!-- Título generado por un bot -->]</ref>{{failed verification|date=June 2017}} ...1 KB (176 words) - 05:00, 8 September 2024
- ...produce a valid output, false otherwise. This function "V" is known as the verification function for the system with input I. ...e "fast response time" can not be [[Verification and Validation (software)|verification/verified]]) ...6 KB (942 words) - 22:23, 4 December 2024
- ...s = 203–211| last = Riccardo Benedetti| title = Scoring Rules for Forecast Verification| journal = Monthly Weather Review| date = 2010-01-01| bibcode = 2010MWRv..1 ...cr.gov.au/projects/verification/ WWRP/WGNE Joint Working Group on Forecast Verification Research.]</ref> ...6 KB (840 words) - 08:05, 11 January 2024
- ...2011 Winter Simulation Conference.</ref> This concern is addressed through verification and validation of the simulation model. ...r exactly imitate the real-world system. Due to that, a model should be [[Verification and validation|verified]] and validated to the degree needed for the model' ...16 KB (2,516 words) - 14:55, 7 February 2025
- '''Verification-based message-passing [[algorithms]]''' ('''VB-MPAs''') '''in [[compressed ...Banihashemi, and I. Lambadaris, “Density evolution analysis of node-based verification-based algorithms in compressed sensing,” Information Theory, IEEE Transacti ...21 KB (3,321 words) - 23:03, 28 August 2024
- A '''barrier certificate'''<ref>Prajna, Stephen, and Ali Jadbabaie. "Safety verification of hybrid systems using barrier certificates." International Workshop on Hy ...A.)) | veditors=((Alur, R.)), ((Pappas, G. J.)) | year=2004 | title=Safety Verification of Hybrid Systems Using Barrier Certificates | publisher=Springer}} ...4 KB (556 words) - 20:08, 28 June 2024
- ...ber on each bank note (these notes are actually more like cheques, since a verification step with the bank is required for each transaction), there is a series of ...duplicate will have probability <math>(3/4)^N</math> of passing the bank's verification test. If <math>N</math> is large, this probability becomes exponentially s ...4 KB (560 words) - 00:49, 21 March 2024
- ...development of [[loop invariant]]s in [[formal verification|formal program verification]], where it is sometimes useful to replace constants by newly introduced fr ...4 KB (557 words) - 13:44, 4 January 2025
- {{Verification|date=January 2024}}{{Infobox enzyme ...2 KB (213 words) - 10:00, 5 January 2024
- ...|last4=Vavrek|first4=Jayson|display-authors=1|title=Physical cryptographic verification of nuclear warheads|journal=Proceedings of the National Academy of Sciences ...son|display-authors=1|title=Supporting information: physical cryptographic verification of nuclear warheads|journal=Proceedings of the National Academy of Sciences ...6 KB (1,012 words) - 16:51, 26 November 2023
- {{Verification|date=March 2021}} ...2 KB (298 words) - 23:58, 21 April 2024
- ...pdf Linear-time Reductions of Resolution Proofs]''. Hardware and Software: Verification and Testing, p. 114–128, Springer, 2011.</ref> ...Efficient and Flexible Approach to Resolution Proof Reduction]". 6th Haifa Verification Conference, 2010.</ref> and [[Subsumption (logic)|Subsumption]]. ...6 KB (909 words) - 00:22, 13 February 2024
- [[File:MertonRuleOresme.jpg|thumb|Oresme's geometric verification of the Oxford Calculators' Merton Rule of uniform acceleration, or mean spe Oresme provided a geometrical verification for the generalized Merton rule, which we would express today as <math>s = ...4 KB (618 words) - 06:16, 21 September 2024
- ==Signing and verification key== A signature scheme has a signing key, which is kept private, and a verification key, which is publicly revealed. For instance, in signature schemes based o ...10 KB (1,458 words) - 14:53, 30 December 2024
- ...tps://web.archive.org/web/20241227151212/https://www.cawcr.gov.au/projects/verification/#Contingency_table | archive-date=27 December 2024|language=en}}</ref> ) is ...6 KB (831 words) - 19:59, 8 January 2025