992 resultados para proofofknowledge concurrent zero knowledge
Resumo:
No Abstract
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.
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.
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.
Resumo:
An economy is a coordinated system of distributed knowledge. Economic evolution occurs as knowledge grows and the structure of the system changes. This paper is about the role of markets in this process. Traditionally, the theory of markets has not been a central feature of evolutionary economics. This seems to be due to the orthodox view of markets as information-processing mechanisms for finding equilibria. But in economic evolution markets are actually knowledge-structuring mechanisms. What then is the relation between knowledge, information, markets and mechanisms? I argue that an evolutionary theory of markets, in the manner of Loasby (1999), requires a clear formulation of these relations. I suggest that a conception of knowledge and markets in terms of a graphical theory of complex systems furnishes precisely this.
Resumo:
We examined the burst swimming performance of two Antarctic fishes, Trematomus bernacchii and T. centronotus, at five temperatures between -1 degreesC and 10 degreesC. As Antarctic fishes are considered one of the most cold specialised and stenothermal of all ectotherms, we predicted they would possess a narrow thermal performance breadth for burst swimming and a correlative decrease in performance at high temperatures. Burst swimming was assessed by videotaping swimming sequences with a 50-Hz video camera and analysing the sequences frame-by-frame to determine maximum velocity, the distance moved throughout the initial 200 ms, and the time taken to reach maximum velocity. In contrast to our prediction, we found both species possessed a wide thermal performance breadth for burst swimming. Although maximum swimming velocity for both T. bernacchii and T. centronotus was significantly highest at 6 degreesC, maximum velocity at ah other test temperatures was less than 20% lower. Thus, it appears that specialisation to a highly stable and cold environment is not necessarily associated with a narrow thermal performance breadth for burst swimming in Antarctic fish. We also examined the ability of the Antarctic fish Pagothenia borchgrevinki to acclimate their burst-swimming performance to different temperatures. We exposed P, borchgrevinki to either -1 degreesC or 4 degreesC for 4 weeks and tested their burst-swimming performance at four temperatures between -1 degreesC and 10 degreesC. Burst-swimming performance of Pagothenia borchgrevinki was unaffected by exposure to either -1 degreesC or 4 degreesC for 4 weeks. Maximum swimming velocity of both acclimation groups was thermally independent over the total temperature range of -1 degreesC to 10 degreesC. Therefore, the loss of any capacity to restructure the phenotype and an inability to thermally acclimate swimming performance appears to be associated with inhabiting a highly stable thermal environment.
Resumo:
In many occupational safety interventions, the objective is to reduce the injury incidence as well as the mean claims cost once injury has occurred. The claims cost data within a period typically contain a large proportion of zero observations (no claim). The distribution thus comprises a point mass at 0 mixed with a non-degenerate parametric component. Essentially, the likelihood function can be factorized into two orthogonal components. These two components relate respectively to the effect of covariates on the incidence of claims and the magnitude of claims, given that claims are made. Furthermore, the longitudinal nature of the intervention inherently imposes some correlation among the observations. This paper introduces a zero-augmented gamma random effects model for analysing longitudinal data with many zeros. Adopting the generalized linear mixed model (GLMM) approach reduces the original problem to the fitting of two independent GLMMs. The method is applied to evaluate the effectiveness of a workplace risk assessment teams program, trialled within the cleaning services of a Western Australian public hospital.
Resumo:
In this article, we draw together aspects of contemporary theories of knowledge (particularly organisational knowledge) and complexity theory to demonstrate how appropriate conceptual rigor enables both the role of government and the directions of policy development in knowledge-based economies to be identified. Specifically we ask, what is the role of government in helping shape the knowledge society of the future? We argue that knowledge policy regimes must go beyond the modes of policy analysis currently used in innovation, information and technology policy because they are based in an industrial rather than post-industrial analytical framework. We also argue that if we are to develop knowledge-based economies, more encompassing images of the future than currently obtain in policy discourse are required. We therefore seek to stimulate and provoke an array of lines of thought about government and policy for such economies. Our objective is to focus on ideas more than argument and persuasion.