Lower bound for complexity of language emptiness checking in visibly pushdown automata?

19 April 2017 0 9K Report

What is the best known lower bound for the complexity of language emptiness checking in visibly pushdown automata? Alur in [1] gave O(n^3) as upper bound.

[1] Rajeev Alur and P. Madhusudan. 2004. Visibly pushdown languages. In Proceedings of the thirty-sixth annual ACM symposium on Theory of computing (STOC '04). ACM, New York, NY, USA, 202-211. DOI: http://dx.doi.org/10.1145/1007352.1007390

Badges
Science topic

Similar topics
Data Mining
Classification

More Devendra Bhave's questions See All

Does anyone have a protocol for measuring ethanol and acetaldehyde in plant tissues?

I am planning to measure the ethanol and acetaldehyde contents in the leaves and crowns of turfgrass that were subjected to varying durations of ice encasement. Does anyone have a protocol for...

07 April 2024 2,755 1 View

Has anyone used any dye for viability assay in pants?

Has anyone used Sytox Blue, Propidium Iodide, Trypan Blue, Evans Blue, TTC, Alamar Blue, Neutral Red, and FDA dyes to determine the viability of crown and roots in perennial ryegrass and/or plant?...

24 May 2023 4,322 1 View

How to anneal CZTS deposited on Molybdenum?

I am sputter depositing a CZTS layer on molybdenum back electrode on a SLG substrate. The sample turns black and not usable for the soalr cell application when I anneal it at 450 C, in Argon...

19 April 2023 2,063 2 View

What statistical analysis can be applied to a randomised clinical trial with 4 interventiion arms ?

Hi Sir/Mam, What statistical analysis can be applied to a randomised clinical trial with 4 intervention arms ? I have collected data for baseline, 4 weeks and 8 weeks respectively for four...

12 December 2022 3,227 12 View

Hello there, how can i coat thin layer of Gold on the surface of PDMS films using bright electroless gold plating solution?

I tried many times following drop-casting of electroless gold plating solution, but after wash, there is no more conductive layer. I also tried making the surface of PDMS polar using PDA. Can you...

17 August 2022 2,746 0 View

Can anybody suggest a correct identification for this marine gastropod species?

Collected from the rocky intertidal habitat, Central west coast of India.

30 July 2022 5,450 3 View

Does autophagy inhibition lead to reduction in lipid accumulationin hepatocytes grown in presence of free fatty acids?

I wish to study the effect of autophagy inhibition on lipid accumulation in HepG2 cells when treated with free fatty acids (palmitic acid and oleic acid). I have observed that HepG2 cells when...

28 February 2022 9,686 1 View

Can anybody help me to confirm the identification of this seaweed species?

I came across this seaweed at mid to low tide zone on rocky shores of Sindhudurg (Central West Coast of India). More prominently seen during monsoon season. I feel this is a Chaetomorpha antennina.

10 October 2021 4,225 3 View

How to remove the bubbles in Collagen gel and maintain the transparency?

I am working on the capillary formation of Lymphatic endothelial cells in a collagen matrix. But I am facing a technical problem to handle Collagen. I have made many times; I am not able to remove...

27 December 2020 5,675 3 View

Deaths due to Non-COVID-19 causes is higher than COVID-19 deaths particularly in developing countries ? Do you agree ?

Deaths due to non-COVID-19 causes are higher than COVID-19 deaths particularly in developing countries but still the concern authorities are totally focused towards mitigating COVID-19. We can't...

26 May 2020 7,271 21 View

Could you recommend some articles on Urban Transportation System optimization and Innovation?

13 August 2024 2,595 3 View

Is it possible to plot the atom-projected band structure using GPAW?

Hi, I'm currently working on a project where I need to plot the atom-projected band structure using GPAW. I've been able to calculate the band structure for my material, but I'm having trouble...

07 August 2024 269 3 View

Should I include H atom into C3N5 when i am doing DFT modelling?

Hi all, my experimental XPS results shown that my C3N5 sample consists of N-H bond, hence in this case I should incorporate the N-H bond into my DFT modelling. However, I do notice several papers...

07 August 2024 8,414 2 View

Are there any good simple systems or platforms to recommend?

In order to show people the beauty of control and enhance enthusiasm for learning control theories, are there any good simple systems or platforms to recommend?

05 August 2024 10,034 1 View

Why do exism movements become permanent dictatorship threats within liberal democracy thinking under majority rule-independent rule of law system?

Exism movements after gaining power within liberal democracies under majority rule and independent rule of law system become permanent dictatorship threats, but why this is the case is not clear...

04 August 2024 8,125 3 View

How to use Density Functional Theory to calculate carrier mobilities of solid system?

Hello, everyone. I have tried to determine carrier motilities of some materials, by Density Functional Theory, using Quantum ESPRESSO. There are a few methods to do it, like a package called...

04 August 2024 8,894 1 View

Some new emerging problems on application of RL for scheduling in IoT networks?

I have seen plenty of existing works on applied Reinforcement Learning (RL) policies for optimized scheduling in IoT networks including Q-learning, DQNs, and the newer ones including PPO for...

01 August 2024 8,754 2 View

What do you consider to be the most relevant elements of EEG for studying cognitive biases?

I've seen articles that primarily focus on alpha and beta activity in the frontal regions, but these studies often compare healthy subjects with those having various pathologies. I haven't seen a...

31 July 2024 7,259 1 View

A Question about Phd thesis?

Hello everyone What is your opinion about the introduction of an expert decision support system in which the rules are extracted from existing data without human intervention, instead of being...

31 July 2024 5,785 4 View

How can I calculate formation energy using VASP-Ab-initio?

I would like to calculate the formation energy of P2-Na0.67Fe0.5Mn0.5O2 based on DFT, what should I do step by step. Any help would be appreciated. Thanks.

29 July 2024 8,248 2 View