Works matching DE "VERIFICATION of numerical calculations"
Results: 38
A convergent conical algorithm with $$\omega $$ -bisection for concave minimization.
- Published in:
- Journal of Global Optimization, 2015, v. 61, n. 2, p. 203, doi. 10.1007/s10898-014-0197-8
- By:
- Publication type:
- Article
Rigorous verification of feasibility.
- Published in:
- Journal of Global Optimization, 2015, v. 61, n. 2, p. 255, doi. 10.1007/s10898-014-0158-2
- By:
- Publication type:
- Article
Numerical verification of the existence of the energy-concentration effect in a high-contrast heavy-charged composite material.
- Published in:
- Journal of Engineering Physics & Thermophysics, 2007, v. 80, n. 4, p. 812, doi. 10.1007/s10891-007-0109-6
- By:
- Publication type:
- Article
A consensus algorithm for approximate string matching and its application to QRS complex detection.
- Published in:
- International Journal of Modern Physics C: Computational Physics & Physical Computation, 2016, v. 27, n. 3, p. -1, doi. 10.1142/S0129183116500297
- By:
- Publication type:
- Article
Correcting for verification bias in studies of a diagnostic test's accuracy.
- Published in:
- 1998
- By:
- Publication type:
- journal article
Letters to the Editor.
- Published in:
- 1968
- By:
- Publication type:
- Letter
Wavelets and Field Forecast Verification.
- Published in:
- Monthly Weather Review, 1997, v. 125, n. 6, p. 1329, doi. 10.1175/1520-0493(1997)125<1329:WAFFV>2.0.CO;2
- By:
- Publication type:
- Article
Robust Recognition of Specific Human Behaviors in Crowded Surveillance Video Sequences.
- Published in:
- EURASIP Journal on Advances in Signal Processing, 2010, p. 1, doi. 10.1155/2010/801252
- By:
- Publication type:
- Article
Intra-terrestrial verification of the gravitational shift.
- Published in:
- Canadian Journal of Physics, 2008, v. 86, n. 3, p. 501, doi. 10.1139/P07-149
- By:
- Publication type:
- Article
Statistical verification of neutron-physics programs for calculations in support of nuclear safety.
- Published in:
- Physics of Atomic Nuclei, 2012, v. 75, n. 13, p. 1570, doi. 10.1134/S106377881213008X
- By:
- Publication type:
- Article
CORRIGENDUM.
- Published in:
- 2010
- By:
- Publication type:
- Erratum
Practical application of supersaturated arrays.
- Published in:
- Quality & Reliability Engineering International, 1999, v. 15, n. 2, p. 123, doi. 10.1002/(SICI)1099-1638(199903/04)15:2<123::AID-QRE211>3.0.CO;2-F
- By:
- Publication type:
- Article
Towards an example of a nonconvex monotone follower control problem.
- Published in:
- Journal of Mathematical Sciences, 2009, v. 161, n. 2, p. 235, doi. 10.1007/s10958-009-9549-1
- By:
- Publication type:
- Article
Existence of Unique Equilibrium in Cournot Mixed Oligopoly.
- Published in:
- International Game Theory Review, 2018, v. 20, n. 3, p. N.PAG, doi. 10.1142/S0219198917500359
- By:
- Publication type:
- Article
Regular model checking for LTL(MSO).
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 223, doi. 10.1007/s10009-011-0212-z
- By:
- Publication type:
- Article
Regular model checking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 109, doi. 10.1007/s10009-011-0216-8
- By:
- Publication type:
- Article
LTL generalized model checking revisited.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 6, p. 571, doi. 10.1007/s10009-010-0169-3
- By:
- Publication type:
- Article
Computer Simulation in Low-Temperature Plasma Physics: Future Challenges.
- Published in:
- Plasma Processes & Polymers, 2017, v. 14, n. 1/2, p. n/a, doi. 10.1002/ppap.201600121
- By:
- Publication type:
- Article
Verification of Kara Sea primary production models with field and satellite observations.
- Published in:
- Oceanology (00014370), 2016, v. 56, n. 6, p. 799, doi. 10.1134/S0001437016060011
- By:
- Publication type:
- Article
Neighborhood Verification: A Strategy for Rewarding Close Forecasts.
- Published in:
- Weather & Forecasting, 2009, v. 24, n. 6, p. 1498, doi. 10.1175/2009WAF2222251.1
- By:
- Publication type:
- Article
Spatial Forecast Verification Methods Intercomparison Project: Application of the SAL Technique.
- Published in:
- Weather & Forecasting, 2009, v. 24, n. 6, p. 1472, doi. 10.1175/2009WAF2222271.1
- By:
- Publication type:
- Article
Application of Spatial Verification Methods to Idealized and NWP-Gridded Precipitation Forecasts.
- Published in:
- Weather & Forecasting, 2009, v. 24, n. 6, p. 1485, doi. 10.1175/2009WAF2222298.1
- By:
- Publication type:
- Article
Verification method for theta function identities via Liouvilleâs theorem.
- Published in:
- Archiv der Mathematik, 2008, v. 90, n. 4, p. 331
- By:
- Publication type:
- Article
On the Use and Error of Approximation in the Domenico (1987) Solution and Domenico’s Solution—Is It Valid?
- Published in:
- Ground Water, 2008, v. 46, n. 5, p. 664, doi. 10.1111/j.1745-6584.2008.00450_1.x
- Publication type:
- Article
ABSTRACTS.
- Published in:
- 2007
- Publication type:
- Abstract
LETTER FROM THE EDITOR: TRUST IN VERIFICATION.
- Published in:
- Bulletin of the American Meteorological Society, 2007, v. 88, n. 4, p. 476
- By:
- Publication type:
- Article
Accounting for Nonignorable Verification Bias in Assessment of Diagnostic Tests.
- Published in:
- Biometrics, 2003, v. 59, n. 1, p. 163, doi. 10.1111/1541-0420.00019
- By:
- Publication type:
- Article
An Introduction to the Network Weight Matrix.
- Published in:
- Geographical Analysis, 2018, v. 50, n. 1, p. 76, doi. 10.1111/gean.12134
- By:
- Publication type:
- Article
New Six-degree Freedom Motion Simulator and Its Performance Study.
- Published in:
- Journal of Harbin University of Science & Technology, 2014, v. 19, n. 4, p. 38
- By:
- Publication type:
- Article
Application of Gegenbauer polynomial expansions to mitigate Gibbs phenomenon in Fourier-Bessel series solutions of a dynamic sphere problem.
- Published in:
- International Journal for Numerical Methods in Biomedical Engineering, 2010, v. 26, n. 10, p. 1276, doi. 10.1002/cnm.1207
- By:
- Publication type:
- Article
Standard on Verification and Adjustment of Sales.
- Published in:
- Journal of Property Tax Assessment & Administration, 2011, v. 8, n. 1, p. 31
- Publication type:
- Article
A Dynamic Programming Algorithm for the Generalized Minimum Filter Placement Problem on Tree Structures.
- Published in:
- INFORMS Journal on Computing, 2009, v. 21, n. 2, p. 322, doi. 10.1287/ijoc.1080.0295
- By:
- Publication type:
- Article
OBJECT LESSONS.
- Published in:
- Sciences, 1991, v. 31, n. 4, p. 52
- By:
- Publication type:
- Article
Are Arithmetic Networks Interdependent In Number-Matching Task?
- Published in:
- Current Psychology, 2016, v. 35, n. 1, p. 149, doi. 10.1007/s12144-015-9377-z
- By:
- Publication type:
- Article
TERMINATION ANALYSIS OF LINEAR LOOPS.
- Published in:
- International Journal of Foundations of Computer Science, 2010, v. 21, n. 6, p. 1005, doi. 10.1142/S0129054110007696
- By:
- Publication type:
- Article
SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 4, p. 727, doi. 10.1142/S0129054107004942
- By:
- Publication type:
- Article
GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS.
- Published in:
- International Journal of Foundations of Computer Science, 2007, v. 18, n. 1, p. 63, doi. 10.1142/S0129054107004577
- By:
- Publication type:
- Article
Relativistic multireference many-body perturbation theory calculations on Au<sup>64+</sup> - Au<sup>69+</sup> ions.
- Published in:
- European Physical Journal D (EPJ D), 2007, v. 41, n. 1, p. 77, doi. 10.1140/epjd/e2006-00214-0
- By:
- Publication type:
- Article