|
hal-00475656v1
Communication dans un congrès
Nicolas Mérillou, Stéphane Mérillou, Djamchid Ghazanfarpour, Jean-Michel Dischler, Eric Galin. Simulating Atmospheric Pollution Weathering on BuildingsV. Skala. International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, Feb 2009, Pizen, Czech Republic. Union Agency, pp.65-72, 2010
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
hal-00663509v1
Communication dans un congrès
Hussein Ezzeddine, Stéphane Bila, Serge Verdeyme, Fabien Seyfert, D. Pacaud. Coupling topologies for realizing compact microwave diplexers with dual-mode cavitiesMicrowave Symposium Digest (MTT), 2010 IEEE MTT-S International, Jun 2010, Anaheim, United States. IEEE, pp.880 -883, 2010, <10.1109/MWSYM.2010.5517504>
|
|
|
|
hal-00437476v1
Communication dans un congrès
Hervé Leblond, Jean-François Villemazet, Jean-Louis Cazaux, Damien Pacaud, J.-J. Herren et al. When new needs for satellite payloads meet with new filters architecture and technologiesEuropean Microwave Conference, EuMC 2009, Sep 2009, Rome, Italy. pp.EuMC/EuMIC03-4, 2009, <10.1109/EUMC.2009.5296368>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
hal-01112822v1
Chapitre d'ouvrage
Laurent Fuchs, Laurent Thery. A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective GeometryPascal Schreck; Julien Narboux; Jürgen Richter-Gebert. Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers, 6877, Springer, pp.51--62, 2011, Lecture Notes in Computer Science, 978-3-642-25069-9. <10.1007/978-3-642-25070-5_3>
|
|
hal-01214711v1
Communication dans un congrès
Olivier Blazy, Céline Chevalier, Damien Vergnaud. Non-Interactive Zero-Knowledge Proofs of Non-MembershipKaisa Nyberg. Topics in Cryptology - CT-RSA 2015, The Cryptographer's Track at the RSA Conference 2015, Apr 2015, San Francisco, United States. Springer, Topics in Cryptology - CT-RSA 2015, Lecture Notes in Computer Science 2014 (9048), pp.145-164, <http://link.springer.com/book/10.1007/978-3-319-16715-2>. <10.1007/978-3-319-16715-2_8>
|
|
|