Results 11 to 20 of about 948,533 (251)
Analysing and Comparing Encodability Criteria [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 In Proceedings EXPRESS/SOS 2015, arXiv:1508.06347. The Isabelle/HOL source files, and a full proof document, are available in the Archive of Formal Proofs, at http://afp.sourceforge.net/entries/Encodability_Process_Calculi ...
Van Glabbeek, Rob +3 more
openaire +4 more sources
The Rolling Shear Influence on the Out-of-Plane Behavior of CLT Panels: A Comparative Analysis
Buildings, 2020 This paper deals with the influence of the rolling shear deformation on the flexural behavior of CLT (Cross-Laminated Timber) panels. The morphological configuration of the panels, which consist of orthogonal overlapped layers of boards, led to a ...
Antonio Sandoli, Bruno Calderoni
doaj +1 more source
Animals, 2022 Cylicocyclus elongatus (C. elongatus) is one of the species in Cylicocyclus, subfamily Cyathostominae, but its taxonomic status in Cylicocyclus is controversial.
Yuan Gao +3 more
doaj +1 more source
Frontiers in Plant Science, 2023 IntroductionThe well-known eastern Asian (EA) and eastern North American (ENA) floristic disjunction provides a unique system for biogeographic and evolutionary studies.
Wenbin Zhou +6 more
doaj +1 more source
The complete mitogenome of ‘Fujian’: an important Saccharina japonica cultivar of South China
Mitochondrial DNA. Part B. Resources, 2018 In this work, complete mitogenome of Saccharina japonica cultivar ‘Fujian’ was reported. It had circular mapping organization with the length of 37,638 bp and encoded 66 genes including three rRNAs, 25 tRNAs, 35 known proteins, and three ORFs.
Jing Zhang, Na Liu, Tao Liu
doaj +1 more source
Comparison of magnesium determination methods on Hungarian soils
Soil and Water Research, 2020 Magnesium is one of the most important nutrient elements. Soils are tested for magnesium in many countries with several extractants. Each country has its own validated methods, best-suited for its soils.
Viktoria Vona +7 more
doaj +1 more source
Apportionment ``Population paradox'' and the Paradox of population influence [PDF]
Computer Science Journal of Moldova, 2020 A new approach is grounded with respect to the population paradox (PPr). Further on, the paradox of population influence (PPi) is proposed. It is proven that Hamilton method is immune to the PPi, and that d'Hondt, Sainte-Lagu\"{e}, Huntington-Hill and ...
Ion Bolun
doaj
Tracking the Route Walked by Missing Persons and Fugitives: A Geoforensics Casework (Italy)
Geosciences, 2023 Criminal investigations aiming to track the route walked by missing persons and fugitives (MPFs) usually involve intelligence analysts, military planners, experts in mobile forensics, traditional investigative methods, and sniffer dog handlers ...
Roberta Somma
doaj +1 more source
STEPP: Socialinė Teorija, Empirija, Politika ir Praktika, 2022 Juvenile delinquency is a universal phenomenon inherent in the process of biological and social maturation characterized by high latency. Although juvenile delinquent behaviour, due to its spontaneity and recklessness, is easily noticeable and not ...
Gintautas Sakalauskas
doaj +1 more source
treedata.table: a wrapper for data.table that enables fast manipulation of large phylogenetic trees matched to data [PDF]
PeerJ, 2021 The number of terminals in phylogenetic trees has significantly increased over the last decade. This trend reflects recent advances in next-generation sequencing, accessibility of public data repositories, and the increased use of phylogenies in many ...
Cristian Román Palacios +2 more
doaj +2 more sources