|
|
|
|
|
|
Date Reviewed |
|
|
1 - 6 of 6
reviews
|
|
|
|
|
|
|
|
Proof theory and algebra in logic Ono H., Springer International Publishing, New York, NY, 2019. 168 pp. Type: Book
If you are interested in mathematical logic and its relationship to algebraic structures, this brief introductory book gives an excellent overview for you. The author of the book, Hiroakira Ono, has been a very active researcher in thi...
|
Mar 3 2021 |
|
|
|
|
|
|
Game theory for data science: eliciting truthful information Faltings B., Radanovic G., Morgan & Claypool Publishers, San Rafael, CA, 2017. 152 pp. Type: Book (978-1-627057-29-5)
Quality is crucial for any use of collected data. In addition to more traditional methods of data cleansing for data warehousing, new kinds of data provided by people have become important. To get truthful information from the answerin...
|
Apr 12 2018 |
|
|
|
|
|
|
System verification: proving the design solution satisfies the requirements (2nd ed.) Grady J., Academic Press, Boston, MA, 2016. 414 pp. Type: Book (978-0-128042-21-2)
Do you work on the development of a complex system either as a procurer/sponsor or as a contractor/implementer, or do you intend to become a member of such a team? You will be much more successful if you are familiar with the general n...
|
Mar 2 2017 |
|
|
|
|
|
|
Stock index tracking by Pareto efficient genetic algorithm Ni H., Wang Y. Applied Soft Computing 13(12): 4519-4535, 2013. Type: Article
Stock market index tracking is a typical multi-objective optimization problem among conflicting objectives. The authors of this paper introduce a “heuristic searching approach on [the] construction of a tracking portfolio, wh...
|
Mar 12 2014 |
|
|
|
|
|
|
Conflict-driven answer set solving: from theory to practice Gebser M., Kaufmann B., Schaub T. Artificial Intelligence 187-18852-89, 2012. Type: Article
Answer set programming (ASP) uses declarative programming to target difficult (primarily nondeterministic polynomial time (NP)-complete) search problems, for which stable models are computed. Beside its theoretical importance, ASP and ...
|
Nov 29 2012 |
|
|
|
|
|
|
Accurate prediction of protein disordered regions by mining protein structure data Cheng J., Sweredoski M., Baldi P. Data Mining and Knowledge Discovery 11(3): 213-222, 2005. Type: Article
Disordered regions in proteins have an essential role, at least with respect to their biological properties and behavior, and methods of investigation. Therefore, it is important to determine and predict the locations of these regions....
|
Oct 11 2006 |
|
|
|
|
|
|
|
|
|
|
|