Notable Computing Books and Articles—2016

NOTABLE COMPUTING BOOKS AND ARTICLES—2016

Computing Reviews is happy to bring you the 21st annual list of notable items published in computing—this time for 2016. We reached out to many in the computing community for nominations: our reviewers, CR category editors, the editors in chief of journals we cover, and computer scientists in both industry and academia. In addition, we included proceedings papers that were recognized as “Best Papers” at their respective conferences, as well as the most downloaded journal papers from some of the top journals covered in CR. You will ﬁnd 231 items on our list, with numerous publishers represented. As we continue to improve our methods for collecting nominations and involve more of your peers in the computing community, we hope to bring you even more deﬁnitive lists in the coming years. We welcome your feedback, and encourage you to email us with any questions ([email protected]).

Angela Pugh Managing Editor Computing Reviews

A. General Literature C. Computer Systems Organization

CALUDE C. (Ed.) The human face of computing. Imperial • College Press, 2016. AGELASTOS, A.; ALLAN, B.; BRANDT, J.; GENTILE, A.; SEDGEWICK, R.; AND WAYNE, K. Computer science: an in- LEFANTZI, S.; MONK, S.; OGDEN, J.; RAJAN, M.; AND • terdisciplinary approach. Addison-Wesley Professional, STEVENSON, J. Continuous whole-system monitoring 2016. toward rapid understanding of production HPC applications and systems. Parallel Computing 58 (Oct. 2016), 90–106. ALTMEYER, S.; DOUMA, R.; LUNNISS, W.; AND DAVIS, R. I. B. Hardware On the effectiveness of cache partitioning in hard real- time systems. Real-Time Systems 52, 5 (Sept. 2016), DAN, A. M.; LAM, P.; HOEFLER, T.; AND VECHEV, M. Mod- 598–643. eling and analysis of remote memory access program- A´ LVAREZ, C.; AYGUADE´ , E.; BOSCH, J.; BUENO, J.; CHER- ming. In Proc. of the ACM SIGPLAN International KASHIN, A.; FILGUERAS, A.; JIMENEZ´ -GONZALEZ´ , D.; Conference on Object-Oriented Programming, Systems, MARTORELL, X.; NAVARRO, N.; VIDAL, M.; THEODOROPOU- Languages, and Applications (OOPSLA), ACM, 2016, LOS, D.; PNEVMATIKATOS, D. N.; CATANI, D.; ORO, D.; 129–144. FERNANDEZ´ , C.; SEGURA, C.; RODRIGUEZ´ , J.; HERNANDO, J.; HAJ-YIHIA, J.; YASIN, A.; BEN ASHER, Y.; AND MENDELSON, A. SCORDINO, C.; GAI, P.; PASSERA, P.; POMELLA, A.; Fine-grainpowerbreakdownofmodernout-of-ordercores BETTIN, N.; RIZZO, A.; AND GIORGI, R. The AXIOM soft- and its implications on Skylake-based systems. ACM ware layers. Microprocessors & Microsystems 47, Part B Transactions on Architecture and Code Optimization 13, (Nov. 2016), 262–277. 4 (Dec. 2016), Article No. 56. BALANI, N. Enterprise IoT: a deﬁnitive handbook. Cre- • WANG, P.; AND MCALLISTER, J. Streaming elements for ateSpace Independent Publishing Platform, 2016. FPGA signal and image processing accelerators. IEEE BERTINO, E.; CHOO, K.-K.R.; GEORGAKOPOLOUS, D.; AND Transactions on Very Large Scale Integration (VLSI) Sys- NEPAL, S. Internet of Things (IoT): smart and secure ser- tems 24, 6 (June 2016), 2262–2274. vice delivery. ACM Transactions on Internet Technology XIAO, K.; FORTE, D.; JIN, Y.; KARRI, R.; BHUNIA, S.; AND 16, 4 (Dec. 2016), Article No. 22. TEHRANIPOOR, M. Hardware Trojans: lessons learned BIENKOWSKI, M.; KLONOWSKI, M.; KORZENIOWSKI, M.; AND after one decade of research. ACM Transactions on KOWALSKI, D. R. Randomized mutual exclusion on a Design Automation of Electronic Systems 22, 1 (Dec. multiple access channel. Distributed Computing 29,5 2016), Article No. 6. (Oct. 2016), 341–359.

186 Computing Reviews April 2017 • NOTABLE COMPUTING BOOKS AND ARTICLES

