Skip to search formSkip to main content

You are currently offline. Some features of the site may not work correctly.

Semantic Scholar uses AI to extract papers important to this topic.

2019

2019

We report on work in progress aiming to add blame features to property-based-testing in logic programming, in particular w.r.t… Expand

Is this relevant?

2018

2018

We conjecture infrared emergent $\mathcal{N}=4$ supersymmetry for a class of three-dimensional $\mathcal{N}=2$ $U(1)$ gauge… Expand

Is this relevant?

2017

2017

Searching for the simplest non-Abelian 2D gauge theory with N = (0,2) supersymmetry and nontrivial IR physics, we propose a new… Expand

Is this relevant?

2016

2016

A bstractWe test the 3d-3d correspondence for theories that are labeled by Lens spaces. We find a full agreement between the… Expand

Is this relevant?

2013

2013

Indian borage/ Karpurvalli (Coleus aromaticus) is an herb with aromatic leaves with ajwain like flavour known for stimulating… Expand

Is this relevant?

2011

2011

We propose that the three-dimensional N=2 SU(2) Chern-Simons theory at level 1 coupled to an adjoint chiral multiplet with no… Expand

Is this relevant?

Highly Cited

2009

Highly Cited

2009

Satisfiability Modulo Theories (SMT) is about checking the satisfiability of logical formulas over one or more theories. The… Expand

Is this relevant?

Highly Cited

2007

Highly Cited

2007

Operational Semantics.- More on Operational Semantics.- Provably Correct Implementation.- Denotational Semantics.- More on… Expand

Is this relevant?

2005

2005

The aim of this work was to analyze the nutritional value of the powdered fruit skin of six xoconostle fruit (Opuntia spp… Expand

Is this relevant?

2001

2001

Efforts were made to develop nutritious and palatable plum appetizer. Two different combinations of fruit pulp and spice recipe… Expand

Is this relevant?