Tungsten oxide (WO3) nanostructure were synthesized by a facile hydrothermal method at 150° C using tungstate dehydrates (Na2WO4.2H2O) as the precursor. Without any additive, scanning electron microscopy revealed a rhombus shaped WO3 nanostructures while with the addition of sodium chloride, the morphology changes to nano-dagger bundles that formed flower-like structure. Furthermore, the size o...

RDF is the format of choice for representing Semantic Web data. RDF graphs may be large and their structure is heterogeneous and complex, making them very hard to explore and understand. To help users discover valuable insights from RDF graph, we have developed Dagger, a tool which automatically recommends interesting aggregation queries over the RDF graphs; Dagger evaluates the queries and gra...

Inspired by the recent conjecture originated from graduated dark energy that Universe has recently transitioned anti-de Sitter vacua to de vacua, we extend $\Lambda$CDM model a cosmological constant ($\Lambda_{\rm s}$) switches sign at certain redshift $z_\dagger$, and call this $\Lambda_{\rm s}$CDM. We discuss construction theoretical features of find out that, when consistency s}$CDM with CMB...

In a recent paper, Justin D’Ambrosio (2020) has offered an empirical argument in support of negative solution to the puzzle Macbeth’s dagger—namely, question whether, famous scene from Shakespeare’s play, Macbeth sees dagger front him. D’Ambrosio’s strategy consists showing that “seeing” is not existence-neutral verb; is, way it used ordinary language neutral with respect whether its complement...

Monoidal dagger compact categories were proposed by Samson Abramsky and Bob Coecke in [1] as a mathematical model for quantum theory. This is an alternative to, and a generalisations of, the Hilbert space model. Together with their colleagues, they have extended this to a versatile framework for quantum computing. Recently, Jamie Vicary has proposed an alternative framework in terms of weak 2-c...

We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols [4] into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus [6] with a linear negation [1] of ”trivialised” De Morgan duality [5]. Reduction is realised through explicit substitution, based on a symmetric notion of binding of glo...

This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the creation of the dagger lambda calculus; a lambda calculus for dagger compact categories [AC04]. Our second contribution lifts the expressive power of the dagger lambda calculus to that of a quantum programming langua...

In a recent paper pair of operators $a$ and $b$ satisfying the equations $a^\dagger a=bb^\dagger+\gamma\1$ $aa^\dagger=b^\dagger b+\delta\1$, has been considered, their nature ladder deduced analysed. Here, motivated by spreading interest in non self-adjoint Quantum Mechanics, we extend this situation to set four operators, $c$, $d$, $r$ $s$, $ dc=rs+\gamma\1$ $cd=sr+\delta\1$, show that they a...