1,753 research outputs found
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
and -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
- …