Skip to Main content Skip to Navigation

hal-00680230v1  Journal articles
Laurent Romary. Etienne Brunet, Ce qui compte - Ecrits choisis, tome II
Literary and Linguistic Computing, Oxford University Press (OUP), 2012
hal-00772721v1  Journal articles
Nicolas PouillardFrançois Pottier. A unified treatment of syntax with binders
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (4--5), pp.614--704. ⟨10.1017/S0956796812000251⟩
hal-00767334v1  Journal articles
Walid Gomaa. A Survey of Recursive Analysis and Moore's Notion of Real Computation
Natural Computing, Springer Verlag, 2012, 11 (1), pp.37-49. ⟨10.1007/s11047-011-9278-5⟩
hal-01262275v1  Journal articles
Yacine BoufkhadThomas Hugel. Estimating satisfiability
Discrete Applied Mathematics, Elsevier, 2012, 160 (1-2), pp.19. ⟨10.1016/j.dam.2011.10.005⟩
hal-00694584v1  Journal articles
Thomas CorpettiEtienne Mémin. Stochastic uncertainty models for the luminance consistency assumption
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2012, 21 (2), pp.481-493. ⟨10.1109/TIP.2011.2162742⟩
hal-00639477v1  Journal articles
Daniil Ryabko. Testing composite hypotheses about discrete ergodic processes
Test, Spanish Society of Statistics and Operations Research/Springer, 2012, 21 (2), pp.317-329. ⟨10.1007/s11749-011-0245-3⟩
hal-00741547v1  Journal articles
Michel FliessHassane AbouaïssaViolina IordanovaCédric Join. La commande << sans modèle >> du trafic autoroutier
Flash X - La revue scientifique de l'Ecole polytechnique, Ecole polytechnique, 2012, pp.25-28
hal-00846000v1  Journal articles
Mario DipoppaMaciej KrupaBoris GutkinAlessandro Torcini. Splay States in Finite Pulse-Coupled Networks of Excitable Neurons
SIAM Journal on Applied Dynamical Systems, Society for Industrial and Applied Mathematics, 2012, 11 (3), pp.864-894. ⟨10.1137/110859683⟩
hal-00452241v3  Journal articles
Nicolas ForcadelCyril ImbertRégis Monneau. Uniqueness and existence of spirals moving by forced mean curvature motion
Interfaces and Free Boundaries, European Mathematical Society, 2012, 14 (3), pp.365-400. ⟨10.4171/IFB/285⟩
hal-00387818v3  Journal articles
Nicolas ForcadelCyril ImbertRégis Monneau. Homogenization of accelerated Frenkel-Kontorova models with $n$ types of particles
Transactions of the American Mathematical Society, American Mathematical Society, 2012, 364, pp.6187-6227. ⟨10.1090/S0002-9947-2012-05650-9⟩
hal-00749192v1  Journal articles
Frédéric HavetClaudia Linhares SalesLeonardo Sampaio. b-coloring of tight graphs
Discrete Applied Mathematics, Elsevier, 2012, 160 (18), pp.2709--2715
hal-00756249v1  Journal articles
Azadeh SaffarianMathieu GiraudAntoine de MonteHélène Touzet. RNA Locally Optimal Secondary Structures
Journal of Computational Biology, Mary Ann Liebert, 2012, 19 (10), pp.1120-1133. ⟨10.1089/cmb.2010.0178⟩
hal-00760458v1  Journal articles
Hélène BarucqAnne-Gaëlle Dupouy St-GuironsSébastien Tordeux. Non-reflecting boundary condition on ellipsoidal boundary
Numerical Analysis and Applications, Springer, 2012, 5 (2), pp.109-115
hal-00677667v1  Journal articles
Xu LiRafael FalconAmiya NayakIvan Stojmenovic. Servicing Wireless Sensor Networks by Mobile Robots
IEEE Communications Magazine, Institute of Electrical and Electronics Engineers, 2012, 50 (7), ⟨10.1109/MCOM.2012.6231291⟩
hal-00664294v1  Journal articles
Zhi LiXu LiVenkat NarasimhanAmiya NayakIvan Stojmenovic. Autoregressive Trust Management in Wireless Ad Hoc Networks
Ad Hoc & Sensor Wireless Networks, PKP Publishing ServicesNetwork 2012
hal-01528440v1  Journal articles
Jannis UhlendorfAgnès MiermontThierry DelaveauGilles CharvinFrançois Fages et al.  Long-term model predictive control of gene expression at the population and single-cell levels
Proceedings of the National Academy of Sciences of the United States of America , National Academy of Sciences, 2012, 109 (35), pp.14271-14276. ⟨10.1073/pnas.1206810109⟩
hal-00764986v1  Journal articles
Jérémie LefebvreAxel HuttViktor LeblancAndré Longtin. Reduced dynamics for delayed systems with harmonic or stochastic forcing
Chaos: An Interdisciplinary Journal of Nonlinear Science, American Institute of Physics, 2012, 22 (4), pp.043121. ⟨10.1063/1.4760250⟩
hal-00741948v1  Journal articles
Lali BarrièrePaola FlocchiniFedor V. FominPierre FraigniaudNicolas Nisse et al.  Connected Graph Searching
Information and Computation, Elsevier, 2012, 219, pp.1-16
hal-00714721v1  Journal articles
Asja JelićCécile Appert-RollandSamuel LemercierJulien Pettré. Properties of pedestrians walking in line: Stepping behavior
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, American Physical Society, 2012, 86, pp.046111
hal-00716032v1  Journal articles
Mehdi MoussaidElsa G. GuillotMathieu MoreauJérôme FehrenbachOlivier Chabiron et al.  Traffic Instabilities in Self-Organized Pedestrian Crowds
PLoS Computational Biology, Public Library of Science, 2012, 8 (3), pp.1002442. ⟨10.1371/journal.pcbi.1002442⟩