All maximal-pairs in step-leap representation of melodic sequence

This paper proposes an efficient pattern extraction algorithm that can be applied on melodic sequences that are represented as strings of abstract intervallic symbols; the melodic representation introduces special “binary don’t care” symbols for intervals that may belong to two partially overlapping intervallic categories. As a special case the well established “step–leap” representation is examined. In the step–leap representation, each melodic diatonic interval is classified as a step (±s), a leap (±l) or a unison (u). Binary don’t care symbols are used to represent the possible overlapping between the various abstract categories e.g. *=s, *=l and #=-s, #=-l. We propose an O(n+d(n-d)+z)-time algorithm for computing all maximal-pairs in a given sequence x=x[1..n], where x contains d occurrences of binary don’t cares and z is the number of reported maximal-pairs.

All maximal-pairs in step-leap representation of melodic sequence

This paper proposes an efficient pattern extraction algorithm that can be applied on melodic sequences that are represented as strings of abstract intervallic symbols; the melodic representation introduces special “binary don’t care” symbols for intervals that may belong to two partially overlapping intervallic categories. As a special case the well established “step–leap” representation is examined. In the step–leap representation, each melodic diatonic interval is classified as a step (±s), a leap (±l) or a unison (u). Binary don’t care symbols are used to represent the possible overlapping between the various abstract categories e.g. *=s, *=l and #=-s, #=-l. We propose an O(n+d(n-d)+z)-time algorithm for computing all maximal-pairs in a given sequence x=x[1..n], where x contains d occurrences of binary don’t cares and z is the number of reported maximal-pairs.

Equality and Monodic First-Order Temporal Logic

It has been shown recently that monodic first-order temporal logic without functional symbols but with equality is incomplete, i.e., the set of the valid formulae of this logic is not recursively enumerable. In this paper we show that an even simpler fragment consisting of monodic monadic two-variable formulae is not recursively enumerable.

Identidade e vínculos numa oficina de marcenaria

This work analyzes the symbols, the relations and the social constructions (identity, authority, home-street) inside a carpenter's workshop. A participative research method was used. The author gathered the data concerning the workshop on a daily basis, acting as a co-worker inside the carpentry. This report is part of a bigger project that will try to identify and to analyze an organization's culture starting from the hierarchical basis. This approach collides with mainstream studies on organizational culture, that take into account only the higher management points of view, thus ignoring the worker's universe.

Resposta de consumidores para modelos como símbolos de grupos de referência em propaganda do Brasil (símbolos de grupos de referência em propaganda)

Estudos já feitos nos Estados Unidos mostram que propaganda é mais efetiva, geralmente, quando a raça do modelo é a mesma do que a raça do consumidor. Este estudo mostrou que os consumidores brasileiros não fizeram questão de raça do modelo. Embora, a mais aceito era o modelo mulato. Também nenhuma raça dd consumidor mostrou reação negativo contra dos modelos mulatos ou negros. O Teoria de Identidade Social fornece uma explicação possível. No EUA, a raça é uma característica fixa. No Brasil, a fronteira entre as raças é permeável. Por causa desta flexibilidade, consumidores brasileiros usam estratégias de mobilidade social, e escolham o grupo de referencia preferido dentro de todos as raças, não só de raça deles mesmo.

Consumo para obtenção de status: estudo empírico entre meninas pré-dolescentes de São Luis do Maranhão

