نتایج جستجو برای: names
تعداد نتایج: 28619 فیلتر نتایج به سال:
Meaningful method names are crucial for the readability and maintainability of software. Existing naming conventions focus on syntactic details, leaving programmers with little or no support in assuring meaningful names. In this paper, we show that naming conventions can go much further: we can mechanically check whether or not a method name and implementation are likely to be good matches for ...
Postprint This is the accepted version of a paper published in Zoomorphology. This paper has been peer-reviewed but does not include the final publisher proof-corrections or journal pagination. Metamorphosis in Craniiformea revisited: Novocrania anomala shows delayed development of the ventral valve. Access to the published version may require subscription. Abstract Keywords ontogeny, developme...
We address the problem of message authentication using the -calculus, which has been given an operational semantics in [2] that provides each sequential process of a system with its own local space of names. We exploit here that semantics and its localized names to guarantee by construction that a message has been generated by a given entity. Therefore, our proposal can be seen as a reference f...
The nu-calculus of Pitts and Stark was introduced as a paradigmatic functional language with a very basic local-state effect: references of unit type. These were called names, and the motto of the new language went as follows. “Names are created with local scope, can be tested for equality, and are passed around via function application, but that is all.” Because of this limited framework, the ...
Providing appealing brand names to newly launched products, newly formed companies or for renaming existing companies is highly important as it can play a crucial role in deciding its success or failure. In this work, we propose a computational method to generate appealing brand names based on the description of such entities. We use quantitative scores for readability, pronounceability, memora...
The order Magnaporthales comprises about 200 species and includes the economically and scientifically important rice blast fungus and the take-all pathogen of cereals, as well as saprotrophs and endophytes. Recent advances in phylogenetic analyses of these fungi resulted in taxonomic revisions. In this paper we list the 28 currently accepted genera in Magnaporthales with their type species and ...
The stage of the Unity essence is the first stage of manifestation and determination of the essence of the “Unseen of the Unseens” in which the names and entities have conceptual and denotation unity with each other and with the Essence. Perception of the unity essence in mystics language is usually uttered as the stage of manifestation of presence of ipseity and the Unseen of the Unseens and t...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید