Vous êtes ici : Accueil › Recherche
› RECHERCHER
Titre
Auteur
Mot-clé
Année avant
Année après
Plus d'options

› AFFINER

› RESULTATS DE LA RECHERCHE  
2169 résultats › Tri  › Par 
LCSH_x
Source : DANS

Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting

Bergstra, J. et al. (2013)

We introduce an algebra of data linkages. Data linkages are intended for modelling the states of computations in which dynamic data structures are involved. We present a simple model of computation in which states of computations are modelled as data linkages and state changes take place by means of ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Module algebra

Bergstra, J.A. et al. (1 janv. 1990)

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Construction and Verification of Performance and Reliability Models

Hermanns, H. (2001)

Over the last two decades formal methods have been extended towards performance and reliability evaluation. This paper tries to provide a rather intuitive explanation of the basic concepts and features in this area. Instead of striving for mathematical rigour, the intention is to give an ...

Voir plus d'informations | Voir la fiche de la ressource

Source : HAL

The role of algebraic inferences in Na‘im ibn Musa's Collection of geometrical propositions

Panza, Marco (2008)

Forthcoming International audience Na‘im ibn Musa's lived in Baghdad in the second half ofthe 9th century. He was probably not a major mathematician. Still his Collection of geometrical propositions---recently edited and translated in French by Roshdi Rashed and Christian Houzel---reflects ...

Voir plus d'informations | Voir la fiche de la ressource

Source : UPV

Strong and weak operational termination of order-sorted rewrite theories

Lucas Alba, Salvador et al. (nov. 2014)

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-12904-4 10 This paper presents several new results on conditional term rewriting within the general framework of order-sorted rewrite theories (OSRTs) which contains the more restricted framework of conditional ...

Voir plus d'informations | Voir la fiche de la ressource

Source : DANS

Schwinger-Dyson operator of Yang-Mills matrix models with ghosts and derivations of the graded shuffle algebra

Krishnaswami, G.S. (2008)

We consider large-N multi-matrix models whose action closely mimics that of Yang-Mills theory, including gauge-fixing and ghost terms. We show that the factorized Schwinger-Dyson loop equations, expressed in terms of the generating series of gluon and ghost correlations G( ), are quadratic equations ...

Voir plus d'informations | Voir la fiche de la ressource