Skip to Main content Skip to Navigation


hal-01126127v1  Conference papers
Pierre CourtieuChristine Paulin-MohringDavid Gross-AmblardDavid Baelde. Toward provably robust watermarking
Interactive theorem proving (TPHOLs), Aug 2012, X, France. pp.0-0
hal-01126398v1  Conference papers
Bruno Sens ChangCarlos da RochaDidier Le RuyetDaniel 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 JeltiKevin LebelSimon BastidePol Le BorgnePierre 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 DerhyChristophe 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 BillionnetSourour 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. KahloulKamel BarkaouiZa?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. AoumeurKamel BarkaouiG. 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 BarkaouiMohamed BettazA. Chaoui. On Finding Structural Deadlocks in EcatNets using a Logic of Concurrency
International Journal of Computing and Information Sciences, 1996, 2, pp.470-481
hal-02807967v1  Conference papers
Maïna BrusMaryse MeurisseMatthieu KellerFré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 ElloumiAmé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 ElloumiEric GourdinThibaut 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 DjenouhatFaiza BelalaKamel 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 FromentChristelle RaméNamya MelloukJoël DelaveauChristophe 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 DjenouhatBelala FKamel 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 TeissierHelene LarroqueChristè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 BulusuHmaied ShaiekDaniel 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 AlexandreJoffray GuilloryJean-Pierre WallerandAnne 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 AkokaIsabelle 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 BarkaouiHanifa 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 EzzedinneHervé CostantiniKamel 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