Search Results - "Coquide, J."

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
  2. 2

    An automatic procedure that grades some facial skin structural signs: agreements and validation with clinical assessments made by dermatologists by Flament, F., Hofmann, M., Roo, E., Raimbault‐Gerard, C., Chuberre, B., Zhang, Y., Jiang, R., Kezele, I., Zhang, J., Elmozino, E., Coquide, J., Arcin, V., Aarabi, P.

    Published in International journal of cosmetic science (01-10-2019)
    “…Objective To confirm the robustness and validity of an automatic scoring system, algorithm‐based, that grades the severity of nine facial signs through…”
    Get full text
    Journal Article
  3. 3

    Automata for Reduction Properties Solving by Dauchet, Max, Caron, Anne-Cécile, Coquidé, Jean-Luc

    Published in Journal of symbolic computation (1995)
    “…We introduce a new class of tree automata, which we call Reduction Automata (RA), and we use it to prove the decidability of the whole first order of theory of…”
    Get full text
    Journal Article