A minimal model of many body localization

We present a fully analytical description of a many body localization (MBL) transition in a microscopically defined model. Its Hamiltonian is the sum of one- and two-body operators, where both contributions obey a maximum-entropy principle and have no symmetries except hermiticity (not even particle number conservation). These two criteria paraphrase that our system is a variant of the Sachdev-Ye-Kitaev (SYK) model. We will demonstrate how this simple `zero-dimensional' system displays numerous features seen in more complex realizations of MBL. Specifically, it shows a transition between an ergodic and a localized phase, and non-trivial wave function statistics indicating the presence of `non-ergodic extended states'. We check our analytical description of these phenomena by parameter free comparison to high performance numerics for systems of up to $N=15$ fermions. In this way, our study becomes a testbed for concepts of high-dimensional quantum localization, previously applied to synthetic systems such as Cayley trees or random regular graphs. We believe that this is the first many body system for which an effective theory is derived and solved from first principles. The hope is that the novel analytical concepts developed in this study may become a stepping stone for the description of MBL in more complex systems.Comment: 21 pages, 8 figures, introduction rewritten, changed titl

Boost the Impact of Continuous Formal Verification in Industry

Software model checking has experienced significant progress in the last two decades, however, one of its major bottlenecks for practical applications remains its scalability and adaptability. Here, we describe an approach to integrate software model checking techniques into the DevOps culture by exploiting practices such as continuous integration and regression tests. In particular, our proposed approach looks at the modifications to the software system since its last verification, and submits them to a continuous formal verification process, guided by a set of regression test cases. Our vision is to focus on the developer in order to integrate formal verification techniques into the developer workflow by using their main software development methodologies and tools.Comment: 7 page

Knowledge Flows Within Multinational Corporations: Explaining Subsidiary Isolation and Its Performance Implications

Applying a new theoretical and empirical approach to intrafirm knowledge transfers, this paper provides some initial insight to the little-researched phenomenon of why some subsidiaries are isolated from knowledge-transfer activities within the multinational corporation (MNC). Knowledge transfer is framed as a problemistic search process initiated by the recipient unit. We show that knowledge flows from units that are perceived to be highly capable to units that perceive themselves to be highly capable. Knowledge flows are also associated with existing levels of communication and reciprocity. Taken together, these findings suggest that knowledge transfers in MNCs typically occur between highly capable members of an “in crowd,” and the isolated minority rarely, if ever, engages in knowledge-sharing activities. Finally, we show that the isolated minority underperforms other subsidiaries, suggesting the possibility of a “liability of internal isolation.

(Des)vitruviando: deconstruyendo la imagen del cuerpo perfecto a través de mi cuerpo diferenciado en performance

Este escrito pretende reflexionar sobre el proceso creativo de la performance (DES)VITRUVIANDO, que el performer tiene la intención de afirmar que el proceso de estigmatización, que artistas con cuerpos diferenciados sufrir, asociado sobre todo la manera en que su cuerpos que somos y tenemos, ya que sus diferenciaciones corporales peculiar corporeidad surgen en la escena, sobre todo desde que fue votado fuera de los patrones corporales y de belleza establecidos en su mayoría sobre la base de los ideales del Renacimiento del hombre Vitruviando de Leonardo da Vinci, aunque no es su voluntad interferir y provocar reacciones de carácter social y estético que se oponen a los cánones escénicos tradicionales. Este sesgo, permite entender y demostrar que en las artes escénicas contemporáneas no imponer juicios de valor acerca de cuales son los cuerpos que deberían o no deberían estar presentes y participar em escena, como ahora pretende analizar, reconocer y aprovechar la diversidad y la alteridad de los artistas, entre ellos con cuerpos diferenciados.Palabras clave: Estándares de belleza corporal. Performance. Cuerpos diferenciados

Marketing em contabilidade : percepção de alunos de um curso de Ciências Contábeis

