نتایج جستجو برای: prddotmboxufer domains

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

2011
Iris Reinhartz-Berger Arava Tsoury

Core assets are reusable artifacts built to be used in different software products in the same family. As such, core assets need to capture both commonality that exists and variability that is allowed in the product family (line). These assets are later utilized for guiding the creation of particular valid products in the family. Feature-oriented and UML-based methods have been proposed for mod...

Journal: :international clinical neurosciences journal 0
afsaneh zarghi

purpose: the cognitive domains are assessed by cognitive tests and these assessments are different between man and woman in every test, this study assessed brain function by cognitive domains among men and women. methods : a cross-sectional study was done on a sample of 15 to 75 years old of 80 female and 80 male. all participants did neuro-cognitive computer battery (nccb) after training and c...

Journal: :Biochemistry 1999
M Lorch J M Mason A R Clarke M J Parker

A series of core mutations were introduced into beta-strand segments of an immunoglobulin fold (the isolated first domain of CD2, CD2.d1) to examine their influence on the rapidly formed intermediate state (I-state) which transiently accumulates in the folding reaction [Parker, M. J., and Clarke, A. R. (1997) Biochemistry 36, 5786-5794]. The residue changes were chemically conservative, each re...

Journal: :Logical Methods in Computer Science 2014
Ingo Battenfeld Klaus Keimel Thomas Streicher

In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schröder for the purpose of modelling computational effects in the particular case where the ambient category is given by classical domain theory. As examples of the general framework we consider the various powerdomains. For the particular case of the Plotkin powerdomain the general rec...

Journal: :Theor. Comput. Sci. 2004
Maurizio Alvarez-Manilla Achim Jung Klaus Keimel

This paper reviews the one-to-one correspondence between stably compact spaces (a topological concept covering most classes of semantic domains) and compact ordered Hausdorff spaces. The correspondence is extended to certain classes of real-valued functions on these spaces. This is the basis for transferring methods and results from functional analysis to the non-Hausdorff setting. As an applic...

Journal: :journal of algebraic systems 2014
mahmood behboodi reza jahani-nezhad mohammad hasan naderi

in this paper we investigate decompositions of submodules in modules over a proufer domain into intersections of quasi-primary and classical quasi-primary submodules. in particular, existence and uniqueness of quasi-primary decompositions in modules over a proufer domain of finite character are proved. proufer domain; primary submodule; quasi-primary submodule; classical quasi-primary; decomposi...

2015
Qiang Liu Shu Wu Liang Wang

With rapid growth of information on the internet, recommender systems become fundamental for helping users alleviate the problem of information overload. Since contextual information can be used as a significant factor in modeling user behavior, various contextaware recommendation methods are proposed. However, the state-of-the-art context modeling methods treat contexts as other dimensions sim...

1993
Reinhold Heckmann

The probabilistic power domain construction of Jones and Plotkin 6, 7] is deened by a construction on dcpo's. We present alternative deenitions in terms of information systems a la Vickers 12], and in terms of locales. On continuous domains, all three deenitions coincide.

2016
Janet C. Saunders Lydia M. Young Rachel A. Mahood Matthew P. Jackson Charlotte H. Revill Richard J. Foster D. Alastair Smith Alison E. Ashcroft David J. Brockwell Sheena E. Radford

Protein aggregation underlies an array of human diseases, yet only one small-molecule therapeutic targeting this process has been successfully developed to date. Here, we introduce an in vivo system, based on a β-lactamase tripartite fusion construct, that is capable of identifying aggregation-prone sequences in the periplasm of Escherichia coli and inhibitors that prevent their aberrant self-a...

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

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