Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications in Theoretical Computer Science
NRCL - A Model Building Approach to the Bernays-Schönfinkel Fragment
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Sorted Semantic Framework for Applied Process Calculi (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Effective Composition of Mappings for Matching Biomedical Ontologies
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Entropic Perturbation Approach to TV-Minimization for Limited-Data Tomography
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Credal Sets Approximation by Lower Probabilities: Application to Credal Networks
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Controllers for the Verification of Communicating Multi-Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Effects of Respiratory Liver Motion on Heating for Gated and Model-Based Motion-Compensated High-Intensity Focused Ultrasound Ablation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Biomedical Images Classification by Universal Nearest Neighbours Classifier Using Posterior Probability
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Automata for Analysing Service Contracts
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Haptic Human-Human Interaction Through a Compliant Connection Does Not Improve Motor Learning in a Force Field
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
‹
440
441
442
443
444
445
446
›
