Sciweavers

816 search results - page 5 / 164
» Abstract Barycentric Algebras
Sort
View
CORR
2007
Springer
151views Education» more  CORR 2007»
13 years 7 months ago
The algebraicity of the lambda-calculus
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
André Hirschowitz, Marco Maggesi
CORR
2008
Springer
136views Education» more  CORR 2008»
13 years 7 months ago
Distributed Sensor Localization in Random Environments using Minimal Number of Anchor Nodes
Abstract--The paper introduces DILOC, a distributed, iterative algorithm to locate sensors (with unknown locations) in 1, with respect to a minimal number of + 1 anchors with known...
Usman A. Khan, Soummya Kar, José M. F. Mour...
EUROCAST
2009
Springer
153views Hardware» more  EUROCAST 2009»
13 years 5 months ago
Algorithm for Testing the Leibniz Algebra Structure
Abstract. Given a basis of a vector space V over a field K and a multiplication table which defines a bilinear map on V , we develop a computer program on Mathematica which checks ...
José Manuel Casas, Manuel A. Insua, Manuel ...
MOC
2002
86views more  MOC 2002»
13 years 7 months ago
An algorithm for finding all preprojective components of the Auslander-Reiten quiver
Abstract. The Auslander-Reiten quiver of a finite-dimensional associative algebra A encodes information about the indecomposable finite-dimensional representations of A and their h...
Peter Dräxler, Klara Kögerler
GC
2011
Springer
12 years 11 months ago
Automorphic Decompositions of Graphs
ties: Graded for Calculus III and substituted in Abstract Algebra • Adjunct Instructor, Tri-County Technical College (2005) (864) 646-1368 Courses Taught: Intermediate Algebra, C...
Robert A. Beeler, Robert E. Jamison