On implicit program constructs

Session types are a well-established approach to ensuring protocol conformance and the absence of communication errors such as deadlocks in message passing systems. Implicit parameters, introduced by Haskell and popularised in Scala, are a mechanism to improve program readability and conciseness by allowing the programmer to omit function call arguments, and have the compiler insert them in a principled manner at compile-time. Scala recently gave implicit types first-class status (implicit functions), yielding an expressive tool for handling context dependency in a type-safe manner. DOT (Dependent Object Types) is an object calculus with path-dependent types and abstract type members, developed to serve as a theoretical foundation for the Scala programming language. As yet, DOT does not model all of Scala’s features, but a small subset. Among those features of Scala not yet modelled by DOT are implicit functions. We ask: can type-safe implicit functions be generalised from Scala’s sequential setting to message passing computation, to improve readability and conciseness of message passing programs? We answer this question in the affirmative by generalising the concept of an implicit function to an implicit message, its concurrent analogue, a programming language construct for session-typed concurrent computation. We explore new applications for implicit program constructs by integrating theminto four novel calculi, each demonstrating a new use case or theoretical result for implicits. Firstly, we integrate implicit functions and messages into the concurrent functional language LAST, Gay and Vasconcelos’s calculus of linear types for asynchronous sessions. We demonstrate their utility by example, and explore use cases for both implicit functions and implicit messages. We integrate implicit messages into two pi calculi, further demonstrating the robustness of our approach to extending calculi with implicits. We show that implicit messages are possible in the absence of lambda calculus, in languages with concurrency primitives only, and that they are sound not only in binary session-typed computation, but also in multi-party context. Finally we extend DOT to include implicit functions. We show type safety of the resulting calculus by translation to DOT, lending a higher degree of confidence to the correctness of implicit functions in Scala. We demonstrate that typical use cases for implicit functions in Scala are typably expressible in DOT when extended with implicit functions

Asynchronous sessions with implicit functions and messages

Session types are a well-established approach to ensuring protocol conformance and the absence of communication errors such as deadlocks in message passing systems. Haskell introduced implicit parameters, Scala popularised this feature and recently gave implicit types first-class status, yielding an expressive tool for handling context dependencies in a type-safe yet terse way. We ask: can type-safe implicit functions be generalised from Scala’s sequential setting to message passing computation? We answer this question in the affirmative by presenting the first concurrent functional language with implicit message passing. The key idea is to generalise the concept of an implicit function to an implicit message, its concurrent analogue. Our language extends Gay and Vasconcelos’s calculus of linear types for asynchronous sessions (LAST) with implicit functions and messages. We prove the resulting system sound by translation into LAST

Optimal Population Codes for Space: Grid Cells Outperform Place Cells

Rodents use two distinct neuronal coordinate systems to estimate their position: place fields in the hippocampus and grid fields in the entorhinal cortex. Whereas place cells spike at only one particular spatial location, grid cells fire at multiple sites that correspond to the points of an imaginary hexagonal lattice. We study how to best construct place and grid codes, taking the probabilistic nature of neural spiking into account. Which spatial encoding properties of individual neurons confer the highest resolution when decoding the animal’s position from the neuronal population response? A priori, estimating a spatial position from a grid code could be ambiguous, as regular periodic lattices possess translational symmetry. The solution to this problem requires lattices for grid cells with different spacings; the spatial resolution crucially depends on choosing the right ratios of these spacings across the population. We compute the expected error in estimating the position in both the asymptotic limit, using Fisher information, and for low spike counts, using maximum likelihood estimation. Achieving high spatial resolution and covering a large range of space in a grid code leads to a trade-off: the best grid code for spatial resolution is built of nested modules with different spatial periods, one inside the other, whereas maximizing the spatial range requires distinct spatial periods that are pairwisely incommensurate. Optimizing the spatial resolution predicts two grid cell properties that have been experimentally observed. First, short lattice spacings should outnumber long lattice spacings. Second, the grid code should be self-similar across different lattice spacings, so that the grid field always covers a fixed fraction of the lattice period. If these conditions are satisfied and the spatial “tuning curves” for each neuron span the same range of firing rates, then the resolution of the grid code easily exceeds that of the best possible place code with the same number of neurons

Investigation of nanodispersion in polystyrene-montmorillonite nanocomposites by solid state NMR

