Skip to search formSkip to main contentSemantic Scholar

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

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

2019

2019

We consider Turing machines which perform infinite sequences of runs, where the (finite) number of computation steps in each run… Expand

Is this relevant?

2016

2016

Quasi-Linear Size Zero Knowledge from Linear-Algebraic PCPs, Eli Ben-Sasson, Alessandro Chiesa, Ariel Gabizon, Madars Virza, TR16… Expand

Is this relevant?

2012

2012

Abstract Synthetic pattern generation procedures have various applications, and a number of approaches (fractals, L-systems, etc… Expand

Is this relevant?

Review

2011

Review

2011

Fakahatchee Strand Preserve State Park is located in Collier County at the extreme southwestern corner of Florida, close to… Expand

Is this relevant?

2011

2011

The subword complexity of an infinite word ξ is a function f (ξ, n) returning the number of finite subwords (factors, infixes) of… Expand

Is this relevant?

2010

2010

We define an action-based extension of the branching-time temporal logic CTL which allows path quantifiers to be restricted by… Expand

Is this relevant?

2008

2008

The main topic of the present work are universal machines for plain and prefix-free description complexity and their domains. It… Expand

Is this relevant?

2008

2008

This is an extended abstract presenting new results on the topological complexity of omega-powers (which are included in a paper… Expand

Is this relevant?

2008

2008

Titchenerpsilas T-complexity is a computable complexity measure for finite strings with practical applications in a number of… Expand

Is this relevant?

Review

2005

Review

2005

EU-US trade disputes have recently caught much attention, because they have involved lasting non-compliance coupled with WTO… Expand

Is this relevant?