112 research outputs found
Substitution, jumps, and algebraic effects
Contains fulltext :
129931.pdf (author's version ) (Open Access
Изготовление изделий сложной формы из металлических порошков методом квазиизостатического прессования
Работа посвящена изучению влияния параметров эластичной оболочки (жесткость,объем внутренней полости) на деформацию металлических порошковых материалов в процессе квазиизостатического прессования.The work is devoted to the study of the influence of the parameters of the elastic shell (stiffness, volume of the internal cavity) on the deformation of metal powder materials in the process of quasi-isostatic pressing
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
Association between footwear use and neglected tropical diseases: a systematic review and meta-analysis
BACKGROUND
The control of neglected tropical diseases (NTDs) has primarily focused on preventive chemotherapy and case management. Less attention has been placed on the role of ensuring access to adequate water, sanitation, and hygiene and personal preventive measures in reducing exposure to infection. Our aim was to assess whether footwear use was associated with a lower risk of selected NTDs.
METHODOLOGY
We conducted a systematic review and meta-analysis to assess the association between footwear use and infection or disease for those NTDs for which the route of transmission or occurrence may be through the feet. We included Buruli ulcer, cutaneous larva migrans (CLM), leptospirosis, mycetoma, myiasis, podoconiosis, snakebite, tungiasis, and soil-transmitted helminth (STH) infections, particularly hookworm infection and strongyloidiasis. We searched Medline, Embase, Cochrane, Web of Science, CINAHL Plus, and Popline databases, contacted experts, and hand-searched reference lists for eligible studies. The search was conducted in English without language, publication status, or date restrictions up to January 2014. Studies were eligible for inclusion if they reported a measure of the association between footwear use and the risk of each NTD. Publication bias was assessed using funnel plots. Descriptive study characteristics and methodological quality of the included studies were summarized. For each study outcome, both outcome and exposure data were abstracted and crude and adjusted effect estimates presented. Individual and summary odds ratio (OR) estimates and corresponding 95% confidence intervals (CIs) were calculated as a measure of intervention effect, using random effects meta-analyses.
PRINCIPAL FINDINGS
Among the 427 studies screened, 53 met our inclusion criteria. Footwear use was significantly associated with a lower odds of infection of Buruli ulcer (OR=0.15; 95% CI: 0.08-0.29), CLM (OR=0.24; 95% CI: 0.06-0.96), tungiasis (OR=0.42; 95% CI: 0.26-0.70), hookworm infection (OR=0.48; 95% CI: 0.37-0.61), any STH infection (OR=0.57; 95% CI: 0.39-0.84), strongyloidiasis (OR=0.56; 95% CI: 0.38-0.83), and leptospirosis (OR=0.59; 95% CI: 0.37-0.94). No significant association between footwear use and podoconiosis (OR=0.63; 95% CI: 0.38-1.05) was found and no data were available for mycetoma, myiasis, and snakebite. The main limitations were evidence of heterogeneity and poor study quality inherent to the observational studies included.
CONCLUSIONS/SIGNIFICANCE
Our results show that footwear use was associated with a lower odds of several different NTDs. Access to footwear should be prioritized alongside existing NTD interventions to ensure a lasting reduction of multiple NTDs and to accelerate their control and elimination.
PROTOCOL REGISTRATION
PROSPERO International prospective register of systematic reviews CRD42012003338
Process types as a descriptive tool for interaction
We demonstrate a tight relationship between linearly typed π-calculi and typed λ-calculi by giving a type-preserving translation from the call-by-value λµ-calculus into a typed π-calculus. The λµ-calculus has a particularly simple representation as typed mobile processes. The target calculus is a simple variant of the linear π-calculus. We establish full abstraction up to maximally consistent observational congruences in source and target calculi using techniques from games semantics and process calculi
- …