101 resultados para proofofknowledge concurrent zero knowledge


Relevância:

20.00% 20.00%

Publicador:

Resumo:

The paper reports the findings of an experimental survey conducted to determine the public's willingness to pay (WTP) for the protection and conservation of the golden-shouldered parrot in Australia. This parrot is endemic to Australia and is one of Australia's most endangered birds. The paper examines the public's knowledge of this parrot and compares it with other endangered birds as well as common birds and the public's WTP for conservation from a hypothetical allocation of money based on their current knowledge. We then examine how this allocation changes with increased knowledge about all species.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the design of lattice domes, design engineers need expertise in areas such as configuration processing, nonlinear analysis, and optimization. These are extensive numerical, iterative, and lime-consuming processes that are prone to error without an integrated design tool. This article presents the application of a knowledge-based system in solving lattice-dome design problems. An operational prototype knowledge-based system, LADOME, has been developed by employing the combined knowledge representation approach, which uses rules, procedural methods, and an object-oriented blackboard concept. The system's objective is to assist engineers in lattice-dome design by integrating all design tasks into a single computer-aided environment with implementation of the knowledge-based system approach. For system verification, results from design examples are presented.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Recent findings that spinal manual therapy (SMT) produces concurrent hypoalgesic and sympathoexcitatory effects have led to the proposal that SMT may exert its initial effects by activating descending inhibitory pathways from the dorsal periaqueductal gray area of the midbrain (dPAG). In addition to hypoalgesic and sympathoexcitatory effects, stimulation of the dPAG in animals has been shown to hal e a facilitatory effect on motor activity. This study sought to further investigate the proposal regarding SMT and the FAG by including a test of motor function in addition to the variables previously investigated, Using a condition randomised, placebo-controlled, double blind, repeated measures design, 30 subjects with mid to lon er cervical spine pain of insidious onset participated in the study. The results indicated that the cervical mobilisation technique produced a hypoalgesic effect as revealed by increased pressure pain thresholds on the side of treatment (P = 0.0001) and decreased resting visual analogue scale scores (P = 0.049). The treatment technique also produced a sympathoexcitatory effect with an increase in skin conductance (P < 0.002) and a decrease in skin temperature (P = < 0.02). There was a decrease in superficial neck flexor muscle activity (P < 0.0002) at the lower levels of a staged cranio-cervical flexion test. This could imply facilitation of the deep neck flexor muscles with a decreased need for co-activation of the superficial neck flexors, The combination of all findings,would support the proposal that SMT may, at least initially, exert part of its influence via activation of the PAG, (C) 2000 Harcourt Publishers Ltd.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This special issue presents an excellent opportunity to study applied epistemology in public policy. This is an important task because the arena of public policy is the social domain in which macro conditions for ‘knowledge work’ and ‘knowledge industries’ are defined and created. We argue that knowledge-related public policy has become overly concerned with creating the politico-economic parameters for the commodification of knowledge. Our policy scope is broader than that of Fuller (1988), who emphasizes the need for a social epistemology of science policy. We extend our focus to a range of policy documents that include communications, science, education and innovation policy (collectively called knowledge-related public policy in acknowledgement of the fact that there is no defined policy silo called ‘knowledge policy’), all of which are central to policy concerned with the ‘knowledge economy’ (Rooney and Mandeville, 1998). However, what we will show here is that, as Fuller (1995) argues, ‘knowledge societies’ are not industrial societies permeated by knowledge, but that knowledge societies are permeated by industrial values. Our analysis is informed by an autopoietic perspective. Methodologically, we approach it from a sociolinguistic position that acknowledges the centrality of language to human societies (Graham, 2000). Here, what we call ‘knowledge’ is posited as a social and cognitive relationship between persons operating on and within multiple social and non-social (or, crudely, ‘physical’) environments. Moreover, knowing, we argue, is a sociolinguistically constituted process. Further, we emphasize that the evaluative dimension of language is most salient for analysing contemporary policy discourses about the commercialization of epistemology (Graham, in press). Finally, we provide a discourse analysis of a sample of exemplary texts drawn from a 1.3 million-word corpus of knowledge-related public policy documents that we compiled from local, state, national and supranational legislatures throughout the industrialized world. Our analysis exemplifies a propensity in policy for resorting to technocratic, instrumentalist and anti-intellectual views of knowledge in policy. We argue that what underpins these patterns is a commodity-based conceptualization of knowledge, which is underpinned by an axiology of narrowly economic imperatives at odds with the very nature of knowledge. The commodity view of knowledge, therefore, is flawed in its ignorance of the social systemic properties of ��knowing’.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Documentation of burn sequelae can be a difficult and time-consuming task. To date a reliable and systematic format for recording postburn trauma is lacking. The purpose of this research was two-fold: first, to develop a Modified Inventory of Potential Reconstructive Needs from the original Inventory of Potential Reconstructive Needs to allow methodical documentation of functional and cosmetic burn sequelae in all body surface areas of children with burns and, second, to establish interrater reliability and concurrent validity of the instrument, thus allowing its clinical application. Two raters scored the Modified Inventory of Potential Reconstructive Needs on 41 children with a range of burns types and severity. Excellent interrater reliability was demonstrated for both total (intraclass correlation coefficient = 0.996) and subsection inventory scores. Concurrent validity was also established with total scores showing strong positive correlations (0.73-0.76) with three indicators of burn severity. These findings provide initial support for the tool's clinical applicability, particularly in relation to rehabilitative planning and documentation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper examines the so-called ’Unagi-sentence‘ in Japanese. So far, it has been taken for granted that the Unagi-sentence is incomplete syntactically and/or semantically. Because its structure apparently neither provides a fully-fledged semantic meaning, nor furnishes a plausible syntactic pattern (such as ‘subject-predicate‘), a number of previous works have considered the Unagi-sentence to be elliptic, and consequently reconstructed it as a complete sentence or established intermediate structures to account for its grammatical form. Other researchers have not used elliptic solutions, but sought to discover logical connections between the parts of the Unagi-sentence themselves. As a result, fixing their entire attention on the internal structure of the Unagi-sentence, these researchers inevitably needed to establish hypothetical constructs in order to explain the structure of the Unagi-sentence. The present author believes that the Unagi-sentence is neither incomplete nor a result of some hypothetical processes. The Unagi-sentence stands on its own as a complete utterance. It is basically an NP utterance which can be expanded to the form NP1 wa + NP2 da and its variations. The occurrence of the Unagi-sentence depends heavily on a presupposed context and its pragmatic features, without which the Unagi-sentence cannot exist. It is these features that the present article seeks to elucidate.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the last few years two factors have helped to significantly advance our understanding of the Myxozoa. First, the phenomenal increase in fin fish aquaculture in the 1990s has lead to the increased importance of these parasites; in rum this has lead to intensified research efforts, which have increased knowledge of the development, diagnosis, and pathogenesis of myxozoans. The hallmark discovery in the 1980s that the life cycle of Myxobolus cerebralis requires development of an actinosporean stage in the Oligochaete. Tubifex tubifex, led to the elucidation of the life cycles of several other myxozoans. Also, the life cycle and taxonomy of the enigmatic PKX myxozoan has been resolved: it is the alternate stage of the unusual myxozoan. Tetracapsula bryosalmonae, from bryozoans. The 18S rDNA gene of many species has been sequenced, and here we add 22 new sequences to the data set. Phylogenetic analyses using all these sequences indicate that: 1) the Myxozoa are closely related to Cnidaria (also supported by morphological data), 2) marine taxa at the genus level branch separately from genera that usually infect freshwater fishes; 3) taxa cluster more by development and tissue location than by spore morphology; 4) the tetracapsulids branched off early in myxozoan evolution, perhaps reflected by their having bryozoan. rather than annelid hosts; 5) the morphology of actinosporeans offers little information for determining their myxosporean counterparts (assuming that they exist), and 6) the marine actinosporeans from Australia appear to form a clade within the platysporinid myxosporeans. Ribosomal DNA sequences have also enabled development of diagnostic tests for myxozoans. PCR and in situ hybridisation tests based on rDNA sequences have been developed for Myxobolus cerebralis. Ceratomyxa shasta. Kudoa spp,, and Tetracapsula bryosalmonae (PKX). Lectin-based and antibody tests have also been developed for certain myxozoans, such as PKX and C. shasta. We also review important diseases caused by myxozoans. which are emerging or re-emerging. Epizootics of whirling disease in wild rainbow trout (Oncorhynchus mykiss) have recently been reported throughout the Rocky Mountain states of the USA. With a dramatic increase in aquaculture of fishes using marine netpens, several marine myxozoans have been recognized or elevated in status as pathological agents. Kudoa thyrsites infections have caused severe post-harvest myoliquefaction in pen-reared Atlantic salmon (Salmo salar), and Ceratomyxa spp., Sphaerospora spp., and Myxidium leei cause disease in pen-reared sea bass (Dicentrarchus labrax) and sea bream species (family Sparidae) in Mediterranean countries.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.