561
Gelbukh, Alexander.
2014
Table of Contents:
“... for Mathematics -- Emotion Recognition in Intelligent Tutoring System for Android-Based Mobile Devices....”2014
Full text
562
Rutkowski, Leszek.
2014
Table of Contents:
“... Usage Behavior by Means of Artificial Bee Colony -- Search Space Analysis for the Combined Mathematical Model (Linear and Nonlinear) of the Water Distribution Network Design Problem -- Archive Management in Interactive Evolutionary Computation with Minimum...”2014
Full text
565
Cerone, Antonio.
2014
Table of Contents:
“... -- Mobile augmented reality with audio; supporting fieldwork of Cultural sciences students in Florence -- Mathematical literacy as a condition for sustainable development -- Learning CSCW by Fairytales: a Practical Model -- The Role of Peer Review in Supporting...”2014
Full text
566
568
569
Dwyer, Tim.
2014
Table of Contents:
“..., Set, and Match -- Coloured Modelling Spider Diagrams -- Graphical Representations of Context-Free Languages -- An Example Hyper Venn Proof -- Visualizing Concepts with Euler Diagrams -- Argument Mapping for Mathematics in Proof scape -- Towards a General...”2014
Full text
570
571
572
573
Murty, M. Narasimha.
2014
Table of Contents:
“... -- Application of Game-Theoretic Rough Sets in Recommender Systems -- RGB - Based Color Texture Image Classification Using Anisotropic Diffusion and LDBP -- A Knowledge-Based Design for Structural Analysis of Printed Mathematical Expressions -- A New Preprocessor...”2014
Full text
574
Many-Electron Approaches in Physics, Chemistry and Mathematics [E-Book] : A Multidisciplinary View /
Bach, Volker
2014
Table of Contents:
“... Order -- Mathematical Aspects of Density Functionals and Density Matrix Functionals in Quantum Chemistry -- Some (important?) unsolved Mathematical Problems in Molecular Simulation -- Topics in Computer Science -- The Computational Complexity of Density...”2014
Full text
575
Table of Contents:
“...Basic concepts of computability and new Turing machines -- Logics including non-classical ones -- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of symbolic mathematical computing....”
Full text
Full text
576
577
Blazy, Sandrine.
2013
Table of Contents:
“... Refutations with Extended Resolution -- Formalizing Bounded Increase -- Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types -- Type Classes and Filters for Mathematical Analysis in Isabelle/HOL -- Formal Reasoning about Classified...”2013
Full text
578
579
Nielsen, Frank.
2013
Table of Contents:
“... Geometry in Statistics -- Optimization on Matrix Manifolds -- Optimal Transport Theory -- Probability on Manifolds -- Divergence Geometry and Ancillarity -- Entropic Geometry -- Tensor-Valued Mathematical Morphology -- Machine/Manifold/Topology Learning...”2013
Full text
580
Nicosia, Giuseppe.
2013
Table of Contents:
“...-of-Fame Strategies in Competitive Coevolutionary Algorithms for Self-Learning in RTS Games -- Resources Optimization in (Video) Games: a Novel Approach to Teach Applied Mathematics -- CMF: a combinatorial tool to find composite motifs -- Hill-climbing Behaviour...”2013
Full text