Browse All Reviews
Computing Methodologies (I)
Symbolic and Algebraic Manipulation (I.1)
> Applications (I.1.4)
All Media Types
1-10 of 26 Reviews about "
AndroZoo: collecting millions of Android apps for the research community
Allix K., Bissyandé T., Klein J., Le Traon Y. MSR 2016 (Proceedings of the 13th International Conference on Mining Software Repositories, Austin, Texas, May 14-22, 2016) 468-471, 2016. Type: Proceedings
This is basically a data collection paper. How did the authors collect more than three million free Android apps (more than 20 terabytes)? The answer: it’s somewhat more delicate than one might have thought. In particular, one should avoid t...
Aug 5 2020
A smartphone-based system for detecting hand tremors in unconstrained environments
García-Magariño I., Medrano C., Plaza I., Oliván B. Personal and Ubiquitous Computing 20(6): 959-971, 2016. Type: Article
García-Magariño et al. use smartphones in their research as tools to support the diagnosis of Parkinson’s disease. Smartphones are used in several studies with clinical assessments based on the Unified Parkinson’s Disease Rating Scale ...
Mar 6 2017
Model emergent dynamics in complex systems
Roberts A., SIAM, Philadelphia, PA, 2014. 760 pp. Type: Book (978-1-611973-55-6)
The beginning of the 20th century saw several revolutions in physics, including quantum theory with its strange dualism of waves and particles, relativity with its invocation of nonintuitive geometries, and the intractability of conventional mathe...
Jun 4 2015
Computer algebra in quantum field theory: integration, summation and special functions
Schneider C., Blümlein J., Springer Publishing Company, Incorporated, New York, NY, 2013. 450 pp. Type: Book (978-3-709116-15-9)
This book is all it says in the title, and indeed rather more. It is a collection of papers that grew out of a summer school course on integration, summation, and special functions in quantum field theory, run by the editors’ institutions, t...
Apr 28 2014
Metacomputations and program-based knowledge representation
Khudobakhshov V. AGI 2013 (Proceedings of the 6th International Conference on Artificial General Intelligence, Beijing, China, 70-77, 2013. Type: Proceedings
Metacomputation is a broad term, so broad as to contain all of the computer activities that deal with knowledge. This paper is a tribute to the legacy of Valentin Turchin, who developed a notation, created programs to manipulate other programs, an...
Dec 16 2013
G-graphs: a new representation of groups
Bretto A., Faisant A., Gillibert L. Journal of Symbolic Computation 42(5): 549-560, 2007. Type: Article
Given a finite group
having a set of generators
, the authors of this paper define a finite graph &PHgr;(
), both mathematically and algorithmically. Properties of these graphs and thei...
Oct 29 2007
Computer algebra in scientific computing: 9th International Workshop, CASC 2006, Chisinau, Moldova, September 11-15, 2006, Proceedings (Lecture Notes in Computer Science 4194)
Ganzha V., Mayr E., Vorozhtsov E., Springer-Verlag New York, Inc., Secaucus, NJ, 2006. 313 pp. Type: Book (9783540451822)
This volume contains the proceedings of the 2006 Computer Algebra in Scientific Computing (CASC) conference. As well as the contributed papers, it includes the full text of one of the invited talks (Sturm) and the abstract of the other (Watt). I w...
May 4 2007
Computer algebra and symbolic computation: elementary algorithms
Cohen J., A. K. Peters, Ltd., Natick, MA, 2002. 300 pp. Type: Book (9781568811581)
The author defines the focus of this book as follows: “the formulation of algorithms that solve symbolic mathematical problems...the implementation of these algorithms in terms of the operations and control structures available in computer ...
Mar 13 2003
Robust multi-objective feedback design by quantifier elimination
Dorato P., Yang W., Abdallah C. Journal of Symbolic Computation 24(2): 153-159, 1997. Type: Article
The research reported here addresses the problem of robust multi-objective feedback design in terms of mathematical logic, using new developments in quantifier elimination theory. As is well known, the general static output feedback stabilization ...
Dec 1 1998
A note on subresultants and the Lazard/Rioboo/Trager formula in rational function integration
Mulders T. Journal of Symbolic Computation 24(1): 45-50, 1997. Type: Article
The purpose of this paper is to point out an ambiguity in a formula connecting the logarithmic part of the integral of a rational function and certain subresultants. The implementation of this formula in AXIOM can lead to incorrect results....
Jun 1 1998
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2021 ThinkLoud, Inc.