Optimal infinity-quasiconformal immersions

For a Hamiltonian K ∈ C2(RN × n) and a map u:Ω ⊆ Rn − → RN, we consider the supremal functional (1) The “Euler−Lagrange” PDE associated to (1)is the quasilinear system (2) Here KP is the derivative and [ KP ] ⊥ is the projection on its nullspace. (1)and (2)are the fundamental objects of vector-valued Calculus of Variations in L∞ and first arose in recent work of the author [N. Katzourakis, J. Differ. Eqs. 253 (2012) 2123–2139; Commun. Partial Differ. Eqs. 39 (2014) 2091–2124]. Herein we apply our results to Geometric Analysis by choosing as K the dilation function which measures the deviation of u from being conformal. Our main result is that appropriately defined minimisers of (1)solve (2). Hence, PDE methods can be used to study optimised quasiconformal maps. Nonconvexity of K and appearance of interfaces where [ KP ] ⊥ is discontinuous cause extra difficulties. When n = N, this approach has previously been followed by Capogna−Raich ? and relates to Teichmüller’s theory. In particular, we disprove a conjecture appearing therein.

Efficient but destructive: a test of the dental wash technique using secondary electron microscopy

The Boyadjian et al dental wash technique provides, in certain contexts, the only chance to analyze and quantify the use of plants by past populations and is therefore an important milestone for the reconstruction of paleodiet. With this paper we present recent investigations and results upon the influence of this method on teeth. A series of six teeth from a three thousand years old Brazilian shellmound (Jabuticabeira II) was examined before and after dental wash. The main focus was documenting the alteration of the surfaces and microstructures. The status of all teeth were documented using macrophotography, optical light microscopy, and atmospheric Secondary Electron Microscopy (aSEM) prior and after applying the dental wash technique. The comparison of pictures taken before and after dental wash showed the different degrees of variation and damage done to the teeth but, also, provided additional information about microstructures, which have not been visible before. Consequently we suggest that dental wash should only be carried out, if absolutely necessary, after dental pathology, dental morphology and microwear studies have been accomplished. (C) 2010 Elsevier Ltd. All rights reserved.

Large time behaviour for functional differential equations with dominant eigenvalues of arbitrary order

The spectral theory for linear autonomous neutral functional differential equations (FDE) yields explicit formulas for the large time behaviour of solutions. Our results are based on resolvent computations and Dunford calculus, applied to establish explicit formulas for the large time behaviour of solutions of FDE. We investigate in detail a class of two-dimensional systems of FDE. (C) 2009 Elsevier Inc. All rights reserved.

Spectral flow and iteration of closed semi-Riemannian geodesics

We introduce the notion of spectral flow along a periodic semi-Riemannian geodesic, as a suitable substitute of the Morse index in the Riemannian case. We study the growth of the spectral flow along a closed geodesic under iteration, determining its asymptotic behavior.

ALGEBRAIC AND GEOMETRIC THEORY OF THE TOPOLOGICAL RING OF COLOMBEAU GENERALIZED FUNCTIONS

We continue the investigation of the algebraic and topological structure of the algebra of Colombeau generalized functions with the aim of building up the algebraic basis for the theory of these functions. This was started in a previous work of Aragona and Juriaans, where the algebraic and topological structure of the Colombeau generalized numbers were studied. Here, among other important things, we determine completely the minimal primes of (K) over bar and introduce several invariants of the ideals of 9(Q). The main tools we use are the algebraic results obtained by Aragona and Juriaans and the theory of differential calculus on generalized manifolds developed by Aragona and co-workers. The main achievement of the differential calculus is that all classical objects, such as distributions, become Cl-functions. Our purpose is to build an independent and intrinsic theory for Colombeau generalized functions and place them in a wider context.

Extraction of structured programs from specification proofs