The consumption of goods from brands in vogue, which symbolize status, popularity, success and social distinction, among those from the same social group in a pre-teenage girls¿ environment, has been a topic for academic studies as well as the market, due to their relevant consumption power for the companies worldwide. This paper aims to check out the use of these goods by them in São Luís, in order to become popular, succesful and socially distinguished; and the relation of the consumption for status with the brand image consumed and the pre-teenage girl self image; how familiar with the goods and the brand they are; and their attitude concerning their qualities. The empirical metodology had two phases: a qualitative and a quantitative one. The first one started with a specific group of 8 (eight) pre-teenage girls from high and medium classes, with the purpose of collecting some basis in order to reinforce the theory once the hypothesis were elaborated and used to guide the quantitative research as well as to adapt some North American scales. In the second stage of the qualitative research, a survey was applied in a convenience sample of 300 (three hundred) pre-teenage girls from São Luís, all from the high, medium high and low classes. The main result showed the pre-teenage girls from São Luís consume goods and brands for status, so they could get prestige, success, and social distinction, however, they do not define themselves or judge the social status of those from their social group based only on the clothes they wear and the brands which indicate their consumption power. Some other status symbols are important too, like, housing, the family car, the neighborhood where they dwell, the parents¿ occupation; the school they go to, the long and straight hair, how correct they speak Portuguese and their holiday trips. Another result highlighted was the strong relation of the brand image with their self image in the consumption for status.

Gestão da polícia militar: a cultura institucional como agente limitador da construção de uma polícia cidadã

Esta dissertação teve como objetivo compreender de que maneira a cultura organizacional da polícia militar influencia o modelo de gestão da instituição. O cotidiano institucional da policia militar é repleto de situações que servem de objeto de argüição sobre o processo de construção da identidade do policial militar como resultante de um comportamento normativo e disciplinar que consolida conceitos historicamente enraizados, os quais se repassam de geração a geração. O modo de agir do policial militar configura uma cultura institucional que reforça a crise de segurança instalada na sociedade. Frente a tal realidade, a gestão institucional passa a ser um importante objeto de investigação capaz de contribuir com mudanças no trabalho policial militar, pois ainda persiste no modus operandi da segurança pública uma ação tipicamente ligada ao controle da violência mediante o uso da violência. Presumivelmente, esse papel seria exercido através do cumprimento da doutrina que atualmente é ensinada nas academias militares. No entanto, essas formulações são usadas como anteparo e reforço de valores militares rígidos, configurando a cultura organizacional da instituição, de maneira que tais preceitos e as práticas que as acompanham são as referências principais do discurso teórico e dos argumentos ideológicos da Polícia Militar. Os resultados obtidos mostraram que as bases doutrinárias, transplantadas do exército brasileiro e que originaram as policias militares, persistem até os dias atuais nessa instituição e resultou na absorção da doutrina militar expressa no pensamento, símbolos, modus operandi e estrutura, o que a mantém sob controle rígido, atendendo às expectativas do Estado em detrimento do povo ou da própria policia; a cultura organizacional da polícia militar permanece quase inalterada desde suas origens, o que a coloca em dissonância com a realidade contemporânea; o modelo de gestão que a polícia militar utilizar foi construído a partir da base ideológica de suas origens, centrado na hierarquia e na disciplina, e que tem no cumprimento do regulamento o foco central da gestão; e que o modelo de gestão praticado pela polícia militar impede o cumprimento de sua missão institucional e social porque seu foco está deslocado, ou seja, ao invés de focar a solução dos problemas de segurança e defesa dos direitos da sociedade visa ao cumprimento linear, puro e simples do regulamento militar (Esse trecho está muito confuso!! Não consigo entender o que você quis dizer). A conclusão é que a cultura organizacional das polícias militares determina o modelo de gestão contemporâneo da instituição focado na militarização. É um modelo que privilegia a hierarquia e a disciplina (e ao apego ao regulamento), em detrimento do capital intelectual e da participação de seus membros e da sociedade na identificação e solUção dos seus objetivos e metas. Como resultado, a polícia militar se distanciou da solução de sua missão institucional e social, o que levou a sociedade a se ressentir de proteção e defesa de seus direitos.

Um estudo sobre o mito cosmogônico: um paralelo com a criação da consciência e um enfoque de psicologia analítica

