Now showing items 1-5 of 5

    • Containment of aggregate queries 

      Cohen, S; Nutt, W; Sagiv, Y (Springer, 2003)
      The problem of deciding containment of aggregate queries is investigated. Containment is reduced to equivalence for queries with expandable aggregation functions. Many common aggregation functions, such as max, cntd (count ...
    • Declarative technologies for open agent systems and beyond 

      Chesani, F; Mello, P; Montali, M; Torroni, P (Springer, 2010)
      Open systems are complex, heterogeneous systems whose complexity is often handled by component-based approaches. While the internal functioning of such components is invisible to the outside, a great emphasis is put on the ...
    • A framework for defining and verifying clinical guidelines: a case study on cancer screening 

      Chesani, F; Mello, P; Montali, M; Storari, S; De Matteis, P (Springer, 2006)
      Medical guidelines are clinical behaviour recommendations used to help and support physicians in the definition of the most appropriate diagnosis and/or therapy within determinate clinical circumstances. Due to the intrinsic ...
    • Monitoring in the Healthcare Setting 

      Chesani F; Enright CG; Montali M; Madden MG (Springer, 2015)
      Monitoring is an activity in which a running system is observed, so as to become aware of its state. The fact that the system is observed makes monitoring complementary to approaches like formal verification and validation, ...
    • Personality and Recommender Systems 

      Tkalcic M; Chen L (Springer, 2015)
      Personality, as defined in psychology, accounts for the individual differences in users’ preferences and behaviour. It has been found that there are significant correlations between personality and users’ characteristics ...