The distinction of the semantic spaces of elements and types is common practice in practically all type systems. A few type systems, including some early ones, have been proposed whose semantic space has functions only, i.e., depending on the context functions may play element roles as well as type roles. All of these systems are either lacking expressive power, in particular, polymorphism, or they violate uniqueness of types. This work presents for the first time a function-based type system in which typing is a relation between functions and which is using an ordering of functions to introduce bounded polymorphism. The ordering is based on an infinite set of top objects, itself strictly linearly ordered, each of which characterizes a certain function space. These top objects are predicative in the sense that a function using some top object cannot be smaller than this object. The interpretation of proposition as types and elements as proofs remains valid and is extended by viewing the ordering between types as logical implication. The proposed system can be shown to satisfy confluence and subject reduction. Furthermore one can show that the ordering is a partial order, every set of expressions has a maximal element, and there is a (unique) minimal, logically strongest, type among all types of an element. The latter result implies an alternative notion of uniqueness of types. Strong normalisation is the deepest property and its proof is based on a well-founded relation defined over a subsystem of expressions without eliminators. Semantic abstraction of the objects involved in typing, i.e., to use functions in element as well as type roles in a relational setting, is the major contribution of function-based type systems. This work shows that dependent products are not necessary for defining type systems with bounded polymorphism, rather it presents a consistent system with bounded polymorphism and minimal types where typing is a relation between partially ordered functions.

The electrical state of the interface between a kaolinite-dominated clay sample and aqueous electrolyte solutions was characterized using low-frequency conductance measurements. From these measurements, the ζ-potential and surface conductivity contributions from the diffuse and non-diffuse parts of the electrical double layer were obtained. The suspensions were studied as a function of volume fraction, electrolyte concentration, and electrolyte type (LiCl, NaCl, KCl, CsCl, CaCl2, SrCl2, and BaCl2). Interpretation in terms of the surface conductance revealed that a substantial part of the surface conductivity originates in the inner part of the double layer. Electrokinetic potentials and related diffuse double layer properties are highly dependent on the nature of monovalent counterions, whereas divalent counterions do not show such clear dependencies. Further presented was a simple way to estimate the order of magnitude of counterion mobilities in the inner part of the electrical double layer. All counterions were shown to have a substantial mobility in the inner part of the double layer. Finally, we suggest that the apparent ion-specific effects observed in the diffuse part of the double layer are at least in part related to the finite size of the counterions. Our findings are relevant to scenarios where fluid flow in porous media is accompanied by charged species transport, e.g., in electro-osmotic remediation, spectral-induced polarization, or permeability measurements.

Commercially available metal Laser Powder Bed Fusion (L-PBF) systems are steadily evolving. Thus, design limitations narrow and the diversity of achievable geometries widens. This progress leads researchers to create innovative benchmarks to understand the new system capabilities. Thereby, designers can update their knowledge base in design for additive manufacturing (DfAM). To date, there are plenty of geometrical benchmarks that seek to develop generic test artefacts. Still, they are often complex to measure, and the information they deliver may not be relevant to some designers. This article proposes a geometrical benchmarking approach for metal L-PBF systems based on the designer needs. Furthermore, Geometric Dimensioning and Tolerancing (GD&T) characteristics enhance the approach. A practical use-case is presented, consisting of developing, manufacturing, and measuring a meaningful and straightforward geometric test artefact. Moreover, optical measuring systems are used to create a tailored uncertainty map for benchmarking two different L-PBF systems.

Especially in the Laser Powder Bed Fusion (L-PBF) technology for metals, current manufacturing systems require the use of support structure to withstand recoater forces and lower thermal induced stresses. These support structures set limitations on the design freedom and affect the surface quality, part cost and lead-time in an undesirable manner. Complex parts, which were not possible with conventional manufacturing methods, can be produced without these limitations. While some companies claim to print parts with horizontal overhangs without the use of support structure, academic research seems to deal with these limitations by defining design guidelines rather than eliminating them. In order to highlight the discrepancies between academia and industry, a structured review is presented. As result, severe differences in knowledge were discovered, which might emerge from the use of unconstrained cutting-edge systems in industry. Eventually support-free L-PBF is not yet fully developed, but the use of support structure can be drastically reduced by optimizing the build process.

Approximately 100 years ago, Bleuler famously declared that “Sensory response to external stimulus is quite normal” in schizophrenia, followed however by the cryptic statement: “Busch and Kraepelin have found in perception experiment (using the shutter and revolving drum apparatus) that schizophrenics show many more errors and particularly omissions than do the healthy … Using accurate apparatus, we were unable to substantiate these findings”.

We develop a novel approach for pricing cyber insurance contracts. The considered cyber threats, such as viruses and worms, diffuse in a structured data network. The spread of the cyber infection is modeled by an interacting Markov chain. Conditional on the underlying infection, the occurrence and size of claims are described by a marked point process. We introduce and analyze a new polynomial approximation of claims together with a mean-field approach that allows to compute aggregate expected losses and prices of cyber insurance. Numerical case studies demonstrate the impact of the network topology and indicate that higher order approximations are indispensable for the analysis of non-linear claims.

