In the current Modelica specification, the only admitted external entities are memory-less functions. We propose an extension to allow parts of the model containing internal states, conditioning and discrete dynamics, to be definable as external functions. This opens the door to separate compilation of Modelica code. For this purpose, we introduce the language construct switchwhen and the type ...

Self-dual maximum distance separable codes (self-dual MDS codes) and self-dual near (NMDS) are very important in coding theory practice. Thus, it is interesting to construct or NMDS codes. In this paper, we not only give parity-check matrices of dual twisted generalized Reed–Solomon (TGRS but also present a sufficient necessary condition TGRS over $${\mathbb {F}}_q$$ with q an odd prime. Moreov...

We construct special conic configurations from some point which are the singularities of dual a quartic curve.

Using a U -duality symmetry of type II compactification on T 4 represented by triality action on the T -duality group, and applying the adiabatic argument we construct dual pairs of type II compactifications in lower dimensions. The simplicity of this construction makes it an ideal set up for testing various conjectures about string dualities. In some of these models the type II string has a pe...

In previous studies, we demonstrated in mice and prairie dogs that simultaneous administration of two recombinant raccoon poxviruses (rRCN) expressing Yersinia pestis antigens (F1 and V307-a truncated version of the V protein) provided superior protection against plague challenge compared to individual single antigen constructs. To reduce costs of vaccine production and facilitate implementatio...

We construct a duality theory for (a, k) regularized resolvents, extending some of the known theorems for dual semigroups. We present several classes of spaces, which in the semigroup case correspond to the Favard class and the sun-dual space. By duality arguments spectral inclusions theorems for regularized resolvents are also obtained.

We construct dual Type I’ string descriptions to five dimensional supersymmetric fixed points with ENf+1 global symmetry. The background is obtained as the near horizon geometry of the D4-D8 brane system in massive Type IIA supergravity. We use the dual description to deduce some properties of the fixed points.

We construct two families of distance-regular graphs, namely the subgraph of the dual polar graph of type B3(q) induced on the vertices far from a fixed point, and the subgraph of the dual polar graph of type D4(q) induced on the vertices far from a fixed edge. The latter is the extended bipartite double of the former.

A code is called isodual if it is equivalent to its dual code, and a lattice is called isodual if it is isometric to its dual lattice. In this note, we investigate isodual codes over Z2k . These codes give rise to isodual lattices; in particular, we construct a 22-dimensional isodual lattice with minimum norm 3 and kissing number 2464.

It is shown that a series of positive terms that converges on all sets of null density should be convergent. Using this result we construct examples of complete topological vector spaces that are proper subspaces of a Banach space, but whose dual spaces coincide with the dual space of the Banach space.