Simultaneous display of image and spectrum in the same plane: a generalized analysis

A generalized analysis, using the Vander Lugt operational notation, of the building block optical system comprising a single holographic optical element (HOE) for achieving simultaneous display of the spectrum and the image of an object in a single plane, has been carried out. The salient features of this analysis are: (1) it allows comprehensive characterization of the HOE, (2) it provides insights into the many possible configurations for the system, and (3) it explains the existing results in a consistent manner.

The absolute orientation of a molecule in space: Extension of the 'CIP' system

A scheme for denoting the absolute spatial orientation of molecules and molecular fragments is presented; this is based on three angular deviations - one for each spatial dimension - with respect to a reference orientation, which is itself defined with the help of certain features of the Cahn-Ingold-Prelog stereochemical notation. The new scheme helps in reconstructing the three-dimensional characteristics of molecules from purely verbal descriptors, and may thus find application in various information storage and retrieval processes (e.,-. encrypting holograms, etc.).

An interior penalty method for a sixth-order elliptic equation

We derive and study a C(0) interior penalty method for a sixth-order elliptic equation on polygonal domains. The method uses the cubic Lagrange finite-element space, which is simple to implement and is readily available in commercial software. After introducing some notation and preliminary results, we provide a detailed derivation of the method. We then prove the well-posedness of the method as well as derive quasi-optimal error estimates in the energy norm. The proof is based on replacing Galerkin orthogonality with a posteriori analysis techniques. Using this approach, we are able to obtain a Cea-like lemma with minimal regularity assumptions on the solution. Numerical experiments are presented that support the theoretical findings.

Intensity profile of light scattered from a rough surface

We present in this paper, approximate analytical expressions for the intensity of light scattered by a rough surface, whose elevation. xi(x,y) in the z-direction is a zero mean stationary Gaussian random variable. With (x,y) and (x',y') being two points on the surface, we have h. = 0 with a correlation, = sigma(2)g(r), where r = (x - x')(2) + ( y - y')(2)](1/2) is the distance between these two points. We consider g(r) = exp-r/l)(beta)] with 1 <= beta <= 2, showing that g(0) = 1 and g(r) -> 0 for r >> l. The intensity expression is sought to be expressed as f(v(xy)) = {1 + (c/2y)v(x)(2) + v(y)(2)]}(-y), where v(x) and v(y) are the wave vectors of scattering, as defined by the Beckmann notation. In the paper, we present expressions for c and y, in terms of sigma, l, and beta. The closed form expressions are verified to be true, for the cases beta = 1 and beta = 2, for which exact expressions are known. For other cases, i.e., beta not equal 1, 2 we present approximate expressions for the scattered intensity, in the range, v(xy) = (v(x)(2) + v(y)(2))(1/2) <= 6.0 and show that the relation for f(v(xy)), given above, expresses the scattered intensity quite accurately, thus providing a simple computational methods in situations of practical importance.

Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis

Counter systems are a well-known and powerful modeling notation for specifying infinite-state systems. In this paper we target the problem of checking liveness properties in counter systems. We propose two semi decision techniques towards this, both of which return a formula that encodes the set of reachable states of the system that satisfy a given liveness property. A novel aspect of our techniques is that they use reachability analysis techniques, which are well studied in the literature, as black boxes, and are hence able to compute precise answers on a much wider class of systems than previous approaches for the same problem. Secondly, they compute their results by iterative expansion or contraction, and hence permit an approximate solution to be obtained at any point. We state the formal properties of our techniques, and also provide experimental results using standard benchmarks to show the usefulness of our approaches. Finally, we sketch an extension of our liveness checking approach to check general CTL properties.

Using formal reasoning on a model of tasks for FreeRTOS

FreeRTOS is an open-source real-time microkernel that has a wide community of users. We present the formal specification of the behaviour of the task part of FreeRTOS that deals with the creation, management, and scheduling of tasks using priority-based preemption. Our model is written in the Z notation, and we verify its consistency using the Z/Eves theorem prover. This includes a precise statement of the preconditions for all API commands. This task model forms the basis for three dimensions of further work: (a) the modelling of the rest of the behaviour of queues, time, mutex, and interrupts in FreeRTOS; (b) refinement of the models to code to produce a verified implementation; and (c) extension of the behaviour of FreeRTOS to multi-core architectures. We propose all three dimensions as benchmark challenge problems for Hoare's Verified Software Initiative.

Contrafactum y adaptación de la canción de Malmaridada en la Península Ibérica : del Cancionero del rey Don Denis al Cancionero para cantar la noche de Navidad de Francisco de Ocaña

Integran este número de la revista ponencias presentadas en Studia Hispanica Medievalia VIII : Actas de las X Jornadas Internacionales de Literatura Española Medieval, 2011, y de Homenaje al Quinto Centenario del Cancionero General de Hernando del Castillo.

Berm cranes at Miraflores Locks

Leonard Carpenter Panama Canal Collection. Photographs: Dredging, Soldiers, and Ships. [Box 1] from the Special Collections & Area Studies Department, George A. Smathers Libraries, University of Florida. Photo notation: These are most economical in handling concrete but not so elastic as the cable way method (ca. 1914)

Iconicidade lexical na representação musical da língua dos Brasis

