The trace subshift of a cellular automaton is the subshift of all possible columns that may appear in a space-time diagram. We prove the undecidability of a rather large class of problems over trace subshifts of cellular automata.

Given an irreducible representation of a group G, we show that all the covariant positive operator valued measures based on G/Z, where Z is a central subgroup, are described by trace class, trace one positive operators.

Fuzzy trace theory explains why children do not have to use rules of logic or premise information to infer transitive relationships. Instead, memory of the premises and performance on transitivity tasks is explained by a verbatim ability and a gist ability. Until recently, the processes involved in transitive reasoning and memory of the premises were studied by comparing mean performance in fix...

abstract aims: the increasing usage of antibiotics can cause resistance to the treatment of infections, which can caused by bacteria, e.g. pseudomonas aeruginosa. the aim of this study was to trace the class i, ii and iii integrons in isolates of p. aeruginosa of nosocomial infection and determining the antibiotic resistance pattern of the bacteria. instrument & methods: in this cross-sectional...

We describe the convex set of the eigenvalues of hermitian matrices which are majorized by sum of m hermitian matrices with prescribed eigenvalues. We extend our characterization to selfadjoint nonnegative (definite) compact operators on a separable Hilbert space. We give necessary and sufficient conditions on the eigenvalue sequence of a selfadjoint nonnegative compact operator of trace class ...

This work presents a parametrized family of divergences, namely Alpha-Beta LogDeterminant (Log-Det) divergences, between positive definite unitized trace class operators on a Hilbert space. This is a generalization of the Alpha-Beta Log-Determinant divergences between symmetric, positive definite matrices to the infinite-dimensional setting. The family of Alpha-Beta Log-Det divergences is highl...

This paper studies the relationship between the singular trace of a weak trace class operator and the asymptotic behaviour of its ζ-function at its leading singularity. For Dixmier measurable and universally measurable operators we describe their measurability in terms of the behaviour of the ζ-function. We use recent advances in singular trace theory and a new approach based on Tauberian theor...

We deene a new technique useful in identifying a subclass of regular languages deened on a free partially commutative monoid (regular trace languages), using equivalence and membership queries. Our algorithm extends an algorithm deened by Dana Angluin in 1987 to learn DFA's. The words of a trace language can be seen as equivalence classes of strings. We show how to extract, from a given equival...

ion of event logs – Example Event Log Abstraction | Thomas Baier | 27 August 2013 3 Incident logging Incident classification & categorization Initial diagnosis Functional escalation Investigation and diagnosis Resolution and recovery Incident closure x x Case 1: Group, Classification, Details,..., Details,.............................................., Document solution, ..........................

We present a generic framework for the automatic and modular inference of sound class invariants for class-based object-oriented languages.We define a trace-based semantics for classeswhich considers all possible orderings, with all possible arguments, of invocations of all the methods of a class. We prove a correspondence theorem between such a semantics and a generic, trace-based, semantics f...