Sciweavers

1209 search results - page 121 / 242
» Universal Algebra and Computer Science
Sort
View
CC
2010
Springer
117views System Software» more  CC 2010»
15 years 20 days ago
Efficiently Certifying Non-Integer Powers
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
Erich Kaltofen, Mark Lavin

Lab
709views
17 years 3 months ago
TRAM
Transportation Research At McGill (TRAM) is a research group of researchers, faculty members and students whom their work is mainly directed towards conducting research in the tran...

Book
3864views
17 years 2 months ago
Constrained Optimization and Lagrange Multiplier Methods
"This is an excellent reference book. The author has done a great job in at least three directions. First, he expertly, systematically and with ever-present authority guides t...
Dimitri P. Bertsekas

Book
359views
17 years 1 months ago
C++ Annotations
"This document is intended for knowledgeable users of C (or any other language using a C-like grammar, like Perl or Java) who would like to know more about, or make the transi...
Frank B. Brokken
LATA
2009
Springer
15 years 10 months ago
On Extended Regular Expressions
d abstract) Benjamin Carle, Paliath Narendran and Colin Scheriff Dept. of Computer Science University at Albany–SUNY Albany, NY 12222 June 19, 2007 In this paper we extend the ...
Benjamin Carle, Paliath Narendran