Saved in:
| Main Author: | ACOSTA PADILLA, ALFREDO LUIS |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Subjects: | |
| Online Access: | https://doi.org/10.5281/zenodo.18096005 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026)
by: Parrinha, Francisco, et al.
Published: (2026)
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)
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)
The Relational Machine Calculus
by: Barrett, Chris, et al.
Published: (2024)
by: Barrett, Chris, et al.
Published: (2024)
Indian Journal of Pure & Applied Physics
Published: (2023)
Published: (2023)
Comptes Rendus. Physique
Published: (2022)
Published: (2022)
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)
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)
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)
Digital Twin sensors in cultural heritage applications
by: Niccolucci, Franco, et al.
Published: (2024)
by: Niccolucci, Franco, 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)
Weak Memory Model Formalisms: Introduction and Survey
by: Su, Roger C., et al.
Published: (2025)
by: Su, Roger C., et al.
Published: (2025)
Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)
by: Danvy, Olivier
Published: (2024)
Physical oceanography during POSEIDON cruise POS471/2 and POS471/3
by: Jochumsen, Kerstin
Published: (2018)
by: Jochumsen, Kerstin
Published: (2018)
Revista Cubana de Física
Published: (2018)
Published: (2018)
St. Petersburg Polytechnical University Journal: Physics and Mathematics
Published: (2021)
Published: (2021)
A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
by: Klaus, Natalia, et al.
Published: (2026)
by: Klaus, Natalia, et al.
Published: (2026)
Test Case Features as Hyper-heuristics for Inductive Programming
by: McDaid, Edward, et al.
Published: (2024)
by: McDaid, Edward, et al.
Published: (2024)
JIF (Jurnal Ilmu Fisika)
Published: (2020)
Published: (2020)
Water characteristics of estuary-shelf environment stations in the East China Sea
by: Wang, Yu
Published: (2017)
by: Wang, Yu
Published: (2017)
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)
Communications in Physics
Published: (2025)
Published: (2025)
Vacuum Geometry of Simple Machines: First-Principles Derivation of Lever Law from Structured Vacuum Theory
by: ACOSTA PADILLA, ALFREDO LUIS
Published: (2025)
by: ACOSTA PADILLA, ALFREDO LUIS
Published: (2025)
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 Nathaniel B. Palmer cruise 320696_3 on section S04I
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Journal of Anatolian Physics and Astronomy
Published: (2025)
Published: (2025)
Physics Letters B
Published: (2015)
Published: (2015)
Model-Driven Rapid Prototyping for Control Algorithms with the GIPS Framework (System Description)
by: Kratz, Maximilian, et al.
Published: (2025)
by: Kratz, Maximilian, et al.
Published: (2025)
Graph-Based Specification and Automated Construction of ILP Problems
by: Ehmes, Sebastian, et al.
Published: (2022)
by: Ehmes, Sebastian, et al.
Published: (2022)
Automatic Generation of Combinatorial Reoptimisation Problem Specifications: A Vision
by: Kratz, Maximilian, et al.
Published: (2025)
by: Kratz, Maximilian, et al.
Published: (2025)
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)
Calcium carbonate and inorganic carbon in the western Arabian Gulf
by: Saderne, Vincent, et al.
Published: (2018)
by: Saderne, Vincent, et al.
Published: (2018)
Physical oceanography during METEOR cruise M39/3 on section A02
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Physical oceanography during L'ATALANTE cruise 35A3CITHER3_1 on section A14
by: WOCE Hydrographic Programme, WHP
Published: (2002)
by: WOCE Hydrographic Programme, WHP
Published: (2002)
Similar Items
-
Modelling Distributed Applications with Mixed-Choice Stateful Typestates
by: Parrinha, Francisco, et al.
Published: (2026) -
Physical oceanography during L'ATALANTE cruise 35A3CITHER1_2 on section A06
by: WOCE Hydrographic Programme, WHP
Published: (2002) -
Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
by: de Rezende, Susanna F., et al.
Published: (2019) -
The Relational Machine Calculus
by: Barrett, Chris, et al.
Published: (2024) -
Indian Journal of Pure & Applied Physics
Published: (2023)