Sciweavers

3624 search results - page 413 / 725
» Abstract Algebraic Logic
Sort
View
CDC
2010
IEEE
110views Control Systems» more  CDC 2010»
15 years 2 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 2 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
222
Voted
IJIIDS
2010
136views more  IJIIDS 2010»
15 years 2 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
172
Voted
SIAMMA
2010
105views more  SIAMMA 2010»
15 years 2 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 10 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