Skip to Main content Skip to Navigation

hal-01215623v1  Journal articles
Steven GalbraithPierrick Gaudry. Recent progress on the elliptic curve discrete logarithm problem
Designs, Codes and Cryptography, Springer Verlag, 2016, 78 (1), pp.51-72. ⟨10.1007/s10623-015-0146-7⟩
hal-01093942v1  Journal articles
Miguel CouceiroLucien HaddadIvo G. Rosenberg. Partial clones containing all Boolean monotone self-dual partial functions
Journal of Multiple-Valued Logic and Soft Computing, Old City Publishing, 2016, 27 (2-3), pp.183-192
hal-01393478v1  Journal articles
Mohamad DaherAhmad DiabMaan El Badaoui El NajjarMohamad KhalilFrançois Charpillet. Automatic Fall Detection System using Sensing Floors
International Journal of Computing and Information Sciences (IJCIS), APCEP - Canada, 2016, 12 (1), pp.75-82. ⟨10.21700/ijcis.2016.110⟩
hal-01356471v1  Journal articles
Stephan MerzJun Pang. Editorial
Formal Aspects of Computing, Springer Verlag, 2016, Formal Engineering Methods (vol.2), 28 (5), pp.723-724. ⟨10.1007/s00165-016-0390-2⟩
hal-01356470v1  Journal articles
Stephan MerzJun Pang. Editorial
Formal Aspects of Computing, Springer Verlag, 2016, Formal Engineering Methods (vol.1), 28 (3), pp.343-344. ⟨10.1007/s00165-016-0378-y⟩
hal-01306561v1  Journal articles
Rohit ChadhaVincent ChevalŞtefan CiobâcǎSteve Kremer. Automated verification of equivalence properties of cryptographic protocols
ACM Transactions on Computational Logic, Association for Computing Machinery, 2016, 17 (4), ⟨10.1145/2926715⟩
hal-01413047v1  Journal articles
Marcel SteinmetzJoerg HoffmannOlivier Buffet. Goal Probability Analysis in MDP Probabilistic Planning: Exploring and Enhancing the State of the Art
Journal of Artificial Intelligence Research, Association for the Advancement of Artificial Intelligence, 2016, 57, pp.229 - 271. ⟨10.1613/jair.5153⟩
hal-01386988v1  Journal articles
Jasmin BlanchetteCezary KaliszykLawrence PaulsonJosef Urban. Hammering towards QED
Journal of Formalized Reasoning, ASDD-AlmaDL, 2016, 9 (1), pp.101-148
hal-01120685v4  Journal articles
Xabier JaureguiberryEmmanuel VincentGael Richard. Fusion methods for speech enhancement and audio source separation
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2016, ⟨10.1109/TASLP.2016.2553441⟩
hal-01404718v1  Journal articles
Changbo ChenSvyatoslav CovanovFarnam MansouriRobert H. C. MoirMarc Moreno Maza et al.  The Basic Polynomial Algebra Subprograms
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2016, 50 (3), pp.97--100. ⟨10.1145/3015306.3015312⟩
hal-00921122v1  Journal articles
Jean-Sébastien SereniJan Volec. A note on acyclic vertex-colorings
Journal of Combinatorics, International Press, 2016, 7 (4), pp.725--737. ⟨10.4310/JOC.2016.v7.n4.a8⟩
hal-01537775v1  Journal articles
Ghania KhensousBelhadri MessabihAbdellah ChouarfiaBernard Maigret. Comparison of Cuckoo Search, Tabu Search and TS-Simplex algorithms for unconstrained global optimization
Computer Modelling and New Technologies, Prof. Viktors Gopejenko, 2016, 20 (4), pp.23-29
hal-01297415v1  Journal articles
Salima HarratKarima MeftouhMourad AbbasWalid-Khaled HidouciKamel Smaïli. An Algerian dialect: Study and Resources
International journal of advanced computer science and applications (IJACSA), The Science and Information Organization, 2016, 7 (3), pp.384-396. ⟨10.14569/IJACSA.2016.070353⟩
hal-01374382v1  Journal articles
Denis Roegel. A new early adding machine by Schwilgué (c. 1840?)
Bulletin of the Scientific Instrument Society, Scientific Instrument Society, 2016, 130, pp.24-27
hal-00175415v1  Journal articles
Jérôme BesombesJean-Yves Marion. Learning tree languages from positive examples and membership queries
Theoretical Computer Science, Elsevier, 2007, 382 (3), pp.183-197
hal-02980943v1  Journal articles
Jean-René CourtaultDidier GalmicheDavid Pym. A Logic of Separating Modalities
Theoretical Computer Science, Elsevier, 2016, 637 (1), pp.30-58. ⟨10.1016/j.tcs.2016.04.040⟩
hal-01315579v1  Journal articles
Slim OuniSara Dahmani. Is markerless acquisition of speech production accurate ?
Journal of the Acoustical Society of America, Acoustical Society of America, 2016, EL234, 139 (6), ⟨10.1121/1.4954497⟩
hal-01273045v2  Journal articles
Pierrick GaudryLaurent GrémyMarion Videau. Collecting relations for the number field sieve in $GF(p^6)$
LMS Journal of Computation and Mathematics, London Mathematical Society, 2016, Special issue: Algorithmic Number Theory Symposium XII, 19, pp.332 - 350. ⟨10.1112/S1461157016000164⟩
hal-01089507v1  Journal articles
Shi BaiCyril BouvierAlexander KruppaPaul Zimmermann. Better polynomials for GNFS
Mathematics of Computation, American Mathematical Society, 2016, 85, pp.12. ⟨10.1090/mcom3048⟩
hal-01309105v1  Journal articles
Marc F LensinkSameer VelankarAndriy KryshtafovychShen-You HuangDina Schneidman-Duhovy et al.  Prediction of homo- and hetero-protein complexes by protein docking and template-based modeling: a CASP-CAPRI experiment
Proteins - Structure, Function and Bioinformatics, Wiley, 2016, Special Issue: Eleventh Meeting on the Critical Assessment of Techniques for Protein Structure Prediction, 84 (S1), pp.323-348. ⟨10.1002/prot.25007⟩
hal-01261402v1  Journal articles
David RitchieSergei Grudinin. Spherical polar Fourier assembly of protein complexes with arbitrary point group symmetry
Journal of Applied Crystallography, International Union of Crystallography, 2016, 49 (1), pp.158-167. ⟨10.1107/S1600576715022931⟩