577 research outputs found
Droit et mémoire
Prolongeant la rĂ©flexion sur lâintĂ©gration des valeurs collectives dans le monde du droit, qui est au centre des travaux dâAndrĂ©e Lajoie, on entend ici sâinterroger sur la relation entre « droit » et « mĂ©moire », Ă partir de lâexemple français
Alpha radioactivity of E > 11 MEV in nature
Alpha particles with energies greater than those so far reported to occur in nature have been observed in minerals by emulsion and counting techniques
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
We present a formalisation of finite Markov decision processes with rewards
in the Isabelle theorem prover. We focus on the foundations required for
dynamic programming and the use of reinforcement learning agents over such
processes. In particular, we derive the Bellman equation from first principles
(in both scalar and vector form), derive a vector calculation that produces the
expected value of any policy p, and go on to prove the existence of a
universally optimal policy where there is a discounting factor less than one.
Lastly, we prove that the value iteration and the policy iteration algorithms
work in finite time, producing an epsilon-optimal and a fully optimal policy
respectively
Evidence for new α-particle groups in nature
Alpha-particle spectra from a monazite are presented which show evidence for unreported groups at 6.52, 7.09, 9.02 and 9.07 MeV
Identité, organisation, institution
International audienc
Juriste engagé(e) ?
International audienc
Pour une sociologie du droit constitutionnel
International audienc
Les interprĂštes du droit
International audienc
Bayart (Denis), Borzeix (Annie), Dumez (Hervé) (eds.), Langage et organisations. Sur les traces de Jacques Girin
Sept ans aprĂšs la disparition de Jacques Girin, cet ouvrage, dont trois chercheurs du Centre de recherche en gestion (CRG) quâil avait lui-mĂȘme dirigĂ©, ont assurĂ© la coordination, atteste de la fĂ©conditĂ© dâune pensĂ©e qui a contribuĂ© Ă orienter la recherche en sciences de gestion dans des voies nouvelles : la mise en Ă©vidence par Jacques Girin de lâimportance du langage dans les organisations, qui constitue son apport essentiel, est en effet indissociable de lâessor de nouvelles pratiques de r..
- âŠ