Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Automata construction

In automata theory, automata construction is an important mathematical technique used to demonstrate the existence of an automaton with a certain… Expand
Wikipedia

Papers overview

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
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
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
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
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
  • table 1
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
  • figure 1
  • figure 2
  • figure 3
  • figure 4
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
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
1992
1992
 
Is this relevant?