Search - Archive ouverte HAL Access content directly

Filter your results

291 Results
Image document

Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations

Ludovic Henrio , C Kessler , Lu Li
5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing & Simulation (HPCS 2018), Frédéric Loulergue; Jean-Michel Couvreur, Jul 2018, Orléans, France
Conference papers hal-01813273v1
Image document

An ns-3 distribution supporting MPTCP and MPEG-DASH obtained by merging community models

Vitalii Poliakov , Damien Saucez , Lucile Sassatelli
WNS3 2018 - Workshop on ns-3, Jun 2018, Mangalore, India. pp.1-3
Conference papers hal-01825592v1

Active objects for coordinating BSP computations (short paper)

Ludovic Henrio
20th IFIP WG 6.1 International Conference, COORDINATION 2018, held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Jun 2018, madrid, Spain
Conference papers hal-01813178v1
Image document

Cellular automata, boolean functions and combinatorial designs

Luca Mariot
Automatic Control Engineering. Université Côte d'Azur; Università degli studi di Milano - Bicocca, 2018. English. ⟨NNT : 2018AZUR4011⟩
Theses tel-01812051v1

Detection of Brain Strokes Using Microwave Tomography

Vanna Lisa Coli , Pierre-Henri Tournier , Victorita Dolean , Ibtissam El Kanfoud , Christian Pichot et al.
IEEE 2018 - International Symposium on Antennas and Propagation and USNC-URSI Radio Science Meeting, Jul 2018, Boston, United States. pp.223-224, ⟨10.1109/APUSNCURSINRSM.2018.8609404⟩
Conference papers hal-01824526v1
Image document

Heuristics for Assessing the Effective Control of Personal Data by Mobile Applications' Users

Patrice Pena , Yoann Bertrand , Alain Giboin , Fabien Gandon , Karima Boudaoud et al.
SOUPS 2018 - Fourteenth Symposium on Usable Privacy and Security, Aug 2018, BALTIMORE, MD, United States.
Conference poster hal-02193781v1
Image document

Retina-inspired Filter

Effrosyni Doutsi , Lionel Fillatre , Marc Antonini , Julien Gaulmin
IEEE Transactions on Image Processing, 2018, 27 (7), pp.3484 - 3499. ⟨10.1109/TIP.2018.2812079⟩
Journal articles hal-01350686v1

Ensuring Consistency between Cycle-Accurate and Instruction Set Simulators

Fatma Jebali , Dumitru Potop-Butucaru
2018 18th International Conference on Application of Concurrency to System Design (ACSD), Jun 2018, Bratislava, France. pp.105-114, ⟨10.1109/ACSD.2018.00019⟩
Conference papers hal-03940818v1
Image document

Evaluating exploratory search engines : designing a set of user-centered methods based on a modeling of the exploratory search process

Emilie Palagi
Human-Computer Interaction [cs.HC]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4116⟩
Theses tel-01976017v3
Image document

Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmes

Heytem Zitoun
Génie logiciel [cs.SE]. Université Côte d'Azur, 2018. Français. ⟨NNT : 2018AZUR4089⟩
Theses tel-02011939v1
Image document

Description de contenu vidéo : mouvements et élasticité temporelle

Katy Blanc
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université Côte d'Azur, 2018. Français. ⟨NNT : 2018AZUR4212⟩
Theses tel-02010091v1

Low-complexity heuristics to beam selection and rate adaptation in sparse massive MIMO systems

Samuel T. Valduga , Luc Deneire , Ramon Aparicio-Pardo , André L. F. de Almeida , Tarcisio F Maciel et al.
Transactions on emerging telecommunications technologies, 2018, ⟨10.1002/ett.3459⟩
Journal articles hal-01865226v1

Multi-objective Clustering Ensemble for Varying Number of Clusters

Sujoy Chatterjee , Nicolas Pasquier , Anirban Mukhopadhyay
SITIS'2018 14th IEEE International Conference on Signal-Image Technology & Internet-Based Systems, Nov 2018, Las Palmas de Gran Canaria, Spain. pp.387-395, ⟨10.1109/SITIS.2018.00067⟩
Conference papers hal-02540582v1
Image document

Never Retreat, Never Retract: Argumentation Analysis for Political Speeches

Stefano Menini , Elena Cabrio , Sara Tonelli , Serena Villata
AAAI 2018 - 32nd AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States. pp.4889-4896
Conference papers hal-01876442v1

Céramiques imprimées de Méditerranée occidentale: apports de la micro-tomographie à la restitution des traditions céramiques en contexte archéologique

