In this paper, we study several analytic and graph-theoretic properties of asymptotic expanders. We show that expanders can be characterised in terms their uniform Roe algebra. Moreover, use to provide uncountably many new counterexamples the coarse Baum–Connes conjecture. Finally, vertex-transitive are actually particular, gives a C⁎-algebraic characterisation for graphs. achieve these results...

The use of bottom-up generated lemmas is an appropriate method for achieving an eeective redundancy control mechanism for connection tableau search procedures as well as for reducing proof lengths. An unbounded use of lemmas, however, usually does not lead to improvements of the search process and can even complicate the search. In order to identify lemmas which are actually relevant for the pr...

With the upcoming 10th Micro Total Analysis Systems (mTAS) conference, it is appropriate to look back at the nine previous meetings and see how the conference and associated research fields have evolved. The original concept of mTAS is reviewed in the context of the former sensors and actuators and analytical chemistry concepts. Its development over the past 12 years is discussed by taking exam...

We identify a general property of concrete domains that is sufficient for proving decidability of DLs equipped with them and GCIs. We show that some useful concrete domains, such as a temporal one based on the Allen relations and a spatial one based on the RCC-8 relations, have this property. Then, we present a tableau algorithm for reasoning in DLs equipped with such concrete domains.

In many questions of signal processing, it is important to use the concepts of instantaneous amplitude or phase of signals. This is especially the case in communication systems with amplitude or frequency modulation. These concepts are often introduced empirically. However, it is well known that the correct approach for this purpose is to use the concept of analytic signal. Starting from this p...

Based on the relevant statistical data of 2008,taking regional technological innovation ability of Changzhutan “3+5” urban agglomeration as a study object , constructing the objective and comprehensive index system of regional technological innovation ability, combining Analytic Hierarchy Process(AHP) and fuzzy, this paper conducts a comprehensive evaluation of the technological innovation abil...

We propose a novel sequence alignment algorithm for recognizing handwriting gestures by a camera. In the proposed method, an input image sequence is aligned to the reference sequences by phasesynchronization of analytic signals which are transformed from original feature values. A cumulative distance is calculated simultaneously with the alignment process, and then used for the classification. ...