Search
for Topics
All Reviews
Browse All Reviews
>
Computing Methodologies (I)
>
Symbolic and Algebraic Manipulation (I.1)
> Applications (I.1.4)
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
110 of 26 Reviews about "
Applications (I.1.4)
":
Date Reviewed
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 1422, 2016) 468471, 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 smartphonebased system for detecting hand tremors in unconstrained environments
GarcíaMagariño I., Medrano C., Plaza I., Oliván B. Personal and Ubiquitous Computing 20(6): 959971, 2016. Type: Article
GarcíaMagariñ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 (9781611973556)
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 (9783709116159)
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 programbased knowledge representation
Khudobakhshov V. AGI 2013 (Proceedings of the 6th International Conference on Artificial General Intelligence, Beijing, China, 7077, 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
Ggraphs: a new representation of groups
Bretto A., Faisant A., Gillibert L. Journal of Symbolic Computation 42(5): 549560, 2007. Type: Article
Given a finite group
G
having a set of generators
S
, the authors of this paper define a finite graph &PHgr;(
G,S
), 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 1115, 2006, Proceedings (Lecture Notes in Computer Science 4194)
Ganzha V., Mayr E., Vorozhtsov E., SpringerVerlag 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 multiobjective feedback design by quantifier elimination
Dorato P., Yang W., Abdallah C. Journal of Symbolic Computation 24(2): 153159, 1997. Type: Article
The research reported here addresses the problem of robust multiobjective 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): 4550, 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
Display
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright © 20002021 ThinkLoud, Inc.
Terms of Use

Privacy Policy