Quick search
Advanced search in
Research outcomes
Field to searchTerm
Add rule
Filters (2)
The following results are related to Digital Humanities and Cultural Heritage. Are you interested to view more results? Visit OpenAIRE - Explore.
Download Results
3 research outcomes, page 1 of 1
  • other research product . 2017
    Open Access Czech
    Kocour, Matěj;
    Publisher: Západočeská univerzita v Plzni
    Country: Czech Republic
    Project: NWO | Towards inline 2D surface... (2300188781)

    Práce se věnuje vzniku, průběhu a důsledkům čtyř posloupných válek v Africe na Zlatonosném pobřeží. Ve válkách se zajímavě kloubily zájmy afrických království a obchodní rivalita evropských států v regionu, jmenovitě Anglie a Spojených provincií. Práce války popisuje hl...

  • publication . Article . Other literature type . 2017
    Open Access English
    Moretti, M.; Dias, Andre T. C.; de Bello, Francesco; Altermatt, F.; Chown, S.L.; Chown, S.L.; Azcárate, Francisco M.; Bell, J.R.; Fournier, B.; Hedde, M.; ...
    Publisher: HAL CCSD
    Countries: Netherlands, Netherlands, United Kingdom, France, Spain, Switzerland
    Project: SNSF | Festkörperphysik und -che... (2000-053789), SNSF | Bridging biodiversity and... (PP00P3_150698), NWO | Evolutionary loss of trai... (2300175957), SNSF | Function and regulation o... (PBSKP3_140101)

    Trait-based approaches are increasingly being used to test mechanisms underlying species assemblages and biotic interactions across a wide range of organisms including terrestrial arthropods and to investigate consequences for ecosystem processes. Such an approach relie...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2015
    Open Access
    Kaliszyk, C.; Urban, J.; Vyskočil, J.; Urban, C.; Zhang, X.;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Country: Netherlands
    Project: NWO | Knowledge-based Automated... (2300175473), FWF | Interactive Proof: Proof ... (P 26201)

    One of the first big hurdles that mathematicians encounter when considering writing formal proofs is the necessity to get acquainted with the formal terminology and the parsing mechanisms used in the large ITP libraries. This includes the large number of formal symbols,...

    Add to ORCIDorcid
3 research outcomes, page 1 of 1