Ident. | Authors (with country if any) | Title |
---|
000E30 (2014) |
Henri Casanova [États-Unis] ; Arnaud Giersch [France] ; Arnaud Legrand [France] ; Martin Quinson [France] ; Frédéric Suter [France] | Versatile, scalable, and accurate simulation of distributed applications and platforms |
000E33 (2014) |
Thai V. Hoang [France] ; Elisa H. Barney Smith [États-Unis] ; Salvatore Tabbone [France] | Sparsity-based edge noise removal from bilevel graphical document images |
000E35 (2014) |
B. Addis [France] ; A. Capone [Italie] ; G. Carello [Italie] ; L. G. Gianoli [Italie, Canada] ; B. Sanso [Canada] | On the energy cost of robustness and resiliency in IP networks |
000E36 (2014) |
John Nassour [Allemagne] ; Patrick Henaff [France] ; Fethi Benouezdou [France] ; Gordon Cheng [Allemagne] | Multi-layered multi-pattern CPG for adaptive locomotion of humanoid robots |
000E38 (2014) |
YING XIAO [France] ; Catherine Mignolet [France] ; Jean-François Mari [France] ; Marc Benoit [France] | Modeling the spatial distribution of crop sequences at a large regional scale using land-cover survey data: A case from France |
000E40 (2014) |
Antoine Liutkus [France] ; Derry Fitzgerald [Irlande (pays)] ; Zafar Rafii [États-Unis] ; Bryan Pardo [États-Unis] ; Laurent Daudet [France] | Kernel Additive Models for Source Separation |
000E42 (2014) |
Hans Van Ditmarsch [France] ; Sujata Ghosh [Inde] ; Rineke Verbrugge [Pays-Bas] ; YANJING WANG [République populaire de Chine] | Hidden protocols: Modifying our expectations in an evolving world |
001336 (2013-01) |
Dominique Méry [France] ; Neeraj Kumar Singh [France] | Formal Specification of Medical Systems by Proof-Based Refinement |
001417 (2013) |
Hyacinthe J. Ramaroson [Madagascar, France] ; Florence Le Ber [France] ; Bertin O. Ramamonjisoa [Madagascar, France] ; Dominique Hervé [France] | Treillis de Galois pour la fusion de connaissances spatiales sur des territoires villageois malgaches |
001674 (2013) |
Didier Galmiche [France] ; Daniel Méry [France] | A Connection-based Characterization of Bi-intuitionistic Validity |
001688 (2013) |
Florent Delomier [France] ; Bertrand David [France] ; Cyril Benazet [France] ; René Chalon [France] | Learning Games Collaboratifs Contextualisés: Conception et mise en œuvre |
001689 (2013) |
SAMEH HBAIEB TURKI [Tunisie] ; Anis Charfi [Allemagne] ; Farah Bellaaj [Tunisie] ; Rafik Bouaziz [Tunisie] | La modélisation des propriétés non fonctionnelles dans les processus métiers: Une approche basée sur les services |
001694 (2013) |
Olivier Sigaud [France] ; Freek Stulp [France] | Adaptation de la matrice de covariance pour l'apprentissage par renforcement direct |
001698 (2013) |
Pakawat Pupatwibul [Australie] ; Ameen Banjar [Australie] ; Robin Braun [Australie] | Using DAIM as a Reactive Interpreter for OpenFlow Networks to Enable Autonomic Functionality |
001700 (2013) |
Jean François Mari [France] ; EL GHALI LAZRAK [France] ; Marc Benoit [France] | Time space stochastic modelling of agricultural landscapes for environmental issues |
001712 (2013) |
B. Komac [Andorre] ; S. Kefi [France] ; P. Nuche [Espagne] ; J. Escos [Espagne] ; C. L. Alados [Espagne] | Modeling shrub encroachment in subalpine grasslands under different environmental and management scenarios |
001713 (2013) |
Marc Pons-Pons [Espagne, Andorre, Canada] ; Peter A. Johnson [Canada] ; Marti Rosas-Casals [Espagne] ; Barbara Sureda [Espagne] ; Eric Jover [Andorre] | Modeling climate change effects on winter ski tourism in Andorra |
001723 (2013) |
Karim Benouaret [France] ; Raman Valliyur-Ramalingam [France] ; François Charoy [France] | CrowdSC: Building Smart Cities with Large-Scale Citizen Participation : SMART CITIES |
001725 (2013) |
Phuc Ngo [France] ; Yukiko Kenmochi [France] ; Nicolas Passat [France] ; Hugues Talbot [France] | Combinatorial structure of rigid transformations in 2D digital images |
001727 (2013) |
Mauricio Cerda [Chili] ; Bernard Girau [France] | Asymmetry in neural fields: a spatiotemporal encoding mechanism |
001734 (2013) |
Ehtesham Zahoor [Pakistan] ; Kashif Munir [Pakistan] ; Olivier Perrin [France] ; Claude Godart [France] | A Bounded Model Checking Approach for the Verification of Web Services Composition |
001875 (2012-10-30) |
Karim Dahman [France] | Governance and Analysis of Business Processes Change Impact on Service Oriented Architectures: A Model-Driven Approach |
001D62 (2012) |
Geoffray Bonnin ; Armelle Brun [France] ; Anne Boyer [France] | Exploitation du skipping pour la modélisation prédictive des usages du web |
001D65 (2012) |
Armelle Brun [France] ; Anne Boyer [France] | Détection de communautés d’intérêt et recommandation sociale par leaders |
001E77 (2012) |
Olivier Alata [France] ; Christian Olivier [France] ; ZHAN JIN [France] ; Yannis Pousset [France] | Reconnaissance supervisée et non supervisée de lois à partir d'échantillons finis |
001E89 (2012) |
Vincent Boudht [France] ; Johanne Cohhn [France] ; Rodolphe Giroudeau [France] ; Jean-Clalide Könic [France] | SCHEDULING IN THE PRESENCE OF PROCESSOR NETWORKS: COMPLEXITY AND APPROXIMATION |
001E90 (2012) |
Bertrand Kerautret [France] ; Jacques-Olivier Lachaud [France] | Meaningful Scales Detection along Digital Contours for Unsupervised Local Noise Estimation |
001E91 (2012) |
Yves Rangoni [France] ; Abdet Belaïd [France] ; Szilárd Vajda [Allemagne] | Labelling logical structures of document images using a dynamic perceptive neural network |
001E93 (2012) |
Alessandro Furlan [France] ; Francesco Colombo [Italie] ; Andrea Kover [Espagne] ; Nathalie Issaly [France] ; Cristina Tintori [Italie] ; Lucilla Angeli [Italie] ; Vincent Leroux [France, Norvège] ; Sebastien Letard [France] ; Mercedes Amat [Espagne] ; Yasmine Asses [France] ; Bernard Maigret [France] ; Patrice Dubreuil [France] ; Maurizio Botta [Italie] ; Rosanna Dono [France] ; Joan Bosch [Espagne] ; Oreste Piccolo [Italie] ; Daniele Passarella [Italie] ; Flavio Maina [France] | Identification of new aminoacid amides containing the imidazo[2,1-b] benzothiazol-2-ylphenyl moiety as inhibitors of tumorigenesis by oncogenic Met signaling |
001E96 (2012) |
Noemie Schaller [France] ; El Ghali Lazrak [France] ; Philippe Martin [France] ; Jean-François Mari [France] ; Christine Aubry [France] ; Marc Benoit [France] | Combining farmers' decision rules and landscape stochastic regularities for landscape modelling |
001E98 (2012) |
Yann Guermeur [France] | A generic model of multi-class support vector machine |
002587 (2011) |
Tomas Navarrete Gutierrez [France] ; Julien Siebert [France] ; Laurent Ciarletta [France] ; Vincent Chevrier [France] | Impact des dimensions spatiale et temporelle dans la modélisation d’un phénomène collectif de type free-riding |
002663 (2011) |
Kavishwar B. Wagholikar [Inde] ; Vijayraghavan Sundararajan [Inde] ; Ashok W. Deshpande [Inde] | Modeling Paradigms for Medical Diagnostic Decision Support: A Survey and Future Directions |
002721 (2011) |
Mouhebeddine Berrima ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France] | Deciding knowledge in security protocols under some e-voting theories |
002799 (2011) |
M. Takruri [Australie] ; S. Rajasegarar [Australie] ; S. Challa [Australie] ; C. Leckie [Australie] ; M. Palaniswami [Australie] | Spatio-temporal modelling-based drift-aware wireless sensor networks |
002803 (2011) |
Van Luong Le [France] ; Gérard Bloch [France] ; Fabien Lauer [France] | Reduced-Size Kernel Models for Nonlinear Hybrid System Identification : DATA-BASED CONTROL MODELING AND OPTIMIZATION |
002809 (2011) |
FENG SUN [Hong Kong] ; Yi-King Choi [Hong Kong] ; WENPING WANG [Hong Kong] ; Dong-Ming Yan [Hong Kong, France, Arabie saoudite] ; YANG LIU [France, République populaire de Chine] ; Bruno Levy [France] | Obtuse triangle suppression in anisotropic meshes |
002813 (2011) |
Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne] | Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION |
002817 (2011) |
Khaled Gaaloul [Luxembourg (pays)] ; H. A. Proper [Luxembourg (pays)] ; Ehtesham Zahoor [France] ; François Charoy [France] ; Claude Godart [France] | A logical framework for reasoning about delegation policies in workflow management systems |
002F79 (2010) |
Walid Gaaloul [France] ; Karim Baïna [Maroc] ; Claude Godart [France] | Fouille de workflow |
003152 (2010) |
Luz-Maria Priego-Roche [France] ; Dominique Rieu [France] ; Agnès Front [France] | Vers une caractérisation intentionnelle des organisations virtuelles |
003155 (2010) |
Jean-Stéphane Ulmer [France] ; Jean-Pierre Belaud [France] ; Jean-Marc Le Lann [France] | Proposition d'une approche générique pour la formalisation et l'implémentation des processus |
003156 (2010) |
MOHAMED AMINE CHAABANE [Tunisie, France] ; Eric Andonoff [France] ; Rafik Bouaziz [Tunisie] ; Lotfi Bouzguenda [Tunisie] | Modélisation multidimensionnelle des versions de processus |
003157 (2010) |
Pierre Konopacki [France, Canada] ; Marc Frappier [Canada] ; Régine Laleau [France] | Modélisation de politiques de sécurité à l'aide d'une algèbre de processus: Présentation de la méthode EB3SEC |
003158 (2010) |
Thouraya Guizani [Tunisie, France] ; Pierre Ladet [France] | Modélisation de l' « architecture métier » dans le contexte des systèmes hospitaliers: Synthèse des besoins et comparaison de techniques de modélisation |
003159 (2010) |
Gregory Zacharewicz [France] ; Bruno Vallespir [France] ; David Chen [France] | Interopérabilité des entreprises: Vers l'utilisation d'ontologies éphémères |
003160 (2010) |
Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France] | Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B |
003163 (2010) |
Isabelle Mirbel [France] ; Pierre Crescenzo [France] | Des besoins des utilisateurs à la recherche de services web: Une approche sémantique guidée par les intentions |
003165 (2010) |
Jacques Simonin [France] ; Philippe Picouet [France] ; Jean-Marc Jezequel [France] | Conception fonctionnelle de services d'entreprise fondée sur l'alignement entre coeur de métier et système d'information |
003166 (2010) |
Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France] | Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs |
003167 (2010) |
Jorge Luis Perez Medina [France] ; Sophie Dupuy-Chessa [France] ; Dominique Rieu [France] | Approche orientée services pour la construction des environnements de modélisation |