69 research outputs found
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 -flowers; the other is random, which is a combination of
-flower and -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
-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
Spatially-resolved measurements of soot size and population in a swirl-stabilized combustor
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 with
a degree distribution , the scaling of the lower bound is
. 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
Humic Haplustox under different land uses in a high altitude environment in the Agreste region of Pernambuco, Brazil
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
- …