906 resultados para Symbolic Computations


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Shell mounds ceased to be built in many parts of coastal northern Australia about 800-600 years ago. They are the subject of stories told by Aboriginal people and some have been incorporated in ritual and political activities during the last 150 ears. These understandings emerged only after termination of the economic and environmental system that created them, 800-600 years ago, in a number of widely separated coastal regions, Modern stories and treatments of these mounds by Aboriginal people concern modern or near-modern practices. Modern views of the mounds, their mythological and ritual associations, may be explained by reference to the socioeconomic transitions seen in the archaeological record; but the recent cultural, social and symbolic statements about these places cannot inform us of the process or ideology concerned with the formation of the mounds. Many Aboriginal communities over the last half a millennium actively,formed understandings of new landscapes and systems of land use. Attempts to impose historic ideologies and cosmologies on earlier times fail to acknowledge the magnitude and rate of economic and ideological change on the tropical coastline of Australia.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Qu-Prolog is an extension of Prolog which performs meta-level computations over object languages, such as predicate calculi and lambda-calculi, which have object-level variables, and quantifier or binding symbols creating local scopes for those variables. As in Prolog, the instantiable (meta-level) variables of Qu-Prolog range over object-level terms, and in addition other Qu-Prolog syntax denotes the various components of the object-level syntax, including object-level variables. Further, the meta-level operation of substitution into object-level terms is directly represented by appropriate Qu-Prolog syntax. Again as in Prolog, the driving mechanism in Qu-Prolog computation is a form of unification, but this is substantially more complex than for Prolog because of Qu-Prolog's greater generality, and especially because substitution operations are evaluated during unification. In this paper, the Qu-Prolog unification algorithm is specified, formalised and proved correct. Further, the analysis of the algorithm is carried out in a frame-work which straightforwardly allows the 'completeness' of the algorithm to be proved: though fully explicit answers to unification problems are not always provided, no information is lost in the unification process.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We consider algorithms for computing the Smith normal form of integer matrices. A variety of different strategies have been proposed, primarily aimed at avoiding the major obstacle that occurs in such computations-explosive growth in size of intermediate entries. We present a new algorithm with excellent performance. We investigate the complexity of such computations, indicating relationships with NP-complete problems. We also describe new heuristics which perform well in practice. Wie present experimental evidence which shows our algorithm outperforming previous methods. (C) 1997 Academic Press Limited.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This four-experiment series sought to evaluate the potential of children with neurosensory deafness and cochlear implants to exhibit auditory-visual and visual-visual stimulus equivalence relations within a matching-to-sample format. Twelve children who became deaf prior to acquiring language (prelingual) and four who became deaf afterwards (postlingual) were studied. All children learned auditory-visual conditional discriminations and nearly all showed emergent equivalence relations. Naming tests, conducted with a subset of the: children, showed no consistent relationship to the equivalence-test outcomes.. This study makes several contributions: to the literature on stimulus equivalence. First; it demonstrates that both pre- and postlingually deaf children-can: acquire auditory-visual equivalence-relations after cochlear implantation, thus demonstrating symbolic functioning. Second, it directs attention to a population that may be especially interesting for researchers seeking to analyze the relationship. between speaker and listener repertoires. Third, it demonstrates the feasibility of conducting experimental studies of stimulus control processes within the limitations of a hospital, which these children must visit routinely for the maintenance of their cochlear implants.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The presentation of an aesthetic identity involves the accomplishment of a coherent, plausible narrative which links one's choices to desired characteristics of the self. As symbolic evidence of a person's taste, material culture is a vital component of a successful narrative. Via case studies of pivotal household objects, this paper uses face-to-face interview data as a way of investigating processes of aesthetic choice. Household objects are interpreted as material elements imbricated in the presentation of a socially plausible and internally consistent aesthetic self. Narrative analysis, and the concept of the epiphany-object, are proposed as useful ways of accounting for tastes in domestic material culture. Methodological questions of truth-telling and authenticity in the face-to-face context are considered, and the sociological problem of taste is scrutinized in light of ideas about social accountability and textual identity.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Computer assisted learning has an important role in the teaching of pharmacokinetics to health sciences students because it transfers the emphasis from the purely mathematical domain to an 'experiential' domain in which graphical and symbolic representations of actions and their consequences form the major focus for learning. Basic pharmacokinetic concepts can be taught by experimenting with the interplay between dose and dosage interval with drug absorption (e.g. absorption rate, bioavailability), drug distribution (e.g. volume of distribution, protein binding) and drug elimination (e.g. clearance) on drug concentrations using library ('canned') pharmacokinetic models. Such 'what if' approaches are found in calculator-simulators such as PharmaCalc, Practical Pharmacokinetics and PK Solutions. Others such as SAAM II, ModelMaker, and Stella represent the 'systems dynamics' genre, which requires the user to conceptualise a problem and formulate the model on-screen using symbols, icons, and directional arrows. The choice of software should be determined by the aims of the subject/course, the experience and background of the students in pharmacokinetics, and institutional factors including price and networking capabilities of the package(s). Enhanced learning may result if the computer teaching of pharmacokinetics is supported by tutorials, especially where the techniques are applied to solving problems in which the link with healthcare practices is clearly established.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This study evaluated the effectiveness of a teacher-implemented intervention package designed to replace prelinguistic behaviors with functional communication. Four young children with autism participated in a multiple-probe design across three communicative functions. Initially, three existing communication functions were selected for each child. Next, the existing prelinguistic behaviors that the children used to achieve these functions were identified. Replacement forms that were considered more recognizable and symbolic were defined to achieve these same functions. After a baseline phase, teachers received inservice training, consultation, and feedback on how to encourage, acknowledge, and respond to the replacement forms. During intervention, the replacement forms increased and prelinguistic behaviors decreased in most cases. The results suggested that the teacher-implemented intervention was effective in replacing prelinguistic behaviors with alternative forms of functional communication.

Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A generalised model for the prediction of single char particle gasification dynamics, accounting for multi-component mass transfer with chemical reaction, heat transfer, as well as structure evolution and peripheral fragmentation is developed in this paper. Maxwell-Stefan analysis is uniquely applied to both micro and macropores within the framework of the dusty-gas model to account for the bidisperse nature of the char, which differs significantly from the conventional models that are based on a single pore type. The peripheral fragmentation and random-pore correlation incorporated into the model enable prediction of structure/reactivity relationships. The occurrence of chemical reaction within the boundary layer reported by Biggs and Agarwal (Chem. Eng. Sci. 52 (1997) 941) has been confirmed through an analysis of CO/CO2 product ratio obtained from model simulations. However, it is also quantitatively observed that the significance of boundary layer reaction reduces notably with the reduction of oxygen concentration in the flue gas, operational pressure and film thickness. Computations have also shown that in the presence of diffusional gradients peripheral fragmentation occurs in the early stages on the surface, after which conversion quickens significantly due to small particle size. Results of the early commencement of peripheral fragmentation at relatively low overall conversion obtained from a large number of simulations agree well with experimental observations reported by Feng and Bhatia (Energy & Fuels 14 (2000) 297). Comprehensive analysis of simulation results is carried out based on well accepted physical principles to rationalise model prediction. (C) 2001 Elsevier Science Ltd. AH rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Based on the idea that emotional exchanges determine symbolic meanings in interpersonal exchanges, we hypothesized that displays of positive and congruent affect determine members' ratings of leaders in a simulated performance appraisal context. To test the hypotheses, 537 participants viewed videotapes of four male and female leaders giving positive and negative feedback, and with facial expressions of affect that were either congruent or incongruent with the verbal message that they were delivering. Results supported hypotheses that positive and message-congruent leader affect results in more positive member ratings of the leader, assessed using a seven-item measure of members' perceptions of the leader's negotiating latitude. The least positive ratings of negotiating latitude were given when positive feedback was delivered with negative facial affect. (C) 2002 Elsevier Science Inc. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A finite-element method is used to study the elastic properties of random three-dimensional porous materials with highly interconnected pores. We show that Young's modulus, E, is practically independent of Poisson's ratio of the solid phase, nu(s), over the entire solid fraction range, and Poisson's ratio, nu, becomes independent of nu(s) as the percolation threshold is approached. We represent this behaviour of nu in a flow diagram. This interesting but approximate behaviour is very similar to the exactly known behaviour in two-dimensional porous materials. In addition, the behaviour of nu versus nu(s) appears to imply that information in the dilute porosity limit can affect behaviour in the percolation threshold limit. We summarize the finite-element results in terms of simple structure-property relations, instead of tables of data, to make it easier to apply the computational results. Without using accurate numerical computations, one is limited to various effective medium theories and rigorous approximations like bounds and expansions. The accuracy of these equations is unknown for general porous media. To verify a particular theory it is important to check that it predicts both isotropic elastic moduli, i.e. prediction of Young's modulus alone is necessary but not sufficient. The subtleties of Poisson's ratio behaviour actually provide a very effective method for showing differences between the theories and demonstrating their ranges of validity. We find that for moderate- to high-porosity materials, none of the analytical theories is accurate and, at present, numerical techniques must be relied upon.

