Showing 1 - 20 results of 141 for search 'interactive proof systems' Skip to content

0 items (Full)

Advanced Search History Search by Map: Arctic Antarctic

Search Results - Open Polar - interactive proof systems

Search Results

Showing 1 - 20 results of 141 for search 'interactive proof systems', query time: 0.66s Refine Results

Sort

List Grid Visual

Select Page | with selected:

Select result number 1
1

Inductive Beluga: Programming Proofs

by Brigitte Pientka, Andrew Cave
Subjects: “...Proof Assistant...”

Get access
Get access

Text
Select result number 2
2

Semi-empirical models for chlorine activation and ozone depletion in the Antarctic stratosphere: proof of concept

by P. E. Huck, G. E. Bodeker, S. Kremser, A. J. McDonald, M. Rex, H. Struthers
Published in Atmospheric Chemistry and Physics (2013)
“... on the underlying physics/chemistry of the system and capture the key chemical and physical processes...”

Get access
Get access

Article in Journal/Newspaper
Select result number 3
3

Semi-empirical models for chlorine activation and ozone depletion in the Antarctic stratosphere: proof of concept

by Huck, P. E., Bodeker, G. E., Kremser, S., McDonald, A. J., Rex, M., Struthers, H.
Published in Atmospheric Chemistry and Physics (2018)
“... on the underlying physics/chemistry of the system and capture the key chemical and physical processes...”

Get access
Get access

Text
Select result number 4
4

Semi-empirical models for chlorine activation and ozone depletion in the Antarctic stratosphere: proof of concept

by Huck, P. E., Bodeker, G. E., Kremser, S., McDonald, A. J., Rex, M., Struthers, H.
Published in Atmospheric Chemistry and Physics (2013)
“... on the underlying physics/chemistry of the system and capture the key chemical and physical processes...”

Get access
Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 5
5

The Ocean Carbon States Database: a proof-of-concept application of cluster analysis in the ocean carbon cycle

by R. Latto, A. Romanou
Published in Earth System Science Data (2018)
“... and Earth sciences and in particular in studies of the global carbon cycle, where the interaction...”

Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 6
6

The Ocean Carbon States Database: a proof-of-concept application of cluster analysis in the ocean carbon cycle

by R. Latto, A. Romanou
Published in Earth System Science Data (2018)
“... in climate and Earth sciences and in particular in studies of the global carbon cycle, where the interaction...”

Get access
Get access

Article in Journal/Newspaper
Select result number 7
7

The Ocean Carbon States Database: a proof-of-concept application of cluster analysis in the ocean carbon cycle

by Latto, Rebecca, Romanou, Anastasia
Published in Earth System Science Data (2018)
“... and Earth sciences and in particular in studies of the global carbon cycle, where the interaction...”

Get access
Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 8
8

The Ocean Carbon States Database: a proof-of-concept application of cluster analysis in the ocean carbon cycle

by Latto, Rebecca, Romanou, Anastasia
Published in Earth System Science Data (2019)
“... and Earth sciences and in particular in studies of the global carbon cycle, where the interaction...”

Get access
Get access

Text
Select result number 9
9

The interaction of climate change and methane hydrates: Climate-Hydrates Interactions

by Ruppel, Carolyn D., Kessler, John D.
Published in Reviews of Geophysics (2017)
“... significant carbon in the global system and is stable only over a range of low-temperature and moderate...”

Get access
Get access

Other/Unknown Material
Select result number 10
10

Harpoon: Mechanizing Metatheory Interactively

by Errington, Jacob, Jang, Junyoung, Pientka, Brigitte
Published 2021
“... functions transforming LF derivations. In this paper, we describe Harpoon , an interactive proof engine...”

Get access
Get access

Book Part
Select result number 11
11

The interaction of climate change and methane hydrates

by Ruppel, Carolyn D., Kessler, John D.
Published in Reviews of Geophysics (2022)
“... significant carbon in the global system and is stable only over a range of low-temperature and moderate...”

Get access
Get access
Get access
Select result number 12
12

The interaction of climate change and methane hydrates

by Ruppel, Carolyn D., Kessler, John D.
Published in Reviews of Geophysics (2017)
“..., sequesters significant carbon in the global system and is stable only over a range of low-temperature...”

Get access

Article in Journal/Newspaper
Select result number 13
13

Towards a Pantograph-based Interventional AUV for Under-ice Measurement

by Byun, Hongkyoon, Kim, Jonghyuk, Liu, Dikai, Woolfrey, Jonathan
Published 2021
Subjects: “...Electrical Engineering and Systems Science - Systems and Control...”

Get access

Text
Select result number 14
14

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011
Subjects: “...: Correctness proofs...”

Get access

Conference Object
Select result number 15
15

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011
Subjects: “...: Correctness proofs...”

Get access

Conference Object
Select result number 16
16

Towards Verification of the Pastry Protocol using TLA+

by Merz, Stephan, Lu, Tianxiang, Weidenbach, Christoph
Published 2011
Subjects: “...: Correctness proofs...”

Get access

Conference Object
Select result number 17
17

Biotic interactions mediate patterns of herbivore diversity in the Arctic

by Barrio, I. C., Gartzia, M., Soininen, E. M., Christie, K. S., Speed, J. D. M., Ravolainen, V. T., Forbes, B. C., Gauthier, G., Horstkotte, T., Hoset, K. S., Høye, T. T., Jónsdóttir, I. S., Lévesque, E., Mörsdorf, M. A., Olofsson, J., Wookey, P. A., Hik, D. S.
Published in Global Ecology and Biogeography (2016)
Subjects: “...biotic interactions...”

Get access
Get access
Get access

Article in Journal/Newspaper
Select result number 18
18

The SPICEcore Hole Camera System

by Dujmović, Hrvoje, Jeong, Minjin, Tönnis, Christoph
Published 2019
“... can also serve as a proof of concept of a camera system designed for the optical modules for IceCube...”

Get access

Text
Select result number 19
19

The SPICEcore Hole Camera System

by Dujmović, Hrvoje, Jeong, Minjin, Tönnis, Christoph
Published 2019
“... can also serve as a proof of concept of a camera system designed for the optical modules for IceCube...”

Get access
Get access

Article in Journal/Newspaper
Select result number 20
20

A Maze in Plastic Wastes: Autonomous Motile Photocatalytic Microrobots against Microplastics

by Seyyed Mohsen Beladi-Mousavi (4395058), Soňa Hermanová (7010384), Yulong Ying (1682050), Jan Plutnar (2132068), Martin Pumera (1268103)
Published 2021
Subjects: “...marine systems...”

Get access

Dataset