Search for Topics All Reviews
	Browse All Reviews > Computing Methodologies (I) > Symbolic and Algebraic Manipulation (I.1)     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending     1-10 of 202 Reviews about "Symbolic and Algebraic Manipulation (I.1)": Date Reviewed   Cause-effect structures: An Algebra of Nets with Examples of Applications Czaja L., Springer Publishing Company, Incorporated, 2019. 160 pp.  Type: Book (978-3-030204-60-0) Most systems in the real world--for example, computational, physical, or biologicalones--consist of multiple components that on the one hand operateconcurrently, but on the other hand may also interact with each other... Apr 12 2022   Advanced Boolean techniques: selected papers from the 13th International Workshop on Boolean Problems Drechsler R., Soeken M., Springer International Publishing, New York, NY, 2019. 265 pp.  Type: Book (978-3-030203-22-1) Boolean functions--functions on the domain of the logical values “true” and “false”--represent a fundamental concept of computer science with applications in many areas, includi... Apr 27 2020   The subset assignment problem for data placement in caches Ghandeharizadeh S., Irani S., Lam J. Algorithmica 80(7): 2201-2220, 2018.  Type: Article This paper gives an approximation algorithm for the subset assignment problem (SAP). Given a set of n items of varying sizes, a set of d bins of varying capacities, and a cost c(... Mar 6 2019   Sentence-normalized conditional narrowing modulo in rewriting logic and Maude Aguirre L., Martí-Oliet N., Palomino M., Pita I. Journal of Automated Reasoning 60(4): 421-463, 2018.  Type: Article Rewriting logic can naturally express both concurrent computation and logical deduction and is thus applied in system specification and verification. Here, a core question is whether, from an initial state, the execution of the system ... Jan 3 2019   H-index manipulation by merging articles van Bevern R., Komusiewicz C., Niedermeier R., Sorge M., Walsh T. Artificial Intelligence 240(C): 19-35, 2016.  Type: Article Whether we like it or not, various simplistic bibliometrics are increasingly being used by university administrators, funding agencies, and governments in a largely misguided attempt at optimization. As is well known, any kind of measu... Jun 13 2017    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 D... Mar 6 2017   Estimating the number of tetrahedra determined by volume, circumradius and four face areas using Groebner basis Tsai Y. Journal of Symbolic Computation 77162-174, 2016.  Type: Article Given a tetrahedron, we can compute its volume, its circumradius (radius of the sphere going through the four vertices), and the surface areas of the four faces. Mazur [1] asked, effectively, if this is injective; that is, given these ... Feb 22 2017   Algorithms for computing backbones of propositional formulae Janota M., Lynce I., Marques-Silva J. AI Communications 28(2): 161-177, 2015.  Type: Article The backbone (also called “necessary variables” or “fixed assignments”) of a propositional formula φ is the set of literals that are true in all models of the formula. Put another way, t... Oct 27 2016   Synthesis of list algorithms by mechanical proving Drămnesc I., Jebelean T. Journal of Symbolic Computation 69(C): 61-92, 2015.  Type: Article Program synthesis via extraction of programs from constructive proofs is now very well established, with a large literature base. There are still quite a few hurdles to overcome, but the meta-theory has been in place for quite some tim... Jan 11 2016   Better answers to real questions Košta M., Sturm T., Dolzmann A. Journal of Symbolic Computation 74(C): 255-275, 2016.  Type: Article Many scientific problems can be phrased as existential formulas over the real numbers. For example: For a fixed parameter a, are there x≥y such that x Dec 18 2015       Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy