Results 1 - 10 of 37 for General Search
Show only
| 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: 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 |
| 4 |
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 |
| 5 |
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 |
| 6 |
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 |
| 7 |
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 |
| 8 |
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 |
| 9 |
Material Type: Article
|
|
CADAC: A Controlled-Precision Decimal Arithmetic UnitCOHEN, M. S ; HULL, T. E ; HAMACHER, V. CIEEE transactions on computers, 1983-04, Vol.C-32 (4), p.370-377 [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 |
Results 1 - 10 of 37 for General Search
Personalize your results
Refine Search Results
Expand My Results
Show only
Refine My Results
Resource Type
- Articles (35)
- Conference Proceedings (1)
- magazinearticle (1)
-
More options
Subject
- Technology (33)
- Computer Science (28)
- Algorithmics. Computability. Computer Arithmetics (26)
- Software (25)
- Sciences And Techniques Of General Use (21)
- Physical Sciences (18)
- Mathematics, Applied (16)
- Computer Science, Software Engineering (15)
- Computer Science, Theory & Methods (12)
- Engineering (12)
- Engineering, Electrical & Electronic (11)
- Information Retrieval. Graph (11)
- Combinatorics (10)
- Combinatorics. Ordered Structures (10)
-
More options
Creation Date
- Before1995 (3)
- 1995To2001 (4)
- 2002To2004 (4)
- 2005To2009 (15)
- After 2009 (12)
-
More options
Database/Library
- Science Citation Index Expanded (Web of Science) (37)
- IEEE Electronic Library (IEL) Journals (12)
- Gale Academic OneFile (11)
- ANTE: Abstracts in New Technology & Engineering (11)
- ACM Digital Library Complete (10)
- Engineered Materials Abstracts (9)
- Materials Business File (9)
- Materials Research Database (9)
- Aluminium Industry Abstracts (9)
- METADEX (9)
- ScienceDirect Journals (8)
- EZB Free E-Journals (6)
- IngentaConnect Journals (5)
- EBSCOhost Business Source Complete (4)
- EBSCOhost Computers and Applied Sciences Complete (3)
- EBSCOhost Academic Search Premier (3)
- BACON - Mir@bel - GLOBAL_LIBRESACCES (2)
- LOCUS - SIAM's Online Journal Archive (2)
- Jstor Complete Legacy (2)
-
More options
Journal Title
- Acm Transactions On Mathematical Software (10)
- Ieee Transaction On Neural Networks And Learning Systems (5)
- Theoretical Computer Science (4)
- Ieee Transactions On Neural Networks (3)
- Computer Aided Geometric Design (3)
- Siam Journal On Control And Optimization (2)
- Ieee Control Systems (2)
- Ieee Control Systems Magazine (2)
- Ieee Transactions On Computers (1)
- Ieee Trans. Comput.; (1)
-
More options
Home Page
RSS
Feed
Policies
Contact Us-
Implemented by:
Social Network Logos: 