Saved in:
| Main Authors: | Stuut, Jan-Berend W, Zabel, Matthias, Ratmeyer, Volker, Helmke, Peer, Schefuß, Enno, Lavik, Gaute, Schneider, Ralph R |
|---|---|
| Format: | Dataset Open Access |
| Language: | en |
| Published: |
PANGAEA
2005
|
| Subjects: | |
| Online Access: | https://doi.org/10.1594/PANGAEA.499740 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Grain size distribution and bulk chemistry of eolian dust
by: Stuut, Jan-Berend W, et al.
Published: (2005)
by: Stuut, Jan-Berend W, et al.
Published: (2005)
(Table 1) Maximum wind speed, wind direction, altitude, and pressure of dust samples, measured by weather balloons from the Deutsche Wetterdienst onboard FS Meteor during cruise M41/1
by: Stuut, Jan-Berend W, et al.
Published: (2005)
by: Stuut, Jan-Berend W, et al.
Published: (2005)
Stable carbon isotopic analyses of n-alkanes and the calculated C4 plant-derived fractions in the dust samples
by: Schefuß, Enno, et al.
Published: (2003)
by: Schefuß, Enno, et al.
Published: (2003)
(Table 1) Fractional abundance and indices for brGDGTs and crenarchaeol present in dust sampled along the west coast of equatorial Africa
by: Weijers, Johan W H, et al.
Published: (2014)
by: Weijers, Johan W H, et al.
Published: (2014)
On the number of poles of the dynamical zeta functions for billiard flow
by: Petkov, Vesselin
Published: (2024)
by: Petkov, Vesselin
Published: (2024)
Grain-size distributions of atmospheric dust samples along a transect off the West African coast
by: Stuut, Jan-Berend W, et al.
Published: (2005)
by: Stuut, Jan-Berend W, et al.
Published: (2005)
Spreadsheet Engineering: A Research Framework
by: Grossman, Thomas A.
Published: (2007)
by: Grossman, Thomas A.
Published: (2007)
Source Code Protection for Applications Written in Microsoft Excel and Google Spreadsheet
by: Grossman, Thomas A.
Published: (2008)
by: Grossman, Thomas A.
Published: (2008)
Big Data Workload Profiling for Energy-Aware Cloud Resource Management
by: Parikh, Milan, et al.
Published: (2026)
by: Parikh, Milan, et al.
Published: (2026)
Dirichlet dynamical zeta function for billiard flow
by: Petkov, Vesselin
Published: (2025)
by: Petkov, Vesselin
Published: (2025)
Analysis of Synchronization Mechanisms in Operating Systems
by: Kode, Oluwatoyin, et al.
Published: (2024)
by: Kode, Oluwatoyin, et al.
Published: (2024)
Exploring Time-Space trade-offs for synchronized in Lilliput
by: Dice, Dave, et al.
Published: (2024)
by: Dice, Dave, et al.
Published: (2024)
Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)
by: Beg, Arshad, et al.
Published: (2026)
Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)
by: Beg, Arshad, et al.
Published: (2025)
A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)
by: Beg, Arshad, et al.
Published: (2025)
Learning Interpretable Scheduling Algorithms for Data Processing Clusters
by: Hu, Zhibo, et al.
Published: (2024)
by: Hu, Zhibo, et al.
Published: (2024)
Scheduler-Driven Job Atomization
by: Konopa, Michal, et al.
Published: (2025)
by: Konopa, Michal, et al.
Published: (2025)
JASDA: Introducing Job-Aware Scheduling in Scheduler-Driven Job Atomization
by: Konopa, Michal, et al.
Published: (2025)
by: Konopa, Michal, et al.
Published: (2025)
Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessing
by: Semmelrock, Veronika, et al.
Published: (2026)
by: Semmelrock, Veronika, et al.
Published: (2026)
Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)
by: Beg, Arshad, et al.
Published: (2026)
Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)
by: Beg, Arshad, et al.
Published: (2025)
Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)
by: Beg, Arshad, et al.
Published: (2026)
Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)
by: Beg, Arshad, et al.
Published: (2025)
Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)
by: Beg, Arshad, et al.
Published: (2026)
Enhancing Adaptive Mixed-Criticality Scheduling with Deep Reinforcement Learning
by: Mendes, Bruno, et al.
Published: (2024)
by: Mendes, Bruno, et al.
Published: (2024)
On a Zeta-Barnes type function associated to graded modules
by: Cimpoeas, Mircea
Published: (2018)
by: Cimpoeas, Mircea
Published: (2018)
Stratified Type Theory
by: Chan, Jonathan, et al.
Published: (2023)
by: Chan, Jonathan, et al.
Published: (2023)
Weighted least $\ell_p$ approximation on compact Riemannian manifolds
by: Li, Jiansong, et al.
Published: (2024)
by: Li, Jiansong, et al.
Published: (2024)
Multicategorical Semantics for Untyped Effects
by: Grunfeld, Ariel, et al.
Published: (2026)
by: Grunfeld, Ariel, et al.
Published: (2026)
Exploring the abyss in Kleene's computability theory
by: Sanders, Sam
Published: (2023)
by: Sanders, Sam
Published: (2023)
On some computational properties of open sets
by: Normann, Dag, et al.
Published: (2024)
by: Normann, Dag, et al.
Published: (2024)
Effects of economic growth in the behavior of sticky costs of companies belonging to BRICS countries
by: Vinícius Costa da Silva Zonatto
Published: (2018)
by: Vinícius Costa da Silva Zonatto
Published: (2018)
Semaphores Augmented with a Waiting Array
by: Dice, Dave, et al.
Published: (2025)
by: Dice, Dave, et al.
Published: (2025)
Reordered Computable Numbers
by: Janicki, Philip
Published: (2023)
by: Janicki, Philip
Published: (2023)
Reciprocating Locks
by: Dice, Dave, et al.
Published: (2025)
by: Dice, Dave, et al.
Published: (2025)
Hapax Locks : Value-Based Mutual Exclusion
by: Dice, Dave, et al.
Published: (2025)
by: Dice, Dave, et al.
Published: (2025)
ISMS-CR: Modular Framework for Safety Management in Central Railway Workshop
by: Kamble, Sharvari, et al.
Published: (2025)
by: Kamble, Sharvari, et al.
Published: (2025)
What is Business Process Automation Anyway?
by: Vu, Hoang, et al.
Published: (2025)
by: Vu, Hoang, et al.
Published: (2025)
Protecting Spreadsheets Against Fraud
by: Mittermeir, Roland T., et al.
Published: (2008)
by: Mittermeir, Roland T., et al.
Published: (2008)
An Elementary Obstruction to the Existence of a Perfect Cuboid
by: Yelle, Stéphane
Published: (2026)
by: Yelle, Stéphane
Published: (2026)
Similar Items
-
Grain size distribution and bulk chemistry of eolian dust
by: Stuut, Jan-Berend W, et al.
Published: (2005) -
(Table 1) Maximum wind speed, wind direction, altitude, and pressure of dust samples, measured by weather balloons from the Deutsche Wetterdienst onboard FS Meteor during cruise M41/1
by: Stuut, Jan-Berend W, et al.
Published: (2005) -
Stable carbon isotopic analyses of n-alkanes and the calculated C4 plant-derived fractions in the dust samples
by: Schefuß, Enno, et al.
Published: (2003) -
(Table 1) Fractional abundance and indices for brGDGTs and crenarchaeol present in dust sampled along the west coast of equatorial Africa
by: Weijers, Johan W H, et al.
Published: (2014) -
On the number of poles of the dynamical zeta functions for billiard flow
by: Petkov, Vesselin
Published: (2024)