Recherche - Archive ouverte HAL

2 résultats

	Pour les 2 documents Envoyer sur ORCID RSS ATOM Exporter BibTeX XML-TEI CSV RTF EndNote PDF HTML Export avancé	Page :	triés par Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante

		Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants Bibek Kabi , Eric Goubault , Antoine Miné , Sylvie Putot 13th International Workshop on Numerical Software Verification (NSV'20), Jul 2020, Los Angeles, CA, United States. pp.221-238, ⟨10.1007/978-3-030-63618-0⟩ Communication dans un congrès hal-03113053v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More
		An Overflow Free Fixed-point Eigenvalue Decomposition Algorithm: Case Study of Dimensionality Reduction in Hyperspectral Images Bibek Kabi , Anand S Sahadevan , Tapan Pradhan 2017 Conference On Design And Architectures For Signal And Image Processing (DASIP). , 〈http://dasip2017.esit.rub.de/〉, Sep 2017, Dresden, Germany Communication dans un congrès hal-01635958v1	Envoyer sur ORCID Exporter BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Export avancé Partager Gmail Facebook X LinkedIn More

Filtrer vos résultats