An operations semantics for pure dataflow

We prove the equivalence between an operational and an extensional semantics for pure dataflow. The term pure dataflow refers to dataflow nets in which the nodes are functional (i.e. the output history is a function of the input history only) and the arcs are unbounded fifo queues. Gilles Kahn gave a method for the representation of a pure dataflow net as a set of equations; one equation for each arc in the net. We present a complete proof that the operational behaviour of a pure dataflow net is exactly described by the least fixed point solution to its associated set of equations. Our model is completely general since our nodes have the universality property, in that, for any continuous history function there exists a node that will compute it. Moreover since our nets are not built from a set of sequential primitive nodes the model is not in the communicating sequential processes framework. On the contrary our nets have the abstraction property in that any net can be collapsed into a node. The above proof gives complementary ways of viewing pure dataflow nets, that is, as either sets of equations or as graphs. It moreover gives rise to an elegant equational dataflow language. Pure dataflow then takes on an important role since it is a correct implementation for such a functional programming language; nodes being implementation of continuous history functions; arcs and datons being implementations of histories; and nets being mechanisms for computing the solutions to sets of equations

CETICISMO E PRINCÍPIOS EPISTÊMICOS

A identificação e análise de princípios epistêmicos têm possibilitado ganhos significativos no estudo do ceticismo nas últimas décadas, isso não significa que estejamos próximos de um consenso sobre quais princípios devem ser aceitos. Entendendo p como qualquer proposição que geralmente admitiríamos saber, como “aqui há uma mão”, e sk como alguma proposição incompatível, como “estou sendo enganado por um gênio que me induz a crer em coisas que não existem”, o argumento canônico para o ceticismo acadêmico pode assim ser formalizado: (1) Se S está justificado ao crer que p, então S está justificado ao crer que ~sk; (2) S não está justificado ao crer que ~sk, logo, (3) S não está justificado ao crer que p. Implicitamente, pode-se notar: o cético advoga que a relação epistêmica tida com uma proposição deve ser preservada nas proposições decorrentes dessa e, uma vez falho o cumprimento dessa exigência, resulta-se inescapavelmente no ceticismo. Para resolver essa questão, alguns filósofos rejeitaram o ceticismo negando a premissa (1). Outros, como Klein, concedem (1) ao cético, porém negam sua conclusão, apontando que este falha em sua defesa de (2). Discute-se aqui a viabilidade dessas alternativas

Selective Laser Sintering of Passive Dynamic Ankle-Foot Orthoses

Passive dynamic ankle-foot orthoses (AFO’s) are used to improve gait performance in those with various neuromuscular disorders. An important design characteristic of passive dynamic AFOs is the storage and release of elastic energy within its structure to help satisfy the energetic demands of walking. Thus, minimizing energy dissipation through internal friction is a fundamental criterion for selecting the appropriate AFO material. This study compared the mechanical damping of a carbon-fiber AFO to three geometrically identical AFO’s fabricated using selective laser sintering with different materials. Mechanical damping characteristics ranked the materials as Nylon 11 (best), followed by DuraformTM PA and DuraformTM GF (worst).Mechanical Engineerin

Role of Quantum Confinement in Luminescence Efficiency of Group IV Nanostructures

Experimental results obtained previously for the photoluminescence efficiency (PL$_{eff}$) of Ge quantum dots (QDs) are theoretically studied. A $\log$-$\log$ plot of PL$_{eff}$ versus QD diameter ($D$) resulted in an identical slope for each Ge QD sample only when $E_{G}\sim (D^2+D)^{-1}$. We identified that above $D\approx$ 6.2 nm: $E_{G}\sim D^{-1}$ due to a changing effective mass (EM), while below $D\approx$ 4.6 nm: $E_{G}\sim D^{-2}$ due to electron/ hole confinement. We propose that as the QD size is initially reduced, the EM is reduced, which increases the Bohr radius and interface scattering until eventually pure quantum confinement effects dominate at small $D$

Source extraction and photometry for the far-infrared and sub-millimeter continuum in the presence of complex backgrounds

(Abridged) We present a new method for detecting and measuring compact sources in conditions of intense, and highly variable, fore/background. While all most commonly used packages carry out the source detection over the signal image, our proposed method builds from the measured image a "curvature" image by double-differentiation in four different directions. In this way point-like as well as resolved, yet relatively compact, objects are easily revealed while the slower varying fore/background is greatly diminished. Candidate sources are then identified by looking for pixels where the curvature exceeds, in absolute terms, a given threshold; the methodology easily allows us to pinpoint breakpoints in the source brightness profile and then derive reliable guesses for the sources extent. Identified peaks are fit with 2D elliptical Gaussians plus an underlying planar inclined plateau, with mild constraints on size and orientation. Mutually contaminating sources are fit with multiple Gaussians simultaneously using flexible constraints. We ran our method on simulated large-scale fields with 1000 sources of different peak flux overlaid on a realistic realization of diffuse background. We find detection rates in excess of 90% for sources with peak fluxes above the 3-sigma signal noise limit; for about 80% of the sources the recovered peak fluxes are within 30% of their input values.Comment: Accepted on A&

Electronic witness system in IVF—patients perspective

Objective The objective of this study is to evaluate patient concerns about in vitro fertilization (IVF) errors and electronic witness systems (EWS) satisfaction. Design The design of this study is a prospective single-center cohort study. Setting The setting of this study was located in the private IVF center. Patient(s) Four hundred eight infertile patients attending an IVF cycle at a GENERA center in Italy were equipped with an EWS. Intervention(s) Although generally recognized as a very rare event in IVF, biological sample mix-up has been reported in the literature. For this reason, some IVF laboratories have introduced EWS with the aim to further reduce the risk of error during biological samples handling. Participating patients received a questionnaire developed through a Likert scale ranging from 1 to 6. Main outcomes measure(s) Patient concerns about sample mix-up without and with an EWS were assessed. Result(s) 90.4 % of patients expressed significant concerns relating to sample mix-up. The EWS reduced these concerns in 92.1 % of patients, 97.1 % of which were particularly satisfied with the electronic traceability of their gametes and embryos in the IVF laboratory. 97.1 % of patients felt highly comfortable with an IVF center equipped with an EWS. Female patients had a significantly higher appreciation of the EWS when compared to their male partners (p = 0.029). A significant mix-up event occurred in an Italian hospital during the study and patient's satisfaction increased significantly towards the use of the EWS after the event (p = 0.032). Conclusion(s) EWS, by sensibly reducing the risk for sample mix-up in IVF cycles, has been proved to be a trusted strategy from patient's perspective

A proof of the Kahn principle for input/output automata

AbstractWe use input/output automata to define a simple and general model of networks of concurrently executing, nondeterministic processes that communicate through unidirectional, named ports. A notion of the input/output relation computed by a process is defined, and determinate processes are defined to be processes whose input/output relations are single-valued. We show that determinate processes compute continuous functions, and that networks of determinate processes obey Kahn's fixed-point principle. Although these results are already known, our contribution lies in the fact that the input/output automata model yields extremely simple proofs of them (the simplest we have seen), in spite of its generality

The impacts of natural flood management approaches on in-channel sediment quality

Natural Flood Management (NFM) techniques aim to reduce downstream flooding by storing and slowing the flow of stormwater to river channels. These techniques include a range of measures, including setback stormwater outfalls and the physical restoration of channels and floodplains, to improve the natural functioning of catchments. An additional benefit of NFM measures is the potential reduction in sediment and pollutant delivery to the channel. Urban development releases a variety of heavy metal and nutrient pollutants that enter rivers through stormwater outfalls with adverse effects on the aquatic ecosystem. In this study, the influence of channel modification and quality of the river habitat on the sediment quality surrounding stormwater outfalls was assessed. Sediment samples were taken at several outfalls within the Johnson Creek catchment, Oregon, USA, and analysed for a variety of urban pollutants. The level of river habitat quality and modification at each site were assessed using a semi-quantitative scoring methodology. Significant increases in pollutant levels were observed at outfalls, with a greater and more variable increase at direct compared to setback outfalls. Removal efficiency of certain pollutants was found to be significantly correlated to the level of habitat quality or modification (for Fe, Ba, Sn, Mg, P, K) indicating that more natural reaches had greater potential for pollutant removal. The findings highlight the multiple benefits associated with NFM and river restoration approaches in relation to sediment quality and pollutant content

Production and efficacy of a low-cost recombinant pneumococcal protein polysaccharide conjugate vaccine.

Streptococcus pneumoniae is the leading cause of bacterial pneumonia. Although this is a vaccine preventable disease, S. pneumoniae still causes over 1 million deaths per year, mainly in children under the age of five. The biggest disease burden is in the developing world, which is mainly due to unavailability of vaccines due to their high costs. Protein polysaccharide conjugate vaccines are given routinely in the developed world to children to induce a protective antibody response against S. pneumoniae. One of these vaccines is Prevnar13, which targets 13 of the 95 known capsular types. Current vaccine production requires growth of large amounts of the 13 serotypes, and isolation of the capsular polysaccharide that is then chemically coupled to a protein, such as the diphtheria toxoid CRM197, in a multistep expensive procedure. In this study, we design, purify and produce novel recombinant pneumococcal protein polysaccharide conjugate vaccines in Escherichia coli, which act as mini factories for the low-cost production of conjugate vaccines. Recombinant vaccine efficacy was tested in a murine model of pneumococcal pneumonia; ability to protect against invasive disease was compared to that of Prevnar13. This study provides the first proof of principle that protein polysaccharide conjugate vaccines produced in E. coli can be used to prevent pneumococcal infection. Vaccines produced in this manner may provide a low-cost alternative to the current vaccine production methodology