Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates Roberto Barbuti1 , Francesca Levi1 , Paolo Milazzo1 , and Guido Scatena2 1 2

Source URL: pages.di.unipi.it

• Probabilistic CTL
• Temporal logic
• Markov chain

Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–2526) ON THE STRUCTURE OF MEASURES CONSTRAINED BY LINEAR PDES Guido De Philippis and Filip Rindler

Source URL: eta.impa.br

• Mathematical analysis
• Measure theory
• Operator theory
• Partial differential equations
• Complex analysis
• Bounded variation
• Real analysis
• Differential forms on a Riemann surface
• NeumannPoincar operator

The making of K Guido Bertoni1 , Joan Daemen1 , Michaël Peeters2 and Gilles Van Assche1 1 STMicroelectronics {guido.bertoni,joan.daemen,gilles.vanassche}@st.com

Source URL: keccak.team

• Cryptography
• Cryptographic hash functions
• Search algorithms
• Pattern matching
• Backtracking
• Hash function
• Sponge function
• Block cipher
• SHA-3
• SHA-1
• Stack
• Regular expression

Innovations in permutation-based crypto Joan Daemen1,2 based on joint work with Guido Bertoni3 , Seth Hoffert, Michaël Peeters1 , Gilles Van Assche1 and Ronny Van Keer1

Source URL: africacrypt2018.aui.ma

BDI and BOID Argumentation Guido Boella Dipartimento di Informatica Universit`a di Torino Italy

Source URL: cmna.csc.liv.ac.uk

On the security of the keyed sponge construction Guido Bertoni1 , Joan Daemen1 , Michaël Peeters2 , and Gilles Van Assche1 1 2 STMicroelectronics

Source URL: keccak.team

Curriculum Vitae PERSONAL INFORMATION Célia Guido Mendes

Source URL: grs.du.ac.in

23 Andrea Buti e Guido Zavattoni, I pesi monetali per le monete di Genova, Genova 2013, pagg. 230 L’Andrea Buti, nostro sòccio e colaboratô pe o boletìn, e o seu amîgo milanéize Guido Zavattoni gh’àn tutti doî

Source URL: www.acompagna.org

INDICE SOMMARIO Prefazione alla seconda edizione . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Prefazione di Guido Alpa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Pag. VII

Source URL: imago.avvocatomyweb.it

Farfalle and Kravatte Parallel permutation-based cryptography Guido Bertoni1 Joan Daemen1,2 Michaël Peeters1 Gilles Van Assche1 Ronny Van Keer1 1 STMicroelectronics

Source URL: www.cryptolux.org