.:. Browse > By document type > Peer-reviewed conference/proceedings .:.

3770 documents ordered by : Date Title first author name document type Submit date

... 204 - 205 - 206 - 207 - 208 - 209 - 210 ...

Classical Combinatory Logic Nour K. Dans Discrete Mathematics and Theoretical Computer Science Proceedings, June 20-21, 2005, Chambéry, France - Computational Logic and Applications, CLA '05, France (2005) [hal-00382357 - version 1]

A make-to-stock queue with product returns Gayon J.-P. Dans INCOM - INCOM, France (2006) [hal-00375371 - version 1]

Theories of (HNN)-Extensions and Amalgamated Products Lohrey M. et al In Proceedings ICALP'06 - Iinternational Conference on Automata Languages and Programmimg, Italy (2006) [hal-00368259 - version 1]

COMBINING DECODED-AND-FORWARDED SIGNALS IN GAUSSIAN COOPERATIVE CHANNELS Djeumou B. et al In COMBINING DECODED-AND-FORWARDED SIGNALS IN GAUSSIAN COOPERATIVE CHANNELS - IEEE International Symposium on Signal Processing and Information Technology (ISSPIT'06), Canada (2006) [hal-00361707 - version 1]

A short review on computational issues arising in relativistic atomic and molecular physics Esteban M. J. Dans CRM Proceedings and Lectures Notes - High dimensional PDEs, Canada (2005) [hal-00359913 - version 1]

Multivariate Fuss-Catalan numbers and B-quasisymmetric polynomials. Aval J.-C. Dans Formal Power Series and Algebraic Combinatorics - FPSAC'06., États-Unis (2006) [hal-00353525 - version 1]

Single product scheduling and transportation optimization in a supply chain Mouloua Z. et al Tenth International Workshop on Project Management and Scheduling, (2006) [inria-00114186 - version 1]

A hybrid decomposition approach using increasing clusters for solving scheduling problems with minimal and maximal time lags Deppner F. et al Tenth International Workshop on Project Management and Scheduling (PMS 2006), (2006) [inria-00114183 - version 1]

Gestion collaborative et distribuée des approvisionnements intégrant le transport Khouider S. et al Conférence Internationale Francophone d'Automatique (Cifa 2006), (2006) [inria-00114153 - version 1]

Collaborative model for customer request ordering: research and selection of substitute suppliers Khouider S. et al International Conference On Information System, Logistics and Supply chain - ILS 2006, (2006) [inria-00113405 - version 1]

Distributed synthesis for well-connected architectures Gastin P. et al Dans Proc. of the 26th Conference on Foundations of Software Technology and Theoretical Computer Science - FSTTCS06, Inde (2006) [hal-00306316 - version 1]

Approximate simulation relations for hybrid systems Girard A. et al Dans Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems - 2nd IFAC Conference on Analysis and Design of Hybrid Systems, Italie (2006) [hal-00307035 - version 1]

Recent progress in continuous and hybrid reachability analysis Asarin E. et al Dans Proceedings of the IEEE International Symposium on Computer-Aided Control Systems Design - IEEE International Symposium on Computer-Aided Control Systems Design 2006, Allemagne (2006) [hal-00307031 - version 1]

Hierarchical control using approximate simulation relations Girard A. et al Dans Proceedings of the 45th IEEE Conference on Decision and Control - 45th IEEE Conference on Decision and Control, États-Unis (2006) [hal-00307028 - version 1]

Approche d'un duel au tennis par régression logistique Paris N. et al Dans Actes des 'XXXVIIIème Journées de statistique - 'XXXVIIIème Journées de statistique, France (2006) [hal-00293232 - version 1]