FAQ

Algorithm characterizations

Algorithm characterizations are attempts to formalize the word algorithm. Algorithm does not have a generally accepted formal definition. Researchers… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1976-2017
051019762017

Related topics

Related topics

38 relations
Abstract machineAckermann functionAlgorithmC preprocessor
(More)

Broader (2)

Computability theoryFormal methods

Related mentions per year

Related mentions per year

1936-2018
19401960198020002020
Algorithm characterizations
Algorithm
Computer
Recursion
Programming language
Decision tree

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
On Stability of Discrete-Time LTI Systems With Varying Time Delays
This technical note concerns robust stability analysis of discrete-time linear-time-invariant (LTI) systems with varying time… (More)
  • table II
Is this relevant?
2011
2011
Towards Pointvalue Characterizations in Multi-parameter Algebras
We extend classical results from the Colombeau algebra, concerning point-value characterizations of generalized functions, to the… (More)
Is this relevant?
2010
2010
Stability Analysis of Discrete-Time Systems with Time-Varying Delays via Integral Quadratic Constraints
This manuscript presents certain l2-gain properties of and the integral quadratic constraint characterizations derived from these… (More)
  • table I
Is this relevant?
2010
2010
The Dual Space of an Operator Algebra
Introduction. The purpose of this paper is to study noncommutative C*algebras as Banach spaces. The Gelfand representation of an… (More)
Is this relevant?
2010
2010
Optimization of Anodized-Aluminum Pressure-Sensitive Paint by Controlling Luminophore Concentration
Anodized-aluminum pressure-sensitive paint (AA-PSP) has been used as a global pressure sensor for unsteady flow measurements. We… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • figure 4
Is this relevant?
2010
2010
Nested Metamaterials for Wireless Strain Sensing
We designed, fabricated, and characterized metamaterial-based RF-microelectromechanical system (RF-MEMS) strain sensors that… (More)
  • figure 1
  • figure 2
  • table II
  • figure 3
  • figure 4
Is this relevant?
2006
2006
Underfill Assessments and Validations for Low-k FCBGA
With the trend of electronic consumer product toward more functionality, high performance and miniaturization, IC chip is… (More)
  • figure 1
Is this relevant?
2004
2004
A Characterization of Universal Stability in the Adversarial Queuing Model
We study universal stability of directed and undirected graphs in the adversarial queuing model for static packet routing. In… (More)
  • figure 1
  • table 1
  • figure 3
  • figure 2
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Parameterized linear matrix inequality techniques in fuzzy control system design
This paper proposes different parameterized linear matrix inequality (PLMI) characterizations for fuzzy control systems. These… (More)
  • figure 3
  • figure 1
  • figure 4
  • table I
Is this relevant?
1996
1996
A Converse Lyapunov Theorem with Applications
This work provides a generalization of a converse Lyapunov theorem for systems that do not have the regularity property on the… (More)
Is this relevant?