Showing
1 - 20
results of
105
for search '
interactive proof systems
'
Skip to content
Toggle navigation
0
items
(Full)
All Fields
Title
Author
Subject
Find
Advanced
Search History
Search by Map:
Arctic
Antarctic
Reset Filters
Language:
English
Reset Filters
Show filters (1)
Language:
English
Search Results - Open Polar - interactive proof systems
Search Results
Showing
1 - 20
results of
105
for search '
interactive proof systems
'
, query time: 0.54s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Visual
Select Page | with selected:
Email
Export
Print
Add to Book Bag
Inductive Beluga: Programming
Proofs
Get access
Get access
Semi-empirical models for chlorine activation and ozone depletion in the Antarctic stratosphere:
proof
of concept
Get access
Get access
Semi-empirical models for chlorine activation and ozone depletion in the Antarctic stratosphere:
proof
of concept
Get access
Get access
Semi-empirical models for chlorine activation and ozone depletion in the Antarctic stratosphere:
proof
of concept
Get access
Get access
Get access
Get access
The Ocean Carbon States Database: a
proof
-of-concept application of cluster analysis in the ocean carbon cycle
Get access
Get access
Get access
The Ocean Carbon States Database: a
proof
-of-concept application of cluster analysis in the ocean carbon cycle
Get access
Get access
The Ocean Carbon States Database: a
proof
-of-concept application of cluster analysis in the ocean carbon cycle
Get access
Get access
Get access
Get access
The Ocean Carbon States Database: a
proof
-of-concept application of cluster analysis in the ocean carbon cycle
Get access
Get access
The
interaction
of climate change and methane hydrates
Get access
Towards Verification of the Pastry Protocol using TLA+
Get access
Towards Verification of the Pastry Protocol using TLA+
Get access
Towards Verification of the Pastry Protocol using TLA+
Get access
Biotic
interactions
mediate patterns of herbivore diversity in the Arctic
Get access
Get access
Get access
Using integrable colored vertex models to study LLT polynomials, super ribbon fu...
Get access
A yeast three-hybrid
system
that reconstitutes mammalian hypoxia inducible factor regulatory machinery
Get access
Get access
A yeast three-hybrid
system
that reconstitutes mammalian hypoxia inducible factor regulatory machinery
Get access
Get access
A yeast three-hybrid
system
that reconstitutes mammalian hypoxia inducible factor regulatory machinery
Get access
Get access
A yeast three-hybrid
system
that reconstitutes mammalian hypoxia inducible factor regulatory machinery
Get access
Get access
An Under-Ice Hyperspectral and RGB Imaging
System
to Capture Fine-Scale Biophysical Properties of Sea Ice
Get access
An under-ice hyperspectral and RGB imaging
system
to capture fine-scale biophysical properties of sea ice
Get access
Get access
Select Page | with selected:
Email
Export
Print
Add to Book Bag
1
2
3
4
5
6
Next
Last
Search Tools:
Get RSS Feed
Back
Narrow Search
Year of Publication
From:
To:
Document Type
Article in Journal/Newspaper
55
Other/Unknown Material
20
Text
12
Conference Object
7
Journal/Newspaper
4
Doctoral or Postdoctoral Thesis
2
Thesis
2
Book Part
1
see all ...
Author
University of Lethbridge
20
Burgard, C.
14
Caillet, J.
14
Finn, T., S.
14
Johnson, J., E.
14
Jourdain, N, C
14
Mathiot, P.
14
Schäfer, R.
14
Smith, R., S.
14
Airs, Ruth
6
Baccarini, Andrea
6
Cassar, Nicolas
6
Chen, Gang
6
Ferracci, Valerio
6
Forrer, Heather J.
6
Henning, Silvia
6
Landwehr, Sebastian
6
Lin, Yajuan
6
Moallemi, Alireza
6
Schmale, Julia
6
Simó, Rafel
6
Tatzelt, Christian
6
Thomas, Jenny
6
Toffoli, Alessandro
6
Volpi, Michele
6
Alberello, Alberto
5
Bolas, Conor G.
5
Derkani, Marzieh H.
5
Fawcett, Sarah E.
5
Gorodetskaya, Irina
5
see all ...
Topic
Alberta -- Lethbridge -- Calendars -- Universities and colleges
20
University of Lethbridge
20
Machine learning application to Earth system modeling
14
[SDU.STU.GL]Sciences of the Universe [physics]/Earth Sciences/Glaciology
14
[SDU.STU.OC]Sciences of the Universe [physics]/Earth Sciences/Oceanography
14
ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems
3
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs
3
ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods
3
Algebraic functions
3
Algorithms
3
Catalytic variables
3
Complexity
3
Discrete differential equations
3
Functional equations
3
Geology
3
Milo (Alta.) -- Newsletters
3
[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
3
[INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
3
[INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
3
[INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
3
[MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO]
3
formal specification
3
model checking
3
network protocols
3
sea ice
3
verification methods
3
Antarctica
2
Mathematics
2
Physics
2
QE1-996.5
2
see all ...
Content Provider
University of Lethbridge Digitized Collections
24
Directory of Open Access Journals: DOAJ Articles
6
Archive ouverte HAL (Hyper Article en Ligne, CCSD - Centre pour la Communication Scientifique Directe)
3
University of Tasmania: UTas ePrints
3
Unknown
3
Copernicus Publications: E-Journals
2
Digital.CSIC (Spanish National Research Council)
2
HAL Sorbonne Université
2
Hunter Library Digital Collections (Western Carolina University)
2
Niedersächsisches Online-Archiv NOA
2
Portail HAL-ANR (Agence Nationale de la Recherche)
2
Saint Louis University Libraries Digital Collections
2
Wiley Online Library
2
eCite UTAS (University of Tasmania)
2
Archimer (Archive Institutionnelle de l'Ifremer - Institut français de recherche pour l'exploitation de la mer)
1
Archives ouvertes de Paris-Saclay
1
Boston University: OpenBU
1
CERN Document Server (CDS)
1
Cologne University: KUPS
1
Cranfield University: Collection of E-Research - CERES
1
Defense Technical Information Center: DTIC Technical Reports database
1
ETH Zürich Research Collection
1
Florida State University Digital Library (FSUDL)
1
HAL de l'Institut Polytechnique de Paris
1
HAL-CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
1
IRIS Università degli Studi di Perugia
1
Imperial College London: Spiral
1
Institut national des sciences de l'Univers: HAL-INSU
1
LaCRIS - University of Lapland Current Research System
1
MCSER Journals Online and Printed (Mediterranean Center of Social and Educational Research)
1
see all ...
Geographic location
Antarctic
31
Canada
28
The Antarctic
27
New Zealand
18
Southern Ocean
14
Dent
13
Austral
11
Sion
11
Arctic
10
Endeavour
10
Indian
10
British Columbia
9
Recess
8
Northwest Territories
6
Yukon
6
Alta
4
Cape Evans
4
Kathleen
4
Lent
4
Parry
4
Tive
4
Colleen
3
Corral
3
Denise
3
Garry
3
Kyle
3
Latta
3
Sockeye
3
Turcotte
3
Allá
2
see all ...
Language
English
Open Polar Keyword
Antarc*
41
Antarctic
36
Antarctica
23
Newfoundland
22
Ice Sheet
15
Southern Ocean
15
Ice Shelf
14
Ice Shelves
14
Arctic
11
Prince Edward Island
8
Metis
6
Northwest Territories
6
Sea ice
6
Yukon
6
North Atlantic
5
inuit
5
Carbonic acid
4
Ocean acidification
4
ice algae
4
Alaska
3
Iceland
3
Kodiak
3
Tromso
3
Atlantic salmon
2
DML
2
First Nations
2
Global warming
2
Mite
2
Orca
2
Tundra
2
see all ...
Loading...