Saved in:
| Main Authors: | Purba, Noir Primadona, Faizal, Ibnu, Dewanti, Lantun Paradhita |
|---|---|
| Format: | Dataset Open Access |
| Language: | en |
| Published: |
PANGAEA
2025
|
| Subjects: | |
| Online Access: | https://doi.org/10.1594/PANGAEA.977628 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Coastal hydrographical time series at monitoring site TEPAST in the Southeastern Indian Ocean, Indonesia (2021-2024)
by: Purba, Noir Primadona, et al.
Published: (2025)
by: Purba, Noir Primadona, et al.
Published: (2025)
Hydrochemistry measured on water bottle samples during L'Atalante cruise 35A3CITHER3_2 on section A13
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Physical oceanography during L'ATALANTE cruise 35A3CITHER3_2 on section A13
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Physical oceanography during L'ATALANTE cruise 35A3CITHER1_2 on section A06
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)
by: Parrinha, Francisco, et al.
Published: (2026)
Hydrochemistry measured on water bottle samples during L'Atalante cruise 35A3CITHER1_2 on section A06
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)
by: McDaid, Edward, et al.
Published: (2024)
Physical oceanography during L'ATALANTE cruise 35A3CITHER1_2 on section A06
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Instruction and Solution Probabilities as Heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2025)
by: McDaid, Edward, et al.
Published: (2025)
Physical oceanography during OCEANUS cruise 32OC240_2 on section AR11
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Weak Memory Model Formalisms: Introduction and Survey
by: Su, Roger C., et al.
Published: (2025)
by: Su, Roger C., et al.
Published: (2025)
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
by: de Rezende, Susanna F., et al.
Published: (2019)
by: de Rezende, Susanna F., et al.
Published: (2019)
Gradual Guarantee via Step-Indexed Logical Relations in Agda
by: Siek, Jeremy G.
Published: (2024)
by: Siek, Jeremy G.
Published: (2024)
Photosynthetically active radiation (PAR) in Changuu Island, Zanzibar Archipelago, Tanzania
by: Moreira-Saporiti, Agustín, et al.
Published: (2026)
by: Moreira-Saporiti, Agustín, et al.
Published: (2026)
Physical oceanography during Hespérides cruises COCA-1 and COCA-2
by: Arístegui, Javier, et al.
Published: (2021)
by: Arístegui, Javier, et al.
Published: (2021)
Hydrochemistry measured on water bottle samples during METEOR cruise M15/3 on section A09
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Physical oceanography during POSEIDON cruise POS471/2 and POS471/3
by: Jochumsen, Kerstin
Published: (2018)
by: Jochumsen, Kerstin
Published: (2018)
Calcium carbonate and inorganic carbon in the western Arabian Gulf
by: Saderne, Vincent, et al.
Published: (2018)
by: Saderne, Vincent, et al.
Published: (2018)
Chlorophyll pigments from the Namibian upwelling system during Discovery 356
by: Wasmund, Norbert
Published: (2011)
by: Wasmund, Norbert
Published: (2011)
CpPReS4, G = -2325.040343 + ⅛S8= -398.16539925 = -2,723.20574225 NBO7 NEDA Total Interaction (E) : -200.470
by: Rzepa, Henry
Published: (2026)
by: Rzepa, Henry
Published: (2026)
Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
by: Suwa, Takashi, et al.
Published: (2026)
by: Suwa, Takashi, et al.
Published: (2026)
CS-Guide: Leveraging LLMs and Student Reflections to Provide Frequent, Scalable Academic Monitoring Feedback to Computer Science Students
by: Chacko, Samuel Jacob, et al.
Published: (2025)
by: Chacko, Samuel Jacob, et al.
Published: (2025)
Digital Twin sensors in cultural heritage applications
by: Niccolucci, Franco, et al.
Published: (2024)
by: Niccolucci, Franco, et al.
Published: (2024)
What if we have 90 minutes only to teach programming?
by: Egri-Nagy, Attila
Published: (2026)
by: Egri-Nagy, Attila
Published: (2026)
FREESS: An Educational Simulator of a RISC-V-Inspired Superscalar Processor Based on Tomasulo's Algorithm
by: Giorgi, Roberto
Published: (2025)
by: Giorgi, Roberto
Published: (2025)
Dormancy-aware timed branching bisimilarity, with an application to communication protocol analysis
by: Middelburg, C. A.
Published: (2021)
by: Middelburg, C. A.
Published: (2021)
Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
by: Accattoli, Beniamino, et al.
Published: (2025)
by: Accattoli, Beniamino, et al.
Published: (2025)
The Relational Machine Calculus
by: Barrett, Chris, et al.
Published: (2024)
by: Barrett, Chris, et al.
Published: (2024)
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
by: Conneryd, Jonas, et al.
Published: (2025)
by: Conneryd, Jonas, et al.
Published: (2025)
On bounded depth proofs for Tseitin formulas on the grid; revisited
by: Håstad, Johan, et al.
Published: (2022)
by: Håstad, Johan, et al.
Published: (2022)
Superpolynomial Length Lower Bounds for Tree-Like Semantic Proof Systems with Bounded Line Size
by: de Rezende, Susanna F., et al.
Published: (2026)
by: de Rezende, Susanna F., et al.
Published: (2026)
Clique Is Hard on Average for Sherali-Adams with Bounded Coefficients
by: de Rezende, Susanna F., et al.
Published: (2024)
by: de Rezende, Susanna F., et al.
Published: (2024)
Supercritical Tradeoffs for Monotone Circuits
by: Göös, Mika, et al.
Published: (2024)
by: Göös, Mika, et al.
Published: (2024)
The Base-23 Algebraic Architecture of Fundamental Constants: Complete Geometric Derivation from Structured Vacuum Theory
by: ACOSTA PADILLA, ALFREDO LUIS
Published: (2025)
by: ACOSTA PADILLA, ALFREDO LUIS
Published: (2025)
Tensor Manifold-Based Graph-Vector Fusion for AI-Native Academic Literature Retrieval
by: Wei, Xing, et al.
Published: (2026)
by: Wei, Xing, et al.
Published: (2026)
Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)
by: Danvy, Olivier
Published: (2024)
Physical oceanography during Chofu Maru cruise 49TU9310_3 on section PR19
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Complementing an imperative process algebra with a rely/guarantee logic
by: Middelburg, C. A.
Published: (2025)
by: Middelburg, C. A.
Published: (2025)
Probabilistic imperative process algebra
by: Middelburg, C. A.
Published: (2026)
by: Middelburg, C. A.
Published: (2026)
Explicit Weakening
by: Wadler, Philip
Published: (2024)
by: Wadler, Philip
Published: (2024)
Similar Items
-
Coastal hydrographical time series at monitoring site TEPAST in the Southeastern Indian Ocean, Indonesia (2021-2024)
by: Purba, Noir Primadona, et al.
Published: (2025) -
Hydrochemistry measured on water bottle samples during L'Atalante cruise 35A3CITHER3_2 on section A13
by: WOCE Hydrographic Programme, WHP
Published: (2002) -
Physical oceanography during L'ATALANTE cruise 35A3CITHER3_2 on section A13
by: WOCE Hydrographic Programme, WHP
Published: (2002) -
Physical oceanography during L'ATALANTE cruise 35A3CITHER1_2 on section A06
by: WOCE Hydrographic Programme, WHP
Published: (2002) -
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)