964 resultados para Logical necessity


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The substitution of dietary docosahexaenoic acid (DHA) with eicosapentaenoic acid (EPA) reduces larval growth in gilthead sea bream. However, the value of EPA when dietary DHA is able to meet the requirements of the larvae has not been sufficiently studied. Dietary phosphoacylgliceride levels also affect fish growth and it has been suggested that they enhance lipid transport in developing larvae. The present experiment was carried out to further study the effect of dietary lecithin and eicosapentaenoic acid on growth, survival, stress resistance,. larval fatty acid composition and lipid transport, when DHA is present in the microdiets of gilthead:sea bream. Eighteen thousand gilt-head sea bream larvae of 4.99+/-0.53 mm total length were fed three microdiets tested by triplicate: a control diet [2% soybean lecithin (SBL) and 2.89% EPA], a low EPA diet,(2% SBL and 1.63% EPA) and a no SBL diet (0% SBL and 2.71% EPA). Handling, temperature and salinity tests determined larval resistance to stress. The results show that when dietary DHA levels are high, but dietary arachidonic acid (ARA) levels are about 0.2%, EPA is necessary to improve larval growth, and survival. Larval EPA content, but not DHA or ARA, was affected by dietary EPA levels. Increased dietary EPA improved larval stress resistance to handling and temperature tests, which could be related to its possible role as a regulator of cortisol production whereas it did not affect stress resistance after salinity shock. Larvae fed the no SBL diet showed a lower lipid content characterized by a low proportion of saturated and monounsaturated fatty acids, together with a significant reduction in the appearance of lipoprotein particles in the lamina propria and in the size of such particles, denoting a critical reduction in dietary lipid transport and utilization, and lower larval growth and survival rates.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make it easier for an automatic system to work with programs. It focuses on how the primitive operations performed by a program are combined together in order to produce the actions of the program as a whole. It does not address the issue of how complex data structures are built up from simpler ones, nor the relationships between data structures and the operations performed on them.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Ridoux, O. and Ferr?, S. (2004) Introduction to logical information systems. Information Processing & Management, 40 (3), 383-419. Elsevier

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Ferr?, S. and King, R. D. (2004) BLID: an Application of Logical Information Systems in Bioinformatics. In P. Eklund (editor), 2nd International Conference on Formal Concept Analysis (ICFCA), Feb 2004. LNCS 2961, Springer.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Whelan, K. E. and King, R. D. Using a logical model to predict the growth of yeast. BMC Bioinformatics 2008, 9:97

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Lennart Åqvist (1992) proposed a logical theory of legal evidence, based on the Bolding-Ekelöf of degrees of evidential strength. This paper reformulates Åqvist's model in terms of the probabilistic version of the kappa calculus. Proving its acceptability in the legal context is beyond the present scope, but the epistemological debate about Bayesian Law isclearly relevant. While the present model is a possible link to that lineof inquiry, we offer some considerations about the broader picture of thepotential of AI & Law in the evidentiary context. Whereas probabilisticreasoning is well-researched in AI, calculations about the threshold ofpersuasion in litigation, whatever their value, are just the tip of theiceberg. The bulk of the modeling desiderata is arguably elsewhere, if one isto ideally make the most of AI's distinctive contribution as envisaged forlegal evidence research.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Trust is a complex concept that has increasingly been debated in academic research (Kramer and Tyler, 1996). Research on 'trust and leadership' (Caldwell and Hayes, 2007) has suggested, unsurprisingly, that leadership behaviours influence 'follower' perceptions of leaders' trustworthiness. The development of 'ethical stewardship' amongst leaders may foster high trust situations (Caldwell, Hayes, Karri and Bernal, 2008), yet studies on the erosion of teacher professionalism in UK post-compulsory education have highlighted the distrust that arguably accompanies 'new managerialism', performativity and surveillance within a climate of economic rationalisation established by recent deterministic skills-focused government agendas for education (Avis, 2003; Codd, 1999, Deem, 2004, DFES, 2006). Given the shift from community to commercialism identified by Collinson and Collinson (2005) in a global economic environment characterised by uncertainty and rapid change, trust is, simultaneously, increasingly important and progressively both more fragile and limited in a post compulsory education sector dominated by skills-based targets and inspection demands. Building on such prior studies, this conference paper reports on the analysis of findings from a 2007-8 funded research study on 'trust and leadership' carried out in post-compulsory education. The research project collected and analysed case study interview and survey data from the lifelong learning sector, including selected tertiary, further and higher education (FE and HE) institutions. We interviewed 18 UK respondents from HE and FE, including principals, middle managers, first line managers, lecturers and researchers, supplementing and cross-checking this with a small number of survey responses (11) on 'trust and leadership' and a larger number (241) of survey responses on more generalised leadership issues in post-compulsory education. A range of facilitators and enablers of trust and their relationship to leadership were identified and investigated. The research analysed the ways in which interviewees defined the concept of 'trust' and the extent to which they identified that trust was a mediating factor affecting leadership and organisational performance. Prior literature indicates that trust involves a psychological state in which, despite dependency, risk and vulnerability, trustors have some degree of confident expectation that trustees will behave in benevolent rather than detrimental ways. The project confirmed the views of prior researchers (Mayer, Davis and Schoorman, 1995) that, since trust inevitably involves potential betrayal, estimations of leadership 'trustworthiness' are based on followers' cognitive and affective perceptions of the reliability, competence, benevolence and reputation of leaders. During the course of the interviews it also became clear that some interviewees were being managed in more or less transaction-focused, performative, audit-dominated cultures in which trust was not regarded as particularly important: while 'cautious trust' existed, collegiality flourished only marginally in small teams. Economic necessity and survival were key factors influencing leadership and employee behaviours, while an increasing distance was reported between senior managers and their staff. The paper reflects on the nature of the public sector leadership and management environment in post-compulsory education reported by interviewees and survey respondents. Leadership behaviours to build trust are recommended, including effective communication, honesty, integrity, authenticity, reliability and openness. It was generally felt that building trust was difficult in an educational environment largely determined by economic necessity and performativity. Yet, despite this, the researchers did identify a number of examples of high trust leadership situations that are worthy of emulation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The right to self-defence has lately been subjected to intense academic controversy, both at the domestic and international level. The debate is focused on the question of whether or not the requirement of imminence is merely a translator for the notion of necessity. At the domestic level, the debate has mainly been kindled by feminist scholars, who, in the context of the 'battered woman', argue that the requirement of imminence should be discarded from the contours of the self-defence doctrine. The purpose of this article is to prove the necessity of the imminence requirement as a litmus test to detect possible abuses of the self-defence doctrine.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

As a class of defects in software requirements specification, inconsistency has been widely studied in both requirements engineering and software engineering. It has been increasingly recognized that maintaining consistency alone often results in some other types of non-canonical requirements, including incompleteness of a requirements specification, vague requirements statements, and redundant requirements statements. It is therefore desirable for inconsistency handling to take into account the related non-canonical requirements in requirements engineering. To address this issue, we propose an intuitive generalization of logical techniques for handling inconsistency to those that are suitable for managing non-canonical requirements, which deals with incompleteness and redundancy, in addition to inconsistency. We first argue that measuring non-canonical requirements plays a crucial role in handling them effectively. We then present a measure-driven logic framework for managing non-canonical requirements. The framework consists of five main parts, identifying non-canonical requirements, measuring them, generating candidate proposals for handling them, choosing commonly acceptable proposals, and revising them according to the chosen proposals. This generalization can be considered as an attempt to handle non-canonical requirements along with logic-based inconsistency handling in requirements engineering.