Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Understanding Process Behaviours in a Large Insurance Company in Australia: A Case Study

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Biomechanically Constrained Groupwise Statistical Shape Model to Ultrasound Registration of the Lumbar Spine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Slow Abstraction via Priority

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automatic Flow Analysis for Event-B

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Speech Enhancement With LSTM Recurrent Neural Networks and Its Application to Noise-Robust ASR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

APRIL: Active Preference Learning-Based Reinforcement Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Beyond Subterm-Convergent Equational Theories in Automated Verification of Stateful Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Is There a Best Quality Metric for Graph Clusters?

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Trading Off Subtask Dispersion and Response Time in Split-Merge Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Impact of Consistency on System Latency in Fault Tolerant Internet Computing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy