Works matching DE "VERIFICATION of numerical calculations"

Results: 37

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:

Abdulla, Parosh;
Jonsson, Bengt;
Nilsson, Marcus;
d'Orso, Julien;
Saksena, Mayank

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:

Abdulla, Parosh

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:

Godefroid, Patrice;
Piterman, Nir

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:

Vilkas, M. J.;
Ishikawa, Y.;
Träbert, E.

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 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:

Alba, Alfonso;
Mendez, Martin O.;
Rubio-Rincon, Miguel E.;
Arce-Santana, Edgar R.

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:

Sfarti, Adrian

Publication type:

Article

Correcting for verification bias in studies of a diagnostic test's accuracy.

Published in:

1998

By:

Zhou, X-H.

Publication type:

journal 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:

XU, MING;
CHEN, LIANGYU;
ZENG, ZHENBING;
LI, ZHI-BIN;
Alur, Rajeev

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:

BLOEM, RODERICK;
CIMATTI, ALESSANDRO;
PILL, INGO;
ROVERI, MARCO

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:

DAMM, WERNER;
PINTO, GUILHERME;
RATSCHAN, STEFAN

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:

Ermagun, Alireza;
Levinson, David

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:

Kolpakov, A.

Publication type:

Article

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:

Briggs, William M.;
Levine, Richard A.

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:

Demidov, A.;
Sheberstov, S.;
Vazyulya, S.;
Artemiev, V.;
Mosharov, S.;
Khrapko, A.

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:

Ebert, Elizabeth E.

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:

Wernli, Heini;
Hofmann, Christiane;
Zimmer, Matthias

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:

Ahijevych, David;
Gilleland, Eric;
Brown, Barbara G.;
Ebert, Elizabeth E.

Publication type:

Article

OBJECT LESSONS.

Published in:

Sciences, 1991, v. 31, n. 4, p. 52

By:

Olivastro, Dominic

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:

Fabbri, Marco

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:

Kamm, James R.;
Williams, Todd O.;
Brock, Jerry S.;
Li, Shengtai

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:

Mofya, E. Chisonge;
J. Cole Smith

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:

Takahashi, Masaki;
Fujii, Mahito;
Shibata, Masahiro;
Satoh, Shin'ichi

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:

Tebin, V.

Publication type:

Article

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:

Kuno, Takahito;
Ishihama, Tomohiro

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:

Domes, Ferenc;
Neumaier, Arnold

Publication type:

Article

Letters to the Editor.

Published in:

1968

By:

Radosevich, Ray;
Naylor, Thomas H.;
Bierman Jr., Harold

Publication type:

Letter

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:

Rosenfeld, Jeff

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:

Qinglun Yan

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

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:

ZHANG Yuan;
SUN Li-li;
WANG Jian;
LAI Xin

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:

Kosinski, Andrzej S.;
Barnhart, Huiman X.

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:

Luttamaguzi, J.

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:

Turner, Miles M.

Publication type:

Article

CORRIGENDUM.

Published in:

2010

By:

Morrissey, Mark L.;
Albers, Angie;
Greene, J. Scott;
Postawko, Susan

Publication type:

Erratum

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:

Okuguchi, Koji;
Yamazaki, Takeshi

Publication type:

Article