Discover open access scientific publications

Search, annotate, share and cite publications

Publications in Theoretical Computer Science

Overview of the CLEF eHealth Evaluation Lab 2019

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Fully Deterministic Micro–macro Simulation of Complex Flows Involving Reversible Network Fluid Models

Mathematics and Computers in Simulation
Numerical AnalysisApplied MathematicsSimulationComputer ScienceModelingTheoretical Computer Science
2010English

Virtual Black-Box Obfuscation for All Circuits via Generic Graded Encoding

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Improving Probabilistic Image Registration via Reinforcement Learning and Uncertainty Evaluation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Adaptive User-Centered Security

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

An Analysis of Tensor Models for Learning on Structured Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Faster Hashing to ${\Mathbb G}_2$

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Improving All-Reduce Collective Operations for Imbalanced Process Arrival Patterns

Journal of Supercomputing
HardwareInformation SystemsTheoretical Computer ScienceArchitectureSoftware
2018English

Applying Design by Contract to Feature-Oriented Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Compositional Entailment Checking for a Fragment of Separation Logic

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