نتایج جستجو برای: oepahp approach

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

1997
Loïc Correnson Étienne Duris Didier Parigot Gilles Roussel

The functional programming community is paying increasing attention to static structure-based transformations. For example, generic control operators , such as fold, have been introduced in functional programming to increase the power and applicability of a particular kind of static transformation, called deforestation, which prevents the construction of useless intermediate data structures in ...

Journal: :Science 2013
Lars Jørgensen Steven J McKerrall Christian A Kuttruff Felix Ungeheuer Jakob Felding Phil S Baran

Ingenol is a diterpenoid with unique architecture and has derivatives possessing important anticancer activity, including the recently Food and Drug Administration-approved Picato, a first-in-class drug for the treatment of the precancerous skin condition actinic keratosis. Currently, that compound is sourced inefficiently from Euphorbia peplus. Here, we detail an efficient, highly stereocontro...

2001
Manuel Torres José Samos

Schema closure is a property to guarantee that classes in a schema have not references to classes that are not included into it (external references). The existing methodologies solve this point including referenced classes into the schema. In this paper, a new kind of schema closure (reduction closure) is put forward. Reduction closure is based on the transformation of classes with external re...

Journal: :Theor. Comput. Sci. 2011
Hajnal Andréka Szabolcs Mikulás István Németi

Languages and families of binary relations are standard interpretations of Kleene algebras. It is known that the equational theories of these interpretations coincide and that the free Kleene algebra is representable both as a relational and as a language algebra. We investigate the identities valid in these interpretations when we expand the signature of Kleene algebras with the meet operation...

2008
R. Cenni

We present an evaluation of the non-mesonic decay widths for Λ-hypernuclei (ΛN → NN , ΛNN → NNN) within the framework of the polarization propagator method. The full Λ self-energy is evaluated microscopically in nuclear matter by using the functional approach, which supplies a theoretically well grounded approximation scheme for the classification of the relevant diagrams, according to the pres...

2006
Holger Schmidt Ina Wentzlaff

In this paper, we present a pattern-based software development method that preserves usability and security quality characteristics using a role-driven mapping of requirements analysis documents to architectural design artifacts. The quality characteristics usability and security are captured using specialized problem frames, which are patterns that serve to structure, characterize, and analyze...

2006
Christine Choppy Maritta Heisel

Patterns such as problem frames and architectural styles are used here to support the formal specification and the development of information systems. New problem frames specific to information systems are proposed to describe identified sub-problems and to help the formal specification task. Recomposition is achieved through a component based approach and an architectural style that puts toget...

2003
Todd B. Kashdan

This commentary raises conceptual issues related to recent efforts to develop measures of subjective wellbeing (SWB). Specifically, Hills’ and Argyle’s (2002) article on the development of the 29-item Oxford Happiness Questionnaire (OHQ), and its predecessor, the 20-item Oxford Happiness Inventory (Argyle, Martin & Crossland, 1989). Instead of assessing the structure of subjective well-being (S...

2015
Wieslaw Paja Krzysztof Pancerz

Feature selection methods, as a preprocessing step to machine learning, are effective in reducing dimensionality, removing irrelevant data, increasing learning accuracy, and improving result comprehensibility. However, the recent increase of dimensionality of data poses a severe challenge to many existing feature selection methods with respect to the efficiency and effectiveness. In this work, ...

2002
Jon G. Hall Michael Jackson Robin C. Laney Bashar Nuseibeh Lucia Rapanotti

Problem frames provide a means of analyzing and decomposing problems. They emphasise the world outside of the computer, helping the developer to focus on the problem domain, instead of drifting into inventing solutions. However, even modestly complex problems can force us into detailed consideration of the architecture of the solution. This is counter to the intention of the problem frames appr...

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

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