Results 291 to 300 of about 76,107 (347)

Str∔ve and integers

1994
The str∔ve theorem prover is designed to prove theorems about dense linear orders. In this paper, we discuss two extensions of str∔ve to theorems about the integers. We describe a version of str∔ve which proves theorems solely about integers. Also, we describe a version for theorems over two separate linear orders, one dense and one the integers.
openaire   +1 more source

Str+ve $$\subseteq$$ : The Str+ve-based subset prover

1990
Str+ve [7], a prover for inequalities, employs a highly restrictive and successful strategy for implementing the transitivity property of < and the interpolation axiom of the reals. In str+ve, transitivity is carried out by chaining and interpolation by variable elimination.
openaire   +1 more source

Discriminating power of rapidly mutating Y-STRs in deep rooted endogamous pedigrees from Sindhi population of Pakistan.

Legal Medicine, 2018
Rapidly mutating Y-STRs (RM Y-STRs) have been paid much attention in recent years. The 13 RM Y-STRs (DYF387S1, DYF399S1, DYF403S1a/b, DYF404S1, DYS449, DYS518, DYS526I/II, DYS547, DYS570, DYS576, DYS612, DYS626, and DYS627) have been proved to have ...
A. Rakha, Yu Na Oh, Hwan Young Lee, Safdar Hussain, A. Waryah, Atif Adnan, Kyoung-Jin Shin   +6 more
semanticscholar   +1 more source

Development and validation of a novel 133-plex forensic STR panel (52 STRs and 81 Y-STRs) using single-end 400 bp massive parallel sequencing

Zeitschrift für Rechtsmedizin, 2021
Haoliang Fan, Lingxiang Wang, Changhui Liu, Xiaoyu Lu, Xu Xu, K. Ru, Pingming Qiu, Chao Liu, Shaoqing Wen   +8 more
semanticscholar   +1 more source

STR primer concordance study

Forensic Science International, 2001
Over 1500 population database samples comprising African Americans, Caucasians, Hispanics, Native Americans, Chamorros and Filipinos were typed using the PowerPlex 16 and the Profiler Plus/COfiler kits. Except for the D8S1179 locus in Chamorros and Filipinos from Guam, there were eight examples in which a typing difference due to allele dropout was ...
B, Budowle, A, Masibay, S J, Anderson, C, Barna, L, Biega, S, Brenneke, B L, Brown, J, Cramer, G A, DeGroot, D, Douglas, B, Duceman, A, Eastman, R, Giles, J, Hamill, D J, Haase, D W, Janssen, T D, Kupferschmid, T, Lawton, C, Lemire, B, Llewellyn, T, Moretti, J, Neves, C, Palaski, S, Schueler, J, Sgueglia, C, Sprecher, C, Tomsey, D, Yet   +27 more
openaire   +2 more sources

STRs: Ancient Architectures of the Genome beyond the Sequence

Journal of Molecular Neuroscience, 2021
J. Gharesouran, Hassan Hosseinzadeh, S. Ghafouri‐Fard, M. Taheri, M. Rezazadeh   +4 more
semanticscholar   +1 more source

Characterization of 58 STRs and 94 SNPs with the ForenSeq™ DNA signature prep kit in Mexican-Mestizos from the Monterrey city (Northeast, Mexico)

Molecular Biology Reports, 2021
J. A. Aguilar-Velázquez, Miguel Ángel Duran-Salazar, M. F. Córdoba-Mercado, C. E. Coronado-Ávila, O. Salas-Salas, G. Martínez-Cortés, F. Casals, F. Calafell, B. Ramos-González, H. Rangel-Villalobos   +9 more
semanticscholar   +1 more source

An Efficient Dynamic Programming Algorithm for STR-IC-STR-EC-LCS Problem

2016
In this paper, we consider a generalized longest common subsequence problem, in which a constraining sequence of length s must be included as a substring and the other constraining sequence of length t must be included as a subsequence of two main sequences and the length of the result must be maximal.
Daxin Zhu, Yingjie Wu, Xiaodong Wang 0003   +2 more
openaire   +1 more source

STR application in the NTT network

Proceedings Second IEEE Symposium on Computer and Communications, 1997
Summary form only given, as follows. NTT has proposed a hybrid controlled dynamic routing scheme, state- and time-dependent routing (STR). The purpose of STR is to achieve high performance despite unpredictable real-time traffic fluctuations with minimum changes to switching software and operations systems.
openaire   +1 more source

Y Chromosome STR Typing

2004
Because of their unique transmission properties and male specificity, markers located on the nonrecombining region of the Y chromosome (NRY) have become an important tool in forensic investigation. In the past few years, more than 50 polymorphic Y chromosome-specific short tandem repeats (STRs) have been described and a set of 9 loci were selected ...
Leonor, Gusmão, Cíntia, Alves
openaire   +2 more sources