Management control of contractual networks: the business network scorecard

The paper presents an analysis of the management control systems, introducing a useful instrument to summarise performance achieved from the organizational network model, with a view to establishing the competitive advantage and the creation of value on the long term. The research approach is based on the qualitative methodology. The research is developed according to the study of national and international literature. The contribution proposes theoretical proof to support the new management control instrument for contractual networks: the Business Network Scorecard. The approach adopted for the development of the network management control instrument (Business Network Scorecard) refers to the principles of the Balanced Scorecard and value creation. So, the reporting system of network performance aims at highlighting the joint results of an economic-financial nature as well as those of an intangible nature. Through a logic of interception of large aggregates, the results achieved by the network are proposed through the matrix of network objectives, the multidimensional network model, including perspective indicators, 4 indicators of synergy and the comparison report of joint and individual performance of companies

Parallel execution of the ASP computation - An investigation on GPUs

This paper illustrates the design and implementation of a conflict-driven ASP solver that is capable of exploiting the Single-Instruction Multiple-Thread parallelism offered by General Purpose Graphical Processing Units (GPUs). Modern GPUs are multi-core platforms, providing access to large number of cores at a very low cost, but at the price of a complex architecture with non-trivial synchronization and communication costs. The search strategy of the ASP solver follows the notion of ASP computation, that avoids the generation of unfounded sets. Conflict analysis and learning are also implemented to help the search. The CPU is used only to pre-process the program and to output the results. All the solving components, i.e., nogoods management, search strategy, (non-chronological) backjumping, heuristics, conflict analysis and learning, and unit propagation, are performed on the GPU by exploiting SIMT parallelism. The preliminary experimental results confirm the feasibility and scalability of the approach, and the potential to enhance performance of ASP solvers

Variations in the amount of water ice on Ceres' surface suggest a seasonal water cycle.

The dwarf planet Ceres is known to host a considerable amount of water in its interior, and areas of water ice were detected by the Dawn spacecraft on its surface. Moreover, sporadic water and hydroxyl emissions have been observed from space telescopes. We report the detection of water ice in a mid-latitude crater and its unexpected variation with time. The Dawn spectrometer data show a change of water ice signatures over a period of 6 months, which is well modeled as ~2-km2 increase of water ice. The observed increase, coupled with Ceres' orbital parameters, points to an ongoing process that seems correlated with solar flux. The reported variation on Ceres' surface indicates that this body is chemically and physically active at the present time

Multi-context systems in time

In this paper we consider how to enhance flexibility and generality in Multi-Context Systems (MCS) by considering that contexts can evolve over time, that bridge-rule application can be proactive (according to a context's specific choice), and not instantaneous but requiring an execution mechanism. We introduce bridge-rule patterns to make bridge-rules parametric w.r.t. the involved contexts

Epistemic Logic Programs: a study of some properties

Epistemic Logic Programs (ELPs), extend Answer Set Programming (ASP) with epistemic operators. The semantics of such programs is provided in terms of world views, which are sets of belief sets, i.e., syntactically, sets of sets of atoms. Different semantic approaches propose different characterizations of world views. Recent work has introduced semantic properties that should be met by any semantics for ELPs, like the Epistemic Splitting Property, that, if satisfied, allows to modularly compute world views in a bottom-up fashion, analogously to ``traditional'' ASP. We analyze the possibility of changing the perspective, shifting from a bottom-up to a top-down approach to splitting. We propose a basic top-down approach, which we prove to be equivalent to the bottom-up one. We then propose an extended approach, where our new definition: (i) is provably applicable to many of the existing semantics; (ii) operates similarly to ``traditional'' ASP; (iii) provably coincides under any semantics with the bottom-up notion of splitting at least on the class of Epistemically Stratified Programs (which are, intuitively, those where the use of epistemic operators is stratified); (iv) better adheres to common ASP programming methodology.Comment: Under consideration in Theory and Practice of Logic Programming (TPLP

Care pathways models and clinical outcomes in disorders of consciousness

Objective: Patients with Disorders of consciousness, are persons with extremely low functioning levels and represent a challenge for health care systems due to their high needs of facilitating environmental factors. Despite a common Italian health care path-way for these patients, no studies have analyzed information on how each region have implemented it in its welfare system correlating data with patients’ clinical outcomes. Materials and Methods: A multicenter observational pilot study was realized. Clinicians collected data on the care pathways of patients with Disorder of consciousness by ask-ing 90 patients’ caregivers to complete an ad hoc questionnaire through a structured phone interview. Questionnaire consisted of three sections: sociodemographic data, description of the care pathway done by the patient, and caregiver evaluation of health services and information received.Results: Seventy- three patients were analyzed. Length of hospital stay was different across the health care models and it was associated with improvement in clinical diag-nosis. In long- term care units, the diagnosis at admission and the number of caregivers available for each patient (median value=3) showed an indirect relationship with worsening probability in clinical outcome. Caregivers reported that communication with professionals (42%) and the answer to the need of information were the most critical points in the acute phase, whereas presence of Non- Governmental Organizations (25%) and availability of psychologists for caregivers (21%) were often missing during long-term care. The 65% of caregivers reported they did not know the UN Convention on the Rights of Persons with Disabilities. Conclusion: This study highlights relevant differences in analyzed models, despite a recommended national pathway of care. Future public health considerations and ac-tions are needed to guarantee equity and standardization of the care process in all European countries