Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Computer Science

Completeness and Decidability Results for First-Order Clauses With Indices

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Gestural Attributions as Semantics in User Interface Sound Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Distributed Tree Decomposition With Privacy

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Hemodialysis Machine in Hybrid Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Head Motion Analysis and Synthesis Over Different Tasks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

High Performance Checksum Computation for Fault-Tolerant MPI Over Infiniband

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Push-Down Automata With Gap-Order Constraints

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Evaluation of a Real-Time Hybrid Three-Dimensional Echo and X-Ray Imaging System for Guidance of Cardiac Catheterisation Procedures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Weakly Supervised Brain Lesion Segmentation via Attentional Representation Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

BrainHex: Preliminary Results From a Neurobiological Gamer Typology Survey

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy