Results 121 to 130 of about 4,187 (206)
Analyzing Array Manipulating Programs by Program Transformation [PDF]
We explore a transformational approach to the problem of verifying simple array-manipulating programs. Traditionally, verification of such programs requires intricate analysis machinery to reason with universally quantified statements about symbolic ...
Cornish, J. Robert M. +5 more
core +1 more source
Horses in Lithuania in the Late Roman-Medieval Period (3rd-14th C AD) Burial Sites: Updates on Size, Age and Dating. [PDF]
Animals (Basel), 2022 Piličiauskienė G +6 more
europepmc +1 more source
Ancient genomes reveal Avar-Hungarian transformations in the 9th-10th centuries CE Carpathian Basin. [PDF]
Sci AdvGerber D +14 more
europepmc +1 more source
Uncovering the Genetic Structure of the Sekler Population in Transylvania Through Genome-Wide Autosomal Data. [PDF]
Genes (Basel)Szabó A +6 more
europepmc +1 more source
High Coverage Mitogenomes and Y-Chromosomal Typing Reveal Ancient Lineages in the Modern-Day Székely Population in Romania. [PDF]
Genes (Basel), 2023 Borbély N +9 more
europepmc +1 more source
Comparative genomics sheds light on mammalian and avian gene regulation and phenotypic evolution. [PDF]
Nat CommunTrigila AP +5 more
europepmc +1 more source