Vanna Lisa Coli , Louise Gomart , Didier Binder , Laure Blanc-Féraud , Serge Cohen et al.
Journée d'échanges "Applications de la tomographie par rayons X", Réseau Tomo3D, CNRS-INEE, Muséum National d'Histoire Naturelle, Nov 2018, Paris, France
Conference papers hal-02112471v1
Image document

Recovery of disrupted airline operations using k-Maximum Matching in Graphs

Nicolas Nisse , Alexandre Salch , Valentin Weber
European Journal of Operational Research, 2018
Journal articles hal-03583581v1
Image document

Learning Wasserstein Embeddings

Nicolas Courty , Rémi Flamary , Mélanie Ducoffe
ICLR 2018 - 6th International Conference on Learning Representations, Apr 2018, Vancouver, Canada. pp.1-13
Conference papers hal-01956306v1
Image document

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications

Yuanrui Zhang , Hengyang Wu , Yixiang Chen , Frédéric Mallet
ICFEM / FTSCS 2018, Nov 2018, Gold Coast, Australia
Conference papers hal-01929184v1

From Logical Time Scheduling to Real-Time Scheduling

Frédéric Mallet , Min Zhang
39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Conference papers hal-01971976v1
Image document

Explainable, Trustable and Emphatic Artificial Intelligence from Formal Argumentation Theory to Argumentation for Humans

Serena Villata
Computer science. UNIVERSITÉ CÔTE D’AZUR, 2018
Habilitation à diriger des recherches tel-01973555v1

Scalability Analysis of Mini-Cluster Jetson TX2 for Training DNN Applied to Healthcare

John Anderson John Anderson Garcia Henao Garcia Henao , Frédéric Precioso , Pascal Staccini , Michel Riveill
NVIDIA GTC Europe 2018, Oct 2018, Munich, Germany
Conference papers hal-01943618v1
Image document

Block Term Decomposition Analysis in Long Segments of Atrial Fibrillation ECGs

Pedro Marinho R. de Oliveira , Vicente Zarzoso
XXXVI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, Sep 2018, Campina Grande, Brazil. ⟨10.14209/sbrt.2018.182⟩
Conference papers hal-01949848v1
Image document

Temporal Stability of Block Term Decomposition in Noninvasive Atrial Fibrillation Analysis

Pedro Marinho R. de Oliveira , Vicente Zarzoso
52nd Asilomar Conference on Signals, Systems, and Computers, Oct 2018, Pacific Grove, United States. ⟨10.1109/ACSSC.2018.8645164⟩
Conference papers hal-01949877v1
Image document

Semantic models in Web based Educational System integration

Géraud Fokou Pelap , Catherine Faron Zucker , Fabien Gandon
International Conference on Web Information Systems and Technologies (WEBIST), Sep 2018, Seville, Spain. ⟨10.5220/0006940000780089⟩
Conference papers hal-01870950v1
Image document

χ-bounded families of oriented graphs

Pierre Aboulker , Jørgen Bang-Jensen , Nicolas Bousquet , Pierre Charbit , Frédéric Havet et al.
Journal of Graph Theory, 2018, 89 (3), pp.304 - 326. ⟨10.1002/jgt.22252⟩
Journal articles hal-01882395v1
Image document

MonaLIA 1.0 preliminary study on the coupling learning and reasoning for image recognition to enrich the records of in the Joconde database

Anna Bobasheva
Artificial Intelligence [cs.AI]. 2018
Master thesis hal-01953236v1
Image document

Localization game on geometric and planar graphs

Bartłomiej Bosek , Przemyslaw Gordinowicz , Jaroslaw Grytczuk , Nicolas Nisse , Joanna Sokol et al.
Discrete Applied Mathematics, 2018
Journal articles hal-01959013v1
Image document

Parallel Algorithms for Operations on Multi-valued Decision Diagrams

Jean-Charles Régin , Guillaume Perez
AAAI 2018 Conference | The Thirty-Second AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, France
Conference papers hal-01877882v1
Image document

Towards the Verification of Hybrid Co-simulation Algorithms

Casper Thule , Cláudio Gomes , Julien Deantoni , Peter Gorm Larsen , Jörg Brauer et al.
Workshop on Formal Co-Simulation of Cyber-Physical Systems (SEFM satellite), Jun 2018, Toulouse, France
Conference papers hal-01871531v1

On Radius 1 Nontrivial Reversible and Number-Conserving Cellular Automata

Bruno Martin , Katsunobu Imai , Ryohei Saito
Reversibility and Universality, 2018
Book sections hal-01741396v1