This paper discusses the relation between the minimal positive relevant logic B+ and intersection and union type theories. There is a marvellous coincidence between these very diff...
Mariangiola Dezani-Ciancaglini, Robert K. Meyer, Y...
Background: The brightness of the probe spots on expression microarrays intends to measure the abundance of specific mRNA targets. Probes with runs of at least three guanines (G) ...
Histogram Intersection (HI) kernel has been recently introduced for image recognition tasks. The HI kernel is proved to be positive definite and thus can be used in Support Vector ...
Sabri Boughorbel, Jean-Philippe Tarel and Nozha Bo...
: This paper presents an improved method for the geometrical calibration of parallel robots for which the structure is based upon some parallelogram mechanisms. Its originality is ...
Ludovic Savoure, Patrick Maurine, David Corbel, S&...
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...