Skip to Main content Skip to Navigation

tel-00008599v1  Theses
Bilal Atfeh. Méthode des lignes de courant appliquée à la modélisation des bassins
Modélisation et simulation. Université de Provence - Aix-Marseille I, 2003. Français
hal-02435793v1  Journal articles
Pascal PréaDominique Fortin. An Optimal Algorithm To Recognize Robinsonian Dissimilarities
Journal of Classification, Springer Verlag, 2014
hal-00012118v1  Journal articles
P. AuscherE. Russ. Hardy spaces and divergence operators on strongly Lipschitz domains in $R^n$
Journal of Functional Analysis, Elsevier, 2003, 201,No.1, pp.148-184
hal-00003443v1  Journal articles
Robert EymardThierry GallouëtJulien Vovelle. Limit boundary conditions for finite volume approximations of some physical problems
Journal of Computational and Applied Mathematics, Elsevier, 2003, Vol. 161, pp. 349-369
tel-00003139v1  Theses
Nicolas Seguin. Modélisation et simulation numérique des écoulements diphasiques
Mathematics [math]. Université de Provence - Aix-Marseille I, 2002. English
hal-01882129v1  Conference papers
Engel LefaucheuxAlessandro GiuaCarla Seatzu. Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis
Petri Nets 2018 - International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.164-183, ⟨10.1007/978-3-319-91268-4_9⟩
hal-01130216v2  Journal articles
Paul GastinBenjamin Monmege. A Unifying Survey on Weighted Logics and Weighted Automata
Soft Computing, Springer Verlag, 2018, 22 (4), pp.1047-1065. ⟨10.1007/s00500-015-1952-6⟩
hal-00503082v1  Conference papers
Philippe GorceNasser RezzougAlexis HeloirSylvie GibetNicolas Courty et al.  Agent virtuel signeur - Aide à la communication pour personnes sourdes
4ème conférence pour l'essor des technologies d'assistance, Handicap2006, Jun 2006, France. pp. 1-6
hal-01361427v1  Conference papers
Pablo ArrighiSimon MartielSimon Perdrix. Reversible Causal Graph Dynamics
Reversible Computation, Jul 2016, Bologna, Italy. pp.73-88, ⟨10.1007/978-3-319-40578-0_5⟩
hal-00494241v1  Journal articles
Sylvie GibetAlexis HéloirNicolas CourtyJean-François KampPhilippe Gorce et al.  Virtual Agent for Deaf Signing Gestures
AMSE, Journal of the Association for the Advancement of Modelling and Simulation Techniques in Enterprises, AMSE Press, 2006, 67, pp.127--136
hal-00121147v1  Journal articles
M. CampaninoD. IoffeY. Velenik. Rigorous Non-Perturbative Ornstein-Zernike Theory for Ising Ferromagnets
EPL - Europhysics Letters, European Physical Society/EDP Sciences/Società Italiana di Fisica/IOP Publishing, 2003, 62 numéro 2, pp.182-188
lirmm-01375099v1  Conference papers
Jean-François BagetZied BouraouiFarid NouiouaOdile PapiniSwan Rocher et al.  ∃-ASP for Computing Repairs with Existential Ontologies
SUM: Scalable Uncertainty Management, Andrea G. B. Tettamanzi, Oct 2016, Nice, France. pp.230-245, ⟨10.1007/978-3-319-45856-4_16⟩
hal-00536740v1  Conference papers
Sebastien BlandinDan WorkPaola GoatinBenedetto PiccoliAlexandre Bayen. A class of perturbed Cell-Transmission models to account for traffic variability
Transportation Research Board 89th Annual Meeting, Jan 2010, Washington, DC, United States
hal-00638111v1  Journal articles
Mauro GaravelloPaola Goatin. The Aw-Rascle traffic model with locally constrained flow
Journal of Mathematical Analysis and Applications, Elsevier, 2011, 378 (2), pp.634-648. ⟨10.1016/j.jmaa.2011.01.033⟩
hal-00537268v1  Journal articles
Sebastien BlandinDan WorkPaola GoatinBenedetto PiccoliAlexandre Bayen. A general phase transition model for vehicular traffic
SIAM Journal on Applied Mathematics, Society for Industrial and Applied Mathematics, 2011, 71 (1), pp.107-127