Dieser Beitrag möchte eine Diskussion über die Konkretisierung von technischen Anforderungen an e-Voting-Systemen für staatliche Volksvertreter-Wahlen anstoßen. Das jetzige Wahlsystem der Bundesrepublik Deutschland funktioniert hervorragend: Es basiert vor allem auf einer Dezentralisierung und einer vollständigen Transparenz für den Bürger. Die Glaubwürdigkeit der korrekten Durchführung der Wah...

This paper considers Henkin’s proof of completeness of classical first-order logic and extends its scope to the realm of algebraizable logics in the sense of Blok and Pigozzi. Given a propositional logic L (for which we only need to assume that it has an algebraic semantics L and a suitable disjunction) we axiomatize two natural firstorder extensions L∀ and L∀ and prove that the former is compl...

We infer symbolic rules for deciding the awareness state of a driver on the basis of physiological signals traced on his body through non invasive techniques. We use a standard device for collecting signals and a three-level procedure for: 1) extracting features from them, 2) computing Boolean independent components of the features acting as propositional variables, and 3) inferring Boolean nor...

We investigate different concepts related to observability of linear constant coefficient differential-algebraic equations. Regularity, which, loosely speaking, guarantees existence and uniqueness of solutions for any inhomogeneity, is not required in this article. Concepts like impulse observability, observability at infinity, behavioral observability, strong and complete observability are des...

We extend the notions of correlation-immune functions and resilient functions to functions over any finite alphabet. A previous result due to Gopalakrishnan and Stinson is generalized as we give an orthogonal array characterization, a Fourier transform and a matrix characterization for correlation-immune and resilient functions over any finite alphabet endowed with the structure of an Abelian g...

Boolean functions play an important role in many symmetric cryptosystems and are crucial for their security. It is important to design boolean functions with reliable cryptographic properties such as balancedness and nonlinearity. Most of these properties are based on specific structures such as Möbius transform and Algebraic Normal Form. In this paper, we introduce the notion of Dirichlet prod...

We analyze the complexity of ascendant sequences in locally nilpotent groups, showing that if G is a computable locally nilpotent group and x0; x1; : : : ; xN 2 G, N 2 N, then one can always …nd a uniformly computably enumerable (i.e. uniformly 1) ascendant sequence of order type ! + 1 of subgroups in G beginning with hx0; x1; : : : ; xN iG, the subgroup generated by x0; x1; : : : ; xN in G. Th...

Algebraic substantivalism, as an interpretation of general relativity formulated in the Einstein algebra formalism, avoids the hole argument against manifold substantivalism. In this essay, I argue that this claim is well-founded. I first identify the hole argument as an argument against a specific form of semantic realism with respect to spacetime. I then consider algebraic substantivalism as ...

We find an infinite dimensional free algebra which lives at large N in any SU(N)-invariant action or Hamiltonian theory of bosonic matrices. The natural basis of this algebra is a free-algebraic generalization of Chebyshev polynomials and the dual basis is closely related to the planar connected parts. This leads to a number of free-algebraic forms of the master field including an algebraic der...

Let R be an algebraic curvature tensor for a non-degenerate inner product of signature (p, q) where q ≥ 5. If π is a spacelike 2 plane, let R(π) be the associated skewsymmetric curvature operator. We classify the algebraic curvature tensors so R(·) has constant rank 2 and show these are geometrically realizable by hypersurfaces in flat spaces. We also classify the Ivanov-Petrova algebraic curva...