The free energy of inserting a protein into a membrane is determined by considering the variation in the spectrum of thermal fluctuations in response to the presence of a rigid inclusion. Both numerically and through a simple analytical approximation, we find that the primary effect of fluctuations is to reduce the effective surface tension, hampering the insertion at low surface tension. Our r...

Mobile Agents have promised much as an Internet programming technology, but well publicized security problems are hampering their acceptance. This paper argues that mobile agents are a vital component of any Internet security solution. For instance, agents can move computations to safe areas, and can replace out-dated security mechanisms that adapt poorly to the Internet. To underline this argu...

The declarative approach to business process modeling has been introduced to deal with the issue of managing flexible processes. Instead of explicitly representing all the allowed enactments of a process, the approach describes the constraints that limit its behavior. However, current graphical notations for declarative processes are prone to be difficult to understand, thus hampering a widespr...

Over the last decade, technological advances have revolutionised efforts to understand the role played by microbes in airways disease. With the application of ever more sophisticated techniques, the literature has become increasingly inaccessible to the non-specialist reader, potentially hampering the translation of these gains into improvements in patient care. In this article, we set out the ...

Twitter provides access to large volumes of data in real time, but is notoriously noisy, hampering its utility for NLP. In this paper, we target out-of-vocabulary words in short text messages and propose a method for identifying and normalising ill-formed words. Our method uses a classifier to detect ill-formed words, and generates correction candidates based on morphophonemic similarity. Both ...

Formal modelling languages such as process algebras are widespread and effective tools in computational modelling. However, handling data and uncertainty in a statistically meaningful way is an open problem in formal modelling, severely hampering the usefulness of these elegant tools in many real world applications. Here we introduce ProPPA, a process algebra which incorporates uncertainty in t...

Several techniques exist for the repair of complex pectus excavatum. The placement of retrosternal metal bars improves the results by reducing the recurrence rate, but entails several possible risks, complications and disadvantages. A new method, specifically conceived for the repair of severe, asymmetric forms in adult patients, is reported. The corrected bone is fixed in the proper position b...

Ageniella Banks, 1912 is a paraphyletic group exclusive to the Nearctic and Neotropical regions. The genus has remarkable morphological diversity among species strong sexual dimorphism, hampering taxonomic studies of it. Herein, we add two new fauna Ageniella: A. caerulea sp. nov. belonging subgenus Ameragenia ruschi Priophanes; both are described illustrated. A brief discussion subgeneric char...