Analysing River Systems with Time Series Data Using Path Queries in Graph Databases by Erik Bollen, Rik Hendrix, Bart Kuijpers, Valeria Soliani, Alejandro Vaisman

Get full text

Visit Probability in Space–Time Prisms Based on Binomial Random Walk by Deepak Elias, Bart Kuijpers

Get full text

Sparse Group Feature Selection by Weighted Thresholding Homotopy Method by Jinglan Wu, Huating Huang, Wenxing Zhu

Get full text

On the Descriptive Complexity of Color Coding by Max Bannach, Till Tantau

Get full text

An Effective Corner Increment-Based Algorithm for the Two-Dimensional Strip Packing Problem by Zhen Chen, Jianli Chen

Get full text

Corrigendum: Real-time affect detection in virtual reality: A technique based on a three-dimensional model of affect and EEG signals by Andres Pinilla, Andres Pinilla, Jan-Niklas Voigt-Antons, Jan-Niklas Voigt-Antons, Jaime Garcia, William Raffe, Sebastian Möller, Sebastian Möller

Get full text

Time-Series-Based Queries on Stable Transportation Networks Equipped with Sensors by Erik Bollen, Rik Hendrix, Bart Kuijpers, Alejandro Vaisman

Get full text

Electric routing and concurrent flow cutting by Kelner, Jonathan Adam, Maymounkov, Petar Borissov

Get full text
Get full text

Poset vectors and generalized permutohedra by Croitoru, Dorian, Oh, Suho, Postnikov, Alexander

Get full text

On computing Hilbert bases via the Elliot–MacMahon algorithm by Pasechnik, Dmitrii V.

Get full text
Get full text

Modular games for coalgebraic fixed point logics by Cîrstea, C, Sadrzadeh, M

“…A compositional approach to defining logics for coalgebras. Theoretical Computer Science, 327:45–69, 2004; C. Cîrstea and D. …”

Learning place cells, grid cells and invariances with excitatory and inhibitory plasticity by Simon Nikolaus Weber, Henning Sprekeler

Get full text

Classic Nintendo games are (computationally) hard by Aloupis, Greg, Demaine, Erik D, Guo, Alan Xinyu, Viglietta, Giovanni

Get full text

On the complexity of reconfiguration problems by Ito, Takehiro, Demaine, Erik D., Harvey, Nicholas J.A., Papadimitriou, Christos H., Sideri, Martha, Uehara, Ryuhei, Uno, Yushi

Get full text
Get full text

A delayed promotion policy for parity games by Benerecetti, M, Dell'Erba, D, Mogavero, F

“…Parity games are two-player infinite-duration games on graphs that play a crucial role in various fields of theoretical computer science. Finding efficient algorithms to solve these games in practice is widely acknowledged as a core problem in formal verification, as it leads to efficient solutions of the model-checking and satisfiability problems of expressive temporal logics, e.g., the modal muCalculus. …”

Axiomatic description of mixed states from selinger's CPM-construction by Coecke, B

“…In: Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), Electronic Notes in Theoretical Computer Science <strong>170</strong>, 139–163. Available from Peter Selinger&amp;apos;s homepage] as an axiomatization of maximally mixed states. …”

Effective Reskilling of Foreign-Born People at Universities - The Software Development Academy by Mattias Wiggberg, Elina Gobena, Matti Kaulio, Richard Glassey, Olle Balter, Dena Hussain, Roberto Guanciale, Philipp Haller

Get full text

Spatiotemporal Patterns of Adaptation-Induced Slow Oscillations in a Whole-Brain Model of Slow-Wave Sleep by Caglar Cakan, Caglar Cakan, Cristiana Dimulescu, Cristiana Dimulescu, Liliia Khakimova, Daniela Obst, Agnes Flöel, Agnes Flöel, Klaus Obermayer, Klaus Obermayer

Get full text

Proceedings of the 2001 ACM SIGPLAN Haskell Workshop

Learning prediction error neurons in a canonical interneuron circuit by Loreen Hertäg, Henning Sprekeler

Get full text