Continuation-Passing C: compiling threads to events through continuations

In this paper, we introduce Continuation Passing C (CPC), a programming language for concurrent systems in which native and cooperative threads are unified and presented to the programmer as a single abstraction. The CPC compiler uses a compilation technique, based on the CPS transform, that yields efficient code and an extremely lightweight representation for contexts. We provide a proof of the correctness of our compilation scheme. We show in particular that lambda-lifting, a common compilation technique for functional languages, is also correct in an imperative language like C, under some conditions enforced by the CPC compiler. The current CPC compiler is mature enough to write substantial programs such as Hekate, a highly concurrent BitTorrent seeder. Our benchmark results show that CPC is as efficient, while using significantly less space, as the most efficient thread libraries available.Comment: Higher-Order and Symbolic Computation (2012). arXiv admin note: substantial text overlap with arXiv:1202.324

Mean first-passage time of surface-mediated diffusion in spherical domains

We present an exact calculation of the mean first-passage time to a target on the surface of a 2D or 3D spherical domain, for a molecule alternating phases of surface diffusion on the domain boundary and phases of bulk diffusion. The presented approach is based on an integral equation which can be solved analytically. Numerically validated approximation schemes, which provide more tractable expressions of the mean first-passage time are also proposed. In the framework of this minimal model of surface-mediated reactions, we show analytically that the mean reaction time can be minimized as a function of the desorption rate from the surface.Comment: to appear in J. Stat. Phy

Role of fractal dimension in random walks on scale-free networks

Fractal dimension is central to understanding dynamical processes occurring on networks; however, the relation between fractal dimension and random walks on fractal scale-free networks has been rarely addressed, despite the fact that such networks are ubiquitous in real-life world. In this paper, we study the trapping problem on two families of networks. The first is deterministic, often called $(x,y)$-flowers; the other is random, which is a combination of $(1,3)$-flower and $(2,4)$-flower and thus called hybrid networks. The two network families display rich behavior as observed in various real systems, as well as some unique topological properties not shared by other networks. We derive analytically the average trapping time for random walks on both the $(x,y)$-flowers and the hybrid networks with an immobile trap positioned at an initial node, i.e., a hub node with the highest degree in the networks. Based on these analytical formulae, we show how the average trapping time scales with the network size. Comparing the obtained results, we further uncover that fractal dimension plays a decisive role in the behavior of average trapping time on fractal scale-free networks, i.e., the average trapping time decreases with an increasing fractal dimension.Comment: Definitive version published in European Physical Journal

Mean first-passage time for random walks on undirected networks

In this paper, by using two different techniques we derive an explicit formula for the mean first-passage time (MFPT) between any pair of nodes on a general undirected network, which is expressed in terms of eigenvalues and eigenvectors of an associated matrix similar to the transition matrix. We then apply the formula to derive a lower bound for the MFPT to arrive at a given node with the starting point chosen from the stationary distribution over the set of nodes. We show that for a correlated scale-free network of size $N$ with a degree distribution $P(d)\sim d^{-\gamma}$, the scaling of the lower bound is $N^{1-1/\gamma}$. Also, we provide a simple derivation for an eigentime identity. Our work leads to a comprehensive understanding of recent results about random walks on complex networks, especially on scale-free networks.Comment: 7 pages, no figures; definitive version published in European Physical Journal

Fantastically reasonable: ambivalence in the representation of science and technology in super-hero comics

A long-standing contrast in academic discussions of science concerns its perceived disenchanting or enchanting public impact. In one image, science displaces magical belief in unknowable entities with belief in knowable forces and processes and reduces all things to a single technical measure. In the other, science is itself magically transcendent, expressed in technological adulation and an image of scientists as wizards or priests. This paper shows that these contrasting images are also found in representations of science in super-hero comics, which, given their lowly status in Anglo-American culture, would seem an unlikely place to find such commonality with academic discourse. It is argued that this is evidence that the contrast constitutes an ambivalence arising from the dilemmas that science poses; they are shared rhetorics arising from and reflexively feeding a set of broad cultural concerns. This is explored through consideration of representations of science at a number of levels in the comics, with particular focus on the science-magic constellation, and enchanted and disenchanted imagery in representations of technology and scientists. It is concluded that super-hero comics are one cultural arena where the public meaning of science is actively worked out, an activity that unites “expert” and “non-expert” alike

Macrófitas aquáticas do sistema lacustre do Vale do Rio Doce, Minas Gerais, Brasil

Resumo Esta pesquisa trata da composição e da ocorrência de espécies de macrófitas aquáticas em área de proteção ambiental e áreas não protegidas, que compõem o conjunto de lagos do Vale do Rio Doce em Minas Gerais, terceiro maior sistema lacustre brasileiro. As informações foram levantadas a partir de publicações, material depositado em herbários e coletas botânicas entre os anos de 2007 e 2010, em ambientes aquáticos localizados no Parque Estadual do Rio Doce (PERD) e zona de amortecimento. Foram registradas 184 espécies pertencentes a distintos grupos taxonômicos, hábitos e formas biológicas, sendo aqui proposta a criação de uma nova categoria destas, designada embalsada, para contemplar plantas que se estabelecem em ilhas flutuantes. A pesquisa contribuiu com 152 novas citações para o Vale do Rio Doce em Minas Gerais, com dois primeiros registros nesse estado e com a descrição de uma espécie inédita para a ciência. A similaridade florística entre áreas protegidas e não protegidas indicou que o PERD guarda 74% das espécies de macrófitas aquáticas encontradas. Entretanto, 26% do total de espécies estão desprotegidas, pois não ocorrem nessa unidade de conservação

Reducing the environmental impact of surgery on a global scale: systematic review and co-prioritization with healthcare workers in 132 countries

Background Healthcare cannot achieve net-zero carbon without addressing operating theatres. The aim of this study was to prioritize feasible interventions to reduce the environmental impact of operating theatres. Methods This study adopted a four-phase Delphi consensus co-prioritization methodology. In phase 1, a systematic review of published interventions and global consultation of perioperative healthcare professionals were used to longlist interventions. In phase 2, iterative thematic analysis consolidated comparable interventions into a shortlist. In phase 3, the shortlist was co-prioritized based on patient and clinician views on acceptability, feasibility, and safety. In phase 4, ranked lists of interventions were presented by their relevance to high-income countries and low–middle-income countries. Results In phase 1, 43 interventions were identified, which had low uptake in practice according to 3042 professionals globally. In phase 2, a shortlist of 15 intervention domains was generated. In phase 3, interventions were deemed acceptable for more than 90 per cent of patients except for reducing general anaesthesia (84 per cent) and re-sterilization of ‘single-use’ consumables (86 per cent). In phase 4, the top three shortlisted interventions for high-income countries were: introducing recycling; reducing use of anaesthetic gases; and appropriate clinical waste processing. In phase 4, the top three shortlisted interventions for low–middle-income countries were: introducing reusable surgical devices; reducing use of consumables; and reducing the use of general anaesthesia. Conclusion This is a step toward environmentally sustainable operating environments with actionable interventions applicable to both high– and low–middle–income countries