A Polynomial Translation of pi-calculus FCPs to Safe Petri Nets

We develop a polynomial translation from finite control pi-calculus processes to safe low-level Petri nets. To our knowledge, this is the first such translation. It is natural in that there is a close correspondence between the control flows, enjoys a bisimulation result, and is suitable for practical model checking.Comment: To appear in special issue on best papers of CONCUR'12 of Logical Methods in Computer Scienc

PLANEJAMENTO ESTRATÉGICO NAS INSTITUIÇÕES DE ENSINO SUPERIOR: TÉCNICA OU ARTE?

O planejamento estratégico se tornou bastante freqüente em todos os tipos de organização. Nas últimas décadas, esta abordagem disseminou-se também na gestão das instituições de ensino superior. Contudo, seus resultados muitas vezes não são facilmente identificados nas nas organizações onde são utilizados. Vários são os problemas que podem estar afetando a prática do planejamento estratégico, que por sua vez caracteriza-se por ser um processo que combina aspectos racionais e subjetivos. Este artigo visa examinar a dimensão técnica e os fatores intuitivos, ilógicos e subjetivos como elementos importantes no referido processo. As análises racionais nem sempre conseguem captar certos fenômenos no ambiente externo e gerar a criatividade necessária que somente são percebidos através do uso de análises subjetivas e que vão além das análises racionais. O artigo analisa o uso do planejamento estratégico como uma ferramenta na gestão de instituições de ensino superior

Políticas públicas e estratégias de um sistema complexo: a mudança no sistema de mobilidade urbana de Bogotá

Purpose – Urban mobility is one of the most relevant themes in discussions regarding quality of life in large urban centers worldwide. It is a challenge that local governments have been facing due to a significant growth in the urban population. The purpose of this study is to analyze the changes in public transport made by the local government in the city of Bogotá, ColombiaDesign/methodology/approach – It is an in-depth case study of a qualitative nature, based upon primary (interviews and observation) and secondary data. Data was collected in Brazil and Colômbia.Findings – The case signaled a significant change process by improving urban mobility through the implementation of successful public policies and strategies. The findings indicated that transforming a chaotic public transport system into a point of reference in this field is a notable effort.Practical implications – This study provides insights to public administrators that manage organizations that operate complex systems and pluralistic contextsOriginality/value – This paper contributes to the field by discussing a unique case study in which the administration of a large capital of a South American country promoted a substantial change in the urban mobility system, tackling obstacles and developing an efficient approach.Objetivo – Mobilidade urbana é um dos temas mais comuns em discussões que tratem de qualidade de vida em grandes cidades em todo o mundo. Trata-se de desafio que governos locais tem enfrentado em face ao processo de urbanização. O objetivo deste estudo é analisar a experiência de Bogotá, Colômbia, na mudança de sistema de transporte público.Design/Metodologia/Abordagem – Essa pesquisa caracteriza-se por ser um estudo de caso em profundidade de natureza qualitativa, baseado em dados primários (entrevistas e observação) e secundários coletados. Os dados foram coletados tanto no Brasil como na Colômbia.Resultados – O estudo mostra um processo de mudança significativo na mobilidade urbana por meio da implementação de políticas públicas e estratégias. Os resultados indicaram que transformar um sistema de transporte público caótico em um exemplo para o mundo é um esforço notável.Implicações práticas – Esse estudo proporciona insights aos administradores públicos que gerenciam organizações que operam sistemas complexos e contextos pluralísticos.Originalidade/Valor – A contribuição deste trabalho concentra-se na discussão de um caso único em que a administração de uma grande capital sul-americana promoveu mudança substantiva no sistema de mobilidade urbana, ao vencer obstáculos e implantar uma eficiente abordagem

Deep Video Color Propagation

Traditional approaches for color propagation in videos rely on some form of matching between consecutive video frames. Using appearance descriptors, colors are then propagated both spatially and temporally. These methods, however, are computationally expensive and do not take advantage of semantic information of the scene. In this work we propose a deep learning framework for color propagation that combines a local strategy, to propagate colors frame-by-frame ensuring temporal stability, and a global strategy, using semantics for color propagation within a longer range. Our evaluation shows the superiority of our strategy over existing video and image color propagation methods as well as neural photo-realistic style transfer approaches.Comment: BMVC 201

Tarantelle Favori

https://digitalcommons.library.umaine.edu/mmb-ps/2922/thumbnail.jp

Letter to the Editor

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72427/1/j.1746-1561.1970.tb05620.x.pd

Dimensional limits for arthropod eyes with superposition optics

AbstractAn essential feature of the superposition type of compound eye is the presence of a wide zone, which is transparent and devoid of pigment and interposed between the distal array of dioptric elements and the proximally placed photoreceptive layer. Parallel rays, collected by many lenses, must (through reflection or refraction) cross this transparent clear-zone in such a way that they become focused on one receptor. Superposition depends mostly on diameter and curvature of the cornea, size and shape of the crystalline cone, lens cylinder properties of cornea and cone, dimensions of the receptor cells, and width of the clear-zone. We examined the role of the latter by geometrical, geometric-optical, and anatomical measurements and concluded that a minimal size exists, below which effective superposition can no longer occur. For an eye of a given size, it is not possible to increase the width of the clear-zone cz=dcz/R1 and decrease R2 (i.e., the radius of curvature of the distal retinal surface) and/or c=dc/R1 without reaching a limit. In the equations `cz' is the width of the clear-zone dcz relative to the radius R1 of the eye and c is the length of the cornea-cone unit relative to R1. Our results provide one explanation as to why apposition eyes exist in very small scarabaeid beetles, when generally the taxon Scarabaeoidea is characterized by the presence of superposition eyes. The results may also provide the answer for the puzzle why juveniles or the young of species, in which the adults possess superposition (=clear-zone) eyes, frequently bear eyes that do not contain a clear zone, but resemble apposition eyes. The eyes of the young and immature specimens may simply be too small to permit superposition to occur

Learning-based pose edition for efficient and interactive design

Authoring an appealing animation for a virtual character is a challenging task. In computer-aided keyframe animation artists define the key poses of a character by manipulating its underlying skeletons. To look plausible, a character pose must respect many ill-defined constraints, and so the resulting realism greatly depends on the animator's skill and knowledge. Animation software provide tools to help in this matter, relying on various algorithms to automatically enforce some of these constraints. The increasing availability of motion capture data has raised interest in data-driven approaches to pose design, with the potential of shifting more of the task of assessing realism from the artist to the computer, and to provide easier access to nonexperts. In this article, we propose such a method, relying on neural networks to automatically learn the constraints from the data. We describe an efficient tool for pose design, allowing na{\"i}ve users to intuitively manipulate a pose to create character animations