Showing 1 - 20 results of 221 for search '"Verification"' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - "Verification"

Search Results

Showing 1 - 20 results of 221 for search '"Verification"', query time: 0.79s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow

by Bockenek, Joshua A.
Published 2017
Subjects: “...Formal Verification...”

Get access

Thesis
Select result number 2
2

Verification of North Atlantic storminess forecast for winter 2003/4

by Lea, A, Saunders, MA
Published 2003
Subjects: “...verification...”

Get access

Other/Unknown Material
Select result number 3
3

The role of verification in international relations: 1945-1993

by Kifleyesus-Matschie, Mitslal
Published 2006
Subjects: “...Verification...”

Get access
Get access
Get access
Get access

Doctoral or Postdoctoral Thesis
Select result number 4
4

Verification of Arctic sea ice seasonal predictive capacity in APPLICATE re-forecasts

by Batté, Lauriane, Chevallier, Matthieu, Ardilouze, Constantin
Published 2018
Subjects: “...verification...”

Get access
Get access

Conference Object
Select result number 5
5

Verification of Arctic sea ice seasonal predictive capacity in APPLICATE re-forecasts

by Batté, Lauriane, Chevallier, Matthieu, Ardilouze, Constantin
Published 2018
Subjects: “...verification...”

Get access
Get access

Conference Object
Select result number 6
6

Verification of Arctic sea ice seasonal predictive capacity in APPLICATE re-forecasts

by Batté, Lauriane, Chevallier, Matthieu, Ardilouze, Constantin
Published 2018
Subjects: “...verification...”

Get access
Get access

Conference Object
Select result number 7
7

Reconstruction of global land use and land cover AD 800 to 1992

by Pongratz, Julia, Reick, Christian, Raddatz, Thomas, Claussen, Martin
Published 2007
Subjects: “...ESM_Forcing_and_Verification...”

Get access
Get access

Dataset
Select result number 8
8

The AEMET-γSREPS over the Antarctic Peninsula and the impact of kilometric-resolution EPS on logistic activities on the continent

by González Herrero, Sergi, Callado Pallarés, Alfons, Martínez Sánchez, Mauricia, Elvira Montejo, Benito
Published in Advances in Science and Research (2020)
Subjects: “...EPS verification...”

Get access

Article in Journal/Newspaper
Select result number 9
9

Verification and Examination Management of Complex Systems

by Stian Ruud, Roger Skjetne
Published in Modeling, Identification and Control: A Norwegian Research Bulletin (2014)
Subjects: “...Verification management...”

Get access
Get access

Article in Journal/Newspaper
Select result number 10
10

Quotas for CFE Treaty declared site inspections for baseline validation

by Strait, R.S., Sicherman, A.
Published 1990
Subjects: “...Weapons 350300* -- Arms Control-- Verification-- (1987-)...”

Get access
Get access

Report
Select result number 11
11

Towards a fully unstructured ocean model for ice shelf cavity environments: Model development and verification using the Firedrake finite element framework

by Scott, WI, Kramer, SC, Holland, PR, Nicholls, KW, Siegert, MJ, Piggott, MD
Published in Ocean Modelling (2023)
Subjects: “...Verification...”

Get access
Get access

Article in Journal/Newspaper
Select result number 12
12

Age verification of north Atlantic sprat

by Moore, Claire, Lynch, Deirdre, Clarke, Maurice, Officer, Rick, Mills, Jane, Dufour, Jean-louis, Brophy, Deirdre
Published in Fisheries Research (2019)
Subjects: “...Age verification...”

Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 13
13

MRO/CRISM Retrieval of Surface Lambert Albedos for Multispectral Mapping of Mars With DISORT-Based Radiative Transfer Modeling: Phase 1—Using Historical Climatology for Temperature...

by McGuire, Patrick C., Ehlmann, Bethany L., CRISM Team
Published in IEEE Transactions on Geoscience and Remote Sensing (2008)
Subjects: “...software verification and validation...”

Get access

Article in Journal/Newspaper
Select result number 14
14

Dataflow synthesis and verification for parallel object-oriented programming languages

by Wu, Shuang, 1985-
Published 2011
Subjects: “...Computer programs--Verification...”

Get access

Thesis
Select result number 15
15

Hypothetical ensemble dispersion model runs with statistical verification

by Leadbetter, Susan, Jones, Andrew
Published 2021
Subjects: “...verification...”

Get access
Get access

Dataset
Select result number 16
16

Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFx

by Ahmad, Manzoor, Dragomir, Iulia, Bruel, Jean-Michel, Ober, Iulian, Belloir, Nicolas
Published 2013
Subjects: “...Formal Verification...”

Get access
Get access
Get access

Conference Object
Select result number 17
17

Early Analysis of Ambient Systems SysML Properties using OMEGA2-IFx

by Ahmad, Manzoor, Dragomir, Iulia, Bruel, Jean-Michel, Ober, Iulian, Belloir, Nicolas
Published 2013
Subjects: “...Formal Verification...”

Get access
Get access
Get access

Conference Object
Select result number 18
18

Predicting Tree Diameter Distributions from Airborne Laser Scanning, SPOT 5 Satellite, and Field Sample Data in the Perm Region, Russia

by Peuhkurinen, Jussi, Tokola, Timo, Plevak, Kseniia, Sirparanta, Sanna, Kedrov, Alexander, Pyankov, Sergey
Published in Forests (2018)
Subjects: “...field verification...”

Get access

Article in Journal/Newspaper
Select result number 19
19

A Methodology For Micro-Policies

by Azevedo De Amorim, Arthur
Published 2017
Subjects: “...Formal Verification...”

Get access
Get access

Text
Select result number 20
20

Reconstructed volcanic stratospheric sulfur injections and aerosol optical depth, 500 BCE to 1900 CE, version 3

by Toohey, Matthew, Sigl, Michael
Published 2019
Subjects: “...ESM_Forcing_and_Verification...”

Get access
Get access

Dataset