Hieratic

Results: 47



#Item
21Scientific modeling / Computational chemistry / Molecular dynamics / Molecular modelling / Computational physics / Statistical mechanics / Particle

PDF Document

Add to Reading List

Source URL: www.hieratic.eu

Language: English
22Theoretical computer science / Markov processes / Model checkers / Markov models / Probabilistic bisimulation / Markov chain / Bisimulation / Splay tree / Algorithm / PRISM model checker / Markov decision process / Probabilistic CTL

PDF Document

Add to Reading List

Source URL: www.hieratic.eu

Language: English
23

Nishan Kamaleson (University of Birmingham) On-The-Fly Model Reduction Probabilistic model checking is a formal verification technique used to check the correctness of computerised systems exhibiting stochastic behaviour

Add to Reading List

Source URL: www.hieratic.eu

    24Graph theory / Vertex / Graph / Threshold graph / Vertex cover

    Workpackage 2. Invariance Properties of Subsystems Chris Cannings & John Haslegrave ,University of Sheffield, UK. EU Report, 12 months HIERATIC Focus on dynamics of games on graphs building on the

    Add to Reading List

    Source URL: www.hieratic.eu

    Language: English
    25PRISM model checker / Jena / Birmingham / Chalmers

    PDF Document

    Add to Reading List

    Source URL: www.hieratic.eu

    Language: English
    26

    HIERATIC: Birmingham April 2015 KOLBJØRN TUNSTRØM COMPLEX SYSTEMS GROUP Golden shiners: schooling fish in 2D environment

    Add to Reading List

    Source URL: www.hieratic.eu

    Language: English
      27Egyptian languages / Ancient Egyptian language / Languages of Africa / Culture / Language / Languages of Egypt / Writing systems of Africa / Willeke Wendrich / Coptic language / Egyptology / Altgyptisches Wrterbuch / Hieratic

      ICE XI – e-gyptology workshop Summary/wrap-up Vincent Razanajao Archaeology, Archives & Bibliography

      Add to Reading List

      Source URL: www.iae-egyptology.org

      Language: English - Date: 2015-09-21 03:50:03
      28Middle East / Ancient Egyptian language / Egypt / Writing systems of Africa / Languages of Egypt / Papyrus / Demotic / Hieratic / Oxyrhynchus / Egyptian languages / Papyrology / Africa

      Texts and textiles Organic material and fabrics decompose easily so it is extremely rare for ancient textiles and papyri to survive in the archaeological record. Fortunately, the hot and dry climate of Egypt has preserve

      Add to Reading List

      Source URL: www.art-museum.unimelb.edu.au

      Language: English - Date: 2012-06-15 01:10:48
      29Writing systems of Africa / Linguistics / Africa / Ancient languages / Languages of Egypt / Writing in Ancient Egypt / Hieratic / Demotic / Egyptian hieroglyphs / Egyptian languages / Ancient Egyptian language / Ancient Egypt

      Cambridge University Press9 - Middle Egyptian: An Introduction to the Language and Culture of Hieroglyphs: Third Edition, Revised and Reorganized, with a New Analysis of the Verbal System James P. Allen

      Add to Reading List

      Source URL: assets.cambridge.org

      Language: English - Date: 2014-06-02 04:30:28
      30Cursive / Language / Unicode / De / Te / Meroitic alphabet / Hieratic / Writing / Penmanship / Calligraphy

      Meroitic Cursive Range: 109A0–109FF The Unicode Standard, Version 8.0 This file contains an excerpt from the character code tables and list of character names for The Unicode Standard, Version 8.0 Characters in this ch

      Add to Reading List

      Source URL: www.unicode.org

      Language: English - Date: 2015-03-04 15:44:20
      UPDATE