We present a method using an extended logical system for obtaining programs from specifications written in a sublanguage of CASL. These programs are “correct” in the sense that they satisfy their specifications. The technique we use is to extract programs from proofs in formal logic by techniques due to Curry and Howard. The logical calculus, however, is novel because it adds structural rules corresponding to the standard ways of modifying specifications: translating (renaming), taking unions, and hiding signatures. Although programs extracted by the Curry-Howard process can be very cumbersome, we use a number of simplifications that ensure that the programs extracted are in a language close to a standard high-level programming language. We use this to produce an executable refinement of a given specification and we then provide a method for producing a program module that maximally respects the original structure of the specification. Throughout the paper we demonstrate the technique with a simple example.

Mechanising first-order temporal resolution

First-order temporal logic is a concise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics has identified important enumerable and even decidable fragments. Although a complete and correct resolution-style calculus has already been suggested for this specific fragment, this calculus involves constructions too complex to be of practical value. In this paper, we develop a machine-oriented clausal resolution method which features radically simplified proof search. We first define a normal form for monodic formulae and then introduce a novel resolution calculus that can be applied to formulae in this normal form. By careful encoding, parts of the calculus can be implemented using classical first-order resolution and can, thus, be efficiently implemented. We prove correctness and completeness results for the calculus and illustrate it on a comprehensive example. An implementation of the method is briefly discussed.

Monodic Temporal Resolution

First-order temporal logic is a coincise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics have identified important enumerable and even decidable fragments. In this paper we present the first resolution-based calculus for monodic first-order temporal logic. Although the main focus of the paper is on establishing completeness result, we also consider implementation issues and define a basic loop-search algorithm that may be used to guide the temporal resolution system.

Stratified resolution

We introduce a calculus of stratified resolution, in which special attention is paid to clauses that "define" relations. If such clauses are discovered in the initial set of clauses, they are treated using the rule of definition unfolding, i.e. the rule that replaces defined relations by their definitions. Stratified resolution comes with a powerful notion of redundancy: a clause to which definition unfolding has been applied can be removed from the search space. To prove the completeness of stratified resolution with redundancies, we use a novel combination of Bachmair and Ganzingerâ??s model construction technique and a hierarchical construction of orderings and least fixpoints.

On the EA-style integrated processing of self-contained mathematical texts

A sound and complete first-order goal-oriented sequent-type calculus is developed with ``large-block'' inference rules. In particular, the calculus contains formal analogues of such natural proof-search techniques as handling definitions and applying auxiliary propositions.

Quantitative Information Flow, Relations and Polymorphic Types

This paper uses Shannon's information theory to give a quantitative definition of information flow in systems that transform inputs to outputs. For deterministic systems, the definition is shown to specialise to a simpler form when the information source and the known inputs jointly determine the inputs. For this special case, the definition is related to the classical security condition of non-interference and an equivalence is established between non-interference and independence of random variables. Quantitative information flow for deterministic systems is then presented in relational form. With this presentation, it is shown how relational parametricity can be used to derive upper and lower bounds on information flows through families of functions defined in the second order lambda calculus.

O processo decisório para obtenção de materiais de emprego militar no Exército Brasileiro

Este trabalho tem como objetivo descrever como os fatores racionais, organizacionais e políticos influenciam o processo decisório no Exército Brasileiro para a obtenção de Materiais de Emprego Militar (MEM). Utilizou-se a abordagem proposta no trabalho de Allison para análise das decisões durante a crise dos mísseis de Cuba em 1962. Os fatores racionais utilizados foram: cálculo, maximização de valor, impessoalidade, escolha racional e racionalidade limitada. Os fatores organizacionais foram: padrões e processos organizacionais, segmentação do problema, coordenação e controle centralizados, flexibilidade limitada, previsibilidade e cultura organizacional. Os fatores políticos utilizados foram: conflito, poder, negociação, contingências, cooptação, interesses e influência externa. Os resultados permitiram constatar que o processo decisório, mesmo ocorrendo em uma organização baseada em pressupostos racionais, sofre influência de fatores organizacionais e políticos.

Periodontal diseases in a representative urban population in south Brazil

Background and Aims: There is little information about the epidemiology and risk factors of periodontal diseases in Latin America in general, and Brazil in particular. The principal aims of this study were to: 1) describe the prevalence and severity of periodontal attachment loss and gingival recession, and to assess the contribution of demographic, behavioral, and environmental exposures to the occurrence of periodontal disease outcomes in a sample representative of the urban population in the state of Rio Grande do Sul in south Brazil; and 2) report the epidemiology and risk indicators of aggressive periodontitis in this population. Methods: A representative sample consisting of 1,586 subjects 14-103 years of age (mean 38 y) and comprising 45.3% males and 54.7% females was selected using a multi-stage, probability, cluster sampling strategy. The subjects were interviewed using a structured questionnaire and underwent a full-mouth, six sites per tooth clinical examination in a mobile examination center. Results: Moderate and severe clinical attachment loss and gingival recession were widespread among adults in this population. The prevalence and extent of attachment loss ³5 and ³7 mm were 79% and 52% subjects, and 36% and 16% teeth; and for gingival recession ³3 mm and ³5 mm were 52% and 22% subjects, and 17% and 6% teeth, respectively. Aggressive periodontitis was diagnosed in 5.5% of subjects, which is significantly higher than the reported prevalence in most other populations. Among the main risk indicators for chronic as well as aggressive destructive periodontal diseases were: older age, low socioeconomic status, dental calculus, and smoking. Cigarette smoking accounted for an important part of periodontal disease burden, particularly in adults, and should be considered an important target in any prevention strategy aimed at reducing the burden of periodontal diseases. Partial recording methods consistently underestimated the prevalence of attachment loss in the population, and the extent of underestimation was dependent on the type of system used and the threshold of attachment loss. Conclusions: Destructive periodontal diseases are prevalent in this Brazilian population. Suitable disease prevention and health promotion programs should be established to improve the periodontal health in this population.

Gestão de periódicos científicos: um estudo com revistas da área de administração

A criação e popularização da Internet têm provocado sérias mudanças no campo da comunicação. Especificamente na comunicação científica, o uso do meio eletrônico permite agilizar as etapas do processo editorial, bem como facilitar a criação, disseminação, pesquisa e uso de informação científica. Entretanto, a incorporação de tecnologias é também desafiadora, pois exige diversas mudanças no modelo de gestão de periódicos científicos. Esse é composto basicamente por aspectos científicos (certificação de conteúdo visando a seleção e divulgação de conhecimento de qualidade), administrativos (produção editorial e gráfica, gestão administrativa e financeira, comunicação e marketing) e financeiros (modelo de rendimentos) que precisam estar alinhados para que o periódico possa cumprir seu objetivo. A presente pesquisa teve como principal objetivo analisar a gestão editorial de periódicos científicos da área de Administração no contexto brasileiro e propor uma tipologia de seus modelos de gestão. Adotou-se de uma abordagem qualitativa e foram utilizados métodos de pesquisa documental, entrevista e análise bibliométrica para, respectivamente, identificação do contexto, descrição dos modelos de gestão editorial e cálculo do impacto dos periódicos selecionados para o estudo (Revista de Administração de Empresas, Revista de Administração Contemporânea, Revista de Administração da USP, Organizações & Sociedade e Brazilian Administration Review). Identificou-se que os periódicos selecionados apresentam impacto (medido por meio de citações) relativamente alto quando comparados aos periódicos estrangeiros avaliados pelo Qualis da área de Administração, Contabilidade e Turismo. Percebe-se que o modelo de gestão dos periódicos está fortemente vinculado ao tipo de Instituição Mantenedora desse (Associação Científica, Instituição de Ensino Superior (IES) Pública, IES Privada), a qual influencia nas questões financeiras, administrativas e científicas das revistas. Espera-se que os resultados da pesquisa possam contribuir não só para os editores de revistas científicas, mas também para os responsáveis por decisões que se referem às políticas de avaliação e fomento de periódicos científicos no Brasil.