Skip to Main content Skip to Navigation

cel-00529505v7  Lectures
Arnaud Legout. How to Give a Good Talk?
3rd cycle. France. 2013
tel-00905873v1  Habilitation à diriger des recherches
Benoîte de Saporta. Contribution à l'estimation et au contrôle de processus stochastiques
Probabilités [math.PR]. Université Sciences et Technologies - Bordeaux I, 2013
pastel-00927122v1  Theses
Zheng Qu. Nonlinear Perron-Frobenius theory and max-plus numerical methods for Hamilton-Jacobi equations
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English
hal-00826931v1  Journal articles
Anne MathieuIrène KorsakissokDenis QuéloOlivier SaunierJérôme Groëll et al.  État de la modélisation pour simuler l'accident nucléaire de la centrale Fukushima Daiichi
Pollution Atmosphérique : climat, santé, société, Le Kremlin Bicêtre : Revue Pollution atmosphérique, 2013
hal-00933358v1  Journal articles
Isabelle HerlinVivien Mallet. La qualité de l'air sous surveillance
Textes et documents pour la classe, SCEREN-CNDP (2002-2013), CANOPE (2014- ), INRDP (1967- ), 2013, Les mathématiques de la terre, pp.40-41
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-00661758v2  Journal articles
Ruslan SadykovFrançois Vanderbeck. Column Generation for Extended Formulations
EURO Journal on Computational Optimization, Springer, 2013, 1 (1-2), pp.81-115. ⟨10.1007/s13675-013-0009-9⟩
hal-00907158v1  Journal articles
Rosa VilardiLuigi Alfredo GriecoChadi BarakatGennaro Boggia. Lightweight Enhanced Monitoring for High-speed Networks
Transactions on emerging telecommunications technologies, Wiley-Blackwell, 2013, ⟨10.1002/ett.2637⟩
hal-00988297v1  Conference papers
Abdouramane Moussa AliQinghua Zhang. Fault diagnosis for linear time-varying descriptor systems
11th IFAC International Workshop on Adaptation and Learning in Control and Signal Processing, Jul 2013, Caen, France. pp.724-729, ⟨10.3182/20130703-3-FR-4038.00073⟩
hal-00915784v1  Journal articles
Alexandre NassiopoulosFrédéric Bourquin. On-site building walls characterization
Numerical Heat Transfer, Part A Applications, Taylor & Francis, 2013, 63 (3), pp.179-200. ⟨10.1080/10407782.2013.730422⟩
hal-00743981v1  Journal articles
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
hal-00691939v1  Journal articles
Frédéric LegollTony LelièvreGiovanni Samaey. A micro-macro parareal algorithm: application to singularly perturbed ordinary differential equations
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2013, 35 (4), pp.A1951-A1986
hal-01082606v1  Journal articles
L AlperovichLev EppelbaumValery ZheludevJean DumoulinFrancesco Soldovieri et al.  A new combined wavelet methodology: implementation to GPR and ERT data obtained in the Montagnole experiment
Journal of Environmental and Engineering Geophysics, Society of Exploration Geophysicists, 2013, 10 (2), pp.17. ⟨10.1088/1742-2132/10/2/025017⟩
hal-00680278v1  Journal articles
Matthew DobsonFrédéric LegollTony LelièvreGabriel Stoltz. Derivation of Langevin Dynamics in a nonzero Background Flow Field
ESAIM: Mathematical Modelling and Numerical Analysis, EDP Sciences, 2013, 47 (6), pp.1583-1626. ⟨10.1051/m2an/2013077⟩
hal-00913767v1  Conference papers
Jordan BrounsAlexandre NassiopoulosFrédéric BourquinKarim Limam. State-parameter identification for accurate building energy audits
Building Simulation 2013 conference, Aug 2013, Chambéry, France. 7p
hal-00859131v1  Journal articles
Michaël PeigneyDominique Siegert. Piezoelectric energy harvesting from traffic-induced bridge vibrations
Smart Materials and Structures, IOP Publishing, 2013, 22, pp.095019
hal-00826581v1  Journal articles
Anne TilloyVivien MalletDavid PouletCéline PesinFabien Brocheton. BLUE-based NO2 data assimilation at urban scale
Journal of Geophysical Research, American Geophysical Union, 2013, 118 (4), pp.2031-2040. ⟨10.1002/jgrd.50233⟩
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-00903880v1  Journal articles
Vivien MalletAlexander NakonechnySergiy Zhuk. Minimax filtering for sequential aggregation: Application to ensemble forecast of ozone analyses
Journal of Geophysical Research, American Geophysical Union, 2013, 118 (19), pp.11,294-11,303. ⟨10.1002/jgrd.50751⟩
hal-00939188v1  Journal articles
Nikhil SwamyJuan ChenCédric FournetPierre-Yves StrubKarthikeyan Bhargavan et al.  Secure Distributed Programming with Value-Dependent Types
Journal of Functional Programming, Cambridge University Press (CUP), 2013, 23 (4), pp.402-451
hal-00922936v1  Journal articles
Adi AdimurthiG. D. Veerappa GowdaJérôme Jaffré. The DFLU flux for systems of conservation laws
Journal of Computational and Applied Mathematics, Elsevier, 2013, 247, pp.102-123. ⟨10.1016/⟩
hal-00743077v1  Journal articles
Nicolas CrouseillesMohammed LemouFlorian Méhats. Asymptotic preserving schemes for highly oscillatory kinetic equation
Journal of Computational Physics, Elsevier, 2013, 248, pp.287-308
hal-00782837v1  Journal articles
Xavier AllamigeonR.D. Katz. Minimal external representations of tropical polyhedra
Journal of Combinatorial Theory, Series A, Elsevier, 2013, 120 (4), pp.907-940. ⟨10.1016/j.jcta.2013.01.011⟩
inria-00497177v2  Journal articles
Vincent SilesHugo Herbelin. Pure Type System conversion is always typable
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (2), pp.153 - 180. ⟨10.1017/S0956796812000044⟩
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-00923352v1  Journal articles
Xiaolan ZhangGiovanni NegliaJim KuroseDon TowsleyHaixiang Wang. Benefits of Network Coding in Disruption Tolerant Networks
IEEE/ACM Transactions on Networking, IEEE/ACM, 2013, 21 (5), pp.1407-1420. ⟨10.1109/TNET.2012.2224369⟩
hal-00737067v1  Journal articles
James TiltonYuliya TarabalkaPaul MontesanoEmanuel Gofman. Best Merge Region-Growing Segmentation with Intergrated Nonadjacent Region Object Aggregation
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2012, 50 (11), pp.4454-4467. ⟨10.1109/TGRS.2012.2190079⟩
hal-00933306v1  Journal articles
Benyuan LiuOlivier DoussePhilippe NainDon Towsley. Dynamic Coverage of Mobile Sensor Networks
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2013, 24 (2), pp.301-311. ⟨10.1109/TPDS.2012.141⟩
hal-00877589v1  Journal articles
François Pottier. Syntactic soundness proof of a type-and-capability system with hidden state
Journal of Functional Programming, Cambridge University Press (CUP), 2013, 23 (1), pp.38-144. ⟨10.1017/S0956796812000366⟩
hal-00940791v1  Journal articles
Stéphane GaubertSergei Sergeev. The level set method for the two-sided max-plus eigenproblem
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (2), pp.105-134. ⟨10.1007/s10626-012-0137-z⟩
hal-00710290v3  Journal articles
Alexander ZehSergey Bezzateev. A New Bound on the Minimum Distance of Cyclic Codes Using Small-Minimum-Distance Cyclic Codes
Designs, Codes and Cryptography, Springer Verlag, 2012, pp.229-246
hal-00772610v1  Conference papers
Mohammad GhavamzadehAlessandro Lazaric. Conservative and Greedy Approaches to Classification-based Policy Iteration
AAAI - 26th Conference on Artificial Intelligence, Jul 2012, Toronto, Canada
hal-00789606v2  Conference papers
Michal ValkoAlexandra CarpentierRémi Munos. Stochastic Simultaneous Optimistic Optimization
International Conference on Machine Learning, Jun 2013, Atlanta, United States
hal-00778586v1  Conference papers
Odalric-Ambrym MaillardPhuong NguyenRonald OrtnerDaniil Ryabko. Optimal Regret Bounds for Selecting the State Representation in Reinforcement Learning
ICML - 30th International Conference on Machine Learning, 2013, Atlanta, USA, United States. pp.543-551
hal-00923681v1  Conference papers
Gunnar KedenburgRaphael FonteneauRemi Munos. Aggregating optimistic planning trees for solving markov decision processes
Advances in Neural Information Processing Systems, 2013, United States. pp.2382-2390
hal-00758003v1  Conference papers
Christophe SalperwyckVincent Lemaire. Incremental Decision Tree based on order statistics
Workshop on Active and Incremental Learning (without proceedings), Vincent Lemaire, Pascal Cuxac and Jean-Charles Lamirel, 2012, Montpellier, France
hal-00924025v1  Conference papers
Mohammad Gheshlaghi AzarAlessandro LazaricEmma Brunskill. Sequential Transfer in Multi-armed Bandit with Finite Set of Models
NIPS - Advances in Neural Information Processing Systems 25 - 2013, Dec 2013, Lake Tahoe, United States
hal-01079423v1  Conference papers
Alexander ZiminGergely Neu. Online Learning in Episodic Markovian Decision Processes by Relative Entropy Policy Search
Neural Information Processing Systems 26, Dec 2013, Lake Tahoe, United States
hal-00923685v1  Conference papers
Alexandra CarpentierRémi Munos. Toward optimal stratification for stratified monte-carlo integration
International Conference on Machine Learning, 2013, United States
tel-00920184v1  Theses
Azadeh Khaleghi. On Some Unsupervised Learning Problems for Highly Dependent Time Series
Statistics [math.ST]. Institut national de recherche en informatique et en automatique (INRIA), 2013. English
hal-00913244v1  Conference papers
Daniil Ryabko. Unsupervised model-free representation learning
Proc. 24th International Conf. on Algorithmic Learning Theory (ALT'13), 2013, Singapore, Singapore. pp.354-366
hal-00913250v1  Conference papers
Azadeh KhaleghiDaniil Ryabko. Nonparametric multiple change point estimation in highly dependent time series
Proc. 24th International Conf. on Algorithmic Learning Theory (ALT'13), 2013, Singapore, Singapore. pp.382-396
hal-00772609v1  Conference papers
Amir SaniAlessandro LazaricRémi Munos. Risk-Aversion in Multi-armed Bandits
NIPS - Twenty-Sixth Annual Conference on Neural Information Processing Systems, Dec 2012, Lake Tahoe, United States
hal-00826946v1  Conference papers
Michal ValkoNathan KordaRémi MunosIlias FlaounasNello Cristianini. Finite-Time Analysis of Kernelised Contextual Bandits
Uncertainty in Artificial Intelligence, Jul 2013, Bellevue, United States
hal-00747921v2  Conference papers
Michal ValkoMohammad GhavamzadehAlessandro Lazaric. Semi-Supervised Apprenticeship Learning
The 10th European Workshop on Reinforcement Learning (EWRL 2012), Jun 2012, Edinburgh, United Kingdom. pp.131-141
hal-00749197v2  Conference papers
Branislav KvetonMichal Valko. Learning from a Single Labeled Face and a Stream of Unlabeled Data
10th IEEE International Conference on Automatic Face and Gesture Recognition, Apr 2013, Shanghai, China
hal-00924021v1  Conference papers
Mohammad Gheshlaghi AzarAlessandro LazaricEmma Brunskill. Regret Bounds for Reinforcement Learning with Policy Advice
ECML/PKDD - European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2013, Prague, Czech Republic
hal-00823233v1  Conference papers
Daniil Ryabko. Time-series information and learning
ISIT - International Symposium on Information Theory, 2013, Istanbul, Turkey. pp.1392-1395
hal-00772615v1  Conference papers
Victor GabillonMohammad GhavamzadehAlessandro Lazaric. Best Arm Identification: A Unified Approach to Fixed Budget and Fixed Confidence
NIPS - Twenty-Sixth Annual Conference on Neural Information Processing Systems, Dec 2012, Lake Tahoe, United States