Search results for "D.2.4"
showing 9 items of 9 documents
Mid-term results of zone 0 thoracic endovascular aneurysm repair after ascending aorta wrapping and supra-aortic debranching in high-risk patients
2017
Objectives Surgical repair of aneurysmal disease involving the ascending aorta, aortic arch and eventually the descending aorta is generally associated with significant morbidity and mortality. A less invasive approach with the ascending wrapping technique (WT), supra-aortic vessel debranching (SADB) and thoracic endovascular aneurysm repair (TEVAR) in zone 0 was developed to reduce the associated risk in these patients. Methods During a 10-year period, consecutive patients treated by the ascending WT, SADB and TEVAR in zone 0 were included. All patients were considered at high risk for conventional surgery. Measured outcomes included perioperative deaths and morbidity, maximal aortic trans…
Extending SPARQL with Temporal Logic
2009
The data integration and sharing activities carried on in the framework of the Semantic Web lead to large knowledge bases that must be queried, analyzed, and exploited efficiently. Many of the knowledge representation languages of the Semantic Web, starting with RDF, are based on directed, labeled graphs, which can be also manipulated using graph algorithms and tools coming from other domains. In this paper, we propose an analysis approach of RDF graphs by reusing the verification technology developed for concurrent systems. To this purpose, we define a translation from the SPARQL query language into XTL, a general-purpose graph manipulation language implemented in the CADP verification too…
Protective Effect of Pogostone on 2,4,6-Trinitrobenzenesulfonic Acid-Induced Experimental Colitis via Inhibition of T Helper Cell
2017
Inflammatory bowel disease (IBD) is a chronic immune-related disease mainly caused by the disequilibrium of T helper (Th) cell paradigm? Pogostone (PO) is one of the major chemical constituents of Pogostemon cablin (Blanco) Benth. The present study aims to investigate the potential benefit of PO against IBD in a 2,4,6-trinitrobenzenesulfonic acid (TNBS)-induced experimental colitis model. PO treatment by enema significantly brought down the disease activity index (DAI) of the TNBS-challenged rats, which was manifested by the ameliorated inflammatory features including ulceration, adhesion, and edema. Hematoxylin-eosin (HE) staining and immunohistochemistry analysis showed that PO effectivel…
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
2008
International audience; Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (SOA) paradigm. We propose in this paper a tool-equipped methodology allowing the formal modeling and analysis of Web services described in the BPEL language. The discrete-time transition systems modeling the behavior of BPEL descriptions are obtained by an exhaustive simulation based on a formalization of BPEL semantics using the Algebra of Timed Processes (ATP). These models are then analyzed by model checking value-based temporal logic properties using the CADP toolbox. The approach is illustrated with the design of a Web service for GPS na…
New 1,2,4-oxadiazole nortopsentin derivatives with cytotoxic activity
2019
New analogs of nortopsentin, a natural 2,4-bis(3&prime
Sequentializing Parameterized Programs
2012
We exhibit assertion-preserving (reachability preserving) transformations from parameterized concurrent shared-memory programs, under a k-round scheduling of processes, to sequential programs. The salient feature of the sequential program is that it tracks the local variables of only one thread at any point, and uses only O(k) copies of shared variables (it does not use extra counters, not even one counter to keep track of the number of threads). Sequentialization is achieved using the concept of a linear interface that captures the effect an unbounded block of processes have on the shared state in a k-round schedule. Our transformation utilizes linear interfaces to sequentialize the progra…
Treatment of isolated ascending aortic aneurysm by off-pump epiaortic wrapping is safe and durable.
2016
OBJECTIVES: Isolated ascending aortic aneurysm (iAA) is usually treated by open graft repair requiring sternotomy, cardiopulmonary bypass (CPB) and cardioplegia. This approach carries significant mortality in older patients or those presenting with comorbidities. We report an original series of patients presenting with iAA and treated with epiaortic wrapping by using a synthetic mesh. This less invasive aortic repair technique allows reducing the aortic diameter to a predefined value and is performed without CPB. METHODS: Data from patients presenting with an iAA and treated with the wrapping technique (WT) by polypropylene/polyester mesh from November 2006 to July 2015 were collected. The …
Mid-term Results of Chimney and Periscope Grafts in Supra-aortic Branches in High Risk Patients
2017
Purpose Report mid-term outcomes of thoracic endovascular aneurysm repair (TEVAR) with chimney and periscope grafts (CPG) in supra-aortic branches (SAB). Methods Retrospective analysis, from October 2009 to May 2014, of patients with aneurysms requiring TEVAR with zone 0/1/2 proximal landing in association with at least one CPG in the SAB. All patients were considered at high risk for conventional surgery. Peri-operative mortality and morbidity, retrograde type A dissection, maximum aortic transverse diameter (TD) and its post-operative evolution, endoleak, survival, freedom from cardiovascular re-interventions, and CPG freedom from occlusion during the follow-up were analysed. Results Fort…
La autonomía progresiva del niño en los procesos de cuidado y custodia : comprensión del caso colombiano
2021
La posibilidad de participación de los menores de edad en los asuntos que les afectan es una dimensión de la autonomía progresiva; por eso, los procesos de guarda y custodia plantean un especial interés, particularmente si se opta por una custodia compartida. El estudio de los instrumentos internacionales, la jurisprudencia y la doctrina permiten una aproximación a los avances en la materia y las tareas que quedan aún pendientes.