Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

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

2013

2013

We present a method to study the equivalence at the semiclassical level of the Green–Schwarz and pure spinor formulations of… Expand

Is this relevant?

2010

2010

This paper introduces a new time-domain approach for compact macromodeling of multiport high-speed circuits with long delays… Expand

Is this relevant?

2010

2010

In this paper we present a computer assisted proof of the correctness of a partial derivative automata construction from a… Expand

Is this relevant?

2010

2010

We provide a short proof of a recent result of Elkin in which large subsets of \(\{1,\ldots,N\}\) free of three-term progressions… Expand

Is this relevant?

2008

2008

One of the key issues in e-learning environments is the possibility of creating and evaluating exercises. However, the lack of… Expand

Is this relevant?

Highly Cited

2007

Highly Cited

2007

Based on a method proposed by the first author, several classes of balanced Boolean functions with optimum algebraic immunity are… Expand

Is this relevant?

2004

2004

Industrial temporal languages like PSL/Sugar and ForSpec have augmented the language with Regular Expressions ( REs). An RE… Expand

Is this relevant?

2003

2003

Advancement in the utilisation of computers has, in recent years, become a major, even dominating research and development target… Expand

Is this relevant?

1995

1995

The system of providing for retirement income in Australia has undergone marked changes over the past two decades, particularly… Expand

Is this relevant?

1992