BREGU, E.; CASAMASSIMA, N.; CANTONI, D.; MOTTOLA, L.; REHMAN, Z.; HUSSAIN, O. K.; HUSSAIN, F. K.; CHANG, E.; AND WHITEHOUSE, K. Reactive control of autonomous AND DILLON, T. User-side QoS forecasting and manage- drones. In Proc. of the 14th Annual International Con- ment of cloud services. World Wide Web 18, 6 (Nov. ference on Mobile Systems, Applications, and Services 2015), 1677–1716. (MobiSys), ACM, 2016, 207–219. SHETH, A. Internet of Things to smart IoT through semantic, CHEN, M.; QIAN, Y.; MAO, S.; TANG, W.; AND YANG, X. cognitive, and perceptual computing. IEEE Intelligent Software-defined mobile networks security. Mobile Net- Systems 31, 2 (Mar.–Apr. 2016), 108–112. works and Applications 21, 5 (Oct. 2016), 729–743. SINGH, S.; AND CHANA, I. A survey on resource scheduling CHO, S.; AND JULIEN, C. CHITCHAT: navigating tradeoffs in cloud computing: issues and challenges. Journal of in device-to-device context sharing. In Proc. of the IEEE Grid Computing 14, 2 (June 2016), 217–264. International Conference on Pervasive Computing and WANG, H.; ROSA, C.; AND PEDERSEN, K. I. Dual connectiv- Communications (PerCom), IEEE, 2016, 1–10. ity for LTE-advanced heterogeneous networks. Wireless COPPOLA, R.; AND MORISIO, M. Connected car: technologies, Networks 22, 4 (May 2016), 1315–1328. issues, future trends. ACM Computing Surveys 49,3 WANG, K.; DU, M.; YANG, D.; ZHU, C.; SHEN, J.; AND (Dec. 2016), Article No. 46. ZHANG, Y. Game-theory-based active defense for intru- HAYES, T.; AND ALI, F. H. Robust ad-hoc sensor routing sion detection in cyber-physical embedded systems. (RASeR) protocol for mobile wireless sensor networks. ACM Transactions on Embedded Computing Systems 16, Ad Hoc Networks 50, 1 (Nov. 2016), 128–144. 1 (Nov. 2016), Article No. 18. HUBERMAN, B. A.; AND ASUR, S. BidPacket: trading band- YANG, D.; XUE, G.; FANG, X.; AND TANG, J. Incentive mech- widthinpublicspaces.NETNOMICS:EconomicResearch anisms for crowdsensing: crowdsourcing with smart- and Electronic Networking 17, 3 (Nov. 2016), 223–232. phones. IEEE/ACM Transactions on Networking 24,3 KELLOGG, B.; TALLA, V.; GOLLAKOTA, S.; AND SMITH, J. R. (June 2016), 1732–1744. Passive Wi-Fi: bringing low power to Wi-Fi trans- ZHANG, B.; REN, K.; XING, G.; FU, X.; AND WANG, C. SBVLC: missions. In Proc. of the 13th USENIX Symposium on secure barcode-based visible light communication for Networked Systems Design & Implementation (NSDI), smartphones. IEEE Transactions on Mobile Computing USENIX, 2016, 151–164. 15, 2 (Feb. 2016), 432–446. KUMAR, S.; AND HEGDE, R. M. Multi-sensor data fusion methods for indoor localization under collinear ambigu- ity. Pervasive and Mobile Computing 30 (Aug. 2016), 18–31. D. Software KUREK, T.; NIEMIEC, M.; AND LASON, A. Taking back control of privacy: a novel framework for preserving AIKEN, P. EXPERIENCE: succeeding at data manage- cloud-based firewall policy confidentiality. International ment—BigCo attempts to leverage data. Journal of Data Journal of Information Security 15, 3 (June 2016), and Information Quality 7, 1–2 (June 2016), Article 235–250. No. 8. LENZEN, C.; AND WATTENHOFER, R. Tight bounds for parallel BERSANI, M. M.; BIANCULLI, D.; GHEZZI, C.; KRSTIC´ , S.; AND randomized load balancing. Distributed Computing 29, SAN PIETRO, P. Efficient large-scale trace checking using 2 (Apr. 2016), 127–142. MapReduce. In Proc. of the 38th International Con- LIMONCELLI, T. Are you load balancing wrong?. Queue 14, ference on Software Engineering (ICSE), ACM, 2016, 6 (Nov.–Dec. 2016), 1–9. 888–898. LO, D.; CHENG, L.; GOVINDARAJU, R.; RANGANATHAN, P.; AND BROCKSCHMIDT, M.; EMMES, F.; FALKE, S.; FUHS, C.; AND KOZYRAKIS, C. Improving resource efficiency at scale with GIESL, J. Analyzing runtime and size complexity of inte- Heracles. ACM Transactions on Computer Systems 34,2 ger programs. ACM Transactions on Programming Lan- (May 2016), Article No. 6. guages and Systems 38, 4 (Oct. 2016), Article No. 13. LV, Y.; AND MOSCIBRODA, T. Fair and resilient incentive BURNS, A. Why the expressive power of programming lan- tree mechanisms. Distributed Computing 29, 1 (Feb. guages such as Ada is needed for future cyber physical 2016), 1–16. systems. In Reliable software technologies: Ada-Europe MAHMOOD, Z. Connectivity frameworks for smart devices. 2016, Springer, 2016, 3–11. • Springer, 2016. CHAPMAN, K.; HOSKING, A. L.; AND MOSS, J. E. B. Hybrid MIDI, D.; SULTANA S.; AND BERTINO, E. A system for response STM/HTM for nested transactions on OpenJDK. In and prevention of security incidents in wireless sensor Proc. of the ACM SIGPLAN International Conference networks. ACM Transactions on Sensor Networks 13,1 on Object-Oriented Programming, Systems, Languages, (Dec. 2016), Article No. 1. and Applications (OOPSLA), ACM, 2016, 660–676.

Computing Reviews April 2017 187 • NOTABLE COMPUTING BOOKS AND ARTICLES

CHRISTAKIS, M.; MULLER¨ , P.; AND WUSTHOLZ¨ , V. Guiding Transactions on Software Engineering and Methodology dynamic symbolic execution toward unverified program 25, 3 (Aug. 2016), Article No. 23. executions. In Proc. of the 38th International Conference PETRICEK, T.; GUERRA, G.; AND SYME, D. Types from data: on Software Engineering (ICSE), ACM, 2016, 144–155. making structured data first-class citizens in F#. In Proc. GHANI, N.; NORDVALL FORSBERG, F.; AND SIMPSON, A. Com- of the 37th ACM SIGPLAN Conference on Programming prehensive parametric polymorphism: categorical models Language Design and Implementation (PLDI), ACM, and type theory. In Proc. of the 19th International Con- 2016, 477–490. ference on Foundations of Software Science and Compu- POTVIN, R.; AND LEVENBERG, J. Why Google stores billions tation Structures (FoSSaCS), Springer, 2016, 3–19. of lines of code in a single repository. Communications GIL, Y.; AND LEVY, T. Formal language recognition with of the ACM 59, 7 (July 2016), 78–87. the Java type checker. In Proc. of the European Con- RASCHKA S. Python machine learning. Packt Publishing, ference on Object-Oriented Programming (ECOOP), • 2016. Dagstuhl LIPIcs, 2016, 10:1–10:27. RIZZI, E. F.; ELBAUM, S.; AND DWYER, M. B. On the tech- GOUSIOS, G.; STOREY, M.-A.; AND BACCHELLI, A. Work prac- niques we create, the tools we build, and their mis- tices and challenges in pull-based development: the con- alignments: a study of KLEE. In Proc. of the 38th tributor’s perspective. In Proc. of the 38th International International Conference on Software Engineering Conference on Software Engineering (ICSE), ACM, 2016, (ICSE), ACM, 2016, 132–143. 285–296. RUMPE, B. Modeling with UML: language, concepts, HANAPPI, O.; HUMMER, W.; AND DUSTDAR, S. Asserting reli- • methods. Springer, 2016. able convergence for configuration management scripts. In Proc. of the ACM SIGPLAN International Conference SONG, N. Y.; SON, Y; HAN, H.; AND YEOM, H. Y. Efficient on Object-Oriented Programming, Systems, Languages, memory-mapped I/O on fast storage device. ACM Trans- and Applications (OOPSLA), ACM, 2016, 328–343. actions on Storage 12, 4 (Aug. 2016), Article No. 19. ˇ JULIAN, D. Designing machine learning systems with STEFANESCU, A.; PARK, D.; YUWEN, S.; LI, Y.; AND RO¸SU, G. • Python: design efficient machine learning systems that Semantics-based program verifiers for all languages. In give you more accurate results. Packt Publishing, 2016. Proc. of the ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, KREBBERS, R. A formal C memory model for separation logic. Journal of Automated Reasoning 57, 4 (Dec. and Applications (OOPSLA), ACM, 2016, 74–91. 2016), 319–387. SUTCLIFFE, R.; AND KOWARSCH, B. Closing the barn door: re-prioritizing safety, security, and reliability. In Proc. LARGENT, D. L. Measuring and understanding team development by capturing self-assessed enthusiasm and skill of the 21st Western Canadian Conference on Computing levels. ACM Transactions on Computing Education 16, Education (WCCCE), ACM, 2016, Article No. 1. 2 (Mar. 2016), Article No. 6. SWALENS, J.; DE KOSTER, J.; DE MEUTER, W. Transactional LI, Y.; TAN, T.; ZHANG, Y.; AND XUE, J. Program tailor- tasks: parallelism in software transactions. In Proc. of the ing: slicing by sequential criteria. In Proc. of the European Conference on Object-Oriented Programming European Conference on Object-Oriented Programming (ECOOP), Dagstuhl LIPIcs, 2016, 23:1–23:28. (ECOOP), Dagstuhl LIPIcs, 2016, 15:1–15:27. TAUBER, T.; AND OLIVEIRA, B. C. d. S. Modular architecture MADSEN, M.; TIP, F.; ANDREASEN, E.; SEN, K.; AND for code and metadata sharing. In Proc. of the 15th M LLER, A. Feedback-directed instrumentation for de- International Conference on Modularity (MODULAR- ⊘ ployed JavaScript applications. In Proc. of the 38th Inter- ITY), ACM, 2016, 106–117. national Conference on Software Engineering (ICSE), WANG, Y.; AND OLIVEIRA, B. C. d. S. The expression prob- ACM, 2016, 899–910. lem, trivially!. In Proc. of the 15th International Con- MENENDEZ, D.; AND NAGARAKATTE, S. Termination-checking ference on Modularity (MODULARITY), ACM, 2016, for LLVM peephole optimizations. In Proc. of the 37–41. 38th International Conference on Software Engineering WONG, W. E.; GAO, R.; LI, Y.; ABREU, R.; AND WOTAWA, F. (ICSE), ACM, 2016, 191–202. A survey on software fault localization. IEEE Trans- MINE´ , A.; BRECK, J.; AND REPS, T. An algorithm inspired by actions on Software Engineering 42, 8 (Aug. 2016), constraint solvers to infer inductive invariants in numeric 707–740. programs. In Proc. of the 25th European Symposium on YE, X.; SHEN, H.; MA, X.; BUNESCU, R.; AND LIU, C. From Programming (ESOP), Springer, 2016, 560–588. word embeddings to document similarities for improved OUNI, A.; KESSENTINI, M.; SAHRAOUI, H.; INOUE, K.; AND information retrieval in software engineering. In Proc. DEB, K. Multi-criteria code refactoring using search- of the 38th International Conference on Software Engi- based software engineering: an industrial case study. ACM neering (ICSE), ACM, 2016, 404–415.

188 Computing Reviews April 2017 • NOTABLE COMPUTING BOOKS AND ARTICLES

YU, T.; QU, X.; AND COHEN, M. B. VDTest: an automated FONTES, L.; JAIN, R.; KERENIDIS, I.; LAPLANTE, S.; LAURIERE´ , framework to support testing for virtual devices. In M.; AND ROLAND, J. Relative discrepancy does not sep- Proc. of the 38th International Conference on Software arate information and communication complexity. ACM Engineering (ICSE), ACM, 2016, 583–594. Transactions on Computation Theory 9, 1 (Dec. 2016), ZHOU, H.; AND XUE, J. Exploiting mixed SIMD parallelism Article No. 4. by reducing data reorganization overhead. In Proc. of GOLDREICH, O.; AND RON, D. On sample-based testers. ACM the International Symposium on Code Generation and Transactions on Computation Theory 8, 2 (May 2016), Optimization (CGO), ACM, 2016, 59–69. Article No. 7. HESSELINK, W. H. Correctness and concurrent complexity of the black-white bakery algorithm. Formal Aspects of E. Data Computing 28, 2 (Apr. 2016), 325–341. KARKK¨ AINEN¨ , J.; KEMPA, D.; AND PUGLISI, S. J. Lazy Lempel- BEIMEL, A.; FARRAS` , O.; AND MINTZ, Y. Secret-sharing Ziv factorization algorithms. Journal of Experimental schemes for very dense graphs. Journal of Cryptology Algorithmics 21 (2016), Article No. 2.4. 29, 2 (Apr. 2016), 336–362. MEIR, O. Combinatorial PCPs with short proofs. Computa- MONDELLI, M.; HASSANI, S. H.; AND URBANKE, R. L. Unified tional Complexity 25, 1 (Mar. 2016), 1–102. scaling of polar codes: error exponent, scaling exponent, RAZ, R. Fast learning requires good memory: a time-space moderate deviations, and error floors. IEEE Transactions lower bound for parity learning. In Proc. of the 57th on Information Theory 62, 12 (Dec. 2016), 6698–6712. Annual IEEE Symposium on Foundations of Computer YAN, H.; AND LIU, C. Two classes of cyclic codes and their Science (FOCS), IEEE, 2016, 266–275. weight enumerator. Designs, Codes and Cryptography RUBISTEIN, A. Settling the complexity of computing approx- 81, 1 (Oct. 2016), 1–9. imate two-player Nash equilibria. In Proc. of the 57th Annual IEEE Symposium on Foundations of Computer Science (FOCS), IEEE, 2016, 258–265. F. Theory of Computation SCHMITZ, S. Complexity hierarchies beyond elementary. ACM Transactions on Computation Theory 8, 1 (Feb. BABAI, L. Graph isomorphism in quasipolynomial time 2016), Article No. 3. [extended abstract]. In Proc. of the 48th Annual ACM Symposium on the Theory of Computing (STOC), ACM, 2016, 684–697. G. Mathematics of BORGER¨ , E.; AND SCHEWE, K.-D. Concurrent abstract state machines. Acta Informatica 53, 5 (Aug. 2016), 469–492. Computing BUDIG, B.; VAN DIJK, T. C.; AND WOLFF, A. Matching labels and markers in historical maps: an algorithm with CAO, Y.; CAO, Y.; AND FU, F.-W. Cyclic codes over k interactive postprocessing. ACM Transactions on Spa- F2m [u]/ u of oddly even length. Applicable Algebra ⟨ ⟩ tial Algorithms and Systems 2, 4 (Nov. 2016), Article in Engineering, Communication and Computing 27,4 No. 13. (Aug. 2016), 259–277. CHADHA, R.; CHEVAL, V.; CIOBACAˇ , S.; AND KREMER, S. CHATTOPADHYAY, E.; AND ZUCKERMAN, D. Explicit two- Automated verification of equivalenceˆ properties of source extractors and resilient functions. In Proc. of the cryptographic protocols. ACM Transactions on Compu- 48th Annual ACM Symposium on the Theory of Comput- tational Logic 17, 4 (Nov. 2016), Article No. 23. ing (STOC), ACM, 2016, 670–683. COECKE, B.; FRITZ, T.; AND SPEKKENS, R. W. A mathematical CHECHIK, S.; AND WULFF-NILSEN, C. Near-optimal light theory of resources. Information and Computation 250 spanners. In Proc. of the 27th Annual ACM-SIAM Sym- (Oct. 2016), 59–86. posium on Discrete Algorithms (SODA), SIAM, 2016, DOCZKAL, C.; AND SMOLKA, G. Completeness and decidabil- 883–892. ity results for CTL in constructive type theory. Journal CHONEV, V.; OUAKNINE, J.; AND WORRELL, J. On the com- of Automated Reasoning 56, 3 (Mar. 2016), 343–365. plexity of the orbit problem. Journal of the ACM 63,3 FAN, S.; ZAHEDI, S. M.; AND LEE, B. C. The computational (Sept. 2016), Article No. 23. sprinting game. In Proc. of the 21st International Con- CLEMENS, J.; REINEKING, T.; AND KLUTH, T. An evidential ference on Architectural Support for Programming Lan- approach to SLAM, path planning, and active explo- guages and Operating Systems (ASPLOS), ACM, 2016, ration. International Journal of Approximate Reasoning 561–575. 73 (June 2016), 1–26.

Computing Reviews April 2017 189 • NOTABLE COMPUTING BOOKS AND ARTICLES

DENG, W.; AND YIN, W. On the global and linear convergence of the generalized alternating direction method of H. Information Systems multipliers. Journal of Scientific Computing 66, 3 (Mar. 2016), 889–916. ALEXIEV, V.; ISAAC, A.; AND LINDENTHAL, J. On the compo- DO, S.; HA, Y.; KANG, M.; AND KIM, C. H. Application of sition of ISO 25964 hierarchical relations (BTG, BTP, a multi-dimensional limiting process to central-upwind BTI). International Journal on Digital Libraries 17,1 schemes for solving hyperbolic systems of conservation (Mar. 2016), 39–48. laws. Journal of Scientific Computing 69, 1 (Oct. 2016), 274–291. BAROWY, D.; CURTSINGER, C.; BERGER, E.; AND MCGREGOR, A. AutoMan: a platform for integrating human-based GHAFFARI, M. An improved distributed algorithm for max- and digital computation. Communications of the ACM imal independent set. In Proc. of the 27th Annual 59, 6 (June 2016), 102–109. ACM-SIAM Symposium on Discrete Algorithms (SODA), SIAM, 2016, 270–277. BOTA, H.; ZHOU, K.; AND JOSE, J. M. Playing your cards right: the effect of entity cards on search behaviour and KEELING, S. L.; AND KUNISCH, K. Robust ℓ approaches to 1 workload. In Proc. of the ACM Conference on Human computing the geometric median and principal and inde- Information Interaction and Retrieval (CHIIR), ACM, pendent components. Journal of Mathematical Imaging 2016, 131–140. and Vision 56, 1 (Sept. 2016), 99–124. CAMPOS, G. O.; ZIMEK, A.; SANDER, J.; CAMPELLO, R. J. KITAMURA, D.; ONO, N.; SAWADA, H.; KAMEOKA, H.; AND G. B.; MICENKOVA´ , B.; SCHUBERT, E.; ASSENT, I.; AND SARUWATARI, H. Determined blind source separation HOULE, M. E. On the evaluation of unsupervised outlier unifying independent vector analysis and nonnegative detection: measures, datasets, and an empirical study. matrix factorization. IEEE/ACM Transactions on Audio, Data Mining and Knowledge Discovery 30, 4 (July Speech and Language Processing 24, 9 (Sept. 2016), 2016), 891–927. 1626–1641. CECCHINATO, M. E.; SELLEN, A.; SHOKOUHI, M.; AND SMYTH, KRENN, D.; AND WAGNER, S. Compositions into powers of G. Finding email in a multi-account, multi-device world. b: asymptotic enumeration and parameters. Algorithmica In Proc. of the CHI Conference on Human Factors in 75, 4 (Aug. 2016), 606–631. Computing Systems (CHI), ACM, 2016, 1200–1210. KUDEKAR, S.; KUMAR, S.; MONDELLI, M.; PFISTER, H. D.; CHAKRABORTY, T.; SRINIVASAN, S.; GANGULY, N.; MUKHERJEE, S¸ A¸SOGLU˘ . E.; AND URBANKE, R. Reed-Muller codes achieve A.; AND BHOWMICK, S. Permanence and community capacity on erasure channels. In Proc. of the 48th Annual structure in complex networks. ACM Transactions on ACM Symposium on the Theory of Computing (STOC), Knowledge Discovery from Data 11, 2 (Dec. 2016), Arti- ACM, 2016, 658–669. cle No. 14. NAKPIM, W. Third-order ordinary differential equations CHEN, C.; ZHU, X.; SHEN, P.; HU, J.; GUO, S.; TARI, Z.; AND equivalent to linear second-order ordinary differential ZOMAYA, A. Y. An efficient privacy-preserving ranked equations via tangent transformations. Journal of Sym- keyword search method. IEEE Transactions on Parallel bolic Computation 77 (Nov.–Dec. 2016), 63–77. and Distributed Systems 27, 4 (Apr. 2016), 951–963. NIKOLAOU, N.; EDAKUNNI, N.; KULL, M.; FLACH, P.; AND CHUNG, C.-F.; DEW, K.; COLE, A.; ZIA, J.; FOGARTY, J.; BROWN, G. Cost-sensitive boosting algorithms: Do we KIENTZ, J. A.; AND MUNSON, S. A. Boundary negotiating really need them?. Machine Learning 104, 2 (Sept. artifacts in personal informatics: patient-provider col- 2016), 359–384. laboration with patient-generated data. In Proc. of the TIERNY, J.; AND CARR, H. Jacobi fiber surfaces for bivariate 19th ACM Conference on Computer-Supported Cooper- reeb space computation. IEEE Transactions on Visual- ative Work and Social Computing (CSCW), ACM, 2016, ization and Computer Graphics (Proc. of SciVis 2016) 770–786. 23, 1 (Jan. 2017), 960–969. COSTA, J.; ADAMS, A. T.; JUNG, M. F.; GUIMBRETIERE´ , F.; WANG, M. Stochastic composition optimization: algorithms AND CHOUDHURY, T. EmotionCheck: leveraging bodily and sample complexities. In Proc. of the International signals and false feedback to regulate our emotions. ConferenceonContinuousOptimization(ICCOPT),2016. In Proc. of the ACM International Joint Conference on WATRIGANT, R.; BOUGERET, M.; AND GIROUDEAU, R. Approx- Pervasive and Ubiquitous Computing (UbiComp), ACM, imating the Sparsestk-Subgraph in chordal graphs. The- 2016, 758–769. ory of Computing Systems 58, 1 (Jan. 2016), 111–132. DEMENTYEV, A.; KAO, H.-L.; CHOI, I.; AJILO, D.; XU, M.; YOSHIDA, Y. Nonlinear Laplacian for digraphs and its PARADISO, J. A.; SCHMANDT, C.; AND FOLLMER, S. Rov- applications to network analysis. In Proc. of the 9th ables: miniature on-body robots as mobile wearables. In ACM International Conference on Web Search and Data Proc. of the 29th Annual Symposium on User Interface Mining (WSDM), ACM, 2016, 483–492. Software and Technology (UIST), ACM, 2016, 111–120.

190 Computing Reviews April 2017 • NOTABLE COMPUTING BOOKS AND ARTICLES

DIGNOS¨ , A.; BOHLEN¨ , M. H.; GAMPER, J.; AND JENSEN, C. S. KO, M.; CHOI, S.; YATANI, K.; AND LEE, U. Lock n’ Extending the kernel of a relational DBMS with compre- LoL. In Proc. of the CHI Conference on Human hensive support for sequenced temporal queries. ACM Factors in Computing Systems (CHI), ACM, 2016, Transactions on Database Systems 41, 4 (Dec. 2016), 998–1010. Article No. 26. LAPUT, G.; XIAO, R.; AND HARRISON, C. ViBand: high- DOMBROWSKI, L.; HARMON, E.; AND FOX, S. Social justice- fidelity bio-acoustic sensing using commodity smart- oriented interaction design. In Proc. of the ACM Con- watch accelerometers. In Proc. of the 29th Annual ference on Designing Interactive Systems (DIS), ACM, Symposium on User Interface Software and Technology 2016, 656–671. (UIST), ACM, 2016, 321–333. ELSAYED, N. A. M.; THOMAS, B. H.; MARRIOTT, K.; PIANTA- LE GOC, M.; KIM, L. H.; PARSAEI, A.; FEKETE, J.-D.; DOSI, J.; AND SMITH, R. T. Situated analytics: demonstrat- DRAGICEVIC, P.; AND FOLLMER, S. Zooids: building blocks ing immersive analytical tools with augmented reality. for swarm user interfaces. In Proc. of the 29th Annual Journal of Visual Languages and Computing 36 (Oct. Symposium on User Interface Software and Technology 2016), 13–23. (UIST), ACM, 2016, 97–109. GOTZ, D.; SUN, S.; AND CAO, N. Adaptive contextualization: LEONG, J.; PARZER, P.; PERTENEDER, F.; BABIC, T.; RENDL, combating bias during high-dimensional visualization C.; VOGL, A.; EGGER, H.; OLWAL, A.; AND HALLER, and data selection. In Proc. of the 21st International M. proCover: sensory augmentation of prosthetic limbs Conference on Intelligent User Interfaces (IUI), ACM, using smart textile covers. In Proc. of the 29th Annual 2016, 85–95. Symposium on User Interface Software and Technology (UIST), ACM, 2016, 335–346. GROGER¨ , C.; KASSNER, L.; HOOS, E.; KONIGSBERGER¨ , J.; LESKOVEC, J.; AND SOSICˇ , R. SNAP: a general-purpose net- KIEFER, C.; SILCHER, S.; AND MITSCHANG, B. The data- driven factory: leveraging big industrial data for agile, work analysis and graph-mining library. ACM Transac- tions on Intelligent Systems and Technology 8, 1 (Oct. learning and human-centric manufacturing. In Proc. of 2016), Article No. 1. the 18th International Conference on Enterprise Information Systems (ICEIS), SCITEPRESS, 2016, LI, H.; YANG, W.; WANG, J.; XU, Y.; AND HUANG, L. WiFin- 40–52. ger: talk to your smart devices with finger-grained gesture. In Proc. of the ACM International Joint Conference GUO, G.; ZHU, F.; CHEN, E.; LIU, Q.; WU, L.; AND GUAN, on Pervasive and Ubiquitous Computing (UbiComp), C. From footprint to evidence: an exploratory study of ACM, 2016, 250–261. mining social data for credit scoring. ACM Transactions on the Web 10, 4 (Dec. 2016), Article No. 22. LIEN, J.; GILLIAN, N.; KARAGOZLER, M. E.; AMIHOOD, P.; SCHWESIG, C.; OLSON, E.; RAJA, H.; AND POUPYREV, I. HESPANHOL, L. Interacting with laughter: a case study on Soli: ubiquitous gesture sensing with millimeter wave audio-based interactivity of public projections. In Proc. radar. ACM Transactions on Graphics 35, 4 (July 2016), of the 28th Australian Conference on Computer-Human Article No. 142. Interaction (OzCHI), ACM, 2016, 205–214. MASON, M. The MIT Museum Glassware prototype: visi- HSIEH, G.; KOCIELNIK, R. You get who you pay for: the tor experience exploration for designing smart glasses. impact of incentives on participation bias. In Proc. of the Journal on Computing and Cultural Heritage 9, 3 (Nov. 19th ACM Conference on Computer-Supported Cooper- 2016), Article No. 12. ative Work and Social Computing (CSCW), ACM, 2016, MEHROTRA, A.; HENDLEY, R.; AND MUSOLESI, M. Pref 823–835. Miner: mining user’s preferences for intelligent JAVORNIK, A.; ROGERS, Y.; MOUTINHO, A. M.; AND FREEMAN, mobile notification management. In Proc. of the R. Revealing the shopper experience of using a “magic ACM International Joint Conference on Pervasive mirror” augmented reality make-up application. In Proc. and Ubiquitous Computing (UbiComp), ACM, 2016, of the ACM Conference on Designing Interactive Systems 1223–1234. (DIS), ACM, 2016, 871–882. MOSHFEGHI, Y.; TRIANTAFILLOU, P.; AND POLLICK, F. E. KAMALZADEH, M.; KRALJ, C.; MOLLER¨ , T.; AND SEDLMAIR, Understanding information need: an fMRI study. In M. TagFlip: active mobile music discovery with social Proc. of the 39th International ACM SIGIR Conference tags. In Proc. of the 21st International Conference on on Research and Development in Information Retrieval Intelligent User Interfaces (IUI), ACM, 2016, 19–30. (SIGIR), ACM, 2016, 335–344. KARANA, E.; GIACCARDI, E.; STAMHUIS, N.; AND GOOSSENSEN, MUTLU, B.; VEAS, E.; AND TRATTNER, C. VizRec: recom- J. The tuning of materials. In Proc. of the ACM Con- mending personalized visualizations. ACM Transactions ference on Designing Interactive Systems (DIS), ACM, on Interactive Intelligent Systems 6, 4 (Dec. 2016), 2016, 619–631. Article No. 31.

Computing Reviews April 2017 191 • NOTABLE COMPUTING BOOKS AND ARTICLES

NAPIERALA, K.; AND STEFANOWSKI, J. Types of minority S´ WIATEK ¸ , P.; JUSZCZYSZYN, K.; KOŁACZEK, G.; BRZOSTOWSKI, class examples and their influence on learning classifiers K.; AND SCHAUER, P. Processes’ optimization tools for from imbalanced data. Journal of Intelligent Information web-service oriented organizations’ resources: an ehealth Systems 46, 3 (June 2016), 563–597. application. In Proc. of the 17th International Conference NICOLAESCU, P.; ROSENSTENGEL, M.; DERNTL, M.; KLAMMA, on E-health Networking, Application & Services (Health- R.; AND JARKE, M. View-based near real-time collabo- Com), IEEE, 2016, 222–226. rative modeling for information systems engineering. In TRUSHKOWSKY, B.; KRASKA, T.; FRANKLIN, M.; AND SARKAR, Proc. of the 28th International Conference on Advanced P. Answering enumeration queries with the crowd. Information Systems Engineering (CAiSE), Springer, Communications of the ACM 59, 1 (Jan. 2016), 2016, 3–17. 118–127. POLVI, J.; TAKETOMI, T.; YAMAMOTO, G.; DEY, A.; SANDOR, TSAI, M.-F.; WANG, C.-J.; AND CHIEN, P.-C. Discovering C.; AND KATO, H. SlidAR: a 3D positioning method for finance keywords via continuous-space language mod- SLAM-based handheld augmented reality. Computers els. ACM Transactions on Management Information Sys- and Graphics 55 (Apr. 2016), 33–43. tems 7, 3 (Oct. 2016), Article No. 7. PREIST, C.; SCHIEN, D.; AND BLEVIS, E. Understanding TUAN, A.; COMYN-WATTIAU, I.; AND SI-SAID¨ CHERFI, S. Struc- and mitigating the effects of device and cloud service turing guidelines for web application designers: a meta- design decisions on the environmental footprint of dig- model. In Proc. of the 18th International Conference on ital infrastructure. In Proc. of the CHI Conference on Enterprise Information Systems (ICEIS), SCITEPRESS, Human Factors in Computing Systems (CHI), ACM, 2016, 327–335. 2016, 1324–1337. VERBERNE, S.; SAPPELLI, M.; HIEMSTRA, D.; AND KRAAIJ, RAMEAU, F.; HA, H.; JOO, K.; CHOI, J.; PARK, K.; AND KWEON, W. Evaluation and analysis of term scoring methods I. S. A real-time augmented reality system to see-through for term extraction. Information Retrieval Journal 19, cars. IEEE Transactions on Visualization and Computer 5 (Oct. 2016), 510–545. Graphics 22, 11 (Nov. 2016), 2395–2404. VUORIMAA, P.; LAINE, M.; LITVINOVA, E.; AND SHESTAKOV, D. Leveraging declarative languages in web applica- RAWASSIZADEH, R.; MOMENI, E.; DOBBINS, C.; GHARIBSHAH, tion development. World Wide Web 19, 4 (July 2016), J.; AND PAZZANI, M. Scalable daily human behavioral pattern mining from multivariate temporal data. IEEE 519–543. Transactions on Knowledge and Data Engineering 28, WANG, E. J.; LI, W.; HAWKINS, D.; GERNSHEIMER, T.; NORBY- 11 (Nov. 2016), 3098–3112. SLYCORD, C.; AND PATEL, S. N. HemaApp: noninvasive blood screening of hemoglobin using smartphone cam- RISTOSKI, P.; AND PAULHEIM, H. Semantic web in data min- eras. In Proc. of the ACM International Joint Conference ing and knowledge discovery: a comprehensive survey. on Pervasive and Ubiquitous Computing (UbiComp), Journal of Web Semantics 36 (Jan. 2016), 1–22. ACM, 2016, 593–604. ROUHANI, B. D.; MIRHOSEINI, A.; SONGHORI, E. M.; AND WIESE, O.; AND ROTH, V. See you next time: a model for KOUSHANFAR, F. Automated real-time analysis of stream- modern shoulder surfers. In Proc. of the 18th Interna- ing big and dense data on reconfigurable platforms. ACM tional Conference on Human-Computer Interaction with Transactions on Reconfigurable Technology and Systems Mobile Devices and Services (MobileHCI), ACM, 2016, 10, 1 (Dec. 2016), Article No. 8. 453–464. AUNDERS YRDAL OAY URKE S , J.; S , D. S.; K , K. L.; B , N.; YIN, H.; CUI, B.; ZHOU, X.; WANG, W.; HUANG, Z.; AND AND AUTENHAHN D , K. “Teach Me–Show Me”—end-user SADIQ, S. Joint modeling of user check-in behaviors personalization of a smart home and companion robot. for real-time point-of-interest recommendation. ACM IEEE Transactions on Human-Machine Systems 46,1 Transactions on Information Systems 35, 2 (Dec. 2016), (Feb. 2016), 27–40. Article No. 11. SCHNEIDER, B.; SHARMA, K.; CUENDET, S.; ZUFFEREY, G.; ZHAI, C.; AND MASSUNG, S. Text data management and DILLENBOURG, P.; AND PEA, R. Using mobile eye-trackers analysis: a practical introduction to information retri- to unpack the perceptual benefits of a tangible user eval and text mining. ACM and Morgan & Claypool, interface for collaborative learning. ACM Transactions 2016. on Computer-Human Interaction 23, 6 (Dec. 2016), ZHAO, S.; RAMOS, J.; TAO, J.; JIANG, Z.; LI, S.; WU, Z.; PAN, Article No. 39. G.; AND DEY, A. K. Discovering different kinds of smart- STONEBRAKER, M. Big data is (at least) four different prob- phone users through their application usage behaviors. lems. YouTube, 01:02:35 published on June 2, 2016, In Proc. of the ACM International Joint Conference on stanfordonline, https://www.youtube.com/watch?v=S79- Pervasive and Ubiquitous Computing (UbiComp), ACM, buNhdhI. 2016, 498–509.

192 Computing Reviews April 2017 • NOTABLE COMPUTING BOOKS AND ARTICLES

DONG, C.; LOY, C. C.; HE, K.; AND TANG, X. Image super- I. Computing resolution using deep convolutional networks. IEEE Methodologies Transactions on Pattern Analysis and Machine Intelli- gence 38, 2 (Feb. 2016), 295–307.

ADOUANE, L. Autonomous vehicle navigation: from behav- ELGENDY, O. A.; AND CHAN, S. H. Image reconstruction and • ioral to hybrid multi-controller architectures. CRC Press, threshold design for quanta image sensors. In Proc. of 2016. the IEEE International Conference on Image Processing (ICIP), IEEE, 2016, 978–982. AMBUSAIDI, M. A.; HE, X.; NANDA, P.; AND TA, Z. Building an intrusion detection system using a filter-based feature ENGLUND, R.; AND ROPINSKI, T. Evaluating the perception of selection algorithm. IEEE Transactions on Computers semi-transparent structures in direct volume rendering 65, 10 (Oct. 2016), 2986–2998. techniques. In Proc. of the SIGGRAPH Asia Symposium on Visualization (SA), ACM, 2016, Article No. 9. ATANASSOV, K.; GEORGIEV, I.; SZMIDT, E.; AND KACPRZYK, J. Multidimensional intuitionistic fuzzy quantifiers. In FUJIMOTO, R. M. Research challenges in parallel and dis- Proc. of the IEEE 8th International Conference on Intel- tributed simulation. ACM Transactions on Modeling and ligent Systems (IS), IEEE, 2016, 530–534. Computer Simulation 26, 4 (May 2016), Article No. 22. AUTUORI, J.; HNAIEN, F.; AND YALAOUI, F. A mapping tech- GAO, J.; WANG, Y.; WANG, J.; AND LIANG, R. Adaptive opti- nique for better solution exploration: NSGA-II adapta- mization modeling of preconditioned conjugate gradient tion. Journal of Heuristics 22, 1 (Feb. 2016), 89–123. on multi-GPUs. ACM Transactions on Parallel Comput- ing 3, 3 (Dec. 2016), Article No. 16. BISSELING, B.; BRUZELIUS, F.; AND ERIKSSON, O. Effects of visual latency on vehicle driving behavior. ACM GOODFELLOW, I.; BENGIO, Y.; AND COURVILLE, A. Deep • Transactions on Applied Perception 14, 1 (Aug. 2016), learning. MIT Press, 2016. Article No. 5. HACHMON, G.; MAMET, N.; SASSON, S.; BARKAI, T.; HADAR, BLOT, A.; DAGAND, P.-E.;´ AND LAWALL, J. From sets to bits N.; ABU-HOROWITZ, A.; AND BACHELET, I. A non- in Coq. In Proc. of the 13th International Symposium on Newtonian fluid robot. Artificial Life 22, 1 (Winter Functional and Logic Programming (FLOPS), Springer, 2016), 1–22. 2016, 12–28. HAGIYA, M.; AUBERT-KATO, N.; WANG, S.; AND KOBAYASHI, BOUDHANE, M.; AND NSIRI, B. Underwater image processing S. Molecular computers for molecular robots as hybrid method for fish localization and detection in subma- systems. Theoretical Computer Science 632 (June 2016), rine environment. Journal of Visual Communication and 4–20. Image Representation 39 (Aug. 2016), 226–238. HAN, X.; WONG, K.-Y. K.; AND YU, Y. 3D human model CARVALHO, A.; DIMITROV, S.; AND LARSON, K. How many reconstruction from sparse uncalibrated views. IEEE crowdsourced workers should a requester hire?. Annals Computer Graphics and Applications 36, 6 (Nov.–Dec. of Mathematics and Artificial Intelligence 78, 1 (Sept. 2016), 46–56. 2016), 45–72. HE, K.; ZHANG, X.; REN, S.; AND SUN, J. Deep residual CHARLESWORTH, A. A theorem about computationalism and learning for image recognition. In Proc. of the IEEE “absolute” truth. Minds and Machines 26, 3 (Sept. 2016), Conference on Computer Vision and Pattern Recognition 205–226. (CVPR), IEEE, 2016, 770–778. CIMPOI, M.; MAJI, S.; KOKKINOS, I.; AND VEDALDI, A. Deep KAEHLER, A.; AND BRADSKI, G. Learning OpenCV 3. • filter banks for texture recognition, description, and O’Reilly Media, 2016. segmentation. International Journal of Computer Vision KARTHEEK MEDATHATI, N. V.; NEUMANN, H.; MASSON, G. 118, 1 (May 2016), 65–94. S.; AND KORNPROBST, P. Bio-inspired computer vision: DAI, J.; LI, Y.; HE, K.; AND SUN, J. R-FCN: object detection towards a synergistic approach of artificial and biolog- via region-based fully convolutional networks. In Proc. ical vision. Computer Vision and Image Understanding of the Conference on Neural Information Processing 150 (Sept. 2016), 1–30. Systems (NIPS), Curran Assoc., 2016, 379–387. KIM, I.-J.; CHOI, C.; AND LEE, S.-H. Improving discrimina- DI BARTOLOMEO, M.; AND HU, Y. There is more to stream- tion ability of convolutional neural networks by hybrid graphs than movies: better aesthetics via ordering and learning. International Journal on Document Analysis lassoing. Computer Graphics Forum 35, 3 (June 2016), and Recognition 19, 1 (Mar. 2016), 1–9. 341–350. LECOCQ, P.; DUFAY, A.; SOURIMANT, G.; AND MARVIE, J.-E. DING, C.; KYAW THU, Y.; UTIYAMA, M.; AND SUMITA, E. Word Accurate analytic approximations for real-time specular segmentation for Burmese (Myanmar). ACM Transac- area lighting. In Proc. of the 20th ACM SIGGRAPH Sym- tions on Asian and Low-Resource Language Information posium on Interactive 3D Graphics and Games (I3D), Processing 15, 4 (June 2016), Article No. 22. ACM, 2016, 113–120.

Computing Reviews April 2017 193 • NOTABLE COMPUTING BOOKS AND ARTICLES

LIU, X.; XIE, N.; TANG, K.; AND JIA, J. Lightweighting for SHOKOUHIFAR, M.; AND JALALI, A. Two-stage fuzzy inference Web3D visualization of large-scale BIM scenes in real- system for symbolic simplification of analog circuits. time. Graphical Models 88 (Nov. 2016), 40–56. Integration, the VLSI Journal 55 (Sept. 2016), 281–292. MAGLIETTA, R.; AMOROSO, N.; BOCCARDI, M.; BRUNO, S.; SILVA, F.; DUARTE, M.; CORREIA, L.; OLIVEIRA, S. M.; CHINCARINI, A.; FRISONI, G. B.; INGLESE, P.; REDOLFI, AND CHRISTENSEN, A. L. Open issues in evolution- A.; TANGARO, S.; TATEO, A.; BELLOTTI, R.; and The ary robotics. Evolutionary Computation 24, 2 (Summer Alzheimers Disease Neuroimaging Initiative automated 2016), 205–236. hippocampal segmentation in 3D MRI using random SKRABA, P.; ROSEN, P.; WANG, B.; CHEN, G.; BHATIA, H.; undersampling with boosting algorithm. Pattern Anal- AND PASCUCCI, V. Critical point cancellation in 3D vector ysis and Applications 19, 2 (May 2016), 579–591. fields: robustness and discussion. IEEE Transactions on MENDES N.; AND DOS SANTOS A. A hypercube queuing model Visualization and Computer Graphics 22, 6 (June 2016), approach to the police units allocation problem. In Proc. 1683–1693. of the 18th International Conference on Enterprise Infor- STAHL, B. C.; AND COECKELBERGH, M. Ethics of health- mation Systems (ICEIS), SCITEPRESS, 2016, 70–81. care robotics: towards responsible research and innova- MERCADO-COLMENERO, J.-M.; PARAMIO, M.A.R.; PEREZ- tion. Robotics and Autonomous Systems 86 (Dec. 2016), GARCIA, J.-M.; AND MARTIN-DONATE, C. A new hybrid 152–161. method for demoldability analysis˜ of discrete geome- STOFFERS, M.; SCHEMMEL, D.; DUSTMANN, O. S.; AND tries. Computer-Aided Design 80 (Nov. 2016), 43–60. WEHRLE, K. Automated memoization for parameter stud- MOLLAJAFARI, M.; AND SHAHHOSEINI, H. S. An efficient ies implemented in impure languages. In Proc. of the ACO-based algorithm for scheduling tasks onto dynam- ACM Conference on SIGSIM Principles of Advanced ically reconfigurable hardware using TSP-likened con- Discrete Simulation (PADS), ACM, 2016, 221–232. struction graph. Applied Intelligence 45, 3 (Oct. 2016), 695–712. SUGIYAMA M. Introduction to statistical machine learning. • Morgan Kaufmann, 2016. MULLER¨ V. (Ed.) Fundamental issues of artificial intelli- • gence. Springer, 2016. TAM, G. K. L.; KOTHARI, V.; AND CHEN, M. An analysis of machine- and human-analytics in classification. IEEE ORTNER, T.; SORGER, J.; PIRINGER, H.; HESINA, G.; AND Transactions on Visualization and Computer Graphics GROLLER¨ , E. Visual analytics and rendering for tunnel (Proc. of VAST 2016) 23, 1 (Jan. 2017), 71–80. crack analysis. The Visual Computer 32, 6 (June 2016), 859–869. TIPPETTS, B.; LEE, D. J.; LILLYWHITE, K.; AND ARCHIBALD, J. Review of stereo vision algorithms and their suitabil- PEREIRA, G.; PRADA, R.; AND SANTOS, P. A. Integrating social ity for resource-limited systems. Journal of Real-Time power into the decision-making of cognitive agents. Artificial Intelligence 241 (Dec. 2016), 1–44. Image Processing 11, 1 (Jan. 2016), 5–25. WANG, G.; WANG, C.; DU, Q.; LI, L.; AND DONG, W. Dis- POUND, M .P.; FRENCH, A. P.; FOZARD, J. A.; MURCHIE, E. H.; tributed cooperative control of multiple nonholonomic AND PRIDMORE, T. P. A patch-based approach to 3D plant shoot phenotyping. Machine Vision and Applications 27, mobile robots. Journal of Intelligent & Robotic Systems 5 (July 2016), 767–779. 83, 3 (Sept. 2016), 525–541. ANG HEN HEN INH AO PROLLOCHS¨ , N.; FEUERRIEGEL, S.; AND NEUMANN, D. Detect- W , W.; C , G.; C , H.; D , T. T. A.; G , J.; ing negation scopes for financial news sentiment using OOI, B. C.; TAN, K.-L.; WANG, S.; AND ZHANG, M. Deep reinforcement learning. In Proc. of the 49th Hawaii learning at scale and at ease. ACM Transactions on Mul- International Conference on System Sciences (HICSS), timedia Computing, Communications, and Applications IEEE, 2016, 1164–1173. 12, 4s (Nov. 2016), Article No. 69. RODRIGUEZ´ , M. B.; AGUS, M.; BETTIO, F.; MARTON, F.; WANG, W.; YANG, X.; OOI, B. C.; ZHANG, D.; AND ZHUANG, AND GOBBETTI, E. Digital Mont’e Prama: exploring large Y. Effective deep learning-based multi-modal retrieval. collections of detailed 3D models of sculptures. Journal The VLDB Journal 25, 1 (Feb. 2016), 79–101. on Computing and Cultural Heritage 9, 4 (Dec. 2016), WEI, X.; PHUNG, S. L.; AND BOUZERDOUM, A. Visual Article No. 18. descriptors for scene categorization: experimental eval- SATYANARAYAN, A.; MORIT, D.; WONGSUPHASAWAT, K.; AND uation. Artificial Intelligence Review 45, 3 (Mar. 2016), HEER,J.Vega-lite:agrammarofinteractivegraphics.IEEE 333–368. Transactions on Visualization and Computer Graphics XIONG, F.; KAM, M.; HREBIEN, L.; WANG, B.; QI, Y. Ker- (Proc. of InfoVis 2016) 23, 1 (Jan. 2017), 341–350. nelized information-theoretic metric learning for cancer SGUREV, V.; YAGER, R. R.; KACPRZYK, J.; AND JOTSOV, V. diagnosis using high-dimensional molecular profiling • (Eds.) Innovative issues in intelligent systems. Springer, data. ACM Transactions on Knowledge Discovery from 2016. Data 10, 4 (Jul. 2016), Article No. 38.

194 Computing Reviews April 2017 • NOTABLE COMPUTING BOOKS AND ARTICLES

YU, Q.; YAN, R.; TANG, H.; TAN, K.C.; AND LI, H. A spiking HAMARI, J.; SJOKLINT¨ , M.; AND UKKONEN, A. The sharing neural network system for robust sequence recognition. economy: why people participate in collaborative con- IEEE Transactions on Neural Networks and Learning sumption. Journal of the Association for Information Systems 27, 3 (Mar. 2016), 621–635. Science and Technology 67, 9 (Sept. 2016), 2047–2059. HASAN, S.; KING, Z.; HAFIZ, M.; SAYAGH, M.; ADAMS, B.; AND HINDLE, A. Energy proﬁles of Java collections classes. In Proc. of the 38th International Conference on J. Computer Applications Software Engineering (ICSE), ACM, 2016, 225–236. IMMONEN, A.; OVASKA, E.; KALAOJA, J.; AND PAKKALA, D. ALBERDI, A.; AZTIRIA, A.; AND BASARAB, A. On the early A service requirements engineering method for a digi- diagnosis of Alzheimer’s disease from multimodal sig- tal service ecosystem. Service Oriented Computing and nals: a survey. Artiﬁcial Intelligence in Medicine 71 Applications 10, 2 (June 2016), 151–172. (July 2016), 1–29. LUCASSEN, G.; DALPIAZ, F.; VAN DER WERF, J. M. E. M.; HUMMEL, P.; AND MCAFEE, R. P. When does improved AND BRINKKEMPER, S. Improving agile requirements: the targeting increase revenue?. ACM Transactions on Eco- quality user story framework and tool. Requirements nomics and Computation 5, 1 (Nov. 2016), Article Engineering 21, 3 (Sept. 2016), 383–403. No. 4. MARQUES, D.; MUSLUKHOV, I.; GUERREIRO, T.; BEZNOSOV, K.; LEWIS, M. The undoing project: a friendship that changed • AND CARRICO ¸ , L. Snooping on mobile phones: preva- our minds. W. W. Norton & Co., 2016. lence and trends. In Proc. of the 12th Symposium on MURNANE, E. L.; ABDULLAH, S.; MATTHEWS, M.; KAY, M.; Usable Privacy and Security (SOUPS), USENIX, 2016, KIENTZ, J. A.; CHOUDHURY, T.; GAY, G.; AND COSLEY, D. 159–174. Mobile manifestations of alertness: connecting biolog- MOUAKKET, S.; AND BETTAYEB, A. Factors affecting univer- ical rhythms with patterms of smartphone app use. In sity instructors’ continuance intention to use learning Proc. of the 18th International Conference on Human- management systems: the Blackboard system case. In Computer Interaction with Mobile Devices and Services Proc. of the 18th International Conference on Enter- (MobileHCI), ACM, 2016, 465–477. prise Information Systems (ICEIS), SCITEPRESS, 2016, ROMERO, M.; SANCHEZ´ , M.; AND VILLALOBOS, J. Weaving 215–222. business model patterns: understanding business models. O’NEIL, C. Weapons of math destruction. Crown, 2016. In Proc. of the 18th International Conference on Enter- • RELLO, L.; and BAEZA-YATES, R. The effect of font type prise Information Systems (ICEIS), SCITEPRESS, 2016, on screen readability by people with dyslexia. ACM 496–505. Transactions on Accessible Computing 8, 4 (May 2016), TANG, J.; AND ZHOU, S. A new approach for feature selection Article No. 15. from microarray data based on mutual information. SHAY, R.; KOMANDURI, S.; DURITY, A. L.; HUH, P.; MAZUREK, IEEE/ACM Transactions on Computational Biology and M. L.; SEGRETI, S. M.; UR, B.; BAUER, L.; CHRISTIN, Bioinformatics 13, 6 (Nov.–Dec. 2016), 1004–1015. N.; AND CRANOR, L. F. Designing password policies for strength and usability. ACM Transactions on Information and System Security 18, 4 (May 2016), Article No. 13. K. Computing Milieux SUCH, J. M.; AND ROVATSOS, M. Privacy policy negotiation in social media. ACM Transactions on Autonomous and Adaptive Systems 11, 1 (Apr. 2016), Article No. 4. BERGHEL, H. The bogus science theorem. IEEE Computer 49, 4 (Apr. 2016), 74–78. WOJTOWICZ´ , A.; AND JOACHIMIAK, K. Model for adapt- able context-based biometric authentication for mobile DEVENDORF, L.; DE KOSNIK, A.; MATTINGLY, K.; RYOKAI, devices. Personal and Ubiquitous Computing 20, 2 (Apr. K. Probing the potential of post-anthropocentric 3D 2016), 195–207. printing. In Proc. of the ACM Conference on Designing Interactive Systems (DIS), ACM, 2016, 170–181. GANGWAL, N.; AND BANSAL, V. Application of decomposed theory of planned behavior for m-commerce adoption in SYMBOLS India. In Proc. of the 18th International Conference on Enterprise Information Systems (ICEIS), SCITEPRESS, Book • 2016, 357–367.

Computing Reviews April 2017 195 •