Cover Image

Hexasphere: Rust sphere generation

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Buhring Espinoza, Patrik
Format:	Recurso digital
Published:	Zenodo 2026
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Die Deutsche Kanzlei in London
by: Bühring, Benjamin
Published: (2021)

Calcium carbonate of sediment core GIK17940-2
by: Bühring, Christian
Published: (2001)

Stable isotopes (G. ruber) from site 184-1144
by: Bühring, Christian
Published: (2001)

Age model and sedimentation rates at site 184-1144
by: Bühring, Christian
Published: (2001)

Carbon 14 ages at site 184-1144
by: Bühring, Christian
Published: (2001)

Carbon 14 ages at hole 184-1144A
by: Bühring, Christian
Published: (2001)

Color RGB values of sediment core GIK17940-2
by: Bühring, Christian
Published: (2001)

Age model and sedimentation rates of sediment core GIK17940-2
by: Bühring, Christian
Published: (2001)

Age determinations and sedimentology on cores GIK17940 and 184-1144
by: Bühring, Christian
Published: (2001)

The generators of the K-groups of the sphere
by: Schulz-Baldes, Hermann, et al.
Published: (2024)

NPB-Rust: NAS Parallel Benchmarks in Rust
by: Martins, Eduardo M., et al.
Published: (2025)

RustSAT: A Library For SAT Solving in Rust
by: Jabs, Christoph
Published: (2025)

Master tracks in different resolutions of METEOR cruise M192/1, Piraeus - Piraeus, 2023-08-08 - 2023-08-18
by: Bühring, Solveig I
Published: (2023)

Master track of METEOR cruise M192/2 in 1 sec resolution (zipped, 58.0 MB)
by: Bühring, Solveig I
Published: (2023)

Master tracks in different resolutions of METEOR cruise M192/2, Piraeus - Limassol, 2023-08-20 - 2023-09-05
by: Bühring, Solveig I
Published: (2023)

Master track of METEOR cruise M192/1 in 1 sec resolution (zipped, 36.2 MB)
by: Bühring, Solveig I
Published: (2023)

PermRust: A Token-based Permission System for Rust
by: Gehring, Lukas, et al.
Published: (2025)

RustMC: Extending the GenMC stateless model checker to Rust
by: Pearce, Oliver, et al.
Published: (2025)

Minimal hypersurfaces in spheres generated by isoparametric foliations
by: Lai, Junqi, et al.
Published: (2026)

Luna-Rust.jl
by: Valenzuela Berríos, Diego Andrés, et al.
Published: (2026)

Old Rusted Barrel
by: BenBerger
Published: (2022)

Reimplementing Mizar in Rust
by: Carneiro, Mario
Published: (2023)

Towards verifying unsafe Rust programs against Rust's pointer-aliasing restrictions
by: Tas, Wannes, et al.
Published: (2026)

Rust vs. C for Python Libraries: Evaluating Rust-Compatible Bindings Toolchains
by: Amaral, Isabella Basso do, et al.
Published: (2025)

RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
by: Bai, Yubo, et al.
Published: (2025)

RustRepoTrans: Repository-level Code Translation Benchmark Targeting Rust
by: Ou, Guangsheng, et al.
Published: (2024)

Note on explicit construction of conformal generators on the fuzzy sphere
by: Fan, Ruihua
Published: (2024)

A proper generating functional on a Podleś sphere
by: Tanaka, Masato
Published: (2023)

RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust
by: Wu, Jinhua, et al.
Published: (2026)

Evaluating AI-generated code for C++, Fortran, Go, Java, Julia, Matlab, Python, R, and Rust
by: Diehl, Patrick, et al.
Published: (2024)

Auditing Rust Crates Effectively
by: Zoghbi, Lydia, et al.
Published: (2026)

Charon: An Analysis Framework for Rust
by: Ho, Son, et al.
Published: (2024)

Business. Rust never sleeps
Published: (2002)

Surveying the Rust Verification Landscape
by: Blanc, Alex Le, et al.
Published: (2024)

Autonomous generation of different courses of action in mechanized combat operations
by: Schubert, Johan, et al.
Published: (2025)

TECS/Rust-OE: Optimizing Exclusive Control in Rust-based Component Systems for Embedded Devices
by: Yoshimura, Nao, et al.
Published: (2025)

RustEvo^2: An Evolving Benchmark for API Evolution in LLM-based Rust Code Generation
by: Liang, Linxi, et al.
Published: (2025)

RustMap: Towards Project-Scale C-to-Rust Migration via Program Analysis and LLM
by: Cai, Xuemeng, et al.
Published: (2025)

C2SaferRust: Transforming C Projects into Safer Rust with NeuroSymbolic Techniques
by: Nitin, Vikram, et al.
Published: (2025)

Framed bordism of Lagrangian homotopy spheres via generating functions
by: Alvarez-Gavela, Daniel
Published: (2026)