7,185 Hits in 3.8 sec

Page 3857 of Mathematical Reviews Vol. , Issue 2000f [page]

2000 Mathematical Reviews  
(RS-TVER-I; Tver’) Normalizable linear orders and generic computations in finite models. (English summary) Logic Colloquium 95 (Haifa). Arch. Math. Logic 38 (1999), no. 4-5, 257-271.  ...  In particular, they show that for finitely axiomatizable classes of rigid finite models, where linear order is LFP normal- izable, certain subsets of LFP capture exactly PTIME-computable generic queries—an  ... 

Recent Developments in Normaliz [chapter]

Winfried Bruns, Christof Söger
2014 Lecture Notes in Computer Science  
The software Normaliz implements algorithms for rational cones and affine monoids. In this note we present recent developments. They include the support for (unbounded) polyhedra and semi-open cones.  ...  Furthermore, we report on improved algorithms and parallelization, which allow us to compute significantly larger examples.  ...  Clearly, to model P ∩ L we need linear diophantine systems of inequalities, equations and congruences which now will be inhomogeneous in general.  ... 
doi:10.1007/978-3-662-44199-2_99 fatcat:5lygdnxkrzbnxc3ditfyrnn5ly

Page 501 of Mathematical Reviews Vol. , Issue 2004a [page]

2004 Mathematical Reviews  
Our model is general and includes Cybenko’s dif- fusion models for fixed topology networks.  ...  For example, all first- and second- order typed lambda-terms are strongly-normalizable and, in an intersection type system, the three above notions of normalizability are elegantly characterized by typability  ... 

Holographic renormalization for coincident Dp-branes

Toby Wiseman, Benjamin Withers
2008 Journal of High Energy Physics  
We non-linearly construct the asymptotic graviton and dilaton deformations - the analog of the Graham-Fefferman expansion for AdS/CFT - and compute counterterms to give a finite renormalized bulk action  ...  Restricting to linear deformations we find additional counterterms to include the remaining sphere deformations which strongly deform the asymptotic behaviour.  ...  Acknowledgements We would like to thank Simon Catterall and Shiraz Minwalla for useful discussions. TW is partly supported by a STFC advanced fellowship and Halliday award.  ... 
doi:10.1088/1126-6708/2008/10/037 fatcat:l73j5o66fzf5hpmmspkmgfzc4e

Semigroups --- A Computational Approach [article]

Florian Kohl, Yanxi Li, Johannes Rauh, Ruriko Yoshida
2016 arXiv   pre-print
Moreover, we compute the set of holes for the common diagonal effect model, and we show that the nth linear ordering polytope has the integer-decomposition property for n≤ 7.  ...  In order to solve this problem, we have to understand the semigroup generated by the columns of the matrix A and the structure of the "holes" which are the difference between the semigroup generated by  ...  Acknowledgements The first author would like to thank Christian Haase for helpful discussions and for pointing his attention towards linear ordering polytopes.  ... 
arXiv:1608.03297v1 fatcat:k4syb4ndmje37cq6knls4rym5y

Computational power and correlation in a quantum computational tensor network

Keisuke Fujii, Tomoyuki Morimae
2012 Physical Review A. Atomic, Molecular, and Optical Physics  
We investigate relations between computational power and correlation in resource states for quantum computational tensor network, which is a general framework for measurement-based quantum computation.  ...  We find that if the size of resource states is finite, not all resource states allow correct projective measurements in the correlation space, which is related to non-vanishing two-point correlations in  ...  -In order to answer that question, we here find a class of finite-size MPSs, which is not necessarily normalizable with a finite l, but can satisfy condition (2) with a finite l by properly choosing the  ... 
doi:10.1103/physreva.85.032338 fatcat:6it2jnyglbdbxkerjc6qg2vns4

Page 1111 of Mathematical Reviews Vol. , Issue 95b [page]

1995 Mathematical Reviews  
J° + >, CaJ® with first-order differential operators J?. The QESM prop- erty requires that the (finite-dimensional) Lie algebra generated by the J?  ...  This problem, i.e. the normalizability of the algebraically computed eigenfunctions in the “physical” coor- dinates, is the subject of this paper.  ... 

When and why are log-linear models self-normalizing?

Jacob Andreas, Dan Klein
2015 Proceedings of the 2015 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies  
The new procedure avoids computing normalizers for most training examples, and decreases training time by as much as factor of ten while preserving model quality.  ...  We characterize a general class of distributions that admit self-normalization, and prove generalization bounds for procedures that minimize empirical normalizer variance.  ...  Acknowledgements The authors would like to thank Peter Bartlett, Robert Nishihara and Maxim Rabinovich for useful discussions.  ... 
doi:10.3115/v1/n15-1027 dblp:conf/naacl/AndreasK15 fatcat:6woo4lkhhbei7oov3trupqz2ju

Note on background (in)dependence

Nathan Seiberg, Stephen Shenker
1992 Physical Review D, Particles and fields  
In general quantum systems there are two kinds of spacetime modes, those that fluctuate and those that do not. Fluctuating modes have normalizable wavefunctions.  ...  Examples in string theory include the couplings t_k (including the cosmological constant) in the matrix models and the mass of the two-dimensional Euclidean black hole.  ...  The physics of these models depends on a variety of parameters -to all orders in perturbation theory in every case, and in those models that are well defined, nonperturbatively as well.  ... 
doi:10.1103/physrevd.45.4581 pmid:10014369 fatcat:h5qn2rmgpvdt7hgcd6kpzh6idu

The Dictionary for Double Holography and Graviton Masses in d Dimensions [article]

Dominik Neuenfeld
2021 arXiv   pre-print
We use this dictionary to find a general formula for the leading order contribution to graviton masses in the d dimensional Karch-Randall braneworld.  ...  Doubly-holographic models, also known as Karch-Randall brane worlds, have shown to be very useful for understanding recent developments around computing entropies in semi-classical gravity coupled to conformal  ...  Research at Perimeter Institute is supported in part by the Government of Canada through the Department of Innovation, Science and Economic Development Canada and by the Province of Ontario through the  ... 
arXiv:2104.02801v2 fatcat:ccbuob4airaqvjxtqw5lnzgoqa

Page 6509 of Mathematical Reviews Vol. , Issue 98J [page]

1998 Mathematical Reviews  
We then use such systems in the general normalised completion algorithm in order to compute Grébner bases of poly- nomial ideals over Q.”  ...  These procedures are then used in the RAMC method of simultaneous search for refutation and models of constrained clauses of the form [C: #], where C is a standard first-order clause and an equational  ... 

On the accuracy of self-normalized log-linear models [article]

Jacob Andreas, Maxim Rabinovich, Dan Klein, Michael I. Jordan
2015 arXiv   pre-print
Calculation of the log-normalizer is a major computational obstacle in applications of log-linear models with large output spaces.  ...  The problem of fast normalizer computation has therefore attracted significant attention in the theoretical and applied machine learning literature.  ...  Introduction Log-linear models, a general class that includes conditional random fields (CRFs) and generalized linear models (GLMs), offer a flexible yet tractable approach modeling conditional probability  ... 
arXiv:1506.04147v2 fatcat:7ormkufmajd2ddlgbvbud4heyu


2008 Modern Physics Letters A  
The basic idea is to extend to gravity model-building the applications of holographic duality to phenomenology construction.  ...  I review recent work toward constructing, via five-dimensional holographic duals, four-dimensional theories in which spin-2 states (gravitons) are emergent.  ...  The other possibility is that B(y) remains finite at y 0 , and the singularity is due to a divergence of one of its derivatives. In this case Ψ IR has a finite limit and it is trivially normalizable.  ... 
doi:10.1142/s021773230802642x fatcat:tpdxymklgzc45li4torolsxb6i

Hand-waving Refined Algebraic Quantization [article]

Franz Embacher
1997 arXiv   pre-print
In addition, hints are given how the scheme is applied to more sophisticated models, and it is tried to make transparent the general pattern characterizing this method.  ...  Some basic ideas of the Refined Algebraic Quantization scheme are outlined at an intuitive level, using a class of simple models with a single wave equation as quantum constraint.  ...  In general, the introduction of distributions on a Hilbert space may be motivated by the attempt to give the scalar product between a non-normalizable object (distribution) and a normalizable object (test  ... 
arXiv:gr-qc/9708016v2 fatcat:ug2g5u5vgzbpjbkuu6lbapqyce

Page 1792 of Mathematical Reviews Vol. , Issue 85e [page]

1985 Mathematical Reviews  
Author’s summary: “We give an example of a first-order complete theory T with no locally finite models and such that every program schema which is total over a model of T is strongly equivalent in that  ...  Let o2 be the statement Vm In ({0,1,---,n} is m-linear), this being the finitary version of what the authors call the “ordering principle plus” (OPP), i.e., for every linear ordering R on any infinite  ... 
« Previous Showing results 1 — 15 out of 7,185 results