Necessary and sufficient conditions for the universality of programming formalisms

Summary Over many familiar datatypes the notion of computable coincides with the notion of flowchartable. It is also known that flowcharts are not a universal programming formalism over arbitrary datatypes, in the sense that there are datatypes over which not all computable functions are flowchartable. In this paper we consider various extensions and restrictions of the basic formalism of flowcharts, and then for every such formalism, we characterize the datatypes over which the computable functions are exactly the functions programmable in this formalism. We say that a function is computable over a datatype if it is effective relative to the primitive operations and relations of the datatype.     

Implementing Compositional Analysis Using Intersection Types With Expansion Variables

A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composition operator. This means the subfragments can be analyzed independently in any order. Many commonly used program analysis techniques (in particular, most abstract interpretations and most uses of the Hindley/Milner type system) are not compositional and require the entire text of a program for sound and complete analysis.System is a recent type system for the pure λ-calculus with intersection types and the new technology of expansion variables. System supports compositional analysis because it has the principal typings property and an algorithm based on the new technology of β-unification has been developed that finds these principal typings. In addition, for each natural number k, typability in the rank-k restriction of System is decidable, so a complete and terminating analysis algorithm exists for the rank-k restriction.This paper presents new understanding that has been gained from working with multiple implementations of System and β-unification-based analysis algorithms. The previous literature on System presented the type system in a way that helped in proving its more important theoretical properties, but was not as easy to follow as it could be. This paper provides a presentation of many aspects of System that should be clearer as well as a discussion of important implementation issues.     

Strain‐induced deformation mechanisms of polylactide plasticized with acrylated poly(ethylene glycol) obtained by reactive extrusion

This work aimed at identifying the tensile deformation mechanisms of an original grade of plasticized polylactide (pPLA) obtained by reactive extrusion. This material had a glass transition temperature of 32.6 °C and consisted of a polylactide (PLA) matrix grafted with poly(acryl‐poly(ethylene glycol)) (poly(Acryl‐PEG)) inclusions. pPLA behaved like a rubber‐toughened amorphous polymer at 20 °C, and its tensile behavior evolved toward a rubbery semicrystalline polymer with increasing temperature. The drawing of pPLA involved orientation of amorphous and crystalline chains, crystallization, and destruction of crystals. It was found that crystal formation and crystal destruction were in competition below 50 °C, resulting in a constant or slightly decreasing crystallinity with strain. Increasing temperature enhanced crystal formation and limited crystal destruction, resulting in an increased crystallinity with the strain level. Drawing yielded a transformation of the initial spherical poly(Acryl‐PEG) inclusions into ellipsoids oriented in the tensile direction. This mechanism may engender the formation of nanovoids within the inclusions due to a decreased density, assumed to be responsible for the whitening of the specimen. © 2015 Society of Chemical Industry     

Thorns and dermal denticles of skates Atlantoraja cyclophora and A. castelnaui: Microscopic features and functional implications

Some batoid species are covered with dermal denticles (or placoid scales) that occasionally develop into thorns. In sexually mature males, sharp teeth and alar thorns found on the apex of the lateral disc are used to hold the female during copulation. This study set out to analyze microscopic features of modified dermal denticles and thorns and to investigate sexual dimorphism in Atlantoraja cyclophora and A. castelnaui species. Skin samples collected from areas covered with thorns were fixed in 10% formaldehyde, processed and analyzed using scanning electron microscopy. Alar thorn morphology varied within species, while caudal thorn, rostral and caudal dermal denticle morphology varied within and between species. These structures play an important role in the protection and reproduction of the species studied and constitute important taxonomic information, given they are often the only elements preserved in archaeological sites and fossil records.     

Generation of a nude mouse tumor model for in vivo replication of human cytomegalovirus

PURPOSE: Our purpose was to report the patterns of injury observed in five patients who suffered brain damage consequent to neonatal hypoglycemia. METHODS: The imaging studies and clinical records of five patients with brain damage caused by neonatal hypoglycemia were reviewed retrospectively. Patterns of injury were compared with those described in the literature and those seen in neonatal hypoxic-ischemic injury. RESULTS: Diffuse cortical and subcortical white matter damage was seen, with the parietal and occipital lobes affected most severely. Globus pallidus injury was present in one patient who had the most severe cortical injury. CONCLUSION: We found a specific pattern of injury that correlates well with the sparse pathologic and imaging reports on neonatal hypoglycemia. We speculate that the patterns of damage are the result of regional hypoperfusion and excitatory toxicity with cell-type-specific injury.     

Toughening of poly(lactide) using polyethylene glycol methyl ether acrylate: Reactive versus physical blending

To design high‐performance poly(lactide)‐based materials (PLA‐based) with improved toughness, two approaches based on the reactive extrusion (REx) process are investigated and compared in the present study. The first approach relies upon a two‐step procedure using a REx‐polymerized poly(ethylene glycol) methyl ether acrylate, i.e., poly(AcrylPEG), as a highly‐branched and compatible impact modifier for PLA. The free‐radical polymerization proves to be very efficient with a peroxide initiator concentration of 1 wt%. The as‐produced poly(AcrylPEG) is then melt‐blended with PLA by extrusion. The resulting materials exhibit largely increase impact resistance (ca. 35 kJ/m²) in presence of 20 wt% poly(AcrylPEG) in comparison with neat PLA (2.7 kJ/m²), while moderate ductility (tensile elongation at break <40%) and limited plasticization effect are observed. The second “one‐step” approach consists in in situ grafting of AcrylPEG onto PLA backbone via a one‐stage REx. The resulting materials exhibit substantially improved impact resistance (ca. 102 kJ/m²) for AcrylPEG loading of 20 wt%, high ductility (tensile elongation at break of ca. 150%) and efficient plasticization. A detailed characterization of the morphology of the materials has been performed using PF‐QNM‐AFM to better elucidate the structure‐property relationships. POLYM. ENG. SCI., 55:1408–1419, 2015. © 2015 Society of Plastics Engineers     

Bone marrow cells of swine: collection and separation

Bone marrow is a source of stem cells for greater and easier access, which is widely studied as a provider of hematopoietic and mesenchymal cells for various purposes, mainly therapeutic by the advances in research involving cell therapy. The swine is an animal species commonly used in the pursuit of development of experimental models. Thus, this study aimed to standardize protocol for collection and separation of bone marrow in swines, since this species is widely used as experimental models for various diseases. Twelve animals were used, which underwent bone marrow puncture with access from the iliac crest and cell separation by density gradient followed by a viability test with an average of 98% of viable cells. Given our results, we can ensure the swine as an excellent model for obtaining and isolation of mononuclear cells from bone marrow, stimulating several studies addressing the field of cell therapy.     

Estimation of the major source and sink of methylmercury in the Florida Everglades

Mercury methylation and/or demethylation have been observed in several compartments [soil (saturated soils covered by standing water), floc, periphyton, and water] of the Everglades, a wetland with mercury as one of the major water quality concerns. However, it is still unclear which compartment is the major source or sink due to the lack of estimation and comparison of the net methylmercury (MeHg) production or degradation in these compartments. The lack of this information has limited our understanding of Hg cycling in this ecosystem. This study adopted a double stable isotope ((199)Hg(2+) and Me(201)Hg) addition technique to determine the methylation/demethylation rate constants and the net MeHg production rates in each compartment. This study improved the previous models for estimating these parameters by (1) taking into account the difference between newly input and ambient mercury in methylation/demethylation efficiency and (2) correcting the contribution of photodemethylation to Me(199)Hg concentration when calculating methylation rates in water. The net MeHg production rate in each compartment was then estimated to identify the major sources and sinks of MeHg. The results indicate that these improvements in modeling are necessary, as a significant error would occur otherwise. Soil was identified to be the largest source of MeHg in the Everglades, while the floc and water column were identified as the major sinks. The role of periphyton varies, appearing to be a source in the northern Everglades and a sink in the southern Everglades. Soil could be the largest source for MeHg in the water column, while methylation in periphyton could also contribute significantly in the northern Everglades.     

Definability by programs in first-order structures

For an independent and graphical representation of the constraints in distributed system parts the formalism of Loosely Coupled Systems is recalled. The events in these structures are formally derived from symmetrical bilateral restrictions. How the interaction between neighbouring parts influences processes in these parts is then adequately described by a symmetrical transitional structure (slack of behaviour) in each part. In order also to represent asymmetrical types of influence local excitement relations are introduced by means of which we can determine directions of flow and can force processes to leave a given local state. The formally extended system structures are called Interaction Systems (IS). A solution of the Dining Philosophers' Problem given by Dijkstra in [5] is briefly discussed. In order to demonstrate the flexibility and representational power of our graphical tools we then derive a starvation-free solution for that problem in a stepwise procedure. (We do not assume a global finite-delay property.) We reconsider a general problem for distributed processes which access shared resources [2, 14]. The solution scheme for the special case of Dijkstra's problem applies at once to the general case. The starvation-freeness of the solution is proved.     

Die Anwendung der Randelementmethode zur Berechnung der Randspannungen und des Torsionsträgheitsmomentes beliebig geformter Stabquerschnitte

Zusammenfassung In der vorliegenden Arbeit wird die numerische L?sung des St.-Venantschen Torsionsproblems für beliebig berandete Stabquerschnitte nach der Randintegralgleichungsmethode (Boundary-Element-Method) er?rtert. Durch verschiedene Vorgehensweisen k?nnen bei diesem Verfahren für das genannte Problem mehrere Fredholmsche Integralgleichungen hergeleitet werden, von denen jedoch nur einige zur L?sung geeignet sind. Zwei günstige Integralgleichungen zweiter Art (eine direkte und eine indirekte) werden hier ausgew?hlt und numerisch gel?st. Dabei werden für die Randapproximation Polynome 3. Grades und für die Verl?ufe der unbekannten Funktionen lineare oder quadratische Polynome verwendet. Numerische Ergebnisse für Querschnitte aus den DIN-Normen zeigen die Effektivit?t der verwendeten Methode.