5019 search results - page 16 / 1004 » Computing in Quotient Groups |
105
click to vote
ANTS
2006
Springer
15 years 5 months ago
2006
Springer
We show that the locally free class group of an order in a semisimple algebra over a number field is isomorphic to a certain ray class group. This description is then used to prese...
GROUP
1993
ACM
15 years 6 months ago
1993
ACM
187
click to vote
COMPUTING
2011
14 years 9 months ago
2011
Abstract Cloud computing could offer good business models for small CSE (Computational Science and Engineering) research groups because these groups often do not have enough human ...
110
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
118
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...