Search - Archive ouverte HAL Access content directly

Filter your results

137 278 Results

Automatic Detection of Hydrodynamical and Biological Indicators of the Shoreline Using a Convolutional Neural Network

Soumia Bengoufa , Simona Niculescu , Mustapha Kamel Mihoubi , Rabah Belkessa , Katia Abbad et al.
European Spatial Data for Coastal and Marine Remote Sensing, Springer International Publishing, pp.191-205, 2023, ⟨10.1007/978-3-031-16213-8_11⟩
Book sections hal-03883449v1

Assessment of Land Cover Changes in the Allala Watershed Based on Object Based Image Analysis Using Landsat and Sentinel-2 Images

Narimane Zaabar , Simona Niculescu , Mustapha Kamel Mihoubi
European Spatial Data for Coastal and Marine Remote Sensing, Springer International Publishing, pp.81-96, 2023, ⟨10.1007/978-3-031-16213-8_5⟩
Book sections hal-03883447v1
Image document

Universal scaling laws for charge-carrier interactions with quantum confinement in lead-halide perovskites

Philippe Tamarat , Elise Prin , Yullia Berezovska , Anastasiia Moskalenko , Thi Phuc Tan Nguyen et al.
Nature Communications, 2023, 14 (1), pp.229. ⟨10.1038/s41467-023-35842-4⟩
Journal articles hal-03940652v1

Assessment of Coastal Vulnerability to Erosion Risk Using Geospatial and Remote Sensing Methods (Case of Jerba Island, Tunisia)

Amina Boussetta , Simona Niculescu , Soumia Bengoufa , Hajer Mejri , Mohamed Faouzi Zagrarni et al.
European Spatial Data for Coastal and Marine Remote Sensing, Springer International Publishing, pp.113-132, 2023, ⟨10.1007/978-3-031-16213-8_7⟩
Book sections hal-03885766v1

A Random Forest Approach for Evaluating Forest Cover Changes Outside Dikes with Sentinel Images

Nguyen Chi Lam , Hiep Xuan Huynh , Simona Niculescu , Quynh Do Nguyen , Ngan Chau Vo Nguyen et al.
European Spatial Data for Coastal and Marine Remote Sensing, Springer International Publishing, pp.133-147, 2023, ⟨10.1007/978-3-031-16213-8_8⟩
Book sections hal-03883455v1

Assessment of Shoreline Change of Jerba Island Based on Remote Sensing Data and GIS Using DSAS Tools

Amina Boussetta , Simona Niculescu , Soumia Bengoufa , Mohamed Faouzi Zagrarni
European Spatial Data for Coastal and Marine Remote Sensing, Springer International Publishing, pp.213-218, 2023, ⟨10.1007/978-3-031-16213-8_13⟩
Book sections hal-03883462v1
Image document

Stochastic Parameterization with Dynamic Mode Decomposition

Long Li , Etienne Mémin , Gilles Tissot
Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.179-193, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_11⟩
Book sections hal-03910774v1
Image document

A Two-Step Numerical Scheme in Time for Surface Quasi Geostrophic Equations Under Location Uncertainty

Camilla Fiorini , Pierre-Marie Boulvard , Long Li , Etienne Mémin
Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.57-67, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_5⟩
Book sections hal-03910769v1
Image document

Modeling Under Location Uncertainty: A Convergent Large-Scale Representation of the Navier-Stokes Equations

Arnaud Debussche , Berenger Hug , Etienne Mémin
Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.15-26, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_2⟩
Book sections hal-03910767v1
Image document

Observation-Based Noise Calibration: An Efficient Dynamics for the Ensemble Kalman Filter

Benjamin Dufée , Etienne Mémin , Dan Crisan
Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.43-56, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_4⟩
Book sections hal-03910764v1

Modified (Hyper-)Viscosity for Coarse-Resolution Ocean Models

Louis Thiry , Long Li , Etienne Mémin
Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.273-285, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_17⟩
Book sections hal-03910773v1
Image document

Primitive Equations Under Location Uncertainty: Analytical Description and Model Development

Francesco Tucciarone , Etienne Mémin , Long Li
Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.287-300, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_18⟩
Book sections hal-03910760v1

Bridging Koopman Operator and Time-Series Auto-Correlation Based Hilbert–Schmidt Operator

Yicun Zhen , Bertrand Chapron , Etienne Mémin
Stochastic Transport in Upper Ocean Dynamics, 10, Springer International Publishing, pp.301-316, 2023, Mathematics of Planet Earth, ⟨10.1007/978-3-031-18988-3_19⟩
Book sections hal-03910777v1
Image document

SLA-Aware Cloud Query Processing with Reinforcement Learning-based Multi-Objective Re-Optimization

Chenxiao Wang , Le Gruenwald , Laurent d'Orazio
DAWAK 2023 - International Conference on Data Warehousing and Knowledge Discovery, Aug 2023, Penang, Malaysia
Conference papers hal-03925654v1
Image document

Proving Unlinkability using ProVerif through Desynchronized Bi-Processes

