Many lovers separated by distance worry about their relationships, despite the fact that the use of various means of communication such as mobile phones and email is now widesprea...
Background: Peptidases are proteolytic enzymes responsible for fundamental cellular activities in all organisms. Apparently about 2–5% of the genes encode for peptidases, irresp...
Lisa Bartoli, Remo Calabrese, Piero Fariselli, Dam...
In this paper we introduce SocialBrowsing, a Firefox extension that adds social context to the web browsing experience. The extension is paired with services provided by social ne...
Abstract. In the quest for tractable methods for reasoning about concurrent algorithms both rely/guarantee logic and separation logic have made great advances. They both seek to ta...
Television and the Internet have proven to be a popular combination for both broadcasters and viewers. Because of this popularity they are increasingly facing the consequences of c...
Jenneke Fokker, Huib de Ridder, Piet Westendorp, J...