







Algorithm design with Haskell Algorithm design with Haskell is sectioned into six major parts, covering a multitude of topics and algorithms. There are too many individual topics to highlight in this review; however, as a programming lecturer, these few were of particular interest to me: timing, sorting, graphs, searching, and recursion. The authors have chosen... more









Lots of algorithms go bad unintentionally. Some of them, however, are made to be criminal. Algorithms are formal rules, usually written in computer code, that make predictions on future events based on historical patterns. To train an algorithm you need to provide historical data as well as a definition of success... more 

 Cathy O’Neil (2017) 









An analysis of inheritance hierarchy evolution: EASE 19
This is a refreshing paper on ten opensource systems and their use of “inheritance” programing concepts. Computer languages have evolved with the typesafe extensibility concept of inheritance, which is embodied in objectoriented (OO) languages. The two... more
General (D.2.0)  Apr 13 21
Modeling information retrieval by formal logic: a survey: ACM Computing Surveys
As the title indicates, formal logic is used for modeling information retrieval (IR). Readers can expect a literature review (of IR models), supported with graphs, mathematical formulas, and examples that lead to some interesting... more
Retrieval Models (H.3.3...)  Apr 12 21
Codingdata portability in systematic literature reviews: a W3C’s open annotation approach: EASE 19
Systematic literature reviews (SLRs) involve several steps: the planning step, which identifies the scope of literature according to the research goals, and develops a coding protocol; the analysis step, which... more
Software Engineering (D.2)  Apr 9 21
Multigrid for matrixfree highorder finite element computations on graphics processors: ACM Transactions on Parallel Computing
Discretization is a method for transforming continuous variables, equations, functions, and models into their discrete equivalents. A... more
DifferentialAlgebraic Equations (G.1.7...)  Apr 7 21
Aspect aware learning for aspect category sentiment analysis: ACM Transactions on Knowledge Discovery from Data
Do you like (or dislike) “fruit flies like a banana,” but not “time flies like an arrow”? How should humans and computerized systems accurately distinguish... more
General (H.4.0)  Apr 6 21
Parallel cost analysis: ACM Transactions on Computational Logic
In this paper, the authors present “static cost analysis for distributed systems that exploits the parallelism among distributed locations to infer a more precise estimation of the parallel cost.” Such a parallel... more
General (D.2.0)  Apr 2 21
Smart dispatching in heterogeneous systems: ACM SIGMETRICS Performance Evaluation Review
For modern computing platforms, heterogeneous processing nodes are the reality. Moreover, most traditional job assignment algorithms, which are designed for homogeneous systems, are not... more
Performance Evaluation (H.3.4...)  Mar 31 21
CPS design with learningenabled components: a case study: RSP 19
Cyberphysical systems (CPSs) integrate hardware/software components with mechanical/electronic equipment to operate in applications for robotics, avionics, smart grids, and the like. This paper presents a case study for... more
General (D.2.0)  Mar 29 21
Towards the use of machine learning algorithms to enhance the effectiveness of search strings in secondary studies: SBES 19
The authors propose the use of text mining to enhance the creation of search strings for constructing socalled secondary studiesthat is to say, survey articles... more
General (D.2.0)  Mar 26 21
Bilevel thresholding: analyzing the effect of repeated errors in gesture input: ACM Transactions on Interactive Intelligent Systems
Ensuring a proper, easy, and convenient interface between human and machine has been one of the most challenging issues since the first machines were... more
Intelligent Agents (I.2.11...)  Mar 24 21









Stochastic geometry
In the era BC (“before computers”), the standard way to reason about geometric objects, dating back to Euclid, was a logical proof system based on axioms. This approach is symbolic, dealing with entities such as points and lines. It leverages human spatial... more
Stochastic Analysis (D.4.8...)  Apr 13 21
Leading megaprojects: a tailored approach
Leading a megaproject may sound great, wonderful, challenging, and tough; however, the specific practical approaches to do so are yet very few or just for large proprietary corporations.
In today’s world, industrial and infrastructure megaprojects represent one... more
Project & People Management (K.6.1)  Apr 8 21
Datacentric business and applications: evolvements in business information processing and management (vol. 2)
Datacentric business and applications are successful because they are based on historical, realtime, and predictive data, which provide insight into the behavior and minds of customers, users, and managers... more
Information Systems Applications (H.4)  Apr 5 21
Kings of crypto
Kings of crypto is a fun read about a Bitcoin exchange startup. It begins with a readable exposition of blockchains and cryptocurrencies. Blockchains are basically distributed ledgers that show every pertinent transaction. The ledger is organized into blocks... more
Electronic Commerce (K.4.4)  Apr 1 21
Microcontroller programming and interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994 (2nd ed.)
This book discusses programming and interfacing with two specific members of the Texas Instruments MSP430 family of mixedsignal microcontrollers, namely... more
Architectures (H.5.4...)  Mar 30 21
Linear algebra and optimization for machine learning
This excellent introduction to linear algebra is aimed at folks who want to better understand how machine learning really works. Modern machine learning requires a background in linear algebra, but most books and courses... more
Learning (I.2.6)  Mar 26 21
Carl Adam Petri
Every computer scientist studies Petri nets in their early academic years. Petri nets are a powerful yet very intuitive modeling tool for concurrent and distributed systems. Such networks were introduced by Carl Adam Petri (19262010) in his PhD thesis, in 1962... more
Petri Nets (D.2.2...)  Mar 25 21
Modern Fortran explained
First introduced in 1957, FORTRAN was designed to be easier than an assembler language for writing algebraic equations on a computer. In this, FORTRAN was spectacularly successful.
More than 60 years later, Fortran (officially renamed since Fortran 90)... more
Fortran (D.3.2...)  Mar 19 21
Natural language processing with Python and spaCy
Having had three Amazon Alexa units in my house for years, I’ve always wondered how my utterances are interpreted and understood by a machine, and how a machine talks back to me and carries out my commands without error (almost!). This book quenched my... more
Natural Language Processing (I.2.7)  Mar 18 21
Management 4.0: cases and methods for the 4th industrial revolution
Don’t judge this book by its cover. Despite its title, this is not a book about management. It is a book for executives, strategists, managers, technologists, consultants, educators, policymakers, and concerned... more
General (K.6.0)  Mar 16 21





