Sciweavers

3145 search results - page 256 / 629
» Algebraic Linear Orderings
Sort
View
AAECC
1993
Springer
94views Algorithms» more  AAECC 1993»
15 years 11 months ago
Relations Among Lie Formal Series and Construction of Symplectic Integrators
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
Pierre-Vincent Koseleff
COCOON
2006
Springer
15 years 10 months ago
Varieties Generated by Certain Models of Reversible Finite Automata
Reversible finite automata with halting states (RFA) were first considered by Ambainis and Freivalds to facilitate the research of KondacsWatrous quantum finite automata. In this ...
Marats Golovkins, Jean-Eric Pin
ADBIS
2007
Springer
130views Database» more  ADBIS 2007»
15 years 8 months ago
Graphical Querying of Multidimensional Databases
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...
Franck Ravat, Olivier Teste, Ronan Tournier, Gille...
DLT
2004
15 years 8 months ago
Recognizable Sets of Graphs, Hypergraphs and Relational Structures: A Survey
New results on the recognizability of sets of finite graphs, hypergraphs and relational structures are presented. The general framework of this research which associates tightly a...
Bruno Courcelle
CORR
2008
Springer
172views Education» more  CORR 2008»
15 years 6 months ago
Lecture notes on the lambda calculus
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007. Topics c...
Peter Selinger