Si is a promising anode material for Li storage due to its high theoretical specific capacity surpassing 4200 Ah/kg. Si based anodes exhibit an extreme instability upon electrochemical incorporation of Li given the accompanied large volume expansion of about 400%. We show innovative anode assemblies composed of a forest of free standing Si nanowires conformally integrated on carbon meshes. The morphology of silicon nanowires allows a volume expansion and compression lowering strain incorporation. In this paper, we demonstrate the utilization of SiNW grown on top of a current collector made of a carbon fiber network. This leads to an increase of stability of Si with a remaining effective capacitance above 2000 Ah/kg(Si) after 225 full charge/discharge cycles. This is significantly better compared to previous results shown in literature. The anodes are fabricated by a simple and inexpensive method promising for a transfer into industrial integration.

Reconfigurable nanowire transistors provide the operation of unipolar p-type and n-type FETs freely selectable within a single device. The enhanced functionality is enabled by controlling the currents through two individually gated Schottky junctions. Here we analyze the impact of the Schottky barrier height on the symmetry of Silicon nanowire RFET transfer characteristics and their performance within circuits. Prospective simulations are carried out, indicating that germanium nanowire based RFETs of the same dimensions will show a distinctly increased performance, making them a promising material solution for future reconfigurable electronics.

Aims – To assess the quality of communication generally two procedures are used: one defines categories of utterances and counts their frequency, the other uses global observer ratings. We investigated whether a sequence analysis of utterances yields results which more precisely reflect the process of a conversation. Methods – We re-examined data from a randomised controlled intervention study in which residents' interviews with simulated patients were analysed with the Maastricht History and Advice Checklist (MAAS-R) and the Roter Interaction Analysis System (RIAS). Using the U-file of the RIAS we studied the effect of different types of physician questions (open, closed questions, facilitators, other physician actions) on the length of uninterrupted patients' speech and content of utterances. We investigated also whether reciprocity indices improve after a communication skills training, and whether they correlate with global scores form MAAS-R. Results – Patients respond to a closed question with a mean of 1.78 (± 1.49) utterances as compared to 2.75 (± 2.72) utterances after an open question. The likelihood of a concern was more than lOfold higher after an open question compared to closed questions. Reciprocal sequences make up less than 2 percent of the conversation, Still, they correlate with global items form MAAS-R. The 'empathy index' improves after the training.

Declararation of Interest: preparation of the manuscript was supported by a grant from OncoSuisse.

Over the past two decades, nanoindentation has been the most versatile method for mechanical testing at small length scales. Because of large strain gradients, it does not allow for a straightforward identification of material parameters such as yield and tensile strength, though. This represents a major drawback and has led to the development of alternative microscale testing techniques with microcompression as one of the most popular ones today. In this research, the influence of the realistic sample configuration and unavoidable variations in the experimental conditions is studied systematically by combing in-situ microcompression experiments on ultrafine-grained nickel and finite element simulations. It will be demonstrated that neither qualitative let alone quantitative analyses are as straightforward as they may appear, which diminishes the apparent advantages of microcompression testing.

Initiation of pathways that lead to proliferation and chemoresistance by Toll-like receptors (TLRs) is an important factor in cancer progression. Here, we show the response of human cancer cells to TLR signaling inevitably linked to tumor biology. The approach is based on tailored multifunctional magnetic nanoparticles equipped with pathogen-derived ligands (CpG) functioning as TLR agonists (molecular component) to investigate the impact of transcription factor immune activation on human cancer cells. Magnetic nanoparticles (MnO and bifunctional Au-MnO) particles were covalently coated with a multifunctional polymer, displaying no cytotoxicity, to being able to enter cells while carrying foreign DNA (unmethylated CpG) to recognize intracellular TLR 9. Both, the particle and the nucleic acid are tagged with fluorescent markers for simultaneous visualization inside the cell. Apart from optical imaging, the magnetism of the particles also allows magnetic resonance imaging of organisms.

Via metal organic deposition (MOD) sapphire substrates were multiple dip-coated with a molecular dispersive 8 mol% Y2O3 doped ZrO2 (8YSZ) sol to prepare dense, crack-free thin films. The thin films were consecutively exposed to a tempering program with several rapid thermal annealing (RTA) steps and a final dwell temperature between 500 °C and 1400 °C for 24 h. Grain growth, phase, stoichiometry and macroscopic density of the thin films were analyzed by XRD and SEM. Grain sizes ranged between a few nanometers in diameter at 500 °C and several hundreds of nanometers at 1400 °C.

Phoma medicaginis was isolated as the dominant endophyte from surface-sterilized shoots of Medicago sativa and M. lupulina growing outdoors. Plants were either symptomless or showed signs of infection in the shape of limited lesions which sometimes contained melanized pycnidial initials. Rapid colonization of host tissue and sporulation were observed within 9 d on dead plant material upon incubation in a moist chamber. Such colonized material, but not freshly harvested living tissue, contained brefeldin A (1.7 μg g−1D.W.). This toxin was also produced in pure culture (20 mg l−1) and in artificially inoculated autoclaved M. sativa stems (3 mg g−1D.W.=920 μg ml−1). The latter concentration of brefeldin A should be similar to that produced within a fruiting lesion of P. medicaginis and suppressed spore germination and growth of nine of 11 common phylloplane fungi tested. This metabolite may thus have a function in substrate defence after the switch from the endophytic to the saprotrophic period in the life-cycle of P. medicaginis following the death of infected host tissue.