Skip to Main content Skip to Navigation
  1. Browse by search


hal-01126127v1  Conference papers
Pierre Courtieu, Christine Paulin-Mohring, David Gross-Amblard, David Baelde. Toward provably robust watermarking
Interactive theorem proving (TPHOLs), Aug 2012, X, France. pp.0-0
hal-01126398v1  Conference papers
Bruno Sens Chang, Carlos da Rocha, Didier Le Ruyet, Daniel Roviras. Widely linear iterative equalizers for SC-FDE systems
The Ninth International Symposium on Wireless Communication Systems ISWCS 2013, Sep 2013, Ilmenau, Germany. pp 1-4
...
hal-03365466v1  Conference papers
Zakaria Jelti, Kevin Lebel, Simon Bastide, Pol Le Borgne, Pierre Slangen et al.  Effet de l’utilisation d’un dispositif d’assistance physique pour des mouvements impliquant des flexions de tronc
ERGO'IA 2021 - De l’Interaction Homme-Machine à la Relation Homme-Machine, comment concevoir des systèmes performants et éthiques, Oct 2021, Bidart, France
hal-01125364v1  Book sections
Christophe Picouleau. Small perturbations on the data of NP-complete scheduling problems
Flexibility and Robustness in Scheduling, pp.327-340, 2008, 9781848210547
hal-01125419v1  Conference papers
Nicolas Derhy, Christophe Picouleau. A la recherche d'un arbre induit : complexité et algorithmes
ROADEF'08, Clermont-Ferrand, février, Feb 2008, X, France. pp.157-158
hal-03604447v1  Conference papers
Didier Henry. Voice tweets between humanization and moderation: Consequences, Challenges and Opportunities.
iiWAS2021: The 23rd International Conference on Information Integration and Web Intelligence, Nov 2021, Linz, Austria. pp.146-151, ⟨10.1145/3487664.3487780⟩
hal-01125420v1  Conference papers
Alain Billionnet, Sourour Elloumi. Planification d'une migration de réseau dans un réseau en décroissance
Journ?e Optimisation dans les r?seaux ? Gaz-de-France, Saint-Denis., Jan 2007, X, France
hal-01125423v1  Conference papers
L. Kahloul, Kamel Barkaoui, Za?di Sahnoun. Using AUML to derive formal modelling agents interactions
AICCSA'05, 3rd ACS/IEEE Int. Conf. on Computer Systems and Applications, Cairo, Egypt, Jan 2005, X, France. pp.109-116
hal-01125431v1  Conference papers
N. Aoumeur, Kamel Barkaoui, G. Saake. Incremental Specification Validation and Runtime Adaptivity of Distributed Component Information Systems
CSMR'07, 11th IEEE European Conference on Software Maintenance and Reengineering, Amsterdam, the Netherlands, Jan 2007, X, France. pp.123-137
hal-01125427v1  Journal articles
Kamel Barkaoui, Mohamed Bettaz, A. Chaoui. On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency
International Journal of Computing and Information Sciences, 1996, 2, pp.470-481
...
lirmm-00108580v1  Journal articles
Germana Menezes da Nóbrega, Stefano A. Cerri, Jean Sallantin. A Contradiction-Driven Approach to Theory Formation: Conceptual Issues, Pragmatics in Human Learning, Potentialities
Journal of the Brazilian Computer Society, Springer Verlag, 2003, 2 (9), pp.37-56. ⟨10.1590/S0104-65002003000300004⟩
hal-02807967v1  Conference papers
Maïna Brus, Maryse Meurisse, Matthieu Keller, Frédéric Lévy. La neurogénèse adulte chez les ovins : caractérisation et régulation par le comportement maternel
5. Journées d'Animation Scientifique du département Phase (JAS Phase 2013), Institut National de Recherche Agronomique (INRA). UAR Département Physiologie Animale et Systèmes d'Elevage (0558)., Oct 2013, Paris, France. 20 diapositives
hal-01126525v1  Conference papers
Sourour Elloumi, Amélie Lambert. Recent advances in solving some optimization problems in graphs by quadratic programming
Ninth International Colloquium on Graphs and Optimization. GO IX, Jul 2014, X, Italy. pp.1
hal-01126527v1  Conference papers
Sourour Elloumi, Eric Gourdin, Thibaut Lefebvre. Does network coding improve the throughput of a survivable multicast network ?
Design of Reliable Communication Networks (DRCN), 2014 10th International Conference on the, Apr 2014, Ghent, Belgium. pp.1-8
hal-01126510v1  Journal articles
Alain Billionnet. Designing robust nature reserves under uncertain survival probabilities
Environmental Modeling & Assessment, Springer, 2014, pp.available on-line
hal-01126590v1  Conference papers
Manel Djenouhat, Faiza Belala, Kamel Barkaoui. Une Approche Basée K pour la Description de Services Web
ICAIIT2014 - Conf?rence internationale sur l'intelligence artificielle et les technologies de l?information, Mar 2014, X, France. pp.12-20
hal-02733768v1  Poster communications
Pascal Froment, Christelle Ramé, Namya Mellouk, Joël Delaveau, Christophe Rat et al.  Adipokine expression profiles during early broiler embryo development: regulation by maternal feeding restriction and fish oil supplementation
51. Annual Meeting of the Society for the Study of Reproduction (SSR), Jul 2018, Nouvelle-Orleans, United States. 2018, Pathways to Discovery: Signals for Reproduction, Development, & Longevity
hal-01126589v1  Conference papers
Manel Djenouhat, Belala F, Kamel Barkaoui. A K-Based Specification of Web Services
CAL2014 - Conf?rence Francophone sur les Architecture Logicielles, Jun 2014, X, France. pp.1-7
hal-02733749v1  Conference papers
Marc Teissier, Helene Larroque, Christèle C. Robert-Granié. Weighted single-step GBLUP improves accuracy of genomic predictions for traits controlled by major gene or QTL in French dairy goats
11. World Congress on Genetics Applied to Livestock Production (WCGALP), Feb 2018, Auckland, New Zealand. 1130 p
hal-01126476v1  Conference papers
Sri Satish Krishna Chaitanya Bulusu, Hmaied Shaiek, Daniel Roviras. Prediction of Spectral Regrowth for FBMC-OQAM system using Cumulants
IEEE International Workshop on Selected Topics in Wireless and Mobile computing, Oct 2014, Larnaca, Cyprus. pp.1-5
hal-01126488v1  Conference papers
Christophe Alexandre, Joffray Guillory, Jean-Pierre Wallerand, Anne Françoise Obaton. Laser diodes based absolute distance meter
Conference on Precision Electromagnetic Measurements (CPEM 2014), Aug 2014, Rio de Janeiro, Brazil. pp.490 - 491
hal-01126542v1  Book sections
Jacky Akoka, Isabelle Comyn-Wattiau. Les systèmes d'information comptables : modélisation et évaluation
Alain Burlaud. Comptabilité, finance et politique : de la pratique à la théorie : l'art de la conceptualisation, Ordre des experts-comptables, pp.297-310, 2014, Mélanges en l'honneur du Professeur Christian Hoarau
hal-01126578v1  Conference papers
Zohra Sbaï, Kamel Barkaoui, Hanifa Boucheneb. Compatibility Analysis of Time Open Workflow Nets
International Workshop on Petri Nets and Software Engineering (PNSE 2014), Jun 2014, X, France. pp.249-268
hal-01126576v1  Conference papers
Marwa Ezzedinne, Hervé Costantini, Kamel Barkaoui. On the efficiency of scheduling algorithms in LTE networks
10 i?me ?dition du colloque francophone sur la Gestion de R?seaux Et de Services - GRES 2014, Dec 2014, X, France. pp.25-29