نتایج جستجو برای: scott model

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

Journal: :Archives of ophthalmology 2012
Jesse J Jung K Bailey Freund

tern and visual outcome in experimentally-induced Staphylococcus epidermidis endophthalmitis in a rabbit model. Ophthalmology. 2001;108(3):470478. 4. Miller D, Flynn PM, Scott IU, Alfonso EC, Flynn HW Jr. In vitro fluoroquinolone resistance in staphylococcal endophthalmitis isolates. Arch Ophthalmol. 2006;124(4):479-483. 5. Benz MS, Scott IU, Flynn HW Jr, Unonius N, Miller D. Endophthalmitis is...

Journal: :Ann. Pure Appl. Logic 2009
Vladimir Sazonov

As Dag Normann has recently shown, the fully abstract model for PCF of hereditarily-sequential functionals is not ω-complete (in contrast to the old fully abstract continuous dcpo model of Milner). This is also applicable to a potentially wider class of models such as the recently constructed by the author fully abstract (universal) model for PCF = PCF + pif (parallel if). Here we will present ...

Journal: :international journal of civil engineering 0
b. zahabiyoun

a methodology is presented for the stochastic generation of daily rainfall which accounts for changes to the climatic inputs. the focus of the study is an example catchment in iran. the methodology addresses the inability of gcms to provide suitable future scenarios for the time and space scales required for a water resource impact assessment for a small catchment. one stochastic model for rain...

2011
Colin Riba

We investigate the representation of functions on streams in some denotational domains. As expected, a total continuous stream function can always be represented by a Scott-continuous function, and moreover by a strongly stable map in the corresponding Hypercoherence. It seems however difficult to represent an arbitrary stream function by a monotone map on Scott domains such that the stream fun...

2007
JUNCHENG WEI

We consider a nonlocal eigenvalue problem which arises in the study of stability of spike solutions for the Sel'kov model, the Gray-Scott system and angiogenesis. We give some suucient and explicit conditions for stability.

The main concern of this study was communication strategies (CSs) which are used to compensate for communication breakdown. The goals of this study were to examine whether proficiency level of Iranian students had any relationship with their choice of CSs. This research was descriptive in nature. The participants were 15 pre-intermediate and 14 intermediate EFL learners between 16 to 21years ol...

1998
Stefano Berardi Chantal Berline

We show that the model of system F introduced in 5], and having as polymorphic maps exactly all Scott continuous maps, is-complete. This proves in particular the existence of non trivial-complete models for F: 1 Introduction.

1999
Yan Huang

One of the central issues in the study of discourse anaphora is concerned with the problem of anaphoric distribution in discourse, namely how to account for the choice of a particular referential/anaphoric form at a particular point in discourse. Needless to say, anaphoric distribution in discourse is a very complex phenomenon, involving, among other things, structural, cognitive and pragmatic ...

2007
Harold Bennett David Lutzer D. Lutzer

In this paper we show that a variation of a technique of Mǐskin and Tall yields a cocompact completely regular Moore space that is Scott-domain-representable and has a closed Gδ-subspace that is not Scott-domain-representable. This clarifies the general topology of Scott-domain-representable spaces and raises additional questions about Scott-domain representability in Moore spaces. 2000 AMS Cla...

2011
Carlos Diego Andrade de Almeida Thiago Crystyan Macedo Adriano Bessa Albuquerque

Many companies look for in a implementation of a Improvement Program based on software maturity models as a way of increasing their product's quality. For knowing their maturity level, they have to submit themselves for an assessment based in models. To be assessed, a company spends some time into the definition and implementation of the necessary software processes. However, after the assessme...

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

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