Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual ...

The authors aim to propose an accurate and practical method to predict the deformation of actual plates of large size such as those used in shipbuilding. This method is to be used to improve the accuracy of an automatic ...

Pulmonary cavities, the hallmark of tuberculosis (TB), are characterized by high mycobacterial load and perpetuate the spread of M. tuberculosis. The mechanism of matrix destruction resulting in cavitation is not well ...

We estimate the effects of unconditional (full fiscal decentralization) versus conditional (partial fiscal decentralization) block grants on local public spending in Brazilian municipalities. Our results suggest that the ...

Computational effects complicate the tasks of reasoning about and maintaining software, due to the many kinds of interferences that can occur. While different proposals have been formulated to alleviate the fragility and ...

Intestinal infection caused by Cryptosporidium is a major contributor to diarrhea morbidity and mortality in young children around the world. Current treatments for children suffering from cryptosporidiosis are suboptimal. ...

Despite their obvious advantages in terms of static reasoning, the adoption of effect systems is still rather limited in practice. Recent advances such as generic effect systems, lightweight effect polymorphism, and gradual ...