105,601 research outputs found
A Compositional Semantics for Logic Programs
No full textAbstractThis paper considers open logic programs originally as a tool to build an OR-compositional semantics of logic programs. We extend the original semantic definitions in the framework of the general approach to the semantics of logic programs described by Gabbrielli and Levi (1991). We first define an operational semantics OΩ(P) which models computed answer substitutions and which is compositional w.r.t. the union of programs. Next, we consider the semantic domain of Ω-denotations, which are sets of clauses with a suitable equivalence relation. The fixpoint semantics FΩ(P) given by Bossi and Menegus (1991) is proved equivalent to the operational semantics. From the model-theoretic viewpoint, an Ω-denotation is mapped onto a set of Herbrand interpretations, thus leading to a definition of an Ω-model based on the classical notion of truth. Moreover, we consider a particular kind of Ω-models (compositional models), and we show that OΩ(P) is a (nonminimal) compositional Ω-model. A suitable abstraction of OΩ(P) is compositional and fully abstract w.r.t. the equivalence induced by successful derivations. Finally, some applications of our semantics are discussed. In particular, OΩ(P) can be viewed as the foundations of modular program analysis
A sua Altezza Serenissima il Sig. Principe di Metternich, I. R. Cancelliere di Stato, Cavaliere del Toson D'Oro EC. A Vienna
No full text[G. M. Bossi
La frattura esposta nel politraumatizzato
No full textSi analizzano le specificità delle fratture in pazienti politraumatizzati, la propedeuticità dei trattamenti e le tecniche di osteosintesi più adegiate al fine di ottenere rapide mobilizzazioni dei pazienti ai fini riabilitativi e di nursing
Vedute antiche e moderne della città di Roma, e sue vicinanze
No full text[S. Bossi dis., A. Parboni dis. e incise, G. Acquaroni dis. e incise]Bibliographische Angaben übernommen von BV03783239
Vedute antiche e moderne della città di Roma, e sue vicinanze
No full text[S. Bossi dis., A. Parboni dis. e incise, G. Acquaroni dis. e incise]Bibliographische Angaben übernommen von BV03783239
Catalogo Della Libreria Del Fu Cavaliere Giuseppe Bossi Pittore Milanese
No full textCATALOGO DELLA LIBRERIA DEL FU CAVALIERE GIUSEPPE BOSSI PITTORE MILANESE
Catalogo Della Libreria Del Fu Cavaliere Giuseppe Bossi Pittore Milanese ([1]r)
Cover ( - )
Titelseite ([1]r)
A (1)
B (15)
C (40)
D (62)
E (74)
F (78)
G (89)
H (99)
I (104)
K (108)
L (109)
M (117)
N (134)
O (137)
P (142)
Q (164)
R (165)
S (178)
T (194)
U (204)
V (204)
W (219)
X (221)
Y (221)
Z (222)
Manoscritti (225)
Libri Omessi (242
Alla ricerca di sensibilità romantiche
No full textGli studi e le ricerche di Maurizio Bossi sulla cultura del romanticismo: da Lewis Henry Morgan ai viaggiatori in Toscan
Exogenous wt-p53 expression is not detrimental for normal cells: implications for tumor gene therapy
No full textArm Disability in Patients on Hemodialysis
No full text(0) Save to: more options
Arm Disability in Patients on Hemodialysis
Author(s): Toffola, ED (Toffola, Elena Dalla)1; Petrucci, L (Petrucci, Lucia); Mazzacane, B (Mazzacane, Bruno); Klersy, C (Klersy, Catherine)2; Villa, G (Villa, Giuseppe); Bossi, D (Bossi, Daniela)3; Bejor, M (Bejor, Maurizio)1
Source: DIALYSIS & TRANSPLANTATION Volume: 39 Issue: 3 Pages: 100-+ DOI: 10.1002/dat.20418 Published: MAR 2010
Times Cited: 0 (from Web of Science)
Cited References: 29 [ view related records ] Citation Map
Abstract: INTRODUCTION: End-stage renal disease patients on hemodialysis (HD) often present osteoarticular and musculoskeletal complications related both to chronic renal disease as well as to chronic dialysis. The aim of the present study was to assess the degree of upper-limb disability, and its determinants, in a group of patients on chronic HD to determine functional capacity and the need for rehabilitative treatment.
MATERIALS AND METHODS: We studied 97 HD patients (46 male, 51 female) with a mean age of 64.4 years, and 51 healthy controls. The Disabilities of the Arm, Shoulder, and Hand (DASH) Outcome Measure was used to clinically assess degree of disability as well as finger function and movement.
RESULTS: For study purposes, patients were divided into 3 groups according to the duration of dialysis: 10 years. The median DASH score was 9.5 (interquartile range [IQR]: 3.4-24.1) in the entire population. However, it differed significantly in the 3 dialysis groups with scores of 5.2 (IQR: 2.6-18.1), 14.7 (3.4-23.7), and 37.5 (9.5-73.3) in the 10 year groups, respectively (p < .001). Additionally, disability correlated with shoulder and hand pain and with finger stiffness. Moreover, patients on dialysis for more than 10 years were affected by pain involving several upper limb joints. All patients who worked had a DASH score lower than 20. The median DASH score was 2.6 (IQR: 0.9-5.2) in the control group.
CONCLUSION: Duration of dialysis is associated with progressive disability. Thus, early rehabilitation programs are recommended in patients who are expected to undergo long-term dialysi
- …