Trabalho de investigação das marcas de iconicidade em letras-de-música brasileira que representam os vários Brasis. Análise do córpus com fundamentação semântico-semiótica, endossada pela perspectiva sociolinguística, como ponto de partida para a caracterização dos itens lexicais como ícone, índice ou símbolo, à luz da Teoria da Iconicidade, como identificadores de um espaço sociocultural. A orientação sociolinguística sustenta nossas reflexões acerca da importância da inserção dos diversos usos linguísticos na prática de ensino de língua portuguesa, que precisa acompanhar a vida da linguagem na comunicação cotidiana, com vistas à valorização e à democratização da língua. Ademais, impõe-se reconhecer a heterogeneidade linguística como fator de riqueza da língua. O trabalho de análise consiste em uma metodologia que permite associar o texto a uma imagem com significado representativo das particularidades linguístico-discursivas de uma cultura regional. Os resultados esperados incluem a afirmação da potencialidade linguístico-semiótica da letra-de-música como gênero textual suficiente para a demonstração dos valores socioculturais impressos na língua e, possivelmente, como um gênero de importante valor literário que se pode aproveitar para dinamizar aulas de língua portuguesa

Meu nome não é ninguém: narrativa sobre excluídos na Literatura Brasileira Contemporânea: Cidade de Deus e Meu nome não é Johnny

O tema da exclusão social sempre esteve presente na Literatura Brasileira, porém, na virada do século XX para o XXI, ele ganha ainda mais relevo, através de narrativas realistas, chocantes, exacerbadas de violência e até anomia, que enfatizam a imagem dos excluídos. Cidade de Deus (Paulo Lins: 1997) e Meu nome não é Johnny (Guilherme Fiuza: 2004) focalizam a exclusão dos envolvidos com o narcotráfico. A despeito das diferenças entre as duas narrativas, os seus protagonistas entram em ação a partir da marginalidade; ganham autonomia, no cenário urbano, através da criminalidade, e se tornam ameaçadoramente visíveis, depois de uma histórica invisibilidade. O estudo das complexidades concernentes ao tratamento ficcional do tema se distribuiu, nessa dissertação, em três capítulos. No primeiro capítulo, as obras foram estudadas individualmente, em função da organização dos relatos no espaço narrativo. O segundo capítulo abordou a correlação entre geografia cultural e teoria da literatura, em suas considerações sobre a proeminência da categoria do espaço para o trabalho narratológico. Nessa perspectiva interdisciplinar, foram analisadas as paisagens ficcionais de ambos os romances e, em seguida, articulou-se o roteiro ficcional de cada romance com o pensamento de Foucault sobre os lugares heterotópicos. No terceiro capítulo, intertextualizando o binômio disciplinar geografia cultural e literatura com a filosofia, retroagiu-se aos filósofos idealistas alemães que teorizaram sobre o trágico e intuíram que a tragicidade não se manifesta apenas na tragédia, mas também em obras que lidam com a experiência do irrepresentável, da representação negativa e, em termos estéticos, do sublime. Conjugando as idéias de Hölderlin sobre o vislumbre do divino, de Schopenhauer sobre a metafísica da música, e de Nietzsche sobre a correlação entre o apolíneo e o dionisíaco, tragédia e música, chegou-se à conclusão de que ambas as narrativas incorporam produtivamente ao projeto ficcional duas metáforas absolutas (Hans Blumenberg) que dizem respeito à exclusão/inclusão: a cidade e o hipocorístico (Johnny), dois espaços um material, outro alegórico interativos, em ambos os romances. Em Meu nome não é Johnny, o percurso simbólico do protagonista o leva do sofrimento à redenção social e à inclusão (grandemente graças à atividade musical); em Cidade de Deus, a brutalização progressiva das relações humanas leva à erradicação de qualquer manifestação da sensibilidade, a uma cidade sem música e à permanência da exclusão

Treewidth: theory and applications to computer science

This report is an introduction to the concept of treewidth, a property of graphs that has important implications in algorithms. Some basic concepts of graph theory are presented in the first chapter for those readers that are not familiar with the notation. In Chapter 2, the definition of treewidth and some different ways of characterizing it are explained. The last two chapters focus on the algorithmic implications of treewidth, which are very relevant in Computer Science. An algorithm to compute the treewidth of a graph is presented and its result can be later applied to many other problems in graph theory, like those introduced in the last chapter.

A guide to the interpretation of sea trout scales

The overall purpose of this guide is to provide a manual for the collection and interpretation of sea trout scales. A brief introduction considers the advantages and disadvantages of using scales to determine age and growth. To ensure that scales are interpreted in a consistent manner, all major terms are defined and a standard system for age notation is proposed. The methodology for the collection, mounting and interpretation of scales is described in detail, and this is followed by a section on the back-calculation of lengths at different ages. Each topic is discussed critically. The final part of this guide is an atlas illustrating scales from a wide range of sea trout and including not only excellent "type-scales" but also difficult and impossible scales.

Distribution theory and fundamental solutions of differential operators

The objective of this dissertation is to study the theory of distributions and some of its applications. Certain concepts which we would include in the theory of distributions nowadays have been widely used in several fields of mathematics and physics. It was Dirac who first introduced the delta function as we know it, in an attempt to keep a convenient notation in his works in quantum mechanics. Their work contributed to open a new path in mathematics, as new objects, similar to functions but not of their same nature, were being used systematically. Distributions are believed to have been first formally introduced by the Soviet mathematician Sergei Sobolev and by Laurent Schwartz. The aim of this project is to show how distribution theory can be used to obtain what we call fundamental solutions of partial differential equations.

Unified form language: A domain-specific language for weak formulations of partial differential equations

We present the Unified Form Language (UFL), which is a domain-specific language for representing weak formulations of partial differential equations with a view to numerical approximation. Features of UFL include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function space hierarchies formultifield problems, general differential operators and flexible tensor algebra. With these features, UFL has been used to effortlessly express finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting in compact, intuitive and readable programs. We present in this work the language and its construction. An implementation of UFL is freely available as an open-source software library. The library generates abstract syntax tree representations of variational problems, which are used by other software libraries to generate concrete low-level implementations. Some application examples are presented and libraries that support UFL are highlighted. © 2014 ACM.