Search Results - "Florent, R."

Refine Results
  1. 1

    Quantified Constraints and Containment Problems by Martin, Barnaby D., Chen, Hubie, Madelaine, Florent R.

    Published in Logical methods in computer science (11-09-2015)
    “…The quantified constraint satisfaction problem $\mathrm{QCSP}(\mathcal{A})$ is the problem to decide whether a positive Horn sentence, involving nothing more…”
    Get full text
    Journal Article
  2. 2

    Universal Structures and the logic of Forbidden Patterns by Madelaine, Florent R.

    Published in Logical methods in computer science (02-06-2009)
    “…Forbidden Patterns Problems (FPPs) are a proper generalisation of Constraint Satisfaction Problems (CSPs). However, we show that when the input is connected…”
    Get full text
    Journal Article
  3. 3

    Further development of bithionol therapy as a treatment for amoebic gill disease in Atlantic salmon, Salmo salar L by Florent, R.L, Becker, J, Powell, M.D

    Published in Journal of fish diseases (01-05-2009)
    “…This study examined the efficacy of bithionol as a prophylactic or therapeutic oral treatment for Atlantic salmon (AS), Salmo salar, affected by amoebic gill…”
    Get full text
    Journal Article
  4. 4

    Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies by Madelaine, Florent R., Stewart, Iain A.

    Published in Discrete mathematics (28-09-2008)
    “…We improve upon the best known upper and lower bounds on the sizes of minimal feedback vertex sets in butterflies. Also, we construct new feedback vertex sets…”
    Get full text
    Journal Article
  5. 5
  6. 6

    3D coronary reconstruction from calibrated motion-compensated 2D projections by Movassaghi, B., Rasche, V., Florent, R., Viergever, M.A., Niessen, W.

    Published in International Congress series (01-06-2003)
    “…One of the application areas of three-dimensional rotational X-ray imaging (3D-RX) techniques is focused on the 3D visualization of coronary vessel structures…”
    Get full text
    Journal Article
  7. 7
  8. 8

    On guarded extensions of MMSNP by Barsukov, Alexey, Madelaine, Florent R

    Published 07-05-2023
    “…We investigate logics and classes of problems below Fagin's existential second-order logic (ESO) and above Feder and Vardi's logic for constraint satisfaction…”
    Get full text
    Journal Article
  9. 9

    Complexity of conjunctive regular path query homomorphisms by Beaudou, Laurent, Foucaud, Florent, Madelaine, Florent R, Nourine, Lhouari, Richad, Gaétan

    Published 12-05-2023
    “…A graph database is a digraph whose arcs are labeled with symbols from a fixed alphabet. A regular graph pattern (RGP) is a digraph whose edges are labeled…”
    Get full text
    Journal Article
  10. 10

    Model-based segmentation of the left main coronary bifurcation from 2D angiograms by Lacroix, R., Florent, R., Auvray, V.

    “…This paper deals with the identification of the left main coronary bifurcation (LMB) in 2D angiograms. We resort to a generic 3D model of the LMB that is…”
    Get full text
    Conference Proceeding
  11. 11

    Efficacy of bithionol as an oral treatment for amoebic gill disease in Atlantic salmon Salmo salar (L.) by Florent, Renee L., Becker, Joy A., Powell, Mark D.

    Published in Aquaculture (28-09-2007)
    “…This study examined the efficacy of bithionol as an oral treatment for Atlantic salmon Salmo salar affected by amoebic gill disease (AGD). The current…”
    Get full text
    Journal Article
  12. 12

    Geometry-constrained coronary arteries motion estimation from 2D angiograms - Application to injection side recognition by Lebois, A, Florent, R, Auvray, V

    “…This paper deals with the 2D motion estimation of coronary arteries. It exploits the geometry of acquisition to strongly constrain the problem, thereby…”
    Get full text
    Conference Proceeding
  13. 13
  14. 14

    Quantified Constraints and Containment Problems by Martin, Barnaby D, Chen, Hubie, Madelaine, Florent R

    Published 10-09-2015
    “…Logical Methods in Computer Science, Volume 11, Issue 3 (September 11, 2015) lmcs:1585 The quantified constraint satisfaction problem…”
    Get full text
    Journal Article
  15. 15

    Universal Structures and the logic of Forbidden Patterns by Madelaine, Florent R

    Published 02-06-2009
    “…Logical Methods in Computer Science, Volume 5, Issue 2 (June 2, 2009) lmcs:1237 Forbidden Patterns Problems (FPPs) are a proper generalisation of Constraint…”
    Get full text
    Journal Article
  16. 16
  17. 17
  18. 18

    In vitro toxicity of bithionol and bithionol sulphoxide to Neoparamoeba spp., the causative agent of amoebic gill disease (AGD) by FLORENT, Renee L, BECKER, Joy A, POWELL, Mark D

    Published in Diseases of aquatic organisms (17-09-2010)
    “…The objective of the present study was to evaluate the in vitro toxicity of bithionol and bithionol sulphoxide to Neoparamoeba spp., the causative agent of…”
    Get full text
    Journal Article
  19. 19
  20. 20