Search Results - "computer science"

Refine Results
  1. Cover Image

    Feasability of Learning Weighted Automata on a Semiring

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  2. Cover Image

    MacroSwarm: A Field-based Compositional Framework for Swarm Programming

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  3. Cover Image

    Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  4. Cover Image

    Synthesis with Privacy Against an Observer

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  5. Cover Image

    A Categorical Treatment of Open Linear Systems

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  6. Cover Image

    Boolean basis, formula size, and number of modal operators

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  7. Cover Image

    Learning Concepts Definable in First-Order Logic with Counting

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  8. Cover Image

    Timeout Asynchronous Session Types: Safe Asynchronous Mixed-Choice For Timed Interactions

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  9. Cover Image

    The Church Synthesis Problem over Continuous Time

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  10. Cover Image

    Rewriting techniques for relative coherence

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  11. Cover Image

    A Monoidal View on Fixpoint Checks

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  12. Cover Image

    A Curry-Howard Correspondence for Linear, Reversible Computation

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  13. Cover Image

    The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  14. Cover Image

    Automata Linear Dynamic Logic on Finite Traces

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  15. Cover Image

    A Behavioral Theory for Distributed Systems with Weak Recovery

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  16. Cover Image

    Hydra Battles and AC Termination

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  17. Cover Image

    Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  18. Cover Image

    Algorithms for Markov Binomial Chains

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  19. Cover Image

    On first-order transductions of classes of graphs

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:
  20. Cover Image

    Fractals from Regular Behaviours

    Subjects: “…Computer Science & IT…”
    Get full text
    Full Text Available
    Access Full Text at Repository
    Online Article RSS Article
    Save to List
    Saved in:

Search Tools: