JLMS
2016
10 years 27 days ago
2016
Let Γ be a nonelementary discrete subgroup of SU(n, 1) or Sp(n, 1). We show that if the trace field of Γ is contained in R, Γ preserves a totally geodesic submanifold of consta...
JITS
2016
10 years 27 days ago
2016
Given the current connected vehicles program in the United States, as well as other similar initiatives in vehicular networking, it is highly likely that vehicles will soon wirele...
JIRS
2016
10 years 27 days ago
2016
JIRS
2016
10 years 27 days ago
2016
— The automatic part feeding is one of the most crucial task in modern assembly lines. Such a task consists in the separation of parts delivered in bulk and their presentation in...
JIRS
2016
10 years 27 days ago
2016
—We study the problem of optimally coordinating multiple fixed-wing UAVs to perform vision-based target tracking, which entails that the UAVs are tasked with gathering the best ...
JIRS
2016
10 years 27 days ago
2016
End-of-life disassembly has developed into a major research area within the sustainability paradigm, resulting in the emergence of several algorithms and structures proposing heuri...
JIP
2016
10 years 27 days ago
2016
: We design a concurrent separation logic for GPGPU, namely GPUCSL, and prove its soundness by using Coq. GPUCSL is based on a CSL proposed by Blom et al., which is for automatic v...
JIM
2016
10 years 27 days ago
2016
JIM
2016
10 years 27 days ago
2016
JIFS
2016
10 years 27 days ago
2016
A notion of Quadripartitioned Single Valued Neutrosophic Sets (QSVNS) is introduced and a theoretical study on various set-theoretic operations on them has been carried out. The de...