Relevância:

10.00% 10.00%

Publicador:

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.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The technique of permanently attaching interdigital transducers (IDT) to either flat or curved structural surfaces to excite single Lamb wave mode has demonstrated great potential for quantitative non-destructive evaluation and smart materials design, In this paper, the acoustic wave field in a composite laminated plate excited by an IDT is investigated. On the basis of discrete layer theory and a multiple integral transform method, an analytical-numerical approach is developed to evaluate the surface velocity response of the plate due to the IDTs excitation. In this approach, the frequency spectrum and wave number spectrum of the output of IDT are obtained directly. The corresponding time domain results are calculated by applying a standard inverse fast Fourier transformation technique. Numerical examples are presented to validate the developed method and show the ability of mode selection and isolation. A new effective way of transfer function estimation and interpretation is presented by considering the input wave number spectrum in addition to the commonly used input frequency spectrum. The new approach enables the simple physical evaluation of the influences of IDT geometrical features such as electrode finger widths and overall dimension and excitation signal properties on the input-output characteristics of IDT. Finally, considering the convenience of Mindlin plate wave theory in numerical computations as well as theoretical analysis, the validity is examined of using this approximate theory to design IDT for the excitation of the first and second anti-symmetric Lamb modes. (C) 2002 Elsevier Science Ltd. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this paper we investigate the construction of state models for link invariants using representations of the braid group obtained from various gauge choices for a solution of the trigonometric Yang-Baxter equation. Our results show that it is possible to obtain invariants of regular isotopy (as defined by Kauffman) which may not be ambient isotopic. We illustrate our results with explicit computations using solutions of the trigonometric Yang-Baxter equation associated with the one-parameter family of minimal typical representations of the quantum superalgebra U-q,[gl(2/1)]. We have implemented MATHEMATICA code to evaluate the invariants for all prime knots up to 10 crossings.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper describes a coupled knowledge-based system (KBS) for the design of liquid-retaining structures, which can handle both the symbolic knowledge processing based on engineering heuristics in the preliminary synthesis stage and the extensive numerical crunching involved in the detailed analysis stage. The prototype system is developed by employing blackboard architecture and a commercial shell VISUAL RULE STUDIO. Its present scope covers design of three types of liquid-retaining structures, namely, a rectangular shape with one compartment, a rectangular shape with two compartments and a circular shape. Through custom-built interactive graphical user interfaces, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking and member sizing optimization. It is also integrated with various relational databases that provide the system with sectional properties, moment and shear coefficients and final member details. This system can act as a consultant to assist novice designers in the design of liquid-retaining structures with increase in efficiency and optimization of design output and automated record keeping. The design of a typical example of the liquid-retaining structure is also illustrated. (C) 2003 Elsevier B.V All rights reserved.