The following pages link to (Q3996398):
Displaying 44 items.
- Numerical simulations of a reduced model for blood coagulation (Q294028) (← links)
- Floating-point arithmetic on the test bench. How are verified numerical solutions calculated? (Q335016) (← links)
- Static typing for a substructural lambda calculus (Q352080) (← links)
- Gaussian skewness approximation for dynamic rate multi-server queues with abandonment (Q386340) (← links)
- Simple and safe SQL queries with \texttt{C++} templates (Q608241) (← links)
- Collaborative software infrastructure for adaptive multiple model simulation (Q649340) (← links)
- Seasonality in epidemic models: a literature review (Q722225) (← links)
- Two-dimensional body of maximum mean resistance (Q732441) (← links)
- The decomposition numbers of the Hecke algebra of type \(F_ 4\) (Q755881) (← links)
- Formal verification of C systems code. Structured types, separation logic and theorem proving (Q835768) (← links)
- Serial and parallel simulated annealing and tabu search algorithms for the traveling salesman problem (Q918425) (← links)
- CScout: a refactoring browser for C (Q967532) (← links)
- LR error repair using the A* algorithm (Q969645) (← links)
- Integrating coercion with subtyping and multiple dispatch (Q988562) (← links)
- Performance evaluations of recursive and iterative algorithms for the Towers of Hanoi Problem (Q1071509) (← links)
- The programming language C and the operating system UNIX (Q1094863) (← links)
- A C-version of minimal Boolean sum-of-product forms (Q1184805) (← links)
- The Blockhandler and the bitfield package (Q1199712) (← links)
- Computing the topology of a bounded non algebraic curve in the plane (Q1209616) (← links)
- On the computation of semiparametric estimates in limited dependent variable models (Q1260688) (← links)
- Multi-level, single-machine lot sizing and scheduling (with initial inventory) (Q1266652) (← links)
- An exercise in the automatic verification of asynchronous designs (Q1329086) (← links)
- A fast computer algorithm for finding the permanent of adjacency matrices (Q1360652) (← links)
- Solving mixed integer programming production planning problems with setups by shadow price information. (Q1406717) (← links)
- Parallel distributed kernel estimation (Q1608905) (← links)
- Dynamic relative compression, dynamic partial sums, and substring concatenation (Q1755738) (← links)
- Brand positioning under lexicographic choice rules (Q1806633) (← links)
- On special submanifolds of the Page space (Q1995669) (← links)
- Regular numeral systems for data structures (Q2139186) (← links)
- Probit models for capture-recapture data subject to imperfect detection, individual heterogeneity and misidentification (Q2258594) (← links)
- Generalized strain space formulations and eigenprojection tensors (Q2285693) (← links)
- BRNGLR: a cubic Tomita-style GLR parsing algorithm (Q2458444) (← links)
- Faster suffix sorting (Q2465058) (← links)
- An experimental ambiguity detection tool (Q2653935) (← links)
- CHR for Imperative Host Languages (Q3616887) (← links)
- GaussFit?A system for least squares and robust estimation (Q3806777) (← links)
- An application of ESL to a stochastic dynamic market model with free entry and exit (Q4018053) (← links)
- Generalized dominators for structured programs (Q5030185) (← links)
- Towards Efficient Normalizers of Primitive Groups (Q5039561) (← links)
- New Invariants for Integral Lattices (Q5135708) (← links)
- Volume Computation for Boolean Combination of Linear Arithmetic Constraints (Q5191119) (← links)
- A Formalization of the C99 Standard in HOL, Isabelle and Coq (Q5200133) (← links)
- (Q5214224) (← links)
- $\mathcal{H}$-Matrix Based Second Moment Analysis for Rough Random Fields and Finite Element Discretizations (Q5275048) (← links)
