.:. Accueil > Derniers dépôts .:.

30 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

Connected Spiral Antennas for Wideband Circularly Polarized Antenna Array, Experimental Investigations Serhir M., Guinvarc'H R. Dans Proceeding of the 7th European Conference on Antennas and Propagation - Eucap 2013, Suède (2013) [hal-00834795 - version 1]

A Low-Profile Cavity-Backed Dual-Polarized Spiral Antenna Array Serhir M., Guinvarc'H R. IEEE Antennas and Wireless Propagation Letters 12 (2013) 524 - 527 [hal-00834773 - version 1]

A Compositional Automata-Based Semantics for Property Patterns Cabrera Castillos K., Dadeau F., Julliand J., Kanso B., Taha S. Dans Integrated Formal Methods - 10th International Conference on integrated Formal Methods - IFM 2013, Finlande (2013) [hal-00831526 - version 1]

Nuclear power plant components condition monitoring by probabilistic support vector machine Liu J., Seraoui R., Vitelli V., Zio E. Annals of Nuclear Energy 56 (2013) 23-33 [hal-00790421 - version 1]

Formal modelling and verification of transactional web services composition. A refinement and proof approach with Event-B Aït-Sadoune I., Aït-Ameur Y. Dans Correct Software in Web Applications (2013) NC [hal-00831481 - version 1]

Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool Dadeau F., Cabrera Castillos K., Ledru Y., Triki T., Vega G., Botella J., Taha S. Dans Proceedings of the 6th IEEE International Conference on Software Testing, Verification, and Validation - ICST2013, Luxembourg (2013) [hal-00831534 - version 1]

Mixed Noisy Network Coding Behboodi A., Piantanida P. Dans Proceedings of the IEEE International Symposium on Information Theory - IEEE ISIT 2013, Turquie (2013) [hal-00831735 - version 1]

Cooperative Unicasting in Large Wireless Networks Altieri A. O., Vega L. R., Galarza C., Piantanida P. Dans Proceedings of the IEEE International Symposium on Information Theory - IEEE ISIT 2013, Turquie (2013) [hal-00831731 - version 1]

Capacity Region of Cooperative Multiple-Access Channel with States Zaidi A., Piantanida P., Shamai S. IEEE Transactions on Information Theory (2013) NC [hal-00831725 - version 1]

Analysis of a Cooperative Strategy for a Large Decentralized Wireless Network Altieri A. O., Vega L. R., Piantanida P., Galarza C. IEEE/ACM Transactions on Networking (2013) NC [hal-00831722 - version 1]

Bounds on the Capacity of the Relay Channel With Noncausal State at the Source Zaidi A., Shamai S., Piantanida P., Vandendorpe L. IEEE Transactions on Information Theory 59, 5 (2013) 2639-2672 [hal-00831710 - version 1]

Cooperative Strategies for Simultaneous and Broadcast Relay Channels Behboodi A., Piantanida P. IEEE Transactions on Information Theory 59, 3 (2013) 1417-1443 [hal-00831702 - version 1]

Secure Multiterminal Source Coding With Side Information at the Eavesdropper Villard J., Piantanida P. IEEE Transactions on Information Theory 59, 6 (2013) 3668-3692 [hal-00831695 - version 1]

A Packing Problem Approach to Lightpath Assignment in an Optical Ring Poulain D., Tomasik J., Weisser M.-A., Barth D. The Computer Journal (2013) NC [hal-00831550 - version 1]

Stepwise development of formal models for web services compositions. Modeling and property verification Aït-Sadoune I., Aït-Ameur Y. Transactions on Large-Scale Data- and Knowledge-Centered Systems (2013) NC [hal-00831483 - version 1]

Secrecy Degrees of Freedom of MIMO Broadcast Channels with Delayed CSIT Yang S., Kobayashi M., Piantanida P., Shamai S. IEEE Transactions on Information Theory (2013) NC [hal-00830788 - version 1]

On the Fundamental Feedback-vs-Performance Tradeoff over the MISO-BC with Imperfect and Delayed CSIT Chen J., Yang S., Elia P. Dans Proceedings of the 2013 IEEE International Symposium on Information Theory - ISIT 2013, Turquie (2013) [hal-00830764 - version 1]

Influence of excitation waveform and oscillator geometry on the resonant pull-in of capacitive MEMS oscillators Juillard J., Arndt G., Arcamone J., Colinet E. Dans Proceedings of the Symposium on Design, Test, Integration and Packaging of MEMS/MOEMS - DTIP 2013, Espagne (2013) [hal-00830533 - version 1]

Design of wideband arrays of spiral antennas. Hinostroza I. Supélec (05/04/2013), Régis Guinvarc'h (Dir.) [tel-00830469 - version 1]

A new method for source detection, power estimation, and localization in large sensor networks under noise with unknown statistics Vinogradova J., Couillet R., Hachem W. Dans Proceedings of the 38th International Conference on Acoustics, Speech, and Signal Processing - IEEE ICASSP 2013, Canada (2013) [hal-00830338 - version 1]