True software-defined radio cellular base stations require extremely fast data converters, which can currently not be implemented in semiconductor technology. Superconductor Niobium-based delta ADCs have shown to be able to perform this task. The problem of testing these devices is a severe task, as still very little is known about possible defects in this technology. This paper shows an approa...

We present Smart Forms, an innovative web forms technology for easy creation, maintenance, and evaluation of userfriendly web forms especially the ones that must implement complex laws, regulations, or business policies. In order to provide cognitive assistance to end users during form-filling, Smart Forms have built-in mechanisms for visual feedback, restriction of selectable values, and autom...

Hartmut Ehrig and others in [EWT83] studied normal form results for complex generating constraints imposed on basic specifications. Since then this work has been followed by subsequent results concerning normal forms for structured specifications, typically built from basic specifications using union, translation and hiding. We consider generating constraints as additional specification-buildin...

A constructive approach to differential calculus on quantum principal bundles is presented. The calculus on the bundle is built in an intrinsic manner, starting from given graded (differential) *-algebras representing horizontal forms on the bundle and differential forms on the base manifold, together with a family of antiderivations acting on horizontal forms, playing the role of covariant der...

In this paper, firstly, new Hermite-Hadamard type inequalities for harmonically convex functions in fractional integral forms are given. Secondly, Hermite-Hadamard-Fejer inequalities for harmonically convex functions in fractional integral forms are built. Finally, an integral identity and some Hermite-Hadamard-Fejer type integral inequalities for harmonically convex functions in fractional int...

The cohomology of an arithmetic group is built out of certain automorphic forms. This allows computational investigation of these automorphic forms using topological techniques. We discuss recent techniques developed for the explicit computation of the cohomology of congruence subgroups of GL2 over CM-quartic and complex cubic number fields as Hecke-modules.

A method for constructing Whitney forms is proposed, which applies to tetrahedra, hexahedra, triangular prisms, and pyramids in a similar way, and proceeds from a unique generating principle, thus unifying their presentation. The principle automatically enforces conformity (i.e., “tangential” or “normal continuity” of the elementary proxy fields) at element interfaces, and generates a complex o...