Vedanatomisk analys av fyra prover från segelfartyget Pommern på Ålands sjöfartsmuseum, Finland

Vedanatomisk analys av två kolprover från utgrävningen vid Uppåkra, två km söder om Lunds stad

Dendrokronologisk analys av en violin i Karlstad

Dendrokronologisk analys av subrecent ek i Bolmenområdet, västra Småland

Dendrokronologisk analys av arkeologiska fynd vid Gruvbron 2 i Falun, Dalarna

Dendrokronologisk analys av beskärningstillfällen av ek från Hälleforsnäs - avverkad 2003

Preliminär dendrokronologisk analys av "Joskärvraket II", Hangö, Finland

Dendrokronologisk analys av prover från kanaljorden, Motala - med komplettering av C14-analys

Dendrokronologisk analys av fynd vid arkeologisk undersökning från "Rom 3336 vraae agre" Själland

Dendrokronologisk analys av arkeologiska fynd vid Nya Lödöse, Göteborg, SHMM 2015:190

Dendrokronologisk analys av arkeologiska fynd vid Nya Lödöse, Göteborg, A2017:005

Dendrokronologisk analys av arkeologiska fynd RAÄ 216

Dendrokronologisk analys av huvudbyggnaden på Danshyttan 1:15 i norra Lindesbergs kommun

Dendrokronologisk analys av subrecenta ekar på Möllevången, Farstorp, nordvästra Skåne

Dendrokronologisk analys av arkeologiska fynd vid Västra Falun, RAÄ Falun 68:1 - komplettering 1

Dendrokronologisk analys av arkeologiska fynd vid hyttlämning RAÄ Torsång 2:1, Dalarna

Dendrokronologisk analys av arkeologiska fynd vid Stadsgården, Slussen, Stockholm

Dendrokronologisk analys av arkeologiska fynd vid Slussen i Stockholm

Adding Dual Variables to Algebraic Reasoning for Gate-Level Multiplier Verification

Algebraic reasoning has proven to be one of the most effective approaches for verifying gate-level integer mul-tipliers, but it struggles with certain components, necessitating the complementary use of SAT solvers. For this reason validation certificates require proofs in two different formats. Approaches to unify the certificates are not scalable, meaning that the validation results can only be t

High nitrogen-fixing rates associated with ground-covering mosses in a tropical mountain cloud forest will decrease drastically in a future climate

Tropical mountain cloud forests (TMCF) harbour a high bryophyte (mosses and liverworts) biomass and diversity. Furthermore, the high air humidity makes these forests well suited for bryophyte-associated nitrogen (N2) fixation by cyanobacteria, providing a potentially important source of N input to the ecosystem. However, few studies have assessed bryophyte-associated N input in these ecosystems, a