David Baelde , Alexandre Debant , Stéphanie Delaune
IEEE Computer Security Foundations Symposium, Jul 2023, Dubrovnik, Croatia
Conference papers hal-03674979v2

Machine Learning for Feature Constraints Discovery

Hugo Martin , Paul Temple , Mathieu Acher , Juliana Alves Pereira , Jean-Marc Jézéquel et al.
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines, Springer International Publishing, pp.175-196, 2023, ⟨10.1007/978-3-031-11686-5_7⟩
Book sections hal-03921905v1
Image document

Efficient computation of Cantor's division polynomials of hyperelliptic curves over finite fields

Elie Eid
Journal of Symbolic Computation, 2023, 117, pp.68 - 100. ⟨10.1016/j.jsc.2022.10.006⟩
Journal articles hal-03588288v1

New insights into the benthic macrofauna composition and structure in a southern-west Mediterranean coastal lagoon after restoration actions: Spatial and Seasonal patterns

Reda El Kamcha , Soilam Boutoumit , Oussama Bououarour , Pierre Pouzet , Mohamed Maanan et al.
Regional Studies in Marine Science, 2023, 60, pp.102820. ⟨10.1016/j.rsma.2023.102820⟩
Journal articles hal-03959589v1
Image document

Timed Automata Verification and Synthesis via Finite Automata Learning

Ocan Sankur
TACAS 2023 - 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2023, Paris, France
Conference papers hal-03947462v1

Exploiting assertions mining and fault analysis to guide RTL-level approximation

Alberto Bosio , Samuele Germiniani , Graziano Pravadelli , Marcello Traiola
DATE 2023 – 26th IEEE/ACM Design, Automation and Test in Europe, Apr 2023, Antwerp, Belgium
Conference papers hal-03887685v1

Securing a RISC-V architecture: A dynamic approach

Sébastien Pillement , Maria Mendez Real , Pottier Juliette , Nieddu T. , Sébastien Faucou et al.
DATE Conference 2023, Apr 2023, Antwerp, Belgium
Conference papers hal-03906564v1
Image document

Maximizing Computing Accuracy on Resource-Constrained Architectures

Van-Phu Ha , Olivier Sentieys
DATE 2023 - 26th IEEE/ACM Design, Automation and Test in Europe, Apr 2023, Antwerp, Belgium
Conference papers hal-03885240v1

harDNNing: a machine-learning-based framework for fault tolerance assessment and protection of Deep Neural Networks

Marcello Traiola , Angeliki Kritikakou , Olivier Sentieys
DATE 2023 – 26th IEEE/ACM Design, Automation and Test in Europe, Apr 2023, Antwerp, Belgium
Conference papers hal-03887681v1
Image document

A review of frailty analysis in older adults: from clinical tools towards fully automated preventive systems ⋆

M. Abbas , R. Le Bouquin Jeannès
Innovation and Research in BioMedical engineering, 2023, 44 (2), pp.100743. ⟨10.1016/j.irbm.2022.11.004⟩
Journal articles hal-03956422v1
Image document

Specialization of Run-time Configuration Space at Compile-time: An Exploratory Study

Xhevahire Tërnava , Mathieu Acher , Benoit Combemale
SAC 2023 - The 38th ACM/SIGAPP Symposium on Applied Computing, Mar 2023, Tallinn, Estonia
Conference papers hal-03916459v1
Image document

Acala: Aggregate Monitoring for Geo-Distributed Cluster Federations

Chih-Kai Huang , Guillaume Pierre
SAC 2023 - 38th ACM/SIGAPP Symposium On Applied Computing, Mar 2023, Tallinn, Estonia
Conference papers hal-03899133v1
Image document

I'm Transforming! Effects of Visual Transitions to Change of Avatar on the Sense of Embodiment in AR

Riku Otono , Adélaïde Genay , Monica Perusquía-Hern Ández , Naoya Isoyama , Hideaki Uchiyama et al.
VR 2022 - IEEE Conference on Virtual Reality and 3D User Interfaces, IEEE, Mar 2023, Shanghai, France
Conference papers hal-03968274v1

Active Clamp Circuit for Online ON-State Voltage Measurement of High Voltage SiC MOSFETs Power Module

Antoine Laspeyres , Anne-Sophie Descamps , Christophe Batard , Nicolas Ginot , Long Thanh Le et al.
IEEE Applied Power Electronics Conference, Mar 2023, ORLANDO, United States. paper ID 1061
Conference papers hal-03823731v1

La rencontre de l’adolescence et du genre : une clinique de l’anticipation sociale

Jean-Baptiste Marchand
Colloque du Collège International de L’Adolescence (CILA) « Troubles de l’identité sexuelle à l’adolescence », Mar 2023, Paris, France
Conference papers hal-03779899v1

Le roi en son duché. L'aristocratie de Bretagne et la construction de l'État royal (1270-1328)

Vincent Launay
Presses universitaires de Rennes, A paraître, 2753586667
Books halshs-03906766v1