Seventh Framework Programme Theme 6 Environment Collaborative Project (Large-scale Integrating Project) Project noProject acronym: MEECE Project title: Marine Ecosystem Evolution in a Changing Environment

Source URL: www.meece.eu

• Atmospheric dynamics
• Aquatic ecology
• Biological oceanography
• Planktology
• Geology
• Advection
• Plankton
• Primitive equations
• Turbulent diffusion
• Meteorology
• Calculus
• Earth

Object Orientation Chapter Sixteen Modern Programming Languages, 2nd ed.

Source URL: www.webber-labs.com

• Data types
• Object-oriented programming
• Programming paradigms
• Type theory
• Primitive types
• Linked list
• Object
• C
• Programming language
• Software engineering
• Computing
• Computer programming

A Understanding Integer Overflow in C/C++1 WILL DIETZ, University of Illinois at Urbana-Champaign PENG LI and JOHN REGEHR, University of Utah VIKRAM ADVE, University of Illinois at Urbana-Champaign

Source URL: www.cs.utah.edu

• Data types
• Computer arithmetic
• Primitive types
• Type theory
• Software bugs
• Integer overflow
• C
• Type system
• Bitwise operation
• Computing
• Software engineering
• Computer programming

Towards a Game Theoretic View of Secure Computation Gilad Asharov∗ Ran Canetti†

Source URL: www.eng.biu.ac.il

• Cryptography
• Mathematics
• Secure multi-party computation
• Function
• Communications protocol
• Security parameter
• Cryptographic primitive
• Secure two-party computation
• Cryptographic protocols
• Data
• Information

COMMUNIQUE DE PRESSE Yvoir, le 21 mai 2015 PREMIÈRE AU CHU DINANT GODINNE : LA RÉSECTION D’UNE TUMEUR CÉRÉBRALE PAR FLUORESCENCE La tumeur cérébrale maligne primitive la plus fréquente et la plus agressive chez

Source URL: www.uclmontgodinne.be

SoftSig: Software-Exposed Hardware Signatures for Code Analysis and Optimization ∗ James Tuck‡ ‡ NC State University

Source URL: homes.cs.washington.edu

• Software optimization
• Software engineering
• Data types
• Primitive types
• Memoization
• CPU cache
• Lookup table
• Memory disambiguation
• Pointer
• Computing
• Computer programming
• Computer performance

Code-Pointer Integrity Volodymyr Kuznetsov∗ , L´aszl´o Szekeres‡ , Mathias Payer†,§ George Candea∗ , R. Sekar‡ , Dawn Song† ∗ Ecole ´ † UC

Source URL: dslab.epfl.ch

• Data types
• Software bugs
• Primitive types
• Pointer
• Subroutines
• Memory management
• Memory safety
• Cyclone
• C
• Software engineering
• Computing
• Computer programming

Poster: Security in E-Voting Daniel Bruns† , Huy Quoc Do‡ , Simon Greiner† , Mihai Herda† , Martin Mohr† , Enrico Scapin∗ , Tomasz Truderung∗ , Bernhard Beckert† , Ralf Küsters∗ , Heiko Mantel‡ and R

Source URL: www.ieee-security.org

• Java platform
• Formal methods
• Logic in computer science
• Formal verification
• Cryptographic primitive
• KeY
• Cryptography
• Java Card
• Cryptographic protocol
• Computing
• Theoretical computer science
• Formal sciences

COMPUTER SCIENCE TRIPOS Part IB – 2014 – Paper 6 4 Computation Theory (AMP) (a) Give the recursion equations for the function ρn (f, g) ∈ Nn+1 → N defined by primitive recursion from functions f ∈ Nn → N and

Source URL: www.cl.cam.ac.uk

QUADERNI SULLE IMMUNODEFICIENZE PRIMITIVE I DIRITTI DEL PAZIENTE AFFETTO DA IMMUNODEFICIENZA PRIMITIVA

Source URL: www.aip-it.org