Skip to Main content Skip to Navigation

inria-00178271v1  Journal articles
Jacques Lonchamp. Towards a Web Platform for Collaborative Learning Practice, Evaluation and Dissemination
Journal of Computers (JCP), Academy Publisher, 2007, 2 (5), pp.1-8
inria-00188601v1  Journal articles
Vincent LerouxBernard Maigret. Should structure-based virtual screening techniques be used more extensively in modern drug discovery ?
Computers and Applied Chemistry, Peking Publishing House of Electronics Industry, 2007, 27, pp.1-10
inria-00170992v1  Journal articles
David HewsonJacques DucheneFrançois CharpilletJamal SabouneValérie Michel-Pellegrino et al.  The PARAChute Project: Remote Monitoring of Posture and Gait for Fall Prevention
EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2007, Special Issue : Signal Processing Technologies for Ambient Intelligence in Home-Care Applications, 2007 (ID : 27421), 15 p. ⟨10.1155/2007/27421⟩
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
inria-00103916v1  Journal articles
Hervé BrönnimannOlivier DevillersVida DujmovicHazel EverettMarc Glisse et al.  Lines and free line segments Tangent to Arbitrary Three-dimensional Convex Polyhedra
SIAM Journal on Computing, Society for Industrial and Applied Mathematics, 2007, 37 (2), pp.522-551. ⟨10.1137/S0097539705447116⟩
inria-00097395v1  Journal articles
Gilles BartheLeonor Prensa Nieto. Secure Information Flow for a Concurrent Language with Scheduling
Journal of Computer Security, IOS Press, 2007, Formal Methods in Security Engineering Workshop (FMSE 04), 16 (6), pp.647 - 689
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-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
inria-00113785v1  Journal articles
François Lamarche. Exploring the Gap between Linear and Classical Logic
Theory and Applications of Categories, Mount Allison University, 2007, 18 (17), 473--535 (63 p.)