Search results for " Computer"

showing 10 items of 6910 documents

MultivariateApart: Generalized partial fractions

2021

We present a package to perform partial fraction decompositions of multivariate rational functions. The algorithm allows to systematically avoid spurious denominator factors and is capable of producing unique results also when being applied to terms of a sum separately. The package is designed to work in Mathematica, but also provides interfaces to the Form and Singular computer algebra systems.

Computer Science - Symbolic ComputationHigh Energy Physics - TheoryFOS: Computer and information sciencesPolynomialComputer scienceFOS: Physical sciencesGeneral Physics and AstronomyRational functionSymbolic Computation (cs.SC)Partial fraction decomposition01 natural sciencesGröbner basisHigh Energy Physics - Phenomenology (hep-ph)ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION0103 physical sciences010306 general physicsSpurious relationshipcomputer.programming_language010308 nuclear & particles physicsFunction (mathematics)Symbolic computationAlgebraHigh Energy Physics - PhenomenologyHigh Energy Physics - Theory (hep-th)Hardware and ArchitectureComputer Science::Mathematical SoftwareWolfram LanguagecomputerComputer Physics Communications
researchProduct

Introduction to the GiNaC Framework for Symbolic Computation within the C++ Programming Language

2002

AbstractThe traditional split into a low level language and a high level language in the design of computer algebra systems may become obsolete with the advent of more versatile computer languages. We describe GiNaC, a special-purpose system that deliberately denies the need for such a distinction. It is entirely written in C++and the user can interact with it directly in that language. It was designed to provide efficient handling of multivariate polynomials, algebras and special functions that are needed for loop calculations in theoretical quantum field theory. It also bears some potential to become a more general purpose symbolic package.

Computer Science - Symbolic ComputationI.1.3FOS: Computer and information sciencesFor loopTheoretical computer scienceAlgebra and Number TheoryFOS: Physical sciencesI.1.1; I.1.3Symbolic Computation (cs.SC)Computational Physics (physics.comp-ph)Symbolic computationI.1.1High Energy Physics - PhenomenologyComputational MathematicsHigh Energy Physics - Phenomenology (hep-ph)General purposeHigh-level programming languageSpecial functionsFourth-generation programming languagePhysics - Computational PhysicsC programming languageLow-level programming languageMathematicsJournal of Symbolic Computation
researchProduct

Crowd-Averse Cyber-Physical Systems: The Paradigm of Robust Mean-Field Games

2016

For a networked controlled system, we illustrate the paradigm of robust mean-field games. This is a modeling framework at the interface of differential game theory, mathematical physics, and $H_{\infty}$ - optimal control that tries to capture the mutual influence between a crowd and its individuals. First, we establish a mean-field system for such games including the effects of adversarial disturbances. Second, we identify the optimal response of the individuals for a given population behavior. Third, we provide an analysis of equilibria and their stability.

Computer Science::Computer Science and Game Theory0209 industrial biotechnologyTheoretical computer scienceComputer scienceInterface (computing)PopulationStability (learning theory)02 engineering and technology01 natural sciencesAdversarial system020901 industrial engineering & automationSettore ING-INF/04 - AutomaticaControl theoryRobustness (computer science)Differential game0101 mathematicsElectrical and Electronic Engineeringcrowd-averse cyber-physical systems robust mean-field games paradigm networked control system differential game theory mathematical physics H∞-optimal control mean-field system adversarial disturbance effecteducationeducation.field_of_studyCyber-physical systemOptimal controlComputer Science Applications010101 applied mathematicsControl and Systems EngineeringSettore MAT/09 - Ricerca OperativaIEEE Transactions on Automatic Control
researchProduct

On coincidence of feedback and global Stackelberg equilibria in a class of differential games

2021

This paper shows for a class of differential games that the global Stackelberg equilibrium (GSE) coincides with the feedback Stackelberg equilibrium (FSE), although the GSE assumes that the leader/regulator an- nounces at the initial time the regulatory instrument rule she will follow for the rest of the game, while in the FSE, the regulator at any time chooses the optimal level of the regulatory instrument rate. This coincidence is based on the fact that the FSE is calculated using dynamic programming what implies that although the regulator chooses the regulatory instrument rate level that maximizes social welfare, the first-order condition for the maximization of the right-hand side of t…

Computer Science::Computer Science and Game Theory050210 logistics & transportation021103 operations researchInformation Systems and ManagementGeneral Computer ScienceComputer scienceQuantitative Biology::Molecular Networks05 social sciences0211 other engineering and technologies02 engineering and technologyMaximizationManagement Science and Operations ResearchOutcome (game theory)Industrial and Manufacturing EngineeringCoincidenceModeling and Simulation0502 economics and businessDifferential gameStackelberg competitionEconomic modelDifferential (infinitesimal)Mathematical economicsEuropean Journal of Operational Research
researchProduct

