Sökresultat
Filtrera
Filtyp
Din sökning på "*" gav 541487 sökträffar
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