Filter your results
- 220
- 69
- 2
- 163
- 71
- 17
- 10
- 8
- 5
- 4
- 4
- 3
- 3
- 1
- 1
- 1
- 9
- 240
- 29
- 19
- 17
- 16
- 10
- 3
- 1
- 1
- 291
- 265
- 26
- 291
- 158
- 16
- 8
- 7
- 6
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 19
- 15
- 14
- 13
- 13
- 12
- 11
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
291 Results
|
Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations5th 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
|
||
|
An ns-3 distribution supporting MPTCP and MPEG-DASH obtained by merging community modelsWNS3 2018 - Workshop on ns-3, Jun 2018, Mangalore, India. pp.1-3
Conference papers
hal-01825592v1
|
||
Active objects for coordinating BSP computations (short paper)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
|
|||
|
Cellular automata, boolean functions and combinatorial designsAutomatic 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 TomographyIEEE 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
|
||
|
Heuristics for Assessing the Effective Control of Personal Data by Mobile Applications' UsersSOUPS 2018 - Fourteenth Symposium on Usable Privacy and Security, Aug 2018, BALTIMORE, MD, United States.
Conference poster
hal-02193781v1
|
||
|
Retina-inspired FilterIEEE 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 Simulators2018 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
|
|||
|
Evaluating exploratory search engines : designing a set of user-centered methods based on a modeling of the exploratory search processHuman-Computer Interaction [cs.HC]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4116⟩
Theses
tel-01976017v3
|
||
|
Stratégies de recherches dédiées à la résolution de systèmes de contraintes sur les flottants pour la vérification de programmesGénie logiciel [cs.SE]. Université Côte d'Azur, 2018. Français. ⟨NNT : 2018AZUR4089⟩
Theses
tel-02011939v1
|
||
|
Description de contenu vidéo : mouvements et élasticité temporelleVision 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 systemsTransactions on emerging telecommunications technologies, 2018, ⟨10.1002/ett.3459⟩
Journal articles
hal-01865226v1
|
|||
Multi-objective Clustering Ensemble for Varying Number of ClustersSITIS'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
|
|||
|
Never Retreat, Never Retract: Argumentation Analysis for Political SpeechesAAAI 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éologiqueJourné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
|
|||
|
Recovery of disrupted airline operations using k-Maximum Matching in GraphsEuropean Journal of Operational Research, 2018
Journal articles
hal-03583581v1
|
||
|
Learning Wasserstein EmbeddingsICLR 2018 - 6th International Conference on Learning Representations, Apr 2018, Vancouver, Canada. pp.1-13
Conference papers
hal-01956306v1
|
||
|
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL SpecificationsICFEM / FTSCS 2018, Nov 2018, Gold Coast, Australia
Conference papers
hal-01929184v1
|
||
From Logical Time Scheduling to Real-Time Scheduling39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Conference papers
hal-01971976v1
|
|||
|
Explainable, Trustable and Emphatic Artificial Intelligence from Formal Argumentation Theory to Argumentation for HumansComputer 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 HealthcareNVIDIA GTC Europe 2018, Oct 2018, Munich, Germany
Conference papers
hal-01943618v1
|
|||
|
Block Term Decomposition Analysis in Long Segments of Atrial Fibrillation ECGsXXXVI Simpósio Brasileiro de Telecomunicações e Processamento de Sinais, Sep 2018, Campina Grande, Brazil. ⟨10.14209/sbrt.2018.182⟩
Conference papers
hal-01949848v1
|
||
|
Temporal Stability of Block Term Decomposition in Noninvasive Atrial Fibrillation Analysis52nd Asilomar Conference on Signals, Systems, and Computers, Oct 2018, Pacific Grove, United States. ⟨10.1109/ACSSC.2018.8645164⟩
Conference papers
hal-01949877v1
|
||
|
Semantic models in Web based Educational System integrationInternational Conference on Web Information Systems and Technologies (WEBIST), Sep 2018, Seville, Spain. ⟨10.5220/0006940000780089⟩
Conference papers
hal-01870950v1
|
||
|
χ-bounded families of oriented graphsJournal of Graph Theory, 2018, 89 (3), pp.304 - 326. ⟨10.1002/jgt.22252⟩
Journal articles
hal-01882395v1
|
||
|
MonaLIA 1.0 preliminary study on the coupling learning and reasoning for image recognition to enrich the records of in the Joconde databaseArtificial Intelligence [cs.AI]. 2018
Master thesis
hal-01953236v1
|
||
|
Localization game on geometric and planar graphsDiscrete Applied Mathematics, 2018
Journal articles
hal-01959013v1
|
||
|
Parallel Algorithms for Operations on Multi-valued Decision DiagramsAAAI 2018 Conference | The Thirty-Second AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, France
Conference papers
hal-01877882v1
|
||
|
Towards the Verification of Hybrid Co-simulation AlgorithmsWorkshop 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 AutomataReversibility and Universality, 2018
Book sections
hal-01741396v1
|