Results 1  10
of
38
A Monadic Approach to PolyCategories
 THEORY APPL. CATEG
, 2002
"... Polycategories form a rather natural generalization of multicategories. Besides the domains also the codomains of morphisms are allowed to be strings of objects. Multicategories are known to have an elegant global characterization as monads in a suitable bicategory of special spans with free m ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Polycategories form a rather natural generalization of multicategories. Besides the domains also the codomains of morphisms are allowed to be strings of objects. Multicategories are known to have an elegant global characterization as monads in a suitable bicategory of special spans with free
and
, 2015
"... Effective support for custom proof automation is essential for largescale interactive proof development. 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
of typed tactical primitives. We avoid the need to touch the trusted kernel typechecker of Coq by encapsulating uses of these new tactical primitives in a monad, and instrumenting Coq so that it executes monadic tactics during type inference. 1
Nuclear Physics B Proceedings Supplement – preprint (2014) 1–42 Nuclear Physics B Proceedings Supplement Universal Aspects of QCDlike TheoriesI
"... 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 QCDlike theories. As an example for flavor dynamics I discuss a quarkhadron model to describe th ..."
Abstract
 Add to MetaCart
the phase diagram of twocolor 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.
OF
, 2015
"... This Dissertation is brought to you for free and open access by DigitalCommons@URI. It has been accepted for inclusion in Open Access Dissertations ..."
Abstract
 Add to MetaCart
This Dissertation is brought to you for free and open access by DigitalCommons@URI. It has been accepted for inclusion in Open Access Dissertations
5 ωCFL which are Borel of infinite rank 12
"... This paper is a continuation of the study of topological properties of omega context free languages (ωCFL). We proved in [Topological Properties of Omega Context Free Languages, Theoretical Computer Science, Volume 262 (12), 2001, p. 669697] that the class of ωCFL exhausts the finite ranks of th ..."
Abstract
 Add to MetaCart
This paper is a continuation of the study of topological properties of omega context free languages (ωCFL). We proved in [Topological Properties of Omega Context Free Languages, Theoretical Computer Science, Volume 262 (12), 2001, p. 669697] that the class of ωCFL exhausts the finite ranks
new algorithm to compute fusion coecients By
"... This is a proceedings article reviewing a recent combinatorial construction of the bsu(n)k WZNW fusion ring by C. Stroppel and the author. It contains one novel aspect: the explicit derivation of an algorithm for the computation of fusion coecients dierent from the KacWalton formula. The discussion ..."
Abstract
 Add to MetaCart
. The discussion is presented from the point of view of a vertex model in statistical mechanics whose partition function generates the fusion coecients. The statistical model can be shown to be integrable by linking its transfer matrix to a particular solution of the YangBaxter equation. This transfer matrix can
ALGEBRAS
"... A b s t r a c t. Formulas for computing the number of Df2algebra structures that can be defined over Bn, where Bn is the Boolean algebra with n atoms, as well as the fine spectrum of Df2 are obtained. Properties of the lattice of all subvarieties of Df2, Λ(Df2), are exhibited. In particular, the po ..."
Abstract
 Add to MetaCart
A b s t r a c t. Formulas for computing the number of Df2algebra structures that can be defined over Bn, where Bn is the Boolean algebra with n atoms, as well as the fine spectrum of Df2 are obtained. Properties of the lattice of all subvarieties of Df2, Λ(Df2), are exhibited. In particular, the poset Sifin(Df2) is described..1 Introduction and Preliminaries Cylindric algebras were first introduced by A. Tarski in the 1940’s. As a general reference we mention the fundamental work by Henkin, Monk and
c ○ Copyright owned by the author(s) under the terms of the Creative Commons AttributionNonCommercialShareAlike Licence.
, 2007
"... The systematics of bulk entropy production in experimental data on A+A, p + p and e + e − interactions at high energies and large µB is discussed. It is proposed that scenarios with very early thermalization, such as Landau’s hydrodynamical model, capture several essential features of the experiment ..."
Abstract
 Add to MetaCart
The systematics of bulk entropy production in experimental data on A+A, p + p and e + e − interactions at high energies and large µB is discussed. It is proposed that scenarios with very early thermalization, such as Landau’s hydrodynamical model, capture several essential features of the experimental results. It is also pointed out that the dynamics of systems which reach the hydrodynamic regime give similar multiplicities and angular distributions as those calculated in weakcoupling approximations (e.g. pQCD) over a wide range of beam energies. Finally, it is shown that the dynamics of baryon stopping are relevant to the physics of total entropy production, explaining why A+A and e + e − multiplicities are different at low beam energies. “Critical Point and the Onset of Deconfinement ” Workshop
22.10.2009 Implementation of a PeertoPeer Multiplayer Game with Realtime Requirements
"... Massively multiplayer online games (MMOGs) have become increasingly popular in the recent years, particularly in the form of online roleplaying games (MMORPGs). These games support up to several ten thousand players interacting in a virtual game world. The current commercially successful games are ..."
Abstract
 Add to MetaCart
Massively multiplayer online games (MMOGs) have become increasingly popular in the recent years, particularly in the form of online roleplaying games (MMORPGs). These games support up to several ten thousand players interacting in a virtual game world. The current commercially successful games are clientserver based, which is feasible for relatively slow roleplaying games. Those have modest bandwidth and latency requirements and are paid for by their customers. For MMOGs with higher realtime requirements and/or a smaller number of customers willing to pay, peertopeer networking seems to be a serious alternative. This work analyzes the implementation of both a clientserver and a peertopeer networking model for the prototype shooter game Planet π4. Initially, a survey introduces recent academic approaches to peertopeer systems specifically designed for games. Of those, one system is selected for implementation with Planet π4. Planet π4 is improved in several aspects for the purpose of analyzing various network implementations. First, its architecture is restructured and cleaned to allow for an easy replacement of the networking component. Second, its core is modified to work in a completely eventbased mode, supporting the execution of the game in an discreteeventbased network simulator. Third, a simple artificial intelligence player is developed for workload generation in large (and possibly simulated) networks. Furthermore, the newly developed transport protocol CUSP is applied for the network implementation, thus the game is the first real application using CUSP. Finally the game Planet π4 is integrated with the CUSP network simulator, allowing to run the whole game in a simulated network without the need for modification of its core components. Kurzfassung MassenMehrspielerOnlinespiele (Massively multiplayer online games; MMOGs) wurden in den vergangenen Jahren zunehmend populär, insbesondere in Form von OnlineRollenspielen (MMORPGs). In
Results 1  10
of
38