It is shown that certain extremal correlators in four-dimensional N = 2 superconformal field theories (including N = 4 super-Yang-Mills as a special case) have a free-field functional form. It is further argued that the coupling constant dependence receives no correction beyond the lowest order. These results hold for any finite value of Nc. 1 UMR 5108 associée à l’Université de Savoie

2 PARAMETERIZED MODULES AS PARAMETERS A feature of OBJ3 not discussed in [8] allows the use of parameterized modules as parameter theories of other modules. The example below follows one suggested by Yatsu and Futatsugi [9] in connection with their design work on the CafeOBJ system [2]. The parameterized LIST object defines lists, with a comma syntax for concatenation. The theory FUN defines an...

We have proposed an adaptive procedure in order to estimate unknown parameters of a numerical model of a chaotic CO2 laser, which is observed through a time series that represents the output intensity of the laser. To do that, we consider a coupled system with the same functional form and adjustable parameters. The salient feature of the proposed technique is that accurate parameter estimation ...

Higher-Order Theories of Consciousness: An Anthology, edited by Rocco J. Gennaro, brings together fourteen new essays exploring the relative merits of and problems with higher-order representation (HOR) theories of consciousness. The anthology is divided into two parts. Part I contains articles by proponents of HOR theories arguing for their favorite version of the theory (Rosenthal, Gennaro, V...

Research has consistently demonstrated a negative and significant relationship between occupational feminization and wages. This has traditionally been attributed to societal mechanisms undervaluing the work mainly performed by women. More recently, empirical evidence from the US and Europe has supported theories based on the concept of specialized human capital. We examine whether lower wages ...

This paper is concerned with formalizations and veriications in type theory that are abstracted with respect to a large class of datatypes; i.e polytypic formalizations. The main advantage of these developments are that they can not only be used to polytypically deene functions but also to formally state polytypic theorems and to interactively develop polytypic proofs using existing proof edito...

The study of topological quantum field theories increasingly relies upon concepts from higher-dimensional algebra such as n-categories and n-vector spaces. We review progress towards a definition of n-category suited for this purpose, and outline a program in which n-dimensional TQFTs are to be described as n-category representations. First we describe a ‘suspension’ operation on ncategories, a...

The present research focuses on the use of a meshless method for solution nanoplates by considering strain gradient thin plate theory. Unlike most common finite element method, methods do not rely domain decomposition. In approach approximating functions at collocation nodes are obtained using radial basis which depend shape parameters. selection such parameters can strongly influences accuracy...

In the present investigation, free vibration of functionally graded material (FGM) skew plates under thermal environment is studied. Kinematics equations are based on the Reddy’s higher order shear deformation theory and a nine noded isoparametric Lagrangian element is adopted to mesh the plate geometry. The issue of C1 continuity requirement related to the assumed displacement field has been c...