Search Results

Discrete Mathematics (RuFiDiM 14).

• Authors : Karhumäki, J. ; Mazalov, V. ; Matiyasevich, Yu.

• Source: Fundamenta Informaticae. 2016, Vol. 145 Issue 3, pi-ii. 2p.

Record details

A Linear Bound on the k-rendezvous Time for Primitive Sets of NZ Matrices

• Authors : Catalano, Costanza; Azfar, Umer; Charlier, Ludovic ...

Subjects: Computational Theory and Mathematics; Information Systems; Algebra and Number Theory

• Source: Fundamenta Informaticae, Vol. 180, no.4, p. 289-314 (2021)

Record details

Logic-based verification of the distributed dining philosophers protocol

• Authors : Delzanno, Giorgio; Delzanno, Giorgio

Subjects: Theoretical Computer Science; Algebra and Number Theory; Information System

Record details

On fixed points of the Burrows-Wheeler transform

• Authors : Mantaci, Sabrina; Restivo, Antonio; Rosone, Giovanna ...

Subjects: Burrows-Wheeler Transform; Fixed Point; Permutation

Record details

A cognitive model of social preferences in group interactions

• Authors : Matthias Rauterberg; Emilia I. Barakova; RD Roman Gorbunov ...

Subjects: Cognitive model; subjective factors in decision making; Computer science

• Source: Integrated Computer-Aided Engineering, 26(2), 185-196. IOS Press

Record details

SyLVaaS: System level formal verification as a service

• Authors : MANCINI, Toni; MARI, FEDERICO; MASSINI, Annalisa ...

Subjects: Distributed Multi-Core Hardware in the Loop Simulation; Hybrid System; Model Checking

Record details

Adding Data Registers to Parameterized Networks with Broadcast

• Authors : DELZANNO, GIORGIO; SANGNIER, ARNAUD; TRAVERSO, RICCARDO ...

Subjects: Theoretical Computer Science; Algebra and Number Theory; Information System

Record details

Geo-AI to aid disaster response by memory-augmented deep reservoir computing

• Authors : Konstantinos Demertzis; Lazaros Iliadis; Elias Pimenidis

Subjects: Synthetic aperture radar; Computer science; Machine vision

Record details

Leximin Multiple Objective DCOPs on Factor Graphs for Preferences of Agents

• Authors : Marius Silaghi; Hiroshi Matsuo; Toshihiro Matsui

Subjects: Mathematical optimization; Algebra and Number Theory; Computational Theory and Mathematics

• Source: Fundamenta Informaticae. 158(1-3):63-91

Record details

Network models in neuroimaging: a survey of multimodal applications

• Authors : Mara Cercignani; Matteo Mancini

Subjects: 0301 basic medicine; Cognitive science; Algebra and Number Theory

Record details