561
Human-Inspired Computing and Its Applications [E-Book] : 13th Mexican International Conference on Artificial Intelligence, MICAI 2014, Tuxtla Gutiérrez, Mexico, November 16-22, 2014. Proceedings, Part I /
562
Artificial Intelligence and Soft Computing [E-Book] : 13th International Conference, ICAISC 2014, Zakopane, Poland, June 1-5, 2014, Proceedings, Part I /
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...

Full text 
563
Transactions on Rough Sets XVIII [E-Book] /
564
Transactions on Rough Sets XVII [E-Book] /
565
Information Technology and Open Source: Applications for Education, Innovation, and Sustainability [E-Book] : SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, Revised Selected Papers /
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...

Full text 
566
Physics, Nature and Society [E-Book] : A Guide to Order and Complexity in Our World /
567
Algorithmic and AI methods for protein bioinformatics [E-Book] /
Pan, Yi
2014
Subject (ZB): ...Proteins Analysis Mathematics....

Full text 
568
Interactive Theorem Proving [E-Book] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings /
569
Diagrammatic Representation and Inference [E-Book] : 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 – August 1, 2014. Proceedings /
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...

Full text 
570
Pristine Perspectives on Logic, Language, and Computation [E-Book] : ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
571
Formal Grammar [E-Book] : 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings /
572
Foundations of Information and Knowledge Systems [E-Book] : 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /
573
Multi-disciplinary Trends in Artificial Intelligence [E-Book] : 8th International Workshop, MIWAI 2014, Bangalore, India, December 8-10, 2014. Proceedings /
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...

Full text 
574
Many-Electron Approaches in Physics, Chemistry and Mathematics [E-Book] : A Multidisciplinary View /
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...

Full text 
575
Artificial Intelligence and Symbolic Computation [E-Book] : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /
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 
576
Bayesian and grAphical Models for Biomedical Imaging [E-Book] : First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers /
577
Interactive Theorem Proving [E-Book] : 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings /
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...

Full text 
578
Formal Grammar [E-Book] : 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings /
579
Geometric Science of Information [E-Book] : First International Conference, GSI 2013, Paris, France, August 28-30, 2013. Proceedings /
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...

Full text 
580
Learning and Intelligent Optimization [E-Book] : 7th International Conference, LION 7, Catania, Italy, January 7-11, 2013, Revised Selected Papers /
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...

Full text