Extension of components should be consistent in the sense that the extending component does not introduce any unexpected behaviour. We formulate requirements which allow consistent extension of components in presence of explicit invariants. We concentrate on the issue of extension consistency with forwarding as the reuse mechanism, and discuss the additional problems which require solution when...

We present an explicit method to produce upper bounds for the dimension of the moduli spaces of complete integral Gorenstein curves with prescribed symmetric Weierstrass semigroups.

In the context of holography, entanglement entropy can be studied either by i) extremal surfaces or ii) bit threads, i.e., divergenceless vector fields with a norm bound set Planck length. this paper we develop new method for metric reconstruction based on latter approach and show advantages over existing ones. We start studying general linear perturbations around vacuum state. Generic thread c...

To suppress methanol crossover in direct methanol fuel cells DMFCs , a Nafion-Bi2V0.75Sb0.25O5.4 composite membrane was prepared by recast method. Oxygen-ion conductive Bi2V0.75Sb0.25O5.4 powders were highly dispersed in a Nafion 117 membrane to physically block methanol crossover and/or chemically oxidize the methanol, which was confirmed by the difference in the methanol diffusion coefficient...

We recast parts of decision theory in terms of channel theory concentrating on qualitative issues. Channel theory allows one to move between model theoretic and language theoretic notions as is necessary for an adequate covering. Doing so clarifies decision theory and presents the opportunity to investigate alternative formulations. As an example, we take some of Savage’s notions of decision th...

The effort–motion method, which describes the dynamics of openand closed-chain topologies of rigid bodies interconnected with revolute and prismatic pairs, is interpreted geometrically. Systems are identified for which the simultaneous control of forces and velocities is desirable, and a representative open-chain system is selected for use in the ensuing analysis. Gauge invariant transformation...

Context: The gas density structure of the cold molecular phase interstellar medium is main controller star formation. Aims: A theoretical framework proposed to describe structural content field in isothermal supersonic turbulence. Methods: It makes use correlation and functions indicator defined for different iso-density values. relations between these two-point statistics geometrical features ...

Many studies have examined the effect of different approaches to teaching grammar including explicit and implicit instruction. However, research in this area is limited in a number of respects. One such limitation pertains to the issue of construct validity of the measures, i.e. the knowledge developed through implicit instruction has been measured through instruments which favor th...