1
Intelligent Systems and Computing [E-Book] /
2
Videogame Sciences and Arts [E-Book] : 13th International Conference, VJ 2023, Aveiro, Portugal, November 28-30, 2023, Revised Selected Papers /
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...

Full text 
3
Foundations of Software Science and Computation Structures [E-Book] : 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II /
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...

Full text 
4
A first guide to computational modelling in physics [E-Book] /
5
Mastering computer vision with PyTorch and machine learning [E-Book] /
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...

Full text 
6
Computational methods using MATLAB : an introduction for physicists [E-Book] /
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...

Full text 
7
Multi Agent Systems [E-Book] : Technologies and Applications towards Human-Centered /
8
Reaction Kinetics [E-Book] : An Introduction /
9
Programming with TensorFlow [E-Book] : Solution for Edge Computing Applications /
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 
10
Modern Python standard library cookbook : over 100 recipes to fully leverage the features of the standard library in Python [E-Book] /
11
Electricity and Magnetism [E-Book] : New Formulation by Introduction of Superconductivity /
12
Foundations of Software Science and Computation Structures [E-Book] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
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...

Full text 
13
Financial cryptography and data security : FC 2013 workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013, revised selected papers [E-Book] /
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...

Full text 
14
Boolean functions : theory, algorithms, and applications [E-Book] /
15
Advances in Queueing Theory and Network Applications [E-Book] /
16
Social Computing and Behavioral Modeling [E-Book] /
17
Data Mining in Biomedicine [E-Book] /
18
Theory and Applications of Satisfiability Testing - SAT 2007 [E-Book] / 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings
19
Decomposition Techniques in Mathematical Programming [E-Book] : Engineering and Science Applications /
20
Theory and Applications of Satisfiability Testing - SAT 2006 [E-Book] / 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings