The following pages link to (Q4500649):
Displayed 10 items.
- PERL (Q13965) (← links)
- The program LOPT for least-squares optimization of energy levels (Q537026) (← links)
- Working with meta-data from C/C++ code in R: the RGCCTranslationUnit package (Q549628) (← links)
- A heuristic procedure for solving the dynamic probabilistic project expediting problem (Q948658) (← links)
- Succinctness of regular expressions with interleaving, intersection and counting (Q982670) (← links)
- Deterministic regular expressions with back-references (Q2316926) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- Improving test coverage of LAPACK (Q2642892) (← links)
- Synchronized Regular Expressions (Q2841278) (← links)
- Jointly Optimizing Selection of Fuel Treatments and Siting of Forest Biomass-Based Energy Production Facilities for Landscape-Scale Fire Hazard Reduction (Q6102805) (← links)