نتایج جستجو برای: which is pitts model

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

1997
I Moerdijk J C Vermeulen Andrew Pitts

Introduction In this paper we prove a conjecture of Andrew Pitts which states that the Beck Chevalley condition holds for lax pullbacks or comma squares of coherent toposes see Theorem below Pitts conjecture was put forward as a way towards the lax descent theorem for coherent toposes Theorem below The latter entails a dual version for pretoposes which was eventually established by Zawadowski i...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تبریز 1390

learning a second or foreign language requires the manipulation of four main skills, namely, listening, reading, speaking, and writing which lead to effective communication. it is obvious that vocabulary is an indispensible part of any communication, so without a vocabulary, no meaningful communication can take place and meaningful communication relies heavily on vocabulary. one fundamental fac...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه شهید مدنی آذربایجان - دانشکده ادبیات و زبانهای خارجی 1389

according to coates’s (2004, as cited in zhang, 2010) definition of "conversational dominance" (p.111), it refers to the phenomenon of a speaker dominating others in interaction. specifically, it means how a speaker makes use of certain strategies to get the floor and maintain the floor. thus, the amount of talk is the main measurement for the dominance of the conversation. whether a speaker do...

2009
Enrique Mérida Casermeiro Domingo López-Rodríguez Juan Miguel Ortiz-de-Lazcano-Lobato

Since McCulloch and Pitts’ seminal work (McCulloch & Pitts, 1943), several models of discrete neural networks have been proposed, many of them presenting the ability of assigning a discrete value (other than unipolar or bipolar) to the output of a single neuron. These models have focused on a wide variety of applications. One of the most important models was developed by J. Hopfield in (Hopfiel...

Journal: :Biophysical Journal 1970

2007
Mathilde Arnaud

Pitts and Shinwell introduced an idealized programming language containing constructs for binding and also for pattern matching against this binding construct. They prove a result about which operations on names can co-exist with the binding construct in this language. What makes this construct interesting is that it generates a new name at the moment of “unbinding”. In this report we describe ...

Journal: :Notre Dame Journal of Formal Logic 1998

Journal: :Bulletin of Mathematical Biology 2011

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه تربیت دبیر شهید رجایی - دانشکده علوم انسانی 1391

according to cheng (1999), in recent esl/efl literature, asian (especially east asian) learners of english as a foreign/second language have been arguably reported as reticent and passive learners. the most common allegations are that these students are reluctant to participate in classroom discourse; they are unwilling to give responses; they do not ask questions; and they are passive and over...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بیرجند - دانشکده ادبیات و علوم انسانی 1391

1.1 introduction “i see translation as the attempt to produce a text so transparent that it does not seem to be translated. a good translation is like a pane of glass. you only notice that it’s there when there are little imperfections- scratches, bubbles. ideally, there shouldn’t be any. it should never call attention to itself.” “norman shapiro” (venuti, 1995:1) edward fitzgerald is the br...

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

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