Results 31 to 40 of about 16,689 (272)
Inference of termination conditions for numerical loops in Prolog
We present a new approach to termination analysis of numerical computations in logic programs. Traditional approaches fail to analyse them due to non well-foundedness of the integers. We present a technique that allows overcoming these difficulties.
Alexander Serebrenik +5 more
core +4 more sources
The authors present the results of an archaeological investigation in a Middle Byzantine fortress, settlement and necropolis, overlapped by the present-day village of Nufăru, Tulcea County.
Damian, O., Vasile, M., Samson, A.
doaj +1 more source
УКРАШЕНИЯ ИЗ КУРГАНОВ НАХЧЫВАНА ЭПОХИПОЗДНЕЙБРОНЗЫ—РАННЕГО ЖЕЛЕЗА (по материалам кургана № 42 некрополя Пловдаг I) [PDF]
Археологический комплекс Пловдаграсположен на пологих холмах одноименной горы, на левом берегу реки Гиланчай. Комплекс состоит из трёх некрополей и двух поселений. Подавляющее большинство погребальных памятников составляют курганы.
Байрамова, Г.
doaj +1 more source
Yarkovskoe 1 hillfort – monument of the XII–XIV centuries in the Tobolsk Irtysh River region
Known archaeological sources indicate migration the groups of the Urals population into Western Siberia during the XII–XIV centuries. However, this process continues to be poorly studied, which can be partially corrected by referring to the ...
Adamov Aleksander A., Balyunov Igor V.
doaj +1 more source
Stone and Osseous Adornments in the Mesolithic and Early Neolithic of the Iron Gates
This paper is focused on the various kinds of personal adornments that were used during the Mesolithic and Early Neolithic in the Iron Gates region (southwest Romania).
Mărgărit Monica +2 more
doaj +1 more source
A Prehispanic Maya Pit Oven? Microanalysis of Fired Clay Balls from the Puuc Region, Yucatán, Mexico [PDF]
This is a postprint (author's final draft) version of an article published in Journal of Archaeological Science in 2013. The final version of this article may be found at http://dx.doi.org/10.1016/j.jas.2012.10.014 (login may be required).
Berna, Francesco +2 more
core +2 more sources
Metal‐covalent organic frameworks (MCOFs) are novel porous materials that exhibit the advantages of covalent and metal‐organic frameworks. However, it is extremely difficult to resolve their atomic structure and better understand their structure‐properties relation. This work utilizes a synergistic combination of advanced microscopy, spectroscopic, and
Seán Hennessey +11 more
wiley +1 more source
Lessons from Love-Locks: The archaeology of a contemporary assemblage [PDF]
This document is the Accepted Manuscript version. The final, definitive version of this paper has been published in Journal of Material Culture, November 2017, published by SAGE Publishing, All rights reserved.Loss of context is a challenge, if not the ...
Bord J +31 more
core +2 more sources
This study designs a novel mRNA‐LNP vaccine targeting VZV glycoprotein E (gE) for herpes zoster via an AI‐assisted pipeline. Validated in mice and rhesus macaques, the mRNA‐LNP vaccine shows strong humoral and cellular immune responses, with CD4+ T‐cell responses more effective and durable than Shingrix, offering a promising prophylactic option ...
Kai Dong +6 more
wiley +1 more source
Contribuţii la studiul pieselor de port şi podoabă din mediul cultural Ferigile. Mărgelele de caolin descoperite în necropola hallstattiană de la Valea Stânii (judeţul Argeş) [PDF]
Recent excavations in the necropolis at Valea Stânii led to the attestation of the kaolin little beads as grave goods (in the tumulus No. 1, 4 and 10), for the first time in the north-Thracian culture at the end of the Early Iron Age (Ferigile group ...
Dragoş MĂNDESCU +3 more
doaj

