Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Article
|
An assertion-based proof system for multithreaded JavaÁbrahám, Erika ; de Boer, Frank S. ; de Roever, Willem-Paul ; Steffen, MartinTheoretical computer science, 2005-02, Vol.331 (2), p.251-290 [Peer Reviewed Journal]Amsterdam: Elsevier B.VFull text available |
|
2 |
Material Type: Article
|
An implicitization algorithm with fewer variablesAlonso, Cesar ; Gutierrez, Jaime ; Recio, TomasComputer aided geometric design, 1995-05, Vol.12 (3), p.251-258 [Peer Reviewed Journal]Amsterdam: Elsevier B.VFull text available |
|
3 |
Material Type: Article
|
Backtrackless Walks on a GraphAziz, F. ; Wilson, R. C. ; Hancock, E. R.IEEE transaction on neural networks and learning systems, 2013-06, Vol.24 (6), p.977-989New York, NY: IEEEFull text available |
|
4 |
Material Type: magazinearticle
|
Solving large-scale control problemsBenner, P.IEEE Control Systems Magazine, 2004-02, Vol.24 (1), p.44-59 [Peer Reviewed Journal]New York, NY: IEEEFull text available |
|
5 |
Material Type: Article
|
Algorithm 875 : DSDP5-Software for Semidefinite ProgrammingBENSON, Steven J ; YINYU YEACM transactions on mathematical software, 2008-05, Vol.34 (3), p.1-20 [Peer Reviewed Journal]New York, NY: Association for Computing MachineryFull text available |
|
6 |
Material Type: Article
|
Discriminative Graph Embedding for Label PropagationCanh Hao Nguyen ; Mamitsuka, H.IEEE transactions on neural networks, 2011-09, Vol.22 (9), p.1395-1405New York, NY: IEEEFull text available |
|
7 |
Material Type: Article
|
A spectral characterization of the Delaunay triangulationChen, Renjie ; Xu, Yin ; Gotsman, Craig ; Liu, LigangComputer aided geometric design, 2010-05, Vol.27 (4), p.295-300 [Peer Reviewed Journal]Kidlington: Elsevier B.VFull text available |
|
8 |
Material Type: Article
|
Algorithm 872 : Parallel 2D Constrained Delaunay Mesh GenerationCHERNIKOV, Andrey N ; CHRISOCHOIDES, Nikos PACM transactions on mathematical software, 2008, Vol.34 (1), p.1-20 [Peer Reviewed Journal]New York, NY: Association for Computing MachineryFull text available |
|
9 |
Material Type: Article
|
Discrete-event simulation of fluid stochastic Petri netsCiardo, G. ; Nicol, D.M. ; Trivedi, K.S.IEEE transactions on software engineering, 1999-03, Vol.25 (2), p.207-217 [Peer Reviewed Journal]New York, NY: IEEEFull text available |
|
10 |
Material Type: Article
|
ANYTIME RELIABLE TRANSMISSION OF REAL-VALUED INFORMATION THROUGH DIGITAL NOISY CHANNELSCOMO, Giacomo ; FAGNANI, Fabio ; ZAMPIERI, SandroSIAM journal on control and optimization, 2010, Vol.48 (6), p.3903-3924 [Peer Reviewed Journal]Philadelphia, PA: Society for Industrial and Applied MathematicsFull text available |