-
Article
Surgical coaching applied to laparoscopic TME for continuous professional development in rectal surgery: proof of concept
Coaching is maturing as a strategy for surgeons’ continuous professional development in different types of surgery. Laparoscopic total mesorectal excision (LAP TME) is one of the recognized difficult procedure...
-
Article
Topic: Incisional Hernia — Plastic surgery aspects
-
Article
TOpic: Rare and Special Cases, The Real “Strange Cases”
-
Article
Parastomal Hernia, Risky Zone & Prophilactic Mesh
-
Article
Topic: Incisional Hernia — “Difficult case” as specialistic case: real loss of substance, multi recurrences, infections, fistulas, lombocel, burst abdomen, reconstruction of the entire wall
-
Article
Laparoscopic repair for recurrent incisional hernias: a single institute experience of 10 years
The treatment of recurrent incisional hernias (RIH) has been associated with unsatisfactory postoperative (PO) morbidity and high failure rates. The aim of this study is to retrospectively investigate our sing...
-
Article
A WSDL-based type system for asynchronous WS-BPEL processes
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WSDL and WS-BPEL, two of the most used XML-based standard languages ...
-
Chapter and Conference Paper
Open Grid Forum Research Group: Remote Instrumentation Services in Grid Environment – Overview of Activities
This chapter presents the activities of the Open Grid Forum Remote Instrumentation Services in Grid Environment Research Group. The main goal of this research group is to bring together different approaches in...
-
Chapter and Conference Paper
Adapting the Instrument Element to Support a Remote Instrumentation Infrastructure
GRIDCC was a project funded by the European Commission with the goal to extend the grid by integrating instruments and sensors with traditional computing and storage resources. This chapter describes how the G...
-
Chapter and Conference Paper
Remote Operations of an Accelerator Using the Grid
GRIDCC [7] is a 3-year project funded by the European Commission. Its goal is integrating instruments and sensors with Grid computing and storage resources. Its middleware is being designed bearing in mind use...
-
Chapter and Conference Paper
A Web-based Tool for Collaborative Access to Scientific Instruments in Cyberinfrastructures
Cyberinfrastructures that are being built in the United States and in Europe have the goal of enabling large-scale distributed science and engineering collaborations. However, there is still the need for effec...
-
Article
Robot-assisted laparoscopic gastrectomy with D2 dissection for adenocarcinoma: initial experience with 17 patients
Robot-assisted gastrectomy has been practised so far in very few centres in the world. The aims of this study were to assess the feasibility of robot-assisted gastrectomy for adenocarcinoma with D2 lymph nodal...
-
Article
Laparoscopic management of incisional hernias ≥15 cm in diameter
Despite good results in terms of safety and minimal recurrence ensured by laparoscopy in the management of incisional hernias, the use of minimally invasive techniques for large incisional wall defects is stil...
-
Article
Total and subtotal laparoscopic gastrectomy for adenocarcinoma
Laparoscopic gastrectomies are currently performed in many centers, but compliance with oncologic requirements still represents a subject open to debate. The aim of this work was to compare the short-term and ...
-
Article
Laparoscopic treatment of sigmoid diverticulitis: a retrospective review of 103 cases
Laparoscopic treatment of sigmoid diverticulitis is commonly accepted in Hinchey cases I and II, whereas it is debated in the case of purulent peritonitis, and not indicated for fecal peritonitis.
-
Chapter and Conference Paper
AGILE: Software Architecture for Mobility
Architecture-based approaches have been promoted as a means of controlling the complexity of system construction and evolution, in particular for providing systems with the agility required to operate in turbu...
-
Chapter and Conference Paper
A Symbolic Model Checker for ACTL
We present SAM, a symbolic model checker for ACTL, the action-based version of CTL. SAM relies on implicit representations of Labeled Transition Systems (LTSs), the semantic domain for ACTL formulae, and uses ...