Saved in:
| Main Author: | Heinemann, Günther |
|---|---|
| Format: | Dataset Open Access |
| Language: | en |
| Published: |
PANGAEA
2024
|
| Subjects: | |
| Online Access: | https://doi.org/10.1594/PANGAEA.965853 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Aircraft measurements of the boundary layer structure over Nares Strait (Greenland) during campaign IKAPOS with POLAR 5 on 2010-06-18
by: Heinemann, Günther
Published: (2024)
by: Heinemann, Günther
Published: (2024)
Aircraft measurements of the boundary layer structure over Nares Strait (Greenland) during campaign IKAPOS with POLAR 5 on 2010-06-22
by: Heinemann, Günther
Published: (2024)
by: Heinemann, Günther
Published: (2024)
Aircraft measurements of the boundary layer structure over Nares Strait (Greenland) during campaign IKAPOS with POLAR 5 on 2010-06-15
by: Heinemann, Günther
Published: (2024)
by: Heinemann, Günther
Published: (2024)
On Woolhouse's Cotton-Spinning Problem
by: Groote, Jan Friso, et al.
Published: (2024)
by: Groote, Jan Friso, et al.
Published: (2024)
A survey on FPGA-based accelerator for ML models
by: Yan, Feng, et al.
Published: (2024)
by: Yan, Feng, et al.
Published: (2024)
Eelgrass (Zostera marina) leaf shoot densities and plant sizes in natural and transplanted meadows at three sites in Kieler Bucht, Baltic Sea
by: O'Corcora, Tadhg, et al.
Published: (2025)
by: O'Corcora, Tadhg, et al.
Published: (2025)
Optimal Transport-Based Displacement Interpolation with Data Augmentation for Reduced Order Modeling of Nonlinear Dynamical Systems
by: Khamlich, Moaad, et al.
Published: (2024)
by: Khamlich, Moaad, et al.
Published: (2024)
Unifying Weak Independence and Signal Hierarchy Theory: Extended Biological Petri Net Formalism with Application to Vibrio fischeri Quorum Sensing
by: Simao, Eugenio
Published: (2025)
by: Simao, Eugenio
Published: (2025)
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
by: Adsul, Bharat, et al.
Published: (2024)
by: Adsul, Bharat, et al.
Published: (2024)
Simulating and model checking membrane systems using strategies in Maude
by: Rubio, Rubén, et al.
Published: (2024)
by: Rubio, Rubén, et al.
Published: (2024)
Water characteristics of estuary-shelf environment stations in the East China Sea
by: Wang, Yu
Published: (2017)
by: Wang, Yu
Published: (2017)
Capitalismo con características chinas. Conceptos y desarrollo en la tercera década del siglo XXI
by: Enrique Dussel Peters
Published: (2022)
by: Enrique Dussel Peters
Published: (2022)
Elevation, vegetation, samples type and proxy type for the surface transect from the New Mongolian-Siberian Data Base
by: Dugerdil, Lucas, et al.
Published: (2021)
by: Dugerdil, Lucas, et al.
Published: (2021)
Límites y contradicciones del capital en la naturaleza
by: César Enrique Pineda Ramírez
Published: (2021)
by: César Enrique Pineda Ramírez
Published: (2021)
Light Cone Consistency: Toward a Unified Theory of Consistency in Message-Passing Systems
by: Landers, Rob, et al.
Published: (2026)
by: Landers, Rob, et al.
Published: (2026)
$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
by: Lopez, Aliaume
Published: (2024)
by: Lopez, Aliaume
Published: (2024)
The Compute ICE-AGE: Invariant Compute Envelope under Addressable Graph Evolution
by: Martin II, R. Jay
Published: (2026)
by: Martin II, R. Jay
Published: (2026)
A correspondence between the time and space complexity
by: Latkin, Ivan V.
Published: (2023)
by: Latkin, Ivan V.
Published: (2023)
Concentration of nitrate, nitrite, and phosphate in the water column at four different stations in the Arabian Sea off Pakistan during the METEOR cruise M74/2 in 2007
by: Holtappels, Moritz
Published: (2012)
by: Holtappels, Moritz
Published: (2012)
Commutative N-polyregular functions
by: Lopez, Aliaume
Published: (2024)
by: Lopez, Aliaume
Published: (2024)
Weighing Obese Timed Languages
by: Asarin, Eugene, et al.
Published: (2025)
by: Asarin, Eugene, et al.
Published: (2025)
Computing the Bandwidth of Meager Timed Automata
by: Asarin, Eugene, et al.
Published: (2024)
by: Asarin, Eugene, et al.
Published: (2024)
From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
by: Peyrano, Ignacio
Published: (2026)
by: Peyrano, Ignacio
Published: (2026)
Subshifts defined by nondeterministic and alternating plane-walking automata
by: de Menibus, Benjamin Hellouin, et al.
Published: (2024)
by: de Menibus, Benjamin Hellouin, et al.
Published: (2024)
Grain-size distributions of Saharan dust in the Atlantic Ocean measured in surface sediments from October 2012 to November 2013
by: van der Does, Michèlle, et al.
Published: (2016)
by: van der Does, Michèlle, et al.
Published: (2016)
Modal grain-sizes of Saharan dust in the Atlantic Ocean measured in surface sediments from October 2012 to November 2013
by: van der Does, Michèlle, et al.
Published: (2016)
by: van der Does, Michèlle, et al.
Published: (2016)
Hydrochemistry and isotope data from groundwater monitoring wells in the Mekong Delta, Vietnam
by: Osenbrück, Karsten, et al.
Published: (2025)
by: Osenbrück, Karsten, et al.
Published: (2025)
Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)
by: The bbchallenge Collaboration, et al.
Published: (2025)
Physical oceanography at CTD stations in Potter Cove for summer 2016
by: Ruiz Barlett, Eduardo Mariano, et al.
Published: (2020)
by: Ruiz Barlett, Eduardo Mariano, et al.
Published: (2020)
Physical oceanography at CTD stations in Potter Cove for summer 2017
by: Ruiz Barlett, Eduardo Mariano, et al.
Published: (2020)
by: Ruiz Barlett, Eduardo Mariano, et al.
Published: (2020)
On Graph Grammars and Games
by: Vijayakumar, Jayakrishna, et al.
Published: (2024)
by: Vijayakumar, Jayakrishna, et al.
Published: (2024)
#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?
by: Bannach, Max, et al.
Published: (2025)
by: Bannach, Max, et al.
Published: (2025)
A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
by: Cho, Da-Jung, et al.
Published: (2025)
by: Cho, Da-Jung, et al.
Published: (2025)
Evaluating Massively Parallel Algorithms for DFA Minimisation, Equivalence Checking and Inclusion Checking
by: Heemstra, Jan, et al.
Published: (2025)
by: Heemstra, Jan, et al.
Published: (2025)
The Algebra of Nondeterministic Finite Automata
by: Gorrieri, Roberto
Published: (2023)
by: Gorrieri, Roberto
Published: (2023)
Axiomatizing NFAs Generated by Regular Grammars
by: Gorrieri, Roberto
Published: (2024)
by: Gorrieri, Roberto
Published: (2024)
Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)
by: Gorrieri, Roberto, et al.
Published: (2025)
Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
by: Dorochko, Leonid, et al.
Published: (2026)
by: Dorochko, Leonid, et al.
Published: (2026)
Insignificant Choice Polynomial Time: A Logic Capturing PTIME
by: Schewe, Klaus-Dieter
Published: (2020)
by: Schewe, Klaus-Dieter
Published: (2020)
Decision Problems on Copying and Shuffling
by: Halava, Vesa, et al.
Published: (2023)
by: Halava, Vesa, et al.
Published: (2023)
Similar Items
-
Aircraft measurements of the boundary layer structure over Nares Strait (Greenland) during campaign IKAPOS with POLAR 5 on 2010-06-18
by: Heinemann, Günther
Published: (2024) -
Aircraft measurements of the boundary layer structure over Nares Strait (Greenland) during campaign IKAPOS with POLAR 5 on 2010-06-22
by: Heinemann, Günther
Published: (2024) -
Aircraft measurements of the boundary layer structure over Nares Strait (Greenland) during campaign IKAPOS with POLAR 5 on 2010-06-15
by: Heinemann, Günther
Published: (2024) -
On Woolhouse's Cotton-Spinning Problem
by: Groote, Jan Friso, et al.
Published: (2024) -
A survey on FPGA-based accelerator for ML models
by: Yan, Feng, et al.
Published: (2024)