Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book Chapter
|
Gaussian Processes in Machine LearningAdvanced Lectures on Machine Learning, 2004, p.63-71 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540231226 ;ISBN: 3540231226 ;EISSN: 1611-3349 ;EISBN: 9783540286509 ;EISBN: 3540286500 ;DOI: 10.1007/978-3-540-28650-9_4Full text available |
|
2 |
Material Type: Book Chapter
|
VPR: a new packing, placement and routing tool for FPGA researchField-Programmable Logic and Applications, 2005, p.213-222 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1997 ;1997 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540634657 ;ISBN: 9783540634652 ;EISSN: 1611-3349 ;EISBN: 9783540695578 ;EISBN: 3540695575 ;DOI: 10.1007/3-540-63465-7_226Full text available |
|
3 |
Material Type: Book Chapter
|
A Tutorial on UppaalFormal Methods for the Design of Real-Time Systems, 2004, p.200-236 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540230687 ;ISBN: 3540230688 ;EISSN: 1611-3349 ;EISBN: 3540300805 ;EISBN: 9783540300809 ;DOI: 10.1007/978-3-540-30080-9_7Full text available |
|
4 |
Material Type: Book Chapter
|
Applying Support Vector Machines to Imbalanced DatasetsLecture notes in computer science, 2004, p.39-50 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540231059 ;ISBN: 3540231056 ;EISSN: 1611-3349 ;EISBN: 3540301151 ;EISBN: 9783540301158 ;DOI: 10.1007/978-3-540-30115-8_7Full text available |
|
5 |
Material Type: Book Chapter
|
The Enron Corpus: A New Dataset for Email Classification ResearchLecture notes in computer science, 2004, p.217-226 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540231059 ;ISBN: 3540231056 ;EISSN: 1611-3349 ;EISBN: 3540301151 ;EISBN: 9783540301158 ;DOI: 10.1007/978-3-540-30115-8_22Full text available |
|
6 |
Material Type: Book Chapter
|
Open MPI: Goals, Concept, and Design of a Next Generation MPI ImplementationLecture notes in computer science, 2004, p.97-104 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540231633 ;ISBN: 9783540231639 ;EISSN: 1611-3349 ;EISBN: 3540302182 ;EISBN: 9783540302186 ;DOI: 10.1007/978-3-540-30218-6_19Full text available |
|
7 |
Material Type: Book Chapter
|
Activity Recognition from User-Annotated Acceleration DataLecture notes in computer science, 2004, p.1-17 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540218357 ;ISBN: 3540218351 ;EISSN: 1611-3349 ;EISBN: 3540246460 ;EISBN: 9783540246466 ;DOI: 10.1007/978-3-540-24646-6_1Full text available |
|
8 |
Material Type: Book Chapter
|
Aggregate and Verifiably Encrypted Signatures from Bilinear MapsAdvances in Cryptology — EUROCRYPT 2003, 2003, p.416-432 [Peer Reviewed Journal]International Association for Cryptologic Research 2003 ;2003 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540140395 ;ISBN: 9783540140399 ;EISSN: 1611-3349 ;EISBN: 3540392009 ;EISBN: 9783540392002 ;DOI: 10.1007/3-540-39200-9_26Full text available |
|
9 |
Material Type: Book Chapter
|
Public Key Encryption with Keyword SearchAdvances in Cryptology - EUROCRYPT 2004, 2004, p.506-522 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540219354 ;ISBN: 3540219358 ;EISSN: 1611-3349 ;EISBN: 3540246762 ;EISBN: 9783540246763 ;DOI: 10.1007/978-3-540-24676-3_30Full text available |
|
10 |
Material Type: Book Chapter
|
Fuzzy Extractors: How to Generate Strong Keys from Biometrics and Other Noisy DataAdvances in Cryptology - EUROCRYPT 2004, 2004, p.523-540 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540219354 ;ISBN: 3540219358 ;EISSN: 1611-3349 ;EISBN: 3540246762 ;EISBN: 9783540246763 ;DOI: 10.1007/978-3-540-24676-3_31Full text available |
|
11 |
Material Type: Book Chapter
|
Monitoring Temporal Properties of Continuous SignalsFormal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, 2004, p.152-166 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2005 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540231677 ;ISBN: 3540231676 ;EISSN: 1611-3349 ;EISBN: 9783540302063 ;EISBN: 3540302069 ;DOI: 10.1007/978-3-540-30206-3_12Full text available |
|
12 |
Material Type: Book Chapter
|
Short Group SignaturesAdvances in Cryptology – CRYPTO 2004, 2004, p.41-55 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540226680 ;ISBN: 9783540226680 ;EISSN: 1611-3349 ;EISBN: 9783540286288 ;EISBN: 3540286284 ;DOI: 10.1007/978-3-540-28628-8_3Full text available |
|
13 |
Material Type: Book Chapter
|
Short Signatures Without Random OraclesAdvances in Cryptology - EUROCRYPT 2004, 2004, p.56-73 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540219354 ;ISBN: 3540219358 ;EISSN: 1611-3349 ;EISBN: 3540246762 ;EISBN: 9783540246763 ;DOI: 10.1007/978-3-540-24676-3_4Full text available |
|
14 |
Material Type: Book Chapter
|
A Tool for Checking ANSI-C ProgramsLecture notes in computer science, 2004, p.168-176 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 354021299X ;ISBN: 9783540212997 ;EISSN: 1611-3349 ;EISBN: 3540247300 ;EISBN: 9783540247302 ;DOI: 10.1007/978-3-540-24730-2_15Full text available |
|
15 |
Material Type: Book Chapter
|
Certificateless Public Key CryptographyAdvances in Cryptology - ASIACRYPT 2003, 2003, p.452-473 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2003 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540205926 ;ISBN: 9783540205920 ;EISSN: 1611-3349 ;EISBN: 3540400613 ;EISBN: 9783540400615 ;DOI: 10.1007/978-3-540-40061-5_29Full text available |
|
16 |
Material Type: Book Chapter
|
Identity-Based Encryption from the Weil PairingAdvances in Cryptology — CRYPTO 2001, 2001, p.213-229 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2001 ;2001 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540424563 ;ISBN: 9783540424567 ;EISSN: 1611-3349 ;EISBN: 9783540446477 ;EISBN: 3540446478 ;DOI: 10.1007/3-540-44647-8_13Full text available |
|
17 |
Material Type: Book Chapter
|
Activity Recognition in the Home Using Simple and Ubiquitous SensorsLecture notes in computer science, 2004, p.158-175 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540218357 ;ISBN: 3540218351 ;EISSN: 1611-3349 ;EISBN: 3540246460 ;EISBN: 9783540246466 ;DOI: 10.1007/978-3-540-24646-6_10Full text available |
|
18 |
Material Type: Book Chapter
|
Results of the Abbadingo one DFA learning competition and a new evidence-driven state merging algorithmGrammatical Inference, 2006, p.1-12 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 1998 ;1998 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 3540647767 ;ISBN: 9783540647768 ;EISSN: 1611-3349 ;EISBN: 3540687076 ;EISBN: 9783540687078 ;DOI: 10.1007/BFb0054059Full text available |
|
19 |
Material Type: Book Chapter
|
Efficient Private Matching and Set IntersectionAdvances in Cryptology - EUROCRYPT 2004, 2004, p.1-19 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540219354 ;ISBN: 3540219358 ;EISSN: 1611-3349 ;EISBN: 3540246762 ;EISBN: 9783540246763 ;DOI: 10.1007/978-3-540-24676-3_1Full text available |
|
20 |
Material Type: Book Chapter
|
Chosen-Ciphertext Security from Identity-Based EncryptionAdvances in Cryptology - EUROCRYPT 2004, 2004, p.207-222 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2004 ;2004 INIST-CNRS ;ISSN: 0302-9743 ;ISBN: 9783540219354 ;ISBN: 3540219358 ;EISSN: 1611-3349 ;EISBN: 3540246762 ;EISBN: 9783540246763 ;DOI: 10.1007/978-3-540-24676-3_13Full text available |