نتایج جستجو برای: which is pitts model
تعداد نتایج: 8531956 فیلتر نتایج به سال:
Abstract In Hyland et al. (1980), Hyland, Johnstone and Pitts introduced the notion of tripos for purpose organizing construction realizability toposes in a way that generalizes localic from complete Heyting algebras. (2002), one finds generalization this eliminating an unnecessary assumption (1980). The aim paper is to characterize triposes over base topos ${\cal S}$ terms so-called constant o...
In a pioneering classic, Warren McCulloch and Walter Pitts proposed a model of the central nervous system. Motivated by EEG recordings of normal brain activity, Chvátal and Goldsmith asked whether these dynamical systems can be engineered to produce trajectories that are irregular, disorderly, and apparently unpredictable. We show that they cannot build weak pseudorandom functions.
We introduce the class of “right almost V-rings” which is properly between the classes of right V-rings and right good rings. A ring R is called a right almost V-ring if every simple R-module is almost injective. It is proved that R is a right almost V-ring if and only if for every R-module M, any complement of every simple submodule of M is a direct summand. Moreover, R is a right almost V-rin...
august wilson is undoubtedly one of the rare black playwrights whose works have attracted streams of attention and worldwide audience. the present study aims at analyzing fences and piano lesson which are two of the most successful plays in his pittsburgh cycle from the perspective of michel foucault’s theories and ideas. studying these two plays from foucault’s perspective opens new windows in...
Nominal rewriting (Fernández, Gabbay & Mackie, 2004; Fernández & Gabbay, 2007) is a framework that extends first-order term rewriting by a binding mechanism based on the nominal approach (Gabbay & Pitts, 2002; Pitts, 2003). In this paper, we investigate confluence properties of nominal rewriting, following the study of orthogonal systems in (Suzuki et al., 2015), but here we treat systems in wh...
abstract global financial crisis has created too many problems in relations among governments. among these problems, the issue of global monetary management, more than every time in the past four decades, has been moved in the center of international economic attentions. a problem which is specially known with the monetary hostility between united states and public republic of china. where ar...
abstract: postmethod is a newly developed pedagogy which as an alternative to method rejects the notion of good or bad methods and the concept of best method that can be generalized and appropriate for all contexts. instead, it treats each context as unique and one of a kind which cant be compared with other cases. this study is a postmethod-oriented one which investigates whether and how far t...
ii abstract the legend of human being’s refulgence was distorted completely in the age of modernity. this new age, had some drastic negative effects, besides its positive qualities. one significant negative effect of it was the emergence of neurosis in human beings. aldous huxley’s brave new world was one of the novels of the 02 th century that contained the prophecy of criticizing ...
abstract nowadays, the science of decision making has been paid to more attention due to the complexity of the problems of suppliers selection. as known, one of the efficient tools in economic and human resources development is the extension of communication networks in developing countries. so, the proper selection of suppliers of tc equipments is of concern very much. in this study, a ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید