Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
Conferences Tutorials
VLSI Routing Arrays Validation Optimization Verification
Neural nets RISC/CISC,VLIW architectures Distributed architectures Portable devices Servers Network architecture Distributed systems
Networks Security Embedded systems Object-oriented Java OO design State diagrams Software evolution UML C# Methodologies Coding Tools Correctness proofs Design
Structures Arrays Graphs Stacks Hash-tables Encryption Compression Objects Standards
Automata Parallelism Transforms Geometric Algorithms Patterns Invariants
Numerical Linear Algebra PDEs Finite element methods Combinatorics Graph Theory Probability and statistics Mathematical software
Human factors Data models Systems Information interfaces User interfaces Ergonomics Evaluation/methodology Interaction styles Warehouses Data mining Web Digital libraries
AI Expert systems Knowledge representation Learning Robotics Vision Geometry and modeling Graphics and realism Scene analysis Simulation theory Document preparation Learning Discrete event simulation Deduction Robotics Video analysis XML
Business Engineering Biosciences Humanities Arts Linguistics CAD Publishing
Privacy Regulation Systems design Security Crime Patents Strategic planning
Design Human factors Languages Performance Theory
Reviews limited to
Date Reviewed
Infrastructural inaccessibility: tech entrepreneurs in occupied Palestine
Bjørn P., Boulus-Rødje N.  ACM Transactions on Computer-Human Interaction 25(5): 1-31, 2018. Type: Article
Dec 12 2018
Research and application of block chain technology in crowdsourcing platform
Peng F., Liu Y., Lu B.  ICEMC 2018 (Proceedings of the 2018 International Conference on E-business and Mobile Commerce, Chengdu, China,  May 21-23, 2018) 1-5, 2018. Type: Proceedings
Dec 11 2018
A verified SAT solver framework with learn, forget, restart, and incrementality
Blanchette J., Fleury M., Lammich P., Weidenbach C.  Journal of Automated Reasoning 61(1-4): 333-365, 2018. Type: Article
Dec 10 2018
Advanced concepts for renewable energy supply of data centres
Salom J., Urbaneck T., Oró E.,  River Publishers, Delft, the Netherlands, 2017. 238 pp. Type: Book (978-8-793519-42-8)
Dec 7 2018
Words become worlds: the LIT ROOM, a literacy support tool at room-scale
Schafer G., Fullerton S., Walker I., Vijaykumar A., Green K.  DIS 2018 (Proceedings of the 2018 Designing Interactive Systems Conference, Hong Kong,  Jun 9-13, 2018) 511-522, 2018. Type: Proceedings
Dec 7 2018
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy