39 resultados para Logic, Symbolic and mathematical.
em University of Queensland eSpace - Australia
Resumo:
The aim of this work was to exemplify the specific contribution of both two- and three-dimensional (31)) X-ray computed tomography to characterise earthworm burrow systems. To achieve this purpose we used 3D mathematical morphology operators to characterise burrow systems resulting from the activity of an anecic (Aporrectodea noctunia), and an endogeic species (Allolobophora chlorotica), when both species were introduced either separately or together into artificial soil cores. Images of these soil cores were obtained using a medical X-ray tomography scanner. Three-dimensional reconstructions of burrow systems were obtained using a specifically developed segmentation algorithm. To study the differences between burrow systems, a set of classical tools of mathematical morphology (granulometries) were used. So-called granulometries based on different structuring elements clearly separated the different burrow systems. They enabled us to show that burrows made by the anecic species were fatter, longer, more vertical, more continuous but less sinuous than burrows of the endogeic species. The granulometry transform of the soil matrix showed that burrows made by A. nocturna were more evenly distributed than those of A. chlorotica. Although a good discrimination was possible when only one species was introduced into the soil cores, it was not possible to separate burrows of the two species from each other in cases where species were introduced into the same soil core. This limitation, partly due to the insufficient spatial resolution of the medical scanner, precluded the use of the morphological operators to study putative interactions between the two species.
Resumo:
This paper presents the multi-threading and internet message communication capabilities of Qu-Prolog. Message addresses are symbolic and the communications package provides high-level support that completely hides details of IP addresses and port numbers as well as the underlying TCP/IP transport layer. The combination of the multi-threads and the high level inter-thread message communications provide simple, powerful support for implementing internet distributed intelligent applications.
Resumo:
Based on discussions with Asian-Australian young women at a mixed-sex, Australia State high school, this article argues that the pro-school conformity of Asian-Australian young women sets them in a problematic and precarious relationship to the material and symbolic and processes of racialisation. The first part of the article identifies the limitations of research into the pro-school/anti-school orientations of minority students, arguing that most accounts are based on theories of culture, acculturation, class and gender, and class and race that neglect an analysis of race and sex. I then argue that practices of racialisation and sexualisation actually sustain pro-school culture and Asian female group associations. While these formations are effective in securing Asian female educational success, they are also problematic because they limit the educational possibilities and employment opportunities of Asian young women in Australia.
Resumo:
The concept of submitting oneself to a voluntary negotiation is by no means new to big business. Formal bargaining has been quite successful over the years in providing the venue for agents to explore a more logical and mathematical approach to bargaining. However in more recent times external influences have been applied to agents who provide better deals for favored executives. This external influence has displayed itself in taxtion negotiations to the extent that tax office agents have been dismissed for irresponsible conduct. We explore this specific type of negotiation using an alternating offer bargaining game to model the particular influences, which create unfair rulings in negotiations. By the constraints of this systematic mathematical approach to negotiation, we will explore the advantages of a more formal game theoretic approach. In this presentation we will also elaborate on finding Nash Equilibrium in alternating offer games.
Resumo:
In response to methodological concerns associated with previous research into the educational characteristics of students with high or low self-concept, the topic was re-examined using a significantly more representative sample and a contemporary self-concept measure. From an initial screening of 515 preadolescent, coeducational students in 18 schools, students significantly high or low in self-concept were compared using standardized tests in reading, spelling, and mathematics, and teacher interviews to determine students' academic and nonacademic characteristics. The teachers were not informed of the self-concept status of the students. Compared to students with low self-concept, students with high self-concept were rated by teachers as being more popular, cooperative, and persistent in class, showed greater leadership, were lower in anxiety, had more supportive families, and had higher teacher expectations for their future success. Teachers observed that students with low self-concept were quiet and withdrawn, while peers with high self-concept were talkative and more dominating with peers. Students with lower self-concepts were also lower than their peers in reading, spelling, and mathematical abilities. The findings support the notion that there is an interactive relationship between self-concept and achievement. (C) 1998 John Wiley & Sons, Inc.
Resumo:
New techniques in air-displacement plethysmography seem to have overcome many of the previous problems of poor reproducibility and validity. These have made body-density measurements available to a larger range of individuals, including children, elderly and sick patients who often have difficulties in being submerged underwater in hydrodensitometry systems. The BOD POD air-displacement system (BOD POD body composition system; Life Measurement Instruments, Concord, CA, USA) is more precise than hydrodensitometry, is simple and rapid to operate (approximately 1 min measurements) and the results agree closely with those of hydrodensitometry (e.g. +/-3.4% for estimation of body fat). Body line scanners employing the principles of three-dimensional photography are potentially able to measure the surface area and volume of the body and its segments even more rapidly (approximately 10 s), but the validity of the measurements needs to be established. Advances in i.r. spectroscopy and mathematical modelling for calculating the area under the curve have improved precision for measuring enrichment of (H2O)-H-2 in studies of water dilution (CV 0.1-0.9% within the range of 400-1000 mu l/l) in saliva, plasma and urine. The technique is rapid and compares closely with mass spectrometry (bias 1 (SD 2) %). Advances in bedside bioelectrical-impedance techniques are making possible potential measurements of skinfold thicknesses and limb muscle mass electronically. Preliminary results suggest that the electronic method is more reproducible (intra-and inter-individual reproducibility for measuring skinfold thicknesses) and associated with less bias (+ 12%), than anthropometry (+ 40%). In addition to these selected examples, the 'mobility' or transfer of reference methods between centres has made the distinction between reference and bedside or field techniques less distinct than in the past.
Resumo:
An equivalent algorithm is proposed to simulate thermal effects of the magma intrusion in geological systems, which are composed of porous rocks. Based on the physical and mathematical equivalence, the original magma solidification problem with a moving boundary between the rock and intruded magma is transformed into a new problem without the moving boundary but with a physically equivalent heat source. From the analysis of an ideal solidification model, the physically equivalent heat source has been determined in this paper. The major advantage in using the proposed equivalent algorithm is that the fixed finite element mesh with a variable integration time step can be employed to simulate the thermal effect of the intruded magma solidification using the conventional finite element method. The related numerical results have demonstrated the correctness and usefulness of the proposed equivalent algorithm for simulating the thermal effect of the intruded magma solidification in geological systems. (C) 2003 Elsevier B.V. All rights reserved.
Resumo:
The concept of local concurrence is used to quantify the entanglement between a single qubit and the remainder of a multiqubit system. For the ground state of the BCS model in the thermodynamic limit the set of local concurrences completely describes the entanglement. As a measure for the entanglement of the full system we investigate the average local concurrence (ALC). We find that the ALC satisfies a simple relation with the order parameter. We then show that for finite systems with a fixed particle number, a relation between the ALC and the condensation energy exposes a threshold coupling. Below the threshold, entanglement measures besides the ALC are significant.
Resumo:
Three kinds of integrable Kondo impurity additions to one-dimensional q-deformed extended Hubbard models are studied by means of the boundary Z(2)-graded quantum inverse scattering method. The boundary K matrices depending on the local magnetic moments of the impurities are presented as nontrivial realisations of the reflection equation algebras in an impurity Hilbert space. The models are solved by using the algebraic Bethe ansatz method, and the Bethe ansatz equations are obtained.
Resumo:
Monoclonal antibodies (Mab) are heterotetramers consisting of an equimolar ratio of heavy chain (HC) and light chain (LC) polypeptides. Accordingly, most recombinant Mab expression systems utilize an equimolar ratio of heavy chain (he) to light chain (lc) genes encoded on either one or two plasmids. However, there is no evidence to suggest that this gene ratio is optimal for stable or transient production of recombinant Mab. In this study we have determined the optimal ratio of hc:lc genes for production of a recombinant IgG(4) Mab, cB72.3, by Chinese hamster ovary (CHO) cells using both empirical and mathematical modeling approaches. Polyethyleneimine-mediated transient expression of cB72.3 at varying ratios of hc:lc genes encoded on separate plasmids yielded an optimal Mab titer at a hc:lc gene ratio of 3:2; a conclusion confirmed by separate mathematical modeling of the Mab folding and assembly process using transient expression data. On the basis of this information, we hypothesized that utilization of he genes at low hc:lc gene ratios is more efficient. To confirm this, cB72.3 Mab was transiently produced by CHO cells at constant he and varying lc gene dose. Under these conditions, Mab yield was increased with a concomitant increase in lc gene dose. To determine if the above findings also apply to stably transfected CHO cells producing recombinant Mab, we compared the intra- and extracellular ratios of HC and LC polypeptides for three GS-CHO cells lines transfected with a 1:1 ratio of hc:lc genes and selected for stable expression of the same recombinant Mab, cB72.3. Intra- and extracellular HC:LC polypeptide ratios ranged from 1:2 to 1:5, less than that observed on transient expression of the same Mab in parental CHO cells using the same vector. In conclusion, our data suggest that the optimal ratio of hc:lc genes used for transient and stable expression of Mab differ. In the case of the latter, we infer that optimal Mab production by stably transfected cells represents a compromise between HC abundance limiting productivity and the requirement for excess LC to render Mab folding and assembly more efficient.
Resumo:
There is a substantial body of literature that suggests that clothing and more particularly fashion is a form of communication. It communicates how we want to be seen by others as well as how we see ourselves. But does it communicate how we feel? This paper draws a link between symbolic and emotional communication by suggesting that fashion changes our internal feelings and that many of these emotions are expressed to others through symbols such as the clothes we wear. A conceptual framework is presented explaining the effects of clothing on an individual consumer. This framework classifies the fashion effect into internally and externally communicated meanings. Knowledge of how fashion is used as a form of emotional expression is particularly important for those fashion retailers who display the clothing they sell to engender positive feelings that may then lead to purchase behaviour.
Resumo:
Generalization performance in recurrent neural networks is enhanced by cascading several networks. By discretizing abstractions induced in one network, other networks can operate on a coarse symbolic level with increased performance on sparse and structural prediction tasks. The level of systematicity exhibited by the cascade of recurrent networks is assessed on the basis of three language domains. (C) 2004 Elsevier B.V. All rights reserved.
Resumo:
While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.