Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

6 Results
authFullName_s : A. Laville

The MIRTE experimental program An opportunity to test structural materials in various configurations in thermal energy spectrum

N. Leclaire , I. Duhamel , F.-X. Le Dauphin , B. Briggs , J. Piot et al.
Nuclear Science and Engineering, 2014, 178 (4), pp.429-445. ⟨10.13182/NSE14-29⟩
Journal articles hal-02641748v1
Image document

Comparison of priority rules in pattern matching and term rewriting

A. Laville
RR-0878, INRIA. 1988
Reports inria-00075676v1
Image document

Proof of termination of the rewriting system SUBST on CCL

Thérèse Hardin , A. Laville
RR-0560, INRIA. 1986
Reports inria-00075994v1

Interactions of Radiation Therapy with Common and Innovative Systemic Treatments: Antidiabetic Treatments, Antihypertensives, Lipid-Lowering Medications, Immunosuppressive Medications and Other Radiosensitizing Methods.

Y. Zhou , A. Larnaudie , Y. Ghannam , L. Ollivier , Y. Gounane et al.
Cancer/Radiothérapie, 2022, pp.S1278-3218(22)00135-4. ⟨10.1016/j.canrad.2022.06.030⟩
Journal articles hal-03767981v1
Image document

Lazy pattern matching in the ML language

A. Laville
RR-0664, INRIA. 1987
Reports inria-00075889v1
Image document

Irradiation de la maladie primitive des cancers de la prostate avec métastases synchrones

A. Laville , A. Coutte , P. Blanchard , R. Sun , E. Deutsch et al.
Cancer/Radiothérapie, 2020, 24, pp.547 - 553. ⟨10.1016/j.canrad.2020.06.011⟩
Journal articles hal-03491321v1