Postoperative intra-abdominal adhesions represent a serious clinical problem. In this review,
we have focused on recent progress in the cellular and humoral mechanisms underpinning …

There are ever more compelling tools available for neuroscience research, ranging from
selective genetic targeting to optogenetic circuit control to mapping whole connectomes. These …

Kidneys are innervated by a plexus of nerves around the renal artery, which is disrupted by
transplantation. This is a report of a comparison of the nerves in human renal allografts and …

Rheumatoid arthritis (RA), a long-term auto-immune condition is a challenging condition for
patients to manage. Goals of treatment include reducing pain, decreasing inflammation, and …

The book is a focused survey on probabilistic program semantics, conceived to tell a
coherent story with a uniform notation. It is grouped into three themes: Part I is for'users' of the …

The study sets out to provide a better understanding of the emerging challenges in policy
targeting the labour-market integration of refugees. What are the strategies and practices …

Probabilistic predicates generalize standard predicates over a state space; with probabilistic
predicate transformers one thus reasons about imperative programs in terms of probabilistic …

This study, produced by the Migration Policy Centre (MPC) at the European University
Institute in Florence, sets out to provide a better understanding of the emerging challenges in …

Background Cytoreductive surgery and heated intraperitoneal chemotherapy (CS/HIPEC) is
performed for selected indications at a limited number of specialized centers worldwide. …

The two models presented in this paper provide two different semantics for an extension of
Dijkstra's language of guarded commands. The extended language has an additional …