3,724 research outputs found
Hawking Radiation from Charged Black Holes via Gauge and Gravitational Anomalies
Extending gr-qc/0502074, we show that in order to avoid a breakdown of
general covariance and gauge invariance at the quantum level the total flux of
charge and energy in each outgoing partial wave of a charged quantum field in a
Reissner-Nordstrom black hole background must be equal to that of a (1+1)
dimensional blackbody at the Hawking temperature with the appropriate chemical
potential.Comment: 4 pages, typos corrected, references added, version to appear in
Phys. Rev. Let
EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++
Low-level programming languages with weak/static type systems, such as C and
C++, are vulnerable to errors relating to the misuse of memory at runtime, such
as (sub-)object bounds overflows, (re)use-after-free, and type confusion. Such
errors account for many security and other undefined behavior bugs for programs
written in these languages. In this paper, we introduce the notion of
dynamically typed C/C++, which aims to detect such errors by dynamically
checking the "effective type" of each object before use at runtime. We also
present an implementation of dynamically typed C/C++ in the form of the
Effective Type Sanitizer (EffectiveSan). EffectiveSan enforces type and memory
safety using a combination of low-fat pointers, type meta data and type/bounds
check instrumentation. We evaluate EffectiveSan against the SPEC2006 benchmark
suite and the Firefox web browser, and detect several new type and memory
errors. We also show that EffectiveSan achieves high compatibility and
reasonable overheads for the given error coverage. Finally, we highlight that
EffectiveSan is one of only a few tools that can detect sub-object bounds
errors, and uses a novel approach (dynamic type checking) to do so.Comment: To appear in the Proceedings of 39th ACM SIGPLAN Conference on
Programming Language Design and Implementation (PLDI2018
Hawking Radiation from Non-Extremal D1-D5 Black Hole via Anomalies
We take the method of anomaly cancellation for the derivation of Hawking
radiation initiated by Robinson and Wilczek, and apply it to the non-extremal
five-dimensional D1-D5 black hole in string theory. The fluxes of the electric
charge flow and the energy-momentum tensor from the black hole are obtained.
They are shown to match exactly with those of the two-dimensional black body
radiation at the Hawking temperature.Comment: 14 page
Meat quality traits of M. longissimus lumborum from White Mangalica and (Duroc x White Mangalica) x White Mangalica pigs reared under intensive conditions and slaughtered at about 180-kg live weight
The objective of the study was to evaluate the meat quality of the Serbian autochthonous White Mangalica pure bred pig and its crossbreed with Duroc. A total of 24 pigs [White Mangalica WM, n = 12, and (Duroc x White Mangalica) x White Mangalica) - (DWM)WM, n = 12)] were slaughtered on average 638 and 509 d of age, respectively. Colour and marbling score, and all physical (pH, instrumental colour and water holding capacity) and chemical (proximate and mineral composition and fatty acids profile) analyses were performed on M. Iongissimus lumborum. Pork from WM had higher marbling score and intramuscular fat content and was redder in colour than from (DWM)WM; while opposite was determined for moisture content. In intramuscular fat, WM had higher content of oleic acid as well as total monounsaturated fatty acids than (DWM)WM, while (DWM)WM had higher linoleic and arachidonic acids as well as total polyunsaturated fatty acids content. Inclusion of 25% Duroc gave pork with lower content of iron, copper and manganese. In summary, irrespective of differences in some particular traits White Mangalica crossbreds can represent a good alternative to pure White Mangalica without worsening the meat quality
Standardisation of magnetic nanoparticles in liquid suspension
Suspensions of magnetic nanoparticles offer diverse opportunities for technology innovation, spanning a large number of industry sectors from imaging and actuation based applications in biomedicine and biotechnology, through large-scale environmental remediation uses such as water purification, to engineering-based applications such as position-controlled lubricants and soaps. Continuous advances in their manufacture have produced an ever-growing range of products, each with their own unique properties. At the same time, the characterisation of magnetic nanoparticles is often complex, and expert knowledge is needed to correctly interpret the measurement data. In many cases, the stringent requirements of the end-user technologies dictate that magnetic nanoparticle products should be clearly defined, well characterised, consistent and safe; or to put it another way—standardised. The aims of this document are to outline the concepts and terminology necessary for discussion of magnetic nanoparticles, to examine the current state-of-the-art in characterisation methods necessary for the most prominent applications of magnetic nanoparticle suspensions, to suggest a possible structure for the future development of standardisation within the field, and to identify areas and topics which deserve to be the focus of future work items. We discuss potential roadmaps for the future standardisation of this developing industry, and the likely challenges to be encountered along the way
Space-Time and Matter in IIB Matrix Model - gauge symmetry and diffeomorphism -
We pursue the study of the type IIB matrix model as a constructive definition
of superstring. In this paper, we justify the interpretation of space-time as
distribution of eigenvalues of the matrices by showing that some low energy
excitations indeed propagate in it. In particular, we show that if the
distribution consists of small clusters of size , low energy theory acquires
local SU(n) gauge symmetry and a plaquette action for the associated gauge
boson is induced, in addition to a gauge invariant kinetic term for a massless
fermion in the adjoint representation of the SU(n). We finally argue a possible
identification of the diffeomorphism symmetry with permutation group acting on
the set of eigenvalues, and show that the general covariance is realized in the
low energy effective theory even though we do not have a manifest general
covariance in the IIB matrix model action.Comment: 25 page
Anomalies, Hawking Radiations and Regularity in Rotating Black Holes
This is an extended version of our previous letter hep-th/0602146. In this
paper we consider rotating black holes and show that the flux of Hawking
radiation can be determined by anomaly cancellation conditions and regularity
requirement at the horizon. By using a dimensional reduction technique, each
partial wave of quantum fields in a d=4 rotating black hole background can be
interpreted as a (1+1)-dimensional charged field with a charge proportional to
the azimuthal angular momentum m. From this and the analysis gr-qc/0502074,
hep-th/0602146 on Hawking radiation from charged black holes, we show that the
total flux of Hawking radiation from rotating black holes can be universally
determined in terms of the values of anomalies at the horizon by demanding
gauge invariance and general coordinate covariance at the quantum level. We
also clarify our choice of boundary conditions and show that our results are
consistent with the effective action approach where regularity at the future
horizon and vanishing of ingoing modes at r=\infty are imposed (i.e. Unruh
vacuum).Comment: 21 pages, minor corrections, added an appendix to summarize our
notations for the Kaluza-Klein reductio
Understanding the fidelity effect when evaluating games with children
There have been a number of studies that have compared evaluation results from prototypes of different fidelities but very few of these are with children. This paper reports a comparative study of three prototypes ranging from low fidelity to high fidelity within the context of mobile games, using a between subject design with 37 participants aged 7 to 9. The children played a matching game on either an iPad, a paper prototype using screen shots of the actual game or a sketched version. Observational data was captured to establish the usability problems, and two tools from the Fun Toolkit were used to measure user experience. The results showed that there was little difference for user experience between the three prototypes and very few usability problems were unique to a specific prototype. The contribution of this paper is that children using low-fidelity prototypes can effectively evaluate games of this genre and style
Characterisation of the topography of metal additive surface features with different measurement technologies
The challenges of measuring the surface topography of metallic surfaces produced by additive manufacturing are investigated. The differences between measurements made using various optical and non-optical technologies, including confocal and focus-variation microscopy, coherence scanning interferometry and x-ray computed tomography, are examined. As opposed to concentrating on differences which may arise through computing surface texture parameters from measured topography datasets, a comparative analysis is performed focussing on investigation of the quality of the topographic reconstruction of a series of surface features. The investigation is carried out by considering the typical surface features of a metal powder-bed fusion process: weld tracks, weld ripples, attached particles and surface recesses. Results show that no single measurement technology provides a completely reliable rendition of the topographic features that characterise the metal powder-bed fusion process. However, through analysis of measurement discrepancies, light can be shed on where instruments are more susceptible to error, and why differences between measurements occur. The results presented in this work increase the understanding of the behaviour and performance of areal topography measurement, and thus promote the development of improved surface characterisation pipelines
Collection of anthropometry from older and physically impaired persons: traditional methods versus TC2 3-D body scanner
With advances in technology it is now possible to collect a wide range of anthropometric data, to a high degree of accuracy, using 3D light-based body scanners. This gives the potential to speed up the collection of anthropometric data for design purposes, to decrease processing time and data input required, and to reduce error due to inaccuracy of measurements taken using more traditional methods and equipment (anthropometer, stadiometer and sitting height table). However, when the data collection concerns older and/or physically impaired people there are serious issues for consideration when deciding on the best method to collect anthropometry. This paper discusses the issues arising when collecting data using both traditional methods of data collection and a first use by the experimental team of the TC2 3D body scanner, when faced with a ‘non-standard’ sample, during an EPSRC funded research project into issues surrounding transport usage by older and physically impaired people. Relevance to industry: Designing products, environments and services so that the increasing ageing population, as well as the physically impaired, can use them increases the potential market. To do this, up-to-date and relevant anthropometry is often needed. 3D light-based bodyscanners offer a potential fast way of obtaining this data, and this paper discusses some of the issues with using one scanner with older and disabled people
- …