Wu’s Characteristic Set Method for SystemVerilog Assertions Verification by Xinyan Gao, Ning Zhou, Jinzhao Wu, Dakui Li

“…We define a suitable subset of SVAs so that an efficient polynomial modeling mechanism for both circuit descriptions and assertions can be applied. …”
Get full text

Sigmatic plurals in Romance varieties spoken in Italy and their interaction with -i plurals by Leonardo M. Savoia, Benedetta Baldi, M. Rita Manzini

“…In any event, it is specialized for a subset of the morpho-syntactic contexts. The distribution of -i generally involves the D domain, i.e. determiners and clitics. …”
Get full text

L’héroïsme au féminin : réécriture des codes dans Pamphilia to Amphilanthus de Lady Mary Wroth by Pascal Caillet

“…Following Philip Sidney’s manner in Astrophil and Stella, Mary Wroth’s sequence consists in 103 sonnets and songs representing the canzoniere addressed by Pamphilia to her lover Amphilanthus. …”
Get full text

Management of Nematodes and Soil Fertility with Sunn Hemp Cover Crop by Koon-Hui Wang, Robert McSorley

“… Sunn hemp, Crotalaria juncea L. is a rapidly growing crop that is used for fiber production in India and Pakistan. …”
Get full text

Target Positioning with GDOP Assisted Nodes Selection Algorithm in Wireless Sensor Networks by Yunzhou Zhang, Dongfei Wei, Wenyan Fu, Bing Yang

“…The nodes whose contribution value is greater than the threshold will be selected. The anchor nodes subset, which participates in the positioning, will be real-time determined. …”
Get full text

Finite-infinite range inequalities in the complex plane by H. N. Mhaskar

“…We discuss the conditions on ω and σ which ensure the existence of a fixed compact subset K of E with the following property. For any p, 0<P≤∞, there exist positive constants c1, c2 depending only on E, ω, σ and p such that for every integer n≥1 and every polynomial P of degree at most n, ∫E\K|ωnP|pdσ≤c1exp(−c2n)∫K|ωnP|pdσ. …”
Get full text

Matrix Formulation of EISs of Graphs and Its Application to WSN Covering Problems by Yongyi Yan, Jumei Yue, He Deng

“…By introducing a characteristic value of a vertex subset of a graph and using the algebraic representation of pseudological functions, several necessary and sufficient conditions of matrix form are proposed to express the externally independent sets (EISs), minimum externally independent sets (MEISs), and kernels of graphs. …”
Get full text

Tolerance in Kidney Transplantation: What Is on the B Side? by Laura Carreras-Planella, Francesc E. Borràs, Marcella Franquesa

“…In this review we aim to summarize the studies on human Breg and their implication in kidney transplantation and to further discuss the issues surrounding therapeutic applications of this cell subset.…”
Get full text

Source cell-phone identification from recorded speech using non-speech segments by Anshan PEI, Rangding WANG, Diqun YAN

“…Source cell-phone identification has become a hot topic in multimedia forensics.A novel cell-phone identification method was proposed based on the silent segments of recorded speech.Firstly,the silent segments were obtained using adaptive endpoint detection algorithm.Then,the mean of Mel frequency coefficients (MFC) was extracted as the characteristics for device identification.Finally,the CfsSubsetEval evaluation function of WEKA platform was selected according to the best priority (BestFirst) search,and support vector machine (SVM) was used for classification.Twenty-three popular models of the cell-phones were evaluated in the experiment.Experimental results show that the proposed method is feasible and the average recognition rates are 99.23% and 99.00% on the TIMIT database and the CKC-SD database.At the same time,the proposed feature performs was demonstrated better than the MFC features and the Mel frequency cepstrum coefficients (MFCC) features of the speech segments.…”
Get full text

Use of Methadone for Neuropathic Pain by Dwight Moulin

“…Anticonvulsant and antidepressant treatments provide effective analgesia in up to 50% of patients with chronic neuropathic pain (2) and there is a growing body of high-quality evidence that controlled-release opioid analgesics provide substantial pain relief in a further subset of patients (3-6). Even with polypharmacy, this still leaves perhaps 20% to 30% of chronic neuropathic pain sufferers lacking adequate analgesia, and side effects can be problematic. …”
Get full text

Common Fixed Points of Generalized Rational Type Cocyclic Mappings in Multiplicative Metric Spaces by Mujahid Abbas, Manuel De la Sen, Talat Nazir

“…Some common fixed point results of pair of rational contractive types mappings involved in cocyclic representation of a nonempty subset of a multiplicative metric space are also obtained. …”
Get full text

Dimensional Enhancement via Supersymmetry by M. G. Faux, K. M. Iga, G. D. Landweber

“…This is enabled by algebraic criteria, derived, exhibited, and utilized in this paper, which indicate which subset of one-dimensional supersymmetric models describes “shadows” of higher-dimensional models. …”
Get full text

Plant Leaf Recognition through Local Discriminative Tangent Space Alignment by Chuanlei Zhang, Shanwen Zhang, Weidong Fang

“…Manifold learning based dimensionality reduction algorithms have been payed much attention in plant leaf recognition as the algorithms can select a subset of effective and efficient discriminative features in the leaf images. …”
Get full text

Rhythm Samaa by Mazaher Mosffa

“…Rhythm, in Molana's great poetical sonnets, is one of the outstanding stylistic points in Molana's rhetoric and musical poems. …”
Get full text

Süreli Yayınların Değerlendirilmesinde Kullanılan Yöntem ve Teknikler by Kemal Ermiş

“…Akademik çalışmalarda, bilimsel araştırmalarda vb. tüm araştırma faaliyetlerin­de süreli yayınlar en güncel bilgileri vermesi bakımından en fazla kullanılan kay­naklardır. …”
Get full text

KULLANILAN TEKNİKLER AÇISINDAN İNTERNET REKLAMLARI by Nurhan Tosun

“…Bütünleşik pazarlama iletişimi bileşenlerinden doğrudan pazarlamanın iletişim teknolojisindeki güncel tüm imkanları kullandığı internet reklamlarının önemi giderek artmaktadır. …”
Get full text

Too many cooks in the kitchen: HPV driven carcinogenesis – The result of collaboration or competition? by Weimer Kathleen

“…Of the over 200 isotypes of the human virus identified, a subset of these has been characterized as high-risk due to their ability to induce oncogenesis. …”
Get full text

A Multiplayer Pursuit Differential Game on a Closed Convex Set with Integral Constraints by Gafurjan Ibragimov, Nu'man Satimov

“…We study a simple motion pursuit differential game of many pursuers and many evaders on a nonempty convex subset of . In process of the game, all players must not leave the given set. …”
Get full text

The Toll of Vascular Insufficiency: Implications for the Management of Peripheral Arterial Disease by Jun Xu, Ulka Sachdev

“…Peripheral artery disease (PAD) can result in limb loss within six months of diagnosis in a subset of patients who cannot undergo endovascular or surgical revascularization yet continues to maintain a marginal position in cardiovascular research. …”
Get full text

An Insight into the Current Understanding of Status Epilepticus: From Concept to Management by Khouloud Abdulrhman Al-Sofyani

“…Status epilepticus (SE), a subset of epilepsy, represents a debilitating neurological disorder often associated with alarming mortality and morbidity numbers. …”
Get full text