







Python for scientists (2nd ed.) Consider the following tease lines that one might choose to begin a book review with: “When I first scanned the contents of this book, I was completely overwhelmed”; “The title of this book is somewhat deceptive”; “This book may well become a classic”; or, “If this book fully explained all the topics it addresses, it would be 5,000 pages... more









We must bear in mind, then, that there is nothing more difficult and dangerous, or more doubtful of success, than an attempt to introduce a new order... more 

 Niccolò Machiavelli (1513) 









Toward optimal selfadjusting heaps: ACM Transactions on Algorithms
A selfadjusting heap is a heap data structure “that does not [need to] explicitly maintain structural information”; instead, during each access or update operation, the heap is adjusted in a uniform way. Why is a... more
Data Structures (E.1)  Mar 19 18
Humancomputer interaction, foundations and new paradigms: Journal of Visual Languages and Computing
In this paper, Dix studies the roots of humancomputer interaction (HCI) and the directions of its development. It is a discipline that is based on three foundations: people, who inspire the field... more
User/Machine Systems (H.1.2)  Mar 15 18
Algorithm 980: sparse QR factorization on the GPU: ACM Transactions on Mathematical Software
Many largescale scientific and engineering computational problems lead, after some kind of discretization, to the solution of huge systems of linear algebraic equations and/or linear least... more
Parallel Processors (C.1.2...)  Mar 14 18
Enduser composition of interactive applications through actionable UI components: Journal of Visual Languages and Computing
This research is related to the development of enduserdesigned applications using the mashup platform called EFESTO. This type of computer programming... more
User Interfaces (H.5.2)  Mar 14 18
Answer set programming for nonstationary Markov decision processes: Applied Intelligence
Problem solving with computers often involves the exploration of paths from an initial state to a goal state. In addition to the size of this search space... more
Markov Processes (G.3...)  Mar 13 18
Learning Bayesian network parameters from small data sets: International Journal of Approximate Reasoning
Bayesian networks (BNs) represent a powerful statistical tool for uncertainty analysis with applications in many areas, for example, medical diagnosis. Since data is often not... more
Parameter Learning (I.2.6...)  Mar 12 18
Reducing the performance gap between soft scalar CPUs and custom hardware with TILT: ACM Transactions on Reconfigurable Technology and Systems
This paper is an extension of a seminal presentation of thread and instructionlevel parallel template architecture (TILT). TILT is a software... more
Other Architecture Styles (C.1.3)  Mar 9 18
A progression semantics for firstorder logic programs: Artificial Intelligence
This paper looks at the relationship between classical logic and practical systems, which employ logicbased techniques to process data. The emphasis is on answer set programming (ASP) and Datalog rather than Prolog. While... more
Logic Programming (I.2.3...)  Mar 9 18
Languages with membership determined by single letter factors: Theoretical Computer Science
This paper continues a previous one [1] by the authors, Higgins and Alwan, expanding on the notion of scan languages that require a word to be read completely before determining whether the word belongs... more
Automata (F.1.1...)  Mar 8 18
The undecidability of arbitrary arrow update logic: Theoretical Computer Science
Arrow update logic is one instance of socalled dynamic epistemic logics. These are logical frameworks that allow for the modeling of change of knowledge or belief. In the special case of arrow update logics, one... more
Modal Logic (F.4.1...)  Mar 7 18









Embedded computing for high performance: efficient mapping of computations using customization, code transformations and compilation
Robotic collaborative environments, distributed artificial perception, and intelligent sensor networks are some of the new... more
RealTime & Embedded Systems (C.3...)  Mar 16 18
Advances in smart cities: smarter people, governance, and solutions
With the growth of information technology (IT), cities are growing through enhanced technologies, giving rise to the concept of the smart city. This book explains the concept of a smart city, its requirements... more
Organizational Impacts (K.4.3)  Mar 16 18
Graph theory (5th ed.)
Graph theory provides a very comprehensive description of different topics in graph theory. This book can definitely be counted as one of the classics in this subject. The highlight is its wide coverage of topics in graph theory, ranging from the fundamentals to... more
Graph Theory (G.2.2)  Mar 16 18
Probability and computing (2nd ed.)
It is one of the great paradoxes of modern science that useful computation can be done by making random choices. This insight would be impressive even if the computation in question were contrived, but in many cases probabilistic algorithms can solve important... more
Probabilistic Algorithms (G.3...)  Mar 15 18
Automotive software architectures
The automotive industry is experiencing the most rapid changes in its evolution toward semi and fully autonomous vehicles. Software is driving the car, augmenting or replacing the human driver. Possibly this is the only book that covers the whole breadth... more
Software Architectures (D.2.11)  Mar 9 18
An introduction to machine learning (2nd ed.)
In his introduction, the author states that “machine learning has come of age.” In many ways, if the scope and methods are those established in the book, it is true. But from the point of view of recent research and especially industrial initiatives, this is not true in... more
Learning (I.2.6)  Mar 9 18
Interpreting Lisp (2nd ed.)
In writing Interpreting Lisp: programming and data structures, Knott aims to meet several goals in a concise and direct manner: first, to provide a gentle but precise introduction to Lisp; second, to illustrate the flavor of Lisp programming through several idioms; and... more
Applicative (Functional) Programming (D.1.1)  Mar 8 18
Embedded system design (3rd ed.)
This is a difficult book to approach. It is either an encyclopedia, a tour de force, or an ultragraduatelevel textbook. On page 17, the author lists 12 detailed prerequisites and 22 recommended additional... more
RealTime & Embedded Systems (C.3...)  Mar 8 18
Lowlevel programming: C, assembly, and program execution on Intel 64 architecture
Despite the ease of programming in highlevel languages, there will always be things that are best programmed in lowlevel languages (such as speed, resource usage, and size). Assembler is certainly... more
Sequential Programming (D.1.4)  Mar 7 18
The incomputable
Computer science is composed of two major areas. One is strongly related to engineering: the architecture and design of computing systems and the development of tools to employ such systems. The other is more related to scientific inquiry, although to those outside... more
Computability Theory (F.1.1...)  Mar 7 18





