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.
2016
2016
AbstractThe construction industry is often criticized for its lack of innovation. Yet, that same industry designs and builds the… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
2016
2016
It is shown that the renormalization group turns to be a symmetry group in a theory initially formulated in a space of scale… Expand
  • figure 1
2012
2012
Development is associated with structural transformation, i.e. the decline of agriculture and the rise of manufacturing and… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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
Highly Cited
2010
Highly Cited
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
Highly Cited
2009
Highly Cited
2009
Based on a method proposed by the first author, several classes of balanced Boolean functions with optimum algebraic immunity are… Expand
  • table 1
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
2006
2006
The widespread adoption of Web services as an instant means of information dissemination and various other transactions, has… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • table 1
2004
2004
Industrial temporal languages like PSL/Sugar and ForSpec have augmented the language with Regular Expressions ( REs). An RE… Expand
Highly Cited
1990
Highly Cited
1990
This book includes over 100 papers providing in-depth discussions of space policy, extraterrestrial basing, space stations and… Expand