Femtosecond laser writing in the monoclinic RbPb2Cl5:Dy3+ crystal

Monoclinic RbPb2Cl5:Dy single crystal was tested for femtosecond laser writing at wavelength of 800nm. Dependence of permanent refractive index change upon input pulse energy was investigated. Non-linear coefficients of multiphoton absorption and self-focusing were measured. Kerr non-linear coefficient was found to be as high as 4.0*10-6 cm2/GW.

Linguistic identifiers of L1 Persian speakers writing in English:NLID for authorship analysis

This research focuses on Native Language Identification (NLID), and in particular, on the linguistic identifiers of L1 Persian speakers writing in English. This project comprises three sub-studies; the first study devises a coding system to account for interlingual features present in a corpus of L1 Persian speakers blogging in English, and a corpus of L1 English blogs. Study One then demonstrates that it is possible to use interlingual identifiers to distinguish authorship by L1 Persian speakers. Study Two examines the coding system in relation to the L1 Persian corpus and a corpus of L1 Azeri and L1 Pashto speakers. The findings of this section indicate that the NLID method and features designed are able to discriminate between L1 influences from different languages. Study Three focuses on elicited data, in which participants were tasked with disguising their language to appear as L1 Persian speakers writing in English. This study indicated that there was a significant difference between the features in the L1 Persian corpus, and the corpus of disguise texts. The findings of this research indicate that NLID and the coding system devised have a very strong potential to aid forensic authorship analysis in investigative situations. Unlike existing research, this project focuses predominantly on blogs, as opposed to student data, making the findings more appropriate to forensic casework data.

A statistical analysis of the structure of language found in the essay writing of a sample of technical college students and public school boys

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Femtosecond laser writing of buried waveguides in erbium III-Doped oxyfluoride glasses and nano-glass-ceramics

Femtosecond-pulsed laser writing of waveguides, a few mm long, is demonstrated; waveguides were written orthogonally to the writing beam inside the bulk of ErIII-doped oxyfluoride glasses at a depth of 160 mum. The writing beam was 795 nm wavelength, 54 fs pulse duration and 11 MHz repetition rate. Tracks were written at pulse energies of 13.1 nJ to 26.1 nJ and sample translational velocity of 10 mmmiddot.s-1 to 28 mmmiddots-1. The influence of translational velocity and pulse energy on the cross-sectional shape and integrity of the written tracks is reported. Tracks tend to be narrower as the pulse energy is lowered or translational velocity decreased. Above 22.9 nJ, pulse energy, tracks tend to crack. The estimated refractive index profile of one track has a maximum increase of refractive index of 0.003 at the centre. These glasses normally form nano-glass-ceramics on heat treatment just above the glass transformation temperature (Tg). Here, a post-fs-writing heat-treatment just above Tg causes nano-ceramming of the glass sample and removes a light-guiding peripheral region of the fs-written tracks suggesting that this region may have been fs-modified by stress alone. Waveguiding at 651 nm and 973 nm wavelengths, and upconversion, are demonstrated in optimally written tracks.

Consumer engagement with self-expressive brands:brand love and WOM outcomes

Purpose: The purpose of this paper is to explore attitudes of consumers who engage with brands through Facebook "likes". It explores the extent to which these brands are self-expressive and examines the relationship between brand "liking" and brand outcomes. Brand outcomes include brand love and advocacy, where advocacy incorporates WOM and brand acceptance. Design/methodology/approach: Findings are presented from a survey of Facebook users who engage with a brand by "liking" it. Findings: Brands "liked" are expressive of the inner or social self. The study identifies a positive relationship between the self-expressive nature of brands "liked" and brand love. Consumers who engage with inner self-expressive brands are more likely to offer WOM for that brand. By contrast, consumers who engage with socially self-expressive brands are more likely to accept wrongdoing from a brand. Research limitations/implications: The research is exploratory and is limited to consumers who are engaged with a brand through "liking" it on the Facebook social network. Practical implications: The study offers suggestions for managers seeking to enhance brand engagement through Facebook "liking", and to encourage positive brand outcomes (such as WOM) among consumers already engaged with a brand on Facebook. Originality/value: This paper provides new insights into consumer brand engagement evidenced through Facebook "liking". It charts the relationship between "liked" self-expressive brands and brand love. Distinctions are drawn between brand outcomes among consumers who "like" for socially self-expressive reasons, and consumers who are brand engaged by "liking" to express their inner selves. © Emerald Group Publishing Limited.

Polynomial function intervals for floating-point software verification

The focus of our work is the verification of tight functional properties of numerical programs, such as showing that a floating-point implementation of Riemann integration computes a close approximation of the exact integral. Programmers and engineers writing such programs will benefit from verification tools that support an expressive specification language and that are highly automated. Our work provides a new method for verification of numerical software, supporting a substantially more expressive language for specifications than other publicly available automated tools. The additional expressivity in the specification language is provided by two constructs. First, the specification can feature inclusions between interval arithmetic expressions. Second, the integral operator from classical analysis can be used in the specifications, where the integration bounds can be arbitrary expressions over real variables. To support our claim of expressivity, we outline the verification of four example programs, including the integration example mentioned earlier. A key component of our method is an algorithm for proving numerical theorems. This algorithm is based on automatic polynomial approximation of non-linear real and real-interval functions defined by expressions. The PolyPaver tool is our implementation of the algorithm and its source code is publicly available. In this paper we report on experiments using PolyPaver that indicate that the additional expressivity does not come at a performance cost when comparing with other publicly available state-of-the-art provers. We also include a scalability study that explores the limits of PolyPaver in proving tight functional specifications of progressively larger randomly generated programs. © 2014 Springer International Publishing Switzerland.

A modelling and simulation environment for self-aware and self-expressive systems

Self-awareness and self-expression are promising architectural concepts for embedded systems to be equipped with to match them with dedicated application scenarios and constraints in the avionic and space-flight industry. Typically, these systems operate in largely undefined environments and are not reachable after deployment for a long time or even never ever again. This paper introduces a reference architecture as well as a novel modelling and simulation environment for self-aware and self-expressive systems with transaction level modelling, simulation and detailed modelling capabilities for hardware aspects, precise process chronology execution as well as fine timing resolutions. Furthermore, industrial relevant system sizes with several self-aware and self-expressive nodes can be handled by the modelling and simulation environment.

The handbook of engineering self-aware and self-expressive systems

When faced with the task of designing and implementing a new self-aware and self-expressive computing system, researchers and practitioners need a set of guidelines on how to use the concepts and foundations developed in the Engineering Proprioception in Computing Systems (EPiCS) project. This report provides such guidelines on how to design self-aware and self-expressive computing systems in a principled way. We have documented different categories of self-awareness and self-expression level using architectural patterns. We have also documented common architectural primitives, their possible candidate techniques and attributes for architecting self-aware and self-expressive systems. Drawing on the knowledge obtained from the previous investigations, we proposed a pattern driven methodology for engineering self-aware and self-expressive systems to assist in utilising the patterns and primitives during design. The methodology contains detailed guidance to make decisions with respect to the possible design alternatives, providing a systematic way to build self-aware and self-expressive systems. Then, we qualitatively and quantitatively evaluated the methodology using two case studies. The results reveal that our pattern driven methodology covers the main aspects of engineering self-aware and self-expressive systems, and that the resulted systems perform significantly better than the non-self-aware systems.

Complex skills and academic writing:a review of evidence about the types of learning required to meet core assessment criteria

Assessment criteria are increasingly incorporated into teaching, making it important to clarify the pedagogic status of the qualities to which they refer. We reviewed theory and evidence about the extent to which four core criteria for student writing-critical thinking, use of language, structuring, and argument-refer to the outcomes of three types of learning: generic skills learning, a deep approach to learning, and complex learning. The analysis showed that all four of the core criteria describe to some extent properties of text resulting from using skills, but none qualify fully as descriptions of the outcomes of applying generic skills. Most also describe certain aspects of the outcomes of taking a deep approach to learning. Critical thinking and argument correspond most closely to the outcomes of complex learning. At lower levels of performance, use of language and structuring describe the outcomes of applying transferable skills. At higher levels of performance, they describe the outcomes of taking a deep approach to learning. We propose that the type of learning required to meet the core criteria is most usefully and accurately conceptualized as the learning of complex skills, and that this provides a conceptual framework for maximizing the benefits of using assessment criteria as part of teaching. © 2006 Taylor & Francis.

Interlingual Identifiers of an L1 German speaker writing in English

Master of Arts dissertation