Langage des ensembles et applications S2 Math´ematiques G´en´erales 1 11MM21 Les notes qui suivent sont tr`es largement inspir´ees du site : http://uel.unisciel.fr/mathematiques/logique1/logique1/co/logique1.html

Source URL: math.univ-bpclermont.fr

Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UK

Source URL: community.haskell.org

• Computer programming
• Software engineering
• Declarative programming
• Recursion
• Functional programming
• Computability theory
• Theoretical computer science
• Programming paradigms
• Algebraic data type
• Fold
• Pattern matching
• Conditional

DOI:http://dx.doi.orgAPJCPBlood Groups and Risk of Cancer: a Systematic Review and Meta-Analysis RESEARCH ARTICLE ABO Blood Groups and Risk of Cancer: a Systematic Review and Meta-analysis

Source URL: journal.waocp.org

Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

Source URL: arieg.bitbucket.io

• Theoretical computer science
• Formal methods
• Software engineering
• Logic in computer science
• Formal verification
• Satisfiability modulo theories
• Abstract interpretation
• Loop invariant
• Logic programming
• Model checking
• KeY
• Software verification

My Bloody Friggin Campaign A fantasy world for the Fudge Roleplaying System _http://wanderinghorse.net/gaming/fudge/_ Abstract:

Source URL: wanderinghorse.net

Espaces vectoriels S2 Math´ematiques G´en´erales 1 11MM21 Les notes qui suivent sont tr`es largement inspir´ees du site : http://uel.unisciel.fr/mathematiques/espacevect1/espacevect1/co/espacevect1.html et du

Source URL: math.univ-bpclermont.fr

Applications Lin´eaires S2 Math´ematiques G´en´erales 1 11MM21 Les notes qui suivent sont en partie inspir´ees des sites : http://uel.unisciel.fr/mathematiques/espacevect1/espacevect1 et

Source URL: math.univ-bpclermont.fr

Learning gem5 – Part N Other things not covered here Jason Lowe-Power http://learning.gem5.org/ https://faculty.engineering.ucdavis.edu/lowepower/

Source URL: learning.gem5.org

• System software
• Software
• Computing
• Graphics hardware
• QEMU
• GPGPU
• Kernel-based Virtual Machine
• Emulator
• VICE
• Graphics processing unit
• Emulation
• Jason Voorhees

Getting to Work with OpenPiton Princeton University http://openpiton.org OpenPit

Source URL: parallel.princeton.edu

• Linux-based devices
• Single-board computers
• Microcontrollers
• Computer architecture
• ARM architecture
• Classes of computers
• Computing
• Banana Pi
• UDOO

Malicious Behavior on the Web: Characterization and Detection Srijan Kumar (@srijankr) Justin Cheng (@jcccf) Jure Leskovec (@jure) Slides are available at http://snap.stanford.edu/www2017tutorial/

Source URL: snap.stanford.edu

• Digital media
• Economy
• Social networks
• New media
• Human behavior
• Business intelligence
• Communication
• Social media
• Web 2.0
• Analytics