Showing 1 - 17 results of 17 for search 'Computer Aided Verification' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - Computer Aided Verification

Search Results

Showing 1 - 17 results of 17 for search 'Computer Aided Verification', query time: 1.44s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Optimizing Symbolic Model Checking for Constraint-Rich Models

by Yang, Bwolen, Simmons, Reid, Bryant, Randal E., O'Hallaron, David R.
Published 1999
Subjects: “...*COMPUTER PROGRAM VERIFICATION...”

Get access
Get access

Text
Select result number 2
2

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

Aircraft Icing Algorithms Applied to U. S. Navy Numerical Model Data: A Verification Study.

by Vogel, G. N.
Published 1997
Subjects: “...COMPUTATIONS...”

Get access
Get access

Text
Select result number 4
4

The Use of Microprocessors for Track Control and Data Verification on Hydrographic Surveys in Canada

by MacDonald, G.
Published 2015
“... computer assistance to hydrographers that were using conventional data collection techniques. Navbox , a...”

Get access

Article in Journal/Newspaper
Select result number 5
5

Intelligent low-cost solutions for underwater intervention using computer vision and machine learning

by Skaldebø, Martin Breivik
Published in OCEANS 2019 - Marseille (2023)
“... to improve visual authenticity of simulators and digital twin scenarios, computer vision in guidance...”

Get access

Doctoral or Postdoctoral Thesis
Select result number 6
6

Archaeological documentation of wood caribou fences using unmanned aerial vehicle and very high-resolution satellite imagery in the Mackenzie Mountains, Northwest Territories

by van der Sluijs, Jurjen, MacKay, Glen, Andrew, Leon, Smethurst, Naomi, Andrews, Thomas D.
Published in Journal of Unmanned Vehicle Systems (2020)
Subjects: “...Computer Science Applications...”

Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 7
7

Process Algebra with Layers: A Language for Multi-Scale Integration Modelling

by Scott, Erin Gemma
Published in Electronic Notes in Theoretical Computer Science (2016)
Subjects: “...computational modelling...”

Get access
Get access

Doctoral or Postdoctoral Thesis
Select result number 8
8

Importance of Second-Order Difference-Frequency Wave-Diffraction Forces in the Validation of a Fast Semi-Submersible Floating Wind Turbine Model: Preprint

by Couling, A. J., Goupee, A. J., Robertson, A. N., Jonkman, J. M.
Published 2013
“... computer-aided-engineering (CAE) tools that can be relied upon in the design process. The National...”

Get access

Article in Journal/Newspaper
Select result number 9
9

SAR Measurement of Sea Ice Parameters: Sea Ice Session Overview Paper

by Robert A. Shuchman, Dean G. Flett
“...The SAR sea ice community consists of operational users, radar and computer engineers who perform...”

Get access
Get access

Text
Select result number 10
10

Ocean and sea ice 1/12 degree model hindcast for the Arctic and North Atlantic oceans (2003-2009)

by Davidson, Fraser, Higginson, Simon, Dupont, Frederic, Lemieux, Jean-Francois, Lu, Youyu, Roy, François, Smith, Gregory
Published 2015
“... for the Arctic, including the Beaufort Sea. These improved forecasts will aid marine safety, resource development...”

Get access
Get access

Dataset
Select result number 11
11

Satellite altimeter calibration and validation using GPS buoy technology.

by Watson, CS
Published 2005
“... computation of absolute bias, without the necessity of estimating a marine geoid. Emphasis within this Thesis...”

Get access
Get access
Get access

Thesis
Select result number 12
12

EARTHQUAKE RESISTING POTENTIAL OF INNOVATIVE HYBRID COUPLED SHEAR WALLS WITH LASER-CUT OPEN-TO-CIRCULAR HOLLOW SECTION CONNECTIONS

by Das, Rajarshi
Published in Journal of Structural Engineering (2019)

Get access

Doctoral or Postdoctoral Thesis
Select result number 13
13

Magrath Store News (January 24, 1996)

by Magrath Trading Store
Published 1996
“... - Residential - Commercial - Farm Wiring -Trenching - Bucket Trucks - Alarm Systems - Fire Alarm Verifications...”

Get access

Journal/Newspaper
Select result number 14
14

University of Lethbridge Calendar 1992-1993

by University of Lethbridge
Published 1992
“... Recruitment SU140 329-2762 Campus Visits SU140 329-2762 Financial Aid and Awards SU047 329-2585 Counselling...”

Get access

Other/Unknown Material
Select result number 15
15

Journeys Through Jackson 2008 Vol.18 No.04

by Jackson County Genealogical Society (N.C.)
Published 2008
“... Morton Librarian Dorris D. Beck Office Manager Ruth C. Shuler Computer Coordinator. Deanne G. Roles Chair...”

Get access

Text
Select result number 16
16

University of Lethbridge Calendar 1993-1994

by University of Lethbridge
Published 1993
“... Transcripts Admissions Registrar Recruitment Campus Visits Financial Aid and Awards Counselling Services...”

Get access

Other/Unknown Material
Select result number 17
17

University of Lethbridge Calendar 1994-1995

by University of Lethbridge
Published 1994
“... of Student Affairs SU140 320-5700 329-5159 English Language Centre 5U140 329-2053 329-5159 Financial Aid...”

Get access

Other/Unknown Material