Nanocomposites result from combinations of materials with vastly different properties in the nanometer scale. These materials exhibit many unique properties such as improved thermal stability, reduced flammability, and improved mechanical properties. Many of the properties associated with polymer–clay nanocomposites are a function of the extent of exfoliation of the individual clay sheets or the quality of the nanodispersion. This work demonstrates that solid-state NMR can be used to characterize, quantitatively, the nanodispersion of variously modified montmorillonite (MMT) clays in polystyrene (PS) matrices. The direct influence of the paramagnetic Fe3, embedded in the aluminosilicate layers of MMT, on polymer protons within about 1 nm from the clay surfaces creates relaxation sources, which, via spin diffusion, significantly shorten the overall proton longitudinal relaxation time (T1 H). Deoxygenated samples were used to avoid the particularly strong contribution to the T1 H of PS from paramagnetic molecular oxygen. We used T1 H as an indicator of the nanodispersion of the clay in PS. This approach correlated reasonably well with X-ray diffraction and transmission electron microscopy (TEM) data. A model for interpreting the saturation-recovery data is proposed such that two parameters relating to the dispersion can be extracted. The first parameter, f, is the fraction of the potentially available clay surface that has been transformed into polymer–clay interfaces. The second parameter is a relative measure of the homogeneity of the dispersion of these actual polymer–clay interfaces. Finally, a quick assay of T1 H is reported for samples equilibrated with atmospheric oxygen. Included are these samples as well as 28 PS/MMT nanocomposite samples prepared by extrusion. These measurements are related to the development of highthroughput characterization techniques. This approach gives qualitative indications about dispersion; however, the more time-consuming analysis, of a few deoxygenated samples from this latter set, offers significantly greater insight into the clay dispersion. A second, probably superior, rapid-analysis method, applicable to oxygen-containing samples, is also demonstrated that should yield a reasonable estimate of the f parameter. Thus, for PS/MMT nanocomposites, one has the choice of a less complete NMR assay of dispersion that is significantly faster than TEM analysis, versus a slower and more complete NMR analysis with sample times comparable to TEM, information rivaling that of TEM, and a substantial advantage that this is a bulk characterization method. © 2003 Wiley Periodicals, Inc.* J Polym Sci Part B: Polym Phys 41: 3188–3213, 200

Year in review 2009: Critical Care - cardiac arrest, trauma and disasters

During 2009, Critical Care published nine papers on various aspects of resuscitation, prehospital medicine, trauma care and disaster response. One article demonstrated that children as young as 9 years of age can learn cardiopulmonary resuscitation (CPR) effectively, although, depending on their size, some may have difficulty performing it. Another paper showed that while there was a trend toward mild therapeutic hypothermia reducing S-100 levels, there was no statistically significant change. Another predictor study also showed a strong link between acute kidney injury and neurologic outcome while another article described a program in which kidneys were harvested from cardiac arrest patients and showed an 89% graft survival rate. One experimental investigation indicated that when a pump-less interventional lung assist device is present, leaving the device open (unclamped) while performing CPR has no harmful effects on mean arterial pressures and it may have positive effects on blood oxygenation and CO2 clearance. One other study, conducted in the prehospital environment, found that end-tidal CO2 could be useful in diagnosing pulmonary embolism. Three articles addressed disaster medicine, the first of which described a triage system for use during pandemic influenza that demonstrated high reliability in delineating patients with a good chance of survival from those likely to die. The other two studies, both drawn from the 2008 Sichuan earthquake experience, showed success in treating crush injured patients in an on-site tent ICU and, in the second case, how the epidemiology of earthquake injuries and related factors predicted mortality

Year in review 2008: Critical Care - trauma

Eleven papers on trauma published in Critical Care during 2008 addressed traumatic brain injury (TBI), burns, diagnostic concerns and immunosuppression. In regard to TBI, preliminary results indicate the utility of either magnetic resonance imaging (MRI) or ultrasound in measuring optic nerve sheath diameter to identify elevated intracranial pressure (ICP) as well as the potential benefit of thiopental for refractory ICP. Another investigaticc7960on demonstrated that early extubation of TBI patients whose Glasgow Coma Scale score was 8 or less did not result in additional incidence of nosocomial pneumonia. Another study indicated that strict glucose control resulted in worse outcomes during the first week after TBI, but improved outcomes after the second week. Another paper showed the prolonged neuroprotective advantages of proges-terone administration in TBI patients. There was also guidance on improved classifications of renal complications in burn patients. Another study found that patients with inhalation injuries and increased interleukin-6 (IL-6) and IL-10 and decreased IL-7 had increased mortality rates. One literature review described the disadvantages of prolonged immobilization or additional use of MRI for ruling out cervical spine injuries in obtunded TBI patients already cleared by computerized tomography scans. Other investigators found that higher N-terminal pro B-type natriuretic peptide (NT-proBNP) levels may be useful markers for post-traumatic cardiac impairment. Finally, an experimental model showed that both splenic apoptosis and lymphocytopenia may occur shortly after severe hemorrhage, thus increasing the threat of immunosuppression in those with severe blood loss