Este estudo pretende fazer um demonstrativo de cinco mitos cosmogônicos, escolhidos inicialmente a partir de três critérios: pertencerem a civilizações, em certa medida, com características diversas; por serem civilizações histórica e culturalmente importantes; e por fim, por interesse de proximidade cultural, utilizou-se um mito cosmogônico brasileiro. O objetivo deste trabalho é mostrar que nesses mitos vamos encontrar mitemas que são estruturas básicas que desvelam questões importantes do acontecer psíquico. Resgatando a mitologia para uma situação de atualização, percebe-se que os dramas humanos do cotidiano são abordados nos mitos estudados. A mitologia, simbolicamente, tirada das mesmas questões, do homem de todas as culturas. Utilizando uma abordagem junguiana, podemos compreender que essa repetição dos mitemas, acontece, pois pertencem ao estrato do inconsciente coletivo. A compreensão do que foi visto, permite uma ampliação da possibilidade de trabalhar com psicologia clínica, permitindo que as pessoas tomem consciência da construção mitica de suas vidas, pois é justamente a inconsciência de vivê-la, que no mais das vezes, atrela o ser humano a esses determinismos impedindo-o de criar qualquer coisa em sua vida. Entende-se como saúde a possibilidade de livre-arbitrio. Sendo que para isso é importante o conhecimento dessas questões básicas comuns a humanidade. O conhecimento dessas estruturas e a possibilidade de libertação.

Blocos: vozes e percursos da reestruturação do Carnaval de rua no Rio de Janeiro

O foco deste trabalho é o projeto de criação e desenvolvimento do protótipo de um espaço virtual que reúne e organiza informações sobre o Carnaval de rua carioca. A celebração do Carnaval nas ruas do Rio de Janeiro, apesar de ser uma antiga tradição da cidade, passou, nos últimos vinte anos, por um processo de expansão e reestruturação, chegando aos dias atuais, em que a festa mobiliza milhões de foliões. Os blocos fundados em meados de 1980, e principalmente nos anos 1990 compartilharam símbolos e valores ligados à identidade carioca, à brasilidade e à resistência cultural, lidando com um universo de enorme riqueza, que dialoga com a evolução urbana, o contexto político, além de questões como globalização, consumo, circulação, inclusão, cidadania, memória, entre outros. Registrar a memória desse momento de redescoberta e contribuir para o levantamento de fontes de pesquisa ligadas a esse “novo” Carnaval de rua, foram as principais motivações que levaram à investigação.

O consumidor brasileiro de marcas de luxo : uma descrição e segmentação psicográfica por valores

O campo desta dissertação é o Marketing aplicado às marcas de luxo, descrevendo e segmentando os consumidores das marcas de luxo de vestuário e acessórios em seus traços psicográficos. A psicografia é utilizada para entender os mercados e avaliar em profundidade os segmentos (Blackwell, Miniard, Engel, 2005), indo além das usuais variáveis demográficas. A psicografia utiliza características subjetivas dos consumidores, tais como estilo de vida, personalidade, atitude, atividades, interesses, valores (Tomanari, 2003). Aqui se utilizou, como traços psicográficos, os valores do consumidor. Valores são propriedades humanas que dificilmente mudam, sendo influenciadores do comportamento. Ademais, são em algum grau compartilhados pelos indivíduos que pertencem a uma mesma cultura e variam de acordo com as especificidades culturais (Hemzo, Silva, 2009). Dessa forma, os traços psicográficos baseados em valores são menos universais e mais necessários estudá-los dentro de uma cultura em particular (a brasileira, nessa dissertação). No Brasil, o consumo das marcas de luxo, a partir da década de 2000, teve diversas causas. As condições econômicas e a inserção no mercado global facilitaram a compra de produtos importados. Todavia, o fenômeno do luxo difere nos seus mercados tradicionais (França e Itália). Isso leva a considerar que, nos mercados emergentes, o luxo passa por outras definições e simbologias, por vezes divergentes daquelas dos países de origem das marcas. Logo, uma segmentação baseada nos traços psicográficos dos consumidores pode auxiliar a gestão dessas marcas no Brasil, o que essa dissertação aborda.

Duque de Caxias para quem?: imaginários sociais e apropriações de territórios na cibercultura

A partir das múltiplas representações que se reproduzem sobre a cidade de Duque de Caxias ao longo dos anos, imaginários e identidades sociais são fortalecidos e transformados. No entanto, autorrepresentações, provindas de agentes culturais da cidade organizados em uma rede, que muito se fortalece com o uso da internet, buscam desconstruir estereótipos e reivindicar a cidade que eles querem e julgam ter direito. Neste contexto, a primeira parte do trabalho se dedica a uma investigação sobre como a cidade de Duque de Caxias foi e é representada por atores diversos, incluindo seus próprios moradores. São ressaltadas as aproximações entre a produção cultural dessa rede com a construção e ressignificação de símbolos e imaginários da cidade. São realizados, ainda, estudos de caso sobre o cineclube Mate com Angu, o coletivo de quadrinistas Capa Comics e o blog Lurdinha. A segunda parte do trabalho versa sobre as relações afetivas entre a população duque caxiense e os territórios habitados, em muito transformadas pelas produções culturais que enfatizam o pertencimento à cidade. O incentivo ao melhor uso dos espaços públicos e a criação de equipamentos de lazer se apresentam como essenciais neste processo. Os resultados dessa pesquisa apresentam uma reflexão sobre as potencialidades da internet para o fortalecimento das relações em rede, para oportunizar autorrepresentações e, ainda, para provocar mobilidades. As transformações ocorridas em torno das percepções sobre a cidade, a compreensão de pertencimento a ela e a apropriação dos espaços também são pontos destacados nesta dissertação.

JML- Based formal development of a Java card application for managing medical appointments

Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.

WAMM: wiki aided meta modelling

All over the world, organizations are becoming more and more complex, and there’s a need to capture its complexity, so this is when the DEMO methodology (Design and Engineering Methodology for Organizations), created and developed by Jan L. G. Dietz, reaches its potential, which is to capture the structure of business processes in a coherent and consistent form of diagrams with their respective grammatical rules. The creation of WAMM (Wiki Aided Meta Modeling) platform was the main focus of this thesis, and had like principal precursor the idea to create a Meta-Editor that supports semantic data and uses MediaWiki. This prototype Meta-Editor uses MediaWiki as a receptor of data, and uses the ideas created in the Universal Enterprise Adaptive Object Model and the concept of Semantic Web, to create a platform that suits our needs, through Semantic MediaWiki, which helps the computer interconnect information and people in a more comprehensive, giving meaning to the content of the pages. The proposed Meta-Modeling platform allows the specification of the abstract syntax i.e., the grammar, and concrete syntax, e.g., symbols and connectors, of any language, as well as their model types and diagram types. We use the DEMO language as a proofof-concept and example. All such specifications are done in a coherent and formal way by the creation of semantic wiki pages and semantic properties connecting them.

A representação social do papel de gestores em organizações não governamentais

The discussions concerning the absence of a management model appropriate to the peculiarities of third sector organizations have not been impeditive to their emphasized expansion in the last decades. In the attempt of understanding this phenomenon from the perspective of those who manage social organizations, this work based on the theory of social representations to understand the notion that organization managers of the third sector - based in Fortaleza CE - have of the part that they play and how this notion influences the direction of their activities. Social representations of managers of four different categories of non-governmental organizations have been investigated, each category composed of two unities. The categories researched were: social integration through art and education, prevention and treatment of alcohol and drug abuse, children s health assistance and community action. By using Doise s Societal Approach, the role of social managers translated in intraindividual, interindividual and situational processes of their actions, has been analysed within the social representations, focusing on beliefs, values, symbols and stories that give meaning to the existence of non-governmental organizations. Analysis and discussion of data displayed the existence of diversity in the understanding of managers within their practice, in other words, the management profile is also its own manager s. The branch where an organization acts is also preponderant in the shaping of a management style. It could be deduced, from to the organizations researched, that professional formation and the manager s social insertion mainly, are determinative factors in the outlining of a management model of its own. It was concluded that, due to heterogeneity of interests and action segments, there is no systematic process for social management among organizations. Management styles are supported by their director s own perception of achievement, who model organizations according to their contingencies