877 resultados para traces


Relevância:

20.00% 20.00%

Publicador:

Resumo:

How dance history should be conserved, like any other human event is problematical. This article refers to the dancer’s embodied repertoire of movement and questions how it might connect with the archive, so that the recording of dance work is not taken as fully representative of the work itself. I propose opening out the multi-dimensional configuring that is part of the creation of a dance piece in order to flesh out the bones of the archive. This could be done through engaging with the choreographer and the performers (who are often co-creators of the work) to draw a range of insights and perspectives together.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A straightforward procedure for the acid digestion of geological samples with SiO2 concentrations ranging between about 40 to 80%, is described. A powdered sample (200 mesh) of 500 mg was used and fused with 1000 mg spectroflux at about 1000 degreesC in a platinum crucible. The molten was subsequently digested in an aqueous solution of HNO3 at 100 degreesC. Several systematic digestion procedures were followed using various concentrations of HNO3. It was found that a relationship could be established between the dissolution-time and acid concentration. For an acid concentration of 15% an optimum dissolution-time of under 4 min was recorded. To verify that the dissolutions were complete, they were subjected to rigorous quality control tests. The turbidity and viscosity were examined at different intervals and the results were compared with that of deionised water. No significant change in either parameter was observed. The shelf-life of each solution lasted for several months, after which time polymeric silicic acid formed in some solutions, resulting in the presence of a gelatinous solid. The method is cost effective and is clearly well suited for routine applications on a small scale, especially in laboratories in developing countries. ICP-MS was applied to the determination of 13 Rare Earth Elements and Hf in a set of 107 archaeological samples subjected to the above digestion procedure. The distribution of these elements was examined and the possibility of using the REE's for provenance studies is discussed.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Digital image

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This keynote presentation explores the connections between nomadism and artistic identity formation by interrogating the creativity that migration elicits and the narratives that surround it. It is further situated in the complex role that emigration has in Irish culture questioning whether contemporary dance in particular is emblematic of this socio-cultural phenomenon. These questions are anchored through descriptions of a creative project currently underway that draws together artists from Ireland and Australia to explore how we manage absence and presence in a globalized yet increasingly virtual world.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

A new method is reported for the determination of trace levels of Ti(IV) in water by coflotation and polargraphy. Ti(IV) is preconcentrated and separated by coflotation using aluminium hydroxide as coprecipitant and sodium oleate as surfactant. Polarographic determination of titanium content in the froth is based on the catalytic wave of Ti(IV) in the presence of chlorate and oxalate. The effect of various cations and anions on the flotation and determination of titanium has been investigated. The method has been applied to estimation of titanium in natural fresh water samples.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An understanding of application I/O access patterns is useful in several situations. First, gaining insight into what applications are doing with their data at a semantic level helps in designing efficient storage systems. Second, it helps create benchmarks that mimic realistic application behavior closely. Third, it enables autonomic systems as the information obtained can be used to adapt the system in a closed loop.All these use cases require the ability to extract the application-level semantics of I/O operations. Methods such as modifying application code to associate I/O operations with semantic tags are intrusive. It is well known that network file system traces are an important source of information that can be obtained non-intrusively and analyzed either online or offline. These traces are a sequence of primitive file system operations and their parameters. Simple counting, statistical analysis or deterministic search techniques are inadequate for discovering application-level semantics in the general case, because of the inherent variation and noise in realistic traces.In this paper, we describe a trace analysis methodology based on Profile Hidden Markov Models. We show that the methodology has powerful discriminatory capabilities that enable it to recognize applications based on the patterns in the traces, and to mark out regions in a long trace that encapsulate sets of primitive operations that represent higher-level application actions. It is robust enough that it can work around discrepancies between training and target traces such as in length and interleaving with other operations. We demonstrate the feasibility of recognizing patterns based on a small sampling of the trace, enabling faster trace analysis. Preliminary experiments show that the method is capable of learning accurate profile models on live traces in an online setting. We present a detailed evaluation of this methodology in a UNIX environment using NFS traces of selected commonly used applications such as compilations as well as on industrial strength benchmarks such as TPC-C and Postmark, and discuss its capabilities and limitations in the context of the use cases mentioned above.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

introduced in this paper are the definitions of the traces for a class of nonsmooth functions on polyhedral domains. By analyzing their properties we get the structures of these traces.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This thesis studies Frobenius traces in Galois representations from two different directions. In the first problem we explore how often they vanish in Artin-type representations. We give an upper bound for the density of the set of vanishing Frobenius traces in terms of the multiplicities of the irreducible components of the adjoint representation. Towards that, we construct an infinite family of representations of finite groups with an irreducible adjoint action.

In the second problem we partially extend for Hilbert modular forms a result of Coleman and Edixhoven that the Hecke eigenvalues ap of classical elliptical modular newforms f of weight 2 are never extremal, i.e., ap is strictly less than 2[square root]p. The generalization currently applies only to prime ideals p of degree one, though we expect it to hold for p of any odd degree. However, an even degree prime can be extremal for f. We prove our result in each of the following instances: when one can move to a Shimura curve defined by a quaternion algebra, when f is a CM form, when the crystalline Frobenius is semi-simple, and when the strong Tate conjecture holds for a product of two Hilbert modular surfaces (or quaternionic Shimura surfaces) over a finite field.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The explosion of WWW traffic necessitates an accurate picture of WWW use, and in particular requires a good understanding of client requests for WWW documents. To address this need, we have collected traces of actual executions of NCSA Mosaic, reflecting over half a million user requests for WWW documents. In this paper we describe the methods we used to collect our traces, and the formats of the collected data. Next, we present a descriptive statistical summary of the traces we collected, which identifies a number of trends and reference patterns in WWW use. In particular, we show that many characteristics of WWW use can be modelled using power-law distributions, including the distribution of document sizes, the popularity of documents as a function of size, the distribution of user requests for documents, and the number of references to documents as a function of their overall rank in popularity (Zipf's law). Finally, we show how the power-law distributions derived from our traces can be used to guide system designers interested in caching WWW documents.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Localization is essential feature for many mobile wireless applications. Data collected from applications such as environmental monitoring, package tracking or position tracking has no meaning without knowing the location of this data. Other applications have location information as a building block for example, geographic routing protocols, data dissemination protocols and location-based services such as sensing coverage. Many of the techniques have the trade-off among many features such as deployment of special hardware, level of accuracy and computation power. In this paper, we present an algorithm that extracts location constraints from the connectivity information. Our solution, which does not require any special hardware and a small number of landmark nodes, uses two types of location constraints. The spatial constraints derive the estimated locations observing which nodes are within communication range of each other. The temporal constraints refine the areas, computed by the spatial constraints, using properties of time and space extracted from a contact trace. The intuition of the temporal constraints is to limit the possible locations that a node can be using its previous and future locations. To quantify this intuitive improvement in refine the nodes estimated areas adding temporal information, we performed simulations using synthetic and real contact traces. The results show this improvement and also the difficulties of using real traces.