Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach by Favio Ezequiel Miranda-Perea, Lourdes del Carmen González-Huesca

“…Electronic Proceedings in Theoretical Computer Science…”
Get full text

The Many Faces of Alternating-Sign Matrices by James Propp

“…Discrete Mathematics & Theoretical Computer Science…”
Get full text

Optimal Sequential and Parallel Algorithms for Cut Vertices and Bridges on Trapezoid Graphs by Hon-Chan Chen

“…Discrete Mathematics & Theoretical Computer Science…”
Get full text

A solution to the learning dilemma for recurrent networks of spiking neurons by Guillaume Bellec, Franz Scherr, Anand Subramoney, Elias Hajek, Darjan Salaj, Robert Legenstein, Wolfgang Maass

Get full text

Combining data and theory for derivable scientific discovery with AI-Descartes by Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao Goncalves, Kenneth L. Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh

Get full text

Spike frequency adaptation supports network computations on temporally dispersed information by Darjan Salaj, Anand Subramoney, Ceca Kraisnikovic, Guillaume Bellec, Robert Legenstein, Wolfgang Maass

Get full text

Fast learning without synaptic plasticity in spiking neural networks by Anand Subramoney, Guillaume Bellec, Franz Scherr, Robert Legenstein, Wolfgang Maass

Get full text

A Hippocampal Model for Behavioral Time Acquisition and Fast Bidirectional Replay of Spatio-Temporal Memory Sequences by Marcelo Matheus Gauy, Johannes Lengler, Hafsteinn Einarsson, Florian Meier, Felix Weissenberger, Mehmet Fatih Yanik, Angelika Steger

Get full text

Incremental Construction of Motorcycle Graphs by Franz Aurenhammer, Christoph Ladurner, Michael Steinkogler

Get full text

A Model of Fast Hebbian Spike Latency Normalization by Hafsteinn Einarsson, Marcelo M. Gauy, Johannes Lengler, Angelika Steger, Angelika Steger

Get full text

Embodied Synaptic Plasticity With Online Reinforcement Learning by Jacques Kaiser, Michael Hoff, Michael Hoff, Andreas Konle, J. Camilo Vasquez Tieck, David Kappel, David Kappel, David Kappel, Daniel Reichard, Anand Subramoney, Robert Legenstein, Arne Roennau, Wolfgang Maass, Rüdiger Dillmann

Get full text

Improving the detection of sleep slow oscillations in electroencephalographic data by Cristiana Dimulescu, Cristiana Dimulescu, Leonhard Donle, Caglar Cakan, Caglar Cakan, Thomas Goerttler, Lilia Khakimova, Julia Ladenbauer, Agnes Flöel, Agnes Flöel, Klaus Obermayer, Klaus Obermayer

Get full text

REINFORCED ENCODING FOR PLANNING AS SAT by Tomáš Balyo, Roman Barták, Otakar Trunda

Get full text

On the number of inductively minimal geometries by Cara, Philippe, Lehman, Serge, Pasechnik, Dmitrii V.

Get full text
Get full text

Working With Environmental Noise and Noise-Cancelation: A Workload Assessment With EEG and Subjective Measures by Kerstin Pieper, Robert P. Spang, Pablo Prietz, Sebastian Möller, Sebastian Möller, Erkki Paajanen, Markus Vaalgamaa, Jan-Niklas Voigt-Antons, Jan-Niklas Voigt-Antons

Get full text

Proximity Effect Aware Detailed Placement in Electron Beam Lithography by Chen Yuhang, Huang Zhipeng, Chen Xiongfeng, Chen Jianli, Zhu Wenxing

Get full text

Exploring global and local processes underlying alterations in resting-state functional connectivity and dynamics in schizophrenia by Christoph Metzner, Christoph Metzner, Christoph Metzner, Cristiana Dimulescu, Cristiana Dimulescu, Fabian Kamp, Fabian Kamp, Fabian Kamp, Sophie Fromm, Sophie Fromm, Peter J. Uhlhaas, Peter J. Uhlhaas, Klaus Obermayer, Klaus Obermayer

Get full text

Secure sets and their expansion in cubic graphs by Jesse-Józefczyk Katarzyna, Sidorowicz Elżbieta

Get full text

On coresets for support vector machines by Tukan, Murad, Baykal, Cenk, Feldman, Dan, Rus, Daniela

Get full text

SYMMETRIC AND ASYMMETRIC RAMSEY PROPERTIES IN RANDOM HYPERGRAPHS by LUCA GUGELMANN, RAJKO NENADOV, YURY PERSON, NEMANJA ŠKORIĆ, ANGELIKA STEGER, HENNING THOMAS

Get full text