Sciweavers

392 search results - page 6 / 79
» An Algebraic Representation of Calendars
Sort
View
MKM
2009
Springer
14 years 4 months ago
Finite Groups Representation Theory with Coq
Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems...
Sidi Ould Biha
EKAW
2010
Springer
13 years 7 months ago
Temporal Knowledge Acquisition and Modeling
The objectives of this paper are to present, describe, and explain the foundations and the functionalities of a temporal knowledge acquisition and modeling solution workflow, which...
Cyril Faucher, Charles Teissèdre, Jean-Yves...
BICOB
2010
Springer
14 years 2 months ago
Algebraic Theory of DNA Recombination
In this paper we investigate the structure and representation of n-ary algebras arising from DNA recombination, where n is a number of DNA segments participating in recombination. ...
Sergei R. Sverchkov
SACRYPT
2001
Springer
14 years 2 months ago
A Simple Algebraic Representation of Rijndael
We show that there is a very straightforward closed algebraic formula for the Rijndael block cipher. This formula is highly structured and far simpler then algebraic formulations o...
Niels Ferguson, Richard Schroeppel, Doug Whiting
PLDI
2011
ACM
13 years 19 days ago
Data representation synthesis
We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both declarative lts in provably correct code. In our approach, abst...
Peter Hawkins, Alex Aiken, Kathleen Fisher, Martin...