Hydrogenation of fluorinated molecules: an overview
Charvillat, T, Bernardelli, P, Daumas, M, Pannecoucke, X, Ferey, V, Besset, T
Published in Chemical Society reviews (19.07.2021)
Published in Chemical Society reviews (19.07.2021)
Get full text
Journal Article
Representable correcting terms for possibly underflowing floating point operations
Boldo, S., Daumas, M.
Published in Proceedings 2003 16th IEEE Symposium on Computer Arithmetic (2003)
Published in Proceedings 2003 16th IEEE Symposium on Computer Arithmetic (2003)
Get full text
Conference Proceeding
Guaranteed proofs using interval arithmetic
Daumas, M., Melquiond, G., Munoz, C.
Published in 17th IEEE Symposium on Computer Arithmetic (ARITH'05) (2005)
Published in 17th IEEE Symposium on Computer Arithmetic (ARITH'05) (2005)
Get full text
Conference Proceeding
Multiplications of floating point expansions
Daumas, M.
Published in Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336) (1999)
Published in Proceedings 14th IEEE Symposium on Computer Arithmetic (Cat. No.99CB36336) (1999)
Get full text
Conference Proceeding
Theorems on efficient argument reductions
Li, R.-C., Boldo, S., Daumas, M.
Published in Proceedings 2003 16th IEEE Symposium on Computer Arithmetic (2003)
Published in Proceedings 2003 16th IEEE Symposium on Computer Arithmetic (2003)
Get full text
Conference Proceeding
Fine Needle Ethanol Injection Therapy for Human Pancreatic Adenocarcinoma Subcutaneously Xenografted in Nude Mice
Gagnon, Pierre C, Daumas, Marguerite, Allieres, Norbert, Vincensini, Paul D, Ponchon, Thierry, Hollande, Etienne
Published in Canadian journal of gastroenterology (1993)
Published in Canadian journal of gastroenterology (1993)
Get full text
Journal Article
Enhanced membrane phospholipid metabolism in human pancreatic adenocarcinoma cell lines detected by low-resolution 1H nuclear magnetic resonance spectroscopy
Murat, C, Esclassan, J, Daumas, M, Levrat, J H, Palévody, C, Vincensini, P D, Hollande, E
Published in Pancreas (1989)
Published in Pancreas (1989)
Get more information
Journal Article
Insulin and glucagon impairments in relation with islet cells morphological modifications following long term pancreatic duct ligation in the rabbit--a model of non-insulin-dependent diabetes
Catala, J, Daumas, M, Chanh, A P, Lasserre, B, Hollande, E
Published in International journal of experimental diabetes research (2001)
Published in International journal of experimental diabetes research (2001)
Get full text
Journal Article
Stochastic Formal Methods: An Application to Accuracy of Numeric Software
Daumas, M., Lester, D.
Published in 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) (01.01.2007)
Published in 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07) (01.01.2007)
Get full text
Conference Proceeding
Parallel implementations of the selection problem: A case study
Daumas, Marc, Evripidou, Paraskevas
Published in International journal of parallel programming (01.02.2000)
Published in International journal of parallel programming (01.02.2000)
Get full text
Journal Article