![]() |
Free and accessible knowledge |
|
||
---|---|---|
hal-01126127v1
Conference papers
Toward provably robust watermarking Interactive theorem proving (TPHOLs), Aug 2012, X, France. pp.0-0 |
||
hal-02807792v1
Conference papers
Neutral evolution of duplicated DNA: An evolutionary stick-breaking process causes scale-invariant Behavior . Séminaire MEG, Mar 2013, Marseille, France. pp.1 |
||
hal-01126398v1
Conference papers
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
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
Small perturbations on the data of NP-complete scheduling problems Flexibility and Robustness in Scheduling, pp.327-340, 2008, 9781848210547 |
||
hal-01125419v1
Conference papers
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
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
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
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
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
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
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
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
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
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-01366301v1
Patents
Method and apparatus for privacy-oriented code optimization United States, Patent n° : US9792432B2. 2017 |
||
hal-01126510v1
Journal articles
Designing robust nature reserves under uncertain survival probabilities Environmental Modeling & Assessment, Springer, 2014, pp.available on-line |
||
hal-01126590v1
Conference papers
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-01366326v1
Conference papers
Robotique mobile pour personnes à besoins spécifiques : fauteuils intelligents, simulateurs et télésanté Colloque JetSan, JetSan, May 2013, Fontainebleau, France |
||
hal-01126601v1
Conference papers
Potency of Trellis-based SLM over symbol-by-symbol approach in reducing PAPR for FBMC-OQAM Signals ICC, Jun 2015, London, United Kingdom. pp.1-6, ⟨10.1109/ICC.2015.7249075⟩ |
||
hal-02733768v1
Poster communications
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
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
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
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
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
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
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
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 |
||
hal-01126584v1
Conference papers
Receiver Technique for Detection and Correction of Nonlinear High Power Amplifier Distortion Errors in OFDM systems IEEE 81st Vehicular Technology Conference, May 2015, Glasgow, United Kingdom. ⟨10.1109/VTCSpring.2015.7146044⟩ |
||
hal-02733756v1
Conference papers
Mechanistic-statistical modelling of Coffee Berry Disease (CBD) dynamics and elucidation of the epidemiological mechanisms affected by shade Sfécologie-2018, International Conference of Ecological Sciences, Oct 2018, Rennes, France |
||
|