Search Results

Staying connected is vital to maintaining good relationships, yet feelings of disconnection or isolation distance, time differences, or simply busy lives. Everyday interactions, family rituals and habits are often lost, in spite of the pervasiveness of ...

The maximum satisfiability (MAX-SAT) problem, especially the weighted version, has extensive applications. Weighted MAX-SAT instances encoded from real-world applications may be very large, which calls for efficient approximate methods, mainly stochastic ...

In this paper, we discuss how a flourishing scene of DIY makers is turning visions of tangible and ubiquitous computing into products. Drawing on long-term multi-sited ethnographic research and active participation in DIY making, we provide insights ...

Firms constantly grapple with the question of whether to make, buy, or ally for innovations. The literature has not, to our knowledge, analyzed the choice of and payoff from these alternate routes to innovation for the same firm. To address this issue, ...

Keeping the code of a Java application consistent (code is consistent if all of the project classes can be recompiled together without errors) prevents late linking errors, and thus may significantly improve development turnaround time. In this paper we ...

The make program is widely used in large software projects to reduce compilation time. make skips source files that would have compiled to the same result as in the previous build. (Or so it is hoped.) The crucial issue of safeness of omitting a brute-...