Skip to Main content Skip to Navigation

hal-01094600v1  Journal articles
Steve Y. OudotDonald R. Sheehy. Zigzag zoology: Rips zigzags for homology inference
Foundations of Computational Mathematics, Springer Verlag, 2014, pp.31. ⟨10.1145/2493132.2462371⟩
inria-00580196v1  Journal articles
Joachim LebovitsJacques Lévy Véhel. White noise-based stochastic calculus with respect to multifractional Brownian motion
Stochastics: An International Journal of Probability and Stochastic Processes, Taylor & Francis: STM, Behavioural Science and Public Health Titles, 2014, 86 (1), pp.87-124
hal-01094905v1  Conference papers
Laurent CabaretLionel Lacassagne. What Is the World's Fastest Connected Component Labeling Algorithm?
SiPS: IEEE International Workshop on Signal Processing Systems, Oct 2014, Belfast, United Kingdom. pp.6
hal-01018649v1  Documents associated with scientific events
Mikhail BogdanovMonique Teillaud. Voronoi diagrams and Bolza surface
Workshop on Geometric Structures with Symmetry and Periodicity, 2014, Kyoto, Japan
hal-00931911v2  Conference papers
Benjamin BachEmmanuel PietrigaJean-Daniel Fekete. Visualizing Dynamic Networks with Matrix Cubes
Proceedings of the 2014 Annual Conference on Human Factors in Computing Systems (CHI 2014), Apr 2014, Toronto, Canada. pp.877-886, ⟨10.1145/2556288.2557010⟩
hal-01500560v1  Documents associated with scientific events
Pierre DragicevicYvonne Jansen. Visualization-Mediated Alleviation of the Planning Fallacy
Geoffrey Ellis. IEEE VIS 2014, Nov 2014, Paris, France. DECISIVe : Workshop on Dealing with Cognitive Biases in Visualisations
hal-01061912v1  Conference papers
Petra IsenbergTobias IsenbergMichael SedlmairJian ChenTorsten Möller. Visualization According To Research Paper Keywords
Posters at the IEEE Conference on Visualization (VIS), 2014, Los Alamitos, United States
hal-00943690v1  Conference papers
Aiswarya CyriacPaul GastinK. Narayan Kumar. Verifying Communicating Multi-pushdown Systems
12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14), 2014, Sydney, Australia. pp.1-17
hal-00913431v1  Conference papers
Martin ClochardClaude MarchéAndrei Paskevich. Verified Programs with Binders
Programming Languages meets Program Verification, Jan 2014, San Diego, United States
hal-00908486v5  Journal articles
Nicolas ChauffertPhilippe CiuciuJonas KahnPierre Weiss. Variable density sampling with continuous trajectories. Application to MRI.
SIAM Journal on Imaging Sciences, Society for Industrial and Applied Mathematics, 2014, 7 (4), pp.1962-1992
hal-01109289v1  Reports
George PapandreouIasonas KokkinosPierre-André Savalle. Untangling Local and Global Deformations in Deep Convolutional Networks for Image Classification and Sliding Window Detection
[Research Report] Toyota Technological Institute at Chicago; Ecole Centrale Paris; Inria Saclay Ile de France. 2014
hal-01034903v1  Conference papers
Mahsa GhafarianzadehMatthew BlaschkoGabe Sibley. Unsupervised Spatio-Temporal Segmentation with Sparse Spectral Clustering
British Machine Vision Conference (BMVC), Sep 2014, Nottingham, United Kingdom
hal-00908433v2  Master thesis
Sergio Medina. Unsupervised Clustering of Neural Pathways
Machine Learning [cs.LG]. 2014
hal-00997207v1  Journal articles
Patrizio AngeliniDavid EppsteinFabrizio FratiMichael KaufmannSylvain Lazard et al.  Universal Point Sets for Planar Graph Drawing with Circular Arcs
Journal of Graph Algorithms and Applications, Brown University, 2014, 18 (3), pp.313-324. ⟨10.7155/jgaa.00324⟩
hal-00814530v2  Journal articles
Anestis AntoniadisXavier BrosatJairo CugliariJean-Michel Poggi. Une approche fonctionnelle pour la prévision non-paramétrique de la consommation d'électricité
Journal de la Société Française de Statistique, Société Française de Statistique et Société Mathématique de France, 2014, 155 (2), pp.202- 219
hal-00981125v1  Conference papers
Andrea VedaldiSiddarth MahendranStavros TsogkasSubhransu MajiRoss B. Girshick et al.  Understanding Objects in Detail with Fine-grained Attributes
IEEE Conference on Computer Vision and Pattern Recognition, Jun 2014, Columbus, United States. ⟨10.1109/CVPR.2014.463⟩
hal-01199675v1  Conference papers
Felipe Domingos da CunhaDavidysson Abreu AlvarengaAline Carneiro VianaRaquel A. F. MiniAntonio A. F. Loureiro. Understanding Interactions in Vehicular Networks Through Taxi Mobility
Twelve ACM International Symposium on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks, Sep 2014, Cancun, Mexico
hal-00998753v1  Conference papers
Kaustuv Chaudhuri. Undecidability of Multiplicative Subexponential Logic
Proceedings of the Third International Workshop on Linearity, Jul 2014, Vienna, Austria. pp.1--8, ⟨10.4204/EPTCS.176.1⟩
hal-01087367v1  Journal articles
Xavier AllamigeonAxel LegayUli FahrenbergRicardo KatzStéphane Gaubert. Tropical Fourier–Motzkin elimination, with an application to real-time verification
International Journal of Algebra and Computation, World Scientific Publishing, 2014, 24 (5), pp.569 - 607. ⟨10.1142/S0218196714500258⟩
tel-01198482v1  Theses
Pascal Benchimol. Tropical aspects of linear programming
Optimization and Control [math.OC]. Ecole Polytechnique, 2014. English
hal-01058521v1  Conference papers
Bernard NgMartin DresslerGaël VaroquauxJean-Baptiste PolineMichael Greicius et al.  Transport on Riemannian Manifold for Functional Connectivity-based Classification
MICCAI - 17th International Conference on Medical Image Computing and Computer Assisted Intervention, Polina Golland, Sep 2014, Boston, United States
pastel-01061470v1  Theses
Thomas Nowak. Transient Behavior of Distributed Algorithms and Digital Circuit Models
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole Polytechnique X, 2014. English
hal-01005854v1  Conference papers
Malek LhiouiKais HaddarLaurent Romary. Towards modeling Arabic lexicons compliant LMF in OWL-DL
Terminology and Knowledge Engineering 2014, Jun 2014, Berlin, Germany. 10 p
hal-01109123v2  Conference papers
Raphaël BonaqueBogdan CautisFrançois GoasdouéIoana Manolescu. Toward Social, Structured and Semantic Search
Surfacing the Deep and the Social Web (SDSW), COST Action KEYSTONE, Oct 2014, Riva del Garda, Trentino, Italy
tel-01108521v1  Theses
Mickaël Buchet. Topological inference from measures
Computational Geometry [cs.CG]. Université Paris Sud - Paris XI, 2014. English. ⟨NNT : 2014PA112367⟩
hal-01087245v1  Conference papers
Umut A. AcarArthur CharguéraudMike Rainey. Theory and Practice of Chunked Sequences
European Symposium on Algorithms, Sep 2014, Wrocław, Poland. pp.25 - 36, ⟨10.1007/978-3-662-44777-2_3⟩
hal-01022371v2  Journal articles
Jean-Daniel BoissonnatRamsay DyerArijit Ghosh. The stability of Delaunay triangulations
International Journal of Computational Geometry and Applications, World Scientific Publishing, 2014, 23 (4-5), pp.303-333. ⟨10.1142/S0218195913600078⟩
hal-00873187v3  Conference papers
Jean-Christophe FilliâtreLéon GondelmanAndrei Paskevich. The Spirit of Ghost Code
CAV 2014, Computer Aided Verification - 26th International Conference, Jul 2014, Vienna Summer Logic 2014, Austria
hal-01078059v1  Conference papers
Hauke PetersenEmmanuel BaccelliMatthias WählischThomas SchmidtJochen Schiller. The Role of the Internet of Things in Network Resilience
First International Conference on Safety and Security in Internet of Things (SaSeIoT), Oct 2014, Rome, Italy
hal-01054408v1  Journal articles
Fanny ChevalierPierre DragicevicSteven Franconeri. The Not-so-Staggering Effect of Staggered Animations on Visual Tracking
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2014, 20 (12), pp.2241-2250. ⟨10.1109/TVCG.2014.2346424⟩
hal-01018187v1  Poster communications
Nicolas BroutinOlivier DevillersRoss Hemsley. The Maximum Degree of a Random Delaunay Triangulation in a Smooth Convex
AofA 2014 - 25th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (2014), Jun 2014, Paris, France
hal-01023867v1  Journal articles
Johannes FuchsPetra IsenbergAnastasia BezerianosFabian FischerEnrico Bertini. The Influence of Contour on Similarity Perception of Star Glyphs
IEEE Transactions on Visualization and Computer Graphics, Institute of Electrical and Electronics Engineers, 2014, 20 (12), pp.2251-2260. ⟨10.1109/TVCG.2014.2346426⟩
hal-01208587v1  Conference papers
Claire Adam-BourdariosGlen CowanCécile GermainIsabelle GuyonBalázs Kégl et al.  The Higgs boson machine learning challenge
NIPS 2014 Workshop on High-energy Physics and Machine Learning, Dec 2014, Montreal, Canada. pp.37
pasteur-01967166v1  Journal articles
Paul ThompsonJason SteinSarah MedlandDerrek HibarAlejandro Vasquez et al.  The ENIGMA Consortium: large-scale collaborative analyses of neuroimaging and genetic data
Brain imaging and behavior (Brain Imaging Behav), Secaucus, NJ : Springer, 2014, 8 (2), pp.152-182. ⟨10.1007/s11682-013-9269-5⟩
tel-01122732v1  Theses
Luca Rizzi. The curvature of optimal control problems with applications to sub-Riemannian geometry
Differential Geometry [math.DG]. Scuola Internazionale di Studi Superiori Avanzati (SISSA, Trieste, Italy), 2014. English
hal-00998092v1  Conference papers
David DelahayeCatherine DuboisClaude MarchéDavid Mentré. The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations
Abstract State Machines, Alloy, B, VDM, and Z, Jun 2014, Toulouse, France. pp.290-293
tel-01069831v1  Habilitation à diriger des recherches
Frédéric Chyzak. The ABC of Creative Telescoping --- Algorithms, Bounds, Complexity
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2014
hal-01104252v1  Conference papers
Karima RafesJulien NauroyCécile Germain. TFT, Tests For Triplestores
Semantic Web Challenge, part of the International Semantic Web Conference, Oct 2014, Riva Del Garda, Italy
hal-00950862v2  Conference papers
Laurent Romary. TBX goes TEI -- Implementing a TBX basic extension for the Text Encoding Initiative guidelines
Terminology and Knowledge Engineering 2014, Jun 2014, Berlin, Germany
hal-01062053v1  Conference papers
David LópezLora OehlbergCandemir DogerTobias Isenberg. Tablet-Based Interaction for Immersive 3D Data Exploration
Posters at the IEEE Conference on Visualization (IEEE VIS 2014, November 9--14, Paris, France), Nov 2014, Paris, France
hal-00762275v1  Journal articles
Anne-Sophie Bonnet-Ben DhiaLucas ChesnelPatrick Ciarlet. T-coercivity for the Maxwell problem with sign-changing coefficients
Communications in Partial Differential Equations, Taylor & Francis, 2014
hal-01097200v1  Conference papers
Lénaïc BagnèresCédric Bastoul. Switchable Scheduling for Runtime Adaptation of Optimization
Euro-Par 2014 Parallel Processing, Fernando Silva, Inês Dutra, Vítor Santos Costa, Aug 2014, Porto, Portugal. pp.222 - 233, ⟨10.1007/978-3-319-09873-9_19⟩
hal-00992220v1  Book sections
Laurent Romary. Sustainable data for sustainable infrastructures
Adrian Duşa and Dietrich Nelle and Günter Stock and Gert G. Wagner. Facing the Future: European Research Infrastructures for the Humanities and Social Sciences, SCIVERO Verlag, 2014
hal-00937766v1  Journal articles
Audrey VigneronÉdouard DemaldentMarc Bonnet. Surface integral equations for electromagnetic testing: the low-frequency and high-contrast case
IEEE Transactions on Magnetics, Institute of Electrical and Electronics Engineers, 2014, 50, pp.7002704. ⟨10.1109/TMAG.2013.2283297⟩
hal-00935978v1  Conference papers
Saiganesh SwaminathanConglei ShiYvonne JansenPierre DragicevicLora Oehlberg et al.  Supporting the Design and Fabrication of Physical Visualizations
Proceedings of the 2014 Annual Conference on Human Factors in Computing Systems (CHI 2014), ACM, Apr 2014, Toronto, ON, Canada. pp.3845--3854, ⟨10.1145/2556288.2557310⟩
tel-01056992v1  Theses
Jérémie Garcia. Supporting music composition with interactive paper
Other [cs.OH]. Université Paris Sud - Paris XI, 2014. English. ⟨NNT : 2014PA112101⟩
hal-00988725v1  Conference papers
Jérémie GarciaTheophanis TsandilasCarlos AgonWendy E. Mackay. Structured Observation with Polyphony: a Multifaceted Tool for Studying Music Composition
DIS'14 - ACM conference on Designing Interactive Systems, ACM, Jun 2014, Vancouver, Canada
hal-00950653v1  Conference papers
Antonia Maria MasucciAlonso Silva. Strategic Resource Allocation for Competitive Influence in Social Networks
Annual Allerton Conference on Communication, Control, and Computing, Oct 2014, Monticello, Illinois, United States
hal-00945081v1  Conference papers
Emmanuel BaccelliOliver HahmMatthias Wählisch. Spontaneous Wireless Networking to Counter Pervasive Monitoring
W3C / IAB workshop on Strengthening the Internet Against Pervasive Monitoring (STRINT), IAB and W3C, Feb 2014, London, United Kingdom
hal-01028145v1  Documents associated with scientific events
Ugo Boscain. Spectral conditions for the controllability of the Schroedinger equation
NETCO 2014 - New Trends in Optimal Control, Jun 2014, Tours, France
hal-01077627v1  Conference papers
David AugerJialin LiuSylvie RuetteDavid L. Saint-PierreOlivier Teytaud. Sparse Binary Zero-Sum Games
Asian Conference on Machine Learning, 2014, Ho-Chi-Minh-Ville, Vietnam. pp.16
hal-00997856v1  Conference papers
Cédric FoucaultManfred MicauxDavid BonnetMichel Beaudouin-Lafon. SPad: A Bimanual Interaction Technique for Productivity Applications on Multi-touch Tablets
CHI '14 Extended Abstracts on Human Factors in Computing Systems, Apr 2014, Toronto, Canada. pp.1879-1884, ⟨10.1145/2559206.2581277⟩
hal-01205305v1  Conference papers
Yushan WangMarc BaboulinKarl RuppOlivier Le MaitreYann Fraigneau. Solving 3D incompressible Navier-Stokes equations on hybrid CPU/GPU systems
High Performance Computing Symposium (HPC'14), Spring Simulation Multiconference, Apr 2014, Tampa, Florida, USA, United States
tel-01111708v1  Habilitation à diriger des recherches
Joel Falcou. Software Abstractions for Parallel Architectures
Distributed, Parallel, and Cluster Computing [cs.DC]. Universite de Paris 11, 2014
hal-01082984v2  Conference papers
Felipe Domingos da CunhaGuilherme MaiaAline Carneiro VianaRaquel A. F. MiniLeandro Villas et al.  Socially Inspired Data Dissemination for Vehicular Ad Hoc Networks
MSWiM '14 Proceedings of the 17th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, Sep 2014, Montreal, Canada. ⟨10.1145/2641798.2641834⟩
hal-00979034v2  Conference papers
Olivier ChapuisAnastasia BezerianosStelios Frantzeskakis. Smarties: An Input System for Wall Display Development
Proceedings of the 32nd international conference on Human factors in computing systems, Apr 2014, Toronto, Canada. pp.2763-2772, ⟨10.1145/2556288.2556956⟩
hal-00812846v1  Journal articles
Nicolas ForcadelZhiping Rao. Singular perturbation of optimal control problems on multi-domains
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2014, 52 (5), pp.2917-2943. ⟨10.1137/130916709⟩
hal-01058634v1  Conference papers
Oliver HahmEmmanuel BaccelliHauke PetersenMatthias WählischThomas Schmidt. Simply RIOT: Teaching and Experimental Research in the Internet of Things
13th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN 2014), Apr 2014, Berlin, Germany
hal-00914659v4  Journal articles
Anaïs VergneLaurent DecreusefondPhilippe Martins. Simplicial Homology for Future Cellular Networks
IEEE Transactions on Mobile Computing, Institute of Electrical and Electronics Engineers, 2014, pp.1-14. ⟨10.1109/TMC.2014.2360389⟩
hal-01066046v1  Journal articles
Johannes StarlingerBryan BrancotteSarah Cohen-BoulakiaUlf Leser. Similarity Search for Scientific Workflows
Proceedings of the VLDB Endowment (PVLDB), VLDB Endowment, 2014, 7 (12), pp.1143-1154. ⟨10.14778/2732977.2732988⟩
hal-00933545v2  Journal articles
Grégoire AllaireCharles DapognyPascal Frey. Shape optimization with a level set based mesh evolution method
Computer Methods in Applied Mechanics and Engineering, Elsevier, 2014, pp.doi:10.1016/j.cma.2014.08.028
hal-01064161v1  Conference papers
Dawei FengCécile GermainJulien Nauroy. Sequential fault monitoring
Cloud and Autonomic Computing, Sep 2014, London, United Kingdom
hal-01095488v1  Conference papers
Katerina Tzompanaki. Semi-automatic SQL Debugging and Fixing to solve the Missing-Answers Problem
Very Large Databases (VLDB'14) PhD Workshop, Sep 2014, Hangzhou, China
hal-01109286v1  Conference papers
Eduard TrullsStavros TsogkasIasonas KokkinosAlberto SanfeliuFrancesc Moreno-Noguer. Segmentation-Aware Deformable Part Models
IEEE Conference in Computer Vision and Pattern Recognition, Jun 2014, Greater Columbus Convention Center in Columbus, Ohio., United States. pp.168 - 175, ⟨10.1109/CVPR.2014.29⟩
hal-00825260v1  Journal articles
Joseph Frederic BonnansXavier DupuisLaurent Pfeiffer. Second-order sufficient conditions for strong solutions to optimal control problems
ESAIM: Control, Optimisation and Calculus of Variations, EDP Sciences, 2014, 20 (03), pp.704-724. ⟨10.1051/cocv/2013080⟩
hal-00825273v1  Journal articles
J. Frederic BonnansXavier DupuisLaurent Pfeiffer. Second-order necessary conditions in Pontryagin form for optimal control problems
SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2014, 52 (6), pp.3887-3916. ⟨10.1137/130923452⟩