2
Arnab, Sylvester
2024
Table of Contents:
“...-Masters: An Educational Game to Practice the Mathematical Operations -- A Framework for the Creation of a Reading Video Game for Children -- Games and Culture. - Video Games and Adaptation: an Introduction -- A Lantern Called Desire: Time Travel, Space...”2024
Full text
3
Kobayashi, Naoki
2024
Table of Contents:
“...Types and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation...”2024
Full text
5
Xiao, Caide
2024
Table of Contents:
“...2. Image classifications by convolutional neural networks -- 2.1. Classification of hand written digits in the MNIST database -- 2.2. Mathematical operations of a 2D convolution -- 2.3. Using ResNet9 for CIFAR-10 classification -- 2.4. Transfer learning...”2024
Full text
6
Thiruvikraman, P. K.
2022
Table of Contents:
“...2. Introduction to programming with MATLAB -- 2.1. Computer programming -- 2.2. Good programming practices -- 2.3. Introduction to MATLAB -- 2.4. HELP on MATLAB -- 2.5. Variables -- 2.6. Mathematical operations -- 2.7. Loops and control statements -- 2.8...”2022
Full text
7
9
Table of Contents:
“...Introduction -- Installation Guide to Tensorflow -- Hello Tensorflow Program -- Representation of Vector -- Session with Tensorflow -- Matrix elementary operation -- Variable and constant -- Simple mathematical operation -- Matrix -- Variable Concept...”
Full text
Full text
10
11
12
Pfenning, Frank.
2013
Table of Contents:
“... -- Reachability of Communicating Timed Processes -- Modular Bisimulation Theory for Computations and Values -- Checking Bisimilarity for Attributed Graph Transformation -- Comodels and Effects in Mathematical Operational Semantics -- Preorders on Monads and Coalgebraic...”2013
Full text
13
Adams, Andrew A.
2013
Table of Contents:
“...The Workshop on Usable Security (USEC 13) -- I Think, Therefore I Am: Usability and Security of Authentication Using Brainwaves -- Usability and Security of Gaze-Based Graphical Grid Passwords -- The impact of length and mathematical operators...”2013
Full text
18
19
20