منابع مشابه
On circulant weighing matrices
Algebraic techniques are employed to obtain necessary conditions for the existence of certain circulant weighing matrices. As an application we rule out the existence of many circulant weighing matrices. We study orders n = 8 +8+1, for 10 ~ 8 ~ 25. These orders correspond to the number of points in a projective plane of order 8.
متن کاملA syntactic correspondence between context-sensitive calculi and abstract machines
We present a systematic construction of environment-based abstract machines from context-sensitive calculi of explicit substitutions, and we illustrate it with a series of calculi and machines: Krivine’s machine with call/cc, the λμ-calculus, delimited continuations, i/o, stack inspection, proper tailrecursion, and lazy evaluation. Most of the machines already exist but have been obtained indep...
متن کاملOn correspondence
of this paper, see Modelling high-temperature superconductors: Correspondence at bay? In J. Cachro & K. Kijania-Placek (Eds.), Volume of abstracts, 11th International Congress of Logic, Although with slightly different emphasis, Post (p. 17), Kamminga (p. 80), and Saunders (p. 307) seem to hold a similar view. For an alternative account which explains the various relations which hold between su...
متن کاملOn circulant and two-circulant weighing matrices
We employ theoretical and computational techniques to construct new weighing matrices constructed from two circulants. In particular, we construct W (148, 144), W (152, 144), W (156, 144) which are listed as open in the second edition of the Handbook of Combinatorial Designs. We also fill a missing entry in Strassler’s table with answer ”YES”, by constructing a circulant weighing matrix of orde...
متن کاملSome New Results on Circulant Weighing Matrices
We obtain a few structural theorems for circulant weighing matrices whose weight is the square of a prime number. Our results provide new schemes to search for these objects. We also establish the existence status of several previously open cases of circulant weighing matrices. More specifically we show their nonexistence for the parameter pairs (n, k) (here n is the order of the matrix and k i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Minutes of the Proceedings of the Institution of Civil Engineers
سال: 1892
ISSN: 1753-7843
DOI: 10.1680/imotp.1892.20189