Trabalho de conclusão de curso (graduação)—Universidade de Brasília, Faculdade de Economia, Administração e Contabilidade, Departamento de Ciências Contábeis e Atuariais, Bacharelado em Ciências Contábeis, 2013.O marketing é essencial para que uma empresa ou profissional liberal sobreviva, sendo necessário para a captação e manutenção dos clientes. Dessa forma, o uso das ferramentas do marketing proporciona o aumento do valor e o desenvolvimento empresa/profissional perante o mercado seja tratando de produtos ou de serviços, tais como os serviços contábeis. Nesse sentido, este artigo tem como objetivo analisar a visão de alunos de ciências contábeis sobre a aplicação dos conceitos de marketing na profissão contábil. A pesquisa foi realizada por meio de questionário com os alunos de ciências contábeis em uma Instituição Pública de Ensino Superior. Os resultados mostram que, segundo os respondentes, para que o mercado melhore a sua visão do profissional contábil, é necessário que ele saiba utilizar de técnicas e artifícios para demonstrar ao mercado a importância e as áreas que pode ser utilizado o conhecimento adquirido na academia e sua experiência profissional. É verificado que, na visão dos alunos, o marketing é de grande importância sob o ponto de vista da visão do mercado a respeito da contabilidade e do profissional, observando falhas tanto por parte de escritórios como profissionais e, consequentemente, nos futuros profissionais. Assim, aduz-se, após a elaboração deste artigo, que é essencial ao profissional contábil a divulgação de suas atividades profissionais de maneira que o marketing, como técnica, seja adotado para melhorar a percepção do mercado acerca das atividades que podem ser desempenhadas pelo profissional contábil

Análise geoespacial como subsídio para proposta de enquadramento de corpos hídricos

Trabalho de Conclusão de Curso, apresentado para obtenção do grau de Bacharel, no Curso de Engenharia Ambiental da Universidade do Extremo Sul Catarinense, UNESC.A resolução CONAMA 357 de 2005 estabelece classes de usos para as águas em território nacional no âmbito da gestão e planejamento dos recursos hídricos. O enquadramento é definido de acordo com os usos preponderantes, ou seja, a classificação não é baseada na qualidade atual do rio, mas sim na condição que se deseja alcançar para cada trecho da rede hidrográfica. O Conselho Nacional de Recursos Hídricos através da norma nº 091 de 2008, estabelece os procedimentos que devem ser adotados em estudos que visam propostas de enquadramentos de cursos de água. O geoprocessamento é uma das ferramentas essenciais para a realização destas propostas, pois com o uso do ambiente SIG se pode espacializar os cursos de água, bem como todas as possíveis interferências que este sofre. O estudo em questão foi uma aplicação do enquadramento e como área de análise foi adotada a microbacia hidrográfica do Rio do Cedro, localizada no município de Criciúma – Santa Catarina. A metodologia consistiu em consultas a bases bibliográficas, escolha de critérios relacionados com os cursos de água, técnicas de processamento digital de imagens e geoprocessamento em ambiente SIG. Isso foi necessário para que a abordagem multicriterial culminasse na elaboração da proposta de enquadramento dos corpos hídricos. As informações foram trabalhadas dentro do software ArcGIS® 10.1, padronizando-se os data, efetuando o recorte das informações para a área de estudo e elaboração de mapas por critérios. Após o tratamento dos dados, estes foram categorizados em 5 classes de acordo com suas características ambientais, físico territoriais e socioeconômicas. Procedeu-se assim a sobreposição das informações, através da abordagem multicriterial, com base na equação de média ponderada. Como resultado final se obteve o mapa com o enquadramento dos corpos hídricos em classe especial, classe 1, classe 2, classe 3 e classe 4. O modelo gerado teve que ser ajustado para que a proposta ganhasse o caráter instrumental de gestão e planejamento hídrico. Desta forma, a nova abordagem foi realizada com base em critérios como hierarquia hídrica, visita a campo, usos atuais, usos pretendidos e análise de imagem aérea. O enquadramento final apresentou que rios de cabeceiras atingiram classes de usos nas quais tem como função principal a preservação e equilíbrio da qualidade ambiental, enquanto os rios enquadrados em classe de uso 4 tiveram a representação de ambientes mais urbanizados e alterados por ação antrópica. Em análise quantitativa os rios pertencentes as classes mais restritivas (especial e 1) representam cerca de 57,72 %, rios de classe 2 representam 25,22 % e 17,05 % de rios com qualidade menos restritivas (classe 3 e 4), considerando a quilometragem dos corpos hídricos

Todos querem trabalhar menos?: preditores da favorabilidade à semana de quatro dias de trabalho

Com o advento da pandemia de COVID-19, as organizações tiveram que adotar formas de flexibilização para dar continuidade ao negócio. Uma das medidas de flexibilidade que começou a ser testada é a semana de 4 dias de trabalho. O presente estudo teve como objetivo analisar a relação entre as variáveis comportamentais no trabalho e a favorabilidade à semana de 4 dias. A pesquisa realizada foi quantitativa, e foi aplicado um questionário para obtenção das respostas. Fizeram parte desta pesquisa 120 respondentes maiores de 18 anos que são empresários ou possuem vínculo formal de trabalho, localizados em cinco estados e no Distrito Federal, sendo esse a maior concentração de respondentes. Como instrumento de medida, foram utilizadas cinco escalas: a escala da percepção da semana de 4 dias, a escala de flexibilidade no trabalho, a escala de satisfação no trabalho, a medida de comprometimento organizacional acrescida da medida de comprometimento KUT e a escala de desempenho geral no trabalho (EDGT). A medida de comprometimento organizacional foi utilizada em sua versão reduzida, a fim de deixar a leitura mais sucinta para o leitor. Como ferramentas de análise foram utilizadas a análise de variância (ANOVA) e a Regressão Linear para a relação entre as variáveis. Os resultados demonstraram que o cargo que a pessoa ocupa no trabalho pode influenciar a favorabilidade à semana de 4 dias e as variáveis flexibilidade no trabalho e satisfação intrínseca no trabalho explicam a favorabilidade à semana de 4 dias. As variáveis desempenho e comprometimento não tiveram resultados significativos em relação à semana de 4 dias, bem como o tamanho da empresa e a situação de trabalho. Em outros termos, pessoas da alta gestão tendem a ser mais resistentes à implementação da semana de 4 dias e pessoas que possuem maior flexibilidade no trabalho e são satisfeitas com o trabalho que fazem, tendem a ser mais favoráveis à semana de 4 dias

Revisão bibliográfica: uma abordagem sobre desempenho e características de carcaças ovinas em sistemas de confinamento

Os animais abatidos no território brasileiro não oferecem carcaças de boa qualidade, um dos fatores para essa ocorrência é devido a forma clandestina de abate, sem garantia de qualidade ao consumidor, ofertando animais velhos, com características sensoriais ao paladar e olfato. O estudo objetivou verificar o desempenho e as características qualitativas e quantitativas de carcaças de animais criados em confinamento, a partir de uma revisão bibliográfica, a fim de considerar a idade ideal para o abate. Os animais com maturidade precoce, criados em sistemas de confinamento, atingem a etapa de crescimento e passam a converter a energia em gordura, o que torna adequada a determinação de um peso ideal para o abate, obtendo o melhor rendimento de carcaça, mantendo-se os custos de produção. A avaliação de conformação de carcaça utiliza medidas de comprimento, largura, espessura e profundidade, características que são capazes de expressar tanto o desenvolvimento integral da carcaça, como de partes ou regiões distintas. Raças oriundas de cruzamentos industriais tendem a possuir melhores níveis de desempenho, com melhor conformação de carcaça e ganho de peso