A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

The need for rigorous process composition is encountered in many situations pertaining to the development and analysis of complex systems. We discuss the use of Classical Linear Logic (CLL) for correct-by-construction resource-based process composition, with guaranteed deadlock freedom, systematic resource accounting, and concurrent execution. We introduce algorithms to automate the necessary inference steps for binary compositions of processes in parallel, conditionally, and in sequence. We combine decision procedures and heuristics to achieve intuitive and practically useful compositions in an applied setting.Comment: Post-proceedings paper presented at the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018), Frankfurt am Main, Germany, 4-6 September 2018 (arXiv:1808.03326). arXiv admin note: substantial text overlap with arXiv:1803.0261

How useful are volunteers for visual biodiversity surveys? An evaluation of skill level and group size during a conservation expedition

The ability of volunteers to undertake different tasks and accurately collect data is critical for the success of many conservation projects. In this study, a simulated herpetofauna visual encounter survey was used to compare the detection and distance estimation accuracy of volunteers and more experienced observers. Experience had a positive effect on individual detection accuracy. However, lower detection performance of less experienced volunteers was not found in the group data, with larger groups being more successful overall, suggesting that working in groups facilitates detection accuracy of those with less experience. This study supports the idea that by optimizing survey protocols according to the available resources (time and volunteer numbers), the sampling efficiency of monitoring programs can be improved and that non-expert volunteers can provide valuable contributions to visual encounter-based biodiversity surveys. Recommendations are made for the improvement of survey methodology involving non-expert volunteers

CNS Penetration of Intrathecal-Lumbar Idursulfase in the Monkey, Dog and Mouse: Implications for Neurological Outcomes of Lysosomal Storage Disorder

A major challenge for the treatment of many central nervous system (CNS) disorders is the lack of convenient and effective methods for delivering biological agents to the brain. Mucopolysaccharidosis II (Hunter syndrome) is a rare inherited lysosomal storage disorder resulting from a deficiency of iduronate-2-sulfatase (I2S). I2S is a large, highly glycosylated enzyme. Intravenous administration is not likely to be an effective therapy for disease-related neurological outcomes that require enzyme access to the brain cells, in particular neurons and oligodendrocytes. We demonstrate that intracerebroventricular and lumbar intrathecal administration of recombinant I2S in dogs and nonhuman primates resulted in widespread enzyme distribution in the brain parenchyma, including remarkable deposition in the lysosomes of both neurons and oligodendrocytes. Lumbar intrathecal administration also resulted in enzyme delivery to the spinal cord, whereas little enzyme was detected there after intraventricular administration. Mucopolysaccharidosis II model is available in mice. Lumbar administration of recombinant I2S to enzyme deficient animals reduced the storage of glycosaminoglycans in both superficial and deep brain tissues, with concurrent morphological improvements. The observed patterns of enzyme transport from cerebrospinal fluid to the CNS tissues and the resultant biological activity (a) warrant further investigation of intrathecal delivery of I2S via lumbar catheter as an experimental treatment for the neurological symptoms of Hunter syndrome and (b) may have broader implications for CNS treatment with biopharmaceuticals