We propose a worldsheet description for the ${\rm AdS}_5\times {\rm S}^5$ string theory dual to large $N$, free ${\cal N}=4$ super Yang-Mills in four dimensions. The is natural generalisation of recently investigated tensionless on AdS}_3\times S}^3\times \mathbb{T}^4$. As case AdS}_3$ it has field description, with spectrally flowed sectors, and closely related an (ambi-)twistor theory. Here, ...

Studies on the sustainability of aquaculture have been carried out around world. The input organic matter in sediment and influence current velocity deposition particles produced by fish captivity can be used to assess distribution benthic assemblages below marine farms. Sediment organisms were collected April, September December 2019 August October 2020 farming area two control areas Bananal c...

Given a model M and a temporal logic formula φ[?], where ? is a placeholder, the query checking problem, as defined for the case of CTL by Chan in 2000, is to find the strongest propositional formula f such that M |= φ[? ← f ]. The motivation for solving this problem is, among other things, to get insight on the model. We consider various objectives to the LTL query-checking problem, and study ...

Waiting in long queue is undesirable due to which in some practical situations customers become impatient and leave the system. In such cases providing additional servers can reduce long queue. This investigation deals with multi-server queueing system with additional servers and discouragement. The customers arrive in poisson fashion and are served exponentially by a pool of permanent and addi...