On the Quantum and Classical Complexity of Solving Subtraction Games

2019

We study algorithms for solving Subtraction games, which are sometimes referred as one-heap Nim games.

Computer Science::Computer Science and Game TheoryComputer science010102 general mathematicsComputingMilieux_PERSONALCOMPUTINGSubtraction01 natural sciences010305 fluids & plasmasAlgebra0103 physical sciencesComputer Science::Programming LanguagesQuantum algorithmHardware_ARITHMETICANDLOGICSTRUCTURES0101 mathematicsQuantumGame theoryQuantum computer
researchProduct

Worst Case Analysis of Non-local Games

2013

Non-local games are studied in quantum information because they provide a simple way for proving the difference between the classical world and the quantum world. A non-local game is a cooperative game played by 2 or more players against a referee. The players cannot communicate but may share common random bits or a common quantum state. A referee sends an input x i to the i th player who then responds by sending an answer a i to the referee. The players win if the answers a i satisfy a condition that may depend on the inputs x i .

Computer Science::Computer Science and Game TheoryComputingMilieux_PERSONALCOMPUTINGTheoryofComputation_GENERAL0102 computer and information sciencesNon local01 natural sciences010201 computation theory & mathematicsQuantum stateSimple (abstract algebra)0103 physical sciencesQuantum worldQuantum information010306 general physicsMathematical economicsCase analysisMathematics
researchProduct

Computational Complexity and Communication: Coordination in Two-Player Games

2002

The main contribution of this paper is the development and application of cryptographic techniques to the design of strategic communication mechanisms. One of the main assumptions in cryptography is the limitation of the computational power available to agents. We introduce the concept of limited computational complexity, and by borrowing results from cryptography, we construct a communication protocol to establish that every correlated equilibrium of a two-person game with rational payoffs can be achieved by means of computationally restricted unmediated communication. This result provides an example in game theory where limitations of computational abilities of players are helpful in solv…

Computer Science::Computer Science and Game TheoryEconomics and EconometricsCorrelated equilibriumTheoretical computer scienceComputational complexity theorybusiness.industryCryptographyComputational resourceTuring machinesymbols.namesakeNash equilibriumsymbolsbusinessCommunications protocolGame theoryAlgorithmMathematicsEconometrica
researchProduct

Pragmatic languages with universal grammars

2012

Abstract This paper constructs the equilibrium for a specific code that can be seen as a “universal grammar” in a class of common interest Sender–Receiver games where players communicate through a noisy channel. We propose a Senderʼs signaling strategy which does not depend on either the game payoffs or the initial probability distribution. The Receiverʼs strategy partitions the set of possible sequences into subsets, with a single action assignment to each of them. The Senderʼs signaling strategy is a Nash equilibrium, i.e. when the Receiver responds best to the Senderʼs strategy, the Sender has no incentive to deviate. An example shows that a tie-breaking decoding is crucial for the block…

Computer Science::Computer Science and Game TheoryEconomics and EconometricsTheoretical computer sciencejel:C61jel:D82Symmetric gamejel:C73TheoryofComputation_GENERALgrammar pragmatic language prototypes separating equilibriasymbols.namesakeNash equilibriumsymbolsCode (cryptography)Probability distributionCommunication sourceSignaling gameSet (psychology)FinanceDecoding methodsComputer Science::Information TheoryMathematicsGames and Economic Behavior
researchProduct

Provable Advantage for Quantum Strategies in Random Symmetric XOR Games

2013

Non-local games are widely studied as a model to investigate the properties of quantum mechanics as opposed to classical mechanics. In this paper, we consider a subset of non-local games: symmetric XOR games of $n$ players with 0-1 valued questions. For this class of games, each player receives an input bit and responds with an output bit without communicating to the other players. The winning condition only depends on XOR of output bits and is constant w.r.t. permutation of players. We prove that for almost any $n$-player symmetric XOR game the entangled value of the game is $\Theta (\frac{\sqrt{\ln{n}}}{n^{1/4}})$ adapting an old result by Salem and Zygmund on the asymptotics of random tr…

Computer Science::Computer Science and Game TheoryQuantum Physics000 Computer science knowledge general worksComputer ScienceComputingMilieux_PERSONALCOMPUTINGTheoryofComputation_GENERAL
researchProduct

Quantum-over-Classical Advantage in Solving Multiplayer Games

2020

We study the applicability of quantum algorithms in computational game theory and generalize some results related to Subtraction games, which are sometimes referred to as one-heap Nim games.

Computer Science::Computer Science and Game TheoryTheoretical computer scienceComputer scienceQuantum game theoryComputingMilieux_PERSONALCOMPUTINGSubtractionQuantum algorithmComputational game theoryQuantum
researchProduct