نتایج جستجو برای: un

تعداد نتایج: 187266  

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده ادبیات و زبانهای خارجی 1390

conclusion tout lecteur de théâtre se doit d’être un metteur en scène en puissance. le texte dramatique est en effet ouvert aux possibles de l’imaginaire ; en l’absence de scène, le lecteur s’invente un parti pris, visualise les personnages en action et donne à l’espace les couleurs, les dimensions et les formes qui correspondent aux caprices de son imagination. or dans ruyblas, hugo démultipl...

2004
Jeff Z. Pan

Syntax DL Syntax Semantics domain(u1, . . . , un) (u1, . . . , un) u D 1 × . . .× un

2005
Zehua Zhou Min Zhu

Let U be the unit polydisc of C n and φ = (φ1, . . . , φn) a holomorphic self-map of U. By Bp(Un), B 0 (U) and B 0∗ (U) denote the p-Bloch space, Little p-Bloch space and Little star p-Bloch space in the unit polydisc U respectively, where p, q > 0. This paper gives the estimates of the essential norms of bounded composition operators Cφ induced by φ between Bp(Un) (B 0(Un) or B 0∗(Un) ) and Bq...

Journal: :Notre Dame Journal of Formal Logic 2017
Hartry Field Harvey Lederman Tore Fjetland Øgaard

ion Schema: (1) ∀u1, ...,∀un∀z[z ∈ {x : A(x;u1, ...,un)}⇔ A(z;u1, ...,un)]

Journal: :CoRR 2012
Swan Dubois Sébastien Tixeuil Nini Zhu

Un protocole auto-stabilisant est par nature tolérant aux fautes transitoires (i.e. de durée finie). Ces dernières années ont vu apparaı̂tre une nouvelle classe de protocoles qui, en plus d’être auto-stabilisants, tolèrent un nombre limité de fautes permanentes. Dans cet article, nous nous intéressons aux protocoles auto-stabilisants tolérant des fautes permanentes très sévères : les fautes Byza...

Journal: :Procesamiento del Lenguaje Natural 2001
Alicia Garrido-Alenda Mikel L. Forcada

Resumen Este art́ıculo presenta un lenguaje para especificar las reglas de un módulo de transferencia morfólogica para un sistema de traducción automática (TA) aśı como el compilador que se tiene que utilizar para convertir esta especificación en un programa ejecutable. El módulo de transferencia morfológica trabaja sobre la salida que produce un analizador morfológico seguido de un desambiguado...

2000
Pierre-Henri Wuillemin Olav Bangsø

RÉSUMÉ. La représentation de connaissances incertaines est un problème important dans le domaine de l’intelligence artificielle. Les réseaux probabilistes proposent une solution intéressante pour de nombreuses raisons théoriques et pratiques mais ont le désavantage d’être difficiles à créer autant qu’à maintenir. Dans cet article, nous définissons un cadre de spécification orientée objet qui pe...

2007
ZEHUA ZHOU YAN LIU

Let Un be the unit polydisc of Cn and φ = (φ1, . . . ,φn) a holomorphic self-map of Un. p(Un), p 0 (U n), and p 0∗(U n) denote the p-Bloch space, little p-Bloch space, and little star p-Bloch space in the unit polydisc Un, respectively, where p,q > 0. This paper gives the estimates of the essential norms of bounded composition operators Cφ induced by φ between p(Un) ( p 0 (U n) or p 0∗(U n)) an...

A. Jonker M. Hedayati M. Manafi M. Yari, R. Karimi R. Valizadeh

Grapes and grape-derived products have worldwide importance due to its consumption by human, however, they may also be used for ruminant feeding when their price or quality is low. The objectives of current study were to determine the nutritive value, in terms of chemical composition, in vitro rumen gas production kinetics and predicted nutrient supply, Fourier Transform Infrared Spectroscopic ...

Amir Mansoor Sadr, Gholamreza Vali Zadeh, Hossein Ali Askari,

Un gargon de 13 ans fut hospitalise dans le Service de Pediatrie du C.H.U. de Pahlavi de la Faculte de Medicine de Teheran, pour une insuf­fisance cardiaque. Les signes auscultatoires, radiologiques et electriques evoquaient une stenose mitrale. Le malade deceda <lans le tableau d'oedeme pulmonaire aigli, apres quel­ques episodes d'hemiparesies resolutives.  A l'autopsie, il existait un myxcme...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید