Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 210,104,140 papers from all fields of science
Search
Sign In
Create Free Account
Akra–Bazzi method
Known as:
Akra-Bazzi Method
, Akra-Bazzi Theorem
, Akra–Bazzi theorem
In computer science, the Akra–Bazzi method, or Akra–Bazzi theorem, is used to analyze the asymptotic behavior of the mathematical recurrences that…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Algorithm
Computer science
Master theorem
Median of medians
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Verifying Asymptotic Time Complexity of Imperative Programs in Isabelle
Bohua Zhan
,
Maximilian P. L. Haslbeck
International Joint Conference on Automated…
2018
Corpus ID: 3650944
We present a framework in Isabelle for verifying asymptotic time complexity of imperative programs. We build upon an extension of…
Expand
2017
2017
The Role of Network Analysis in Industrial and Applied Mathematics
M. Porter
,
S. Howison
ArXiv
2017
Corpus ID: 9270748
Many problems in industry --- and in the social, natural, information, and medical sciences --- involve discrete data and benefit…
Expand
2016
2016
Generative Benchmark Models for Mesoscale Structures in Multilayer Networks
Marya Bazzi
,
Lucas G. S. Jeub
,
A. Arenas
,
S. Howison
,
M. Porter
ArXiv
2016
Corpus ID: 12688128
Multilayer networks allow one to represent diverse and interdependent connectivity patterns --- e.g., time-dependence, multiple…
Expand
2015
2015
The Akra-Bazzi theorem and the Master theorem
Manuel Eberl
Arch. Formal Proofs
2015
Corpus ID: 14250008
This article contains a formalisation of the Akra–Bazzi method [1] based on a proof by Leighton [2]. It is a generalisation of…
Expand
2014
2014
APPARENT DIGESTIBILITY COEFFICIENTS AND NUTRITIONAL VALUE OF IRANIAN COTTONSEED MEAL VARIETIES FOR RAINBOW TROUT (ONCORHYNCHUS MYKISS)
S. Dadgar
,
M. Kamarudin
,
F. Ehteshami
2014
Corpus ID: 52431314
Three different varieties of cottonseed meal (CSM) were evaluated to measure the apparent digestibility coefficient (ADC) of the…
Expand
Highly Cited
2010
Highly Cited
2010
Improved Pseudorandom Generators for Depth 2 Circuits
Anindya De
,
O. Etesami
,
L. Trevisan
,
Madhur Tulsiani
International Workshop and International Workshop…
2010
Corpus ID: 1611563
We prove the existence of a poly(n,m)-time computable pseudorandom generator which "1/poly(n,m)-fools" DNFs with n variables and…
Expand
2010
2010
Nuevas perspectivas sobre las relaciones púnicas con la costa ibérica del sureste peninsular
Feliciana Sala-Sellés
2010
Corpus ID: 134793230
El conocimiento de las relaciones entre la cultura ibera del sureste peninsular y el mundo punico se ha construido a medida que…
Expand
2009
2009
Arab News and Conflict: A multidisciplinary discourse study
Samia Bazzi
2009
Corpus ID: 55150635
The Arab-Israeli struggle is not only a struggle over land, but a struggle over language representations. Arab reporters as well…
Expand
2007
2007
Enabling access-privacy for random walk based data analysis applications
Ping-Min Lin
,
K. Candan
Data & Knowledge Engineering
2007
Corpus ID: 15421529
2006
2006
The results of percutaneous angioplasty and stent implantation for critical ostial renal artery stenosis
W. Kuczmik
,
D. Ziaja
,
+4 authors
K. Ziaja
2006
Corpus ID: 55364727
Background: Atherosclerosis and fibromuscular dysplasia are significant causes of renal artery stenosis, which frequently leads…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE