Data and behavioral contracts for web services

The recent trend in Web services is fostering a computing scenario where loosely coupled parties interact in a distributed and dynamic environment. Such interactions are sequences of xml messages and in order to assemble parties – either statically or dynamically – it is important to verify that the “contracts” of the parties are “compatible”. The Web Service Description Language (wsdl) is a standard used for describing one-way (asynchronous) and request/response (synchronous) interactions. Web Service Conversation Language extends wscl contracts by allowing the description of arbitrary, possibly cyclic sequences of exchanged messages between communicating parties. Unfortunately, neither wsdl nor wscl can effectively define a notion of compatibility, for the very simple reason that they do not provide any formal characterization of their contract languages. We define two contract languages for Web services. The first one is a data contract language and allow us to describe a Web service in terms of messages (xml documents) that can be sent or received. The second one is a behavioral contract language and allow us to give an abstract definition of the Web service conversation protocol. Both these languages are equipped with a sort of “sub-typing” relation and, therefore, they are suitable to be used for querying Web services repositories. In particular a query for a service compatible with a given contract may safely return services with “greater” contract.

Body ares networks for human motor assessment

Healthcare, Human Computer Interfaces (HCI), Security and Biometry are the most promising application scenario directly involved in the Body Area Networks (BANs) evolution. Both wearable devices and sensors directly integrated in garments envision a word in which each of us is supervised by an invisible assistant monitoring our health and daily-life activities. New opportunities are enabled because improvements in sensors miniaturization and transmission efficiency of the wireless protocols, that achieved the integration of high computational power aboard independent, energy-autonomous, small form factor devices. Application’s purposes are various: (I) data collection to achieve off-line knowledge discovery; (II) user notification of his/her activities or in case a danger occurs; (III) biofeedback rehabilitation; (IV) remote alarm activation in case the subject need assistance; (V) introduction of a more natural interaction with the surrounding computerized environment; (VI) users identification by physiological or behavioral characteristics. Telemedicine and mHealth [1] are two of the leading concepts directly related to healthcare. The capability to borne unobtrusiveness objects supports users’ autonomy. A new sense of freedom is shown to the user, not only supported by a psychological help but a real safety improvement. Furthermore, medical community aims the introduction of new devices to innovate patient treatments. In particular, the extension of the ambulatory analysis in the real life scenario by proving continuous acquisition. The wide diffusion of emerging wellness portable equipment extended the usability of wearable devices also for fitness and training by monitoring user performance on the working task. The learning of the right execution techniques related to work, sport, music can be supported by an electronic trainer furnishing the adequate aid. HCIs made real the concept of Ubiquitous, Pervasive Computing and Calm Technology introduced in the 1988 by Marc Weiser and John Seeley Brown. They promotes the creation of pervasive environments, enhancing the human experience. Context aware, adaptive and proactive environments serve and help people by becoming sensitive and reactive to their presence, since electronics is ubiquitous and deployed everywhere. In this thesis we pay attention to the integration of all the aspects involved in a BAN development. Starting from the choice of sensors we design the node, configure the radio network, implement real-time data analysis and provide a feedback to the user. We present algorithms to be implemented in wearable assistant for posture and gait analysis and to provide assistance on different walking conditions, preventing falls. Our aim, expressed by the idea to contribute at the development of a non proprietary solutions, driven us to integrate commercial and standard solutions in our devices. We use sensors available on the market and avoided to design specialized sensors in ASIC technologies. We employ standard radio protocol and open source projects when it was achieved. The specific contributions of the PhD research activities are presented and discussed in the following. • We have designed and build several wireless sensor node providing both sensing and actuator capability making the focus on the flexibility, small form factor and low power consumption. The key idea was to develop a simple and general purpose architecture for rapid analysis, prototyping and deployment of BAN solutions. Two different sensing units are integrated: kinematic (3D accelerometer and 3D gyroscopes) and kinetic (foot-floor contact pressure forces). Two kind of feedbacks were implemented: audio and vibrotactile. • Since the system built is a suitable platform for testing and measuring the features and the constraints of a sensor network (radio communication, network protocols, power consumption and autonomy), we made a comparison between Bluetooth and ZigBee performance in terms of throughput and energy efficiency. Test in the field evaluate the usability in the fall detection scenario. • To prove the flexibility of the architecture designed, we have implemented a wearable system for human posture rehabilitation. The application was developed in conjunction with biomedical engineers who provided the audio-algorithms to furnish a biofeedback to the user about his/her stability. • We explored off-line gait analysis of collected data, developing an algorithm to detect foot inclination in the sagittal plane, during walk. • In collaboration with the Wearable Lab – ETH, Zurich, we developed an algorithm to monitor the user during several walking condition where the user carry a load. The remainder of the thesis is organized as follows. Chapter I gives an overview about Body Area Networks (BANs), illustrating the relevant features of this technology and the key challenges still open. It concludes with a short list of the real solutions and prototypes proposed by academic research and manufacturers. The domain of the posture and gait analysis, the methodologies, and the technologies used to provide real-time feedback on detected events, are illustrated in Chapter II. The Chapter III and IV, respectively, shown BANs developed with the purpose to detect fall and monitor the gait taking advantage by two inertial measurement unit and baropodometric insoles. Chapter V reports an audio-biofeedback system to improve balance on the information provided by the use centre of mass. A walking assistant based on the KNN classifier to detect walking alteration on load carriage, is described in Chapter VI.

