Skip to Main content Skip to Navigation

hal-00793190v1  Directions of work or proceedings
S. BoucksomCharles FavreMattias Jonsson. A refinement of Izumi's Theorem
Eur. Math. Soc. France. pp. 55-81, 2014, Valuation theory in interaction, 978-3-03719-149-1
hal-00793192v1  Journal articles
S. BoucksomCharles FavreM. Jonsson. Solution to a non-Archimedean Monge-Ampére equation
Journal of the American Mathematical Society, American Mathematical Society, 2014, ⟨10.1090/S0894-0347-2014-00806-7⟩
hal-00709689v1  Journal articles
Giovanni ForniCarlos MatheusAnton Zorich. Zero Lyapunov exponents of the Hodge bundle
Commentarii Mathematici Helvetici, European Mathematical Society, 2014, 89 (2), pp.489-535. ⟨10.4171/CMH/325⟩
halsde-00934248v1  Book sections
Ina ReicheEmilie Chalmin. Synchrotron Methods: Color in Paints and Minerals
Treatrise in geochemistry, Thure Cerling, pp. 209-239, 2014
hal-00993355v1  Conference papers
Jérôme BureauClaude Camy-PeyretSébastien Payan. Comparison of Retrievals of CH4 and CO2 from IASI and GOSAT in the TIR for Nearly Coincident Measurements in the Arctic Summer
10th International Workshop on Greenhouse Gas Measurements from Space (IWGGMS), May 2014, noordwijk, Netherlands
hal-00826023v1  Journal articles
Corina IovanPaul-Henry CournèdeThomas GuyardBenoît BayolDider Boldo et al.  Model-Based Analysis-Synthesis for Realistic Tree Reconstruction and Growth Simulation
IEEE Transactions on Geoscience and Remote Sensing, Institute of Electrical and Electronics Engineers, 2014, 52 (2), pp.1438-1450. ⟨10.1109/TGRS.2013.2251467⟩
hal-01016832v2  Conference papers
Laure MilletMaria Potop-ButucaruNathalie SznajderSébastien Tixeuil. On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering
SSS 2014 - 16th International Symposium on Stabilization, Safety and Security of Distributed Systems, Sep 2014, Paderborn, Germany. pp.237-251, ⟨10.1007/978-3-319-11764-5_17⟩
hal-01215226v1  Conference papers
Béatrice BérardOlivier Carton. Channel Synthesis Revisited
8th International Conference on Languages and Automata Theory and Applications -- LATA, Mar 2014, Madrid, Spain. pp.149-160, ⟨10.1007/978-3-319-04921-2_12⟩
hal-01214843v1  Conference papers
Maximilien DanischNicolas DuguéAnthony Perez. Prendre en compte le capitalisme social dans la mesure de l’influence sur Twitter
Modèles et Analyses Réseau : Approches Mathématiques et Informatiques, MARAMI 2014, Oct 2014, Paris, France
hal-01073240v1  Conference papers
Vincent GoudardHugues GenevoisLionel Feugère. On the playing of monodic pitch in digital music instruments
ICMC/SMC 2014, Sep 2014, Athènes, Greece. pp.1418
tel-01214234v1  Theses
Karine Heerah. At sea ecology of Weddell seals in East Antarctica in relation with environmental physical parameters
Animal biology. Université Pierre et Marie Curie - Paris VI; University of Tasmania, 2014. English. ⟨NNT : 2014PA066533⟩
hal-01019472v1  Journal articles
I. KharroubiN. LangrenéH. Pham. A numerical algorithm for fully nonlinear HJB equations: An approach by control randomization
Monte Carlo Methods and Applications, De Gruyter, 2014, 20 (2), pp.145-165
hal-01215562v1  Conference papers
Rodrigo Souza CoutoStefano SecciL. H. Maciel Kosmalski CostaM. E. Mitre Campista. Latência Versus Sobrevivência no Projeto de Centros de Dados Geograficamente Distribuídos
32nd Brazilian Symposium on Computer Networks and Distributed Systems (SBRC 2014), May 2014, Florianopolis, SC, Brazil. pp.402-441, ⟨10.1109/SBRC.2014.48⟩
hal-01215578v1  Conference papers
Sahar TalebiEvripidis BampisGiorgio LucarelliIyad KatibGeorge Rouskas. The spectrum assigment (SA) problem in optical networks: A multiprocesor scheduling perspective
18th Conference on Optical Network Design and Modeling (ONDM 2014), May 2014, Stockholm, Sweden. pp.55-60
hal-01215641v1  Conference papers
Pascal ManouryPhilippe BaufretonJean-Louis DufourEtienne PrunEmmanuel Chailloux et al.  Certification de l’assemblage de composants dans le développement de logiciels critiques
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL'14), Jun 2014, Paris, France. pp.109-114
hal-01073943v1  Conference papers
Eric QuémeraisBill R. SandelJean-Loup BertauxRosine Lallement. UVS-Voyager 1 measurements in the outer heliosphere
40th COSPAR Scientific Assembly, Aug 2014, Moscow, Russia. pp.Abstract D1.1-22-14
mnhn-01477595v1  Conference papers
Grégoire EgoroffPatrick de WeverAnnie Cornée. Outreach geology with the « balades géologiques » project based on smartphone technology.
EGU General Assembly 2014, European Geosciences Union, Apr 2014, Vienne, Austria
hal-01158413v1  Book sections
D. GourierL. BinetH. Vezin. EPR of primitive organic matter: A tool for astrobiology
Applications of EPR in radiation research, Springer, pp.541 - 577, 2014, 978−3−319−09216−4
hal-01576739v1  Conference papers
Andreea CarpiucM. PonceletK. KazymyrenkoHugo LeclercFrançois Hild. Drawing with a crack in concrete": A hybrid test to control mixed-mode crack propagation
Proc. of ICEM16 - 16th International Conference on Experimental Mechanics, 2014, Unknown, Unknown Region
hal-01438630v1  Journal articles
Heng LiuEmmanuel LhuillierPhilippe Guyot-Sionnest. 1/f noise in semiconductor and metal nanocrystal solids
Journal of Applied Physics, American Institute of Physics, 2014, 115, pp.154309 - 104302. ⟨10.1063/1.4871682⟩
hal-01017873v1  Journal articles
Karim Moussa Ali AbdellatifRoselyne Chotin-AvotHabib Mehrez. Low cost Solutions for Secure Remote Reconfiguration of FPGAs
International Journal of Embedded Systems, Inderscience, 2014, 6 (2-3), pp.257-265. ⟨10.1504/ijes.2014.063824⟩
hal-01213336v1  Conference papers
Viet Hung NguyenLamia AoudiaA. Ridha MahjoubM. Aider. On the star forest polytope
International Conference on Control, Decision and Information Technologies (CoDIT), 2014, Nov 2014, Metz, France. pp.263-268, ⟨10.1109/CoDIT.2014.6996904⟩
hal-01017322v1  Journal articles
J. BerestyckiN. BerestyckiV. Limic. Asymptotic sampling formulae for Λ-coalescents
Annales de l'Institut Henri Poincaré (B) Probabilités et Statistiques, Institut Henri Poincaré (IHP), 2014, 50 (3), pp.715-731
hal-01213556v1  Conference papers
Pacôme EberhartIssam SaidPierre FortinHenri Calandra. Hybrid strategy for stencil computations on the APU
The 1st International Workshop on High-Performance Stencil Computations, Jan 2014, Vienna, Austria. pp.43-49
hal-01017794v1  Journal articles
Habib AmmariEmmanuel BossyJosselin GarnierLoc Hoang NguyenLaurent Seppecher. A reconstruction algorithm for ultrasound-modulated diffuse optical tomography
Proceedings of the American Mathematical Society, American Mathematical Society, 2014, 142 (9), pp.3221-3236. ⟨10.1090/S0002-9939-2014-12090-9⟩
hal-01099228v1  Conference papers
N. JamondPascal ChrétienE. GalopinLaurent TraversJ.C. Harmand et al.  Piezoelectric Potential of GaN Nanowires: Towards Efficient Output Piezo-generators
Atelier Nucléation Croissance et Surfaces Hétérogènes du GDR PULSE (Processus ULtimes en épitaxie de SEmiconducteurs), Apr 2014, Valbonne, France
hal-01117884v1  Conference papers
Christopher S., JacobsF., AriasD., BoboltzJ., BoehmS., Bolotin et al.  ICRF-3: Roadmap to the Next Generation International Celestial Reference Frame
2014adla.confE..1J - Astronomía Dinámica en Latino-América (ADeLA), Santiago, Chile, 29 Sep to Oct 01, 2014, Sep 2014, Santiago, Chile
hal-01211777v1  Conference papers
Wilfried DronSimon DuquennoyThiemo VoigtKhalil HachichaPatrick Garda. An Emulation-Based Method for Lifetime Estimation of Wireless Sensor Networks
IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), 2014, May 2014, Marina Del Ray, Californie, United States. pp.241-248, ⟨10.1109/DCOSS.2014.10⟩
hal-01074218v1  Journal articles
Olivier PannekouckeLaure RaynaudMarie Farge. A wavelet-based filtering of ensemble background-error variances
Quarterly Journal of the Royal Meteorological Society, Wiley, 2014, 140 (678), pp.316-327. ⟨10.1002/qj.2133⟩
hal-01215657v1  Conference papers
Anubis Graciela de Moraes RossettoClaudio GeyerLuciana ArantesCarlos RolimValderi Leithardt. An Architecture for Resilient Ubiquitous Systems
International Conference on Health Informatics, Mar 2014, Angers, France. pp.459-464, ⟨10.5220/0004910404590464⟩
hal-01217164v1  Conference papers
Jason M. HarleyFrançois BouchetM. Sazzad HussainRoger AzevedoRafael A. Calvo. A Multi-Componential Analysis of Emotions during Complex Learning with an Intelligent Multi-Agent System
The 2014 Annual meeting of the American Educational Research Association, Apr 2014, Philadelphia, PA, United States
hal-01176427v1  Journal articles
Yan ZhangBéatrice BérardLom Messan HillahFabrice KordonYann Thierry-Mieg. Controllability for Discrete Event Systems Modeled in VeriJ
International Journal of Critical Computer-Based Systems, Inderscience, 2014, 5 (3/4), pp.218-240. ⟨10.1504/IJCCBS.2014.064668⟩
hal-01217279v1  Conference papers
Hiep Hoang-VanTakumi MiyoshiOlivier Fourmaux. A Hierarchical P2P Traffic Localization Method with Bandwidth Limitation
IEEE International Conference on Communications, ICC 2014, Jun 2014, Sidney, Australia. pp.3136-3141, ⟨10.1109/ICC.2014.6883803⟩
hal-01215971v1  Conference papers
Nelly VouzoukidouBernd AmannVassilis Christophides. MeowsReader: Real-Time Ranking and Filtering of News with Generalized Continuous Top-k Queries
ACM International Conference on Information and Knowledge Management (CIKM), Nov 2014, Shanghai, China. pp.2066-2068, ⟨10.1145/2661829.2661851⟩
hal-01099350v1  Journal articles
Ibrahim MohammadLaurent BernardLionel PichonAdel Razek. Electromagnetic model of EV wireless charging systems in view of energy transfer and radiated field control
International Journal of Applied Electromagnetics and Mechanics, IOS Press 2014, 46 (2), pp.355-360. ⟨10.3233/JAE-141945⟩
hal-01079299v1  Conference papers
Nils GiordanoFrancis MairetJean-Luc GouzéJohannes GeiselmannHidde de Jong. Dynamic optimisation of resource allocation in microorganisms
21st International Symposium on Mathematical Theory of Networks and Systems (MTNS 2014), University of Groningen. NLD., Jul 2014, Groningen, Netherlands
hal-01078893v1  Conference papers
Chevallier EloiseIsabelle CantatArnaud Saint-JalmesTribet ChristopheFrançois Lequeux et al.  Remote control of the stability of bubbles, thin films and foams using photosensitive surfactants.
10th European Conference on Foams and Applications - EUFOAM 2014, 2014, Thessalonique, Greece
hal-00958780v1  Journal articles
Viktoria F. SofievaJ. TamminenE. KyröläA. LaengT. von Clarmann et al.  Validation of GOMOS ozone precision estimates in the stratosphere
Atmospheric Measurement Techniques, European Geosciences Union, 2014, 7 (3), pp.2147-2158. ⟨10.5194/amt-7-2147-2014⟩
hal-01099351v1  Poster communications
David RéauxJean-Paul KleiderMarie-Estelle Gueunier-Farret. Modeling of the surface defects density in c-Si/a-Si:H heterojunction using the Defect-Pool Model
JNPV 2014, Dec 2014, Dourdan, France. Actes des Journées Nationales du PhotoVoltaïque
hal-01099602v1  Journal articles
Maya Hage HassanGhislain RemyGuillaume KrebsClaude Marchand. Radial output space mapping for electromechanical systems design
COMPEL: The International Journal for Computation and Mathematics in Electrical and Electronic Engineering, Emerald, 2014, 33 (3), pp.965 - 975. ⟨10.1108/COMPEL-05-2013-0192⟩
hal-01099919v1  Conference papers
Ana BušićSean Meyn. Passive Dynamics in Mean Field Control
53st IEEE Conference on Decision and Control, Dec 2014, Los Angeles, United States. ⟨10.1109/CDC.2014.7039805⟩
hal-01630171v1  Book sections
Laurence EymardGilles Reverdin. Les interactions océan-atmosphère
André Monaco, Patrick Prouzet. Complexité du système océanique, ISTE Editions, 2014, Mer et océans, 978-1-78405-000-9 (papier) ISBN : 978-1-78406-000-8 (ebook)
hal-01217288v1  Conference papers
Philippe PernelleThibault CarronStéphane Talbot. An approach to help Knowledge assessment: From Serious Game to MOOC (best article presentation award)
International Conference on Innovative Trends in Science, Engineering and Management 2014 (ICITSEM 2014), Feb 2014, Dubaï, United Arab Emirates. pp.125-130
hal-01217244v1  Conference papers
Pacôme EberhartJulien BrajardPierre FortinFabienne Jézéquel. Towards high performance stochastic arithmetic
16th international symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2014), Sep 2014, Würzburg, Germany. pp.47-48
hal-01215264v1  Conference papers
Emmanuel HadouxAurélie BeynierPaul Weng. Solving Hidden-Semi-Markov-Mode Markov Decision Problems
AAMAS Workshop Adaptative Learning Agents, ALA 2014, May 2014, Paris, France
hal-01078590v1  Book sections
Marius Tudor Benea. An Agent-Based Solution for the Problem of Designing Complex Ambient Intelligence Systems
Filip Zavoral, Jason J. Jung, Costin Badica. Intelligent Distributed Computing VII, pp.323-333, 2014, Studies in Computational Intelligence, 978-3-319-01571-2. ⟨10.1007/978-3-319-01571-2_38⟩
hal-01078641v1  Journal articles
Fabon DzogangMarie-Jeanne LesotMaria Rifqi. Apprentissage de concepts émotionnels à partir de descripteurs bas niveau
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2014, Affects, compagnons artificiels et interactions, 28 (1), pp.131-157. ⟨10.3166/ria.28.131-157⟩
hal-01459735v1  Journal articles
P. Ciarletta. Wrinkle-to-fold transition in soft layers under equi-biaxial strain: A weakly nonlinear analysis
Journal of the Mechanics and Physics of Solids, Elsevier, 2014, 73, pp.118-133. ⟨10.1016/j.jmps.2014.09.001⟩
hal-01078488v1  Conference papers
Duc Kien PhungPascal Morin. An Approach for Modeling, Design, and Energy Evaluation of Small Convertible Aerial Vehicles
AIAA Modeling and Simulation Technologies Conference, American Institute of Aeronautics and Astronautics, Jun 2014, Atlanta, United States. ⟨10.2514/6.2014-2084⟩
tel-01077906v1  Theses
Cailiang Zhou. Environmental and psychological factors and childhood asthma
Agricultural sciences. Université Pierre et Marie Curie - Paris VI, 2014. English. ⟨NNT : 2014PA066044⟩
hal-00992634v1  Conference papers
Yacine BouzidiSylvain LazardGuillaume MorozMarc PougetFabrice Rouillier. Improved algorithm for computing separating linear forms for bivariate systems
ISSAC - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan
hal-01081056v1  Conference papers
Bin YangJean-Gabriel Ganascia. How to Visualize Information by using the notion of Memory Islands
hal-00964109v1  Conference papers
Rayisa P. MoiseyenkoYan PennecRémi MarchalBernard BonelloBahram Djafari-Rouhani. Transmission and attenuation of Lamb waves through a periodic array of rectangular slits in a plate
European Materials Research Society Spring Meeting, E-MRS Spring 2014, Symposium D - Phonons and fluctuations in low dimensional structures, 2014, Lille, France
hal-00948032v1  Conference papers
Yves BernardCamilo HernandezAdel Razek. Radial traveling wave ultrasonic motor design.
Actuator 2014, Jun 2014, Bremen, Germany. pp.663 - 666
hal-01062950v1  Documents associated with scientific events
Patrick MarchesielloYves SouffletXavier CapetJulien JouannoFlorian Lemarié. Effective resolution in ocean models
EGU General Assembly 2014, Apr 2014, Vienna, Austria. 2014
hal-01116669v1  Conference papers
Peter WurzKathrin AltweggHans BalsigerSébastien GascAndre Galli et al.  Early Activity of Churyumov-Gerasimenko: ROSINA/RTOF Results
AGU Fall Meeting 2014, Dec 2014, San Francisco, United States. pp.P33F-04
hal-01116614v1  Conference papers
Andre BielerValeriy TenishevNicolas FougereTamas I. GombosiKenneth Hansen et al.  3D Direct Simulation Monte Carlo Modeling of the Spacecraft Environment of Rosetta
AGU Fall Meeting 2014, Dec 2014, San Francisco, United States. pp.P41C-3931
hal-01065177v1  Conference papers
Paul CodaniMarc PetitYannick Perez. Participation d'une flotte de véhicules électriques au réglage primaire de fréquence
Symposium de Génie Électrique 2014, Jul 2014, Cachan, France