• Documents
  • Authors
  • Tables
  • Log in
  • Sign up
  • MetaCart
  • DMCA
  • Donate

CiteSeerX logo

Tools

Sorted by:
Try your query at:
Semantic Scholar Scholar Academic
Google Bing DBLP
Results 1 - 10 of 200
Next 10 →

programming

by Silvia Bonettini, Valeria Ruggiero, Federica Tinti
"... the solution of inde nite systems arising in nonlinear ..."
Abstract - Add to MetaCart
the solution of inde nite systems arising in nonlinear

Akademisk avhandling för teknisk doktorsexamen vid

by Kungl Tekniska Högskolan, Kth Tryck , 1994
"... mcmxciv This thesis deals with combinatorics in connection with Coxeter groups, finitely generated but not necessarily finite. The representation theory of groups as nonsingular matrices over a field is of immense theoretical importance, but also basic for computational group theory, where the group ..."
Abstract - Add to MetaCart
mcmxciv This thesis deals with combinatorics in connection with Coxeter groups, finitely generated but not necessarily finite. The representation theory of groups as nonsingular matrices over a field is of immense theoretical importance, but also basic for computational group theory, where the group elements are data structures in a computer. Matrices are unnecessarily large structures, and part of this thesis is concerned with small and efficient representations of a large class of Coxeter groups (including most Coxeter groups that anyone ever payed any attention to.) The main contents of the thesis can be summarized as follows. • We prove that for all Coxeter graphs constructed from an n-path of unlabelled edges by adding a new labelled edge and a new vertex (sometimes two new edges and vertices), there is a permutational representation of the corresponding group. Group elements correspond to integer n-sequences and the nodes in the path generate all n! permutations. The extra node has a more complicated action, adding a certain quantity to some of the numbers.

Nuclear Physics B Proceedings Supplement – preprint (2014) 1–42 Nuclear Physics B Proceedings Supplement Universal Aspects of QCD-like TheoriesI

by Lorenz Von Smekal
"... In these lectures I review some basic examples of how the concepts of universality and scaling can be used to study aspects of the chiral and the deconfinement transition, if not in QCD directly but in QCD-like theories. As an example for flavor dynamics I discuss a quark-hadron model to describe th ..."
Abstract - Add to MetaCart
the phase diagram of two-color QCD with the functional renormalization group. Universal aspects of deconfinement are illustrated mainly in the 2 + 1 dimensional SU(N) gauge theories with second order transition where many exact results from spin models can be exploited.

Disthbution IJnli~nited CONTRACT TITLE: THEORETICAL STUDIES OF HIGH-POWER ULTRAVIOLET AND INFRARED MATERIALS

by H. Vora, M. Flannery, P Ltr, F I , 1978
"... ~f d1400 Wilson Boulevard nc assi ie ..."
Abstract - Add to MetaCart
~f d1400 Wilson Boulevard nc assi ie

AGR 05

by Università Degli, Studi Della Tuscia, Dottorato Di Ricerca, Candidato Tutori, Alessandra Lagomarsino, Prof Paolo, De Angelis, Prof Stefano Grego, Prof Paolo, De Angelis
"... Responses of soil biological processes to elevated atmospheric [CO2] and nitrogen addition in a poplar plantation ..."
Abstract - Add to MetaCart
Responses of soil biological processes to elevated atmospheric [CO2] and nitrogen addition in a poplar plantation

A Precise Error Bound for Quantum Phase Estimation

by Max A. Lohe, Lorenz Von Smekal, Azhar Iqbal, Derek Abbott , 2011
"... Quantum phase estimation is one of the key algorithms in the field of quantum computing, but up until now, only approximate expressions have been derived for the probability of error. We revisit these derivations, and find that by ensuring symmetry in the error definitions, an exact formula can be f ..."
Abstract - Add to MetaCart
Quantum phase estimation is one of the key algorithms in the field of quantum computing, but up until now, only approximate expressions have been derived for the probability of error. We revisit these derivations, and find that by ensuring symmetry in the error definitions, an exact formula can be found. This new approach may also have value in solving other related problems in quantum computing, where an expected error is calculated. Expressions for two special cases of the formula are also developed, in the limit as the number of qubits in the quantum computer approaches infinity and in the limit as the extra added qubits to improve reliability goes to infinity. It is found that this formula is useful in validating computer simulations of the phase estimation procedure and in avoiding the overestimation of the number of qubits required in order to achieve a given reliability. This formula thus brings improved precision in the design of quantum computers.

3 USING D-OPERATORS TO CONSTRUCT ORTHOGONAL POLYNOMIALS SATISFYING HIGHER ORDER q-DIFFERENCE EQUATIONS

by Antonio
"... ar ..."
Abstract - Add to MetaCart
Abstract not found

and

by Beta Ziliani, Derek Dreyer, Neelakantan R. Krishnaswami, Aleksandar Nanevski , 2015
"... Effective support for custom proof automation is essential for large-scale interactive proof develop-ment. However, existing languages for automation via tactics either (a) provide no way to specify the behavior of tactics within the base logic of the accompanying theorem prover, or (b) rely on adva ..."
Abstract - Add to MetaCart
on advanced type-theoretic machinery that is not easily integrated into established theorem provers. We present Mtac, a lightweight but powerful extension to Coq that supports dependently typed tactic programming. Mtac tactics have access to all the features of ordinary Coq programming, as well as a new set

TO CODE OR NOT TO CODE

by Présentée À La, Faculté Informatique, Et Communications, Section Des, Systèmes De Communication, Du Grade, De Docteur, Ès Sciences, Prof M. Vetterli, Prof B. Rimoldi, Prof R. Gallager, Prof A. Lapidoth, Prof J. Massey, Prof E. Telatar, Prof S. Verdú, Michael Gastpar, Amos Lapidoth, Jim Ma , 2002
"... de nationalité suisse et originaire de Zurich (ZH) et Lucerne (LU) acceptée sur proposition du jury: ..."
Abstract - Add to MetaCart
de nationalité suisse et originaire de Zurich (ZH) et Lucerne (LU) acceptée sur proposition du jury:

CRM Proceedings and Lecture Notes Actions of Lie groups and Lie algebras on manifolds

by Centre De Recherches Mathématiques, Morris W. Hirsch
"... ar ..."
Abstract - Add to MetaCart
Abstract not found
Next 10 →
Results 1 - 10 of 200
Powered by: Apache Solr
  • About CiteSeerX
  • Submit and Index Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2019 The Pennsylvania State University