7 research outputs found
An analysis of maximum likelihood estimation method for bit synchronization and decoding of GPS L1 C/A signals
Get PDFDevelopment of a Pose and Position Estimation Algorithm with Considering the Error and Latency from the GPS and In-vehicle Sensors
No full text
Practical use of GPS-localization of Feral Pigeons Columba livia in the urban environment
No full text
Substructural Logics and Residuated Lattices -- An Introduction
No full textThis is an introductory survey of substructural logics and of residuated lattices which are algebraic structures for substructural logics. Our survey starts from sequent systems for basic substructural logics and develops the proof theory of them. Then, residuated lattices are introduced as algebraic structures for substructural logics
