This PowerShell module contains cmdlets to query instances of Visual Studio 2017 and newer. It also serves as a more useful sample of using the Setup Configuration APIs than the previously published ...
Abstract: In this paper, the problem of blind equalization of constant modulus (CM) signals is formulated within the support vector regression (SVR) framework. The quadratic inequalities derived from ...
Abstract: Unlike the many soft computing applications where it suffices to achieve a "good approximation most of the time," a control system must be stable all of the time. As such, if one desires to ...
VCC is a mechanical verifier for concurrent C programs. VCC takes a C program, annotated with function specifications, data invariants, loop invariants, and ghost code, and tries to prove these ...
Department of Chemistry, Duke University, Durham, North Carolina 27708, United States *Department of Chemistry, Duke University, 124 Science Drive, Box 90354, Durham, NC 27708, United States. E-mail: ...
Aligned carbon nanotube films promise the unusual combination of high thermal conductivity and mechanical compliance. Here, the mechanical compliance of single-walled nanotube films has been measured ...
The ability of the atomic force microscope to measure forces with subnanonewton sensitivity at nanometer-scale lateral resolutions has led to its use in the mechanical characterization of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results