Convex powerdomains I

AbstractA completion via Frink ideals is used to define a convex powerdomain of an arbitrary continuous lattice as a continuous lattice. The powerdomain operator is a functor in the category of continuous lattices and continuous inf-preserving maps and preserves projective limits and surjectivity of morphisms; hence one can solve domain equations in which it occurs. Analogous results hold for algebraic lattices and bounded complete algebraic cpo's

Convex powerdomains II

AbstractThe study of powerdomains defined as completions via Frink ideals is continued. It is shown how to represent directed ideals ofP(D)by certain compact subsets of the original domainD, and arbitrary Frink ideals by sets of such subsets. The operations union and big union are defined and their properties studied. Finally, some results on the relationship of this powerdomain to the classical Plotkin powerdomain are presented

Creep behaviour and microstructure changes of model cast Ni-Cr-W-C alloys

AbstractA comparative study of creep and microstructural properties of two model cast Ni-Cr-W-C alloys (Alloys A and B) resistant to high-temperature oxidation with different contents of Cr, W, Zr and Fe was performed. Uniaxial tensile creep tests were carried out at temperatures from 1023 to 1273K and at the applied stresses ranged from 20 to 250MPa. Creep tests were followed by microstructural and fractographic investigations. A mutual comparison between the creep characteristics of the alloys under comparable creep loading conditions shows that the alloy B with higher contents of tungsten and zirconium is more creep resistant as that of the Alloy A at lower temperatures. It is suggested that the alloy A and B earn their creep strength from the combination of solid solution hardening and precipitation hardening. However, it is difficult to quantify each contribution to the overall creep strength. Possible reason for the different consequence of strengthening effects is discussed

Clinically relevant investigation of flattening filter-free skin dose

As flattening filter-free (FFF) photon beams become readily available for treatment delivery in techniques such as SBRT, thorough investigation of skin dose from FFF photon beams is necessary under clinically relevant conditions. Using a parallel-plate PTW Markus chamber placed in a custom water-equivalent phantom, surface-dose measurements were taken at 2 × 2, 3 × 3, 4 × 4, 6 × 6, 8 × 8, 10 × 10, 20 × 20, and 30 × 30 cm2 field sizes, at 80, 90, and 100 cm source-to-surface distances (SSDs), and with fields defined by jaws and multileaf collimator (MLC) using multiple beam energies (6X, 6XFFF, 10X, and 10XFFF). The same set of measurements was repeated with the chamber at a reference depth of 10 cm. Each surface measurement was normalized by its corresponding reference depth measurement for analysis. The FFF surface doses at 100 cm SSD were higher than flattened surface doses by 45% at 2 × 2 cm2 to 13% at 20 × 20 cm2 for 6 MV energy. These surface dose differences varied to a greater degree as energy increased, ranging from +63% at 2 × 2 cm2 to -2% at 20 × 20 cm2 for 10 MV. At small field sizes, higher energy increased FFF surface dose relative to flattened surface dose; while at larger field sizes, relative FFF surface dose was higher for lower energies. At both energies investigated, decreasing SSD caused a decrease in the ratios of FFF-to-flattened surface dose. Variability with SSD of FFF-to flattened surface dose differences increased with field size and ranged from 0% to 6%. The field size at which FFF and flattened beams gave the same skin dose increased with decreasing beam energy. Surface dose was higher with MLC fields compared to jaw fields under most conditions, with the difference reaching its maximum at a field size between 4 × 4 cm2 and 6 × 6 cm2 for a given energy and SSD. This study conveyed the magnitude of surface dose in a clinically meaningful manner by reporting results normalized to 10 cm depth dose instead of depth of dose maximum

Approaches to analysis with infinitesimals following Robinson, Nelson, and others

This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their constructive engagement with the Cantor-Dedekind postulate and the Intended Interpretation hypothesis. We highlight some applications including (1) Loeb's approach to the Lebesgue measure, (2) a radically elementary approach to the vibrating string, (3) true infinitesimal differential geometry. We explore the relation of Robinson's and related frameworks to the multiverse view as developed by Hamkins. Keywords: axiomatisations, infinitesimal, nonstandard analysis, ultraproducts, superstructure, set-theoretic foundations, multiverse, naive integers, intuitionism, soritical properties, ideal elements, protozoa

Seasonal hydrological and suspended sediment transport dynamics in proglacial streams, James Ross Island, Antarctica

Rapid warming of the Antarctic Peninsula is producing accelerated glacier mass loss and can be expected to have significant impacts on meltwater runoff regimes and proglacial fluvial activity. This study presents analysis of the hydrology and suspended sediment dynamics of two proglacial streams on James Ross Island, Antarctic Peninsula. Mean water discharge during 8 January 2015 to 18 February 2015 reached 0.19 m3 s−1 and 0.06 m3 s−1 for Bohemian Stream and Algal Stream, respectively, equivalent to specific runoff of 76 and 60 mm month−1. The daily discharge regime strongly correlated with air and ground temperatures. The effect of global radiation on proglacial water discharge was found low to negligible. Suspended sediment concentrations of Bohemian Stream were very high (up to 2927 mg L−1) due to aeolian supply and due to the high erodibility of local rocks. Total sediment yield (186 t km−2 yr−1) was high for (nearly) deglaciated catchments, but relatively low in comparison with streams draining more glaciated alpine and arctic catchments. The sediment provenance was mostly local Cretaceous marine and aeolian sediments; volcanic rocks are not an important source for suspended load. High Rb/Sr ratios for some samples suggested chemical weathering. Overall, this monitoring of proglacial hydrological and suspended sediment dynamics contributes to the dearth of such data from Antarctic environments and offers an insight to the nature of the proglacial fluvial activity, which is likely to be in a transient state with ongoing climate change

Error Mitigation Using Approximate Logic Circuits: A Comparison of Probabilistic and Evolutionary Approaches

Technology scaling poses an increasing challenge to the reliability of digital circuits. Hardware redundancy solutions, such as triple modular redundancy (TMR), produce very high area overhead, so partial redundancy is often used to reduce the overheads. Approximate logic circuits provide a general framework for optimized mitigation of errors arising from a broad class of failure mechanisms, including transient, intermittent, and permanent failures. However, generating an optimal redundant logic circuit that is able to mask the faults with the highest probability while minimizing the area overheads is a challenging problem. In this study, we propose and compare two new approaches to generate approximate logic circuits to be used in a TMR schema. The probabilistic approach approximates a circuit in a greedy manner based on a probabilistic estimation of the error. The evolutionary approach can provide radically different solutions that are hard to reach by other methods. By combining these two approaches, the solution space can be explored in depth. Experimental results demonstrate that the evolutionary approach can produce better solutions, but the probabilistic approach is close. On the other hand, these approaches provide much better scalability than other existing partial redundancy techniques.This work was supported by the Ministry of Economy and Competitiveness of Spain under project ESP2015-68245-C4-1-P, and by the Czech science foundation project GA16-17538S and the Ministry of Education, Youth and Sports of the Czech Republic from the National Programme of Sustainability (NPU II); project IT4Innovations excellence in science - LQ1602

JulianA: An automatic treatment planning platform for intensity-modulated proton therapy and its application to intra- and extracerebral neoplasms

Creating high quality treatment plans is crucial for a successful radiotherapy treatment. However, it demands substantial effort and special training for dosimetrists. Existing automated treatment planning systems typically require either an explicit prioritization of planning objectives, human-assigned objective weights, large amounts of historic plans to train an artificial intelligence or long planning times. Many of the existing auto-planning tools are difficult to extend to new planning goals. A new spot weight optimisation algorithm, called JulianA, was developed. The algorithm minimises a scalar loss function that is built only based on the prescribed dose to the tumour and organs at risk (OARs), but does not rely on historic plans. The objective weights in the loss function have default values that do not need to be changed for the patients in our dataset. The system is a versatile tool for researchers and clinicians without specialised programming skills. Extending it is as easy as adding an additional term to the loss function. JulianA was validated on a dataset of 19 patients with intra- and extracerebral neoplasms within the cranial region that had been treated at our institute. For each patient, a reference plan which was delivered to the cancer patient, was exported from our treatment database. Then JulianA created the auto plan using the same beam arrangement. The reference and auto plans were given to a blinded independent reviewer who assessed the acceptability of each plan, ranked the plans and assigned the human-/machine-made labels. The auto plans were considered acceptable in 16 out of 19 patients and at least as good as the reference plan for 11 patients. Whether a plan was crafted by a dosimetrist or JulianA was only recognised for 9 cases. The median time for the spot weight optimisation is approx. 2 min (range: 0.5 min - 7 min)