BEval: A Plug-in to Extend Atelier B with Current Verification Technologies

This paper presents BEval, an extension of Atelier B to improve automation in the verification activities in the B method or Event-B. It combines a tool for managing and verifying software projects (Atelier B) and a model checker/animator (ProB) so that the verification conditions generated in the former are evaluated with the latter. In our experiments, the two main verification strategies (manual and automatic) showed significant improvement as ProB's evaluator proves complementary to Atelier B built-in provers. We conducted experiments with the B model of a micro-controller instruction set; several verification conditions, that we were not able to discharge automatically or manually with AtelierB's provers, were automatically verified using BEval.Comment: In Proceedings LAFM 2013, arXiv:1401.056

Dissipative dynamics of spins in quantum dots

We present a theory for the dissipation of electronic spins trapped in quantum dots due to their coupling to the host lattice acoustic phonon modes. Based on the theory of dissipative two level systems for the spin dynamics, we derive a relation between the spin dissipative bath, the electron confinement, and the electron-phonon interaction. We find that there is an energy scale, typically smaller than the electronic lateral confinement energy, which sets the boundary between different dissipative regimes .Comment: 4 pages, 2 eps figure

Power-law statistics and stellar rotational velocities in the Pleiades

In this paper we will show that, the non-gaussian statistics framework based on the Kaniadakis statistics is more appropriate to fit the observed distributions of projected rotational velocity measurements of stars in the Pleiades open cluster. To this end, we compare the results from the $\kappa$ and $q$-distributions with the Maxwellian.Comment: 13 pages, 3 figure

Relação entre o desempenho das organizações e o tempo de mandato (tenure) do Presidente (CEO): um estudo em empresas brasileiras de capital aberto entre 1999 e 2008

Este artigo buscou avaliar o relacionamento entre o tempo de mandato do Chief Executive Officer (CEO) – normalmente adaptado para a língua portuguesa como Presidente – e o desempenho de sua organização. Para tanto se construiu dois grupos de hipóteses testadas por meio de um estudo empírico em uma amostra de 118 organizações de grande porte que possuíam ações negociadas no mercado de bolsa da Bolsa de Valores de São Paulo (BOVESPA) entre 1999 e 2008 (período da análise). Os dados foram tratados, normalizados e submetidos a uma análise Pearson, que refutou os dois grupos de hipóteses. Para tentar entender o comportamento do desempenho, independente das hipóteses, foi realizada uma análise horizontal em um subgrupo da amostra, composto por organizações que tiveram apenas um CEO no tempo analisado (41 organizações). Esta última análise permitiu concluir que (1) o tempo de mandato do CEO não está relacionado linearmente com o crescimento ou declínio do desempenho da organização, havendo outras variáveis a considerar, (2) a persistência estratégica, conformidade estratégica, conformidade de resultados e uma TMT mais homogênea, não se reflete em melhores ou piores resultados das organizações, tornando estas características questionáveis como forma de alcançar uma vantagem competitiva, (3) o comportamento do desempenho das organizações brasileiras perante o tempo de mandato dos seus CEOs tendem a uma curva em U-invertido e, (4) mesmo em organizações familiares, o comportamento do desempenho assume este formato de curva indicando que seria mais prudente que a sucessão do CEO fosse realizada no momento que a organização inicia o seu declínio de resultado, e não na aposentadoria do CEO

Alta Administração como Recurso Estratégico: agenda de pesquisa brasileira a partir de estudo bibliográfico dos trabalhos de Hambrick

Entre os principais temas de estudo recentes em estratégia estão o papel da Alta Administração e o processo de tomada de decisão estratégica. O objetivo do artigo é, a partir da produção acadêmica selecionada, inferir uma agenda inicial de pesquisa brasileira para o estudo da “Alta Administração como recurso estratégico”. Foi realizada uma revisão teórica dos aspectos fundamentais da perspectiva adotada. Foi incluída uma breve descrição dos procedimentos metodológicos, seguida das contribuições de Donald Hambrick, autoridade reconhecida no tema segundo pesquisadores de renome. Foi inferido um conjunto de proposições que poderão orientar pesquisas futuras, discussão global e conclusões. Trata-se de uma pesquisa é de caráter descritivo a partir de estudo bibliográfico. De 57 artigos referenciados do autor, 31 foram selecionados. A partir do estudo foi proposta uma agenda de pesquisa brasileira sobre o tema com nove linhas de trabalho: mandato versus desempenho; compensação, escolhas estratégicas e resultados organizacionais; problemas brasileiros versus os de empresas estrangeiras; características dos CEOs e suas decisões; fatores para sucessão; tamanho e rentabilidade versus compensação; permanência e defesa do status quo e mandato; heterogeneidade da TMT e tomada de decisão; perfil narcisista do CEO, decisões e resultado na organização

On the nature of Lithium-rich giant stars: constraints from Beryllium abundances

We have derived beryllium abundances for 7 Li-rich giant (A(Li) > 1.5) stars and 10 other Li-normal giants, with the aim of investigating the origin of the Lithium in the Li-rich giants. In particular, we test the predictions of the engulfment scenario proposed by Siess & Livio (1999), where the engulfment of a brown dwarf or one or more giant planets would lead to a simultaneous enrichment of 7Li and 9Be. We show that regardless their nature, none of the stars studied in this paper were found to have detectable beryllium. Using simple dilution arguments we show that the engulfment of an external object as the sole source of Li enrichment is ruled out by the Li and Be abundance data. The present results favor the idea that Li has been produced in the interior of the stars by a Cameron-Fowler process and brought up to the surface by an extra mixing mechanism.Comment: Accepted in A&

Lithium and magnetic fields in giants. HD 232862 : a magnetic and lithium-rich giant star

We report the detection of an unusually high lithium content in HD 232862, a field giant classified as a G8II star, and hosting a magnetic field. With the spectropolarimeters ESPaDOnS at CFHT and NARVAL at TBL, we have collected high resolution and high signal-to-noise spectra of three giants : HD 232862, KU Peg and HD 21018. From spectral synthesis we have inferred stellar parameters and measured lithium abundances that we have compared to predictions from evolutionary models. We have also analysed Stokes V signatures, looking for a magnetic field on these giants. HD 232862, presents a very high abundance of lithium (ALi = 2.45 +/- 0.25 dex), far in excess of the theoretically value expected at this spectral type and for this luminosity class (i.e, G8II). The evolutionary stage of HD 232862 has been precised, and it suggests a mass in the lower part of the [1.0 Msun ; 3.5 Msun ] mass interval, likely 1.5 to 2.0 solar mass, at the bottom of the Red Giant Branch. Besides, a time variable Stokes V signature has been detected in the data of HD 232862 and KU Peg, pointing to the presence of a magnetic field at the surface of these two rapidly rotating active stars.Comment: 11 pages, 9 figures ; accepted by Astronomy and Astrophysic