.text .global scalar_prod .type scalar_prod, @function .align 2 scalar_prod: stfs 2, -8(1) ; spill floating-point regs to stack memory stfs 1, -4(1) ; spill FPR1 stfs 4, -16(1) ; spill FPR4 stfs 3, -12(1) ; .... stfs 6, -24(1) stfs 5, -20(1) lwz 3, -8(1) ; load spilled FPR2 from stack to GPR3 lwz 4, -4(1) ; load spilled FPR1 from stack to GPR4 lwz 5, -16(1) ; .... lwz 6, -12(1) udi0fcm 3, 4, 3 ...

The permeability or crossover characteristics of a typical perfluorosulfonic acid base type membrane are used for the temporal and spatial estimations of nitrogen concentration along the anode channels of a polymer electrolyte membrane fuel cell stack. The predicted nitrogen accumulation is then used to estimate the impact of local fuel starvation on stack voltage through the notion of apparent...

In this study cross section geometry and material of gasket in proton exchange membrane (PEM) fuel cells have been investigated to achieve optimized fuel cell in terms of energy efficiency. The role of gaskets in fuel cells is sealing of gas flow channels and preventing from combination of them. In a PEM stack, gasket with approved geometry that suffers more stress has better sealing. For this ...

We prove that every algebraic stack, locally of finite type over an algebraically closed field with affine stabilizers, is étale-locally a quotient stack in a neighborhood of a point with a linearly reductive stabilizer group. The proof uses an equivariant version of Artin’s algebraization theorem proved in the appendix. We provide numerous applications of the main theorems.

a typical iranian carbonate matrix block surrounded by an open fracture was modeled in order to understand the fracture-matrix interaction and realize how to model the interaction best. the modeling was carried out by using a fine-scaled eclipse model in the single porosity mode (the fractures were explicitly modeled). the model was extended to a stack of 6 matrix blocks to understand block-to-...

Robert Weida and Diane Lit-man. Terminological reasoning with constraint networks and an application to plan recognition. In Proc. (a)g where S { called the Step Interpretation { is a function associating a newly generated function to each interval introduced by a decomposition operator. The representation of the Double-Stack plan in the extended language is: Double-Stack : = 3(x y) (x d ])(y d...

Clustered Regularly Interspaced Short Palindromic Repeats (CRISPR)-CRISPR-associated (Cas) systems of type I use a Cas ribonucleoprotein complex for antiviral defense (Cascade) to mediate the targeting and degradation of foreign DNA. To address molecular features of the archaeal type I-A Cascade interference mechanism, we established the in vitro assembly of the Thermoproteus tenax Cascade from...