Programme ordinateur And NotJ. L. Mallet
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000513 | Silvio Ranise [États-Unis] ; Christophe Ringeissen [États-Unis] ; Calogero G. Zarba [États-Unis] | Combining data structures with nonstably infinite theories using many-sorted logic |
| 000692 | Pavel Afonine [France] ; Vladimir Y. Lunin [France, Russie] ; Alexandre Urzhumtsev [France] | MLMF: least-squares approximation of likelihood-based refinement criteria |
| 000804 | Nicolas Remy [États-Unis] ; Arben Shtuka [France] ; Bruno Levy [France] ; Jef Caers [États-Unis] | GSTL: the geostatistical template library in C++ |
| 000812 | Vladimir Y. Lunin [Russie, France] ; Alexandre Urzhumtsev [France] ; Alexander Bockmayr [France] | Direct phasing by binary integer programming |
| 000887 | Benoit Guillot [France] ; Laurence Viry [France] ; Regis Guillot [France] ; Claude Lecomte [France] ; Christian Jelsch [France] | Refinement of proteins at subatomic resolution with MOPRO |
| This area was generated with Dilib version V0.6.33. |  |