We present a new compositional approach to game theory (CGT) based upon Arrows, concept originally from functional programming, closely related Tambara modules, and operators build Arrows old. model equilibria as bimodule over an Arrow define operator such existing Arrow. also strategies graded which builds by taking the colimit of A final bimodule. use this CGT show how known previously unknow...

Rare-earth elements like neodymium, terbium and dysprosium are crucial to the performance of permanent magnets used in various green-energy technologies hybrid or electric cars. To address supply risk those elements, we applied machine-learning techniques design magnetic materials with reduced neodymium content without dysprosium. However, magnet intended be motors should preserved. We develope...

We report on the absence of strain relaxation mechanism in Al0.6Ga0.4N epilayers grown (0001) AlN substrates for thickness as large 3.5 μm, three-orders magnitude beyond Matthews–Blakeslee critical formation misfit dislocations (MDs). A steady-state compressive stress 3–4 GPa was observed throughout AlGaN growth leading to a lattice bow (a radius curvature 0.5 m−1) thickest sample. Despite mism...

τ -confluence is a reduction technique used in enumerative model-checking of labeled transition systems to avoid the state explosion problem. In this paper, we propose a new on-the-fly algorithm to calculate partial τ -confluence, and propose new techniques to do so on large systems in a compositional manner. Using information inherent in the way a large system is composed of smaller systems, w...

In the present study, a nanoscale Al/CuO thermite system is patterned using multi-material aerosol jet printing technology. Morphological analysis of samples manufactured with different configurations reveal strong effect printhead design on microstructure and degree mixing between constituent materials, providing insight fundamental mechanisms inline aerosol-phase during printing. The high-res...

We propose a general definition of composition operator on Markov Decision Processes with rewards (MDPs) and identify a well behaved class of operators, called safe, that are guaranteed to be nonextensive w.r.t. the bisimilarity pseudometrics of Ferns et al. [10], which measure behavioral similarities between MDPs. For MDPs built using safe/non-extensive operators, we present the first method t...

We present a new module system for Scheme that supports a high degree of imple mentation reuse via module composition The module system encourages breaking down a program into the smallest possible individually meaningful modules and recomposing them using a powerful set of adaptation and combination mechanisms Even hierarchical nesting is achieved via a com position operation This module syste...

Mixed-mode dynamic crack growth behavior in a compositionally graded particle filled polymer is studied experimentally and computationally. Beams with single edge cracks initially aligned in the direction of the compositional gradient and subjected to one-point eccentric impact loading are examined. Optical interferometry along with high-speed photography is used to measure surface deformations...

Due to the increased production of human DNA sequence, it is now possible to explore and understand human genomic organization at the sequence level. In particular, we have studied one of the major organizational components of vertebrate genome organization previously described as isochores (Bernardi, 1993), which are compositionally homogeneous DNA segments based on G+C content. We have examin...