1,720,970 research outputs found
Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193.
No full textIn questa Lettura Critica viene analizzato il volume di E. Orlandelli e G. Corsi "Corso di Logica Modale Proposizionale", trattandone il contenuto anche in relazione ad altri manuali di testo sull’argomento. Merito di questo testo è quello di unire ad una parte “standard”, in cui i temi classici delle logiche modali sono introdotti in modo particolarmente chiaro (semantiche relazionali, calcoli alla Hilbert, modelli canonici, decidibilità via metodo delle filtrazioni), una parte più "innovativa", nella quale sono trattate efficaci tecniche di dimostrazione per le logiche modali (calcoli dei sequenti etichettati e metodo dei diagrammi)
ESCLUSIONE ENDOLUMINALE DI DIVERTICOLO DI KOMMERELL ASSOCIATO AD ARTERIA SUCCLAVIA DESTRA LUSORIA E TRONCO CAROTIDEO COMUNE:DESCRIZIONE DI UN CASO
No full textEugenio Orlandelli e Giovanna Corsi, "Corso di logica modale proposizionale", Carocci editore, Roma 2019, pp. 193
Full text linkIn questa Lettura Critica viene analizzato il volume di E. Orlandelli e G. Corsi "Corso di Logica Modale Proposizionale", trattandone il contenuto anche in relazione ad altri manuali di testo sull'argomento. Merito di questo testo è quello di unire ad una parte "standard", in cui i temi classici delle logiche modali sono introdotti in modo particolarmente chiaro (semantiche relazionali, calcoli alla Hilbert, modelli canonici, decidibilità via metodo delle filtrazioni), una parte più "innovativa", nella quale sono trattate efficaci tecniche di dimostrazione per le logiche modali (calcoli dei sequenti etichettati e metodo dei diagrammi).In this Critical Reading the volume by E. Orlandelli and G. Corsi " Corso di Logica Modale Proposizionale " is analyzed, also dealing with its content in relation to other textbooks on the subject. The merit of this text is that of cobining a "standard" part, in which the traditional topics of modal logics are introduced in a particularly clear way (relational semantics, Hilbert calculus, canonical models, decidability through the filtration method), with a more " innovative" one, which deals with effective proof techniques for modal logics (labeled sequent calculus and the diagram method)
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
FAST-TRACK NELLA CHIRURGIA AORTICA MINILAPAROTOMICA E PREDITTORI DI DIMISSIONI PRECOCI.V CONGRESSO NAZIONALE SICE OTTOBRE 2006(pp238)
No full textMini-invasive aortic surgery: a 2 year experience
No full textThe aim of this study was to evaluate a less invasive technique for the exposure of the infrarenal aorta and its impact on the treatment of patients with abdominal aortic aneurysms (AAA). Fortyfour patients with AAA we re prospectively selected f o r minilaparotomy a ortic exposure and repair using asmall periumbilical midline incision, intra-abdominal nondisplaced retraction of the small bowel and conventional hand-sewn vascular anastomosis. Perioperative comparisons with a contemporary group of AAA patients treated with long, open midline incision and extracavitary small bowel retraction were made. There were no significant differences between the minilaparotomy and open surgical control group concerning operating room time, intraoperative and perioperative morbidity or mortality. Significant differences were shown between the two groups regarding intensive care unit stay; the return to a general diet and the length of hospitalization. Minilaparotomy exposure is safe and effective for the treatment of infrarenal AAA. This technique maintains quality outcome while reducing postoperative ileus, hospital stay and resource utilizatio
Immaging preoperatorio per la tromboendoarteriectomia carotidea: è sufficiente ecocolor Doppler? .
No full text- …
