Search Results - "Florent, R."
-
1
Quantified Constraints and Containment Problems
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
Universal Structures and the logic of Forbidden Patterns
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
Further development of bithionol therapy as a treatment for amoebic gill disease in Atlantic salmon, Salmo salar L
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
Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies
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
The TRIPLEX study: use of patient-derived tumor organoids as an innovative tool for precision medicine in triple-negative breast cancer
Published in BMC cancer (19-09-2023)“…Background Triple negative breast cancers (TNBC) account for approximately 15% of all breast cancers and are associated with a shorter median survival mainly…”
Get full text
Journal Article -
6
3D coronary reconstruction from calibrated motion-compensated 2D projections
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
Comparative analysis of response to treatments and molecular features of tumor-derived organoids versus cell lines and PDX derived from the same ovarian clear cell carcinoma
Published in Journal of experimental & clinical cancer research (07-10-2023)“…Background In the era of personalized medicine, the establishment of preclinical models of cancer that faithfully recapitulate original tumors is essential to…”
Get full text
Journal Article -
8
On guarded extensions of MMSNP
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
Complexity of conjunctive regular path query homomorphisms
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
Model-based segmentation of the left main coronary bifurcation from 2D angiograms
Published in 2012 9th IEEE International Symposium on Biomedical Imaging (ISBI) (01-05-2012)“…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
Efficacy of bithionol as an oral treatment for amoebic gill disease in Atlantic salmon Salmo salar (L.)
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
Geometry-constrained coronary arteries motion estimation from 2D angiograms - Application to injection side recognition
Published in 2011 IEEE International Symposium on Biomedical Imaging: From Nano to Macro (01-03-2011)“…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
Problem of ligature of the hepatic artery
Published in La Presse medicale (05-12-1951)Get more information
Journal Article -
14
Quantified Constraints and Containment Problems
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
Universal Structures and the logic of Forbidden Patterns
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
Cancer of the breast, pathological fracture and adrenalectomy
Published in Annales de chirurgie (01-07-1961)Get more information
Journal Article -
17
Intrahepatic biliary lithiasis
Published in La Presse medicale (24-06-1961)Get more information
Journal Article -
18
In vitro toxicity of bithionol and bithionol sulphoxide to Neoparamoeba spp., the causative agent of amoebic gill disease (AGD)
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
Cervico-uterine metastases of left colonic cancer
Published in Archives des maladies de l'appareil digestif et des maladies de la nutrition (01-06-1963)Get more information
Journal Article -
20
Metastasis to the uterine cervix of a cancer of the left colon
Published in Archives d'anatomie pathologique (01-06-1962)Get more information
Journal Article