Antecedents and consequences of individual flexibility in project-based organizations

In the last decades, the increasing significance of “projectivization” (Lundin & Steinthórsson, 2003) has stimulated considerable interest in project-based organizations as new economic actors able to introduce a new logic of organizing work and weakening boundaries in favour of networks of collaborations. In these contexts, work is often delegated to project teams. Deciding whom to put on a project team is one of the biggest challenges faced by a project manager; in particular which characteristics rely on to compose and match effective teams. We address this issue, focusing on the individual flexibility (Raudsepp, 1990), as team composition variable that affects project team performance. Thus, the research question investigated is: Is it better to compose project teams with flexible team members or not flexible project team members to achieve higher levels of project performance? The temporary nature of PBOs involves that after achieving the purpose for which team members are enrolled, they are disbanded but their relationships remain, allowing them to be involved in future projects (Starkey, Barnatt & Tempest, 2000). Pre-existing relationships together with the current relationships create a network of relationships that yields some implications for project teams as well as for team members. We address this issue, exploring the following research question: To what extent is the individual flexibility influenced by the network structure? The conceptual framework is used to articulate the research questions investigated with respect to the Television drama serials production. Their project-team organizing combined with their capacity to dissolve and recreate over time make it an interesting field to develop. We contribute to the organizational literature, providing a clear operationalization of individual flexibility construct and its role on affecting project performance. Second, we contribute to the organizational network literature addressing the effects yielded by the network structure-structural holes and network closure- on the individual flexibility.

Essays in behavioral economics

In this work we conduct an experimental analysis on different behavioral models of economic choice. In particular, we analyze the role of overconfidence in shaping the beliefs of economics agents about the future path of their consumption or investment. We discuss the relevance of this bias in expectation formation both from a static and from a dynamic point of view and we analyze the effect of possible interventions aimed to achieve some policy goals. The methodology we follow is both theoretical and empirical. In particular, we make large use of controlled economic field experiments in order to test the predictions of the theoretical models we propose. In the second part of the thesis we discuss the role of cognition and personality in affecting economic preferences and choices. In this way we make a bridge between established psychological research and novel findings in economics. Finally, we conduct a field study on the role of incentives on education. We design different incentive schemes and we test, on randomized groups of students, their effectiveness in improving academic performance.

Essays in Behavioral Personnel Economics

The thesis contemplates 4 papers and its main goal is to provide evidence on the prominent impact that behavioral analysis can play into the personnel economics domain.The research tool prevalently used in the thesis is the experimental analysis.The first paper provide laboratory evidence on how the standard screening model–based on the assumption that the pecuniary dimension represents the main workers’choice variable–fails when intrinsic motivation is introduced into the analysis.The second paper explores workers’ behavioral reactions when dealing with supervisors that may incur in errors in the assessment of their job performance.In particular,deserving agents that have exerted high effort may not be rewarded(Type-I errors)and undeserving agents that have exerted low effort may be rewarded(Type-II errors).Although a standard neoclassical model predicts both errors to be equally detrimental for effort provision,this prediction fails when tested through a laboratory experiment.Findings from this study suggest how failing to reward deserving agents is significantly more detrimental than rewarding undeserving agents.The third paper investigates the performance of two antithetic non-monetary incentive schemes on schooling achievement.The study is conducted through a field experiment.Students randomized to the main treatments have been incentivized to cooperate or to compete in order to earn additional exam points.Consistently with the theoretical model proposed in the paper,the level of effort in the competitive scheme proved to be higher than in the cooperative setting.Interestingly however,this result is characterized by a strong gender effect.The fourth paper exploits a natural experiment setting generated by the credit crunch occurred in the UK in the2007.The economic turmoil has negatively influenced the private sector,while public sector employees have not been directly hit by the crisis.This shock–through the rise of the unemployment rate and the increasing labor market uncertainty–has generated an exogenous variation in the opportunity cost of maternity leave in private sector labor force.This paper identifies the different responses.

The future in action: neurophysiological and behavioral evidence of anticipatory motor simulation.

