Showing 61 - 80 of 491

61

FeOs: An Open-Source Framework for Equations of State and Classical Density Functional Theory
Rehner, Philipp ; Bauer, Gernot ; Gross, Joachim
Industrial & Engineering Chemistry Research. 62(12):5347-5357

Academic journal
Save to List
64

Practical WebAssembly
Nellaiyapen, Sendil Kumar ; Nellaiyapen, Sendil Kumar ; Nellaiyapen, Sendil Kumar ; et al.

Electronic Resource
Save to List
65

Fast and simple unrooted dynamic forests
Berendsohn, Benjamin Aram ; Berendsohn, Benjamin Aram

Electronic Resource
Save to List
66

Rust Quick Start Guide
Daniel Arbuckle ; Daniel Arbuckle ; Daniel Arbuckle ; et al.
2018

Electronic Resource
Save to List
67

Bounds on Solutions of Linear Systems with Inaccurate Data
Cope, J. E. ; Rust, B. W.
SIAM Journal on Numerical Analysis, 1979 Dec 01. 16(6), 950-963.

Academic journal
Save to List
68

Rust Quick Start Guide
Daniel Arbuckle ; Daniel Arbuckle ; Daniel Arbuckle ; et al.
2018

Electronic Resource
Save to List
69

This result is not available to guest users.

70

This result is not available to guest users.

71

Rust Quick Start Guide
Daniel Arbuckle ; Daniel Arbuckle ; Daniel Arbuckle ; et al.
2018

Electronic Resource
Save to List
72

Rust Quick Start Guide
Daniel Arbuckle ; Daniel Arbuckle ; Daniel Arbuckle ; et al.
2018

Electronic Resource
Save to List
73

Integrating custom constitutive models into FEniCSx: A versatile approach and case studies.
Rosenbusch, Sjard Mathis ; Diercks, Philipp ; Kindrachuk, Vitaliy ; et al.
Advances in Engineering Software (1992). Aug2025, Vol. 206, pN.PAG-N.PAG. 1p.

STRUCTURAL mechanics PARTIAL differential equ... FINITE element method NONLINEAR mechanics C++ PYTHON programming langu...
Academic journal
Save to List
74

SWAPPING THE NESTED FIXED POINT ALGORITHM: A CLASS OF ESTIMATORS FOR DISCRETE MARKOV DECISION MODELS.
Aguirregabiria, Victor ; Mira, Pedro
Econometrica; Jul2002, Vol. 70 Issue 4, p1519, 25p, 2 Charts

ALGORITHMS MARKOV processes STATISTICAL correlation ESTIMATION theory DISTRIBUTION (Probabilit... LINEAR programming
Academic journal
Save to List
75

Integration testing in Bevy, a Rust-based ECS game engine
Häihälä, Eero ; Informaatioteknologian ja viestinnän tiedekunta - Faculty of Information Technology and Communication Sciences ; Tampere University

Tietotekniikan DI-ohjelm... testing game industry software development
Dissertation/ Thesis
Save to List
76

Crux, a Precise Verifier for Rust and Other Languages
Pernsteiner, Stuart ; Diatchki, Iavor S. ; Dockins, Robert ; et al.

Computer Science - Progr...
Report
Save to List
77

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
Niketan, Nripesh ; Shrivastva, Vaatsalya

Programming Languages Computation and Language Graphics 68N20, 68N15, 68W10 D.3.4; D.3.2; D.1.3
Report
Save to List
78

Deadlock-free asynchronous message reordering in Rust with multiparty session types
Cutner, Zak ; Yoshida, Nobuko ; Vassor, Martin

Computer Science - Progr... Computer Science - Softw...
Report
Save to List
79

Ferrite: A Judgmental Embedding of Session Types in Rust
Chen, Ruofei ; Balzer, Stephanie ; Toninho, Bernardo

Computer Science - Progr...
Report
Save to List
80

SafeTrans: LLM-assisted Transpilation from C to Rust
Farrukh, Muhammad ; Shah, Smeet ; Coskun, Baris ; et al.

Computer Science - Crypt... Computer Science - Softw...
Report
Save to List

Filter