Microsoft: Local software economy

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics

A distributed platform for the volunteer execution of workflows on a local area network

Thesis submitted in fulfilment of the requirements for the Degree of Master of Science in Computer Science

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.

The enchained potential of the local food market

There is a rising demand for local food which traveled only short distances and is marketed directly by the producer. With growing importance of local food also the amount of literature in this field increased. Yet, literature is lacking to examine the challenges and burdens consumers face while trying to purchase local food. Evidence is shown that a gap exists between the intention of consumers who would like to purchase local food and their actual behavior. However, reasons for this gap are only discovered as byproducts of other research objectives. Consequently, this study investigates the specific reasons for the intention-behavior gap of consumers in the local food market. The study makes use of semi-structured face-to-face interviews with rural and urban respondents. The interviews are analyzed by qualitative content analysis based on Elo and Kyngäs (2008). Revealed key drivers for the intention-behavior gap are (1) the lack of awareness where to purchase local food products, (2) the limited reachability of local food producers, (3) the assortment of the local producer in regard to size and composition and (4) the lack in transparency of the prices of local food. Consequently, it is the producers turn to eliminate the revealed barriers by proactively bringing their products closer to the consumer.