Skip to Main content Skip to Navigation

hal-01130630v1  Reports
Benoit LangeToan Nguyen. A Hadoop distribution for engineering simulation
[Research Report] INRIA Grenoble - Rhône-Alpes. 2014
hal-01110978v1  Journal articles
Frédéric HavetNagarajan ParamaguruRathinaswamy Sampathkumar. Detection number of bipartite graphs and cubic graphs
Discrete Mathematics and Theoretical Computer Science, DMTCS, 2014, Vol. 16 no. 3 (in progress) (3), pp.333-342
hal-01059345v2  Journal articles
Vahid KhanaghaKhalid DaoudiHussein Yahia. Detection of Glottal Closure Instants based on the Microcanonical Multiscale Formalism
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2014
hal-01101184v1  Journal articles
Amélie GheerbrantLeonid LibkinCristina Sirangelo. Naive Evaluation of Queries over Incomplete Databases
ACM Transactions on Database Systems, Association for Computing Machinery, 2014, pp.42
hal-00920945v2  Journal articles
Benedikt BolligPeter HabermehlMartin LeuckerBenjamin Monmege. A Robust Class of Data Languages and an Application to Learning
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (4:19), ⟨10.2168/LMCS-10(4:19)2014⟩
hal-01091576v1  Journal articles
Ghada ArfaouiGuillaume DabosvilleSébastien GambsPatrick LacharmeJean-François Lalande. A Privacy-Preserving NFC Mobile Pass for Transport Systems
EAI Endorsed Transactions on Mobile Communications and Applications, ICST, 2014, 14 (5), pp.e4. ⟨10.4108/mca.2.5.e4⟩
hal-01098505v2  Journal articles
Francis Bach. Breaking the Curse of Dimensionality with Convex Neural Networks
Journal of Machine Learning Research, Microtome Publishing, 2014, 18 (19), pp.1-53
hal-01091812v1  Book sections
Stéphane FrénotStéphane Grumbach. Des données à l’intermédiation,une révolution économique et politique
Big data : nouvelles partitions de l'information, De Boeck, 2014, 2804189155
tel-01101642v2  Theses
Bertrand Delabarre. Contributions to dense visual tracking and visual servoing using robust similarity criteria
Computer Vision and Pattern Recognition [cs.CV]. Université Rennes 1, 2014. English. ⟨NNT : 2014REN1S124⟩
hal-01098344v1  Reports
Denis Roegel. A reconstruction of Arnaudeau’s table of triangular numbers (ca. 1896)
[Research Report] LORIA - Université de Lorraine. 2014
hal-01110878v1  Journal articles
Lucas Chesnel. Bilaplacian problems with a sign-changing coefficient
Mathematical Methods in the Applied Sciences, Wiley, 2014, pp.10.1002/mma.3366. ⟨10.1002/mma.3366⟩
hal-00840254v2  Reports
Guy Perrier. FRIGRAM: a French Interaction Grammar
[Research Report] RR-8323, INRIA Nancy; INRIA. 2014, pp.257
hal-01081139v2  Books
Julien MairalFrancis BachJean Ponce. Sparse Modeling for Image and Vision Processing
now publishers, 8 (2-3), pp.85-283, 2014, Foundations and Trends in Computer Graphics and Vision, 978-1-68083-008-8. ⟨10.1561/0600000058⟩
tel-01165064v1  Theses
Alvinice Kodjo. Design and optimization of wireless backhaul networks
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4140⟩
tel-01119207v2  Theses
Vineet Gandhi. Automatic rush generation with application to theatre performances
Programming Languages [cs.PL]. Université de Grenoble, 2014. English. ⟨NNT : 2014GRENM080⟩
tel-01128792v1  Theses
Lisong Guo. Boost the Reliability of the Linux Kernel : Debugging kernel oopses
Operating Systems [cs.OS]. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066378⟩
hal-01097109v1  Reports
Nicolas Braud-SantoniSwan DuboisMohamed Hamza KaaouachiFranck Petit. The Next 700 Impossibility Results in Time-Varying Graphs
[Research Report] UPMC Sorbonne Universités/CNRS/Inria - EPI REGAL. 2014
tel-01123711v2  Theses
Anna Zhukova. Knowledge-based scaling for biological models
Computer science. Université de Bordeaux, 2014. English. ⟨NNT : 2014BORD0427⟩
tel-01101679v1  Theses
Ines Ben Jemaa. Multicast Communications for Cooperative Vehicular Systems
Networking and Internet Architecture [cs.NI]. Mines ParisTech, 2014. English. ⟨NNT : 432⟩
hal-01093188v1  Conference papers
The Dang HuynhFabien MathieuLaurent Viennot. LiveRank: How to Refresh Old Crawls
Algorithms and Models for the Web Graph - 11th International Workshop (WAW 2014), Dec 2014, Beijing, China. pp.148 - 160, ⟨10.1007/978-3-319-13123-8_12⟩
tel-01094980v1  Habilitation à diriger des recherches
Stéphane Graham-Lengrand. Polarities & Focussing: a journey from Realisability to Automated Reasoning
Logic in Computer Science [cs.LO]. Paris-Sud XI, 2014
hal-01069578v1  Conference papers
Maria PredariAurélien Esnard. Coupling-Aware Graph Partitioning Algorithms: Preliminary Study
IEEE International Conference on High Performance Computing (HiPC 2014), Dec 2014, Goa, India. ⟨10.1109/HiPC.2014.7116879⟩
tel-01278532v1  Theses
Zhaowu Zhan. On design concept for full-duplex based flexible radio transceivers
Networking and Internet Architecture [cs.NI]. INSA de Lyon, 2014. English. ⟨NNT : 2014ISAL0142⟩
hal-01118593v1  Conference papers
Koen DecroixDenis ButinJoachim JansenVincent Naessens. Inferring Accountability from Trust Perceptions
Information Systems Security - ICISS 2014, Dec 2014, IDRBT, Hyderabad, India. pp.69 - 88, ⟨10.1007/978-3-319-13841-1_5⟩
tel-01266878v1  Theses
Networking and Internet Architecture [cs.NI]. Institut National des Sciences Appliquées de Lyon (INSA Lyon), 2014. English
tel-01097488v1  Theses
Alexandre Bilger. Patient-specific biomechanical simulation for deep brain stimulation
Modeling and Simulation. Université des Sciences et Technologie de Lille, 2014. English
hal-01062130v1  Conference papers
Damien GarreauRémi LajugieSylvain ArlotFrancis Bach. Metric Learning for Temporal Sequence Alignment
Advances in Neural Information Processing Systems 27 (NIPS 2014), Dec 2014, Montréal, Canada
tel-01099605v1  Theses
Grégory Arbia. Multiscale modeling of blood flow in the context of congenital heart disease
Mathematics [math]. Université Pierre et Marie Curie, 2014. English
tel-01098191v1  Theses
Maximilien Servajean. Recommandation Diversifiée et Distribuée pour les Données Scientifiques
Recherche d'information [cs.IR]. Université Montpellier 2, 2014. Français
tel-01122262v1  Theses
Çağdaş Bozman. Profilage mémoire d’applications OCaml
Informatique [cs]. ENSTA ParisTech, 2014. Français
hal-01100962v1  Conference papers
Casadei AstridPierre RametJean Roman. An improved recursive graph bipartitioning algorithm for well balanced domain decomposition
IEEE International Conference on High Performance Computing (HiPC 2014), Dec 2014, Goa, India. pp.1-10, ⟨10.1109/HiPC.2014.7116878⟩
hal-01094640v1  Conference papers
Giovanni NegliaGiuseppe Di BellaLaura GiarrèIlenia Tinnirello. Unidirectional Direct Load Control through Smart Plugs
IEEE 53rd Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States
hal-01070357v1  Conference papers
Akansha GargSashi Vardhan NaiduHussein YahiaDarmendra Singh. Wavelet Based Resolution Enhancement for Low Resolution Satellite Images
9th IEEE International Conference on Industrial and Information Systems (ICIIS2014), IEEE UP Section (India), IEEE MP Subsection, Dec 2014, Gwalior, India
hal-01071227v1  Conference papers
Andrey PolyakovDenis EfimovWilfrid PerruquettiJean-Pierre Richard. Implicit Lyapunov-Krasovski Functionals for Time Delay Systems
Conference on Decision and Control, IEEE, Dec 2014, Los Angeles, United States
hal-00974749v1  Conference papers
Vincent CalvezPierre GabrielStéphane Gaubert. Non-linear eigenvalue problems arising from growth maximization of positive linear dynamical systems
IEEE 53rd Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States. pp.1600--1607, ⟨10.1109/CDC.2014.7039628⟩
hal-01059957v1  Conference papers
Fabien LauerGérard Bloch. Piecewise smooth system identification in reproducing kernel Hilbert space
53rd IEEE Conference on Decision and Control, CDC 2014, Dec 2014, Los Angeles, United States
hal-01066689v1  Conference papers
Olivier HuberVincent AcaryBernard BrogliatoFranck Plestan. Discrete-time twisting controller without numerical chattering: analysis and experimental results with an implicit method
CDC 2014 - IEEE 53rd Annual Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.4373-4378, ⟨10.1109/CDC.2014.7040071⟩
hal-01054710v1  Conference papers
Yezekael HayelStojan TrajanovskiEitan AltmanHuijuan WangPiet van Mieghem. Complete game-theoretic characterization of SIS epidemics protection strategies
IEEE 53rd Annual Conference on Decision and Control (CDC 2014), Dec 2014, Los Angeles, United States
hal-01101280v1  Conference papers
Giovanni de NunzioCarlos Canudas de WitPhilippe Moulin. Urban Traffic Eco-Driving: Speed Advisory Tracking
CDC 2014 - 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. ⟨10.1109/CDC.2014.7039651⟩
hal-01065090v1  Conference papers
Aneel TanwaniBernard BrogliatoChristophe Prieur. On Output Regulation in Systems with Differential Variational Inequalities (Long Version)
CDC 2014 - 53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.TuB01.3, ⟨10.1109/CDC.2014.7039863⟩
tel-01104566v1  Theses
Ioana Barbu. Tridimensional Estimation of Turbulent Fluid Velocity
Signal and Image processing. Université Rennes 1, 2014. English. ⟨NNT : 2014REN1S115⟩
hal-01078655v1  Journal articles
Ayoub TamimKhalid MinaouiKhalid DaoudiHussein YahiaAbderrahman Atillah et al.  An Efficient Tool for Automatic Delimitation of Moroccan Coastal Upwelling Using SST Images
IEEE Geoscience and Remote Sensing Letters, IEEE - Institute of Electrical and Electronics Engineers, 2014, pp.5
hal-01086879v1  Conference papers
Fabrizio BiondiAxel LegayBo Friis NielsenPasquale MalacariaAndrzej Wasowski. Information Leakage of Non-Terminating Processes
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2014, Delhi, India. ⟨10.4230/LIPIcs.FSTTCS.2014.517⟩
tel-01096306v1  Theses
Oumy Seye. Partage et réutilisation de règles sur le Web de données
Informatique. Université Nice Sophia Antipolis; Université Gaston Berger de Saint Louis, 2014. Français
tel-01137501v1  Theses
Ratnesh Kumar. Video segmentation and multiple object tracking
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4135⟩
tel-01564999v1  Theses
Cristian Ruiz. Methods and tools for challenging experiments on Grid’5000 : a use case on electromagnetic hybrid simulation
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2014. English. ⟨NNT : 2014GRENM056⟩
hal-01377807v1  Conference papers
Minh-Duc HuaDaniele PucciTarek HamelPascal MorinClaude Samson. A novel approach to the automatic control of scale model airplanes
53rd IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. pp.805 - 812, ⟨10.1109/CDC.2014.7039480⟩
hal-01091544v1  Conference papers
Mary SouthernKaustuv Chaudhuri. A Two-Level Logic Approach to Reasoning about Typed Specification Languages
34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014), Dec 2014, New Delhi, India. ⟨10.4230/LIPIcs.FSTTCS.2014.557⟩
hal-00862815v1  Journal articles
Esteban AllendeOscar CallauJohan FabryÉric TanterMarcus Denker. Gradual Typing for Smalltalk
Science of Computer Programming, Elsevier, 2014, 96 (1), pp.52-69. ⟨10.1016/j.scico.2013.06.006⟩
hal-01108998v1  Journal articles
Sylvain CastagnosArmelle BrunAnne Boyer. La diversité : entre besoin et méfiance dans les systèmes de recommandation
Revue I3 - Information Interaction Intelligence, Cépaduès, 2014
hal-01094596v2  Conference papers
Claire DavidNadime FrancisFilip Murlak. Consistency of injective tree patterns
Foundations of Software Technology and Theoretical Computer Science, Dec 2014, New Dehli, India