.:. Consultation > Liste par type de document > Conférences invitées .:.

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

1 - 2

Visualizing 2D & 3D Structures of RNA Ponty Y. VIZBI - 3rd international meeting on Visualizing Biological Data - 2012, Germany (2012) [hal-00723351 - version 1]

Efficient Algorithms to Explore the RNA Mutational Landscape Waldispühl J., Berger B., Devadas S., Clote P., Ponty Y. DM - SIAM Conference on Discrete Mathematics - 2012, Canada (2012) [hal-00723333 - version 1]

Freeway ramp metering control made easy and efficient Abouaissa H., Fliess M., Iordanova V., Join C. 13th IFAC Symposium on Control in Transportation Systems (CTS 2012), Bulgarie (2012) [hal-00711847 - version 1]

Nothing is as Practical as a Good Theory: Model-Free Control --- Rien de plus utile qu'une bonne théorie : la commande sans modèle Fliess M., Join C., Riachy S. Dans 4èmes Journées Doctorales / Journées Nationales MACS, JD-JN-MACS - 4èmes Journées Doctorales / Journées Nationales MACS, JD-JN-MACS, France (2011) [hal-00581109 - version 2]

Is a probabilistic modeling really useful in financial engineering? --- A-t-on vraiment besoin d'un modèle probabiliste en ingénierie financière ? Fliess M., Join C., Hatt F. Dans Conférence Méditerranéenne sur l'Ingénierie Sûre des Systèmes Complexes, MISC 2011 - Conférence Méditerranéenne sur l'Ingénierie Sûre des Systèmes Complexes, MISC 2011, Maroc (2011) [hal-00585152 - version 2]

Problématique des bons codes sur le corps à deux éléments Augot D. Journées de la Société Mathémarique de France, France (2010) [inria-00547445 - version 1]

Les codes algébriques principaux et leur décodage Augot D. Journées Nationales de Calcul Formel, France (2010) [inria-00543322 - version 1]

Interactive Information Flow Palamidessi C., Alvim M. S., Andrés M. E. Dans Postproceedings on the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010) - Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010), Chypre (2010) [hal-00548211 - version 1]

Entropy and Attack Models in Information Flow Alvim M. S., Andrés M. E., Palamidessi C. Dans Proceedings of the 6th IFIP International Conference on Theoretical Computer Science (TCS 2010) - 6th IFIP International Conference on Theoretical Computer Science (TCS 2010), Australie (2010) [hal-00548212 - version 1]

Compositionality of Secure Information Flow Palamidessi C. Dans Proceedings of the 10th International Conference on the Mathematics of Program Construction (MPC 2010) - Joint Conference: 10th International Conference on the Mathematics of Program Construction (MPC 2010), and 13th International Conference on Algebraic Methodology And Software Technology (AMAST 2010), Canada (2010) [hal-00548210 - version 1]

Probabilistic Information Flow Alvim M. S., Andrés M. E., Palamidessi C. Dans Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Royaume-Uni (2010) [hal-00548200 - version 1]

A dynamic approach for load balancing Barth D., Bournez O., Boussaton O., Cohen J. The Third International Workshop on Game Theory in Communication Networks - GAMECOMM 2009, Italy (2009) [inria-00435160 - version 1]

Model-free control and intelligent PID controllers: towards a possible trivialization of nonlinear control? Fliess M., Join C. 15th IFAC Symposium on System Identification (SYSID 2009), France (2009) [inria-00372325 - version 1]

A mathematical proof of the existence of trends in financial time series Fliess M., Join C. Systems Theory: Modelling, Analysis and Control, Maroc (2009) [inria-00352834 - version 1]

Playing With Population Protocols Bournez O., Chalopin J., Cohen J. International Workshop on The Complexity of Simple Programs, Irlande (2008) [inria-00330344 - version 1]

An error analysis in the algebraic estimation of a noisy sinusoidal signal Liu D.-Y., Gibaru O., Perruquetti W., Fliess M., Mboup M. 16th Mediterranean Conference on Control and Automation, France (2008) [inria-00300234 - version 1]

The computability path ordering: the end of a quest Blanqui F., Jouannaud J.-P., Rubio A. 7th EACSL Annual Conference on Computer Science Logic - CSL'08, Italie (2008) [inria-00288209 - version 2]

Rule-based modelling of cellular signalling Danos V., Feret J., Fontana W., Harmer R., Krivine J. International Conference on Concurrency Theory (CONCUR'07), Portugal (2007) [hal-00164297 - version 1]

A simple proof that super consistency implies cut elimination Dowek G., Hermant O. 18th International Conference, RTA 2007, France (2007) [hal-00743256 - version 1]

Scalable Simulation of Cellular Signaling Networks Danos V., Feret J., Fontana W., Krivine J. the 5th Asian Symposium on Programming Languages and Systems - APLAS'07, Singapour (2007) [inria-00528409 - version 1]