Sciweavers

3624 search results - page 413 / 725
» Abstract Algebraic Logic
Sort
View
CDC
2010
IEEE
110views Control Systems» more  CDC 2010»
15 years 1 months ago
Multi-step-ahead multivariate predictors: A comparative analysis
Abstract-- The focus of this article is to undertake a comparative analysis of multi-step-ahead linear multivariate predictors. The approach considered for the estimation will be b...
Marzia Cescon, Rolf Johansson
JSYML
2011
89views more  JSYML 2011»
15 years 1 months ago
Iterative differential Galois theory in positive characteristic: A model theoretic approach
Abstract. This paper introduces a natural extension of Kolchin’s differential Galois theory to positive characteristic iterative differential fields, generalizing to the non-li...
Javier Moreno
IJIIDS
2010
136views more  IJIIDS 2010»
15 years 1 months ago
Kleisli category and database mappings
Abstract. This paper presents the semantics of database mappings in the relational database (DB) category, based on the power-view monad T and monadic algebras. The semantics can b...
Zoran Majkic, Bhanu Prasad
SIAMMA
2010
105views more  SIAMMA 2010»
15 years 1 months ago
Free Cooling and High-Energy Tails of Granular Gases with Variable Restitution Coefficient
ABSTRACT. We prove the so-called generalized Haff's law yielding the optimal algebraic cooling rate of the temperature of a granular gas described by the homogeneous Boltzmann...
Ricardo J. Alonso, Bertrand Lods
SAC
2011
ACM
14 years 9 months ago
Spatial network modeling for databases
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
Virupaksha Kanjilal, Markus Schneider