Skip to Main content Skip to Navigation


...
hal-03307031v1  Conference papers
Sara SedlarAbib AlimiThéodore PapadopouloRachid DericheSamuel Deslauriers-Gauthier. A spherical convolutional neural network for white matter structure imaging via dMRI
MICCAI 2021 - 24th International Conference on Medical Image Computing and Computer Assisted Intervention, Sep 2021, Strasbourg / Virtual, France
...
hal-03293492v2  Journal articles
Bernard Brogliato. Dissipative dynamical systems with set-valued feedback loops Well-posed set-valued Lur'e dynamical systems
IEEE Control Systems Magazine, Institute of Electrical and Electronics Engineers, In press, pp.1-49
...
hal-03306173v1  Conference papers
Gabriele PerozziAndrey PolyakovFélix Miranda-VillatoroBernard Brogliato. Upgrading linear to sliding mode feedback algorithm for a digital controller
CDSC 2021 : 60th IEEE Conference on Decision and Control, Dec 2021, Fairmont Austin, United States
...
hal-03304656v1  Conference papers
Prerak SrivastavaAntoine DeleforgeEmmanuel Vincent. Blind room parameter estimation using multiple multichannel speech recordings
WASPAA 2021- IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, Oct 2021, New Paltz, NY, United States
...
hal-03299707v1  Conference papers
Salem BenferhatZied BouraouiMadalina CroitoruOdile PapiniKarim Tabia. Non-Objection Inference for Inconsistency-Tolerant Query Answering
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.3684-3690
...
hal-03105845v4  Journal articles
Anne Josiane KouamAline Carneiro VianaAlain Tchana. SIMBox bypass frauds in cellular networks: Strategies, evolution, detection, and future directions
Communications Surveys and Tutorials, IEEE Communications Society, Institute of Electrical and Electronics Engineers, 2021
...
hal-03301330v2  Conference papers
Raphaël GazzottiFabien Gandon. When owl:sameAs is the Same: Experimenting Online Resolution of Identity with SPARQL queries to Linked Open Data Sources
WEBIST 2021 - 17th International Conference on Web Information Systems and Technologies, Oct 2021, Virtual, France
...
tel-03300180v1  Theses
Adrien Wohrer. Model and large-scale simulator of a biological retina, with contrast gain control
Computer Science [cs]. Université de Nice - Sophia Antipolis, 2008. English
...
hal-03303040v1  Journal articles
Patrick GarusFelix HenryJung JoelThomas MaugeyChristine Guillemot. Immersive Video Coding: Should Geometry Information be Transmitted as Depth Maps?
IEEE Transactions on Circuits and Systems for Video Technology, Institute of Electrical and Electronics Engineers, 2021
...
hal-03301590v1  Conference papers
Julien AbadjiPedro Javier Ortiz SuárezLaurent RomaryBenoît Sagot. Ungoliant: An Optimized Pipeline for the Generation of a Very Large-Scale Multilingual Web Corpus
CMLC 2021 - 9th Workshop on Challenges in the Management of Large Corpora, Jul 2021, Limerick / Virtual, Ireland
...
hal-03301186v1  Book sections
Narimane GassaNejib ZemzemiCesare CorradoYves Coudière. Spiral Waves Generation Using an Eikonal-Reaction Cardiac Electrophysiology Model
Functional Imaging and Modeling of the Heart 2021: International Conference on Functional Imaging and Modeling of the Heart, pp.523-530, 2021, ⟨10.1007/978-3-030-78710-3_50⟩
hal-03301181v1  Conference papers
Didier GalmicheYakoub Salhi. Provability and Countermodels in Go?del-Dummett Logics
International Workshop on Disproving: Non-theorems, Non-validity, Non-Provability - DISPROVING'07, 2007, Bremen, Germany
hal-03301109v1  Journal articles
Ph. DevienneP LebègueAnne ParrainJ.-C. RoutierJ Würtz. Smallest Horn Clause Programs
Jounal of Logic Programming, 1996, 27 (3), pp.227-267
hal-03300802v1  Conference papers
David DeharbePascal FontaineDaniel Le BerreBertrand Mazure. Computing prime implicants
13th International Conference on Formal Methods in Computer-Aided Design (FMCAD'13), Oct 2013, Portland, Oregon, United States. pp.46-52, ⟨10.1109/FMCAD.2013.6679390⟩
...
hal-03300796v1  Conference papers
Ovidiu-Cristian MarcuAlexandru CostanBogdan NicolaeGabriel Antoniu. Virtual Log-Structured Storage for High-Performance Streaming
IEEE Cluster 2021, Sep 2021, Portland / Virtual, United States
hal-03300754v1  Conference papers
Anicet BartFrédéric KoricheJean-Marie LagniezPierre Marquis. Un schéma d'encodage propositionnel pour l'inférence probabiliste à partir de modèles graphiques
10èmes Journées de l'Intelligence Artificielle Fondamentale (IAF'16), 2016, Montpellier, France
hal-03300748v1  Conference papers
Anicet BartFrédéric KoricheJean-Marie LagniezPierre Marquis. An Improved CNF Encoding Scheme for Probabilistic Inference
22nd European Conference on Artificial Intelligence (ECAI'16), 2016, La Hague, Netherlands. pp.613-621
...
hal-03300726v1  Conference papers
Clément AubertDoriana Medić. Explicit Identifiers and Contexts in Reversible Concurrent Calculus
RC 2021 - 13th International Conference on Reversible Computation, Jul 2021, Nagoya / Virtual, Japan
...
hal-03247596v1  Conference papers
Zaccharie RamziAlexandre VignaudJean-Luc StarckPhilippe Ciuciu. Is good old GRAPPA dead?
ISMRM 2021 - Annual Meeting of the International Society for Magnetic Resonance in Medicine, May 2021, Virtual, France
...
hal-03066150v2  Journal articles
Matthew MuckleyBruno RiemenschneiderAlireza RadmaneshSunwoo KimGeunu Jeong et al.  Results of the 2020 fastMRI Challenge for Machine Learning MR Image Reconstruction
IEEE Transactions on Medical Imaging, Institute of Electrical and Electronics Engineers, In press, ⟨10.1109/TMI.2021.3075856⟩
hal-03300631v1  Conference papers
Jean-Marc GeibFred Hemery. The Mapping of Communicating Active Components on Multicomputer Machines
PARCO 1993, 1993, Grenoble, France. pp.613-618