The motor system can no longer be considered as a mere passive executive system of motor commands generated elsewhere in the brain. On the contrary, it is deeply involved in perceptual and cognitive functions and acts as an “anticipation device”. The present thesis investigates the anticipatory motor mechanisms occurring in two particular instances: i) when processing sensory events occurring within the peripersonal space (PPS); and ii) when perceiving and predicting others’actions. The first study provides evidence that PPS representation in humans modulates neural activity within the motor system, while the second demonstrates that the motor mapping of sensory events occurring within the PPS critically relies on the activity of the premotor cortex. The third study provides direct evidence that the anticipatory motor simulation of others’ actions critically relies on the activity of the anterior node of the action observation network (AON), namely the inferior frontal cortex (IFC). The fourth study, sheds light on the pivotal role of the left IFC in predicting the future end state of observed right-hand actions. Finally, the fifth study examines how the ability to predict others’ actions could be influenced by a reduction of sensorimotor experience due to the traumatic or congenital loss of a limb. Overall, the present work provides new insights on: i) the anticipatory mechanisms of the basic reactivity of the motor system when processing sensory events occurring within the PPS, and the same anticipatory motor mechanisms when perceiving others’ implied actions; ii) the functional connectivity and plasticity of premotor-motor circuits both during the motor mapping of sensory events occurring within the PPS and when perceiving others’ actions; and iii) the anticipatory mechanisms related to others’ actions prediction.

Computational strategies to include protein flexibility in Ligand Docking and Virtual Screening

The dynamic character of proteins strongly influences biomolecular recognition mechanisms. With the development of the main models of ligand recognition (lock-and-key, induced fit, conformational selection theories), the role of protein plasticity has become increasingly relevant. In particular, major structural changes concerning large deviations of protein backbones, and slight movements such as side chain rotations are now carefully considered in drug discovery and development. It is of great interest to identify multiple protein conformations as preliminary step in a screening campaign. Protein flexibility has been widely investigated, in terms of both local and global motions, in two diverse biological systems. On one side, Replica Exchange Molecular Dynamics has been exploited as enhanced sampling method to collect multiple conformations of Lactate Dehydrogenase A (LDHA), an emerging anticancer target. The aim of this project was the development of an Ensemble-based Virtual Screening protocol, in order to find novel potent inhibitors. On the other side, a preliminary study concerning the local flexibility of Opioid Receptors has been carried out through ALiBERO approach, an iterative method based on Elastic Network-Normal Mode Analysis and Monte Carlo sampling. Comparison of the Virtual Screening performances by using single or multiple conformations confirmed that the inclusion of protein flexibility in screening protocols has a positive effect on the probability to early recognize novel or known active compounds.

Social Welfare and Behavioral Public Policies

In this work I discuss several key aspects of welfare economics and policy analysis and I propose two original contributions to the growing field of behavioral public policymaking. After providing a historical perspective of welfare economics and an overview of policy analysis processes in the introductory chapter, in chapter 2 I discuss a debated issue of policymaking, the choice of the social welfare function. I contribute to this debate by proposing an original methodological contribution based on the analysis of the quantitative relationship among different social welfare functional forms commonly used by policy analysts. In chapter 3 I then discuss a behavioral policy to contrast indirect tax evasion based on the use of lotteries. I show that the predictions of my model based on non-expected utility are consistent with observed, and so far unexplained, empirical evidence of the policy success. Finally, in chapter 4 I investigate by mean of a laboratory experiment the effects of social influence on the individual likelihood to engage in altruistic punishment. I show that bystanders’ decision to engage in punishment is influenced by the punishment behavior of their peers and I suggest ways to enact behavioral policies that exploit this finding.

Flexibility and firm value: the role of inventories

In the present thesis I study the contribution to firm value of inventories management from a risk management perspective. I find a significant contribution of inventories to the value of risk management especially through the operating flexibility channel. In contrast, I do not find evidence supporting the view of inventories a reserve of liquidity. Inventories substitute, albeit not perfectly, derivatives or cash holdings. The substitution between hedging with derivatives and inventory is moderated by the correlation between cash flow and the underlying asset in the derivative contract. Hedge ratios increase with the effectiveness of derivatives. The decision to hedge with cash holdings or inventories is strongly influenced by the degree of complementarity between production factors and by cash flow volatility. In addition, I provide a risk management based explanation of the secular substitution between inventories and cash holdings documented, among others, in Bates et al. (2009), Journal of Finance. In a sample of U.S. firms between 1980 and 2006, I empirically confirm the negative relation between inventories and cash and provide evidence on the poor performance of investment cash flow sensitivities as a measure of financial constraints also in the case of inventories investment. This result can be explained by firms' scarce reliance on inventories as a reserve of liquidity. Finally, as an extension of my study, I contrast with empirical data the theoretical predictions of a model on the integrated management of inventories, trade credit and cash holdings.