نتایج جستجو برای: partiality

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

2016
John Tribe Honggen Xiao Donna Chambers

It was Habermas who commented on the fact that knowledge is never interest free. But it often appears to be on the surface. Journals with their rigorous systems of double blind peer review certainly do their best to avoid partiality and add to the trustworthiness of the process. But their deeply routinised systems contribute to the “black boxing” of knowledge production. This article wishes to ...

Journal: :Medical History 1986
W Schupbach

The mansion and gardens which John Hunter constructed as a country residence and biological research station at Earl's Court in London became in due course a private lunatic asylum for ladies, although the building's connexion with Hunter was not one which the later proprietors liked to publicize. A detailed history of the house has never been written, and it may be that the documents for such ...

1996
Robert F. Stärk

We introduce two logics for partiality, a call-by-value logic and a call-by-name logic. Both logics are variants of the logic of partial terms, an extension of the first-order predicate calculus by a definedness predicate. In our logics, however, quantifiers may only be instantiated to value terms and not to arbitrary, defined terms as in the logic of partial terms. We show that the call-by-val...

2007
Michihiro Matsumoto Kokichi Futatsugi

The foundations of the eld of behavioral speci cation have matured. So, case studies are the important current topics of this eld. In our previous work, we built the behavioral speci cation of the Automated Teller Machine (ATM) system by using object composition and observable projection operators. From this experience, we noticed that this approach had the following problems: there was no good...

1997
Till Mossakowski Kolyang Bernd Krieg-Brückner

This paper presents a static semantic analysis for CASL, the Common Algebraic Speciication Language. Abstract syntax trees are generated including subsorts and overloaded functions and predicates. The static semantic analysis, through the implementation of an overload resolution algorithm, checks and qualiies these abstract syntax trees. The result is a fully qualiied CASL abstract syntax tree ...

Journal: :Electr. Notes Theor. Comput. Sci. 1999
Paulo Mateus Amílcar Sernadas Cristina Sernadas

A relaxed notion of category is presented having in mind the categorical caracterization of the mechanisms for combining probabilistic automata, since the composition of the appropriate morphisms is not always deened. A detailed discussion of the required notion of morphism is provided. The partiality of composition of such morphisms is illustrated at the abstract level of countable probability...

2015
Xuping Huang

In this paper, a reversible and robust acoustic watermarking based on lossless compression is proposed. Stereo speech data is represented by 16 bit for each sampling point and then divided into frames. Then Huffman lossless compression algorithm is applied to insignificant 4 bits in each sampling point partiality to reserve hiding capacity. An average of 0.7035 and the best 0.686 compression ra...

Journal: :BMC Dermatology 2005
Joseph Mathew May Y Leong Nick Morley Alastair D Burt

BACKGROUND Pathologists are often faced with the dilemma of whether to recommend continuation of methotrexate therapy for psoriasis within the context of an existing pro-fibrogenic risk factor, in this instance, patients with genetic hemochromatosis. CASE PRESENTATIONS We describe our experience with two male psoriatic patients (A and B) on long term methotrexate therapy (cumulative dose A = ...

Journal: : 2021

This paper defends partiality as an inherent, essential part of ethical decision-making. First, the concept charity a kind universal benevolence is spelled out, drawing on key ideas from classical religious thinking. I then argue that any justification must appeal to good first, rather than rights. There follows via argument idea control over good. The next section seeks harmonize partialistic ...

Journal: :Plant physiology 1991
J Chen E I Sucoff E J Stadelmann

This report extends research on Al-induced changes in membrane behavior of intact root cortex cells of Northern red oak (Quercus rubra). Membrane permeability was determined by the plasmometric method for individual intact cells at temperatures from 2 or 4 to 35 degrees C. Al (0.37 millimolar) significantly increased membrane permeability to urea and monoethyl urea and decreased permeability to...

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

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