Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Robust Abdominal Organ Segmentation Using Regional Convolutional Neural Networks

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Unlabeled Data and Multiple Views

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Learning Graph Quantization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

VyPR2: A Framework for Runtime Verification of Python Web Services

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Formalization of the Coach Problem

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Synthesizing Quantum Circuits via Numerical Optimization

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Practical Neurophysiological Analysis of Readability as a Usability Dimension

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Analysis of the IBM CCA Security API Protocols in Maude-Npa

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Towards Standardization of Retinal Vascular Measurements: On the Effect of Image Centering

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Semisimple Synchronizing Automata and the Wedderburn-Artin Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy