Code-switching in Bangladesh

A survey of hybridization in proper names and commercial signs. CODE-SWITCHING is commonly seen as more typical of the spoken language. But there are some areas of language use, including business names (e.g. restaurants), where foreign proper names, common nouns and sometimes whole phrases are imported into the written language too. These constitute a more stable variety of code-switching than the spontaneous and more unpredictable code-switching in the spoken language.

Determining when the absolute state complexity of a Hermitian code achieves its DLP bound

Let g be the genus of the Hermitian function field H/F(q)2 and let C-L(D,mQ(infinity)) be a typical Hermitian code of length n. In [Des. Codes Cryptogr., to appear], we determined the dimension/length profile (DLP) lower bound on the state complexity of C-L(D,mQ(infinity)). Here we determine when this lower bound is tight and when it is not. For m less than or equal to n-2/2 or m greater than or equal to n-2/2 + 2g, the DLP lower bounds reach Wolf's upper bound on state complexity and thus are trivially tight. We begin by showing that for about half of the remaining values of m the DLP bounds cannot be tight. In these cases, we give a lower bound on the absolute state complexity of C-L(D,mQ(infinity)), which improves the DLP lower bound. Next we give a good coordinate order for C-L(D,mQ(infinity)). With this good order, the state complexity of C-L(D,mQ(infinity)) achieves its DLP bound (whenever this is possible). This coordinate order also provides an upper bound on the absolute state complexity of C-L(D,mQ(infinity)) (for those values of m for which the DLP bounds cannot be tight). Our bounds on absolute state complexity do not meet for some of these values of m, and this leaves open the question whether our coordinate order is best possible in these cases. A straightforward application of these results is that if C-L(D,mQ(infinity)) is self-dual, then its state complexity (with respect to the lexicographic coordinate order) achieves its DLP bound of n /2 - q(2)/4, and, in particular, so does its absolute state complexity.

Administra????o de im??veis funcionais

Este projeto refere-se ?? implementa????o de novos procedimentos referentes ?? cobran??a da taxa de ocupa????o dos im??veis funcionais realizada pela Divis??o de Controle e Finan??as do MARE. O projeto visa a melhoria do atendimento ao cidad??o e efici??ncia nos controles de arrecada????o. O trabalho foi desenvolvido em conv??nio com o SERPRO, o SIAPE, a ECT e o Banco do Brasil. Com esta parceria criou-se uma rotina que evitou cobran??as indevidas e proporcionou aumento da arrecada????o. Houve maior agiliza????o no processo de baixa dos valores pagos e acesso permanente ??s informa????es

Administra????o de im??veis funcionais

Este projeto refere-se ?? implementa????o de novos procedimentos referentes ?? cobran??a da taxa de ocupa????o dos im??veis funcionais realizada pela Divis??o de Controle e Finan??as do MARE

Resolu????o n?? 02, de 24 de fevereiro de 2011: disp??e sobre a cess??o de uso de im??veis residenciais funcionais de propriedade da ENAP

A cess??o de uso de im??veis residenciais funcionais de propriedade da ENAP ?? regulamentada por meio da Resolu????o n?? 2, de 24 de fevereiro de 2011.

Vendas de bebidas alcóolicas : questões (im)pertinentes

O objetivo deste estudo é analisar a disponibilidade e o acesso à bebida alcoólica num bairro da cidade de Vitória/ES. Os dados foram obtidos através de pesquisa de campo na região selecionada utilizando a observação simples e a entrevista através da aplicação de questionários numa amostra de 10% dos estabelecimentos encontrados. Os pontos de venda funcionam 7 dias por semana; 68,8% vendem a credito e a um preço médio de R$ 0,41 (a dose de cachaça). 93,8% dos entrevistados não solicitam documento de identidade ao cliente antes de lhe vender bebidas. A relação entre número de moradias e número de pontos de venda foi de 3:1. A alta concentração de estabelecimentos que vendem bebidas alcoólicas no bairro aponta para a necessidade de pensar o entorno (regiões vizinhas) da mesma. Estas regiões envolvem áreas marginalizadas onde ocorre tráfico de drogas, fazendo da região estudada uma área importante para o comércio, pela facilidade de acesso aos outros bairros adjacentes da cidade.

GUI Inspection from Source Code Analysis

Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. This paper describes the latest results in the development of our tool to reverse engineer the GUI layer of interactive computing systems. We use static analysis techniques to generate models of the user interface behaviour from source code. Models help in graphical user interface inspection by allowing designers to concentrate on its more important aspects. One particularly type of model that the tool is able to generate is state machines. The paper shows how graph theory can be useful when applied to these models. A number of metrics and algorithms are used in the analysis of aspects of the user interface's quality. The ultimate goal of the tool is to enable analysis of interactive system through GUIs source code inspection.

GUI Behavior from Source Code Analysis

When developing interactive applications, considering the correctness of graphical user interfaces (GUIs) code is essential. GUIs are critical components of today's software, and contemporary software tools do not provide enough support for ensuring GUIs' code quality. GUIsurfer, a GUI reverse engineering tool, enables evaluation of behavioral properties of user interfaces. It performs static analysis of GUI code, generating state machines that can help in the evaluation of interactive applications. This paper describes the design, software architecture, and the use of GUIsurfer through an example. The tool is easily re-targetable, and support is available to Java/Swing, and WxHaskell. The paper sets the ground for a generalization effort to consider rich internet applications. It explores the GWT web applications' user interface programming toolkit.

The GUISurfer tool: towards a language independent approach to reverse engineering GUI code

Graphical user interfaces (GUIs) are critical components of today's software. Developers are dedicating a larger portion of code to implementing them. Given their increased importance, correctness of GUIs code is becoming essential. This paper describes the latest results in the development of GUISurfer, a tool to reverse engineer the GUI layer of interactive computing systems. The ultimate goal of the tool is to enable analysis of interactive system from source code.

COORDINSPECTOR: a tool for extracting coordination data from legacy code

More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by different organizations. Often, however, coordination data is deeply entangled in the code and, therefore, difficult to isolate and analyse separately. COORDINSPECTOR is a software tool which combines slicing and program analysis techniques to isolate all coordination elements from the source code of an existing application. Such a reverse engineering process provides a clear view of the actually invoked services as well as of the orchestration patterns which bind them together. The tool analyses Common Intermediate Language (CIL) code, the native language of Microsoft .Net Framework. Therefore, the scope of application of COORDINSPECTOR is quite large: potentially any piece of code developed in any of the programming languages which compiles to the .Net Framework. The tool generates graphical representations of the coordination layer together and identifies the underlying business process orchestrations, rendering them as Orc specifications