Grace is a free WYSIWYG 2D graph plotting tool, for Unix-like operating systems. The package name stands for "GRaphing, Advanced Computation andâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- Takanori Yasuda, Xavier Dahan, Kouichi Sakurai
- IACR Cryptology ePrint Archive
- 2015

The encryption scheme NTRU is designed over a quotient ring of a polynomial ring. Basically, if the ring is changed to any otherâ€¦Â (More)

Is this relevant?

2007

2007

This article presents an agent-based intelligent environment (GERAmIGeriatric Ambient Intelligence) developed for facilitatingâ€¦Â (More)

Is this relevant?

Highly Cited

2004

Highly Cited

2004

- Kati M Vilonen
- 2004

In this paper we give a geometric version of the Satake isomorphism [Sat]. As such, it can be viewed as a first step in theâ€¦Â (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- Alessio Lomuscio, Michael Wooldridge, Nicholas R. Jennings
- AgentLink
- 2001

In the last few yearswe havewitnessed a surge of business-to-consumer and business-to-business commerce operated on the Internetâ€¦Â (More)

Is this relevant?

1999

1999

- Jonathan R. Beck
- 1999

The canonical basis for finite type quantized universal enveloping algebras was introduced in [L3]. The principal technique isâ€¦Â (More)

Is this relevant?

1996

1996

- JosÃ© M Figueroa-Oâ€™Farrill, Takashi Kimura, Arkady Vaintrob
- 1996

We compute the universal weight system for Vassiliev invariants coming from the Lie superalgebra gl(1|1) applying theâ€¦Â (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Lawrence C. Paulson
- CADE
- 1994

1 I n t r o d u c t i o n Several theorem provers provide commands for formalizing recursive data structures, like lists andâ€¦Â (More)

Is this relevant?

1994

1994

This paper develops a taxonomy of qualitative spatial relations for pairs of regions, which are all logically de ned from twoâ€¦Â (More)

Is this relevant?

1992

1992

- Huy Khanh Phan, Christian Boitet
- COLING
- 1992

R~sum~ Pour "multilingualiser" (et non simplement "localiser") Gif, un 6diteur de documents structures, nous avons d6fini unâ€¦Â (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- Daniel Lazard
- J. Symb. Comput.
- 1992

It is shown that a good output for a solver of algebraic systems of dimension zero consists of a family of "triangular sets ofâ€¦Â (More)

Is this relevant?