30 resultados para Compositional Rule of Inference
em University of Queensland eSpace - Australia
Resumo:
Reaching out to grasp an object (prehension) is a deceptively elegant and skilled behavior. The movement prior to object contact can be described as having two components [1], the movement of the hand to an appropriate location for gripping the object, the transport component, and the opening and closing of the aperture between the fingers as they prepare to grip the target, the grasp component. The grasp component is sensitive to the size of the object, so that a larger grasp aperture is formed for wider objects [1]; the maximum grasp aperture (MGA) is a little wider than the width of the target object and occurs later in the movement for larger objects [1, 2]. We present a simple model that can account for the temporal relationship between the transport and grasp components, We report the results of an experiment providing empirical support for our rule of thumb. The model provides a simple, but plausible, account of a neural control strategy that has been the center of debate over the last two decades.
Resumo:
A new class of bilinear permutation polynomials was recently identified. In this note we determine the class of permutation polynomials which represents the functional inverse of the bilinear class.
Resumo:
Changes in composition during the maturation of Western Schley pecans [Carya illinoinensis (Wangenh.) K. Koch] grown in Australia were investigated. Pecans of different maturity levels were collected at monthly intervals between March and June in. 1999 and 2000 and analyzed for the concentrations of moisture, total lipid, sucrose, raffinose, protein, and the minerals aluminum, boron, calcium, copper, iron, potassium, magnesium, manganese, sodium, phosphorus, sulfur, and zinc. Moisture, total lipid, and calcium contents changed significantly (p < 0.05) with harvest time and maturity, whereas the other components did not. Western Schley pecans grown in Australia should be harvested after the shuck has opened and it is either green or brown in color to maximize total lipid content and quality. This occurred after May 11 in 1999 and after May 17 in 2000.
Resumo:
Caffeine, total amino acids, water extract and moisture content are considered to be quality indicators for leaf teas and teabags. These analyses were examined in 20 leaf teas and 36 teabags sampled from Australian supermarkets. About 70% of the analysed samples showed a moisture content higher than Vie maximum accepted level, 6.5%, for tea storage and marketing by the tea industries and traders. Water appropriate extract of 15 samples out of 36 teabags was lower than that of the teas without teabags, which indicates that the quality of the paper used for teabags needs to be evaluated. Moreover, one of the black leaf tea samples was found to have a water extract below the lower limit of international standards. Four green and black teas of the same brand, claimed to contain less than 3% caffeine, were found to have 3-4%, the same as the other samples analysed in this study. The mean total contents of amino acids were 2.50% and 1.76% in black leaf teas and the teabags, respectively, whereas they were 3.44% and 2.28% in green leaf teas and the teabags, respectively. Furthermore, the weights of 28 teabags out of 36 samples were found to lie outside of the proposed +/- 2% variation accepted by the tea industries and traders, and 4 samples showed even larger variation, 10% being out of the proposed weights. This investigation also showed that the solubility of caffeine and water extract was affected by the permeability of teabags, whereas total amino acids were very variable. These results suggest that an efficient and practical quality control system for both imported and Australian-made teas in the Australian supermarkets should be developed, implemented and enforced. Chemical analysis should be a part of the system for establishing an objective assessment for the quality control. (c) 2004 Elsevier Ltd. All rights reserved.
Resumo:
Motivated by Bravais' rule, of wide validity for crystals, we introduce a maximum density rule for the surfaces of quasicrystals and use it to determine the 5-, 2- and 3-fold bulk terminations in a geometric icosahedral model of i-AlPdMn and i-AlCuFe that represent surfaces.
Resumo:
This paper presents a framework for compositional verification of Object-Z specifications. Its key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component in the hierarchy local properties are proven in a single proof step. However, we do not consider components in isolation. Instead, components are envisaged in the context of the referencing super-component and proof steps involve assumptions on properties of the sub-components. The framework is defined for Linear Temporal Logic (LTL)
Resumo:
HE PROBIT MODEL IS A POPULAR DEVICE for explaining binary choice decisions in econometrics. It has been used to describe choices such as labor force participation, travel mode, home ownership, and type of education. These and many more examples can be found in papers by Amemiya (1981) and Maddala (1983). Given the contribution of economics towards explaining such choices, and given the nature of data that are collected, prior information on the relationship between a choice probability and several explanatory variables frequently exists. Bayesian inference is a convenient vehicle for including such prior information. Given the increasing popularity of Bayesian inference it is useful to ask whether inferences from a probit model are sensitive to a choice between Bayesian and sampling theory techniques. Of interest is the sensitivity of inference on coefficients, probabilities, and elasticities. We consider these issues in a model designed to explain choice between fixed and variable interest rate mortgages. Two Bayesian priors are employed: a uniform prior on the coefficients, designed to be noninformative for the coefficients, and an inequality restricted prior on the signs of the coefficients. We often know, a priori, whether increasing the value of a particular explanatory variable will have a positive or negative effect on a choice probability. This knowledge can be captured by using a prior probability density function (pdf) that is truncated to be positive or negative. Thus, three sets of results are compared:those from maximum likelihood (ML) estimation, those from Bayesian estimation with an unrestricted uniform prior on the coefficients, and those from Bayesian estimation with a uniform prior truncated to accommodate inequality restrictions on the coefficients.
Resumo:
Vermicompost filtration is a new on-site waste treatment system. Consequently, little is known about the filter medium properties. The aim of this preliminary study was to quantify physical and compositional properties of vermicompost filter beds that had been used to treat domestic solid organic waste and wastewater. This paper presents the trials performed on pilot-scale reactors filled with vermicompost from a full-scale vermicompost filtration system. Household solid organic waste and raw wastewater at the rate of 130 L/m(2)/d was applied to the reactor bed surface over a four-month period. It was found that fresh casts laid on the bed surface had a BOD of 1290 mg/g VS while casts buried to a depth of 10 cm had a BOD of 605 mg/g VS. Below this depth there was little further biodegradation of earthworm casts despite cast ages of up to five years. Solid material in the reactor accounted for only 7-10% of the reactor volume. The total voidage comprised of large free-draining pores, which accounted for 15-20% of the reactor volume and 60-70% micropores, able to hold up water against gravity. It was shown that water could flow through the medium micropores and macropores following a wastewater application. The wastewater flow characteristics were modeled by a two-region model based on the Richards Equation, an equation used to describe porous spatially heterogeneous materials.
Resumo:
CpG island is a GC-rich motif occurred in gene promoter region, which can play important roles in gene silencing and imprinting. Here, we present a set of discriminant functions that can recognize the structural and compositional features of CpG islands in the putative promoter regions (PPRs) of human and mouse immunoglobulin (Ig) genes. We showed that the PPRs of both human and mouse Ig genes irrespective of gene chromosomal localization are apparently CpG island poor, with a low percentage of the CpG islands overlapped with the transcription start site (TSS). The human Ig genes that have CpG islands in the PPRs show a very narrow range of CpG densities. 47% of the Ig genes fall in the range of 3.5-4 CpGs/100 bp. In contrast, the non-Ig genes examined have a wide range of the density of CpG island, with 10.5% having the density of 8.1-15 CpGs/100 bp. Meantime, five patterns of the CpG distributions within the CpG islands have been classified: Pat A, B, C, D, and E. 21.6% and 10.8% of the Ig genes fall into the Pat B and Pat D groups, respectively, which were significantly higher than the non-Ig genes examined (8.2% and 3.8%). Moreover, the length of CpG islands is shorter in human Ig genes than in non-Ig genes but is much longer than in mouse orthologues. These findings provide a clear picture of non-neutral and nonrandom occurrence of the CpG islands in the PPRs of human and mouse Ig genes, which facilitate rational recommendations regarding their nomenclature. (C) 2005 Elsevier B.V. All rights reserved.
Resumo:
Special edition: The United Nations and international legal order - the case of the Juno Trader - on 18 December 2004, the International Tribunal for the Law of the Sea ordered the prompt release of a refrigerated cargo vessel and its cargo for fisheries violations in an exclusive economic zone - Tribunal unanimously decided that the vessel and cargo be released, upon posting of a bond in the form of a bank guarantee - crew should be free to leave without conditions - in this case, on prompt release, the Tribunal made valuable contributions to existing case law on the issue - shows that specialised tribunals may perform a decentralised application of the international rule of law - crystallises international fundamental standards of fairness and human rights.